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-18.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-18.pddl
Parsing...
Parsing: [0.040s CPU, 0.056s wall-clock]
Normalizing task... [0.010s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.012s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.050s CPU, 0.051s wall-clock]
Preparing model... [0.030s CPU, 0.029s wall-clock]
Generated 115 rules.
Computing model... [0.540s CPU, 0.543s wall-clock]
3296 relevant atoms
3425 auxiliary atoms
6721 final queue length
11595 total queue pushes
Completing instantiation... [1.020s CPU, 1.022s wall-clock]
Instantiating: [1.660s CPU, 1.664s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.150s CPU, 0.155s wall-clock]
Checking invariant weight... [0.010s CPU, 0.001s wall-clock]
Instantiating groups... [0.010s CPU, 0.010s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
Choosing groups...
350 uncovered facts
Choosing groups: [0.000s CPU, 0.002s wall-clock]
Building translation key... [0.010s CPU, 0.013s wall-clock]
Computing fact groups: [0.210s CPU, 0.210s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.006s 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.004s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.060s CPU, 0.055s wall-clock]
Translating task: [1.070s CPU, 1.063s wall-clock]
3920 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
3 propositions removed
Detecting unreachable propositions: [0.590s CPU, 0.587s wall-clock]
Reordering and filtering variables...
353 of 353 variables necessary.
16 of 19 mutex groups necessary.
2344 of 2344 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.380s CPU, 0.375s wall-clock]
Translator variables: 353
Translator derived variables: 0
Translator facts: 737
Translator goal facts: 14
Translator mutex groups: 16
Translator total mutex groups size: 48
Translator operators: 2344
Translator axioms: 0
Translator task size: 22454
Translator peak memory: 49100 KB
Writing output... [0.420s CPU, 0.454s wall-clock]
Done! [4.430s CPU, 4.467s wall-clock]
planner.py version 0.0.1

Time:	 0.90s
Memory: 111MB

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

Models       : 0
Calls        : 1
Time         : 1.049s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.908s

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

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

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

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

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

Models       : 0
Calls        : 2
Time         : 1.706s (Solving: 0.01s 1st Model: 0.00s Unsat: 0.01s)
CPU Time     : 1.568s

