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-8.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-8.pddl
Parsing...
Parsing: [0.040s CPU, 0.103s wall-clock]
Normalizing task... [0.010s CPU, 0.004s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.012s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.050s CPU, 0.057s wall-clock]
Preparing model... [0.030s CPU, 0.029s wall-clock]
Generated 115 rules.
Computing model... [0.380s CPU, 0.381s wall-clock]
2300 relevant atoms
2393 auxiliary atoms
4693 final queue length
8087 total queue pushes
Completing instantiation... [0.680s CPU, 0.683s wall-clock]
Instantiating: [1.170s CPU, 1.166s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.110s CPU, 0.115s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.010s CPU, 0.007s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
Choosing groups...
238 uncovered facts
Choosing groups: [0.000s CPU, 0.001s wall-clock]
Building translation key... [0.010s CPU, 0.009s wall-clock]
Computing fact groups: [0.150s CPU, 0.150s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.002s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.002s 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.040s CPU, 0.040s wall-clock]
Translating task: [0.720s CPU, 0.727s wall-clock]
2672 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
3 propositions removed
Detecting unreachable propositions: [0.360s CPU, 0.357s wall-clock]
Reordering and filtering variables...
241 of 241 variables necessary.
12 of 15 mutex groups necessary.
1596 of 1596 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.240s CPU, 0.240s wall-clock]
Translator variables: 241
Translator derived variables: 0
Translator facts: 505
Translator goal facts: 10
Translator mutex groups: 12
Translator total mutex groups size: 36
Translator operators: 1596
Translator axioms: 0
Translator task size: 15302
Translator peak memory: 45260 KB
Writing output... [0.250s CPU, 0.279s wall-clock]
Done! [2.980s CPU, 3.063s wall-clock]
planner.py version 0.0.1

Time:	 0.68s
Memory: 91MB

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

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

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

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

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

