INFO     Running translator.
INFO     translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-20.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/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-20.pddl
Parsing...
Parsing: [0.040s CPU, 0.037s wall-clock]
Normalizing task... [0.000s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.010s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.040s CPU, 0.045s wall-clock]
Preparing model... [0.030s CPU, 0.026s wall-clock]
Generated 115 rules.
Computing model... [0.540s CPU, 0.537s wall-clock]
3296 relevant atoms
3425 auxiliary atoms
6721 final queue length
11595 total queue pushes
Completing instantiation... [1.020s CPU, 1.019s wall-clock]
Instantiating: [1.640s CPU, 1.645s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.130s CPU, 0.126s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.010s CPU, 0.010s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
Choosing groups...
350 uncovered facts
Choosing groups: [0.000s CPU, 0.002s wall-clock]
Building translation key... [0.010s CPU, 0.013s wall-clock]
Computing fact groups: [0.180s CPU, 0.179s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.006s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.003s 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.060s CPU, 0.057s wall-clock]
Translating task: [1.070s CPU, 1.061s wall-clock]
3920 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
3 propositions removed
Detecting unreachable propositions: [0.590s CPU, 0.584s wall-clock]
Reordering and filtering variables...
353 of 353 variables necessary.
16 of 19 mutex groups necessary.
2344 of 2344 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.370s CPU, 0.376s wall-clock]
Translator variables: 353
Translator derived variables: 0
Translator facts: 737
Translator goal facts: 14
Translator mutex groups: 16
Translator total mutex groups size: 48
Translator operators: 2344
Translator axioms: 0
Translator task size: 22454
Translator peak memory: 49100 KB
Writing output... [0.380s CPU, 0.407s wall-clock]
Done! [4.320s CPU, 4.349s wall-clock]
planner.py version 0.0.1

Time:	 0.90s
Memory: 111MB

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

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

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

Models       : 1+
Calls        : 2
Time         : 1.699s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 1.552s