Choices      : 315      (Domain: 297)
Conflicts    : 73       (Analyzed: 72)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 72       (Deleted: 0)
  Binary     : 10       (Ratio:  13.89%)
  Ternary    : 3        (Ratio:   4.17%)
  Conflict   : 72       (Average Length:   22.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 72       (Average:  4.42 Max:  28 Sum:    318)
  Executed   : 69       (Average:  4.38 Max:  28 Sum:    315 Ratio:  99.06%)
  Bounded    : 3        (Average:  1.00 Max:   1 Sum:      3 Ratio:   0.94%)

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

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

[endof: stats after solve call]
Solving Time:	 0.24s
Memory:		 187MB (+4MB)
UNSAT
Iteration Time:	 0.66s

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

Models       : 1+
Calls        : 3
Time         : 2.602s (Solving: 0.02s 1st Model: 0.01s Unsat: 0.01s)
CPU Time     : 2.468s

Choices      : 1355     (Domain: 1275)
Conflicts    : 132      (Analyzed: 131)
Restarts     : 0       
Model-Level  : 343.0   
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 131      (Deleted: 0)
  Binary     : 28       (Ratio:  21.37%)
  Ternary    : 7        (Ratio:   5.34%)
  Conflict   : 131      (Average Length:   41.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 131      (Average:  7.84 Max: 144 Sum:   1027)
  Executed   : 128      (Average:  7.82 Max: 144 Sum:   1024 Ratio:  99.71%)
  Bounded    : 3        (Average:  1.00 Max:   1 Sum:      3 Ratio:   0.29%)

Rules        : 64767   
Atoms        : 64767   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 38040    (Eliminated:    0 Frozen: 38040)
Constraints  : 226475   (Binary:  95.6% Ternary:   3.2% Other:   1.2%)

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

[endof: stats after solve call]
Solving Time:	 0.42s
Memory:		 204MB (+10MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 1.14s
Memory:		 240MB (+36MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 4
Time         : 4.212s (Solving: 1.11s 1st Model: 0.01s Unsat: 1.09s)
CPU Time     : 4.080s

Choices      : 36051    (Domain: 28058)
Conflicts    : 4420     (Analyzed: 4418)
Restarts     : 21       (Average: 210.38 Last: 248)
Model-Level  : 343.0   
Problems     : 4        (Average Length: 8.25 Splits: 0)
Lemmas       : 4418     (Deleted: 0)
  Binary     : 450      (Ratio:  10.19%)
  Ternary    : 327      (Ratio:   7.40%)
  Conflict   : 4418     (Average Length:   90.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 4418     (Average:  7.97 Max: 144 Sum:  35223)
  Executed   : 4400     (Average:  7.93 Max: 144 Sum:  35051 Ratio:  99.51%)
  Bounded    : 18       (Average:  9.56 Max:  12 Sum:    172 Ratio:   0.49%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 60107    (Eliminated: 17109 Frozen: 42998)
Constraints  : 326250   (Binary:  88.2% Ternary:   7.9% Other:   3.9%)

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

[endof: stats after solve call]
Solving Time:	 1.35s
Memory:		 236MB (+-4MB)
UNSAT
Iteration Time:	 3.39s

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

Models       : 0+
Calls        : 5
Time         : 24.494s (Solving: 19.89s 1st Model: 0.01s Unsat: 1.09s)
CPU Time     : 24.372s

Choices      : 233534   (Domain: 191057)
Conflicts    : 32586    (Analyzed: 32584)
Restarts     : 121      (Average: 269.29 Last: 248)
Model-Level  : 343.0   
Problems     : 5        (Average Length: 10.00 Splits: 0)
Lemmas       : 32584    (Deleted: 19058)
  Binary     : 1815     (Ratio:   5.57%)
  Ternary    : 744      (Ratio:   2.28%)
  Conflict   : 32584    (Average Length:  533.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 32584    (Average:  6.98 Max: 372 Sum: 227472)
  Executed   : 32553    (Average:  6.97 Max: 372 Sum: 227117 Ratio:  99.84%)
  Bounded    : 31       (Average: 11.45 Max:  17 Sum:    355 Ratio:   0.16%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 100183   (Eliminated: 17109 Frozen: 68419)
Constraints  : 608399   (Binary:  89.9% Ternary:   7.3% Other:   2.8%)

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

[endof: stats after solve call]
Solving Time:	 19.54s
Memory:		 270MB (+26MB)
UNKNOWN
Iteration Time:	 20.30s

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

Models       : 0+
Calls        : 6
Time         : 44.306s (Solving: 38.08s 1st Model: 0.01s Unsat: 1.09s)
CPU Time     : 44.196s

Choices      : 508613   (Domain: 431654)
Conflicts    : 60786    (Analyzed: 60784)
Restarts     : 221      (Average: 275.04 Last: 248)
Model-Level  : 343.0   
Problems     : 6        (Average Length: 12.00 Splits: 0)
Lemmas       : 60784    (Deleted: 44926)
  Binary     : 3058     (Ratio:   5.03%)
  Ternary    : 936      (Ratio:   1.54%)
  Conflict   : 60784    (Average Length:  688.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 60784    (Average:  8.11 Max: 372 Sum: 492977)
  Executed   : 60749    (Average:  8.10 Max: 372 Sum: 492541 Ratio:  99.91%)
  Bounded    : 35       (Average: 12.46 Max:  22 Sum:    436 Ratio:   0.09%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 140259   (Eliminated: 17109 Frozen: 108495)
Constraints  : 905906   (Binary:  90.3% Ternary:   7.2% Other:   2.5%)

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

[endof: stats after solve call]
Solving Time:	 18.97s
Memory:		 368MB (+86MB)
UNKNOWN
Iteration Time:	 19.83s

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

Models       : 0+
Calls        : 7
Time         : 65.197s (Solving: 57.40s 1st Model: 0.01s Unsat: 1.09s)
CPU Time     : 65.096s

Choices      : 816167   (Domain: 730677)
Conflicts    : 88967    (Analyzed: 88965)
Restarts     : 321      (Average: 277.15 Last: 248)
Model-Level  : 343.0   
Problems     : 7        (Average Length: 14.14 Splits: 0)
Lemmas       : 88965    (Deleted: 71259)
  Binary     : 4265     (Ratio:   4.79%)
  Ternary    : 1185     (Ratio:   1.33%)
  Conflict   : 88965    (Average Length:  576.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 88965    (Average:  8.89 Max: 428 Sum: 790867)
  Executed   : 88920    (Average:  8.88 Max: 428 Sum: 790177 Ratio:  99.91%)
  Bounded    : 45       (Average: 15.33 Max:  27 Sum:    690 Ratio:   0.09%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 180335   (Eliminated: 17109 Frozen: 148571)
Constraints  : 1205710  (Binary:  90.6% Ternary:   7.1% Other:   2.3%)

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

[endof: stats after solve call]
Solving Time:	 20.11s
Memory:		 395MB (+21MB)
UNKNOWN
Iteration Time:	 20.91s

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

Models       : 0+
Calls        : 8
Time         : 88.112s (Solving: 78.63s 1st Model: 0.01s Unsat: 1.09s)
CPU Time     : 88.020s

Choices      : 1160273  (Domain: 1062265)
Conflicts    : 117167   (Analyzed: 117165)
Restarts     : 421      (Average: 278.30 Last: 248)
Model-Level  : 343.0   
Problems     : 8        (Average Length: 16.38 Splits: 0)
Lemmas       : 117165   (Deleted: 97157)
  Binary     : 5626     (Ratio:   4.80%)
  Ternary    : 1462     (Ratio:   1.25%)
  Conflict   : 117165   (Average Length:  594.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 117165   (Average:  9.55 Max: 430 Sum: 1119039)
  Executed   : 117112   (Average:  9.54 Max: 430 Sum: 1118108 Ratio:  99.92%)
  Bounded    : 53       (Average: 17.57 Max:  32 Sum:    931 Ratio:   0.08%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 220411   (Eliminated: 17109 Frozen: 188647)
Constraints  : 1491468  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 22.04s
Memory:		 434MB (+35MB)
UNKNOWN
Iteration Time:	 22.93s

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         : 88.906s (Solving: 79.37s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 88.812s

Choices      : 1172301  (Domain: 1073039)
Conflicts    : 118353   (Analyzed: 118350)
Restarts     : 427      (Average: 277.17 Last: 377)
Model-Level  : 343.0   
Problems     : 9        (Average Length: 18.11 Splits: 0)
Lemmas       : 118350   (Deleted: 97157)
  Binary     : 5662     (Ratio:   4.78%)
  Ternary    : 1482     (Ratio:   1.25%)
  Conflict   : 118350   (Average Length:  590.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 118350   (Average:  9.55 Max: 430 Sum: 1130648)
  Executed   : 118293   (Average:  9.55 Max: 430 Sum: 1129713 Ratio:  99.92%)
  Bounded    : 57       (Average: 16.40 Max:  32 Sum:    935 Ratio:   0.08%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 220411   (Eliminated: 17109 Frozen: 203302)
Constraints  : 1491413  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 0.78s
Memory:		 434MB (+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         : 105.903s (Solving: 96.30s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 105.816s

Choices      : 1423385  (Domain: 1323480)
Conflicts    : 146507   (Analyzed: 146504)
Restarts     : 527      (Average: 278.00 Last: 377)
Model-Level  : 343.0   
Problems     : 10       (Average Length: 19.50 Splits: 0)
Lemmas       : 146504   (Deleted: 125329)
  Binary     : 6109     (Ratio:   4.17%)
  Ternary    : 1588     (Ratio:   1.08%)
  Conflict   : 146504   (Average Length:  551.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 146504   (Average:  9.36 Max: 430 Sum: 1371138)
  Executed   : 146441   (Average:  9.35 Max: 430 Sum: 1370054 Ratio:  99.92%)
  Bounded    : 63       (Average: 17.21 Max:  32 Sum:   1084 Ratio:   0.08%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 220411   (Eliminated: 17109 Frozen: 203302)
Constraints  : 1491413  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 16.98s
Memory:		 434MB (+0MB)
UNKNOWN
Iteration Time:	 17.01s

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         : 126.626s (Solving: 116.97s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 126.548s

Choices      : 1702503  (Domain: 1584282)
Conflicts    : 174685   (Analyzed: 174682)
Restarts     : 627      (Average: 278.60 Last: 377)
Model-Level  : 343.0   
Problems     : 11       (Average Length: 20.64 Splits: 0)
Lemmas       : 174682   (Deleted: 152141)
  Binary     : 7071     (Ratio:   4.05%)
  Ternary    : 1730     (Ratio:   0.99%)
  Conflict   : 174682   (Average Length:  553.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 174682   (Average:  9.36 Max: 430 Sum: 1634747)
  Executed   : 174612   (Average:  9.35 Max: 430 Sum: 1633466 Ratio:  99.92%)
  Bounded    : 70       (Average: 18.30 Max:  32 Sum:   1281 Ratio:   0.08%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 220411   (Eliminated: 17109 Frozen: 203302)
Constraints  : 1491371  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 20.72s
Memory:		 434MB (+0MB)
UNKNOWN
Iteration Time:	 20.74s

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         : 147.745s (Solving: 138.02s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 147.676s

Choices      : 1978791  (Domain: 1849120)
Conflicts    : 202870   (Analyzed: 202867)
Restarts     : 727      (Average: 279.05 Last: 377)
Model-Level  : 343.0   
Problems     : 12       (Average Length: 21.58 Splits: 0)
Lemmas       : 202867   (Deleted: 178049)
  Binary     : 8259     (Ratio:   4.07%)
  Ternary    : 2011     (Ratio:   0.99%)
  Conflict   : 202867   (Average Length:  600.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 202867   (Average:  9.32 Max: 430 Sum: 1891620)
  Executed   : 202796   (Average:  9.32 Max: 430 Sum: 1890310 Ratio:  99.93%)
  Bounded    : 71       (Average: 18.45 Max:  32 Sum:   1310 Ratio:   0.07%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 220411   (Eliminated: 17109 Frozen: 203302)
Constraints  : 1491357  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 21.10s
Memory:		 434MB (+0MB)
UNKNOWN
Iteration Time:	 21.13s

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

Models       : 0+
Calls        : 13
Time         : 169.755s (Solving: 158.34s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 169.696s

Choices      : 2233146  (Domain: 2103359)
Conflicts    : 231072   (Analyzed: 231069)
Restarts     : 827      (Average: 279.41 Last: 377)
Model-Level  : 343.0   
Problems     : 13       (Average Length: 22.77 Splits: 0)
Lemmas       : 231069   (Deleted: 205002)
  Binary     : 9049     (Ratio:   3.92%)
  Ternary    : 2046     (Ratio:   0.89%)
  Conflict   : 231069   (Average Length:  581.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 231069   (Average:  9.23 Max: 430 Sum: 2132673)
  Executed   : 230996   (Average:  9.22 Max: 430 Sum: 2131295 Ratio:  99.94%)
  Bounded    : 73       (Average: 18.88 Max:  34 Sum:   1378 Ratio:   0.06%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 260487   (Eliminated: 17109 Frozen: 228723)
Constraints  : 1793337  (Binary:  90.8% Ternary:   7.1% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 21.13s
Memory:		 455MB (+21MB)
UNKNOWN
Iteration Time:	 22.03s

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

Models       : 0+
Calls        : 14
Time         : 191.516s (Solving: 178.41s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 191.468s

Choices      : 2524660  (Domain: 2390420)
Conflicts    : 259284   (Analyzed: 259281)
Restarts     : 927      (Average: 279.70 Last: 377)
Model-Level  : 343.0   
Problems     : 14       (Average Length: 24.14 Splits: 0)
Lemmas       : 259281   (Deleted: 231970)
  Binary     : 9772     (Ratio:   3.77%)
  Ternary    : 2183     (Ratio:   0.84%)
  Conflict   : 259281   (Average Length:  569.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 259281   (Average:  9.29 Max: 430 Sum: 2407658)
  Executed   : 259208   (Average:  9.28 Max: 430 Sum: 2406280 Ratio:  99.94%)
  Bounded    : 73       (Average: 18.88 Max:  34 Sum:   1378 Ratio:   0.06%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 300563   (Eliminated: 17109 Frozen: 268799)
Constraints  : 2095317  (Binary:  90.9% Ternary:   7.1% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 20.87s
Memory:		 484MB (+25MB)
UNKNOWN
Iteration Time:	 21.78s

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

Models       : 0+
Calls        : 15
Time         : 212.906s (Solving: 197.95s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 212.868s

Choices      : 2839599  (Domain: 2698457)
Conflicts    : 287517   (Analyzed: 287514)
Restarts     : 1027     (Average: 279.96 Last: 377)
Model-Level  : 343.0   
Problems     : 15       (Average Length: 25.67 Splits: 0)
Lemmas       : 287514   (Deleted: 258912)
  Binary     : 10289    (Ratio:   3.58%)
  Ternary    : 2246     (Ratio:   0.78%)
  Conflict   : 287514   (Average Length:  575.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 287514   (Average:  9.42 Max: 430 Sum: 2707505)
  Executed   : 287440   (Average:  9.41 Max: 430 Sum: 2706086 Ratio:  99.95%)
  Bounded    : 74       (Average: 19.18 Max:  41 Sum:   1419 Ratio:   0.05%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 340639   (Eliminated: 17109 Frozen: 308875)
Constraints  : 2397297  (Binary:  90.9% Ternary:   7.1% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 20.36s
Memory:		 545MB (+47MB)
UNKNOWN
Iteration Time:	 21.41s

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

Models       : 0+
Calls        : 16
Time         : 234.423s (Solving: 217.73s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 234.396s

Choices      : 3216468  (Domain: 3071523)
Conflicts    : 315690   (Analyzed: 315687)
Restarts     : 1127     (Average: 280.11 Last: 377)
Model-Level  : 343.0   
Problems     : 16       (Average Length: 27.31 Splits: 0)
Lemmas       : 315687   (Deleted: 286313)
  Binary     : 10862    (Ratio:   3.44%)
  Ternary    : 2442     (Ratio:   0.77%)
  Conflict   : 315687   (Average Length:  569.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 315687   (Average:  9.71 Max: 437 Sum: 3065978)
  Executed   : 315613   (Average:  9.71 Max: 437 Sum: 3064559 Ratio:  99.95%)
  Bounded    : 74       (Average: 19.18 Max:  41 Sum:   1419 Ratio:   0.05%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 380715   (Eliminated: 17109 Frozen: 348951)
Constraints  : 2699277  (Binary:  90.9% Ternary:   7.1% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 20.61s
Memory:		 562MB (+17MB)
UNKNOWN
Iteration Time:	 21.54s

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

Models       : 0+
Calls        : 17
Time         : 263.612s (Solving: 245.20s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 263.600s

Choices      : 3740199  (Domain: 3589232)
Conflicts    : 343904   (Analyzed: 343901)
Restarts     : 1227     (Average: 280.28 Last: 377)
Model-Level  : 343.0   
Problems     : 17       (Average Length: 29.06 Splits: 0)
Lemmas       : 343901   (Deleted: 312769)
  Binary     : 11769    (Ratio:   3.42%)
  Ternary    : 2657     (Ratio:   0.77%)
  Conflict   : 343901   (Average Length:  575.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 343901   (Average: 10.37 Max: 569 Sum: 3565758)
  Executed   : 343827   (Average: 10.36 Max: 569 Sum: 3564339 Ratio:  99.96%)
  Bounded    : 74       (Average: 19.18 Max:  41 Sum:   1419 Ratio:   0.04%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 420791   (Eliminated: 17109 Frozen: 389027)
Constraints  : 3001257  (Binary:  91.0% Ternary:   7.1% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 28.30s
Memory:		 587MB (+25MB)
UNKNOWN
Iteration Time:	 29.21s

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

Models       : 0+
Calls        : 18
Time         : 294.469s (Solving: 274.29s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 294.468s

Choices      : 4395084  (Domain: 4237558)
Conflicts    : 372098   (Analyzed: 372095)
Restarts     : 1327     (Average: 280.40 Last: 377)
Model-Level  : 343.0   
Problems     : 18       (Average Length: 30.89 Splits: 0)
Lemmas       : 372095   (Deleted: 338155)
  Binary     : 13109    (Ratio:   3.52%)
  Ternary    : 3227     (Ratio:   0.87%)
  Conflict   : 372095   (Average Length:  560.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 372095   (Average: 11.26 Max: 771 Sum: 4191598)
  Executed   : 372020   (Average: 11.26 Max: 771 Sum: 4190123 Ratio:  99.96%)
  Bounded    : 75       (Average: 19.67 Max:  56 Sum:   1475 Ratio:   0.04%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 460867   (Eliminated: 17109 Frozen: 429103)
Constraints  : 3303237  (Binary:  91.0% Ternary:   7.1% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 29.94s
Memory:		 657MB (+70MB)
UNKNOWN
Iteration Time:	 30.88s

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

Models       : 0+
Calls        : 19
Time         : 348.855s (Solving: 326.85s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 348.876s

Choices      : 5651660  (Domain: 5474695)
Conflicts    : 400284   (Analyzed: 400281)
Restarts     : 1427     (Average: 280.51 Last: 377)
Model-Level  : 343.0   
Problems     : 19       (Average Length: 32.79 Splits: 0)
Lemmas       : 400281   (Deleted: 362053)
  Binary     : 15054    (Ratio:   3.76%)
  Ternary    : 3734     (Ratio:   0.93%)
  Conflict   : 400281   (Average Length:  582.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 400281   (Average: 13.50 Max: 961 Sum: 5403268)
  Executed   : 400206   (Average: 13.50 Max: 961 Sum: 5401793 Ratio:  99.97%)
  Bounded    : 75       (Average: 19.67 Max:  56 Sum:   1475 Ratio:   0.03%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 500943   (Eliminated: 17109 Frozen: 469179)
Constraints  : 3605217  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 53.42s
Memory:		 674MB (+17MB)
UNKNOWN
Iteration Time:	 54.42s

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

Models       : 0+
Calls        : 20
Time         : 378.604s (Solving: 354.78s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 378.636s

Choices      : 6167475  (Domain: 5988058)
Conflicts    : 428506   (Analyzed: 428503)
Restarts     : 1527     (Average: 280.62 Last: 377)
Model-Level  : 343.0   
Problems     : 20       (Average Length: 34.75 Splits: 0)
Lemmas       : 428503   (Deleted: 389080)
  Binary     : 15742    (Ratio:   3.67%)
  Ternary    : 3822     (Ratio:   0.89%)
  Conflict   : 428503   (Average Length:  579.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 428503   (Average: 13.75 Max: 961 Sum: 5893066)
  Executed   : 428428   (Average: 13.75 Max: 961 Sum: 5891591 Ratio:  99.97%)
  Bounded    : 75       (Average: 19.67 Max:  56 Sum:   1475 Ratio:   0.03%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 541019   (Eliminated: 17109 Frozen: 509255)
Constraints  : 3907197  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 28.79s
Memory:		 688MB (+14MB)
UNKNOWN
Iteration Time:	 29.77s

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

Models       : 0+
Calls        : 21
Time         : 410.099s (Solving: 384.44s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 410.144s

Choices      : 6625565  (Domain: 6445245)
Conflicts    : 456714   (Analyzed: 456711)
Restarts     : 1627     (Average: 280.71 Last: 377)
Model-Level  : 343.0   
Problems     : 21       (Average Length: 36.76 Splits: 0)
Lemmas       : 456711   (Deleted: 415879)
  Binary     : 16310    (Ratio:   3.57%)
  Ternary    : 3886     (Ratio:   0.85%)
  Conflict   : 456711   (Average Length:  590.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 456711   (Average: 13.85 Max: 961 Sum: 6324558)
  Executed   : 456636   (Average: 13.84 Max: 961 Sum: 6323083 Ratio:  99.98%)
  Bounded    : 75       (Average: 19.67 Max:  56 Sum:   1475 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 581095   (Eliminated: 17109 Frozen: 549331)
Constraints  : 4209177  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 30.52s
Memory:		 714MB (+26MB)
UNKNOWN
Iteration Time:	 31.52s

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

Models       : 0+
Calls        : 22
Time         : 438.123s (Solving: 410.54s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 438.180s

Choices      : 7111015  (Domain: 6929517)
Conflicts    : 484910   (Analyzed: 484907)
Restarts     : 1727     (Average: 280.78 Last: 377)
Model-Level  : 343.0   
Problems     : 22       (Average Length: 38.82 Splits: 0)
Lemmas       : 484907   (Deleted: 442837)
  Binary     : 16812    (Ratio:   3.47%)
  Ternary    : 3988     (Ratio:   0.82%)
  Conflict   : 484907   (Average Length:  591.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 484907   (Average: 13.99 Max: 961 Sum: 6782289)
  Executed   : 484832   (Average: 13.98 Max: 961 Sum: 6780814 Ratio:  99.98%)
  Bounded    : 75       (Average: 19.67 Max:  56 Sum:   1475 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 589407)
Constraints  : 4511157  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.99s
Memory:		 739MB (+25MB)
UNKNOWN
Iteration Time:	 28.05s

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         : 451.428s (Solving: 423.72s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 451.492s

Choices      : 7250019  (Domain: 7068521)
Conflicts    : 513153   (Analyzed: 513150)
Restarts     : 1827     (Average: 280.87 Last: 377)
Model-Level  : 343.0   
Problems     : 23       (Average Length: 40.70 Splits: 0)
Lemmas       : 513150   (Deleted: 468700)
  Binary     : 16982    (Ratio:   3.31%)
  Ternary    : 4020     (Ratio:   0.78%)
  Conflict   : 513150   (Average Length:  580.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 513150   (Average: 13.47 Max: 961 Sum: 6912221)
  Executed   : 513072   (Average: 13.47 Max: 961 Sum: 6910587 Ratio:  99.98%)
  Bounded    : 78       (Average: 20.95 Max:  82 Sum:   1634 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 604062)
Constraints  : 4511157  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 13.26s
Memory:		 739MB (+0MB)
UNKNOWN
Iteration Time:	 13.31s

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         : 468.184s (Solving: 440.34s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 468.256s

Choices      : 7417812  (Domain: 7236314)
Conflicts    : 541340   (Analyzed: 541337)
Restarts     : 1927     (Average: 280.92 Last: 377)
Model-Level  : 343.0   
Problems     : 24       (Average Length: 42.42 Splits: 0)
Lemmas       : 541337   (Deleted: 497448)
  Binary     : 17181    (Ratio:   3.17%)
  Ternary    : 4073     (Ratio:   0.75%)
  Conflict   : 541337   (Average Length:  573.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 541337   (Average: 13.06 Max: 961 Sum: 7070433)
  Executed   : 541256   (Average: 13.06 Max: 961 Sum: 7068571 Ratio:  99.97%)
  Bounded    : 81       (Average: 22.99 Max:  82 Sum:   1862 Ratio:   0.03%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 604062)
Constraints  : 4511140  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 16.72s
Memory:		 739MB (+0MB)
UNKNOWN
Iteration Time:	 16.77s

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         : 485.520s (Solving: 457.54s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 485.600s

Choices      : 7639412  (Domain: 7457914)
Conflicts    : 569547   (Analyzed: 569544)
Restarts     : 2027     (Average: 280.98 Last: 377)
Model-Level  : 343.0   
Problems     : 25       (Average Length: 44.00 Splits: 0)
Lemmas       : 569544   (Deleted: 524670)
  Binary     : 17503    (Ratio:   3.07%)
  Ternary    : 4137     (Ratio:   0.73%)
  Conflict   : 569544   (Average Length:  568.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 569544   (Average: 12.78 Max: 961 Sum: 7277893)
  Executed   : 569463   (Average: 12.78 Max: 961 Sum: 7276031 Ratio:  99.97%)
  Bounded    : 81       (Average: 22.99 Max:  82 Sum:   1862 Ratio:   0.03%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 604062)
Constraints  : 4511140  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 17.30s
Memory:		 739MB (+0MB)
UNKNOWN
Iteration Time:	 17.35s

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         : 505.476s (Solving: 477.36s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 505.568s

Choices      : 7917805  (Domain: 7736135)
Conflicts    : 597732   (Analyzed: 597729)
Restarts     : 2127     (Average: 281.02 Last: 377)
Model-Level  : 343.0   
Problems     : 26       (Average Length: 45.46 Splits: 0)
Lemmas       : 597729   (Deleted: 551985)
  Binary     : 17807    (Ratio:   2.98%)
  Ternary    : 4205     (Ratio:   0.70%)
  Conflict   : 597729   (Average Length:  561.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 597729   (Average: 12.60 Max: 961 Sum: 7533596)
  Executed   : 597648   (Average: 12.60 Max: 961 Sum: 7531734 Ratio:  99.98%)
  Bounded    : 81       (Average: 22.99 Max:  82 Sum:   1862 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 604062)
Constraints  : 4511140  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.91s
Memory:		 739MB (+0MB)
UNKNOWN
Iteration Time:	 19.97s

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         : 530.577s (Solving: 502.33s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 530.680s

Choices      : 8213491  (Domain: 8030077)
Conflicts    : 625896   (Analyzed: 625893)
Restarts     : 2227     (Average: 281.05 Last: 377)
Model-Level  : 343.0   
Problems     : 27       (Average Length: 46.81 Splits: 0)
Lemmas       : 625893   (Deleted: 579319)
  Binary     : 18138    (Ratio:   2.90%)
  Ternary    : 4272     (Ratio:   0.68%)
  Conflict   : 625893   (Average Length:  577.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 625893   (Average: 12.47 Max: 961 Sum: 7807272)
  Executed   : 625811   (Average: 12.47 Max: 961 Sum: 7805328 Ratio:  99.98%)
  Bounded    : 82       (Average: 23.71 Max:  82 Sum:   1944 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 604062)
Constraints  : 4511140  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 25.06s
Memory:		 739MB (+0MB)
UNKNOWN
Iteration Time:	 25.11s

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         : 550.332s (Solving: 521.95s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 550.444s

Choices      : 8450495  (Domain: 8266788)
Conflicts    : 654107   (Analyzed: 654104)
Restarts     : 2327     (Average: 281.09 Last: 377)
Model-Level  : 343.0   
Problems     : 28       (Average Length: 48.07 Splits: 0)
Lemmas       : 654104   (Deleted: 606624)
  Binary     : 18485    (Ratio:   2.83%)
  Ternary    : 4340     (Ratio:   0.66%)
  Conflict   : 654104   (Average Length:  583.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 654104   (Average: 12.27 Max: 961 Sum: 8024195)
  Executed   : 654020   (Average: 12.26 Max: 961 Sum: 8022087 Ratio:  99.97%)
  Bounded    : 84       (Average: 25.10 Max:  82 Sum:   2108 Ratio:   0.03%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 604062)
Constraints  : 4511126  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.72s
Memory:		 739MB (+0MB)
UNKNOWN
Iteration Time:	 19.77s

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         : 579.781s (Solving: 551.26s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 579.904s

Choices      : 8911333  (Domain: 8723507)
Conflicts    : 682319   (Analyzed: 682316)
Restarts     : 2427     (Average: 281.14 Last: 377)
Model-Level  : 343.0   
Problems     : 29       (Average Length: 49.24 Splits: 0)
Lemmas       : 682316   (Deleted: 633009)
  Binary     : 19313    (Ratio:   2.83%)
  Ternary    : 4574     (Ratio:   0.67%)
  Conflict   : 682316   (Average Length:  585.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 682316   (Average: 12.39 Max: 961 Sum: 8451630)
  Executed   : 682232   (Average: 12.38 Max: 961 Sum: 8449522 Ratio:  99.98%)
  Bounded    : 84       (Average: 25.10 Max:  82 Sum:   2108 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 604062)
Constraints  : 4511092  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 29.41s
Memory:		 739MB (+0MB)
UNKNOWN
Iteration Time:	 29.46s

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         : 614.101s (Solving: 585.42s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 614.236s

Choices      : 9409181  (Domain: 9217429)
Conflicts    : 710564   (Analyzed: 710561)
Restarts     : 2527     (Average: 281.19 Last: 377)
Model-Level  : 343.0   
Problems     : 30       (Average Length: 50.33 Splits: 0)
Lemmas       : 710561   (Deleted: 656309)
  Binary     : 20057    (Ratio:   2.82%)
  Ternary    : 4783     (Ratio:   0.67%)
  Conflict   : 710561   (Average Length:  610.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 710561   (Average: 12.55 Max: 961 Sum: 8916350)
  Executed   : 710477   (Average: 12.55 Max: 961 Sum: 8914242 Ratio:  99.98%)
  Bounded    : 84       (Average: 25.10 Max:  82 Sum:   2108 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 604062)
Constraints  : 4511092  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 34.27s
Memory:		 739MB (+0MB)
UNKNOWN
Iteration Time:	 34.34s

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         : 640.024s (Solving: 611.20s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 640.168s

Choices      : 9808008  (Domain: 9614598)
Conflicts    : 738835   (Analyzed: 738832)
Restarts     : 2627     (Average: 281.25 Last: 377)
Model-Level  : 343.0   
Problems     : 31       (Average Length: 51.35 Splits: 0)
Lemmas       : 738832   (Deleted: 686738)
  Binary     : 20449    (Ratio:   2.77%)
  Ternary    : 4850     (Ratio:   0.66%)
  Conflict   : 738832   (Average Length:  613.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 738832   (Average: 12.58 Max: 961 Sum: 9294196)
  Executed   : 738748   (Average: 12.58 Max: 961 Sum: 9292088 Ratio:  99.98%)
  Bounded    : 84       (Average: 25.10 Max:  82 Sum:   2108 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 604062)
Constraints  : 4511092  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 25.88s
Memory:		 803MB (+64MB)
UNKNOWN
Iteration Time:	 25.94s

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         : 663.857s (Solving: 634.90s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 664.012s

Choices      : 10185190 (Domain: 9989847)
Conflicts    : 767058   (Analyzed: 767055)
Restarts     : 2727     (Average: 281.28 Last: 377)
Model-Level  : 343.0   
Problems     : 32       (Average Length: 52.31 Splits: 0)
Lemmas       : 767055   (Deleted: 714037)
  Binary     : 20789    (Ratio:   2.71%)
  Ternary    : 4930     (Ratio:   0.64%)
  Conflict   : 767055   (Average Length:  621.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 767055   (Average: 12.57 Max: 968 Sum: 9643135)
  Executed   : 766971   (Average: 12.57 Max: 968 Sum: 9641027 Ratio:  99.98%)
  Bounded    : 84       (Average: 25.10 Max:  82 Sum:   2108 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 604062)
Constraints  : 4511092  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.80s
Memory:		 803MB (+0MB)
UNKNOWN
Iteration Time:	 23.85s

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         : 688.348s (Solving: 659.24s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 688.512s

Choices      : 10546564 (Domain: 10350379)
Conflicts    : 795362   (Analyzed: 795359)
Restarts     : 2827     (Average: 281.34 Last: 377)
Model-Level  : 343.0   
Problems     : 33       (Average Length: 53.21 Splits: 0)
Lemmas       : 795359   (Deleted: 741428)
  Binary     : 21062    (Ratio:   2.65%)
  Ternary    : 4972     (Ratio:   0.63%)
  Conflict   : 795359   (Average Length:  629.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 795359   (Average: 12.55 Max: 968 Sum: 9980136)
  Executed   : 795273   (Average: 12.55 Max: 968 Sum: 9977864 Ratio:  99.98%)
  Bounded    : 86       (Average: 26.42 Max:  82 Sum:   2272 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 604062)
Constraints  : 4511092  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.45s
Memory:		 803MB (+0MB)
UNKNOWN
Iteration Time:	 24.50s

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         : 712.544s (Solving: 683.30s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 712.720s

Choices      : 10918135 (Domain: 10720717)
Conflicts    : 823551   (Analyzed: 823548)
Restarts     : 2927     (Average: 281.36 Last: 377)
Model-Level  : 343.0   
Problems     : 34       (Average Length: 54.06 Splits: 0)
Lemmas       : 823548   (Deleted: 768846)
  Binary     : 21340    (Ratio:   2.59%)
  Ternary    : 5034     (Ratio:   0.61%)
  Conflict   : 823548   (Average Length:  632.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 823548   (Average: 12.53 Max: 968 Sum: 10322868)
  Executed   : 823462   (Average: 12.53 Max: 968 Sum: 10320596 Ratio:  99.98%)
  Bounded    : 86       (Average: 26.42 Max:  82 Sum:   2272 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 604062)
Constraints  : 4511062  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.16s
Memory:		 803MB (+0MB)
UNKNOWN
Iteration Time:	 24.21s

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         : 737.337s (Solving: 707.96s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 737.520s

Choices      : 11350108 (Domain: 11152137)
Conflicts    : 851792   (Analyzed: 851789)
Restarts     : 3027     (Average: 281.40 Last: 377)
Model-Level  : 343.0   
Problems     : 35       (Average Length: 54.86 Splits: 0)
Lemmas       : 851789   (Deleted: 796268)
  Binary     : 21697    (Ratio:   2.55%)
  Ternary    : 5089     (Ratio:   0.60%)
  Conflict   : 851789   (Average Length:  636.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 851789   (Average: 12.59 Max: 1024 Sum: 10727539)
  Executed   : 851702   (Average: 12.59 Max: 1024 Sum: 10725185 Ratio:  99.98%)
  Bounded    : 87       (Average: 27.06 Max:  82 Sum:   2354 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 604062)
Constraints  : 4511062  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.75s
Memory:		 803MB (+0MB)
UNKNOWN
Iteration Time:	 24.81s

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: 901.0MB
Grounding...	 [('step', [81]), ('step', [82]), ('step', [83]), ('step', [84]), ('step', [85]), ('check', [85])]
Grounding Time:	 0.58s
Memory:		 803MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 36
Time         : 766.227s (Solving: 734.95s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 766.424s

Choices      : 11641864 (Domain: 11443779)
Conflicts    : 880012   (Analyzed: 880009)
Restarts     : 3127     (Average: 281.42 Last: 377)
Model-Level  : 343.0   
Problems     : 36       (Average Length: 55.75 Splits: 0)
Lemmas       : 880009   (Deleted: 823904)
  Binary     : 21979    (Ratio:   2.50%)
  Ternary    : 5110     (Ratio:   0.58%)
  Conflict   : 880009   (Average Length:  639.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 880009   (Average: 12.49 Max: 1142 Sum: 10991019)
  Executed   : 879922   (Average: 12.49 Max: 1142 Sum: 10988665 Ratio:  99.98%)
  Bounded    : 87       (Average: 27.06 Max:  82 Sum:   2354 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 629483)
Constraints  : 4813025  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 27.86s
Memory:		 828MB (+25MB)
UNKNOWN
Iteration Time:	 28.92s

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

Models       : 0+
Calls        : 37
Time         : 791.432s (Solving: 758.20s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 791.640s

Choices      : 11903919 (Domain: 11704832)
Conflicts    : 908239   (Analyzed: 908236)
Restarts     : 3227     (Average: 281.45 Last: 377)
Model-Level  : 343.0   
Problems     : 37       (Average Length: 56.73 Splits: 0)
Lemmas       : 908236   (Deleted: 851691)
  Binary     : 22154    (Ratio:   2.44%)
  Ternary    : 5134     (Ratio:   0.57%)
  Conflict   : 908236   (Average Length:  639.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 908236   (Average: 12.36 Max: 1142 Sum: 11222817)
  Executed   : 908148   (Average: 12.35 Max: 1142 Sum: 11220371 Ratio:  99.98%)
  Bounded    : 88       (Average: 27.80 Max:  92 Sum:   2446 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 701323   (Eliminated: 17109 Frozen: 669559)
Constraints  : 5115005  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.12s
Memory:		 922MB (+94MB)
UNKNOWN
Iteration Time:	 25.23s

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

Models       : 0+
Calls        : 38
Time         : 812.461s (Solving: 776.92s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 812.676s

Choices      : 12089655 (Domain: 11890560)
Conflicts    : 936439   (Analyzed: 936436)
Restarts     : 3327     (Average: 281.47 Last: 377)
Model-Level  : 343.0   
Problems     : 38       (Average Length: 57.79 Splits: 0)
Lemmas       : 936436   (Deleted: 879412)
  Binary     : 22241    (Ratio:   2.38%)
  Ternary    : 5146     (Ratio:   0.55%)
  Conflict   : 936436   (Average Length:  640.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 936436   (Average: 12.16 Max: 1142 Sum: 11383443)
  Executed   : 936348   (Average: 12.15 Max: 1142 Sum: 11380997 Ratio:  99.98%)
  Bounded    : 88       (Average: 27.80 Max:  92 Sum:   2446 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 741399   (Eliminated: 17109 Frozen: 709635)
Constraints  : 5416971  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.60s
Memory:		 977MB (+5MB)
UNKNOWN
Iteration Time:	 21.05s

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

Models       : 0+
Calls        : 39
Time         : 832.714s (Solving: 795.23s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 832.936s

Choices      : 12298392 (Domain: 12099279)
Conflicts    : 964718   (Analyzed: 964715)
Restarts     : 3427     (Average: 281.50 Last: 377)
Model-Level  : 343.0   
Problems     : 39       (Average Length: 58.92 Splits: 0)
Lemmas       : 964715   (Deleted: 907261)
  Binary     : 22373    (Ratio:   2.32%)
  Ternary    : 5169     (Ratio:   0.54%)
  Conflict   : 964715   (Average Length:  638.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 964715   (Average: 11.99 Max: 1142 Sum: 11565249)
  Executed   : 964627   (Average: 11.99 Max: 1142 Sum: 11562803 Ratio:  99.98%)
  Bounded    : 88       (Average: 27.80 Max:  92 Sum:   2446 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 781475   (Eliminated: 17109 Frozen: 749711)
Constraints  : 5718951  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.19s
Memory:		 982MB (+5MB)
UNKNOWN
Iteration Time:	 20.27s

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

Models       : 0+
Calls        : 40
Time         : 859.533s (Solving: 820.08s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 859.764s

Choices      : 12564486 (Domain: 12365337)
Conflicts    : 993015   (Analyzed: 993012)
Restarts     : 3527     (Average: 281.55 Last: 377)
Model-Level  : 343.0   
Problems     : 40       (Average Length: 60.12 Splits: 0)
Lemmas       : 993012   (Deleted: 935096)
  Binary     : 22508    (Ratio:   2.27%)
  Ternary    : 5191     (Ratio:   0.52%)
  Conflict   : 993012   (Average Length:  637.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 993012   (Average: 11.88 Max: 1151 Sum: 11801710)
  Executed   : 992923   (Average: 11.88 Max: 1151 Sum: 11799157 Ratio:  99.98%)
  Bounded    : 89       (Average: 28.69 Max: 107 Sum:   2553 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 821551   (Eliminated: 17109 Frozen: 789787)
Constraints  : 6020931  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 25.76s
Memory:		 1006MB (+24MB)
UNKNOWN
Iteration Time:	 26.84s

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         : 877.365s (Solving: 837.73s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 877.600s

Choices      : 12686693 (Domain: 12487544)
Conflicts    : 1021225  (Analyzed: 1021222)
Restarts     : 3627     (Average: 281.56 Last: 377)
Model-Level  : 343.0   
Problems     : 41       (Average Length: 61.27 Splits: 0)
Lemmas       : 1021222  (Deleted: 962536)
  Binary     : 22599    (Ratio:   2.21%)
  Ternary    : 5217     (Ratio:   0.51%)
  Conflict   : 1021222  (Average Length:  646.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1021222  (Average: 11.67 Max: 1151 Sum: 11914473)
  Executed   : 1021131  (Average: 11.66 Max: 1151 Sum: 11911706 Ratio:  99.98%)
  Bounded    : 91       (Average: 30.41 Max: 107 Sum:   2767 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 821551   (Eliminated: 17109 Frozen: 804442)
Constraints  : 6020917  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 17.77s
Memory:		 1006MB (+0MB)
UNKNOWN
Iteration Time:	 17.84s

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         : 892.633s (Solving: 852.81s 1st Model: 0.01s Unsat: 1.84s)
CPU Time     : 892.860s

Choices      : 12798142 (Domain: 12598993)
Conflicts    : 1042243  (Analyzed: 1042240)
Restarts     : 3701     (Average: 281.61 Last: 377)
Model-Level  : 343.0   
Problems     : 42       (Average Length: 62.36 Splits: 0)
Lemmas       : 1042240  (Deleted: 986757)
  Binary     : 22673    (Ratio:   2.18%)
  Ternary    : 5228     (Ratio:   0.50%)
  Conflict   : 1042240  (Average Length:  648.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1042240  (Average: 11.53 Max: 1151 Sum: 12017609)
  Executed   : 1042148  (Average: 11.53 Max: 1151 Sum: 12014735 Ratio:  99.98%)
  Bounded    : 92       (Average: 31.24 Max: 107 Sum:   2874 Ratio:   0.02%)

Rules        : 160590   (Original: 145095)
Atoms        : 77282   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 821551   (Eliminated: 17109 Frozen: 804442)
Constraints  : 6020889  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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


