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-12.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-12.pddl
Parsing...
Parsing: [0.050s CPU, 0.129s wall-clock]
Normalizing task... [0.000s CPU, 0.004s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.014s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.060s CPU, 0.062s wall-clock]
Preparing model... [0.030s CPU, 0.033s wall-clock]
Generated 115 rules.
Computing model... [0.460s CPU, 0.457s wall-clock]
2784 relevant atoms
2893 auxiliary atoms
5677 final queue length
9793 total queue pushes
Completing instantiation... [0.870s CPU, 0.862s wall-clock]
Instantiating: [1.440s CPU, 1.434s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.130s CPU, 0.132s wall-clock]
Checking invariant weight... [0.010s CPU, 0.001s wall-clock]
Instantiating groups... [0.000s CPU, 0.008s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
Choosing groups...
292 uncovered facts
Choosing groups: [0.000s CPU, 0.002s wall-clock]
Building translation key... [0.010s CPU, 0.011s wall-clock]
Computing fact groups: [0.180s CPU, 0.176s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.002s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.005s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.003s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.050s CPU, 0.048s wall-clock]
Translating task: [0.880s CPU, 0.887s wall-clock]
3276 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
3 propositions removed
Detecting unreachable propositions: [0.440s CPU, 0.437s wall-clock]
Reordering and filtering variables...
295 of 295 variables necessary.
14 of 17 mutex groups necessary.
1958 of 1958 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.300s CPU, 0.303s wall-clock]
Translator variables: 295
Translator derived variables: 0
Translator facts: 617
Translator goal facts: 12
Translator mutex groups: 14
Translator total mutex groups size: 42
Translator operators: 1958
Translator axioms: 0
Translator task size: 18764
Translator peak memory: 47052 KB
Writing output... [0.350s CPU, 0.382s wall-clock]
Done! [3.690s CPU, 3.800s wall-clock]
planner.py version 0.0.1

Time:	 0.75s
Memory: 101MB

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

Models       : 0
Calls        : 1
Time         : 0.881s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.756s

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

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

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

