INFO     Running translator.
INFO     translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-6.pddl']
INFO     translator arguments: []
INFO     translator time limit: None
INFO     translator memory limit: None
INFO     callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-6.pddl
Parsing...
Parsing: [0.070s CPU, 0.068s wall-clock]
Normalizing task... [0.000s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.017s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.030s CPU, 0.026s wall-clock]
Preparing model... [0.050s CPU, 0.050s wall-clock]
Generated 46 rules.
Computing model... [1.510s CPU, 1.512s wall-clock]
13365 relevant atoms
6588 auxiliary atoms
19953 final queue length
42363 total queue pushes
Completing instantiation... [4.360s CPU, 4.354s wall-clock]
Instantiating: [5.980s CPU, 5.978s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.080s CPU, 0.076s wall-clock]
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
Instantiating groups... [0.060s CPU, 0.058s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.006s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.020s CPU, 0.018s wall-clock]
Building translation key... [0.010s CPU, 0.011s wall-clock]
Computing fact groups: [0.220s CPU, 0.221s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.005s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.004s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.009s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.190s CPU, 0.194s wall-clock]
Translating task: [3.640s CPU, 3.640s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
40 propositions removed
Detecting unreachable propositions: [1.890s CPU, 1.888s wall-clock]
Reordering and filtering variables...
40 of 40 variables necessary.
0 of 40 mutex groups necessary.
11820 of 11820 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.550s CPU, 0.551s wall-clock]
Translator variables: 40
Translator derived variables: 0
Translator facts: 970
Translator goal facts: 30
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 11820
Translator axioms: 0
Translator task size: 71060
Translator peak memory: 82380 KB
Writing output... [1.220s CPU, 1.315s wall-clock]
Done! [13.750s CPU, 13.839s wall-clock]
planner.py version 0.0.1

Time:	 2.94s
Memory: 246MB

Iteration 1
Queue:		 [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
Grounded Until:	 0
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 1
Time         : 3.415s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 2.948s

Choices      : 0       
Conflicts    : 0        (Analyzed: 0)
Restarts     : 0       
Problems     : 1        (Average Length: 2.00 Splits: 0)
Lemmas       : 0        (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 0        (Average:  0.00 Max:   0 Sum:      0)
  Executed   : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio: 100.00%)

Rules        : 214772  
Atoms        : 214772  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 0        (Eliminated:    0 Frozen:    0)
Constraints  : 0        (Binary:   0.0% Ternary:   0.0% Other:   0.0%)

Memory Peak  : 382MB
Max. Length  : 0 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 0.02s
Memory:		 318MB (+72MB)
UNSAT
Iteration Time:	 0.02s

Iteration 2
Queue:		 [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
Grounded Until:	 0
Expected Memory: 318MB
Grounding...	 [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])]
Grounding Time:	 0.97s
Memory:		 318MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 2
Time         : 7.335s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 6.868s

Choices      : 0       
Conflicts    : 0        (Analyzed: 0)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 0        (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 0        (Average:  0.00 Max:   0 Sum:      0)
  Executed   : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio: 100.00%)

Rules        : 214772  
Atoms        : 214772  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 56236    (Eliminated:    0 Frozen: 56236)
Constraints  : 107561   (Binary:  96.9% Ternary:   1.4% Other:   1.7%)

Memory Peak  : 382MB
Max. Length  : 0 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 2.39s
Memory:		 332MB (+14MB)
UNSAT
Iteration Time:	 3.93s

