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-14.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-14.pddl
Parsing...
Parsing: [0.040s CPU, 0.041s 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.030s CPU, 0.028s wall-clock]
Generated 115 rules.
Computing model... [0.500s CPU, 0.502s wall-clock]
3094 relevant atoms
3221 auxiliary atoms
6315 final queue length
10878 total queue pushes
Completing instantiation... [0.960s CPU, 0.959s wall-clock]
Instantiating: [1.550s CPU, 1.556s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.120s CPU, 0.116s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.010s CPU, 0.009s 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.165s 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.054s wall-clock]
Translating task: [0.990s CPU, 0.992s 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.500s CPU, 0.487s 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.390s 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.390s CPU, 0.417s wall-clock]
Done! [4.080s CPU, 4.110s wall-clock]
planner.py version 0.0.1

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

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.25s
Memory:		 179MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

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

Choices      : 127      (Domain: 119)
Conflicts    : 31       (Analyzed: 30)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 30       (Deleted: 0)
  Binary     : 6        (Ratio:  20.00%)
  Ternary    : 3        (Ratio:  10.00%)
  Conflict   : 30       (Average Length:    8.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 30       (Average:  4.33 Max:  31 Sum:    130)
  Executed   : 27       (Average:  4.23 Max:  31 Sum:    127 Ratio:  97.69%)
  Bounded    : 3        (Average:  1.00 Max:   1 Sum:      3 Ratio:   2.31%)

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.430s (Solving: 0.02s 1st Model: 0.01s Unsat: 0.00s)
CPU Time     : 2.284s

Choices      : 1097     (Domain: 1042)
Conflicts    : 68       (Analyzed: 67)
Restarts     : 0       
Model-Level  : 324.0   
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 67       (Deleted: 0)
  Binary     : 21       (Ratio:  31.34%)
  Ternary    : 5        (Ratio:   7.46%)
  Conflict   : 67       (Average Length:   33.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 67       (Average: 11.76 Max: 133 Sum:    788)
  Executed   : 64       (Average: 11.72 Max: 133 Sum:    785 Ratio:  99.62%)
  Bounded    : 3        (Average:  1.00 Max:   1 Sum:      3 Ratio:   0.38%)

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.37s
Memory:		 199MB (+10MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 1.07s
Memory:		 232MB (+33MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 4
Time         : 3.435s (Solving: 0.54s 1st Model: 0.01s Unsat: 0.52s)
CPU Time     : 3.292s

Choices      : 15986    (Domain: 13663)
Conflicts    : 1234     (Analyzed: 1232)
Restarts     : 4        (Average: 308.00 Last: 96)
Model-Level  : 324.0   
Problems     : 4        (Average Length: 8.25 Splits: 0)
Lemmas       : 1232     (Deleted: 0)
  Binary     : 246      (Ratio:  19.97%)
  Ternary    : 119      (Ratio:   9.66%)
  Conflict   : 1232     (Average Length:   42.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1232     (Average: 12.62 Max: 137 Sum:  15549)
  Executed   : 1216     (Average: 12.55 Max: 137 Sum:  15467 Ratio:  99.47%)
  Bounded    : 16       (Average:  5.12 Max:  12 Sum:     82 Ratio:   0.53%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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:	 0.76s
Memory:		 229MB (+-3MB)
UNSAT
Iteration Time:	 2.65s

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

Models       : 0+
Calls        : 5
Time         : 18.202s (Solving: 13.86s 1st Model: 0.01s Unsat: 0.52s)
CPU Time     : 18.068s

Choices      : 218138   (Domain: 165364)
Conflicts    : 28357    (Analyzed: 28355)
Restarts     : 104      (Average: 272.64 Last: 288)
Model-Level  : 324.0   
Problems     : 5        (Average Length: 10.00 Splits: 0)
Lemmas       : 28355    (Deleted: 12705)
  Binary     : 1744     (Ratio:   6.15%)
  Ternary    : 473      (Ratio:   1.67%)
  Conflict   : 28355    (Average Length:  458.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 28355    (Average:  7.39 Max: 371 Sum: 209662)
  Executed   : 28317    (Average:  7.38 Max: 371 Sum: 209237 Ratio:  99.80%)
  Bounded    : 38       (Average: 11.18 Max:  17 Sum:    425 Ratio:   0.20%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 579560   (Binary:  89.7% Ternary:   7.4% Other:   2.9%)

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

[endof: stats after solve call]
Solving Time:	 14.01s
Memory:		 260MB (+23MB)
UNKNOWN
Iteration Time:	 14.78s

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

Models       : 0+
Calls        : 6
Time         : 40.845s (Solving: 35.06s 1st Model: 0.01s Unsat: 0.52s)
CPU Time     : 40.720s

Choices      : 516109   (Domain: 439375)
Conflicts    : 56995    (Analyzed: 56993)
Restarts     : 204      (Average: 279.38 Last: 288)
Model-Level  : 324.0   
Problems     : 6        (Average Length: 12.00 Splits: 0)
Lemmas       : 56993    (Deleted: 34249)
  Binary     : 3011     (Ratio:   5.28%)
  Ternary    : 948      (Ratio:   1.66%)
  Conflict   : 56993    (Average Length:  561.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 56993    (Average:  8.65 Max: 371 Sum: 493030)
  Executed   : 56948    (Average:  8.64 Max: 371 Sum: 492467 Ratio:  99.89%)
  Bounded    : 45       (Average: 12.51 Max:  22 Sum:    563 Ratio:   0.11%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 843091   (Binary:  90.4% Ternary:   7.1% Other:   2.5%)

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

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

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

Models       : 0+
Calls        : 7
Time         : 71.328s (Solving: 64.01s 1st Model: 0.01s Unsat: 0.52s)
CPU Time     : 71.216s

Choices      : 880551   (Domain: 791280)
Conflicts    : 91384    (Analyzed: 91382)
Restarts     : 304      (Average: 300.60 Last: 992)
Model-Level  : 324.0   
Problems     : 7        (Average Length: 14.14 Splits: 0)
Lemmas       : 91382    (Deleted: 59372)
  Binary     : 4937     (Ratio:   5.40%)
  Ternary    : 1364     (Ratio:   1.49%)
  Conflict   : 91382    (Average Length:  560.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 91382    (Average:  9.24 Max: 371 Sum: 844154)
  Executed   : 91324    (Average:  9.23 Max: 371 Sum: 843262 Ratio:  99.89%)
  Bounded    : 58       (Average: 15.38 Max:  27 Sum:    892 Ratio:   0.11%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 1121538  (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:	 29.66s
Memory:		 382MB (+82MB)
UNKNOWN
Iteration Time:	 30.51s

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.52s
Memory:		 386MB (+4MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 8
Time         : 116.269s (Solving: 107.45s 1st Model: 0.01s Unsat: 0.52s)
CPU Time     : 116.176s

Choices      : 1336401  (Domain: 1232228)
Conflicts    : 146851   (Analyzed: 146849)
Restarts     : 404      (Average: 363.49 Last: 992)
Model-Level  : 324.0   
Problems     : 8        (Average Length: 16.38 Splits: 0)
Lemmas       : 146849   (Deleted: 117322)
  Binary     : 7256     (Ratio:   4.94%)
  Ternary    : 1954     (Ratio:   1.33%)
  Conflict   : 146849   (Average Length:  632.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 146849   (Average:  8.76 Max: 376 Sum: 1286896)
  Executed   : 146784   (Average:  8.76 Max: 376 Sum: 1285803 Ratio:  99.92%)
  Bounded    : 65       (Average: 16.82 Max:  32 Sum:   1093 Ratio:   0.08%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 1395869  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 44.17s
Memory:		 417MB (+31MB)
UNKNOWN
Iteration Time:	 44.97s

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         : 116.943s (Solving: 108.07s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 116.852s

Choices      : 1340936  (Domain: 1236763)
Conflicts    : 147619   (Analyzed: 147616)
Restarts     : 404      (Average: 365.39 Last: 992)
Model-Level  : 324.0   
Problems     : 9        (Average Length: 18.11 Splits: 0)
Lemmas       : 147616   (Deleted: 117322)
  Binary     : 7286     (Ratio:   4.94%)
  Ternary    : 1963     (Ratio:   1.33%)
  Conflict   : 147616   (Average Length:  631.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 147616   (Average:  8.75 Max: 376 Sum: 1291496)
  Executed   : 147548   (Average:  8.74 Max: 376 Sum: 1290338 Ratio:  99.91%)
  Bounded    : 68       (Average: 17.03 Max:  32 Sum:   1158 Ratio:   0.09%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 1393811  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 0.66s
Memory:		 417MB (+0MB)
UNSAT
Iteration Time:	 0.68s

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         : 144.828s (Solving: 135.90s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 144.748s

Choices      : 1573370  (Domain: 1469197)
Conflicts    : 185726   (Analyzed: 185723)
Restarts     : 504      (Average: 368.50 Last: 992)
Model-Level  : 324.0   
Problems     : 10       (Average Length: 19.50 Splits: 0)
Lemmas       : 185723   (Deleted: 157334)
  Binary     : 7702     (Ratio:   4.15%)
  Ternary    : 2070     (Ratio:   1.11%)
  Conflict   : 185723   (Average Length:  615.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 185723   (Average:  8.16 Max: 376 Sum: 1515048)
  Executed   : 185650   (Average:  8.15 Max: 376 Sum: 1513753 Ratio:  99.91%)
  Bounded    : 73       (Average: 17.74 Max:  32 Sum:   1295 Ratio:   0.09%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 1384760  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 27.87s
Memory:		 417MB (+0MB)
UNKNOWN
Iteration Time:	 27.90s

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         : 192.969s (Solving: 183.97s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 192.908s

Choices      : 1734375  (Domain: 1630201)
Conflicts    : 221911   (Analyzed: 221908)
Restarts     : 604      (Average: 367.40 Last: 992)
Model-Level  : 324.0   
Problems     : 11       (Average Length: 20.64 Splits: 0)
Lemmas       : 221908   (Deleted: 195132)
  Binary     : 7941     (Ratio:   3.58%)
  Ternary    : 2146     (Ratio:   0.97%)
  Conflict   : 221908   (Average Length:  764.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 221908   (Average:  7.51 Max: 376 Sum: 1667074)
  Executed   : 221830   (Average:  7.51 Max: 376 Sum: 1665639 Ratio:  99.91%)
  Bounded    : 78       (Average: 18.40 Max:  32 Sum:   1435 Ratio:   0.09%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 1384760  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 48.13s
Memory:		 545MB (+128MB)
UNKNOWN
Iteration Time:	 48.16s

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         : 268.728s (Solving: 259.68s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 268.700s

Choices      : 2075651  (Domain: 1961363)
Conflicts    : 276612   (Analyzed: 276609)
Restarts     : 704      (Average: 392.91 Last: 992)
Model-Level  : 324.0   
Problems     : 12       (Average Length: 21.58 Splits: 0)
Lemmas       : 276609   (Deleted: 244672)
  Binary     : 8818     (Ratio:   3.19%)
  Ternary    : 2369     (Ratio:   0.86%)
  Conflict   : 276609   (Average Length:  946.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 276609   (Average:  7.21 Max: 376 Sum: 1993511)
  Executed   : 276528   (Average:  7.20 Max: 376 Sum: 1991985 Ratio:  99.92%)
  Bounded    : 81       (Average: 18.84 Max:  32 Sum:   1526 Ratio:   0.08%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 1384746  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 75.77s
Memory:		 545MB (+0MB)
UNKNOWN
Iteration Time:	 75.79s

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

Models       : 0+
Calls        : 13
Time         : 311.675s (Solving: 301.10s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 311.664s

Choices      : 2504415  (Domain: 2370915)
Conflicts    : 328565   (Analyzed: 328562)
Restarts     : 804      (Average: 408.66 Last: 992)
Model-Level  : 324.0   
Problems     : 13       (Average Length: 22.77 Splits: 0)
Lemmas       : 328562   (Deleted: 290584)
  Binary     : 10712    (Ratio:   3.26%)
  Ternary    : 2682     (Ratio:   0.82%)
  Conflict   : 328562   (Average Length:  940.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 328562   (Average:  7.30 Max: 376 Sum: 2399944)
  Executed   : 328481   (Average:  7.30 Max: 376 Sum: 2398418 Ratio:  99.94%)
  Bounded    : 81       (Average: 18.84 Max:  32 Sum:   1526 Ratio:   0.06%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 1667175  (Binary:  90.9% Ternary:   7.0% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 42.17s
Memory:		 567MB (+22MB)
UNKNOWN
Iteration Time:	 42.98s

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

Models       : 0+
Calls        : 14
Time         : 364.393s (Solving: 352.26s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 364.404s

Choices      : 3073896  (Domain: 2927976)
Conflicts    : 387798   (Analyzed: 387795)
Restarts     : 904      (Average: 428.98 Last: 992)
Model-Level  : 324.0   
Problems     : 14       (Average Length: 24.14 Splits: 0)
Lemmas       : 387795   (Deleted: 346323)
  Binary     : 12580    (Ratio:   3.24%)
  Ternary    : 2882     (Ratio:   0.74%)
  Conflict   : 387795   (Average Length:  947.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 387795   (Average:  7.61 Max: 376 Sum: 2950611)
  Executed   : 387714   (Average:  7.60 Max: 376 Sum: 2949085 Ratio:  99.95%)
  Bounded    : 81       (Average: 18.84 Max:  32 Sum:   1526 Ratio:   0.05%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 1949635  (Binary:  90.9% Ternary:   7.0% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 51.91s
Memory:		 591MB (+24MB)
UNKNOWN
Iteration Time:	 52.75s

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

Models       : 0+
Calls        : 15
Time         : 434.988s (Solving: 421.21s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 435.028s

Choices      : 3913524  (Domain: 3756357)
Conflicts    : 469694   (Analyzed: 469691)
Restarts     : 1004     (Average: 467.82 Last: 992)
Model-Level  : 324.0   
Problems     : 15       (Average Length: 25.67 Splits: 0)
Lemmas       : 469691   (Deleted: 418614)
  Binary     : 14762    (Ratio:   3.14%)
  Ternary    : 3151     (Ratio:   0.67%)
  Conflict   : 469691   (Average Length:  966.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 469691   (Average:  8.03 Max: 376 Sum: 3769348)
  Executed   : 469609   (Average:  8.02 Max: 376 Sum: 3767780 Ratio:  99.96%)
  Bounded    : 82       (Average: 19.12 Max:  42 Sum:   1568 Ratio:   0.04%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 2232095  (Binary:  90.9% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 69.72s
Memory:		 637MB (+45MB)
UNKNOWN
Iteration Time:	 70.63s

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

Models       : 0+
Calls        : 16
Time         : 479.094s (Solving: 463.57s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 479.152s

Choices      : 4491246  (Domain: 4324405)
Conflicts    : 525725   (Analyzed: 525722)
Restarts     : 1104     (Average: 476.20 Last: 992)
Model-Level  : 324.0   
Problems     : 16       (Average Length: 27.31 Splits: 0)
Lemmas       : 525722   (Deleted: 481446)
  Binary     : 15853    (Ratio:   3.02%)
  Ternary    : 3267     (Ratio:   0.62%)
  Conflict   : 525722   (Average Length:  969.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 525722   (Average:  8.23 Max: 419 Sum: 4325138)
  Executed   : 525640   (Average:  8.22 Max: 419 Sum: 4323570 Ratio:  99.96%)
  Bounded    : 82       (Average: 19.12 Max:  42 Sum:   1568 Ratio:   0.04%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 2514555  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 43.12s
Memory:		 665MB (+16MB)
UNKNOWN
Iteration Time:	 44.13s

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

Models       : 0+
Calls        : 17
Time         : 523.346s (Solving: 506.23s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 523.424s

Choices      : 4994813  (Domain: 4824150)
Conflicts    : 583587   (Analyzed: 583584)
Restarts     : 1204     (Average: 484.70 Last: 992)
Model-Level  : 324.0   
Problems     : 17       (Average Length: 29.06 Splits: 0)
Lemmas       : 583584   (Deleted: 536241)
  Binary     : 16629    (Ratio:   2.85%)
  Ternary    : 3340     (Ratio:   0.57%)
  Conflict   : 583584   (Average Length:  974.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 583584   (Average:  8.24 Max: 419 Sum: 4806793)
  Executed   : 583502   (Average:  8.23 Max: 419 Sum: 4805225 Ratio:  99.97%)
  Bounded    : 82       (Average: 19.12 Max:  42 Sum:   1568 Ratio:   0.03%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 2797015  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 43.42s
Memory:		 690MB (+25MB)
UNKNOWN
Iteration Time:	 44.28s

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

Models       : 0+
Calls        : 18
Time         : 598.762s (Solving: 579.98s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 598.876s

Choices      : 5927585  (Domain: 5745406)
Conflicts    : 674197   (Analyzed: 674194)
Restarts     : 1304     (Average: 517.02 Last: 992)
Model-Level  : 324.0   
Problems     : 18       (Average Length: 30.89 Splits: 0)
Lemmas       : 674194   (Deleted: 626298)
  Binary     : 18290    (Ratio:   2.71%)
  Ternary    : 3512     (Ratio:   0.52%)
  Conflict   : 674194   (Average Length:  994.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 674194   (Average:  8.48 Max: 525 Sum: 5715889)
  Executed   : 674111   (Average:  8.48 Max: 525 Sum: 5714259 Ratio:  99.97%)
  Bounded    : 83       (Average: 19.64 Max:  62 Sum:   1630 Ratio:   0.03%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 3079475  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 74.53s
Memory:		 747MB (+57MB)
UNKNOWN
Iteration Time:	 75.46s

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

Models       : 0+
Calls        : 19
Time         : 640.069s (Solving: 619.66s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 640.204s

Choices      : 6507537  (Domain: 6318807)
Conflicts    : 723313   (Analyzed: 723310)
Restarts     : 1404     (Average: 515.18 Last: 992)
Model-Level  : 324.0   
Problems     : 19       (Average Length: 32.79 Splits: 0)
Lemmas       : 723310   (Deleted: 664948)
  Binary     : 18911    (Ratio:   2.61%)
  Ternary    : 3571     (Ratio:   0.49%)
  Conflict   : 723310   (Average Length:  998.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 723310   (Average:  8.67 Max: 525 Sum: 6269168)
  Executed   : 723227   (Average:  8.67 Max: 525 Sum: 6267538 Ratio:  99.97%)
  Bounded    : 83       (Average: 19.64 Max:  62 Sum:   1630 Ratio:   0.03%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 3361921  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 40.45s
Memory:		 762MB (+15MB)
UNKNOWN
Iteration Time:	 41.33s

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

Models       : 0+
Calls        : 20
Time         : 692.428s (Solving: 670.31s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 692.584s

Choices      : 7167970  (Domain: 6971147)
Conflicts    : 780954   (Analyzed: 780951)
Restarts     : 1504     (Average: 519.25 Last: 992)
Model-Level  : 324.0   
Problems     : 20       (Average Length: 34.75 Splits: 0)
Lemmas       : 780951   (Deleted: 727589)
  Binary     : 19701    (Ratio:   2.52%)
  Ternary    : 3711     (Ratio:   0.48%)
  Conflict   : 780951   (Average Length: 1018.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 780951   (Average:  8.84 Max: 537 Sum: 6901167)
  Executed   : 780868   (Average:  8.83 Max: 537 Sum: 6899537 Ratio:  99.98%)
  Bounded    : 83       (Average: 19.64 Max:  62 Sum:   1630 Ratio:   0.02%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 3644381  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 51.45s
Memory:		 786MB (+24MB)
UNKNOWN
Iteration Time:	 52.39s

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

Models       : 0+
Calls        : 21
Time         : 721.554s (Solving: 697.74s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 721.724s

Choices      : 7585670  (Domain: 7386009)
Conflicts    : 824936   (Analyzed: 824933)
Restarts     : 1604     (Average: 514.30 Last: 992)
Model-Level  : 324.0   
Problems     : 21       (Average Length: 36.76 Splits: 0)
Lemmas       : 824933   (Deleted: 768102)
  Binary     : 20185    (Ratio:   2.45%)
  Ternary    : 3780     (Ratio:   0.46%)
  Conflict   : 824933   (Average Length: 1003.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 824933   (Average:  8.85 Max: 611 Sum: 7297332)
  Executed   : 824850   (Average:  8.84 Max: 611 Sum: 7295702 Ratio:  99.98%)
  Bounded    : 83       (Average: 19.64 Max:  62 Sum:   1630 Ratio:   0.02%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 3926841  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 28.21s
Memory:		 809MB (+23MB)
UNKNOWN
Iteration Time:	 29.15s

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

Models       : 0+
Calls        : 22
Time         : 753.330s (Solving: 727.79s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 753.512s

Choices      : 8081930  (Domain: 7879370)
Conflicts    : 860584   (Analyzed: 860581)
Restarts     : 1704     (Average: 505.04 Last: 992)
Model-Level  : 324.0   
Problems     : 22       (Average Length: 38.82 Splits: 0)
Lemmas       : 860581   (Deleted: 796913)
  Binary     : 20616    (Ratio:   2.40%)
  Ternary    : 3867     (Ratio:   0.45%)
  Conflict   : 860581   (Average Length: 1003.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 860581   (Average:  9.02 Max: 611 Sum: 7761597)
  Executed   : 860498   (Average:  9.02 Max: 611 Sum: 7759967 Ratio:  99.98%)
  Bounded    : 83       (Average: 19.64 Max:  62 Sum:   1630 Ratio:   0.02%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 4209301  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 30.84s
Memory:		 833MB (+24MB)
UNKNOWN
Iteration Time:	 31.80s

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         : 774.908s (Solving: 749.22s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 775.100s

Choices      : 8233592  (Domain: 8031032)
Conflicts    : 891941   (Analyzed: 891938)
Restarts     : 1804     (Average: 494.42 Last: 4656)
Model-Level  : 324.0   
Problems     : 23       (Average Length: 40.70 Splits: 0)
Lemmas       : 891938   (Deleted: 831420)
  Binary     : 20831    (Ratio:   2.34%)
  Ternary    : 3907     (Ratio:   0.44%)
  Conflict   : 891938   (Average Length:  996.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 891938   (Average:  8.86 Max: 611 Sum: 7902678)
  Executed   : 891854   (Average:  8.86 Max: 611 Sum: 7900966 Ratio:  99.98%)
  Bounded    : 84       (Average: 20.38 Max:  82 Sum:   1712 Ratio:   0.02%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 4209301  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.53s
Memory:		 851MB (+18MB)
UNKNOWN
Iteration Time:	 21.59s

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         : 846.342s (Solving: 820.53s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 846.564s

Choices      : 8460698  (Domain: 8258138)
Conflicts    : 937997   (Analyzed: 937994)
Restarts     : 1904     (Average: 492.64 Last: 4656)
Model-Level  : 324.0   
Problems     : 24       (Average Length: 42.42 Splits: 0)
Lemmas       : 937994   (Deleted: 875880)
  Binary     : 21056    (Ratio:   2.24%)
  Ternary    : 3934     (Ratio:   0.42%)
  Conflict   : 937994   (Average Length: 1044.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 937994   (Average:  8.66 Max: 611 Sum: 8118856)
  Executed   : 937909   (Average:  8.65 Max: 611 Sum: 8117067 Ratio:  99.98%)
  Bounded    : 85       (Average: 21.05 Max:  82 Sum:   1789 Ratio:   0.02%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 4209284  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 71.42s
Memory:		 851MB (+0MB)
UNKNOWN
Iteration Time:	 71.47s

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         : 874.388s (Solving: 848.43s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 874.620s

Choices      : 8595750  (Domain: 8393190)
Conflicts    : 959287   (Analyzed: 959284)
Restarts     : 2004     (Average: 478.68 Last: 4656)
Model-Level  : 324.0   
Problems     : 25       (Average Length: 44.00 Splits: 0)
Lemmas       : 959284   (Deleted: 894291)
  Binary     : 21214    (Ratio:   2.21%)
  Ternary    : 3948     (Ratio:   0.41%)
  Conflict   : 959284   (Average Length: 1074.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 959284   (Average:  8.58 Max: 611 Sum: 8228199)
  Executed   : 959199   (Average:  8.58 Max: 611 Sum: 8226410 Ratio:  99.98%)
  Bounded    : 85       (Average: 21.05 Max:  82 Sum:   1789 Ratio:   0.02%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 4209284  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 28.00s
Memory:		 851MB (+0MB)
UNKNOWN
Iteration Time:	 28.06s

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...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 26
Time         : 912.820s (Solving: 886.72s 1st Model: 0.01s Unsat: 1.15s)
CPU Time     : 913.056s

Choices      : 8842662  (Domain: 8640102)
Conflicts    : 999218   (Analyzed: 999215)
Restarts     : 2104     (Average: 474.91 Last: 4656)
Model-Level  : 324.0   
Problems     : 26       (Average Length: 45.46 Splits: 0)
Lemmas       : 999215   (Deleted: 941426)
  Binary     : 21467    (Ratio:   2.15%)
  Ternary    : 3997     (Ratio:   0.40%)
  Conflict   : 999215   (Average Length: 1080.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 999215   (Average:  8.46 Max: 611 Sum: 8451099)
  Executed   : 999130   (Average:  8.46 Max: 611 Sum: 8449310 Ratio:  99.98%)
  Bounded    : 85       (Average: 21.05 Max:  82 Sum:   1789 Ratio:   0.02%)

Rules        : 150277   (Original: 135812)
Atoms        : 72359   
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  : 4209284  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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


