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-2.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-2.pddl
Parsing...
Parsing: [0.060s CPU, 0.060s wall-clock]
Normalizing task... [0.000s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.015s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.030s CPU, 0.026s wall-clock]
Preparing model... [0.040s CPU, 0.047s wall-clock]
Generated 46 rules.
Computing model... [1.150s CPU, 1.144s wall-clock]
9612 relevant atoms
5472 auxiliary atoms
15084 final queue length
30843 total queue pushes
Completing instantiation... [3.060s CPU, 3.070s wall-clock]
Instantiating: [4.310s CPU, 4.318s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.060s CPU, 0.059s wall-clock]
Checking invariant weight... [0.010s CPU, 0.003s wall-clock]
Instantiating groups... [0.030s CPU, 0.036s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.005s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.010s CPU, 0.014s wall-clock]
Building translation key... [0.010s CPU, 0.008s wall-clock]
Computing fact groups: [0.160s CPU, 0.158s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.003s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.004s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.004s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.140s CPU, 0.136s wall-clock]
Translating task: [2.570s CPU, 2.569s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
31 propositions removed
Detecting unreachable propositions: [1.200s CPU, 1.201s wall-clock]
Reordering and filtering variables...
31 of 31 variables necessary.
0 of 31 mutex groups necessary.
8364 of 8364 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.390s CPU, 0.390s wall-clock]
Translator variables: 31
Translator derived variables: 0
Translator facts: 700
Translator goal facts: 21
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 8364
Translator axioms: 0
Translator task size: 50036
Translator peak memory: 69068 KB
Writing output... [0.840s CPU, 0.905s wall-clock]
Done! [9.650s CPU, 9.726s wall-clock]
planner.py version 0.0.1