Choices      : 177      (Domain: 80)
Conflicts    : 2        (Analyzed: 2)
Restarts     : 0       
Model-Level  : 171.0   
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 2        (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 2        (Average Length:   25.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2        (Average:  6.50 Max:  12 Sum:     13)
  Executed   : 2        (Average:  6.50 Max:  12 Sum:     13 Ratio: 100.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)

Rules        : 44183   
Atoms        : 44183   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 11842    (Eliminated:    0 Frozen: 11842)
Constraints  : 40811    (Binary:  95.1% Ternary:   3.4% Other:   1.4%)

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

[endof: stats after solve call]
Solving Time:	 0.12s
Memory:		 165MB (+2MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 0.62s
Memory:		 188MB (+23MB)
Solving...
[start: stats after solve call]

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

Choices      : 186      (Domain: 85)
Conflicts    : 9        (Analyzed: 8)
Restarts     : 0       
Model-Level  : 171.0   
Problems     : 3        (Average Length: 5.33 Splits: 0)
Lemmas       : 8        (Deleted: 0)
  Binary     : 1        (Ratio:  12.50%)
  Ternary    : 2        (Ratio:  25.00%)
  Conflict   : 8        (Average Length:    9.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 8        (Average:  2.88 Max:  12 Sum:     23)
  Executed   : 7        (Average:  2.75 Max:  12 Sum:     22 Ratio:  95.65%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   4.35%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 14564    (Eliminated: 1674 Frozen: 12890)
Constraints  : 56795    (Binary:  90.2% Ternary:   5.9% Other:   3.9%)

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

[endof: stats after solve call]
Solving Time:	 0.03s
Memory:		 188MB (+0MB)
UNSAT
Iteration Time:	 1.05s

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

Models       : 0
Calls        : 4
Time         : 2.724s (Solving: 0.55s 1st Model: 0.00s Unsat: 0.55s)
CPU Time     : 2.596s

Choices      : 16411    (Domain: 12718)
Conflicts    : 2012     (Analyzed: 2010)
Restarts     : 12       (Average: 167.50 Last: 185)
Model-Level  : 171.0   
Problems     : 4        (Average Length: 7.00 Splits: 0)
Lemmas       : 2010     (Deleted: 0)
  Binary     : 206      (Ratio:  10.25%)
  Ternary    : 244      (Ratio:  12.14%)
  Conflict   : 2010     (Average Length:   36.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2010     (Average:  8.11 Max: 101 Sum:  16293)
  Executed   : 1985     (Average:  7.97 Max: 101 Sum:  16026 Ratio:  98.36%)
  Bounded    : 25       (Average: 10.68 Max:  12 Sum:    267 Ratio:   1.64%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 40960    (Eliminated: 1674 Frozen: 30181)
Constraints  : 257865   (Binary:  91.2% Ternary:   6.5% Other:   2.3%)

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

[endof: stats after solve call]
Solving Time:	 0.94s
Memory:		 199MB (+11MB)
UNSAT
Iteration Time:	 1.41s

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

Models       : 0
Calls        : 5
Time         : 10.216s (Solving: 7.10s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 10.092s

Choices      : 130701   (Domain: 107065)
Conflicts    : 19916    (Analyzed: 19913)
Restarts     : 74       (Average: 269.09 Last: 1825)
Model-Level  : 171.0   
Problems     : 5        (Average Length: 9.00 Splits: 0)
Lemmas       : 19913    (Deleted: 7552)
  Binary     : 1124     (Ratio:   5.64%)
  Ternary    : 542      (Ratio:   2.72%)
  Conflict   : 19913    (Average Length:  238.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 19913    (Average:  6.42 Max: 249 Sum: 127784)
  Executed   : 19877    (Average:  6.40 Max: 249 Sum: 127346 Ratio:  99.66%)
  Bounded    : 36       (Average: 12.17 Max:  17 Sum:    438 Ratio:   0.34%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 67356    (Eliminated: 1674 Frozen: 56577)
Constraints  : 441568   (Binary:  91.4% Ternary:   6.5% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 6.96s
Memory:		 220MB (+15MB)
UNSAT
Iteration Time:	 7.50s

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

Models       : 0+
Calls        : 6
Time         : 26.682s (Solving: 22.63s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 26.564s

Choices      : 327255   (Domain: 272197)
Conflicts    : 48105    (Analyzed: 48102)
Restarts     : 174      (Average: 276.45 Last: 1825)
Model-Level  : 171.0   
Problems     : 6        (Average Length: 11.17 Splits: 0)
Lemmas       : 48102    (Deleted: 33258)
  Binary     : 2077     (Ratio:   4.32%)
  Ternary    : 787      (Ratio:   1.64%)
  Conflict   : 48102    (Average Length:  568.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 48102    (Average:  6.53 Max: 305 Sum: 314112)
  Executed   : 48063    (Average:  6.52 Max: 305 Sum: 313608 Ratio:  99.84%)
  Bounded    : 39       (Average: 12.92 Max:  22 Sum:    504 Ratio:   0.16%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 93752    (Eliminated: 1674 Frozen: 82973)
Constraints  : 626382   (Binary:  91.5% Ternary:   6.5% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 15.94s
Memory:		 242MB (+19MB)
UNKNOWN
Iteration Time:	 16.48s

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

Models       : 0+
Calls        : 7
Time         : 43.551s (Solving: 38.54s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 43.440s

Choices      : 570347   (Domain: 495846)
Conflicts    : 76252    (Analyzed: 76249)
Restarts     : 274      (Average: 278.28 Last: 1825)
Model-Level  : 171.0   
Problems     : 7        (Average Length: 13.43 Splits: 0)
Lemmas       : 76249    (Deleted: 59696)
  Binary     : 3094     (Ratio:   4.06%)
  Ternary    : 958      (Ratio:   1.26%)
  Conflict   : 76249    (Average Length:  627.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 76249    (Average:  7.15 Max: 328 Sum: 545066)
  Executed   : 76207    (Average:  7.14 Max: 328 Sum: 544481 Ratio:  99.89%)
  Bounded    : 42       (Average: 13.93 Max:  27 Sum:    585 Ratio:   0.11%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 120148   (Eliminated: 1674 Frozen: 109369)
Constraints  : 827411   (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 16.34s
Memory:		 258MB (+13MB)
UNKNOWN
Iteration Time:	 16.88s

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

Models       : 0+
Calls        : 8
Time         : 61.783s (Solving: 55.72s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 61.680s

Choices      : 818914   (Domain: 732392)
Conflicts    : 104411   (Analyzed: 104408)
Restarts     : 374      (Average: 279.17 Last: 1825)
Model-Level  : 171.0   
Problems     : 8        (Average Length: 15.75 Splits: 0)
Lemmas       : 104408   (Deleted: 86701)
  Binary     : 3773     (Ratio:   3.61%)
  Ternary    : 1027     (Ratio:   0.98%)
  Conflict   : 104408   (Average Length:  700.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 104408   (Average:  7.47 Max: 328 Sum: 779774)
  Executed   : 104364   (Average:  7.46 Max: 328 Sum: 779125 Ratio:  99.92%)
  Bounded    : 44       (Average: 14.75 Max:  32 Sum:    649 Ratio:   0.08%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 146544   (Eliminated: 1674 Frozen: 135765)
Constraints  : 1028436  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 17.61s
Memory:		 355MB (+88MB)
UNKNOWN
Iteration Time:	 18.25s

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

Models       : 0+
Calls        : 9
Time         : 75.012s (Solving: 68.90s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 74.912s

Choices      : 933075   (Domain: 846395)
Conflicts    : 132616   (Analyzed: 132613)
Restarts     : 474      (Average: 279.77 Last: 1825)
Model-Level  : 171.0   
Problems     : 9        (Average Length: 17.56 Splits: 0)
Lemmas       : 132613   (Deleted: 114100)
  Binary     : 4082     (Ratio:   3.08%)
  Ternary    : 1082     (Ratio:   0.82%)
  Conflict   : 132613   (Average Length:  761.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 132613   (Average:  6.69 Max: 328 Sum: 887043)
  Executed   : 132566   (Average:  6.68 Max: 328 Sum: 886298 Ratio:  99.92%)
  Bounded    : 47       (Average: 15.85 Max:  32 Sum:    745 Ratio:   0.08%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 146544   (Eliminated: 1674 Frozen: 144870)
Constraints  : 1028400  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 13.21s
Memory:		 355MB (+0MB)
UNKNOWN
Iteration Time:	 13.24s

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

Models       : 0+
Calls        : 10
Time         : 92.204s (Solving: 86.05s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 92.112s

Choices      : 1107309  (Domain: 1005515)
Conflicts    : 160788   (Analyzed: 160785)
Restarts     : 574      (Average: 280.11 Last: 1825)
Model-Level  : 171.0   
Problems     : 10       (Average Length: 19.00 Splits: 0)
Lemmas       : 160785   (Deleted: 141402)
  Binary     : 4638     (Ratio:   2.88%)
  Ternary    : 1151     (Ratio:   0.72%)
  Conflict   : 160785   (Average Length:  838.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 160785   (Average:  6.50 Max: 328 Sum: 1045267)
  Executed   : 160738   (Average:  6.50 Max: 328 Sum: 1044522 Ratio:  99.93%)
  Bounded    : 47       (Average: 15.85 Max:  32 Sum:    745 Ratio:   0.07%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 146544   (Eliminated: 1674 Frozen: 144870)
Constraints  : 1028358  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 17.18s
Memory:		 355MB (+0MB)
UNKNOWN
Iteration Time:	 17.20s

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

Models       : 0+
Calls        : 11
Time         : 108.824s (Solving: 102.63s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 108.740s

Choices      : 1382335  (Domain: 1259622)
Conflicts    : 188986   (Analyzed: 188983)
Restarts     : 674      (Average: 280.39 Last: 1825)
Model-Level  : 171.0   
Problems     : 11       (Average Length: 20.18 Splits: 0)
Lemmas       : 188983   (Deleted: 168336)
  Binary     : 5518     (Ratio:   2.92%)
  Ternary    : 1379     (Ratio:   0.73%)
  Conflict   : 188983   (Average Length:  858.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 188983   (Average:  6.90 Max: 357 Sum: 1303966)
  Executed   : 188934   (Average:  6.90 Max: 357 Sum: 1303157 Ratio:  99.94%)
  Bounded    : 49       (Average: 16.51 Max:  32 Sum:    809 Ratio:   0.06%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 146544   (Eliminated: 1674 Frozen: 144870)
Constraints  : 1028358  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 16.61s
Memory:		 355MB (+0MB)
UNKNOWN
Iteration Time:	 16.63s

Iteration 11
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), (17,85,0,True)]
Grounded Until:	 30
Expected Memory: 452.0MB
Grounding...	 [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])]
Grounding Time:	 0.39s
Memory:		 355MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 12
Time         : 129.103s (Solving: 121.87s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 129.028s

Choices      : 1733001  (Domain: 1595958)
Conflicts    : 217184   (Analyzed: 217181)
Restarts     : 774      (Average: 280.60 Last: 1825)
Model-Level  : 171.0   
Problems     : 12       (Average Length: 21.58 Splits: 0)
Lemmas       : 217181   (Deleted: 194763)
  Binary     : 6440     (Ratio:   2.97%)
  Ternary    : 1507     (Ratio:   0.69%)
  Conflict   : 217181   (Average Length:  920.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 217181   (Average:  7.51 Max: 357 Sum: 1630561)
  Executed   : 217132   (Average:  7.50 Max: 357 Sum: 1629752 Ratio:  99.95%)
  Bounded    : 49       (Average: 16.51 Max:  32 Sum:    809 Ratio:   0.05%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 172940   (Eliminated: 1674 Frozen: 162161)
Constraints  : 1227130  (Binary:  91.4% Ternary:   6.6% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.70s
Memory:		 369MB (+14MB)
UNKNOWN
Iteration Time:	 20.30s

Iteration 12
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), (17,85,0,True)]
Grounded Until:	 35
Expected Memory: 466.0MB
Grounding...	 [('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('check', [40])]
Grounding Time:	 0.38s
Memory:		 371MB (+2MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 13
Time         : 149.756s (Solving: 141.50s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 149.688s

Choices      : 2063567  (Domain: 1921640)
Conflicts    : 245358   (Analyzed: 245355)
Restarts     : 874      (Average: 280.73 Last: 1825)
Model-Level  : 171.0   
Problems     : 13       (Average Length: 23.15 Splits: 0)
Lemmas       : 245355   (Deleted: 221226)
  Binary     : 7324     (Ratio:   2.99%)
  Ternary    : 1675     (Ratio:   0.68%)
  Conflict   : 245355   (Average Length:  943.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 245355   (Average:  7.91 Max: 357 Sum: 1939813)
  Executed   : 245302   (Average:  7.90 Max: 357 Sum: 1938838 Ratio:  99.95%)
  Bounded    : 53       (Average: 18.40 Max:  42 Sum:    975 Ratio:   0.05%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 199336   (Eliminated: 1674 Frozen: 188557)
Constraints  : 1428200  (Binary:  91.4% Ternary:   6.6% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.07s
Memory:		 389MB (+18MB)
UNKNOWN
Iteration Time:	 20.67s

Iteration 13
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), (17,85,0,True)]
Grounded Until:	 40
Expected Memory: 486.0MB
Grounding...	 [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time:	 0.38s
Memory:		 390MB (+1MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 14
Time         : 171.076s (Solving: 161.78s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 171.020s

Choices      : 2361051  (Domain: 2212326)
Conflicts    : 273542   (Analyzed: 273539)
Restarts     : 974      (Average: 280.84 Last: 1825)
Model-Level  : 171.0   
Problems     : 14       (Average Length: 24.86 Splits: 0)
Lemmas       : 273539   (Deleted: 248216)
  Binary     : 8000     (Ratio:   2.92%)
  Ternary    : 1755     (Ratio:   0.64%)
  Conflict   : 273539   (Average Length:  967.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 273539   (Average:  8.09 Max: 357 Sum: 2213363)
  Executed   : 273486   (Average:  8.09 Max: 357 Sum: 2212388 Ratio:  99.96%)
  Bounded    : 53       (Average: 18.40 Max:  42 Sum:    975 Ratio:   0.04%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 225732   (Eliminated: 1674 Frozen: 214953)
Constraints  : 1629228  (Binary:  91.4% Ternary:   6.6% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.73s
Memory:		 418MB (+28MB)
UNKNOWN
Iteration Time:	 21.34s

Iteration 14
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), (17,85,0,True)]
Grounded Until:	 45
Expected Memory: 515.0MB
Grounding...	 [('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('check', [50])]
Grounding Time:	 0.37s
Memory:		 418MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 15
Time         : 193.391s (Solving: 183.05s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 193.344s

Choices      : 2729012  (Domain: 2567087)
Conflicts    : 301710   (Analyzed: 301707)
Restarts     : 1074     (Average: 280.92 Last: 1825)
Model-Level  : 171.0   
Problems     : 15       (Average Length: 26.67 Splits: 0)
Lemmas       : 301707   (Deleted: 274691)
  Binary     : 8762     (Ratio:   2.90%)
  Ternary    : 1918     (Ratio:   0.64%)
  Conflict   : 301707   (Average Length: 1004.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 301707   (Average:  8.46 Max: 357 Sum: 2553271)
  Executed   : 301653   (Average:  8.46 Max: 357 Sum: 2552244 Ratio:  99.96%)
  Bounded    : 54       (Average: 19.02 Max:  52 Sum:   1027 Ratio:   0.04%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 252128   (Eliminated: 1674 Frozen: 241349)
Constraints  : 1830298  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.73s
Memory:		 433MB (+15MB)
UNKNOWN
Iteration Time:	 22.33s

Iteration 15
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), (17,85,0,True)]
Grounded Until:	 50
Expected Memory: 530.0MB
Grounding...	 [('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('check', [55])]
Grounding Time:	 0.37s
Memory:		 433MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 16
Time         : 215.350s (Solving: 203.95s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 215.312s

Choices      : 3020815  (Domain: 2857721)
Conflicts    : 329919   (Analyzed: 329916)
Restarts     : 1174     (Average: 281.02 Last: 1825)
Model-Level  : 171.0   
Problems     : 16       (Average Length: 28.56 Splits: 0)
Lemmas       : 329916   (Deleted: 301954)
  Binary     : 9082     (Ratio:   2.75%)
  Ternary    : 1955     (Ratio:   0.59%)
  Conflict   : 329916   (Average Length: 1021.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 329916   (Average:  8.55 Max: 396 Sum: 2821631)
  Executed   : 329861   (Average:  8.55 Max: 396 Sum: 2820547 Ratio:  99.96%)
  Bounded    : 55       (Average: 19.71 Max:  57 Sum:   1084 Ratio:   0.04%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 278524   (Eliminated: 1674 Frozen: 267745)
Constraints  : 2031354  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.36s
Memory:		 450MB (+17MB)
UNKNOWN
Iteration Time:	 21.98s

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

Models       : 0+
Calls        : 17
Time         : 237.694s (Solving: 225.14s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 237.664s

Choices      : 3307249  (Domain: 3142120)
Conflicts    : 358107   (Analyzed: 358104)
Restarts     : 1274     (Average: 281.09 Last: 1825)
Model-Level  : 171.0   
Problems     : 17       (Average Length: 30.53 Splits: 0)
Lemmas       : 358104   (Deleted: 329533)
  Binary     : 9410     (Ratio:   2.63%)
  Ternary    : 1982     (Ratio:   0.55%)
  Conflict   : 358104   (Average Length: 1044.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 358104   (Average:  8.60 Max: 432 Sum: 3080394)
  Executed   : 358049   (Average:  8.60 Max: 432 Sum: 3079310 Ratio:  99.96%)
  Bounded    : 55       (Average: 19.71 Max:  57 Sum:   1084 Ratio:   0.04%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 304920   (Eliminated: 1674 Frozen: 294141)
Constraints  : 2230143  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.66s
Memory:		 531MB (+81MB)
UNKNOWN
Iteration Time:	 22.36s

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

Models       : 0+
Calls        : 18
Time         : 261.870s (Solving: 248.21s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 261.852s

Choices      : 3600764  (Domain: 3434086)
Conflicts    : 386290   (Analyzed: 386287)
Restarts     : 1374     (Average: 281.14 Last: 1825)
Model-Level  : 171.0   
Problems     : 18       (Average Length: 32.56 Splits: 0)
Lemmas       : 386287   (Deleted: 356949)
  Binary     : 9780     (Ratio:   2.53%)
  Ternary    : 2011     (Ratio:   0.52%)
  Conflict   : 386287   (Average Length: 1076.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 386287   (Average:  8.67 Max: 454 Sum: 3348886)
  Executed   : 386232   (Average:  8.67 Max: 454 Sum: 3347802 Ratio:  99.97%)
  Bounded    : 55       (Average: 19.71 Max:  57 Sum:   1084 Ratio:   0.03%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 331316   (Eliminated: 1674 Frozen: 320537)
Constraints  : 2431213  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.54s
Memory:		 575MB (+43MB)
UNKNOWN
Iteration Time:	 24.20s

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

Models       : 0+
Calls        : 19
Time         : 284.478s (Solving: 269.49s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 284.468s

Choices      : 4244212  (Domain: 4067780)
Conflicts    : 414463   (Analyzed: 414460)
Restarts     : 1474     (Average: 281.18 Last: 1825)
Model-Level  : 171.0   
Problems     : 19       (Average Length: 34.63 Splits: 0)
Lemmas       : 414460   (Deleted: 383861)
  Binary     : 10548    (Ratio:   2.54%)
  Ternary    : 2095     (Ratio:   0.51%)
  Conflict   : 414460   (Average Length: 1069.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 414460   (Average:  9.54 Max: 454 Sum: 3954503)
  Executed   : 414404   (Average:  9.54 Max: 454 Sum: 3953347 Ratio:  99.97%)
  Bounded    : 56       (Average: 20.64 Max:  72 Sum:   1156 Ratio:   0.03%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 357712   (Eliminated: 1674 Frozen: 346933)
Constraints  : 2632283  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.76s
Memory:		 602MB (+14MB)
UNKNOWN
Iteration Time:	 22.63s

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

Models       : 0+
Calls        : 20
Time         : 307.803s (Solving: 291.68s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 307.804s

Choices      : 4816944  (Domain: 4633341)
Conflicts    : 442689   (Analyzed: 442686)
Restarts     : 1574     (Average: 281.25 Last: 1825)
Model-Level  : 171.0   
Problems     : 20       (Average Length: 36.75 Splits: 0)
Lemmas       : 442686   (Deleted: 410829)
  Binary     : 11050    (Ratio:   2.50%)
  Ternary    : 2159     (Ratio:   0.49%)
  Conflict   : 442686   (Average Length: 1075.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 442686   (Average: 10.14 Max: 454 Sum: 4490921)
  Executed   : 442630   (Average: 10.14 Max: 454 Sum: 4489765 Ratio:  99.97%)
  Bounded    : 56       (Average: 20.64 Max:  72 Sum:   1156 Ratio:   0.03%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 384108   (Eliminated: 1674 Frozen: 373329)
Constraints  : 2833336  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.66s
Memory:		 613MB (+11MB)
UNKNOWN
Iteration Time:	 23.34s

Iteration 20
Queue:		 [(16,80,0,True), (17,85,0,True)]
Grounded Until:	 75
Expected Memory: 710.0MB
Grounding...	 [('step', [76]), ('step', [77]), ('step', [78]), ('step', [79]), ('step', [80]), ('check', [80])]
Grounding Time:	 0.36s
Memory:		 613MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 21
Time         : 331.083s (Solving: 313.84s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 331.092s

Choices      : 5100000  (Domain: 4915671)
Conflicts    : 470875   (Analyzed: 470872)
Restarts     : 1674     (Average: 281.29 Last: 1825)
Model-Level  : 171.0   
Problems     : 21       (Average Length: 38.90 Splits: 0)
Lemmas       : 470872   (Deleted: 438393)
  Binary     : 11219    (Ratio:   2.38%)
  Ternary    : 2180     (Ratio:   0.46%)
  Conflict   : 470872   (Average Length: 1083.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 470872   (Average: 10.08 Max: 510 Sum: 4747346)
  Executed   : 470815   (Average: 10.08 Max: 510 Sum: 4746108 Ratio:  99.97%)
  Bounded    : 57       (Average: 21.72 Max:  82 Sum:   1238 Ratio:   0.03%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 410504   (Eliminated: 1674 Frozen: 399725)
Constraints  : 3034406  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.64s
Memory:		 630MB (+17MB)
UNKNOWN
Iteration Time:	 23.30s

Iteration 21
Queue:		 [(17,85,0,True)]
Grounded Until:	 80
Expected Memory: 727.0MB
Grounding...	 [('step', [81]), ('step', [82]), ('step', [83]), ('step', [84]), ('step', [85]), ('check', [85])]
Grounding Time:	 0.37s
Memory:		 630MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 22
Time         : 355.649s (Solving: 337.26s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 355.668s

Choices      : 5451383  (Domain: 5265317)
Conflicts    : 499076   (Analyzed: 499073)
Restarts     : 1774     (Average: 281.33 Last: 1825)
Model-Level  : 171.0   
Problems     : 22       (Average Length: 41.09 Splits: 0)
Lemmas       : 499073   (Deleted: 465937)
  Binary     : 11498    (Ratio:   2.30%)
  Ternary    : 2224     (Ratio:   0.45%)
  Conflict   : 499073   (Average Length: 1096.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 499073   (Average: 10.15 Max: 639 Sum: 5067301)
  Executed   : 499016   (Average: 10.15 Max: 639 Sum: 5066063 Ratio:  99.98%)
  Bounded    : 57       (Average: 21.72 Max:  82 Sum:   1238 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 426121)
Constraints  : 3235462  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.91s
Memory:		 648MB (+18MB)
UNKNOWN
Iteration Time:	 24.59s

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,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 23
Time         : 369.719s (Solving: 351.23s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 369.744s

Choices      : 5561839  (Domain: 5375773)
Conflicts    : 527286   (Analyzed: 527283)
Restarts     : 1874     (Average: 281.37 Last: 1825)
Model-Level  : 171.0   
Problems     : 23       (Average Length: 43.09 Splits: 0)
Lemmas       : 527283   (Deleted: 493616)
  Binary     : 11621    (Ratio:   2.20%)
  Ternary    : 2259     (Ratio:   0.43%)
  Conflict   : 527283   (Average Length: 1085.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 527283   (Average:  9.81 Max: 639 Sum: 5170956)
  Executed   : 527225   (Average:  9.80 Max: 639 Sum: 5169631 Ratio:  99.97%)
  Bounded    : 58       (Average: 22.84 Max:  87 Sum:   1325 Ratio:   0.03%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235462  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 14.04s
Memory:		 648MB (+0MB)
UNKNOWN
Iteration Time:	 14.08s

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,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 24
Time         : 403.702s (Solving: 385.09s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 403.744s

Choices      : 5699916  (Domain: 5512422)
Conflicts    : 555444   (Analyzed: 555441)
Restarts     : 1974     (Average: 281.38 Last: 1825)
Model-Level  : 171.0   
Problems     : 24       (Average Length: 44.92 Splits: 0)
Lemmas       : 555441   (Deleted: 520138)
  Binary     : 11776    (Ratio:   2.12%)
  Ternary    : 2296     (Ratio:   0.41%)
  Conflict   : 555441   (Average Length: 1120.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 555441   (Average:  9.53 Max: 639 Sum: 5294553)
  Executed   : 555383   (Average:  9.53 Max: 639 Sum: 5293228 Ratio:  99.97%)
  Bounded    : 58       (Average: 22.84 Max:  87 Sum:   1325 Ratio:   0.03%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235448  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 33.95s
Memory:		 648MB (+0MB)
UNKNOWN
Iteration Time:	 34.00s

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,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 25
Time         : 423.842s (Solving: 405.12s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 423.892s

Choices      : 5876390  (Domain: 5688896)
Conflicts    : 583664   (Analyzed: 583661)
Restarts     : 2074     (Average: 281.42 Last: 1825)
Model-Level  : 171.0   
Problems     : 25       (Average Length: 46.60 Splits: 0)
Lemmas       : 583661   (Deleted: 548872)
  Binary     : 11975    (Ratio:   2.05%)
  Ternary    : 2319     (Ratio:   0.40%)
  Conflict   : 583661   (Average Length: 1129.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 583661   (Average:  9.34 Max: 639 Sum: 5451910)
  Executed   : 583603   (Average:  9.34 Max: 639 Sum: 5450585 Ratio:  99.98%)
  Bounded    : 58       (Average: 22.84 Max:  87 Sum:   1325 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235448  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.10s
Memory:		 648MB (+0MB)
UNKNOWN
Iteration Time:	 20.15s

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,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 26
Time         : 443.437s (Solving: 424.62s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 443.496s

Choices      : 6057891  (Domain: 5863298)
Conflicts    : 611855   (Analyzed: 611852)
Restarts     : 2174     (Average: 281.44 Last: 1825)
Model-Level  : 171.0   
Problems     : 26       (Average Length: 48.15 Splits: 0)
Lemmas       : 611852   (Deleted: 576243)
  Binary     : 12285    (Ratio:   2.01%)
  Ternary    : 2353     (Ratio:   0.38%)
  Conflict   : 611852   (Average Length: 1131.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 611852   (Average:  9.17 Max: 639 Sum: 5609752)
  Executed   : 611793   (Average:  9.17 Max: 639 Sum: 5608340 Ratio:  99.97%)
  Bounded    : 59       (Average: 23.93 Max:  87 Sum:   1412 Ratio:   0.03%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235448  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.57s
Memory:		 648MB (+0MB)
UNKNOWN
Iteration Time:	 19.61s

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,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 27
Time         : 464.295s (Solving: 445.35s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 464.360s

Choices      : 6290764  (Domain: 6092706)
Conflicts    : 640015   (Analyzed: 640012)
Restarts     : 2274     (Average: 281.45 Last: 1825)
Model-Level  : 171.0   
Problems     : 27       (Average Length: 49.59 Splits: 0)
Lemmas       : 640012   (Deleted: 603441)
  Binary     : 12721    (Ratio:   1.99%)
  Ternary    : 2401     (Ratio:   0.38%)
  Conflict   : 640012   (Average Length: 1132.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 640012   (Average:  9.09 Max: 639 Sum: 5815124)
  Executed   : 639953   (Average:  9.08 Max: 639 Sum: 5813712 Ratio:  99.98%)
  Bounded    : 59       (Average: 23.93 Max:  87 Sum:   1412 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235434  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

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

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,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 28
Time         : 484.188s (Solving: 465.15s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 484.260s

Choices      : 6537661  (Domain: 6331535)
Conflicts    : 668236   (Analyzed: 668233)
Restarts     : 2374     (Average: 281.48 Last: 1825)
Model-Level  : 171.0   
Problems     : 28       (Average Length: 50.93 Splits: 0)
Lemmas       : 668233   (Deleted: 631069)
  Binary     : 13303    (Ratio:   1.99%)
  Ternary    : 2532     (Ratio:   0.38%)
  Conflict   : 668233   (Average Length: 1132.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 668233   (Average:  9.03 Max: 639 Sum: 6035838)
  Executed   : 668174   (Average:  9.03 Max: 639 Sum: 6034426 Ratio:  99.98%)
  Bounded    : 59       (Average: 23.93 Max:  87 Sum:   1412 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235434  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.86s
Memory:		 648MB (+0MB)
UNKNOWN
Iteration Time:	 19.90s

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,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 29
Time         : 504.655s (Solving: 485.52s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 504.736s

Choices      : 6909740  (Domain: 6693187)
Conflicts    : 696415   (Analyzed: 696412)
Restarts     : 2474     (Average: 281.49 Last: 1825)
Model-Level  : 171.0   
Problems     : 29       (Average Length: 52.17 Splits: 0)
Lemmas       : 696412   (Deleted: 657295)
  Binary     : 14038    (Ratio:   2.02%)
  Ternary    : 2657     (Ratio:   0.38%)
  Conflict   : 696412   (Average Length: 1126.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 696412   (Average:  9.15 Max: 639 Sum: 6375482)
  Executed   : 696353   (Average:  9.15 Max: 639 Sum: 6374070 Ratio:  99.98%)
  Bounded    : 59       (Average: 23.93 Max:  87 Sum:   1412 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235434  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.44s
Memory:		 648MB (+0MB)
UNKNOWN
Iteration Time:	 20.48s

Iteration 29
Queue:		 [(11,55,1,True), (12,60,1,True), (13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,1,True), (17,85,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 30
Time         : 528.272s (Solving: 509.04s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 528.364s

Choices      : 7276703  (Domain: 7057948)
Conflicts    : 724595   (Analyzed: 724592)
Restarts     : 2574     (Average: 281.50 Last: 1825)
Model-Level  : 171.0   
Problems     : 30       (Average Length: 53.33 Splits: 0)
Lemmas       : 724592   (Deleted: 684461)
  Binary     : 14621    (Ratio:   2.02%)
  Ternary    : 2746     (Ratio:   0.38%)
  Conflict   : 724592   (Average Length: 1126.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 724592   (Average:  9.26 Max: 639 Sum: 6707347)
  Executed   : 724533   (Average:  9.25 Max: 639 Sum: 6705935 Ratio:  99.98%)
  Bounded    : 59       (Average: 23.93 Max:  87 Sum:   1412 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235434  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.59s
Memory:		 648MB (+0MB)
UNKNOWN
Iteration Time:	 23.63s

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,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 31
Time         : 551.287s (Solving: 531.95s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 551.388s

Choices      : 7600147  (Domain: 7377885)
Conflicts    : 752775   (Analyzed: 752772)
Restarts     : 2674     (Average: 281.52 Last: 1825)
Model-Level  : 171.0   
Problems     : 31       (Average Length: 54.42 Splits: 0)
Lemmas       : 752772   (Deleted: 711708)
  Binary     : 15130    (Ratio:   2.01%)
  Ternary    : 2804     (Ratio:   0.37%)
  Conflict   : 752772   (Average Length: 1129.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 752772   (Average:  9.29 Max: 639 Sum: 6995672)
  Executed   : 752712   (Average:  9.29 Max: 639 Sum: 6994173 Ratio:  99.98%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235434  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.99s
Memory:		 648MB (+0MB)
UNKNOWN
Iteration Time:	 23.03s

Iteration 31
Queue:		 [(13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,1,True), (17,85,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 32
Time         : 572.580s (Solving: 553.15s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 572.688s

Choices      : 7906941  (Domain: 7680233)
Conflicts    : 780966   (Analyzed: 780963)
Restarts     : 2774     (Average: 281.53 Last: 1825)
Model-Level  : 171.0   
Problems     : 32       (Average Length: 55.44 Splits: 0)
Lemmas       : 780963   (Deleted: 738780)
  Binary     : 15632    (Ratio:   2.00%)
  Ternary    : 2894     (Ratio:   0.37%)
  Conflict   : 780963   (Average Length: 1126.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 780963   (Average:  9.31 Max: 639 Sum: 7268217)
  Executed   : 780903   (Average:  9.30 Max: 639 Sum: 7266718 Ratio:  99.98%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235421  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.26s
Memory:		 648MB (+0MB)
UNKNOWN
Iteration Time:	 21.30s

Iteration 32
Queue:		 [(14,70,1,True), (15,75,1,True), (16,80,1,True), (17,85,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 33
Time         : 596.599s (Solving: 577.04s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 596.716s

Choices      : 8170720  (Domain: 7943851)
Conflicts    : 809191   (Analyzed: 809188)
Restarts     : 2874     (Average: 281.55 Last: 1825)
Model-Level  : 171.0   
Problems     : 33       (Average Length: 56.39 Splits: 0)
Lemmas       : 809188   (Deleted: 766105)
  Binary     : 15873    (Ratio:   1.96%)
  Ternary    : 2925     (Ratio:   0.36%)
  Conflict   : 809188   (Average Length: 1130.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 809188   (Average:  9.27 Max: 639 Sum: 7504131)
  Executed   : 809128   (Average:  9.27 Max: 639 Sum: 7502632 Ratio:  99.98%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235421  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.98s
Memory:		 648MB (+0MB)
UNKNOWN
Iteration Time:	 24.03s

Iteration 33
Queue:		 [(15,75,1,True), (16,80,1,True), (17,85,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 34
Time         : 622.829s (Solving: 603.17s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 622.956s

Choices      : 8524096  (Domain: 8296768)
Conflicts    : 837389   (Analyzed: 837386)
Restarts     : 2974     (Average: 281.57 Last: 1825)
Model-Level  : 171.0   
Problems     : 34       (Average Length: 57.29 Splits: 0)
Lemmas       : 837386   (Deleted: 793405)
  Binary     : 16285    (Ratio:   1.94%)
  Ternary    : 2974     (Ratio:   0.36%)
  Conflict   : 837386   (Average Length: 1132.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 837386   (Average:  9.34 Max: 639 Sum: 7821851)
  Executed   : 837326   (Average:  9.34 Max: 639 Sum: 7820352 Ratio:  99.98%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235421  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

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

Iteration 34
Queue:		 [(16,80,1,True), (17,85,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 35
Time         : 647.552s (Solving: 627.79s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 647.692s

Choices      : 8875783  (Domain: 8646006)
Conflicts    : 865536   (Analyzed: 865533)
Restarts     : 3074     (Average: 281.57 Last: 1825)
Model-Level  : 171.0   
Problems     : 35       (Average Length: 58.14 Splits: 0)
Lemmas       : 865533   (Deleted: 819496)
  Binary     : 16666    (Ratio:   1.93%)
  Ternary    : 3033     (Ratio:   0.35%)
  Conflict   : 865533   (Average Length: 1141.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 865533   (Average:  9.40 Max: 639 Sum: 8135611)
  Executed   : 865473   (Average:  9.40 Max: 639 Sum: 8134112 Ratio:  99.98%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235421  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.69s
Memory:		 648MB (+0MB)
UNKNOWN
Iteration Time:	 24.74s

Iteration 35
Queue:		 [(17,85,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 36
Time         : 671.165s (Solving: 651.28s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 671.316s

Choices      : 9281693  (Domain: 9049672)
Conflicts    : 893724   (Analyzed: 893721)
Restarts     : 3174     (Average: 281.58 Last: 1825)
Model-Level  : 171.0   
Problems     : 36       (Average Length: 58.94 Splits: 0)
Lemmas       : 893721   (Deleted: 847964)
  Binary     : 17056    (Ratio:   1.91%)
  Ternary    : 3100     (Ratio:   0.35%)
  Conflict   : 893721   (Average Length: 1141.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 893721   (Average:  9.51 Max: 639 Sum: 8499652)
  Executed   : 893661   (Average:  9.51 Max: 639 Sum: 8498153 Ratio:  99.98%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3235421  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.57s
Memory:		 648MB (+0MB)
UNKNOWN
Iteration Time:	 23.63s

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

Models       : 0+
Calls        : 37
Time         : 695.032s (Solving: 673.97s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 695.192s

Choices      : 9812281  (Domain: 9577100)
Conflicts    : 921922   (Analyzed: 921919)
Restarts     : 3274     (Average: 281.59 Last: 1825)
Model-Level  : 171.0   
Problems     : 37       (Average Length: 59.84 Splits: 0)
Lemmas       : 921919   (Deleted: 871477)
  Binary     : 17492    (Ratio:   1.90%)
  Ternary    : 3154     (Ratio:   0.34%)
  Conflict   : 921919   (Average Length: 1136.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 921919   (Average:  9.74 Max: 639 Sum: 8983900)
  Executed   : 921859   (Average:  9.74 Max: 639 Sum: 8982401 Ratio:  99.98%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 463296   (Eliminated: 1674 Frozen: 452517)
Constraints  : 3436491  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.19s
Memory:		 673MB (+25MB)
UNKNOWN
Iteration Time:	 23.89s

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

Models       : 0+
Calls        : 38
Time         : 722.396s (Solving: 700.12s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 722.568s

Choices      : 10173139 (Domain: 9937636)
Conflicts    : 950094   (Analyzed: 950091)
Restarts     : 3374     (Average: 281.59 Last: 1825)
Model-Level  : 171.0   
Problems     : 38       (Average Length: 60.82 Splits: 0)
Lemmas       : 950091   (Deleted: 902365)
  Binary     : 18023    (Ratio:   1.90%)
  Ternary    : 3216     (Ratio:   0.34%)
  Conflict   : 950091   (Average Length: 1137.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 950091   (Average:  9.80 Max: 639 Sum: 9309850)
  Executed   : 950031   (Average:  9.80 Max: 639 Sum: 9308351 Ratio:  99.98%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 489692   (Eliminated: 1674 Frozen: 478913)
Constraints  : 3637561  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.65s
Memory:		 718MB (+45MB)
UNKNOWN
Iteration Time:	 27.39s

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

Models       : 0+
Calls        : 39
Time         : 747.452s (Solving: 723.93s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 747.636s

Choices      : 10439196 (Domain: 10203669)
Conflicts    : 978359   (Analyzed: 978356)
Restarts     : 3474     (Average: 281.62 Last: 1825)
Model-Level  : 171.0   
Problems     : 39       (Average Length: 61.87 Splits: 0)
Lemmas       : 978356   (Deleted: 929948)
  Binary     : 18201    (Ratio:   1.86%)
  Ternary    : 3240     (Ratio:   0.33%)
  Conflict   : 978356   (Average Length: 1143.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 978356   (Average:  9.75 Max: 639 Sum: 9541676)
  Executed   : 978296   (Average:  9.75 Max: 639 Sum: 9540177 Ratio:  99.98%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 516088   (Eliminated: 1674 Frozen: 505309)
Constraints  : 3838631  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.31s
Memory:		 737MB (+19MB)
UNKNOWN
Iteration Time:	 25.07s

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

Models       : 0+
Calls        : 40
Time         : 773.536s (Solving: 748.80s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 773.728s

Choices      : 10805126 (Domain: 10569152)
Conflicts    : 1006584  (Analyzed: 1006581)
Restarts     : 3574     (Average: 281.64 Last: 1825)
Model-Level  : 171.0   
Problems     : 40       (Average Length: 63.00 Splits: 0)
Lemmas       : 1006581  (Deleted: 957755)
  Binary     : 18443    (Ratio:   1.83%)
  Ternary    : 3265     (Ratio:   0.32%)
  Conflict   : 1006581  (Average Length: 1141.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1006581  (Average:  9.80 Max: 772 Sum: 9867724)
  Executed   : 1006521  (Average:  9.80 Max: 772 Sum: 9866225 Ratio:  99.98%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 542484   (Eliminated: 1674 Frozen: 531705)
Constraints  : 4039701  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 25.37s
Memory:		 742MB (+5MB)
UNKNOWN
Iteration Time:	 26.10s

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,2,False), (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         : 789.379s (Solving: 764.52s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 789.580s

Choices      : 10894476 (Domain: 10658502)
Conflicts    : 1034787  (Analyzed: 1034784)
Restarts     : 3674     (Average: 281.65 Last: 1825)
Model-Level  : 171.0   
Problems     : 41       (Average Length: 64.07 Splits: 0)
Lemmas       : 1034784  (Deleted: 985356)
  Binary     : 18552    (Ratio:   1.79%)
  Ternary    : 3288     (Ratio:   0.32%)
  Conflict   : 1034784  (Average Length: 1135.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1034784  (Average:  9.62 Max: 772 Sum: 9949786)
  Executed   : 1034724  (Average:  9.61 Max: 772 Sum: 9948287 Ratio:  99.98%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4039701  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 15.81s
Memory:		 742MB (+0MB)
UNKNOWN
Iteration Time:	 15.85s

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,2,False), (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...
[start: stats after solve call]

Models       : 0+
Calls        : 42
Time         : 826.119s (Solving: 801.13s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 826.332s

Choices      : 11065312 (Domain: 10829335)
Conflicts    : 1062931  (Analyzed: 1062928)
Restarts     : 3774     (Average: 281.64 Last: 1825)
Model-Level  : 171.0   
Problems     : 42       (Average Length: 65.10 Splits: 0)
Lemmas       : 1062928  (Deleted: 1013207)
  Binary     : 18648    (Ratio:   1.75%)
  Ternary    : 3302     (Ratio:   0.31%)
  Conflict   : 1062928  (Average Length: 1163.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1062928  (Average:  9.51 Max: 772 Sum: 10105523)
  Executed   : 1062868  (Average:  9.51 Max: 772 Sum: 10104024 Ratio:  99.99%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.01%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4039701  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 36.70s
Memory:		 742MB (+0MB)
UNKNOWN
Iteration Time:	 36.76s

Iteration 42
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,False), (15,75,2,False), (16,80,2,False), (17,85,2,False), (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...
[start: stats after solve call]

Models       : 0+
Calls        : 43
Time         : 847.314s (Solving: 822.19s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 847.536s

Choices      : 11221232 (Domain: 10985255)
Conflicts    : 1091175  (Analyzed: 1091172)
Restarts     : 3874     (Average: 281.67 Last: 1825)
Model-Level  : 171.0   
Problems     : 43       (Average Length: 66.07 Splits: 0)
Lemmas       : 1091172  (Deleted: 1041130)
  Binary     : 18711    (Ratio:   1.71%)
  Ternary    : 3308     (Ratio:   0.30%)
  Conflict   : 1091172  (Average Length: 1166.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1091172  (Average:  9.39 Max: 772 Sum: 10241682)
  Executed   : 1091112  (Average:  9.38 Max: 772 Sum: 10240183 Ratio:  99.99%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.01%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4039701  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.15s
Memory:		 742MB (+0MB)
UNKNOWN
Iteration Time:	 21.21s

Iteration 43
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,False), (15,75,2,False), (16,80,2,False), (17,85,2,False), (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...
[start: stats after solve call]

Models       : 0+
Calls        : 44
Time         : 867.172s (Solving: 841.90s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 867.400s

Choices      : 11406892 (Domain: 11170915)
Conflicts    : 1119386  (Analyzed: 1119383)
Restarts     : 3974     (Average: 281.68 Last: 1825)
Model-Level  : 171.0   
Problems     : 44       (Average Length: 67.00 Splits: 0)
Lemmas       : 1119383  (Deleted: 1068862)
  Binary     : 18822    (Ratio:   1.68%)
  Ternary    : 3327     (Ratio:   0.30%)
  Conflict   : 1119383  (Average Length: 1166.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1119383  (Average:  9.30 Max: 772 Sum: 10407974)
  Executed   : 1119323  (Average:  9.30 Max: 772 Sum: 10406475 Ratio:  99.99%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.01%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4039701  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.80s
Memory:		 742MB (+0MB)
UNKNOWN
Iteration Time:	 19.87s

Iteration 44
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,False), (15,75,2,False), (16,80,2,False), (17,85,2,False), (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...
[start: stats after solve call]

Models       : 0+
Calls        : 45
Time         : 887.264s (Solving: 861.87s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 887.500s

Choices      : 11616854 (Domain: 11380877)
Conflicts    : 1147593  (Analyzed: 1147590)
Restarts     : 4074     (Average: 281.69 Last: 1825)
Model-Level  : 171.0   
Problems     : 45       (Average Length: 67.89 Splits: 0)
Lemmas       : 1147590  (Deleted: 1096488)
  Binary     : 19071    (Ratio:   1.66%)
  Ternary    : 3363     (Ratio:   0.29%)
  Conflict   : 1147590  (Average Length: 1162.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1147590  (Average:  9.23 Max: 772 Sum: 10591964)
  Executed   : 1147530  (Average:  9.23 Max: 772 Sum: 10590465 Ratio:  99.99%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.01%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4039701  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.06s
Memory:		 742MB (+0MB)
UNKNOWN
Iteration Time:	 20.10s

Iteration 45
Queue:		 [(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,2,False), (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        : 46
Time         : 905.560s (Solving: 880.02s 1st Model: 0.00s Unsat: 7.10s)
CPU Time     : 905.788s

Choices      : 11832934 (Domain: 11596830)
Conflicts    : 1175799  (Analyzed: 1175796)
Restarts     : 4174     (Average: 281.70 Last: 1825)
Model-Level  : 171.0   
Problems     : 46       (Average Length: 68.74 Splits: 0)
Lemmas       : 1175796  (Deleted: 1124016)
  Binary     : 19283    (Ratio:   1.64%)
  Ternary    : 3392     (Ratio:   0.29%)
  Conflict   : 1175796  (Average Length: 1156.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1175796  (Average:  9.17 Max: 772 Sum: 10782822)
  Executed   : 1175736  (Average:  9.17 Max: 772 Sum: 10781323 Ratio:  99.99%)
  Bounded    : 60       (Average: 24.98 Max:  87 Sum:   1499 Ratio:   0.01%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4039701  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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