Choices      : 267      (Domain: 108)
Conflicts    : 2        (Analyzed: 2)
Restarts     : 0       
Model-Level  : 257.0   
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 2        (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 2        (Average Length:   30.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2        (Average:  8.50 Max:  16 Sum:     17)
  Executed   : 2        (Average:  8.50 Max:  16 Sum:     17 Ratio: 100.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)

Rules        : 64767   
Atoms        : 64767   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 17354    (Eliminated:    0 Frozen: 17354)
Constraints  : 57355    (Binary:  95.3% Ternary:   3.3% Other:   1.4%)

Memory Peak  : 247MB
Max. Length  : 0 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 0.24s
Memory:		 187MB (+4MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 0.99s
Memory:		 218MB (+31MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 3
Time         : 1.873s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 1.724s

Choices      : 280      (Domain: 113)
Conflicts    : 8        (Analyzed: 7)
Restarts     : 0       
Model-Level  : 257.0   
Problems     : 3        (Average Length: 5.33 Splits: 0)
Lemmas       : 7        (Deleted: 0)
  Binary     : 3        (Ratio:  42.86%)
  Ternary    : 2        (Ratio:  28.57%)
  Conflict   : 7        (Average Length:   10.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 7        (Average:  4.71 Max:  16 Sum:     33)
  Executed   : 4        (Average:  4.29 Max:  16 Sum:     30 Ratio:  90.91%)
  Bounded    : 3        (Average:  1.00 Max:   1 Sum:      3 Ratio:   9.09%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 21236    (Eliminated: 2454 Frozen: 18782)
Constraints  : 80035    (Binary:  90.3% Ternary:   5.8% Other:   3.9%)

Memory Peak  : 247MB
Max. Length  : 0 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 0.04s
Memory:		 218MB (+0MB)
UNSAT
Iteration Time:	 1.69s

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

Models       : 0
Calls        : 4
Time         : 4.818s (Solving: 1.46s 1st Model: 0.00s Unsat: 1.45s)
CPU Time     : 4.668s

Choices      : 86149    (Domain: 27519)
Conflicts    : 6768     (Analyzed: 6766)
Restarts     : 35       (Average: 193.31 Last: 93)
Model-Level  : 257.0   
Problems     : 4        (Average Length: 7.00 Splits: 0)
Lemmas       : 6766     (Deleted: 0)
  Binary     : 305      (Ratio:   4.51%)
  Ternary    : 331      (Ratio:   4.89%)
  Conflict   : 6766     (Average Length:   90.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 6766     (Average: 12.51 Max: 223 Sum:  84621)
  Executed   : 6728     (Average: 12.45 Max: 223 Sum:  84253 Ratio:  99.57%)
  Bounded    : 38       (Average:  9.68 Max:  12 Sum:    368 Ratio:   0.43%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 61312    (Eliminated: 2454 Frozen: 44203)
Constraints  : 382015   (Binary:  91.0% Ternary:   6.8% Other:   2.2%)

Memory Peak  : 247MB
Max. Length  : 5 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 2.20s
Memory:		 237MB (+19MB)
UNSAT
Iteration Time:	 2.95s

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

Models       : 0+
Calls        : 5
Time         : 18.922s (Solving: 14.06s 1st Model: 0.00s Unsat: 1.45s)
CPU Time     : 18.780s

Choices      : 235461   (Domain: 152391)
Conflicts    : 29833    (Analyzed: 29831)
Restarts     : 135      (Average: 220.97 Last: 295)
Model-Level  : 257.0   
Problems     : 5        (Average Length: 9.00 Splits: 0)
Lemmas       : 29831    (Deleted: 16058)
  Binary     : 1472     (Ratio:   4.93%)
  Ternary    : 725      (Ratio:   2.43%)
  Conflict   : 29831    (Average Length:  319.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 29831    (Average:  7.59 Max: 315 Sum: 226327)
  Executed   : 29773    (Average:  7.56 Max: 315 Sum: 225665 Ratio:  99.71%)
  Bounded    : 58       (Average: 11.41 Max:  17 Sum:    662 Ratio:   0.29%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 101388   (Eliminated: 2454 Frozen: 84279)
Constraints  : 636399   (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

Memory Peak  : 266MB
Max. Length  : 10 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 13.36s
Memory:		 266MB (+23MB)
UNKNOWN
Iteration Time:	 14.12s

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

Models       : 0+
Calls        : 6
Time         : 53.136s (Solving: 46.65s 1st Model: 0.00s Unsat: 1.45s)
CPU Time     : 53.008s

Choices      : 807535   (Domain: 669666)
Conflicts    : 72456    (Analyzed: 72454)
Restarts     : 235      (Average: 308.31 Last: 295)
Model-Level  : 257.0   
Problems     : 6        (Average Length: 11.17 Splits: 0)
Lemmas       : 72454    (Deleted: 46869)
  Binary     : 3765     (Ratio:   5.20%)
  Ternary    : 1214     (Ratio:   1.68%)
  Conflict   : 72454    (Average Length:  590.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 72454    (Average: 10.79 Max: 717 Sum: 782074)
  Executed   : 72380    (Average: 10.78 Max: 717 Sum: 781066 Ratio:  99.87%)
  Bounded    : 74       (Average: 13.62 Max:  22 Sum:   1008 Ratio:   0.13%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 141464   (Eliminated: 2454 Frozen: 124355)
Constraints  : 916704   (Binary:  91.3% Ternary:   6.8% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 33.38s
Memory:		 368MB (+90MB)
UNKNOWN
Iteration Time:	 34.24s

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

Models       : 0+
Calls        : 7
Time         : 87.635s (Solving: 79.56s 1st Model: 0.00s Unsat: 1.45s)
CPU Time     : 87.524s

Choices      : 1185256  (Domain: 1012568)
Conflicts    : 113171   (Analyzed: 113169)
Restarts     : 335      (Average: 337.82 Last: 295)
Model-Level  : 257.0   
Problems     : 7        (Average Length: 13.43 Splits: 0)
Lemmas       : 113169   (Deleted: 85888)
  Binary     : 5096     (Ratio:   4.50%)
  Ternary    : 1525     (Ratio:   1.35%)
  Conflict   : 113169   (Average Length:  723.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 113169   (Average: 10.08 Max: 717 Sum: 1140934)
  Executed   : 113085   (Average: 10.07 Max: 717 Sum: 1139672 Ratio:  99.89%)
  Bounded    : 84       (Average: 15.02 Max:  27 Sum:   1262 Ratio:   0.11%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 181540   (Eliminated: 2454 Frozen: 164431)
Constraints  : 1201241  (Binary:  91.2% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 33.71s
Memory:		 393MB (+21MB)
UNKNOWN
Iteration Time:	 34.53s

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

Models       : 0+
Calls        : 8
Time         : 143.331s (Solving: 133.61s 1st Model: 0.00s Unsat: 1.45s)
CPU Time     : 143.244s

Choices      : 1817683  (Domain: 1581029)
Conflicts    : 171792   (Analyzed: 171790)
Restarts     : 435      (Average: 394.92 Last: 295)
Model-Level  : 257.0   
Problems     : 8        (Average Length: 15.75 Splits: 0)
Lemmas       : 171790   (Deleted: 132135)
  Binary     : 6963     (Ratio:   4.05%)
  Ternary    : 1972     (Ratio:   1.15%)
  Conflict   : 171790   (Average Length:  878.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 171790   (Average: 10.16 Max: 717 Sum: 1745703)
  Executed   : 171696   (Average: 10.15 Max: 717 Sum: 1744126 Ratio:  99.91%)
  Bounded    : 94       (Average: 16.78 Max:  32 Sum:   1577 Ratio:   0.09%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 221616   (Eliminated: 2454 Frozen: 204507)
Constraints  : 1503142  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 54.87s
Memory:		 494MB (+96MB)
UNKNOWN
Iteration Time:	 55.73s

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         : 145.413s (Solving: 135.61s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 145.328s

Choices      : 1823512  (Domain: 1586858)
Conflicts    : 173549   (Analyzed: 173546)
Restarts     : 435      (Average: 398.96 Last: 1756)
Model-Level  : 257.0   
Problems     : 9        (Average Length: 17.56 Splits: 0)
Lemmas       : 173546   (Deleted: 132135)
  Binary     : 7003     (Ratio:   4.04%)
  Ternary    : 1973     (Ratio:   1.14%)
  Conflict   : 173546   (Average Length:  884.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 173546   (Average: 10.09 Max: 717 Sum: 1751534)
  Executed   : 173450   (Average: 10.08 Max: 717 Sum: 1749955 Ratio:  99.91%)
  Bounded    : 96       (Average: 16.45 Max:  32 Sum:   1579 Ratio:   0.09%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 221616   (Eliminated: 2454 Frozen: 219162)
Constraints  : 1503018  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 2.04s
Memory:		 558MB (+64MB)
UNSAT
Iteration Time:	 2.09s

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         : 154.807s (Solving: 144.92s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 154.724s

Choices      : 1936688  (Domain: 1700017)
Conflicts    : 187927   (Analyzed: 187924)
Restarts     : 535      (Average: 351.26 Last: 1756)
Model-Level  : 257.0   
Problems     : 10       (Average Length: 19.00 Splits: 0)
Lemmas       : 187924   (Deleted: 150933)
  Binary     : 7250     (Ratio:   3.86%)
  Ternary    : 2004     (Ratio:   1.07%)
  Conflict   : 187924   (Average Length:  852.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 187924   (Average:  9.80 Max: 717 Sum: 1842327)
  Executed   : 187825   (Average:  9.80 Max: 717 Sum: 1840745 Ratio:  99.91%)
  Bounded    : 99       (Average: 15.98 Max:  32 Sum:   1582 Ratio:   0.09%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 221616   (Eliminated: 2454 Frozen: 219162)
Constraints  : 1503018  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 9.35s
Memory:		 558MB (+0MB)
UNKNOWN
Iteration Time:	 9.40s

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         : 203.295s (Solving: 193.34s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 203.232s

Choices      : 2130309  (Domain: 1886009)
Conflicts    : 219480   (Analyzed: 219477)
Restarts     : 635      (Average: 345.63 Last: 1756)
Model-Level  : 257.0   
Problems     : 11       (Average Length: 20.18 Splits: 0)
Lemmas       : 219477   (Deleted: 181338)
  Binary     : 7701     (Ratio:   3.51%)
  Ternary    : 2118     (Ratio:   0.97%)
  Conflict   : 219477   (Average Length:  957.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 219477   (Average:  9.21 Max: 717 Sum: 2021609)
  Executed   : 219377   (Average:  9.20 Max: 717 Sum: 2019995 Ratio:  99.92%)
  Bounded    : 100      (Average: 16.14 Max:  32 Sum:   1614 Ratio:   0.08%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 221616   (Eliminated: 2454 Frozen: 219162)
Constraints  : 1503018  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 48.47s
Memory:		 558MB (+0MB)
UNKNOWN
Iteration Time:	 48.51s

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         : 249.865s (Solving: 239.82s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 249.824s

Choices      : 2411321  (Domain: 2156142)
Conflicts    : 254994   (Analyzed: 254991)
Restarts     : 735      (Average: 346.93 Last: 1756)
Model-Level  : 257.0   
Problems     : 12       (Average Length: 21.17 Splits: 0)
Lemmas       : 254991   (Deleted: 211814)
  Binary     : 8490     (Ratio:   3.33%)
  Ternary    : 2300     (Ratio:   0.90%)
  Conflict   : 254991   (Average Length: 1013.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 254991   (Average:  8.96 Max: 717 Sum: 2283505)
  Executed   : 254888   (Average:  8.95 Max: 717 Sum: 2281802 Ratio:  99.93%)
  Bounded    : 103      (Average: 16.53 Max:  32 Sum:   1703 Ratio:   0.07%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 221616   (Eliminated: 2454 Frozen: 219162)
Constraints  : 1503004  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 46.53s
Memory:		 558MB (+0MB)
UNKNOWN
Iteration Time:	 46.59s

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

Models       : 0+
Calls        : 13
Time         : 292.090s (Solving: 280.33s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 292.068s

Choices      : 2825336  (Domain: 2514451)
Conflicts    : 294145   (Analyzed: 294142)
Restarts     : 835      (Average: 352.27 Last: 1756)
Model-Level  : 257.0   
Problems     : 13       (Average Length: 22.38 Splits: 0)
Lemmas       : 294142   (Deleted: 258819)
  Binary     : 9851     (Ratio:   3.35%)
  Ternary    : 2616     (Ratio:   0.89%)
  Conflict   : 294142   (Average Length: 1066.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 294142   (Average:  9.06 Max: 717 Sum: 2663894)
  Executed   : 294037   (Average:  9.05 Max: 717 Sum: 2662159 Ratio:  99.93%)
  Bounded    : 105      (Average: 16.52 Max:  32 Sum:   1735 Ratio:   0.07%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 261692   (Eliminated: 2454 Frozen: 244583)
Constraints  : 1804967  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 41.35s
Memory:		 581MB (+23MB)
UNKNOWN
Iteration Time:	 42.25s

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

Models       : 0+
Calls        : 14
Time         : 331.431s (Solving: 317.97s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 331.424s

Choices      : 3240625  (Domain: 2927385)
Conflicts    : 334202   (Analyzed: 334199)
Restarts     : 935      (Average: 357.43 Last: 1756)
Model-Level  : 257.0   
Problems     : 14       (Average Length: 23.79 Splits: 0)
Lemmas       : 334199   (Deleted: 297494)
  Binary     : 10760    (Ratio:   3.22%)
  Ternary    : 2794     (Ratio:   0.84%)
  Conflict   : 334199   (Average Length: 1028.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 334199   (Average:  9.16 Max: 717 Sum: 3060741)
  Executed   : 334088   (Average:  9.15 Max: 717 Sum: 3058773 Ratio:  99.94%)
  Bounded    : 111      (Average: 17.73 Max:  42 Sum:   1968 Ratio:   0.06%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 301768   (Eliminated: 2454 Frozen: 284659)
Constraints  : 2106947  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 38.47s
Memory:		 608MB (+25MB)
UNKNOWN
Iteration Time:	 39.37s

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: 710.0MB
Grounding...	 [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time:	 0.73s
Memory:		 622MB (+14MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 15
Time         : 368.360s (Solving: 353.03s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 368.368s

Choices      : 3644374  (Domain: 3328058)
Conflicts    : 362016   (Analyzed: 362013)
Restarts     : 1035     (Average: 349.77 Last: 1756)
Model-Level  : 257.0   
Problems     : 15       (Average Length: 25.33 Splits: 0)
Lemmas       : 362013   (Deleted: 323057)
  Binary     : 11425    (Ratio:   3.16%)
  Ternary    : 2908     (Ratio:   0.80%)
  Conflict   : 362013   (Average Length: 1055.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 362013   (Average:  9.49 Max: 717 Sum: 3435531)
  Executed   : 361900   (Average:  9.48 Max: 717 Sum: 3433476 Ratio:  99.94%)
  Bounded    : 113      (Average: 18.19 Max:  44 Sum:   2055 Ratio:   0.06%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 341844   (Eliminated: 2454 Frozen: 324735)
Constraints  : 2408899  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 35.88s
Memory:		 672MB (+50MB)
UNKNOWN
Iteration Time:	 36.96s

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: 774.0MB
Grounding...	 [('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('check', [50])]
Grounding Time:	 0.54s
Memory:		 672MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 16
Time         : 421.891s (Solving: 404.85s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 421.920s

Choices      : 4369203  (Domain: 4033605)
Conflicts    : 408876   (Analyzed: 408873)
Restarts     : 1135     (Average: 360.24 Last: 1756)
Model-Level  : 257.0   
Problems     : 16       (Average Length: 27.00 Splits: 0)
Lemmas       : 408873   (Deleted: 362626)
  Binary     : 12744    (Ratio:   3.12%)
  Ternary    : 3105     (Ratio:   0.76%)
  Conflict   : 408873   (Average Length: 1108.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 408873   (Average: 10.09 Max: 717 Sum: 4125861)
  Executed   : 408759   (Average: 10.09 Max: 717 Sum: 4123757 Ratio:  99.95%)
  Bounded    : 114      (Average: 18.46 Max:  49 Sum:   2104 Ratio:   0.05%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 381920   (Eliminated: 2454 Frozen: 364811)
Constraints  : 2710879  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 52.67s
Memory:		 688MB (+16MB)
UNKNOWN
Iteration Time:	 53.57s

Iteration 16
Queue:		 [(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:	 50
Expected Memory: 790.0MB
Grounding...	 [('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('check', [55])]
Grounding Time:	 0.56s
Memory:		 688MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 17
Time         : 464.445s (Solving: 445.64s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 464.496s

Choices      : 4983621  (Domain: 4634633)
Conflicts    : 451075   (Analyzed: 451072)
Restarts     : 1235     (Average: 365.24 Last: 1756)
Model-Level  : 257.0   
Problems     : 17       (Average Length: 28.76 Splits: 0)
Lemmas       : 451072   (Deleted: 406726)
  Binary     : 13761    (Ratio:   3.05%)
  Ternary    : 3238     (Ratio:   0.72%)
  Conflict   : 451072   (Average Length: 1112.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 451072   (Average: 10.45 Max: 717 Sum: 4715749)
  Executed   : 450957   (Average: 10.45 Max: 717 Sum: 4713588 Ratio:  99.95%)
  Bounded    : 115      (Average: 18.79 Max:  57 Sum:   2161 Ratio:   0.05%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 421996   (Eliminated: 2454 Frozen: 404887)
Constraints  : 3012859  (Binary:  91.2% Ternary:   6.9% Other:   1.8%)

Memory Peak  : 743MB
Max. Length  : 50 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 41.64s
Memory:		 712MB (+24MB)
UNKNOWN
Iteration Time:	 42.58s

Iteration 17
Queue:		 [(12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 55
Expected Memory: 814.0MB
Grounding...	 [('step', [56]), ('step', [57]), ('step', [58]), ('step', [59]), ('step', [60]), ('check', [60])]
Grounding Time:	 0.58s
Memory:		 712MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 18
Time         : 523.642s (Solving: 503.02s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 523.716s

Choices      : 5803724  (Domain: 5438856)
Conflicts    : 515280   (Analyzed: 515277)
Restarts     : 1335     (Average: 385.98 Last: 1756)
Model-Level  : 257.0   
Problems     : 18       (Average Length: 30.61 Splits: 0)
Lemmas       : 515277   (Deleted: 462206)
  Binary     : 15139    (Ratio:   2.94%)
  Ternary    : 3527     (Ratio:   0.68%)
  Conflict   : 515277   (Average Length: 1126.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 515277   (Average: 10.68 Max: 717 Sum: 5504851)
  Executed   : 515161   (Average: 10.68 Max: 717 Sum: 5502628 Ratio:  99.96%)
  Bounded    : 116      (Average: 19.16 Max:  62 Sum:   2223 Ratio:   0.04%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 462072   (Eliminated: 2454 Frozen: 444963)
Constraints  : 3314825  (Binary:  91.2% Ternary:   6.9% Other:   1.8%)

Memory Peak  : 778MB
Max. Length  : 55 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 58.24s
Memory:		 740MB (+28MB)
UNKNOWN
Iteration Time:	 59.23s

Iteration 18
Queue:		 [(13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 60
Expected Memory: 842.0MB
Grounding...	 [('step', [61]), ('step', [62]), ('step', [63]), ('step', [64]), ('step', [65]), ('check', [65])]
Grounding Time:	 0.58s
Memory:		 741MB (+1MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 19
Time         : 579.101s (Solving: 556.63s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 579.196s

Choices      : 6599470  (Domain: 6226269)
Conflicts    : 564010   (Analyzed: 564007)
Restarts     : 1435     (Average: 393.04 Last: 3632)
Model-Level  : 257.0   
Problems     : 19       (Average Length: 32.53 Splits: 0)
Lemmas       : 564007   (Deleted: 509111)
  Binary     : 16077    (Ratio:   2.85%)
  Ternary    : 3641     (Ratio:   0.65%)
  Conflict   : 564007   (Average Length: 1158.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 564007   (Average: 11.11 Max: 717 Sum: 6267042)
  Executed   : 563890   (Average: 11.11 Max: 717 Sum: 6264752 Ratio:  99.96%)
  Bounded    : 117      (Average: 19.57 Max:  67 Sum:   2290 Ratio:   0.04%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 502148   (Eliminated: 2454 Frozen: 485039)
Constraints  : 3616791  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

Memory Peak  : 809MB
Max. Length  : 60 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 54.47s
Memory:		 802MB (+61MB)
UNKNOWN
Iteration Time:	 55.49s

Iteration 19
Queue:		 [(14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 65
Expected Memory: 904.0MB
Grounding...	 [('step', [66]), ('step', [67]), ('step', [68]), ('step', [69]), ('step', [70]), ('check', [70])]
Grounding Time:	 0.56s
Memory:		 802MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 20
Time         : 631.137s (Solving: 606.84s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 631.256s

Choices      : 7298905  (Domain: 6922765)
Conflicts    : 609800   (Analyzed: 609797)
Restarts     : 1535     (Average: 397.26 Last: 3632)
Model-Level  : 257.0   
Problems     : 20       (Average Length: 34.50 Splits: 0)
Lemmas       : 609797   (Deleted: 556484)
  Binary     : 16756    (Ratio:   2.75%)
  Ternary    : 3746     (Ratio:   0.61%)
  Conflict   : 609797   (Average Length: 1181.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 609797   (Average: 11.37 Max: 717 Sum: 6930765)
  Executed   : 609679   (Average: 11.36 Max: 717 Sum: 6928403 Ratio:  99.97%)
  Bounded    : 118      (Average: 20.02 Max:  72 Sum:   2362 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 542224   (Eliminated: 2454 Frozen: 525115)
Constraints  : 3918754  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

Memory Peak  : 868MB
Max. Length  : 65 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 51.09s
Memory:		 823MB (+21MB)
UNKNOWN
Iteration Time:	 52.07s

Iteration 20
Queue:		 [(15,75,0,True), (16,80,0,True)]
Grounded Until:	 70
Expected Memory: 925.0MB
Grounding...	 [('step', [71]), ('step', [72]), ('step', [73]), ('step', [74]), ('step', [75]), ('check', [75])]
Grounding Time:	 0.57s
Memory:		 823MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 21
Time         : 689.545s (Solving: 663.38s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 689.688s

Choices      : 8014342  (Domain: 7635744)
Conflicts    : 657682   (Analyzed: 657679)
Restarts     : 1635     (Average: 402.25 Last: 3632)
Model-Level  : 257.0   
Problems     : 21       (Average Length: 36.52 Splits: 0)
Lemmas       : 657679   (Deleted: 601001)
  Binary     : 17918    (Ratio:   2.72%)
  Ternary    : 3864     (Ratio:   0.59%)
  Conflict   : 657679   (Average Length: 1195.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 657679   (Average: 11.58 Max: 717 Sum: 7614452)
  Executed   : 657561   (Average: 11.57 Max: 717 Sum: 7612090 Ratio:  99.97%)
  Bounded    : 118      (Average: 20.02 Max:  72 Sum:   2362 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 582300   (Eliminated: 2454 Frozen: 565191)
Constraints  : 4220717  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

Memory Peak  : 894MB
Max. Length  : 70 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 57.42s
Memory:		 842MB (+19MB)
UNKNOWN
Iteration Time:	 58.45s

Iteration 21
Queue:		 [(16,80,0,True)]
Grounded Until:	 75
Expected Memory: 944.0MB
Grounding...	 [('step', [76]), ('step', [77]), ('step', [78]), ('step', [79]), ('step', [80]), ('check', [80])]
Grounding Time:	 0.57s
Memory:		 842MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 22
Time         : 726.047s (Solving: 698.00s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 726.204s

Choices      : 8653385  (Domain: 8270791)
Conflicts    : 690521   (Analyzed: 690518)
Restarts     : 1735     (Average: 397.99 Last: 3632)
Model-Level  : 257.0   
Problems     : 22       (Average Length: 38.59 Splits: 0)
Lemmas       : 690518   (Deleted: 633174)
  Binary     : 18299    (Ratio:   2.65%)
  Ternary    : 3930     (Ratio:   0.57%)
  Conflict   : 690518   (Average Length: 1201.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 690518   (Average: 11.90 Max: 717 Sum: 8219813)
  Executed   : 690400   (Average: 11.90 Max: 717 Sum: 8217451 Ratio:  99.97%)
  Bounded    : 118      (Average: 20.02 Max:  72 Sum:   2362 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 622376   (Eliminated: 2454 Frozen: 605267)
Constraints  : 4522697  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

Memory Peak  : 924MB
Max. Length  : 75 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 35.50s
Memory:		 867MB (+25MB)
UNKNOWN
Iteration Time:	 36.53s

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

Models       : 0+
Calls        : 23
Time         : 752.049s (Solving: 723.85s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 752.216s

Choices      : 8861281  (Domain: 8478687)
Conflicts    : 728339   (Analyzed: 728336)
Restarts     : 1835     (Average: 396.91 Last: 3632)
Model-Level  : 257.0   
Problems     : 23       (Average Length: 40.48 Splits: 0)
Lemmas       : 728336   (Deleted: 679113)
  Binary     : 18698    (Ratio:   2.57%)
  Ternary    : 4009     (Ratio:   0.55%)
  Conflict   : 728336   (Average Length: 1171.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 728336   (Average: 11.56 Max: 717 Sum: 8416774)
  Executed   : 728216   (Average: 11.55 Max: 717 Sum: 8414252 Ratio:  99.97%)
  Bounded    : 120      (Average: 21.02 Max:  82 Sum:   2522 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 622376   (Eliminated: 2454 Frozen: 619922)
Constraints  : 4522697  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

Memory Peak  : 924MB
Max. Length  : 80 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 25.95s
Memory:		 867MB (+0MB)
UNKNOWN
Iteration Time:	 26.02s

Iteration 23
Queue:		 [(5,25,2,True), (6,30,2,True), (7,35,1,True), (8,40,1,True), (9,45,1,True), (10,50,1,True), (11,55,1,True), (12,60,1,True), (13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,1,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 24
Time         : 861.593s (Solving: 833.24s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 861.808s

Choices      : 9043121  (Domain: 8660527)
Conflicts    : 783539   (Analyzed: 783536)
Restarts     : 1935     (Average: 404.93 Last: 3632)
Model-Level  : 257.0   
Problems     : 24       (Average Length: 42.21 Splits: 0)
Lemmas       : 783536   (Deleted: 731741)
  Binary     : 18845    (Ratio:   2.41%)
  Ternary    : 4064     (Ratio:   0.52%)
  Conflict   : 783536   (Average Length: 1215.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 783536   (Average: 10.96 Max: 717 Sum: 8585364)
  Executed   : 783416   (Average: 10.95 Max: 717 Sum: 8582842 Ratio:  99.97%)
  Bounded    : 120      (Average: 21.02 Max:  82 Sum:   2522 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 622376   (Eliminated: 2454 Frozen: 619922)
Constraints  : 4522684  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

Memory Peak  : 924MB
Max. Length  : 80 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 109.53s
Memory:		 867MB (+0MB)
UNKNOWN
Iteration Time:	 109.60s

Iteration 24
Queue:		 [(6,30,2,True), (7,35,1,True), (8,40,1,True), (9,45,1,True), (10,50,1,True), (11,55,1,True), (12,60,1,True), (13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,1,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 25
Time         : 892.922s (Solving: 864.43s 1st Model: 0.00s Unsat: 3.46s)
CPU Time     : 893.136s

Choices      : 9237042  (Domain: 8854448)
Conflicts    : 811188   (Analyzed: 811185)
Restarts     : 1987     (Average: 408.25 Last: 6107)
Model-Level  : 257.0   
Problems     : 25       (Average Length: 43.80 Splits: 0)
Lemmas       : 811185   (Deleted: 756852)
  Binary     : 19028    (Ratio:   2.35%)
  Ternary    : 4093     (Ratio:   0.50%)
  Conflict   : 811185   (Average Length: 1221.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 811185   (Average: 10.81 Max: 717 Sum: 8765538)
  Executed   : 811065   (Average: 10.80 Max: 717 Sum: 8763016 Ratio:  99.97%)
  Bounded    : 120      (Average: 21.02 Max:  82 Sum:   2522 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 622376   (Eliminated: 2454 Frozen: 619922)
Constraints  : 4522684  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

Memory Peak  : 924MB
Max. Length  : 80 steps
Models       : 1