Time:	 2.07s
Memory: 187MB

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         : 2.378s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 2.072s

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        : 151430  
Atoms        : 151430  
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  : 323MB
Max. Length  : 0 steps
Models       : 0

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

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: 259MB
Grounding...	 [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])]
Grounding Time:	 0.64s
Memory:		 259MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

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

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        : 151430  
Atoms        : 151430  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 39943    (Eliminated:    0 Frozen: 39943)
Constraints  : 69078    (Binary:  96.6% Ternary:   1.6% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 1.24s
Memory:		 263MB (+4MB)
UNSAT
Iteration Time:	 2.26s

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: 267.0MB
Grounding...	 [('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('check', [10])]
Grounding Time:	 0.70s
Memory:		 275MB (+12MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 3
Time         : 9.732s (Solving: 1.97s 1st Model: 0.00s Unsat: 1.97s)
CPU Time     : 9.428s

Choices      : 64376    (Domain: 64376)
Conflicts    : 10044    (Analyzed: 10043)
Restarts     : 26       (Average: 386.27 Last: 154)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 10043    (Deleted: 4799)
  Binary     : 159      (Ratio:   1.58%)
  Ternary    : 61       (Ratio:   0.61%)
  Conflict   : 10043    (Average Length:  349.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 10043    (Average:  6.03 Max: 348 Sum:  60570)
  Executed   : 10034    (Average:  6.03 Max: 348 Sum:  60539 Ratio:  99.95%)
  Bounded    : 9        (Average:  3.44 Max:  12 Sum:     31 Ratio:   0.05%)

Rules        : 151430  
Atoms        : 151430  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 87049    (Eliminated:    0 Frozen: 87049)
Constraints  : 424946   (Binary:  97.8% Ternary:   1.0% Other:   1.2%)

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

[endof: stats after solve call]
Solving Time:	 4.02s
Memory:		 303MB (+28MB)
UNSAT
Iteration Time:	 5.11s

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

Models       : 0+
Calls        : 4
Time         : 34.054s (Solving: 22.99s 1st Model: 0.00s Unsat: 1.97s)
CPU Time     : 33.760s

Choices      : 337176   (Domain: 337176)
Conflicts    : 49157    (Analyzed: 49156)
Restarts     : 126      (Average: 390.13 Last: 906)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 49156    (Deleted: 33335)
  Binary     : 314      (Ratio:   0.64%)
  Ternary    : 177      (Ratio:   0.36%)
  Conflict   : 49156    (Average Length: 1709.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 49156    (Average:  6.50 Max: 748 Sum: 319530)
  Executed   : 49117    (Average:  6.50 Max: 748 Sum: 319469 Ratio:  99.98%)
  Bounded    : 39       (Average:  1.56 Max:  12 Sum:     61 Ratio:   0.02%)

Rules        : 151430  
Atoms        : 151430  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 136035   (Eliminated:    0 Frozen: 136035)
Constraints  : 802763   (Binary:  97.9% Ternary:   1.0% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 23.25s
Memory:		 539MB (+227MB)
UNKNOWN
Iteration Time:	 24.34s

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

Models       : 1+
Calls        : 5
Time         : 39.625s (Solving: 25.03s 1st Model: 2.01s Unsat: 1.97s)
CPU Time     : 39.336s

Choices      : 468871   (Domain: 468835)
Conflicts    : 52563    (Analyzed: 52562)
Restarts     : 134      (Average: 392.25 Last: 906)
Model-Level  : 1518.0  
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 52562    (Deleted: 33335)
  Binary     : 382      (Ratio:   0.73%)
  Ternary    : 208      (Ratio:   0.40%)
  Conflict   : 52562    (Average Length: 1627.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 52562    (Average:  8.39 Max: 2516 Sum: 441248)
  Executed   : 52515    (Average:  8.39 Max: 2516 Sum: 441158 Ratio:  99.98%)
  Bounded    : 47       (Average:  1.91 Max:  22 Sum:     90 Ratio:   0.02%)

Rules        : 151430  
Atoms        : 151430  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 185021   (Eliminated:    0 Frozen: 185021)
Constraints  : 1180598  (Binary:  98.0% Ternary:   1.0% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 4.28s
Memory:		 594MB (+28MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 2.93s
Memory:		 673MB (+79MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 6
Time         : 104.821s (Solving: 88.24s 1st Model: 2.01s Unsat: 1.97s)
CPU Time     : 104.556s

Choices      : 1111961  (Domain: 1111925)
Conflicts    : 91897    (Analyzed: 91896)
Restarts     : 234      (Average: 392.72 Last: 2152)
Model-Level  : 1518.0  
Problems     : 6        (Average Length: 13.67 Splits: 0)
Lemmas       : 91896    (Deleted: 73261)
  Binary     : 722      (Ratio:   0.79%)
  Ternary    : 381      (Ratio:   0.41%)
  Conflict   : 91896    (Average Length: 2039.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 91896    (Average: 11.61 Max: 2516 Sum: 1067259)
  Executed   : 91807    (Average: 11.60 Max: 2516 Sum: 1066371 Ratio:  99.92%)
  Bounded    : 89       (Average:  9.98 Max:  22 Sum:    888 Ratio:   0.08%)

Rules        : 550469   (Original: 550434)
Atoms        : 169168  
Bodies       : 257373   (Original: 257337)
  Count      : 573      (Original: 577)
Equivalences : 131598   (Atom=Atom: 37 Body=Body: 0 Other: 131561)
Tight        : Yes
Variables    : 186226   (Eliminated:   39 Frozen: 186187)
Constraints  : 1563690  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 64.05s
Memory:		 718MB (+45MB)
UNKNOWN
Iteration Time:	 72.56s

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

Models       : 0+
Calls        : 7
Time         : 175.356s (Solving: 153.40s 1st Model: 2.01s Unsat: 1.97s)
CPU Time     : 175.120s

Choices      : 4749045  (Domain: 4749009)
Conflicts    : 123773   (Analyzed: 123772)
Restarts     : 334      (Average: 370.57 Last: 2152)
Model-Level  : 1518.0  
Problems     : 7        (Average Length: 15.57 Splits: 0)
Lemmas       : 123772   (Deleted: 98751)
  Binary     : 965      (Ratio:   0.78%)
  Ternary    : 564      (Ratio:   0.46%)
  Conflict   : 123772   (Average Length: 1738.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 123772   (Average: 36.92 Max: 2647 Sum: 4569885)
  Executed   : 123632   (Average: 36.90 Max: 2647 Sum: 4567620 Ratio:  99.95%)
  Bounded    : 140      (Average: 16.18 Max:  27 Sum:   2265 Ratio:   0.05%)

Rules        : 550469   (Original: 550434)
Atoms        : 169168  
Bodies       : 257373   (Original: 257337)
  Count      : 573      (Original: 577)
Equivalences : 131598   (Atom=Atom: 37 Body=Body: 0 Other: 131561)
Tight        : Yes
Variables    : 235522   (Eliminated:   39 Frozen: 235483)
Constraints  : 2039634  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 68.88s
Memory:		 780MB (+62MB)
UNKNOWN
Iteration Time:	 70.58s

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

Models       : 0+
Calls        : 8
Time         : 250.360s (Solving: 222.95s 1st Model: 2.01s Unsat: 1.97s)
CPU Time     : 250.156s

Choices      : 7836622  (Domain: 7836586)
Conflicts    : 160828   (Analyzed: 160827)
Restarts     : 434      (Average: 370.57 Last: 2152)
Model-Level  : 1518.0  
Problems     : 8        (Average Length: 17.62 Splits: 0)
Lemmas       : 160827   (Deleted: 142082)
  Binary     : 1139     (Ratio:   0.71%)
  Ternary    : 672      (Ratio:   0.42%)
  Conflict   : 160827   (Average Length: 1767.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 160827   (Average: 46.79 Max: 3010 Sum: 7524630)
  Executed   : 160673   (Average: 46.77 Max: 3010 Sum: 7521917 Ratio:  99.96%)
  Bounded    : 154      (Average: 17.62 Max:  32 Sum:   2713 Ratio:   0.04%)

Rules        : 550469   (Original: 550434)
Atoms        : 169168  
Bodies       : 257373   (Original: 257337)
  Count      : 573      (Original: 577)
Equivalences : 131598   (Atom=Atom: 37 Body=Body: 0 Other: 131561)
Tight        : Yes
Variables    : 284818   (Eliminated:   39 Frozen: 284779)
Constraints  : 2498437  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 73.28s
Memory:		 809MB (+29MB)
UNKNOWN
Iteration Time:	 75.05s

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         : 255.831s (Solving: 228.32s 1st Model: 2.01s Unsat: 7.34s)
CPU Time     : 255.628s

Choices      : 7848630  (Domain: 7848594)
Conflicts    : 165852   (Analyzed: 165850)
Restarts     : 445      (Average: 372.70 Last: 2152)
Model-Level  : 1518.0  
Problems     : 9        (Average Length: 19.22 Splits: 0)
Lemmas       : 165850   (Deleted: 142082)
  Binary     : 1220     (Ratio:   0.74%)
  Ternary    : 693      (Ratio:   0.42%)
  Conflict   : 165850   (Average Length: 1741.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 165850   (Average: 45.44 Max: 3010 Sum: 7536654)
  Executed   : 165680   (Average: 45.42 Max: 3010 Sum: 7533553 Ratio:  99.96%)
  Bounded    : 170      (Average: 18.24 Max:  32 Sum:   3101 Ratio:   0.04%)

Rules        : 550469   (Original: 550434)
Atoms        : 169168  
Bodies       : 257373   (Original: 257337)
  Count      : 573      (Original: 577)
Equivalences : 131598   (Atom=Atom: 37 Body=Body: 0 Other: 131561)
Tight        : Yes
Variables    : 284818   (Eliminated:   39 Frozen: 284779)
Constraints  : 2490405  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 5.43s
Memory:		 809MB (+0MB)
UNSAT
Iteration Time:	 5.48s

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         : 463.322s (Solving: 435.69s 1st Model: 2.01s Unsat: 7.34s)
CPU Time     : 463.208s

Choices      : 8077535  (Domain: 8077499)
Conflicts    : 271771   (Analyzed: 271769)
Restarts     : 545      (Average: 498.66 Last: 2152)
Model-Level  : 1518.0  
Problems     : 10       (Average Length: 20.50 Splits: 0)
Lemmas       : 271769   (Deleted: 232816)
  Binary     : 1497     (Ratio:   0.55%)
  Ternary    : 836      (Ratio:   0.31%)
  Conflict   : 271769   (Average Length: 1962.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 271769   (Average: 28.53 Max: 3010 Sum: 7754017)
  Executed   : 271593   (Average: 28.52 Max: 3010 Sum: 7750817 Ratio:  99.96%)
  Bounded    : 176      (Average: 18.18 Max:  32 Sum:   3200 Ratio:   0.04%)

Rules        : 550469   (Original: 550434)
Atoms        : 169168  
Bodies       : 257373   (Original: 257337)
  Count      : 573      (Original: 577)
Equivalences : 131598   (Atom=Atom: 37 Body=Body: 0 Other: 131561)
Tight        : Yes
Variables    : 284818   (Eliminated:   39 Frozen: 284779)
Constraints  : 2488796  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 207.52s
Memory:		 809MB (+0MB)
UNKNOWN
Iteration Time:	 207.58s

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         : 503.153s (Solving: 475.38s 1st Model: 2.01s Unsat: 7.34s)
CPU Time     : 503.056s

Choices      : 9185108  (Domain: 9185072)
Conflicts    : 295962   (Analyzed: 295960)
Restarts     : 645      (Average: 458.85 Last: 2152)
Model-Level  : 1518.0  
Problems     : 11       (Average Length: 21.55 Splits: 0)
Lemmas       : 295960   (Deleted: 271497)
  Binary     : 1604     (Ratio:   0.54%)
  Ternary    : 907      (Ratio:   0.31%)
  Conflict   : 295960   (Average Length: 1948.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 295960   (Average: 29.66 Max: 3010 Sum: 8778142)
  Executed   : 295779   (Average: 29.65 Max: 3010 Sum: 8774782 Ratio:  99.96%)
  Bounded    : 181      (Average: 18.56 Max:  32 Sum:   3360 Ratio:   0.04%)

Rules        : 550469   (Original: 550434)
Atoms        : 169168  
Bodies       : 257373   (Original: 257337)
  Count      : 573      (Original: 577)
Equivalences : 131598   (Atom=Atom: 37 Body=Body: 0 Other: 131561)
Tight        : Yes
Variables    : 284818   (Eliminated:   39 Frozen: 284779)
Constraints  : 2488574  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 39.76s
Memory:		 809MB (+0MB)
UNKNOWN
Iteration Time:	 39.85s

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         : 559.360s (Solving: 531.50s 1st Model: 2.01s Unsat: 7.34s)
CPU Time     : 559.288s

Choices      : 11612999 (Domain: 11612963)
Conflicts    : 323942   (Analyzed: 323940)
Restarts     : 745      (Average: 434.82 Last: 2152)
Model-Level  : 1518.0  
Problems     : 12       (Average Length: 22.42 Splits: 0)
Lemmas       : 323940   (Deleted: 297537)
  Binary     : 1671     (Ratio:   0.52%)
  Ternary    : 974      (Ratio:   0.30%)
  Conflict   : 323940   (Average Length: 1916.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 323940   (Average: 34.09 Max: 3203 Sum: 11044082)
  Executed   : 323755   (Average: 34.08 Max: 3203 Sum: 11040594 Ratio:  99.97%)
  Bounded    : 185      (Average: 18.85 Max:  32 Sum:   3488 Ratio:   0.03%)

Rules        : 550469   (Original: 550434)
Atoms        : 169168  
Bodies       : 257373   (Original: 257337)
  Count      : 573      (Original: 577)
Equivalences : 131598   (Atom=Atom: 37 Body=Body: 0 Other: 131561)
Tight        : Yes
Variables    : 284818   (Eliminated:   39 Frozen: 284779)
Constraints  : 2488399  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 56.19s
Memory:		 809MB (+0MB)
UNKNOWN
Iteration Time:	 56.23s

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: 1045.0MB
Grounding...	 [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])]
Grounding Time:	 1.24s
Memory:		 817MB (+8MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 13
Time         : 679.023s (Solving: 645.64s 1st Model: 2.01s Unsat: 7.34s)
CPU Time     : 679.004s

Choices      : 16070802 (Domain: 16070766)
Conflicts    : 375047   (Analyzed: 375045)
Restarts     : 845      (Average: 443.84 Last: 2152)
Model-Level  : 1518.0  
Problems     : 13       (Average Length: 23.54 Splits: 0)
Lemmas       : 375045   (Deleted: 336481)
  Binary     : 1834     (Ratio:   0.49%)
  Ternary    : 1056     (Ratio:   0.28%)
  Conflict   : 375045   (Average Length: 1899.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 375045   (Average: 40.86 Max: 3353 Sum: 15322504)
  Executed   : 374849   (Average: 40.84 Max: 3353 Sum: 15318609 Ratio:  99.97%)
  Bounded    : 196      (Average: 19.87 Max:  37 Sum:   3895 Ratio:   0.03%)

Rules        : 550469   (Original: 550434)
Atoms        : 169168  
Bodies       : 257373   (Original: 257337)
  Count      : 573      (Original: 577)
Equivalences : 131598   (Atom=Atom: 37 Body=Body: 0 Other: 131561)
Tight        : Yes
Variables    : 334114   (Eliminated:   39 Frozen: 334075)
Constraints  : 2985820  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 117.89s
Memory:		 877MB (+60MB)
UNKNOWN
Iteration Time:	 119.72s

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: 1113.0MB
Grounding...	 [('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('check', [40])]
Grounding Time:	 1.24s
Memory:		 877MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 14
Time         : 882.416s (Solving: 843.44s 1st Model: 2.01s Unsat: 7.34s)
CPU Time     : 882.480s

Choices      : 22947162 (Domain: 22947126)
Conflicts    : 463354   (Analyzed: 463352)
Restarts     : 945      (Average: 490.32 Last: 2152)
Model-Level  : 1518.0  
Problems     : 14       (Average Length: 24.86 Splits: 0)
Lemmas       : 463352   (Deleted: 416821)
  Binary     : 2020     (Ratio:   0.44%)
  Ternary    : 1214     (Ratio:   0.26%)
  Conflict   : 463352   (Average Length: 2008.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 463352   (Average: 47.48 Max: 4311 Sum: 22000332)
  Executed   : 463140   (Average: 47.47 Max: 4311 Sum: 21995806 Ratio:  99.98%)
  Bounded    : 212      (Average: 21.35 Max:  42 Sum:   4526 Ratio:   0.02%)

Rules        : 550469   (Original: 550434)
Atoms        : 169168  
Bodies       : 257373   (Original: 257337)
  Count      : 573      (Original: 577)
Equivalences : 131598   (Atom=Atom: 37 Body=Body: 0 Other: 131561)
Tight        : Yes
Variables    : 383410   (Eliminated:   39 Frozen: 383371)
Constraints  : 3483500  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 201.62s
Memory:		 918MB (+41MB)
UNKNOWN
Iteration Time:	 203.49s

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: 1154.0MB
Grounding...	 [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time:	 1.54s
Memory:		 943MB (+25MB)
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 15
Time         : 1108.298s (Solving: 1063.40s 1st Model: 2.01s Unsat: 7.34s)
CPU Time     : 1108.440s

Choices      : 31186630 (Domain: 31186594)
Conflicts    : 542714   (Analyzed: 542712)
Restarts     : 1045     (Average: 519.34 Last: 2152)
Model-Level  : 1518.0  
Problems     : 15       (Average Length: 26.33 Splits: 0)
Lemmas       : 542712   (Deleted: 500681)
  Binary     : 2234     (Ratio:   0.41%)
  Ternary    : 1364     (Ratio:   0.25%)
  Conflict   : 542712   (Average Length: 2100.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 542712   (Average: 55.23 Max: 4853 Sum: 29976645)
  Executed   : 542490   (Average: 55.23 Max: 4853 Sum: 29971695 Ratio:  99.98%)
  Bounded    : 222      (Average: 22.30 Max:  47 Sum:   4950 Ratio:   0.02%)

Rules        : 550469   (Original: 550434)
Atoms        : 169168  
Bodies       : 257373   (Original: 257337)
  Count      : 573      (Original: 577)
Equivalences : 131598   (Atom=Atom: 37 Body=Body: 0 Other: 131561)
Tight        : Yes
Variables    : 432706   (Eliminated:   39 Frozen: 432667)
Constraints  : 3983642  (Binary:  98.4% Ternary:   0.7% Other:   0.8%)

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


