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-16.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-16.pddl
Parsing...
Parsing: [0.040s CPU, 0.049s wall-clock]
Normalizing task... [0.000s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.011s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.050s CPU, 0.049s wall-clock]
Preparing model... [0.020s CPU, 0.028s wall-clock]
Generated 115 rules.
Computing model... [0.510s CPU, 0.507s wall-clock]
3094 relevant atoms
3221 auxiliary atoms
6315 final queue length
10878 total queue pushes
Completing instantiation... [0.960s CPU, 0.963s wall-clock]
Instantiating: [1.560s CPU, 1.566s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.120s CPU, 0.115s 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...
328 uncovered facts
Choosing groups: [0.000s CPU, 0.002s wall-clock]
Building translation key... [0.010s CPU, 0.012s wall-clock]
Computing fact groups: [0.170s CPU, 0.166s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.003s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.003s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.003s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.050s CPU, 0.052s wall-clock]
Translating task: [1.000s CPU, 0.996s wall-clock]
3672 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
3 propositions removed
Detecting unreachable propositions: [0.480s CPU, 0.489s wall-clock]
Reordering and filtering variables...
331 of 331 variables necessary.
15 of 18 mutex groups necessary.
2194 of 2194 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.400s CPU, 0.399s wall-clock]
Translator variables: 331
Translator derived variables: 0
Translator facts: 691
Translator goal facts: 13
Translator mutex groups: 15
Translator total mutex groups size: 45
Translator operators: 2194
Translator axioms: 0
Translator task size: 21018
Translator peak memory: 48588 KB
Writing output... [0.400s CPU, 0.437s wall-clock]
Done! [4.100s CPU, 4.154s wall-clock]
planner.py version 0.0.1

Time:	 0.85s
Memory: 107MB

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

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

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

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