Choices      : 110      (Domain: 102)
Conflicts    : 54       (Analyzed: 53)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 53       (Deleted: 0)
  Binary     : 5        (Ratio:   9.43%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 53       (Average Length:   19.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 53       (Average:  2.09 Max:  10 Sum:    111)
  Executed   : 52       (Average:  2.08 Max:  10 Sum:    110 Ratio:  99.10%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   0.90%)

Rules        : 54149   
Atoms        : 54149   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 14506    (Eliminated:    0 Frozen: 14506)
Constraints  : 48947    (Binary:  95.2% Ternary:   3.3% Other:   1.4%)

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

[endof: stats after solve call]
Solving Time:	 0.18s
Memory:		 176MB (+3MB)
UNSAT
Iteration Time:	 0.53s

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

Models       : 1+
Calls        : 3
Time         : 2.099s (Solving: 0.01s 1st Model: 0.01s Unsat: 0.01s)
CPU Time     : 1.976s

Choices      : 739      (Domain: 698)
Conflicts    : 73       (Analyzed: 72)
Restarts     : 0       
Model-Level  : 276.0   
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 72       (Deleted: 0)
  Binary     : 10       (Ratio:  13.89%)
  Ternary    : 2        (Ratio:   2.78%)
  Conflict   : 72       (Average Length:   18.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 72       (Average:  6.61 Max: 111 Sum:    476)
  Executed   : 71       (Average:  6.60 Max: 111 Sum:    475 Ratio:  99.79%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   0.21%)

Rules        : 54149   
Atoms        : 54149   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 31792    (Eliminated:    0 Frozen: 31792)
Constraints  : 190267   (Binary:  95.6% Ternary:   3.2% Other:   1.2%)

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

[endof: stats after solve call]
Solving Time:	 0.30s
Memory:		 192MB (+9MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 0.88s
Memory:		 221MB (+29MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 4
Time         : 2.899s (Solving: 0.39s 1st Model: 0.01s Unsat: 0.38s)
CPU Time     : 2.776s

Choices      : 12079    (Domain: 9572)
Conflicts    : 1369     (Analyzed: 1367)
Restarts     : 7        (Average: 195.29 Last: 92)
Model-Level  : 276.0   
Problems     : 4        (Average Length: 8.25 Splits: 0)
Lemmas       : 1367     (Deleted: 0)
  Binary     : 354      (Ratio:  25.90%)
  Ternary    : 212      (Ratio:  15.51%)
  Conflict   : 1367     (Average Length:   26.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1367     (Average:  8.60 Max: 123 Sum:  11752)
  Executed   : 1360     (Average:  8.55 Max: 123 Sum:  11690 Ratio:  99.47%)
  Bounded    : 7        (Average:  8.86 Max:  12 Sum:     62 Ratio:   0.53%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 49760    (Eliminated: 13782 Frozen: 35978)
Constraints  : 273156   (Binary:  88.4% Ternary:   7.7% Other:   3.8%)

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

[endof: stats after solve call]
Solving Time:	 0.59s
Memory:		 218MB (+-3MB)
UNSAT
Iteration Time:	 2.16s

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

Models       : 0+
Calls        : 5
Time         : 15.279s (Solving: 11.59s 1st Model: 0.01s Unsat: 0.38s)
CPU Time     : 15.160s

Choices      : 184457   (Domain: 139904)
Conflicts    : 29523    (Analyzed: 29521)
Restarts     : 107      (Average: 275.90 Last: 202)
Model-Level  : 276.0   
Problems     : 5        (Average Length: 10.00 Splits: 0)
Lemmas       : 29521    (Deleted: 16909)
  Binary     : 1546     (Ratio:   5.24%)
  Ternary    : 458      (Ratio:   1.55%)
  Conflict   : 29521    (Average Length:  451.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 29521    (Average:  6.06 Max: 211 Sum: 178929)
  Executed   : 29507    (Average:  6.06 Max: 211 Sum: 178767 Ratio:  99.91%)
  Bounded    : 14       (Average: 11.57 Max:  17 Sum:    162 Ratio:   0.09%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 82706    (Eliminated: 13782 Frozen: 57194)
Constraints  : 516868   (Binary:  89.9% Ternary:   7.3% Other:   2.9%)

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

[endof: stats after solve call]
Solving Time:	 11.76s
Memory:		 246MB (+22MB)
UNKNOWN
Iteration Time:	 12.39s

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

Models       : 0+
Calls        : 6
Time         : 31.226s (Solving: 26.32s 1st Model: 0.01s Unsat: 0.38s)
CPU Time     : 31.112s

Choices      : 381509   (Domain: 315941)
Conflicts    : 57687    (Analyzed: 57685)
Restarts     : 207      (Average: 278.67 Last: 202)
Model-Level  : 276.0   
Problems     : 6        (Average Length: 12.00 Splits: 0)
Lemmas       : 57685    (Deleted: 42512)
  Binary     : 2658     (Ratio:   4.61%)
  Ternary    : 770      (Ratio:   1.33%)
  Conflict   : 57685    (Average Length:  660.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 57685    (Average:  6.35 Max: 577 Sum: 366568)
  Executed   : 57666    (Average:  6.35 Max: 577 Sum: 366308 Ratio:  99.93%)
  Bounded    : 19       (Average: 13.68 Max:  22 Sum:    260 Ratio:   0.07%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 115652   (Eliminated: 13782 Frozen: 90140)
Constraints  : 762604   (Binary:  90.4% Ternary:   7.1% Other:   2.5%)

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

[endof: stats after solve call]
Solving Time:	 15.31s
Memory:		 271MB (+22MB)
UNKNOWN
Iteration Time:	 15.97s

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

Models       : 0+
Calls        : 7
Time         : 51.214s (Solving: 44.99s 1st Model: 0.01s Unsat: 0.38s)
CPU Time     : 51.108s

Choices      : 694787   (Domain: 616899)
Conflicts    : 85876    (Analyzed: 85874)
Restarts     : 307      (Average: 279.72 Last: 202)
Model-Level  : 276.0   
Problems     : 7        (Average Length: 14.14 Splits: 0)
Lemmas       : 85874    (Deleted: 69068)
  Binary     : 3820     (Ratio:   4.45%)
  Ternary    : 1081     (Ratio:   1.26%)
  Conflict   : 85874    (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    : 85874    (Average:  7.78 Max: 577 Sum: 668202)
  Executed   : 85846    (Average:  7.78 Max: 577 Sum: 667711 Ratio:  99.93%)
  Bounded    : 28       (Average: 17.54 Max:  27 Sum:    491 Ratio:   0.07%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 148598   (Eliminated: 13782 Frozen: 123086)
Constraints  : 1012161  (Binary:  90.6% Ternary:   7.1% Other:   2.3%)

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

[endof: stats after solve call]
Solving Time:	 19.27s
Memory:		 362MB (+83MB)
UNKNOWN
Iteration Time:	 20.00s

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

Models       : 0+
Calls        : 8
Time         : 72.705s (Solving: 65.22s 1st Model: 0.01s Unsat: 0.38s)
CPU Time     : 72.608s

Choices      : 1043954  (Domain: 955505)
Conflicts    : 114062   (Analyzed: 114060)
Restarts     : 407      (Average: 280.25 Last: 202)
Model-Level  : 276.0   
Problems     : 8        (Average Length: 16.38 Splits: 0)
Lemmas       : 114060   (Deleted: 95290)
  Binary     : 5077     (Ratio:   4.45%)
  Ternary    : 1258     (Ratio:   1.10%)
  Conflict   : 114060   (Average Length:  585.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 114060   (Average:  8.79 Max: 577 Sum: 1002664)
  Executed   : 114029   (Average:  8.79 Max: 577 Sum: 1002080 Ratio:  99.94%)
  Bounded    : 31       (Average: 18.84 Max:  32 Sum:    584 Ratio:   0.06%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 181544   (Eliminated: 13782 Frozen: 156032)
Constraints  : 1243776  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 20.83s
Memory:		 392MB (+26MB)
UNKNOWN
Iteration Time:	 21.51s

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         : 73.291s (Solving: 65.76s 1st Model: 0.01s Unsat: 0.92s)
CPU Time     : 73.192s

Choices      : 1050338  (Domain: 961889)
Conflicts    : 114741   (Analyzed: 114738)
Restarts     : 412      (Average: 278.49 Last: 202)
Model-Level  : 276.0   
Problems     : 9        (Average Length: 18.11 Splits: 0)
Lemmas       : 114738   (Deleted: 95290)
  Binary     : 5121     (Ratio:   4.46%)
  Ternary    : 1269     (Ratio:   1.11%)
  Conflict   : 114738   (Average Length:  584.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 114738   (Average:  8.79 Max: 577 Sum: 1008976)
  Executed   : 114706   (Average:  8.79 Max: 577 Sum: 1008391 Ratio:  99.94%)
  Bounded    : 32       (Average: 18.28 Max:  32 Sum:    585 Ratio:   0.06%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 181544   (Eliminated: 13782 Frozen: 167762)
Constraints  : 1243749  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 0.57s
Memory:		 392MB (+0MB)
UNSAT
Iteration Time:	 0.59s

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         : 83.439s (Solving: 75.85s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 83.344s

Choices      : 1121396  (Domain: 1032947)
Conflicts    : 124306   (Analyzed: 124302)
Restarts     : 452      (Average: 275.00 Last: 202)
Model-Level  : 276.0   
Problems     : 10       (Average Length: 19.50 Splits: 0)
Lemmas       : 124302   (Deleted: 95290)
  Binary     : 5273     (Ratio:   4.24%)
  Ternary    : 1301     (Ratio:   1.05%)
  Conflict   : 124302   (Average Length:  574.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 124302   (Average:  8.68 Max: 577 Sum: 1078700)
  Executed   : 124269   (Average:  8.67 Max: 577 Sum: 1078114 Ratio:  99.95%)
  Bounded    : 33       (Average: 17.76 Max:  32 Sum:    586 Ratio:   0.05%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 181544   (Eliminated: 13782 Frozen: 167762)
Constraints  : 1243749  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 10.13s
Memory:		 392MB (+0MB)
UNSAT
Iteration Time:	 10.15s

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         : 105.022s (Solving: 97.39s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 104.936s

Choices      : 1363748  (Domain: 1263160)
Conflicts    : 152451   (Analyzed: 152447)
Restarts     : 552      (Average: 276.17 Last: 202)
Model-Level  : 276.0   
Problems     : 11       (Average Length: 20.64 Splits: 0)
Lemmas       : 152447   (Deleted: 131101)
  Binary     : 6249     (Ratio:   4.10%)
  Ternary    : 1448     (Ratio:   0.95%)
  Conflict   : 152447   (Average Length:  625.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 152447   (Average:  8.57 Max: 577 Sum: 1306411)
  Executed   : 152414   (Average:  8.57 Max: 577 Sum: 1305825 Ratio:  99.96%)
  Bounded    : 33       (Average: 17.76 Max:  32 Sum:    586 Ratio:   0.04%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 181544   (Eliminated: 13782 Frozen: 167762)
Constraints  : 1243749  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 21.57s
Memory:		 392MB (+0MB)
UNKNOWN
Iteration Time:	 21.59s

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         : 124.434s (Solving: 116.75s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 124.360s

Choices      : 1606990  (Domain: 1502539)
Conflicts    : 180631   (Analyzed: 180627)
Restarts     : 652      (Average: 277.04 Last: 207)
Model-Level  : 276.0   
Problems     : 12       (Average Length: 21.58 Splits: 0)
Lemmas       : 180627   (Deleted: 158695)
  Binary     : 7064     (Ratio:   3.91%)
  Ternary    : 1581     (Ratio:   0.88%)
  Conflict   : 180627   (Average Length:  581.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 180627   (Average:  8.51 Max: 577 Sum: 1537889)
  Executed   : 180591   (Average:  8.51 Max: 577 Sum: 1537207 Ratio:  99.96%)
  Bounded    : 36       (Average: 18.94 Max:  32 Sum:    682 Ratio:   0.04%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 181544   (Eliminated: 13782 Frozen: 167762)
Constraints  : 1243749  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 19.40s
Memory:		 392MB (+0MB)
UNKNOWN
Iteration Time:	 19.42s

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

Models       : 0+
Calls        : 13
Time         : 142.177s (Solving: 133.20s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 142.112s

Choices      : 1855571  (Domain: 1745430)
Conflicts    : 208863   (Analyzed: 208859)
Restarts     : 752      (Average: 277.74 Last: 207)
Model-Level  : 276.0   
Problems     : 13       (Average Length: 22.77 Splits: 0)
Lemmas       : 208859   (Deleted: 185723)
  Binary     : 7743     (Ratio:   3.71%)
  Ternary    : 1656     (Ratio:   0.79%)
  Conflict   : 208859   (Average Length:  585.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 208859   (Average:  8.49 Max: 577 Sum: 1772553)
  Executed   : 208822   (Average:  8.48 Max: 577 Sum: 1771834 Ratio:  99.96%)
  Bounded    : 37       (Average: 19.43 Max:  37 Sum:    719 Ratio:   0.04%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 214490   (Eliminated: 13782 Frozen: 188978)
Constraints  : 1493293  (Binary:  90.9% Ternary:   7.0% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 17.05s
Memory:		 413MB (+20MB)
UNKNOWN
Iteration Time:	 17.76s

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

Models       : 0+
Calls        : 14
Time         : 164.190s (Solving: 153.88s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 164.136s

Choices      : 2175422  (Domain: 2059750)
Conflicts    : 237062   (Analyzed: 237058)
Restarts     : 852      (Average: 278.24 Last: 207)
Model-Level  : 276.0   
Problems     : 14       (Average Length: 24.14 Splits: 0)
Lemmas       : 237058   (Deleted: 212611)
  Binary     : 8358     (Ratio:   3.53%)
  Ternary    : 1728     (Ratio:   0.73%)
  Conflict   : 237058   (Average Length:  613.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 237058   (Average:  8.76 Max: 577 Sum: 2076896)
  Executed   : 237020   (Average:  8.76 Max: 577 Sum: 2076135 Ratio:  99.96%)
  Bounded    : 38       (Average: 20.03 Max:  42 Sum:    761 Ratio:   0.04%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 247436   (Eliminated: 13782 Frozen: 221924)
Constraints  : 1742864  (Binary:  90.9% Ternary:   6.9% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 21.29s
Memory:		 437MB (+23MB)
UNKNOWN
Iteration Time:	 22.03s

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

Models       : 0+
Calls        : 15
Time         : 182.444s (Solving: 170.82s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 182.396s

Choices      : 2392794  (Domain: 2275715)
Conflicts    : 265276   (Analyzed: 265272)
Restarts     : 952      (Average: 278.65 Last: 207)
Model-Level  : 276.0   
Problems     : 15       (Average Length: 25.67 Splits: 0)
Lemmas       : 265272   (Deleted: 240046)
  Binary     : 8582     (Ratio:   3.24%)
  Ternary    : 1768     (Ratio:   0.67%)
  Conflict   : 265272   (Average Length:  602.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 265272   (Average:  8.59 Max: 577 Sum: 2279232)
  Executed   : 265232   (Average:  8.59 Max: 577 Sum: 2278377 Ratio:  99.96%)
  Bounded    : 40       (Average: 21.38 Max:  47 Sum:    855 Ratio:   0.04%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 280382   (Eliminated: 13782 Frozen: 254870)
Constraints  : 1992435  (Binary:  91.0% Ternary:   6.9% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 17.54s
Memory:		 471MB (+34MB)
UNKNOWN
Iteration Time:	 18.27s

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

Models       : 0+
Calls        : 16
Time         : 202.890s (Solving: 189.85s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 202.848s

Choices      : 2746489  (Domain: 2623941)
Conflicts    : 293471   (Analyzed: 293467)
Restarts     : 1052     (Average: 278.96 Last: 211)
Model-Level  : 276.0   
Problems     : 16       (Average Length: 27.31 Splits: 0)
Lemmas       : 293467   (Deleted: 267557)
  Binary     : 8914     (Ratio:   3.04%)
  Ternary    : 1834     (Ratio:   0.62%)
  Conflict   : 293467   (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    : 293467   (Average:  8.90 Max: 577 Sum: 2612162)
  Executed   : 293426   (Average:  8.90 Max: 577 Sum: 2611255 Ratio:  99.97%)
  Bounded    : 41       (Average: 22.12 Max:  52 Sum:    907 Ratio:   0.03%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 313328   (Eliminated: 13782 Frozen: 287816)
Constraints  : 2241993  (Binary:  91.0% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.66s
Memory:		 490MB (+19MB)
UNKNOWN
Iteration Time:	 20.47s

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

Models       : 0+
Calls        : 17
Time         : 223.299s (Solving: 208.72s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 223.264s

Choices      : 3125336  (Domain: 2995736)
Conflicts    : 321677   (Analyzed: 321673)
Restarts     : 1152     (Average: 279.23 Last: 211)
Model-Level  : 276.0   
Problems     : 17       (Average Length: 29.06 Splits: 0)
Lemmas       : 321673   (Deleted: 294940)
  Binary     : 9317     (Ratio:   2.90%)
  Ternary    : 1870     (Ratio:   0.58%)
  Conflict   : 321673   (Average Length:  627.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 321673   (Average:  9.23 Max: 577 Sum: 2968375)
  Executed   : 321632   (Average:  9.23 Max: 577 Sum: 2967468 Ratio:  99.97%)
  Bounded    : 41       (Average: 22.12 Max:  52 Sum:    907 Ratio:   0.03%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 346274   (Eliminated: 13782 Frozen: 320762)
Constraints  : 2491564  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.49s
Memory:		 525MB (+22MB)
UNKNOWN
Iteration Time:	 20.43s

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

Models       : 0+
Calls        : 18
Time         : 243.139s (Solving: 227.19s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 243.116s

Choices      : 3550930  (Domain: 3418323)
Conflicts    : 349870   (Analyzed: 349866)
Restarts     : 1252     (Average: 279.45 Last: 211)
Model-Level  : 276.0   
Problems     : 18       (Average Length: 30.89 Splits: 0)
Lemmas       : 349866   (Deleted: 322237)
  Binary     : 9713     (Ratio:   2.78%)
  Ternary    : 1977     (Ratio:   0.57%)
  Conflict   : 349866   (Average Length:  631.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 349866   (Average:  9.64 Max: 577 Sum: 3373773)
  Executed   : 349824   (Average:  9.64 Max: 577 Sum: 3372804 Ratio:  99.97%)
  Bounded    : 42       (Average: 23.07 Max:  62 Sum:    969 Ratio:   0.03%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 379220   (Eliminated: 13782 Frozen: 353708)
Constraints  : 2741149  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.09s
Memory:		 574MB (+49MB)
UNKNOWN
Iteration Time:	 19.86s

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

Models       : 0+
Calls        : 19
Time         : 263.175s (Solving: 245.84s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 263.160s

Choices      : 3935493  (Domain: 3798311)
Conflicts    : 378060   (Analyzed: 378056)
Restarts     : 1352     (Average: 279.63 Last: 211)
Model-Level  : 276.0   
Problems     : 19       (Average Length: 32.79 Splits: 0)
Lemmas       : 378056   (Deleted: 349625)
  Binary     : 10037    (Ratio:   2.65%)
  Ternary    : 2017     (Ratio:   0.53%)
  Conflict   : 378056   (Average Length:  632.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 378056   (Average:  9.89 Max: 577 Sum: 3737114)
  Executed   : 378013   (Average:  9.88 Max: 577 Sum: 3736078 Ratio:  99.97%)
  Bounded    : 43       (Average: 24.09 Max:  67 Sum:   1036 Ratio:   0.03%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 412166   (Eliminated: 13782 Frozen: 386654)
Constraints  : 2990720  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.28s
Memory:		 588MB (+14MB)
UNKNOWN
Iteration Time:	 20.05s

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

Models       : 0+
Calls        : 20
Time         : 288.651s (Solving: 269.90s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 288.648s

Choices      : 4563189  (Domain: 4417043)
Conflicts    : 406254   (Analyzed: 406250)
Restarts     : 1452     (Average: 279.79 Last: 211)
Model-Level  : 276.0   
Problems     : 20       (Average Length: 34.75 Splits: 0)
Lemmas       : 406250   (Deleted: 376595)
  Binary     : 10630    (Ratio:   2.62%)
  Ternary    : 2154     (Ratio:   0.53%)
  Conflict   : 406250   (Average Length:  663.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 406250   (Average: 10.67 Max: 837 Sum: 4335463)
  Executed   : 406207   (Average: 10.67 Max: 837 Sum: 4334427 Ratio:  99.98%)
  Bounded    : 43       (Average: 24.09 Max:  67 Sum:   1036 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 445112   (Eliminated: 13782 Frozen: 419600)
Constraints  : 3240291  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 24.70s
Memory:		 609MB (+21MB)
UNKNOWN
Iteration Time:	 25.49s

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

Models       : 0+
Calls        : 21
Time         : 311.918s (Solving: 291.74s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 311.924s

Choices      : 5112449  (Domain: 4961019)
Conflicts    : 434488   (Analyzed: 434484)
Restarts     : 1552     (Average: 279.95 Last: 211)
Model-Level  : 276.0   
Problems     : 21       (Average Length: 36.76 Splits: 0)
Lemmas       : 434484   (Deleted: 404102)
  Binary     : 10976    (Ratio:   2.53%)
  Ternary    : 2194     (Ratio:   0.50%)
  Conflict   : 434484   (Average Length:  673.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 434484   (Average: 11.18 Max: 837 Sum: 4858342)
  Executed   : 434440   (Average: 11.18 Max: 837 Sum: 4857229 Ratio:  99.98%)
  Bounded    : 44       (Average: 25.30 Max:  77 Sum:   1113 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 478058   (Eliminated: 13782 Frozen: 452546)
Constraints  : 3489876  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 22.48s
Memory:		 631MB (+22MB)
UNKNOWN
Iteration Time:	 23.29s

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

Models       : 0+
Calls        : 22
Time         : 338.285s (Solving: 316.66s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 338.300s

Choices      : 5799831  (Domain: 5639436)
Conflicts    : 462686   (Analyzed: 462682)
Restarts     : 1652     (Average: 280.07 Last: 211)
Model-Level  : 276.0   
Problems     : 22       (Average Length: 38.82 Splits: 0)
Lemmas       : 462682   (Deleted: 431541)
  Binary     : 11386    (Ratio:   2.46%)
  Ternary    : 2245     (Ratio:   0.49%)
  Conflict   : 462682   (Average Length:  690.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 462682   (Average: 11.91 Max: 837 Sum: 5512792)
  Executed   : 462638   (Average: 11.91 Max: 837 Sum: 5511679 Ratio:  99.98%)
  Bounded    : 44       (Average: 25.30 Max:  77 Sum:   1113 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 485492)
Constraints  : 3739448  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 25.57s
Memory:		 654MB (+23MB)
UNKNOWN
Iteration Time:	 26.39s

Iteration 22
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), (22,110,0,True)]
Grounded Until:	 80
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 23
Time         : 357.059s (Solving: 335.32s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 357.080s

Choices      : 5964476  (Domain: 5803475)
Conflicts    : 490911   (Analyzed: 490907)
Restarts     : 1752     (Average: 280.20 Last: 211)
Model-Level  : 276.0   
Problems     : 23       (Average Length: 40.70 Splits: 0)
Lemmas       : 490907   (Deleted: 458856)
  Binary     : 11636    (Ratio:   2.37%)
  Ternary    : 2276     (Ratio:   0.46%)
  Conflict   : 490907   (Average Length:  691.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 490907   (Average: 11.54 Max: 837 Sum: 5667129)
  Executed   : 490862   (Average: 11.54 Max: 837 Sum: 5665934 Ratio:  99.98%)
  Bounded    : 45       (Average: 26.56 Max:  82 Sum:   1195 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3739448  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.74s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 18.78s

Iteration 23
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), (22,110,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 24
Time         : 376.283s (Solving: 354.43s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 376.312s

Choices      : 6112639  (Domain: 5951011)
Conflicts    : 519128   (Analyzed: 519124)
Restarts     : 1852     (Average: 280.30 Last: 211)
Model-Level  : 276.0   
Problems     : 24       (Average Length: 42.42 Splits: 0)
Lemmas       : 519124   (Deleted: 486264)
  Binary     : 11874    (Ratio:   2.29%)
  Ternary    : 2338     (Ratio:   0.45%)
  Conflict   : 519124   (Average Length:  695.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 519124   (Average: 11.18 Max: 837 Sum: 5801888)
  Executed   : 519079   (Average: 11.17 Max: 837 Sum: 5800693 Ratio:  99.98%)
  Bounded    : 45       (Average: 26.56 Max:  82 Sum:   1195 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3739431  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

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

Iteration 24
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), (22,110,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 25
Time         : 393.488s (Solving: 371.50s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 393.524s

Choices      : 6296972  (Domain: 6134146)
Conflicts    : 547378   (Analyzed: 547374)
Restarts     : 1952     (Average: 280.42 Last: 211)
Model-Level  : 276.0   
Problems     : 25       (Average Length: 44.00 Splits: 0)
Lemmas       : 547374   (Deleted: 513714)
  Binary     : 12155    (Ratio:   2.22%)
  Ternary    : 2396     (Ratio:   0.44%)
  Conflict   : 547374   (Average Length:  689.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 547374   (Average: 10.91 Max: 837 Sum: 5972838)
  Executed   : 547325   (Average: 10.91 Max: 837 Sum: 5971315 Ratio:  99.97%)
  Bounded    : 49       (Average: 31.08 Max:  82 Sum:   1523 Ratio:   0.03%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3739431  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 17.15s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 17.22s

Iteration 25
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), (22,110,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 26
Time         : 415.190s (Solving: 393.06s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 415.236s

Choices      : 6585886  (Domain: 6417250)
Conflicts    : 575590   (Analyzed: 575586)
Restarts     : 2052     (Average: 280.50 Last: 211)
Model-Level  : 276.0   
Problems     : 26       (Average Length: 45.46 Splits: 0)
Lemmas       : 575586   (Deleted: 540934)
  Binary     : 12696    (Ratio:   2.21%)
  Ternary    : 2515     (Ratio:   0.44%)
  Conflict   : 575586   (Average Length:  708.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 575586   (Average: 10.84 Max: 837 Sum: 6241507)
  Executed   : 575536   (Average: 10.84 Max: 837 Sum: 6239902 Ratio:  99.97%)
  Bounded    : 50       (Average: 32.10 Max:  82 Sum:   1605 Ratio:   0.03%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3739378  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 21.66s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 21.71s

Iteration 26
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), (22,110,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 27
Time         : 434.967s (Solving: 412.73s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 435.020s

Choices      : 6800436  (Domain: 6631264)
Conflicts    : 603829   (Analyzed: 603825)
Restarts     : 2152     (Average: 280.59 Last: 211)
Model-Level  : 276.0   
Problems     : 27       (Average Length: 46.81 Splits: 0)
Lemmas       : 603825   (Deleted: 568435)
  Binary     : 12860    (Ratio:   2.13%)
  Ternary    : 2542     (Ratio:   0.42%)
  Conflict   : 603825   (Average Length:  710.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 603825   (Average: 10.66 Max: 837 Sum: 6439190)
  Executed   : 603774   (Average: 10.66 Max: 837 Sum: 6437503 Ratio:  99.97%)
  Bounded    : 51       (Average: 33.08 Max:  82 Sum:   1687 Ratio:   0.03%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3739364  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.74s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 19.79s

Iteration 27
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), (22,110,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 28
Time         : 455.679s (Solving: 433.30s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 455.740s

Choices      : 7068522  (Domain: 6898484)
Conflicts    : 632092   (Analyzed: 632088)
Restarts     : 2252     (Average: 280.68 Last: 211)
Model-Level  : 276.0   
Problems     : 28       (Average Length: 48.07 Splits: 0)
Lemmas       : 632088   (Deleted: 596016)
  Binary     : 13095    (Ratio:   2.07%)
  Ternary    : 2585     (Ratio:   0.41%)
  Conflict   : 632088   (Average Length:  712.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 632088   (Average: 10.58 Max: 837 Sum: 6688589)
  Executed   : 632037   (Average: 10.58 Max: 837 Sum: 6686902 Ratio:  99.97%)
  Bounded    : 51       (Average: 33.08 Max:  82 Sum:   1687 Ratio:   0.03%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3739352  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

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

Iteration 28
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), (22,110,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 29
Time         : 478.726s (Solving: 456.21s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 478.800s

Choices      : 7533684  (Domain: 7357563)
Conflicts    : 660336   (Analyzed: 660332)
Restarts     : 2352     (Average: 280.75 Last: 211)
Model-Level  : 276.0   
Problems     : 29       (Average Length: 49.24 Splits: 0)
Lemmas       : 660332   (Deleted: 622909)
  Binary     : 13794    (Ratio:   2.09%)
  Ternary    : 2772     (Ratio:   0.42%)
  Conflict   : 660332   (Average Length:  723.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 660332   (Average: 10.80 Max: 837 Sum: 7131194)
  Executed   : 660281   (Average: 10.80 Max: 837 Sum: 7129507 Ratio:  99.98%)
  Bounded    : 51       (Average: 33.08 Max:  82 Sum:   1687 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3739352  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 23.00s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 23.06s

Iteration 29
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), (22,110,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 30
Time         : 504.220s (Solving: 481.60s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 504.308s

Choices      : 7969018  (Domain: 7789220)
Conflicts    : 688519   (Analyzed: 688515)
Restarts     : 2452     (Average: 280.80 Last: 211)
Model-Level  : 276.0   
Problems     : 30       (Average Length: 50.33 Splits: 0)
Lemmas       : 688515   (Deleted: 649016)
  Binary     : 14283    (Ratio:   2.07%)
  Ternary    : 2914     (Ratio:   0.42%)
  Conflict   : 688515   (Average Length:  732.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 688515   (Average: 10.95 Max: 837 Sum: 7538235)
  Executed   : 688463   (Average: 10.95 Max: 837 Sum: 7536466 Ratio:  99.98%)
  Bounded    : 52       (Average: 34.02 Max:  82 Sum:   1769 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3739352  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 25.46s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 25.51s

Iteration 30
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), (22,110,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 31
Time         : 525.082s (Solving: 502.35s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 525.180s

Choices      : 8435320  (Domain: 8249988)
Conflicts    : 716745   (Analyzed: 716741)
Restarts     : 2552     (Average: 280.85 Last: 211)
Model-Level  : 276.0   
Problems     : 31       (Average Length: 51.35 Splits: 0)
Lemmas       : 716741   (Deleted: 677150)
  Binary     : 14858    (Ratio:   2.07%)
  Ternary    : 3063     (Ratio:   0.43%)
  Conflict   : 716741   (Average Length:  732.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 716741   (Average: 11.13 Max: 837 Sum: 7979659)
  Executed   : 716689   (Average: 11.13 Max: 837 Sum: 7977890 Ratio:  99.98%)
  Bounded    : 52       (Average: 34.02 Max:  82 Sum:   1769 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3739336  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 20.83s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 20.87s

Iteration 31
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), (22,110,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 32
Time         : 552.150s (Solving: 529.30s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 552.256s

Choices      : 8867109  (Domain: 8679142)
Conflicts    : 745001   (Analyzed: 744997)
Restarts     : 2652     (Average: 280.92 Last: 211)
Model-Level  : 276.0   
Problems     : 32       (Average Length: 52.31 Splits: 0)
Lemmas       : 744997   (Deleted: 704400)
  Binary     : 15277    (Ratio:   2.05%)
  Ternary    : 3138     (Ratio:   0.42%)
  Conflict   : 744997   (Average Length:  748.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 744997   (Average: 11.24 Max: 837 Sum: 8377465)
  Executed   : 744945   (Average: 11.24 Max: 837 Sum: 8375696 Ratio:  99.98%)
  Bounded    : 52       (Average: 34.02 Max:  82 Sum:   1769 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3739336  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 27.04s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 27.08s

Iteration 32
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), (22,110,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 33
Time         : 574.670s (Solving: 551.71s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 574.784s

Choices      : 9133186  (Domain: 8944966)
Conflicts    : 773292   (Analyzed: 773288)
Restarts     : 2752     (Average: 280.99 Last: 211)
Model-Level  : 276.0   
Problems     : 33       (Average Length: 53.21 Splits: 0)
Lemmas       : 773288   (Deleted: 731921)
  Binary     : 15552    (Ratio:   2.01%)
  Ternary    : 3170     (Ratio:   0.41%)
  Conflict   : 773288   (Average Length:  746.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 773288   (Average: 11.15 Max: 837 Sum: 8620447)
  Executed   : 773234   (Average: 11.15 Max: 837 Sum: 8618514 Ratio:  99.98%)
  Bounded    : 54       (Average: 35.80 Max:  82 Sum:   1933 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3739336  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 22.49s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 22.53s

Iteration 33
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), (22,110,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 34
Time         : 600.586s (Solving: 577.51s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 600.712s

Choices      : 9672206  (Domain: 9481697)
Conflicts    : 801502   (Analyzed: 801498)
Restarts     : 2852     (Average: 281.03 Last: 211)
Model-Level  : 276.0   
Problems     : 34       (Average Length: 54.06 Splits: 0)
Lemmas       : 801498   (Deleted: 759188)
  Binary     : 15979    (Ratio:   1.99%)
  Ternary    : 3241     (Ratio:   0.40%)
  Conflict   : 801498   (Average Length:  758.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 801498   (Average: 11.38 Max: 837 Sum: 9122532)
  Executed   : 801444   (Average: 11.38 Max: 837 Sum: 9120599 Ratio:  99.98%)
  Bounded    : 54       (Average: 35.80 Max:  82 Sum:   1933 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3739308  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 25.88s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 25.93s

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

Models       : 0+
Calls        : 35
Time         : 621.304s (Solving: 596.67s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 621.436s

Choices      : 9815845  (Domain: 9625325)
Conflicts    : 829705   (Analyzed: 829701)
Restarts     : 2952     (Average: 281.06 Last: 211)
Model-Level  : 276.0   
Problems     : 35       (Average Length: 55.00 Splits: 0)
Lemmas       : 829701   (Deleted: 787086)
  Binary     : 16045    (Ratio:   1.93%)
  Ternary    : 3254     (Ratio:   0.39%)
  Conflict   : 829701   (Average Length:  748.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 829701   (Average: 11.15 Max: 837 Sum: 9247443)
  Executed   : 829646   (Average: 11.14 Max: 837 Sum: 9245423 Ratio:  99.98%)
  Bounded    : 55       (Average: 36.73 Max:  87 Sum:   2020 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 543950   (Eliminated: 13782 Frozen: 518438)
Constraints  : 3988893  (Binary:  91.1% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.82s
Memory:		 674MB (+20MB)
UNKNOWN
Iteration Time:	 20.74s

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

Models       : 0+
Calls        : 36
Time         : 642.017s (Solving: 615.88s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 642.160s

Choices      : 10005283 (Domain: 9814332)
Conflicts    : 857918   (Analyzed: 857914)
Restarts     : 3052     (Average: 281.10 Last: 211)
Model-Level  : 276.0   
Problems     : 36       (Average Length: 56.03 Splits: 0)
Lemmas       : 857914   (Deleted: 814913)
  Binary     : 16151    (Ratio:   1.88%)
  Ternary    : 3277     (Ratio:   0.38%)
  Conflict   : 857914   (Average Length:  739.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 857914   (Average: 10.97 Max: 837 Sum: 9414276)
  Executed   : 857858   (Average: 10.97 Max: 837 Sum: 9412164 Ratio:  99.98%)
  Bounded    : 56       (Average: 37.71 Max:  92 Sum:   2112 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 576896   (Eliminated: 13782 Frozen: 551384)
Constraints  : 4238464  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.86s
Memory:		 740MB (+66MB)
UNKNOWN
Iteration Time:	 20.73s

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

Models       : 0+
Calls        : 37
Time         : 670.295s (Solving: 642.63s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 670.452s

Choices      : 10756320 (Domain: 10556948)
Conflicts    : 886149   (Analyzed: 886145)
Restarts     : 3152     (Average: 281.14 Last: 211)
Model-Level  : 276.0   
Problems     : 37       (Average Length: 57.14 Splits: 0)
Lemmas       : 886145   (Deleted: 841736)
  Binary     : 16859    (Ratio:   1.90%)
  Ternary    : 3336     (Ratio:   0.38%)
  Conflict   : 886145   (Average Length:  742.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 886145   (Average: 11.43 Max: 837 Sum: 10125643)
  Executed   : 886089   (Average: 11.42 Max: 837 Sum: 10123531 Ratio:  99.98%)
  Bounded    : 56       (Average: 37.71 Max:  92 Sum:   2112 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 609842   (Eliminated: 13782 Frozen: 584330)
Constraints  : 4488035  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 27.42s
Memory:		 758MB (+18MB)
UNKNOWN
Iteration Time:	 28.30s

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

Models       : 0+
Calls        : 38
Time         : 694.581s (Solving: 665.37s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 694.748s

Choices      : 11028901 (Domain: 10828920)
Conflicts    : 914322   (Analyzed: 914318)
Restarts     : 3252     (Average: 281.16 Last: 211)
Model-Level  : 276.0   
Problems     : 38       (Average Length: 58.32 Splits: 0)
Lemmas       : 914318   (Deleted: 869482)
  Binary     : 17094    (Ratio:   1.87%)
  Ternary    : 3361     (Ratio:   0.37%)
  Conflict   : 914318   (Average Length:  738.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 914318   (Average: 11.34 Max: 837 Sum: 10371075)
  Executed   : 914261   (Average: 11.34 Max: 837 Sum: 10368861 Ratio:  99.98%)
  Bounded    : 57       (Average: 38.84 Max: 102 Sum:   2214 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 642788   (Eliminated: 13782 Frozen: 617276)
Constraints  : 4737620  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.41s
Memory:		 763MB (+5MB)
UNKNOWN
Iteration Time:	 24.31s

Iteration 38
Queue:		 [(21,105,0,True), (22,110,0,True)]
Grounded Until:	 100
Expected Memory: 854.0MB
Grounding...	 [('step', [101]), ('step', [102]), ('step', [103]), ('step', [104]), ('step', [105]), ('check', [105])]
Grounding Time:	 0.48s
Memory:		 763MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 39
Time         : 718.164s (Solving: 687.40s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 718.340s

Choices      : 11254869 (Domain: 11054754)
Conflicts    : 942537   (Analyzed: 942533)
Restarts     : 3352     (Average: 281.19 Last: 211)
Model-Level  : 276.0   
Problems     : 39       (Average Length: 59.56 Splits: 0)
Lemmas       : 942533   (Deleted: 897130)
  Binary     : 17251    (Ratio:   1.83%)
  Ternary    : 3391     (Ratio:   0.36%)
  Conflict   : 942533   (Average Length:  735.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 942533   (Average: 11.21 Max: 879 Sum: 10568000)
  Executed   : 942476   (Average: 11.21 Max: 879 Sum: 10565786 Ratio:  99.98%)
  Bounded    : 57       (Average: 38.84 Max: 102 Sum:   2214 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 675734   (Eliminated: 13782 Frozen: 650222)
Constraints  : 4987192  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.70s
Memory:		 783MB (+20MB)
UNKNOWN
Iteration Time:	 23.60s

Iteration 39
Queue:		 [(22,110,0,True)]
Grounded Until:	 105
Expected Memory: 874.0MB
Grounding...	 [('step', [106]), ('step', [107]), ('step', [108]), ('step', [109]), ('step', [110]), ('check', [110])]
Grounding Time:	 0.49s
Memory:		 783MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 40
Time         : 741.323s (Solving: 708.95s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 741.512s

Choices      : 11475541 (Domain: 11275299)
Conflicts    : 970751   (Analyzed: 970747)
Restarts     : 3452     (Average: 281.21 Last: 211)
Model-Level  : 276.0   
Problems     : 40       (Average Length: 60.88 Splits: 0)
Lemmas       : 970747   (Deleted: 924748)
  Binary     : 17408    (Ratio:   1.79%)
  Ternary    : 3425     (Ratio:   0.35%)
  Conflict   : 970747   (Average Length:  735.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 970747   (Average: 11.08 Max: 915 Sum: 10760489)
  Executed   : 970690   (Average: 11.08 Max: 915 Sum: 10758275 Ratio:  99.98%)
  Bounded    : 57       (Average: 38.84 Max: 102 Sum:   2214 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 708680   (Eliminated: 13782 Frozen: 683168)
Constraints  : 5236777  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.24s
Memory:		 814MB (+31MB)
UNKNOWN
Iteration Time:	 23.18s

Iteration 40
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,True), (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,1,True), (23,115,0,True), (24,120,0,True)]
Grounded Until:	 110
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 41
Time         : 771.204s (Solving: 738.68s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 771.404s

Choices      : 11638212 (Domain: 11437970)
Conflicts    : 998900   (Analyzed: 998896)
Restarts     : 3552     (Average: 281.22 Last: 211)
Model-Level  : 276.0   
Problems     : 41       (Average Length: 62.12 Splits: 0)
Lemmas       : 998896   (Deleted: 952302)
  Binary     : 17566    (Ratio:   1.76%)
  Ternary    : 3450     (Ratio:   0.35%)
  Conflict   : 998896   (Average Length:  754.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 998896   (Average: 10.92 Max: 915 Sum: 10909743)
  Executed   : 998837   (Average: 10.92 Max: 915 Sum: 10907305 Ratio:  99.98%)
  Bounded    : 59       (Average: 41.32 Max: 112 Sum:   2438 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 708680   (Eliminated: 13782 Frozen: 694898)
Constraints  : 5236777  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

Memory Peak  : 942MB
Max. Length  : 110 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 29.84s
Memory:		 878MB (+64MB)
UNKNOWN
Iteration Time:	 29.90s

Iteration 41
Queue:		 [(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,True), (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,1,True), (23,115,0,True), (24,120,0,True)]
Grounded Until:	 110
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 42
Time         : 794.316s (Solving: 761.60s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 794.524s

Choices      : 11829675 (Domain: 11629433)
Conflicts    : 1027138  (Analyzed: 1027134)
Restarts     : 3652     (Average: 281.25 Last: 211)
Model-Level  : 276.0   
Problems     : 42       (Average Length: 63.31 Splits: 0)
Lemmas       : 1027134  (Deleted: 980016)
  Binary     : 17705    (Ratio:   1.72%)
  Ternary    : 3481     (Ratio:   0.34%)
  Conflict   : 1027134  (Average Length:  770.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1027134  (Average: 10.79 Max: 915 Sum: 11083937)
  Executed   : 1027074  (Average: 10.79 Max: 915 Sum: 11081387 Ratio:  99.98%)
  Bounded    : 60       (Average: 42.50 Max: 112 Sum:   2550 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 708680   (Eliminated: 13782 Frozen: 694898)
Constraints  : 5236756  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

Memory Peak  : 942MB
Max. Length  : 110 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 23.04s
Memory:		 878MB (+0MB)
UNKNOWN
Iteration Time:	 23.12s

Iteration 42
Queue:		 [(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,True), (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,1,True), (23,115,0,True), (24,120,0,True)]
Grounded Until:	 110
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 43
Time         : 818.715s (Solving: 785.83s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 818.932s

Choices      : 12042692 (Domain: 11842446)
Conflicts    : 1055383  (Analyzed: 1055379)
Restarts     : 3752     (Average: 281.28 Last: 211)
Model-Level  : 276.0   
Problems     : 43       (Average Length: 64.44 Splits: 0)
Lemmas       : 1055379  (Deleted: 1006590)
  Binary     : 17941    (Ratio:   1.70%)
  Ternary    : 3531     (Ratio:   0.33%)
  Conflict   : 1055379  (Average Length:  779.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1055379  (Average: 10.68 Max: 915 Sum: 11276066)
  Executed   : 1055319  (Average: 10.68 Max: 915 Sum: 11273516 Ratio:  99.98%)
  Bounded    : 60       (Average: 42.50 Max: 112 Sum:   2550 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 708680   (Eliminated: 13782 Frozen: 694898)
Constraints  : 5236742  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

Memory Peak  : 942MB
Max. Length  : 110 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 24.34s
Memory:		 878MB (+0MB)
UNKNOWN
Iteration Time:	 24.41s

Iteration 43
Queue:		 [(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,True), (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,1,True), (23,115,0,True), (24,120,0,True)]
Grounded Until:	 110
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 44
Time         : 841.129s (Solving: 808.09s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 841.356s

Choices      : 12288456 (Domain: 12085711)
Conflicts    : 1083573  (Analyzed: 1083569)
Restarts     : 3852     (Average: 281.30 Last: 211)
Model-Level  : 276.0   
Problems     : 44       (Average Length: 65.52 Splits: 0)
Lemmas       : 1083569  (Deleted: 1034796)
  Binary     : 18441    (Ratio:   1.70%)
  Ternary    : 3579     (Ratio:   0.33%)
  Conflict   : 1083569  (Average Length:  788.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1083569  (Average: 10.61 Max: 915 Sum: 11491808)
  Executed   : 1083509  (Average: 10.60 Max: 915 Sum: 11489258 Ratio:  99.98%)
  Bounded    : 60       (Average: 42.50 Max: 112 Sum:   2550 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 708680   (Eliminated: 13782 Frozen: 694898)
Constraints  : 5236742  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

Memory Peak  : 942MB
Max. Length  : 110 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 22.37s
Memory:		 878MB (+0MB)
UNKNOWN
Iteration Time:	 22.43s

Iteration 44
Queue:		 [(9,45,2,True), (10,50,2,True), (11,55,2,True), (12,60,2,True), (13,65,2,True), (14,70,2,True), (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,1,True), (23,115,0,True), (24,120,0,True)]
Grounded Until:	 110
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 45
Time         : 863.011s (Solving: 829.82s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 863.248s

Choices      : 12545420 (Domain: 12340311)
Conflicts    : 1111745  (Analyzed: 1111741)
Restarts     : 3952     (Average: 281.31 Last: 211)
Model-Level  : 276.0   
Problems     : 45       (Average Length: 66.56 Splits: 0)
Lemmas       : 1111741  (Deleted: 1058426)
  Binary     : 18982    (Ratio:   1.71%)
  Ternary    : 3648     (Ratio:   0.33%)
  Conflict   : 1111741  (Average Length:  799.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1111741  (Average: 10.54 Max: 915 Sum: 11715576)
  Executed   : 1111681  (Average: 10.54 Max: 915 Sum: 11713026 Ratio:  99.98%)
  Bounded    : 60       (Average: 42.50 Max: 112 Sum:   2550 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 708680   (Eliminated: 13782 Frozen: 694898)
Constraints  : 5236742  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

Memory Peak  : 942MB
Max. Length  : 110 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 21.84s
Memory:		 878MB (+0MB)
UNKNOWN
Iteration Time:	 21.89s

Iteration 45
Queue:		 [(10,50,2,True), (11,55,2,True), (12,60,2,True), (13,65,2,True), (14,70,2,True), (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,1,True), (23,115,0,True), (24,120,0,True)]
Grounded Until:	 110
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 46
Time         : 883.897s (Solving: 850.55s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 884.144s

Choices      : 12782572 (Domain: 12576587)
Conflicts    : 1139966  (Analyzed: 1139962)
Restarts     : 4052     (Average: 281.33 Last: 211)
Model-Level  : 276.0   
Problems     : 46       (Average Length: 67.54 Splits: 0)
Lemmas       : 1139962  (Deleted: 1089770)
  Binary     : 19239    (Ratio:   1.69%)
  Ternary    : 3687     (Ratio:   0.32%)
  Conflict   : 1139962  (Average Length:  799.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1139962  (Average: 10.46 Max: 915 Sum: 11929146)
  Executed   : 1139902  (Average: 10.46 Max: 915 Sum: 11926596 Ratio:  99.98%)
  Bounded    : 60       (Average: 42.50 Max: 112 Sum:   2550 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 708680   (Eliminated: 13782 Frozen: 694898)
Constraints  : 5236742  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

Memory Peak  : 942MB
Max. Length  : 110 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 20.84s
Memory:		 878MB (+0MB)
UNKNOWN
Iteration Time:	 20.90s

Iteration 46
Queue:		 [(11,55,2,True), (12,60,2,True), (13,65,2,True), (14,70,2,True), (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,1,True), (23,115,0,True), (24,120,0,True)]
Grounded Until:	 110
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 47
Time         : 907.840s (Solving: 874.34s 1st Model: 0.01s Unsat: 11.01s)
CPU Time     : 908.076s

Choices      : 13201683 (Domain: 12979927)
Conflicts    : 1168125  (Analyzed: 1168121)
Restarts     : 4152     (Average: 281.34 Last: 211)
Model-Level  : 276.0   
Problems     : 47       (Average Length: 68.49 Splits: 0)
Lemmas       : 1168121  (Deleted: 1113252)
  Binary     : 20578    (Ratio:   1.76%)
  Ternary    : 3997     (Ratio:   0.34%)
  Conflict   : 1168121  (Average Length:  803.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1168121  (Average: 10.54 Max: 915 Sum: 12310294)
  Executed   : 1168061  (Average: 10.54 Max: 915 Sum: 12307744 Ratio:  99.98%)
  Bounded    : 60       (Average: 42.50 Max: 112 Sum:   2550 Ratio:   0.02%)

Rules        : 133871   (Original: 121411)
Atoms        : 64609   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 708680   (Eliminated: 13782 Frozen: 694898)
Constraints  : 5236742  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

Memory Peak  : 942MB
Max. Length  : 110 steps
Models       : 1