Iteration 3
Queue:		 [(2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
Grounded Until:	 5
Expected Memory: 346.0MB
Grounding...	 [('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('check', [10])]
Grounding Time:	 0.95s
Memory:		 332MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 3
Time         : 16.891s (Solving: 4.05s 1st Model: 0.00s Unsat: 4.05s)
CPU Time     : 16.428s

Choices      : 75450    (Domain: 75450)
Conflicts    : 15718    (Analyzed: 15717)
Restarts     : 61       (Average: 257.66 Last: 1259)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 15717    (Deleted: 7123)
  Binary     : 288      (Ratio:   1.83%)
  Ternary    : 151      (Ratio:   0.96%)
  Conflict   : 15717    (Average Length:  385.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 15717    (Average:  4.52 Max: 332 Sum:  71001)
  Executed   : 15715    (Average:  4.52 Max: 332 Sum:  70999 Ratio: 100.00%)
  Bounded    : 2        (Average:  1.00 Max:   1 Sum:      2 Ratio:   0.00%)

Rules        : 214772  
Atoms        : 214772  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 123061   (Eliminated:    0 Frozen: 123061)
Constraints  : 617860   (Binary:  97.9% Ternary:   1.0% Other:   1.1%)

Memory Peak  : 382MB
Max. Length  : 5 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 8.06s
Memory:		 370MB (+38MB)
UNSAT
Iteration Time:	 9.57s

Iteration 4
Queue:		 [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
Grounded Until:	 10
Expected Memory: 408.0MB
Grounding...	 [('step', [11]), ('step', [12]), ('step', [13]), ('step', [14]), ('step', [15]), ('check', [15])]
Grounding Time:	 1.13s
Memory:		 396MB (+26MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 4
Time         : 36.354s (Solving: 17.54s 1st Model: 0.00s Unsat: 4.05s)
CPU Time     : 35.900s

Choices      : 323285   (Domain: 323285)
Conflicts    : 43825    (Analyzed: 43824)
Restarts     : 161      (Average: 272.20 Last: 1259)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 43824    (Deleted: 31733)
  Binary     : 492      (Ratio:   1.12%)
  Ternary    : 314      (Ratio:   0.72%)
  Conflict   : 43824    (Average Length:  915.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 43824    (Average:  6.58 Max: 648 Sum: 288490)
  Executed   : 43819    (Average:  6.58 Max: 648 Sum: 288469 Ratio:  99.99%)
  Bounded    : 5        (Average:  4.20 Max:  17 Sum:     21 Ratio:   0.01%)

Rules        : 214772  
Atoms        : 214772  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 192072   (Eliminated:    0 Frozen: 192072)
Constraints  : 1154005  (Binary:  98.0% Ternary:   1.0% Other:   1.1%)

Memory Peak  : 579MB
Max. Length  : 10 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 17.79s
Memory:		 515MB (+119MB)
UNKNOWN
Iteration Time:	 19.48s

Iteration 5
Queue:		 [(4,20,0,True), (5,25,0,True), (6,30,0,True)]
Grounded Until:	 15
Expected Memory: 660.0MB
Grounding...	 [('step', [16]), ('step', [17]), ('step', [18]), ('step', [19]), ('step', [20]), ('check', [20])]
Grounding Time:	 0.99s
Memory:		 527MB (+12MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 1+
Calls        : 5
Time         : 47.858s (Solving: 23.15s 1st Model: 5.58s Unsat: 4.05s)
CPU Time     : 47.412s

Choices      : 547022   (Domain: 546986)
Conflicts    : 51276    (Analyzed: 51275)
Restarts     : 191      (Average: 268.46 Last: 1259)
Model-Level  : 1405.0  
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 51275    (Deleted: 31733)
  Binary     : 599      (Ratio:   1.17%)
  Ternary    : 389      (Ratio:   0.76%)
  Conflict   : 51275    (Average Length:  866.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 51275    (Average:  9.54 Max: 1153 Sum: 489357)
  Executed   : 51263    (Average:  9.54 Max: 1153 Sum: 489308 Ratio:  99.99%)
  Bounded    : 12       (Average:  4.08 Max:  22 Sum:     49 Ratio:   0.01%)

Rules        : 214772  
Atoms        : 214772  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 261083   (Eliminated:    0 Frozen: 261083)
Constraints  : 1690141  (Binary:  98.0% Ternary:   0.9% Other:   1.0%)

Memory Peak  : 579MB
Max. Length  : 15 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 9.92s
Memory:		 568MB (+41MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 4.26s
Memory:		 680MB (+112MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 6
Time         : 99.773s (Solving: 71.95s 1st Model: 5.58s Unsat: 4.05s)
CPU Time     : 99.348s

Choices      : 1642467  (Domain: 1642431)
Conflicts    : 79340    (Analyzed: 79339)
Restarts     : 291      (Average: 272.64 Last: 1259)
Model-Level  : 1405.0  
Problems     : 6        (Average Length: 13.67 Splits: 0)
Lemmas       : 79339    (Deleted: 65332)
  Binary     : 838      (Ratio:   1.06%)
  Ternary    : 697      (Ratio:   0.88%)
  Conflict   : 79339    (Average Length: 1165.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 79339    (Average: 19.41 Max: 1843 Sum: 1540206)
  Executed   : 79265    (Average: 19.40 Max: 1843 Sum: 1538793 Ratio:  99.91%)
  Bounded    : 74       (Average: 19.09 Max:  22 Sum:   1413 Ratio:   0.09%)

Rules        : 787799   (Original: 787748)
Atoms        : 239854  
Bodies       : 368834   (Original: 368782)
  Count      : 738      (Original: 747)
Equivalences : 187301   (Atom=Atom: 30 Body=Body: 0 Other: 187271)
Tight        : Yes
Variables    : 262667   (Eliminated:   60 Frozen: 262607)
Constraints  : 2240457  (Binary:  98.4% Ternary:   0.7% Other:   0.8%)

Memory Peak  : 780MB
Max. Length  : 15 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 50.17s
Memory:		 716MB (+36MB)
UNKNOWN
Iteration Time:	 65.95s

Iteration 6
Queue:		 [(5,25,0,True), (6,30,0,True)]
Grounded Until:	 20
Expected Memory: 861.0MB
Grounding...	 [('step', [21]), ('step', [22]), ('step', [23]), ('step', [24]), ('step', [25]), ('check', [25])]
Grounding Time:	 1.80s
Memory:		 716MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 7
Time         : 186.934s (Solving: 149.51s 1st Model: 5.58s Unsat: 4.05s)
CPU Time     : 186.544s

Choices      : 3765514  (Domain: 3765478)
Conflicts    : 107424   (Analyzed: 107423)
Restarts     : 391      (Average: 274.74 Last: 1259)
Model-Level  : 1405.0  
Problems     : 7        (Average Length: 15.57 Splits: 0)
Lemmas       : 107423   (Deleted: 90983)
  Binary     : 1231     (Ratio:   1.15%)
  Ternary    : 1014     (Ratio:   0.94%)
  Conflict   : 107423   (Average Length:  996.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 107423   (Average: 33.38 Max: 2412 Sum: 3586032)
  Executed   : 107227   (Average: 33.34 Max: 2412 Sum: 3581325 Ratio:  99.87%)
  Bounded    : 196      (Average: 24.02 Max:  27 Sum:   4707 Ratio:   0.13%)

Rules        : 787799   (Original: 787748)
Atoms        : 239854  
Bodies       : 368834   (Original: 368782)
  Count      : 738      (Original: 747)
Equivalences : 187301   (Atom=Atom: 30 Body=Body: 0 Other: 187271)
Tight        : Yes
Variables    : 332078   (Eliminated:   60 Frozen: 332018)
Constraints  : 2938740  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

Memory Peak  : 804MB
Max. Length  : 20 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 84.65s
Memory:		 804MB (+88MB)
UNKNOWN
Iteration Time:	 87.21s

Iteration 7
Queue:		 [(6,30,0,True)]
Grounded Until:	 25
Expected Memory: 949.0MB
Grounding...	 [('step', [26]), ('step', [27]), ('step', [28]), ('step', [29]), ('step', [30]), ('check', [30])]
Grounding Time:	 2.08s
Memory:		 829MB (+25MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 8
Time         : 290.278s (Solving: 242.93s 1st Model: 5.58s Unsat: 4.05s)
CPU Time     : 289.932s

Choices      : 6246608  (Domain: 6246572)
Conflicts    : 135521   (Analyzed: 135520)
Restarts     : 491      (Average: 276.01 Last: 1259)
Model-Level  : 1405.0  
Problems     : 8        (Average Length: 17.62 Splits: 0)
Lemmas       : 135520   (Deleted: 117170)
  Binary     : 1416     (Ratio:   1.04%)
  Ternary    : 1177     (Ratio:   0.87%)
  Conflict   : 135520   (Average Length:  909.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 135520   (Average: 44.29 Max: 2680 Sum: 6001942)
  Executed   : 135262   (Average: 44.24 Max: 2680 Sum: 5995251 Ratio:  99.89%)
  Bounded    : 258      (Average: 25.93 Max:  32 Sum:   6691 Ratio:   0.11%)

Rules        : 787799   (Original: 787748)
Atoms        : 239854  
Bodies       : 368834   (Original: 368782)
  Count      : 738      (Original: 747)
Equivalences : 187301   (Atom=Atom: 30 Body=Body: 0 Other: 187271)
Tight        : Yes
Variables    : 401489   (Eliminated:   60 Frozen: 401429)
Constraints  : 3596638  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

Memory Peak  : 885MB
Max. Length  : 25 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 100.54s
Memory:		 869MB (+40MB)
UNKNOWN
Iteration Time:	 103.40s

Iteration 8
Queue:		 [(3,15,1,True), (4,20,1,True), (5,25,1,True), (6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 9
Time         : 330.976s (Solving: 283.48s 1st Model: 5.58s Unsat: 4.05s)
CPU Time     : 330.648s

Choices      : 6335698  (Domain: 6335662)
Conflicts    : 163652   (Analyzed: 163651)
Restarts     : 591      (Average: 276.91 Last: 1259)
Model-Level  : 1405.0  
Problems     : 9        (Average Length: 19.22 Splits: 0)
Lemmas       : 163651   (Deleted: 143888)
  Binary     : 1704     (Ratio:   1.04%)
  Ternary    : 1323     (Ratio:   0.81%)
  Conflict   : 163651   (Average Length:  913.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 163651   (Average: 37.18 Max: 2680 Sum: 6084621)
  Executed   : 163349   (Average: 37.13 Max: 2680 Sum: 6076584 Ratio:  99.87%)
  Bounded    : 302      (Average: 26.61 Max:  32 Sum:   8037 Ratio:   0.13%)

Rules        : 787799   (Original: 787748)
Atoms        : 239854  
Bodies       : 368834   (Original: 368782)
  Count      : 738      (Original: 747)
Equivalences : 187301   (Atom=Atom: 30 Body=Body: 0 Other: 187271)
Tight        : Yes
Variables    : 401489   (Eliminated:   60 Frozen: 401429)
Constraints  : 3580885  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

Memory Peak  : 885MB
Max. Length  : 30 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 40.65s
Memory:		 869MB (+0MB)
UNKNOWN
Iteration Time:	 40.72s

Iteration 9
Queue:		 [(4,20,1,True), (5,25,1,True), (6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 10
Time         : 375.740s (Solving: 328.13s 1st Model: 5.58s Unsat: 4.05s)
CPU Time     : 375.428s

Choices      : 6498229  (Domain: 6498193)
Conflicts    : 191811   (Analyzed: 191810)
Restarts     : 691      (Average: 277.58 Last: 1259)
Model-Level  : 1405.0  
Problems     : 10       (Average Length: 20.50 Splits: 0)
Lemmas       : 191810   (Deleted: 169726)
  Binary     : 1816     (Ratio:   0.95%)
  Ternary    : 1399     (Ratio:   0.73%)
  Conflict   : 191810   (Average Length: 1209.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 191810   (Average: 32.48 Max: 2680 Sum: 6230788)
  Executed   : 191504   (Average: 32.44 Max: 2680 Sum: 6222747 Ratio:  99.87%)
  Bounded    : 306      (Average: 26.28 Max:  32 Sum:   8041 Ratio:   0.13%)

Rules        : 787799   (Original: 787748)
Atoms        : 239854  
Bodies       : 368834   (Original: 368782)
  Count      : 738      (Original: 747)
Equivalences : 187301   (Atom=Atom: 30 Body=Body: 0 Other: 187271)
Tight        : Yes
Variables    : 401489   (Eliminated:   60 Frozen: 401429)
Constraints  : 3574419  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

Memory Peak  : 885MB
Max. Length  : 30 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 44.74s
Memory:		 869MB (+0MB)
UNKNOWN
Iteration Time:	 44.79s

Iteration 10
Queue:		 [(5,25,1,True), (6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 11
Time         : 455.661s (Solving: 407.89s 1st Model: 5.58s Unsat: 4.05s)
CPU Time     : 455.384s

Choices      : 8913407  (Domain: 8913371)
Conflicts    : 219889   (Analyzed: 219888)
Restarts     : 791      (Average: 277.99 Last: 1259)
Model-Level  : 1405.0  
Problems     : 11       (Average Length: 21.55 Splits: 0)
Lemmas       : 219888   (Deleted: 197621)
  Binary     : 1963     (Ratio:   0.89%)
  Ternary    : 1591     (Ratio:   0.72%)
  Conflict   : 219888   (Average Length: 1173.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 219888   (Average: 38.87 Max: 2680 Sum: 8547254)
  Executed   : 219559   (Average: 38.83 Max: 2680 Sum: 8538477 Ratio:  99.90%)
  Bounded    : 329      (Average: 26.68 Max:  32 Sum:   8777 Ratio:   0.10%)

Rules        : 787799   (Original: 787748)
Atoms        : 239854  
Bodies       : 368834   (Original: 368782)
  Count      : 738      (Original: 747)
Equivalences : 187301   (Atom=Atom: 30 Body=Body: 0 Other: 187271)
Tight        : Yes
Variables    : 401489   (Eliminated:   60 Frozen: 401429)
Constraints  : 3574419  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

Memory Peak  : 885MB
Max. Length  : 30 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 79.87s
Memory:		 869MB (+0MB)
UNKNOWN
Iteration Time:	 79.96s

Iteration 11
Queue:		 [(6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 12
Time         : 551.622s (Solving: 503.74s 1st Model: 5.58s Unsat: 4.05s)
CPU Time     : 551.388s

Choices      : 11684598 (Domain: 11684562)
Conflicts    : 247965   (Analyzed: 247964)
Restarts     : 891      (Average: 278.30 Last: 1259)
Model-Level  : 1405.0  
Problems     : 12       (Average Length: 22.42 Splits: 0)
Lemmas       : 247964   (Deleted: 223663)
  Binary     : 2086     (Ratio:   0.84%)
  Ternary    : 1759     (Ratio:   0.71%)
  Conflict   : 247964   (Average Length: 1153.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 247964   (Average: 45.25 Max: 2680 Sum: 11219844)
  Executed   : 247626   (Average: 45.21 Max: 2680 Sum: 11210779 Ratio:  99.92%)
  Bounded    : 338      (Average: 26.82 Max:  32 Sum:   9065 Ratio:   0.08%)

Rules        : 787799   (Original: 787748)
Atoms        : 239854  
Bodies       : 368834   (Original: 368782)
  Count      : 738      (Original: 747)
Equivalences : 187301   (Atom=Atom: 30 Body=Body: 0 Other: 187271)
Tight        : Yes
Variables    : 401489   (Eliminated:   60 Frozen: 401429)
Constraints  : 3573504  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

Memory Peak  : 885MB
Max. Length  : 30 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 95.96s
Memory:		 869MB (+0MB)
UNKNOWN
Iteration Time:	 96.00s

Iteration 12
Queue:		 [(7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Expected Memory: 1014.0MB
Grounding...	 [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])]
Grounding Time:	 1.75s
Memory:		 879MB (+10MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 13
Time         : 625.942s (Solving: 568.40s 1st Model: 5.58s Unsat: 4.05s)
CPU Time     : 625.740s

Choices      : 13362508 (Domain: 13362472)
Conflicts    : 276092   (Analyzed: 276091)
Restarts     : 991      (Average: 278.60 Last: 1259)
Model-Level  : 1405.0  
Problems     : 13       (Average Length: 23.54 Splits: 0)
Lemmas       : 276091   (Deleted: 249998)
  Binary     : 2128     (Ratio:   0.77%)
  Ternary    : 1786     (Ratio:   0.65%)
  Conflict   : 276091   (Average Length: 1265.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 276091   (Average: 46.23 Max: 3212 Sum: 12763740)
  Executed   : 275747   (Average: 46.20 Max: 3212 Sum: 12754453 Ratio:  99.93%)
  Bounded    : 344      (Average: 27.00 Max:  37 Sum:   9287 Ratio:   0.07%)

Rules        : 787799   (Original: 787748)
Atoms        : 239854  
Bodies       : 368834   (Original: 368782)
  Count      : 738      (Original: 747)
Equivalences : 187301   (Atom=Atom: 30 Body=Body: 0 Other: 187271)
Tight        : Yes
Variables    : 470900   (Eliminated:   60 Frozen: 470840)
Constraints  : 4281705  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

Memory Peak  : 1029MB
Max. Length  : 30 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 71.79s
Memory:		 1029MB (+150MB)
UNKNOWN
Iteration Time:	 74.36s

Iteration 13
Queue:		 [(8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 35
Expected Memory: 1189.0MB
Grounding...	 [('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('check', [40])]
Grounding Time:	 1.77s
Memory:		 1029MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 14
Time         : 740.341s (Solving: 673.07s 1st Model: 5.58s Unsat: 4.05s)
CPU Time     : 740.188s

Choices      : 16441484 (Domain: 16441448)
Conflicts    : 304187   (Analyzed: 304186)
Restarts     : 1091     (Average: 278.81 Last: 1259)
Model-Level  : 1405.0  
Problems     : 14       (Average Length: 24.86 Splits: 0)
Lemmas       : 304186   (Deleted: 278104)
  Binary     : 2197     (Ratio:   0.72%)
  Ternary    : 1867     (Ratio:   0.61%)
  Conflict   : 304186   (Average Length: 1307.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 304186   (Average: 51.61 Max: 5767 Sum: 15699767)
  Executed   : 303841   (Average: 51.58 Max: 5767 Sum: 15690438 Ratio:  99.94%)
  Bounded    : 345      (Average: 27.04 Max:  42 Sum:   9329 Ratio:   0.06%)

Rules        : 787799   (Original: 787748)
Atoms        : 239854  
Bodies       : 368834   (Original: 368782)
  Count      : 738      (Original: 747)
Equivalences : 187301   (Atom=Atom: 30 Body=Body: 0 Other: 187271)
Tight        : Yes
Variables    : 540311   (Eliminated:   60 Frozen: 540251)
Constraints  : 4992444  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

Memory Peak  : 1109MB
Max. Length  : 35 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 111.82s
Memory:		 1080MB (+51MB)
UNKNOWN
Iteration Time:	 114.46s

Iteration 14
Queue:		 [(9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 40
Expected Memory: 1240.0MB
Grounding...	 [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time:	 1.79s
Memory:		 1092MB (+12MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 15
Time         : 855.001s (Solving: 777.95s 1st Model: 5.58s Unsat: 4.05s)
CPU Time     : 854.896s

Choices      : 18384084 (Domain: 18384048)
Conflicts    : 332290   (Analyzed: 332289)
Restarts     : 1191     (Average: 279.00 Last: 1259)
Model-Level  : 1405.0  
Problems     : 15       (Average Length: 26.33 Splits: 0)
Lemmas       : 332289   (Deleted: 305076)
  Binary     : 2262     (Ratio:   0.68%)
  Ternary    : 1925     (Ratio:   0.58%)
  Conflict   : 332289   (Average Length: 1438.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 332289   (Average: 52.74 Max: 5767 Sum: 17524300)
  Executed   : 331940   (Average: 52.71 Max: 5767 Sum: 17514783 Ratio:  99.95%)
  Bounded    : 349      (Average: 27.27 Max:  47 Sum:   9517 Ratio:   0.05%)

Rules        : 787799   (Original: 787748)
Atoms        : 239854  
Bodies       : 368834   (Original: 368782)
  Count      : 738      (Original: 747)
Equivalences : 187301   (Atom=Atom: 30 Body=Body: 0 Other: 187271)
Tight        : Yes
Variables    : 609722   (Eliminated:   60 Frozen: 609662)
Constraints  : 5703367  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

Memory Peak  : 1198MB
Max. Length  : 40 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 112.04s
Memory:		 1161MB (+69MB)
UNKNOWN
Iteration Time:	 114.72s

Iteration 15
Queue:		 [(10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 45
Expected Memory: 1321.0MB
Grounding...	 [('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('check', [50])]
Grounding Time:	 1.84s
Memory:		 1161MB (+0MB)
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 16
Time         : 983.453s (Solving: 896.48s 1st Model: 5.58s Unsat: 4.05s)
CPU Time     : 983.388s

Choices      : 21346916 (Domain: 21346880)
Conflicts    : 360376   (Analyzed: 360375)
Restarts     : 1291     (Average: 279.14 Last: 1259)
Model-Level  : 1405.0  
Problems     : 16       (Average Length: 27.94 Splits: 0)
Lemmas       : 360375   (Deleted: 332551)
  Binary     : 2321     (Ratio:   0.64%)
  Ternary    : 2012     (Ratio:   0.56%)
  Conflict   : 360375   (Average Length: 1546.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 360375   (Average: 56.35 Max: 5767 Sum: 20306395)
  Executed   : 360021   (Average: 56.32 Max: 5767 Sum: 20296618 Ratio:  99.95%)
  Bounded    : 354      (Average: 27.62 Max:  52 Sum:   9777 Ratio:   0.05%)

Rules        : 787799   (Original: 787748)
Atoms        : 239854  
Bodies       : 368834   (Original: 368782)
  Count      : 738      (Original: 747)
Equivalences : 187301   (Atom=Atom: 30 Body=Body: 0 Other: 187271)
Tight        : Yes
Variables    : 679133   (Eliminated:   60 Frozen: 679073)
Constraints  : 6414212  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

Memory Peak  : 1382MB
Max. Length  : 45 steps
Models       : 1