Choices      : 276      (Domain: 269)
Conflicts    : 40       (Analyzed: 39)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 39       (Deleted: 0)
  Binary     : 9        (Ratio:  23.08%)
  Ternary    : 1        (Ratio:   2.56%)
  Conflict   : 39       (Average Length:    5.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 39       (Average:  7.10 Max:  47 Sum:    277)
  Executed   : 38       (Average:  7.08 Max:  47 Sum:    276 Ratio:  99.64%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   0.36%)

Rules        : 60629   
Atoms        : 60629   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 16256    (Eliminated:    0 Frozen: 16256)
Constraints  : 53667    (Binary:  95.3% Ternary:   3.3% Other:   1.4%)

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

[endof: stats after solve call]
Solving Time:	 0.21s
Memory:		 183MB (+4MB)
UNSAT
Iteration Time:	 0.60s

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

Models       : 1+
Calls        : 3
Time         : 2.390s (Solving: 0.01s 1st Model: 0.01s Unsat: 0.00s)
CPU Time     : 2.256s

Choices      : 1025     (Domain: 957)
Conflicts    : 61       (Analyzed: 60)
Restarts     : 0       
Model-Level  : 291.0   
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 60       (Deleted: 0)
  Binary     : 18       (Ratio:  30.00%)
  Ternary    : 3        (Ratio:   5.00%)
  Conflict   : 60       (Average Length:   28.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 60       (Average: 12.45 Max: 146 Sum:    747)
  Executed   : 59       (Average: 12.43 Max: 146 Sum:    746 Ratio:  99.87%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   0.13%)

Rules        : 60629   
Atoms        : 60629   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 35632    (Eliminated:    0 Frozen: 35632)
Constraints  : 211962   (Binary:  95.6% Ternary:   3.2% Other:   1.2%)

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

[endof: stats after solve call]
Solving Time:	 0.36s
Memory:		 197MB (+8MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 1.07s
Memory:		 232MB (+35MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 4
Time         : 4.376s (Solving: 1.51s 1st Model: 0.01s Unsat: 1.50s)
CPU Time     : 4.244s

Choices      : 49486    (Domain: 32174)
Conflicts    : 5318     (Analyzed: 5316)
Restarts     : 28       (Average: 189.86 Last: 39)
Model-Level  : 291.0   
Problems     : 4        (Average Length: 8.25 Splits: 0)
Lemmas       : 5316     (Deleted: 0)
  Binary     : 522      (Ratio:   9.82%)
  Ternary    : 209      (Ratio:   3.93%)
  Conflict   : 5316     (Average Length:  111.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 5316     (Average:  9.05 Max: 232 Sum:  48103)
  Executed   : 5300     (Average:  9.02 Max: 232 Sum:  47966 Ratio:  99.72%)
  Bounded    : 16       (Average:  8.56 Max:  12 Sum:    137 Ratio:   0.28%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 56254    (Eliminated: 15972 Frozen: 40282)
Constraints  : 305290   (Binary:  88.2% Ternary:   7.9% Other:   3.9%)

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

[endof: stats after solve call]
Solving Time:	 1.74s
Memory:		 229MB (+-3MB)
UNSAT
Iteration Time:	 3.62s

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

Models       : 0+
Calls        : 5
Time         : 19.170s (Solving: 14.91s 1st Model: 0.01s Unsat: 1.50s)
CPU Time     : 19.048s

Choices      : 235697   (Domain: 197120)
Conflicts    : 33509    (Analyzed: 33507)
Restarts     : 128      (Average: 261.77 Last: 201)
Model-Level  : 291.0   
Problems     : 5        (Average Length: 10.00 Splits: 0)
Lemmas       : 33507    (Deleted: 19700)
  Binary     : 2036     (Ratio:   6.08%)
  Ternary    : 669      (Ratio:   2.00%)
  Conflict   : 33507    (Average Length:  261.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 33507    (Average:  6.84 Max: 323 Sum: 229132)
  Executed   : 33472    (Average:  6.83 Max: 323 Sum: 228691 Ratio:  99.81%)
  Bounded    : 35       (Average: 12.60 Max:  17 Sum:    441 Ratio:   0.19%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 93745    (Eliminated: 15972 Frozen: 64093)
Constraints  : 558156   (Binary:  89.8% Ternary:   7.3% Other:   2.9%)

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

[endof: stats after solve call]
Solving Time:	 14.09s
Memory:		 259MB (+23MB)
UNKNOWN
Iteration Time:	 14.81s

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

Models       : 0+
Calls        : 6
Time         : 39.069s (Solving: 33.33s 1st Model: 0.01s Unsat: 1.50s)
CPU Time     : 38.952s

Choices      : 475232   (Domain: 408298)
Conflicts    : 61687    (Analyzed: 61685)
Restarts     : 228      (Average: 270.55 Last: 201)
Model-Level  : 291.0   
Problems     : 6        (Average Length: 12.00 Splits: 0)
Lemmas       : 61685    (Deleted: 45048)
  Binary     : 3429     (Ratio:   5.56%)
  Ternary    : 1030     (Ratio:   1.67%)
  Conflict   : 61685    (Average Length:  476.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 61685    (Average:  7.45 Max: 323 Sum: 459349)
  Executed   : 61642    (Average:  7.44 Max: 323 Sum: 458745 Ratio:  99.87%)
  Bounded    : 43       (Average: 14.05 Max:  22 Sum:    604 Ratio:   0.13%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 131236   (Eliminated: 15972 Frozen: 101584)
Constraints  : 834124   (Binary:  90.4% Ternary:   7.2% Other:   2.5%)

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

[endof: stats after solve call]
Solving Time:	 19.12s
Memory:		 288MB (+25MB)
UNKNOWN
Iteration Time:	 19.92s

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

Models       : 0+
Calls        : 7
Time         : 68.218s (Solving: 60.95s 1st Model: 0.01s Unsat: 1.50s)
CPU Time     : 68.112s

Choices      : 770944   (Domain: 685016)
Conflicts    : 89852    (Analyzed: 89850)
Restarts     : 328      (Average: 273.93 Last: 210)
Model-Level  : 291.0   
Problems     : 7        (Average Length: 14.14 Splits: 0)
Lemmas       : 89850    (Deleted: 71178)
  Binary     : 4529     (Ratio:   5.04%)
  Ternary    : 1290     (Ratio:   1.44%)
  Conflict   : 89850    (Average Length:  812.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 89850    (Average:  8.22 Max: 536 Sum: 738315)
  Executed   : 89802    (Average:  8.21 Max: 536 Sum: 737594 Ratio:  99.90%)
  Bounded    : 48       (Average: 15.02 Max:  27 Sum:    721 Ratio:   0.10%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 168727   (Eliminated: 15972 Frozen: 139075)
Constraints  : 1114475  (Binary:  90.6% Ternary:   7.1% Other:   2.3%)

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

[endof: stats after solve call]
Solving Time:	 28.34s
Memory:		 382MB (+83MB)
UNKNOWN
Iteration Time:	 29.18s

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

Models       : 0+
Calls        : 8
Time         : 97.860s (Solving: 89.04s 1st Model: 0.01s Unsat: 1.50s)
CPU Time     : 97.768s

Choices      : 1161726  (Domain: 1069260)
Conflicts    : 118020   (Analyzed: 118018)
Restarts     : 428      (Average: 275.74 Last: 210)
Model-Level  : 291.0   
Problems     : 8        (Average Length: 16.38 Splits: 0)
Lemmas       : 118018   (Deleted: 97261)
  Binary     : 6649     (Ratio:   5.63%)
  Ternary    : 1561     (Ratio:   1.32%)
  Conflict   : 118018   (Average Length:  905.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 118018   (Average:  9.46 Max: 536 Sum: 1116867)
  Executed   : 117964   (Average:  9.46 Max: 536 Sum: 1115975 Ratio:  99.92%)
  Bounded    : 54       (Average: 16.52 Max:  32 Sum:    892 Ratio:   0.08%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 206218   (Eliminated: 15972 Frozen: 176566)
Constraints  : 1396921  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 28.83s
Memory:		 481MB (+95MB)
UNKNOWN
Iteration Time:	 29.66s

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         : 98.659s (Solving: 89.79s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 98.568s

Choices      : 1172368  (Domain: 1079894)
Conflicts    : 118674   (Analyzed: 118671)
Restarts     : 433      (Average: 274.07 Last: 210)
Model-Level  : 291.0   
Problems     : 9        (Average Length: 18.11 Splits: 0)
Lemmas       : 118671   (Deleted: 97261)
  Binary     : 6668     (Ratio:   5.62%)
  Ternary    : 1571     (Ratio:   1.32%)
  Conflict   : 118671   (Average Length:  902.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 118671   (Average:  9.50 Max: 536 Sum: 1127355)
  Executed   : 118614   (Average:  9.49 Max: 536 Sum: 1126434 Ratio:  99.92%)
  Bounded    : 57       (Average: 16.16 Max:  32 Sum:    921 Ratio:   0.08%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 206218   (Eliminated: 15972 Frozen: 190246)
Constraints  : 1394854  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 0.78s
Memory:		 481MB (+0MB)
UNSAT
Iteration Time:	 0.80s

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         : 118.915s (Solving: 109.99s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 118.832s

Choices      : 1388309  (Domain: 1295819)
Conflicts    : 146823   (Analyzed: 146820)
Restarts     : 533      (Average: 275.46 Last: 210)
Model-Level  : 291.0   
Problems     : 10       (Average Length: 19.50 Splits: 0)
Lemmas       : 146820   (Deleted: 124366)
  Binary     : 7162     (Ratio:   4.88%)
  Ternary    : 1650     (Ratio:   1.12%)
  Conflict   : 146820   (Average Length:  871.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 146820   (Average:  9.11 Max: 536 Sum: 1337949)
  Executed   : 146750   (Average:  9.10 Max: 536 Sum: 1336792 Ratio:  99.91%)
  Bounded    : 70       (Average: 16.53 Max:  32 Sum:   1157 Ratio:   0.09%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 206218   (Eliminated: 15972 Frozen: 190246)
Constraints  : 1394854  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 20.25s
Memory:		 481MB (+0MB)
UNKNOWN
Iteration Time:	 20.27s

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         : 138.158s (Solving: 129.19s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 138.084s

Choices      : 1608883  (Domain: 1513518)
Conflicts    : 175023   (Analyzed: 175020)
Restarts     : 633      (Average: 276.49 Last: 210)
Model-Level  : 291.0   
Problems     : 11       (Average Length: 20.64 Splits: 0)
Lemmas       : 175020   (Deleted: 151333)
  Binary     : 7773     (Ratio:   4.44%)
  Ternary    : 1764     (Ratio:   1.01%)
  Conflict   : 175020   (Average Length:  793.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 175020   (Average:  8.85 Max: 536 Sum: 1549314)
  Executed   : 174946   (Average:  8.84 Max: 536 Sum: 1548044 Ratio:  99.92%)
  Bounded    : 74       (Average: 17.16 Max:  32 Sum:   1270 Ratio:   0.08%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 206218   (Eliminated: 15972 Frozen: 190246)
Constraints  : 1394813  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 19.24s
Memory:		 481MB (+0MB)
UNKNOWN
Iteration Time:	 19.25s

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         : 163.377s (Solving: 154.36s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 163.316s

Choices      : 1924981  (Domain: 1819047)
Conflicts    : 203187   (Analyzed: 203184)
Restarts     : 733      (Average: 277.20 Last: 210)
Model-Level  : 291.0   
Problems     : 12       (Average Length: 21.58 Splits: 0)
Lemmas       : 203184   (Deleted: 177346)
  Binary     : 9025     (Ratio:   4.44%)
  Ternary    : 2022     (Ratio:   1.00%)
  Conflict   : 203184   (Average Length:  850.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 203184   (Average:  9.08 Max: 536 Sum: 1845131)
  Executed   : 203109   (Average:  9.07 Max: 536 Sum: 1843835 Ratio:  99.93%)
  Bounded    : 75       (Average: 17.28 Max:  32 Sum:   1296 Ratio:   0.07%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 206218   (Eliminated: 15972 Frozen: 190246)
Constraints  : 1394799  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

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

Models       : 0+
Calls        : 13
Time         : 190.264s (Solving: 179.67s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 190.212s

Choices      : 2261535  (Domain: 2148355)
Conflicts    : 231413   (Analyzed: 231410)
Restarts     : 833      (Average: 277.80 Last: 210)
Model-Level  : 291.0   
Problems     : 13       (Average Length: 22.77 Splits: 0)
Lemmas       : 231410   (Deleted: 204088)
  Binary     : 10123    (Ratio:   4.37%)
  Ternary    : 2152     (Ratio:   0.93%)
  Conflict   : 231410   (Average Length:  854.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 231410   (Average:  9.36 Max: 536 Sum: 2165165)
  Executed   : 231334   (Average:  9.35 Max: 536 Sum: 2163832 Ratio:  99.94%)
  Bounded    : 76       (Average: 17.54 Max:  37 Sum:   1333 Ratio:   0.06%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 243709   (Eliminated: 15972 Frozen: 214057)
Constraints  : 1677259  (Binary:  90.8% Ternary:   7.1% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 26.05s
Memory:		 503MB (+22MB)
UNKNOWN
Iteration Time:	 26.91s

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

Models       : 0+
Calls        : 14
Time         : 213.802s (Solving: 201.65s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 213.760s

Choices      : 2536019  (Domain: 2417128)
Conflicts    : 259621   (Analyzed: 259618)
Restarts     : 933      (Average: 278.26 Last: 210)
Model-Level  : 291.0   
Problems     : 14       (Average Length: 24.14 Splits: 0)
Lemmas       : 259618   (Deleted: 230886)
  Binary     : 10717    (Ratio:   4.13%)
  Ternary    : 2191     (Ratio:   0.84%)
  Conflict   : 259618   (Average Length:  861.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 259618   (Average:  9.33 Max: 536 Sum: 2422219)
  Executed   : 259542   (Average:  9.32 Max: 536 Sum: 2420886 Ratio:  99.94%)
  Bounded    : 76       (Average: 17.54 Max:  37 Sum:   1333 Ratio:   0.06%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 281200   (Eliminated: 15972 Frozen: 251548)
Constraints  : 1959705  (Binary:  90.9% Ternary:   7.1% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 22.71s
Memory:		 527MB (+24MB)
UNKNOWN
Iteration Time:	 23.56s

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

Models       : 0+
Calls        : 15
Time         : 239.988s (Solving: 226.28s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 239.960s

Choices      : 2825203  (Domain: 2704478)
Conflicts    : 287810   (Analyzed: 287807)
Restarts     : 1033     (Average: 278.61 Last: 210)
Model-Level  : 291.0   
Problems     : 15       (Average Length: 25.67 Splits: 0)
Lemmas       : 287807   (Deleted: 258154)
  Binary     : 11237    (Ratio:   3.90%)
  Ternary    : 2248     (Ratio:   0.78%)
  Conflict   : 287807   (Average Length:  862.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 287807   (Average:  9.36 Max: 536 Sum: 2693162)
  Executed   : 287731   (Average:  9.35 Max: 536 Sum: 2691829 Ratio:  99.95%)
  Bounded    : 76       (Average: 17.54 Max:  37 Sum:   1333 Ratio:   0.05%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 318691   (Eliminated: 15972 Frozen: 289039)
Constraints  : 2242165  (Binary:  90.9% Ternary:   7.1% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 25.36s
Memory:		 574MB (+44MB)
UNKNOWN
Iteration Time:	 26.21s

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

Models       : 0+
Calls        : 16
Time         : 263.187s (Solving: 247.76s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 263.168s

Choices      : 3116033  (Domain: 2990209)
Conflicts    : 316000   (Analyzed: 315997)
Restarts     : 1133     (Average: 278.90 Last: 210)
Model-Level  : 291.0   
Problems     : 16       (Average Length: 27.31 Splits: 0)
Lemmas       : 315997   (Deleted: 285382)
  Binary     : 11791    (Ratio:   3.73%)
  Ternary    : 2305     (Ratio:   0.73%)
  Conflict   : 315997   (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    : 315997   (Average:  9.38 Max: 536 Sum: 2963533)
  Executed   : 315921   (Average:  9.37 Max: 536 Sum: 2962200 Ratio:  99.96%)
  Bounded    : 76       (Average: 17.54 Max:  37 Sum:   1333 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 356182   (Eliminated: 15972 Frozen: 326530)
Constraints  : 2524625  (Binary:  90.9% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 22.23s
Memory:		 602MB (+15MB)
UNKNOWN
Iteration Time:	 23.22s

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: 701.0MB
Grounding...	 [('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('check', [55])]
Grounding Time:	 0.51s
Memory:		 602MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 17
Time         : 288.503s (Solving: 271.48s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 288.496s

Choices      : 3492758  (Domain: 3361720)
Conflicts    : 344225   (Analyzed: 344222)
Restarts     : 1233     (Average: 279.17 Last: 210)
Model-Level  : 291.0   
Problems     : 17       (Average Length: 29.06 Splits: 0)
Lemmas       : 344222   (Deleted: 312588)
  Binary     : 12313    (Ratio:   3.58%)
  Ternary    : 2342     (Ratio:   0.68%)
  Conflict   : 344222   (Average Length:  878.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 344222   (Average:  9.64 Max: 536 Sum: 3317775)
  Executed   : 344145   (Average:  9.63 Max: 536 Sum: 3316385 Ratio:  99.96%)
  Bounded    : 77       (Average: 18.05 Max:  57 Sum:   1390 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 393673   (Eliminated: 15972 Frozen: 364021)
Constraints  : 2807085  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 24.48s
Memory:		 627MB (+25MB)
UNKNOWN
Iteration Time:	 25.34s

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: 726.0MB
Grounding...	 [('step', [56]), ('step', [57]), ('step', [58]), ('step', [59]), ('step', [60]), ('check', [60])]
Grounding Time:	 0.52s
Memory:		 627MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 18
Time         : 314.936s (Solving: 296.28s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 314.940s

Choices      : 3967242  (Domain: 3826754)
Conflicts    : 372477   (Analyzed: 372474)
Restarts     : 1333     (Average: 279.43 Last: 210)
Model-Level  : 291.0   
Problems     : 18       (Average Length: 30.89 Splits: 0)
Lemmas       : 372474   (Deleted: 339721)
  Binary     : 12860    (Ratio:   3.45%)
  Ternary    : 2411     (Ratio:   0.65%)
  Conflict   : 372474   (Average Length:  891.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 372474   (Average: 10.11 Max: 536 Sum: 3766767)
  Executed   : 372396   (Average: 10.11 Max: 536 Sum: 3765315 Ratio:  99.96%)
  Bounded    : 78       (Average: 18.62 Max:  62 Sum:   1452 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 431164   (Eliminated: 15972 Frozen: 401512)
Constraints  : 3089534  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 25.56s
Memory:		 684MB (+57MB)
UNKNOWN
Iteration Time:	 26.45s

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

Models       : 0+
Calls        : 19
Time         : 341.397s (Solving: 321.12s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 341.412s

Choices      : 4412312  (Domain: 4266972)
Conflicts    : 400697   (Analyzed: 400694)
Restarts     : 1433     (Average: 279.62 Last: 210)
Model-Level  : 291.0   
Problems     : 19       (Average Length: 32.79 Splits: 0)
Lemmas       : 400694   (Deleted: 366950)
  Binary     : 13281    (Ratio:   3.31%)
  Ternary    : 2461     (Ratio:   0.61%)
  Conflict   : 400694   (Average Length:  900.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 400694   (Average: 10.45 Max: 536 Sum: 4187115)
  Executed   : 400616   (Average: 10.45 Max: 536 Sum: 4185663 Ratio:  99.97%)
  Bounded    : 78       (Average: 18.62 Max:  62 Sum:   1452 Ratio:   0.03%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 468655   (Eliminated: 15972 Frozen: 439003)
Constraints  : 3371980  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 25.60s
Memory:		 700MB (+16MB)
UNKNOWN
Iteration Time:	 26.48s

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

Models       : 0+
Calls        : 20
Time         : 367.485s (Solving: 345.50s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 367.512s

Choices      : 4890038  (Domain: 4741904)
Conflicts    : 428922   (Analyzed: 428919)
Restarts     : 1533     (Average: 279.79 Last: 210)
Model-Level  : 291.0   
Problems     : 20       (Average Length: 34.75 Splits: 0)
Lemmas       : 428919   (Deleted: 394381)
  Binary     : 13687    (Ratio:   3.19%)
  Ternary    : 2497     (Ratio:   0.58%)
  Conflict   : 428919   (Average Length:  906.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 428919   (Average: 10.82 Max: 671 Sum: 4639484)
  Executed   : 428839   (Average: 10.81 Max: 671 Sum: 4637894 Ratio:  99.97%)
  Bounded    : 80       (Average: 19.88 Max:  72 Sum:   1590 Ratio:   0.03%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 506146   (Eliminated: 15972 Frozen: 476494)
Constraints  : 3654440  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 25.16s
Memory:		 724MB (+24MB)
UNKNOWN
Iteration Time:	 26.11s

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

Models       : 0+
Calls        : 21
Time         : 393.016s (Solving: 369.37s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 393.056s

Choices      : 5273115  (Domain: 5124025)
Conflicts    : 457156   (Analyzed: 457153)
Restarts     : 1633     (Average: 279.95 Last: 210)
Model-Level  : 291.0   
Problems     : 21       (Average Length: 36.76 Splits: 0)
Lemmas       : 457153   (Deleted: 422099)
  Binary     : 13899    (Ratio:   3.04%)
  Ternary    : 2521     (Ratio:   0.55%)
  Conflict   : 457153   (Average Length:  907.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 457153   (Average: 10.93 Max: 671 Sum: 4996047)
  Executed   : 457071   (Average: 10.92 Max: 671 Sum: 4994309 Ratio:  99.97%)
  Bounded    : 82       (Average: 21.20 Max:  77 Sum:   1738 Ratio:   0.03%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 543637   (Eliminated: 15972 Frozen: 513985)
Constraints  : 3936886  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.64s
Memory:		 748MB (+24MB)
UNKNOWN
Iteration Time:	 25.55s

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

Models       : 0+
Calls        : 22
Time         : 420.785s (Solving: 395.44s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 420.836s

Choices      : 5743061  (Domain: 5590881)
Conflicts    : 485370   (Analyzed: 485367)
Restarts     : 1733     (Average: 280.07 Last: 210)
Model-Level  : 291.0   
Problems     : 22       (Average Length: 38.82 Splits: 0)
Lemmas       : 485367   (Deleted: 449549)
  Binary     : 14298    (Ratio:   2.95%)
  Ternary    : 2574     (Ratio:   0.53%)
  Conflict   : 485367   (Average Length:  911.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 485367   (Average: 11.20 Max: 771 Sum: 5437250)
  Executed   : 485284   (Average: 11.20 Max: 771 Sum: 5435430 Ratio:  99.97%)
  Bounded    : 83       (Average: 21.93 Max:  82 Sum:   1820 Ratio:   0.03%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 551476)
Constraints  : 4219329  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.85s
Memory:		 772MB (+24MB)
UNKNOWN
Iteration Time:	 27.79s

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         : 441.966s (Solving: 416.47s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 442.028s

Choices      : 5883910  (Domain: 5731730)
Conflicts    : 513576   (Analyzed: 513573)
Restarts     : 1833     (Average: 280.18 Last: 210)
Model-Level  : 291.0   
Problems     : 23       (Average Length: 40.70 Splits: 0)
Lemmas       : 513573   (Deleted: 476922)
  Binary     : 14597    (Ratio:   2.84%)
  Ternary    : 2609     (Ratio:   0.51%)
  Conflict   : 513573   (Average Length:  914.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 513573   (Average: 10.84 Max: 771 Sum: 5569531)
  Executed   : 513490   (Average: 10.84 Max: 771 Sum: 5567711 Ratio:  99.97%)
  Bounded    : 83       (Average: 21.93 Max:  82 Sum:   1820 Ratio:   0.03%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 565156)
Constraints  : 4219312  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.14s
Memory:		 790MB (+18MB)
UNKNOWN
Iteration Time:	 21.19s

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         : 466.570s (Solving: 440.94s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 466.644s

Choices      : 6033882  (Domain: 5881702)
Conflicts    : 541735   (Analyzed: 541732)
Restarts     : 1933     (Average: 280.25 Last: 210)
Model-Level  : 291.0   
Problems     : 24       (Average Length: 42.42 Splits: 0)
Lemmas       : 541732   (Deleted: 504176)
  Binary     : 14754    (Ratio:   2.72%)
  Ternary    : 2651     (Ratio:   0.49%)
  Conflict   : 541732   (Average Length:  905.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 541732   (Average: 10.53 Max: 771 Sum: 5706954)
  Executed   : 541644   (Average: 10.53 Max: 771 Sum: 5704742 Ratio:  99.96%)
  Bounded    : 88       (Average: 25.14 Max:  82 Sum:   2212 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 565156)
Constraints  : 4219312  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.56s
Memory:		 790MB (+0MB)
UNKNOWN
Iteration Time:	 24.62s

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...
[start: stats after solve call]

Models       : 0+
Calls        : 25
Time         : 489.207s (Solving: 463.46s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 489.292s

Choices      : 6233762  (Domain: 6077859)
Conflicts    : 569931   (Analyzed: 569928)
Restarts     : 2033     (Average: 280.34 Last: 210)
Model-Level  : 291.0   
Problems     : 25       (Average Length: 44.00 Splits: 0)
Lemmas       : 569928   (Deleted: 531605)
  Binary     : 15134    (Ratio:   2.66%)
  Ternary    : 2683     (Ratio:   0.47%)
  Conflict   : 569928   (Average Length:  898.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 569928   (Average: 10.33 Max: 771 Sum: 5888669)
  Executed   : 569838   (Average: 10.33 Max: 771 Sum: 5886299 Ratio:  99.96%)
  Bounded    : 90       (Average: 26.33 Max:  82 Sum:   2370 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 565156)
Constraints  : 4219285  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.60s
Memory:		 790MB (+0MB)
UNKNOWN
Iteration Time:	 22.65s

Iteration 25
Queue:		 [(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        : 26
Time         : 507.427s (Solving: 481.52s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 507.520s

Choices      : 6428229  (Domain: 6270007)
Conflicts    : 598174   (Analyzed: 598171)
Restarts     : 2133     (Average: 280.44 Last: 210)
Model-Level  : 291.0   
Problems     : 26       (Average Length: 45.46 Splits: 0)
Lemmas       : 598171   (Deleted: 558970)
  Binary     : 15401    (Ratio:   2.57%)
  Ternary    : 2714     (Ratio:   0.45%)
  Conflict   : 598171   (Average Length:  886.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 598171   (Average: 10.15 Max: 771 Sum: 6070220)
  Executed   : 598079   (Average: 10.14 Max: 771 Sum: 6067686 Ratio:  99.96%)
  Bounded    : 92       (Average: 27.54 Max:  82 Sum:   2534 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 565156)
Constraints  : 4219272  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 18.17s
Memory:		 790MB (+0MB)
UNKNOWN
Iteration Time:	 18.23s

Iteration 26
Queue:		 [(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        : 27
Time         : 527.728s (Solving: 501.68s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 527.832s

Choices      : 6631906  (Domain: 6470762)
Conflicts    : 626437   (Analyzed: 626434)
Restarts     : 2233     (Average: 280.53 Last: 210)
Model-Level  : 291.0   
Problems     : 27       (Average Length: 46.81 Splits: 0)
Lemmas       : 626434   (Deleted: 585312)
  Binary     : 15742    (Ratio:   2.51%)
  Ternary    : 2755     (Ratio:   0.44%)
  Conflict   : 626434   (Average Length:  868.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 626434   (Average:  9.99 Max: 771 Sum: 6257808)
  Executed   : 626341   (Average:  9.99 Max: 771 Sum: 6255192 Ratio:  99.96%)
  Bounded    : 93       (Average: 28.13 Max:  82 Sum:   2616 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 565156)
Constraints  : 4219244  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.25s
Memory:		 790MB (+0MB)
UNKNOWN
Iteration Time:	 20.31s

Iteration 27
Queue:		 [(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        : 28
Time         : 547.969s (Solving: 521.80s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 548.080s

Choices      : 6914320  (Domain: 6749179)
Conflicts    : 654626   (Analyzed: 654623)
Restarts     : 2333     (Average: 280.59 Last: 210)
Model-Level  : 291.0   
Problems     : 28       (Average Length: 48.07 Splits: 0)
Lemmas       : 654623   (Deleted: 613570)
  Binary     : 16179    (Ratio:   2.47%)
  Ternary    : 2811     (Ratio:   0.43%)
  Conflict   : 654623   (Average Length:  858.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 654623   (Average:  9.97 Max: 771 Sum: 6523571)
  Executed   : 654529   (Average:  9.96 Max: 771 Sum: 6520873 Ratio:  99.96%)
  Bounded    : 94       (Average: 28.70 Max:  82 Sum:   2698 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 565156)
Constraints  : 4219227  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.21s
Memory:		 790MB (+0MB)
UNKNOWN
Iteration Time:	 20.25s

Iteration 28
Queue:		 [(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        : 29
Time         : 575.439s (Solving: 549.15s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 575.560s

Choices      : 7378163  (Domain: 7210517)
Conflicts    : 682843   (Analyzed: 682840)
Restarts     : 2433     (Average: 280.66 Last: 210)
Model-Level  : 291.0   
Problems     : 29       (Average Length: 49.24 Splits: 0)
Lemmas       : 682840   (Deleted: 640779)
  Binary     : 16719    (Ratio:   2.45%)
  Ternary    : 2875     (Ratio:   0.42%)
  Conflict   : 682840   (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    : 682840   (Average: 10.19 Max: 771 Sum: 6960353)
  Executed   : 682746   (Average: 10.19 Max: 771 Sum: 6957655 Ratio:  99.96%)
  Bounded    : 94       (Average: 28.70 Max:  82 Sum:   2698 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 565156)
Constraints  : 4219213  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 27.44s
Memory:		 790MB (+0MB)
UNKNOWN
Iteration Time:	 27.48s

Iteration 29
Queue:		 [(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        : 30
Time         : 594.192s (Solving: 567.76s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 594.320s

Choices      : 7671229  (Domain: 7502277)
Conflicts    : 711057   (Analyzed: 711054)
Restarts     : 2533     (Average: 280.72 Last: 210)
Model-Level  : 291.0   
Problems     : 30       (Average Length: 50.33 Splits: 0)
Lemmas       : 711054   (Deleted: 668087)
  Binary     : 16983    (Ratio:   2.39%)
  Ternary    : 2894     (Ratio:   0.41%)
  Conflict   : 711054   (Average Length:  854.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 711054   (Average: 10.18 Max: 771 Sum: 7235238)
  Executed   : 710958   (Average: 10.17 Max: 771 Sum: 7232376 Ratio:  99.96%)
  Bounded    : 96       (Average: 29.81 Max:  82 Sum:   2862 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 565156)
Constraints  : 4219213  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 18.71s
Memory:		 790MB (+0MB)
UNKNOWN
Iteration Time:	 18.76s

Iteration 30
Queue:		 [(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        : 31
Time         : 617.629s (Solving: 591.08s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 617.764s

Choices      : 8078871  (Domain: 7908366)
Conflicts    : 739245   (Analyzed: 739242)
Restarts     : 2633     (Average: 280.76 Last: 210)
Model-Level  : 291.0   
Problems     : 31       (Average Length: 51.35 Splits: 0)
Lemmas       : 739242   (Deleted: 695676)
  Binary     : 17337    (Ratio:   2.35%)
  Ternary    : 2935     (Ratio:   0.40%)
  Conflict   : 739242   (Average Length:  850.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 739242   (Average: 10.31 Max: 771 Sum: 7619509)
  Executed   : 739145   (Average: 10.30 Max: 771 Sum: 7616565 Ratio:  99.96%)
  Bounded    : 97       (Average: 30.35 Max:  82 Sum:   2944 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 565156)
Constraints  : 4219187  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.40s
Memory:		 790MB (+0MB)
UNKNOWN
Iteration Time:	 23.45s

Iteration 31
Queue:		 [(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        : 32
Time         : 638.657s (Solving: 611.97s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 638.800s

Choices      : 8430871  (Domain: 8259619)
Conflicts    : 767452   (Analyzed: 767449)
Restarts     : 2733     (Average: 280.81 Last: 210)
Model-Level  : 291.0   
Problems     : 32       (Average Length: 52.31 Splits: 0)
Lemmas       : 767449   (Deleted: 723036)
  Binary     : 17722    (Ratio:   2.31%)
  Ternary    : 3071     (Ratio:   0.40%)
  Conflict   : 767449   (Average Length:  845.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 767449   (Average: 10.36 Max: 771 Sum: 7950511)
  Executed   : 767352   (Average: 10.36 Max: 771 Sum: 7947567 Ratio:  99.96%)
  Bounded    : 97       (Average: 30.35 Max:  82 Sum:   2944 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 565156)
Constraints  : 4219170  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.98s
Memory:		 790MB (+0MB)
UNKNOWN
Iteration Time:	 21.04s

Iteration 32
Queue:		 [(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        : 33
Time         : 659.876s (Solving: 633.06s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 660.028s

Choices      : 8806790  (Domain: 8632655)
Conflicts    : 795667   (Analyzed: 795664)
Restarts     : 2833     (Average: 280.86 Last: 210)
Model-Level  : 291.0   
Problems     : 33       (Average Length: 53.21 Splits: 0)
Lemmas       : 795664   (Deleted: 750217)
  Binary     : 18086    (Ratio:   2.27%)
  Ternary    : 3142     (Ratio:   0.39%)
  Conflict   : 795664   (Average Length:  846.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 795664   (Average: 10.44 Max: 771 Sum: 8303207)
  Executed   : 795565   (Average: 10.43 Max: 771 Sum: 8300099 Ratio:  99.96%)
  Bounded    : 99       (Average: 31.39 Max:  82 Sum:   3108 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 565156)
Constraints  : 4219170  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.19s
Memory:		 790MB (+0MB)
UNKNOWN
Iteration Time:	 21.23s

Iteration 33
Queue:		 [(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        : 34
Time         : 686.145s (Solving: 659.21s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 686.312s

Choices      : 9315555  (Domain: 9139802)
Conflicts    : 823942   (Analyzed: 823939)
Restarts     : 2933     (Average: 280.92 Last: 210)
Model-Level  : 291.0   
Problems     : 34       (Average Length: 54.06 Splits: 0)
Lemmas       : 823939   (Deleted: 777449)
  Binary     : 18535    (Ratio:   2.25%)
  Ternary    : 3194     (Ratio:   0.39%)
  Conflict   : 823939   (Average Length:  852.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 823939   (Average: 10.66 Max: 771 Sum: 8780657)
  Executed   : 823840   (Average: 10.65 Max: 771 Sum: 8777549 Ratio:  99.96%)
  Bounded    : 99       (Average: 31.39 Max:  82 Sum:   3108 Ratio:   0.04%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 565156)
Constraints  : 4219142  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.24s
Memory:		 790MB (+0MB)
UNKNOWN
Iteration Time:	 26.28s

Iteration 34
Queue:		 [(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        : 35
Time         : 707.204s (Solving: 680.10s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 707.384s

Choices      : 9681157  (Domain: 9504155)
Conflicts    : 852169   (Analyzed: 852166)
Restarts     : 3033     (Average: 280.96 Last: 210)
Model-Level  : 291.0   
Problems     : 35       (Average Length: 54.86 Splits: 0)
Lemmas       : 852166   (Deleted: 804662)
  Binary     : 18819    (Ratio:   2.21%)
  Ternary    : 3281     (Ratio:   0.39%)
  Conflict   : 852166   (Average Length:  846.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 852166   (Average: 10.70 Max: 771 Sum: 9121958)
  Executed   : 852067   (Average: 10.70 Max: 771 Sum: 9118850 Ratio:  99.97%)
  Bounded    : 99       (Average: 31.39 Max:  82 Sum:   3108 Ratio:   0.03%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 565156)
Constraints  : 4219142  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.00s
Memory:		 790MB (+0MB)
UNKNOWN
Iteration Time:	 21.07s

Iteration 35
Queue:		 [(17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 80
Expected Memory: 889.0MB
Grounding...	 [('step', [81]), ('step', [82]), ('step', [83]), ('step', [84]), ('step', [85]), ('check', [85])]
Grounding Time:	 0.54s
Memory:		 790MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 36
Time         : 732.981s (Solving: 704.13s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 733.172s

Choices      : 10059488 (Domain: 9881368)
Conflicts    : 880447   (Analyzed: 880444)
Restarts     : 3133     (Average: 281.02 Last: 210)
Model-Level  : 291.0   
Problems     : 36       (Average Length: 55.75 Splits: 0)
Lemmas       : 880444   (Deleted: 832378)
  Binary     : 19027    (Ratio:   2.16%)
  Ternary    : 3304     (Ratio:   0.38%)
  Conflict   : 880444   (Average Length:  847.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 880444   (Average: 10.76 Max: 925 Sum: 9472523)
  Executed   : 880343   (Average: 10.76 Max: 925 Sum: 9469241 Ratio:  99.97%)
  Bounded    : 101      (Average: 32.50 Max:  87 Sum:   3282 Ratio:   0.03%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 588967)
Constraints  : 4501602  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.81s
Memory:		 795MB (+5MB)
UNKNOWN
Iteration Time:	 25.80s

Iteration 36
Queue:		 [(18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Expected Memory: 894.0MB
Grounding...	 [('step', [86]), ('step', [87]), ('step', [88]), ('step', [89]), ('step', [90]), ('check', [90])]
Grounding Time:	 0.57s
Memory:		 795MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 37
Time         : 761.743s (Solving: 731.05s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 761.944s

Choices      : 10523399 (Domain: 10343601)
Conflicts    : 908695   (Analyzed: 908692)
Restarts     : 3233     (Average: 281.07 Last: 210)
Model-Level  : 291.0   
Problems     : 37       (Average Length: 56.73 Splits: 0)
Lemmas       : 908692   (Deleted: 860033)
  Binary     : 19307    (Ratio:   2.12%)
  Ternary    : 3348     (Ratio:   0.37%)
  Conflict   : 908692   (Average Length:  855.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 908692   (Average: 10.90 Max: 925 Sum: 9902842)
  Executed   : 908591   (Average: 10.89 Max: 925 Sum: 9899560 Ratio:  99.97%)
  Bounded    : 101      (Average: 32.50 Max:  87 Sum:   3282 Ratio:   0.03%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 656110   (Eliminated: 15972 Frozen: 626458)
Constraints  : 4784035  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

Memory Peak  : 879MB
Max. Length  : 85 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 27.74s
Memory:		 868MB (+73MB)
UNKNOWN
Iteration Time:	 28.78s

Iteration 37
Queue:		 [(19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 90
Expected Memory: 967.0MB
Grounding...	 [('step', [91]), ('step', [92]), ('step', [93]), ('step', [94]), ('step', [95]), ('check', [95])]
Grounding Time:	 0.55s
Memory:		 868MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 38
Time         : 792.078s (Solving: 759.60s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 792.292s

Choices      : 10995597 (Domain: 10813895)
Conflicts    : 936976   (Analyzed: 936973)
Restarts     : 3333     (Average: 281.12 Last: 210)
Model-Level  : 291.0   
Problems     : 38       (Average Length: 57.79 Splits: 0)
Lemmas       : 936973   (Deleted: 887566)
  Binary     : 19533    (Ratio:   2.08%)
  Ternary    : 3364     (Ratio:   0.36%)
  Conflict   : 936973   (Average Length:  866.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 936973   (Average: 11.03 Max: 931 Sum: 10339128)
  Executed   : 936872   (Average: 11.03 Max: 931 Sum: 10335846 Ratio:  99.97%)
  Bounded    : 101      (Average: 32.50 Max:  87 Sum:   3282 Ratio:   0.03%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 693601   (Eliminated: 15972 Frozen: 663949)
Constraints  : 5066495  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

Memory Peak  : 953MB
Max. Length  : 90 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 29.35s
Memory:		 889MB (+21MB)
UNKNOWN
Iteration Time:	 30.36s

Iteration 38
Queue:		 [(20,100,0,True), (21,105,0,True)]
Grounded Until:	 95
Expected Memory: 988.0MB
Grounding...	 [('step', [96]), ('step', [97]), ('step', [98]), ('step', [99]), ('step', [100]), ('check', [100])]
Grounding Time:	 0.90s
Memory:		 939MB (+50MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 39
Time         : 825.065s (Solving: 790.42s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 825.296s

Choices      : 11932497 (Domain: 11743292)
Conflicts    : 965180   (Analyzed: 965177)
Restarts     : 3433     (Average: 281.15 Last: 210)
Model-Level  : 291.0   
Problems     : 39       (Average Length: 58.92 Splits: 0)
Lemmas       : 965177   (Deleted: 915227)
  Binary     : 20111    (Ratio:   2.08%)
  Ternary    : 3509     (Ratio:   0.36%)
  Conflict   : 965177   (Average Length:  872.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 965177   (Average: 11.63 Max: 960 Sum: 11227263)
  Executed   : 965076   (Average: 11.63 Max: 960 Sum: 11223981 Ratio:  99.97%)
  Bounded    : 101      (Average: 32.50 Max:  87 Sum:   3282 Ratio:   0.03%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 731092   (Eliminated: 15972 Frozen: 701440)
Constraints  : 5348955  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

Memory Peak  : 1028MB
Max. Length  : 95 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 31.63s
Memory:		 945MB (+6MB)
UNKNOWN
Iteration Time:	 33.01s

Iteration 39
Queue:		 [(21,105,0,True)]
Grounded Until:	 100
Expected Memory: 1044.0MB
Grounding...	 [('step', [101]), ('step', [102]), ('step', [103]), ('step', [104]), ('step', [105]), ('check', [105])]
Grounding Time:	 0.56s
Memory:		 945MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 40
Time         : 854.669s (Solving: 818.16s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 854.912s

Choices      : 12445711 (Domain: 12255937)
Conflicts    : 993517   (Analyzed: 993514)
Restarts     : 3533     (Average: 281.21 Last: 210)
Model-Level  : 291.0   
Problems     : 40       (Average Length: 60.12 Splits: 0)
Lemmas       : 993514   (Deleted: 942327)
  Binary     : 20327    (Ratio:   2.05%)
  Ternary    : 3549     (Ratio:   0.36%)
  Conflict   : 993514   (Average Length:  876.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 993514   (Average: 11.78 Max: 1190 Sum: 11705369)
  Executed   : 993413   (Average: 11.78 Max: 1190 Sum: 11702087 Ratio:  99.97%)
  Bounded    : 101      (Average: 32.50 Max:  87 Sum:   3282 Ratio:   0.03%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 768583   (Eliminated: 15972 Frozen: 738931)
Constraints  : 5631415  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

Memory Peak  : 1039MB
Max. Length  : 100 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 28.55s
Memory:		 950MB (+5MB)
UNKNOWN
Iteration Time:	 29.63s

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

Models       : 0+
Calls        : 41
Time         : 875.088s (Solving: 838.41s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 875.344s

Choices      : 12571619 (Domain: 12381845)
Conflicts    : 1021749  (Analyzed: 1021746)
Restarts     : 3633     (Average: 281.24 Last: 210)
Model-Level  : 291.0   
Problems     : 41       (Average Length: 61.27 Splits: 0)
Lemmas       : 1021746  (Deleted: 969703)
  Binary     : 20481    (Ratio:   2.00%)
  Ternary    : 3593     (Ratio:   0.35%)
  Conflict   : 1021746  (Average Length:  874.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1021746  (Average: 11.57 Max: 1190 Sum: 11822682)
  Executed   : 1021645  (Average: 11.57 Max: 1190 Sum: 11819400 Ratio:  99.97%)
  Bounded    : 101      (Average: 32.50 Max:  87 Sum:   3282 Ratio:   0.03%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 768583   (Eliminated: 15972 Frozen: 752611)
Constraints  : 5631415  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

Memory Peak  : 1039MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 20.37s
Memory:		 958MB (+8MB)
UNKNOWN
Iteration Time:	 20.43s

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

INTERRUPTED  : 1

Models       : 0+
Calls        : 42
Time         : 893.121s (Solving: 856.26s 1st Model: 0.01s Unsat: 2.25s)
CPU Time     : 893.372s

Choices      : 12672540 (Domain: 12482766)
Conflicts    : 1041166  (Analyzed: 1041163)
Restarts     : 3696     (Average: 281.70 Last: 210)
Model-Level  : 291.0   
Problems     : 42       (Average Length: 62.36 Splits: 0)
Lemmas       : 1041163  (Deleted: 986381)
  Binary     : 20538    (Ratio:   1.97%)
  Ternary    : 3612     (Ratio:   0.35%)
  Conflict   : 1041163  (Average Length:  875.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1041163  (Average: 11.45 Max: 1190 Sum: 11916890)
  Executed   : 1041062  (Average: 11.44 Max: 1190 Sum: 11913608 Ratio:  99.97%)
  Bounded    : 101      (Average: 32.50 Max:  87 Sum:   3282 Ratio:   0.03%)

Rules        : 150280   (Original: 135815)
Atoms        : 72362   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 768583   (Eliminated: 15972 Frozen: 752611)
Constraints  : 5631415  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

Memory Peak  : 1039MB
Max. Length  : 105 steps
Models       : 1


