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-5.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-5.pddl
Parsing...
Parsing: [0.050s CPU, 0.048s wall-clock]
Normalizing task... [0.000s CPU, 0.004s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.012s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.060s CPU, 0.059s wall-clock]
Preparing model... [0.030s CPU, 0.031s wall-clock]
Generated 115 rules.
Computing model... [0.380s CPU, 0.379s 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.170s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.120s CPU, 0.116s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.000s 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.152s wall-clock]
Building STRIPS to SAS dictionary... [0.010s 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.000s CPU, 0.003s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.040s CPU, 0.038s wall-clock]
Translating task: [0.720s CPU, 0.724s 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.354s 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.243s 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.280s CPU, 0.306s wall-clock]
Done! [3.010s CPU, 3.038s wall-clock]
planner.py version 0.0.1

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

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

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.13s
Memory:		 165MB (+2MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 0.66s
Memory:		 188MB (+23MB)
Solving...
[start: stats after solve call]

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

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.09s

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

Models       : 0
Calls        : 4
Time         : 2.650s (Solving: 0.56s 1st Model: 0.00s Unsat: 0.56s)
CPU Time     : 2.552s

Choices      : 16936    (Domain: 13544)
Conflicts    : 2185     (Analyzed: 2183)
Restarts     : 13       (Average: 167.92 Last: 148)
Model-Level  : 171.0   
Problems     : 4        (Average Length: 7.00 Splits: 0)
Lemmas       : 2183     (Deleted: 0)
  Binary     : 223      (Ratio:  10.22%)
  Ternary    : 378      (Ratio:  17.32%)
  Conflict   : 2183     (Average Length:   40.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2183     (Average:  7.73 Max: 145 Sum:  16864)
  Executed   : 2152     (Average:  7.58 Max: 145 Sum:  16558 Ratio:  98.19%)
  Bounded    : 31       (Average:  9.87 Max:  12 Sum:    306 Ratio:   1.81%)

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.95s
Memory:		 199MB (+11MB)
UNSAT
Iteration Time:	 1.42s

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

Models       : 0
Calls        : 5
Time         : 9.916s (Solving: 6.91s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 9.824s

Choices      : 108330   (Domain: 92579)
Conflicts    : 18075    (Analyzed: 18072)
Restarts     : 74       (Average: 244.22 Last: 1392)
Model-Level  : 171.0   
Problems     : 5        (Average Length: 9.00 Splits: 0)
Lemmas       : 18072    (Deleted: 7428)
  Binary     : 1087     (Ratio:   6.01%)
  Ternary    : 805      (Ratio:   4.45%)
  Conflict   : 18072    (Average Length:  338.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 18072    (Average:  5.88 Max: 515 Sum: 106329)
  Executed   : 18014    (Average:  5.84 Max: 515 Sum: 105592 Ratio:  99.31%)
  Bounded    : 58       (Average: 12.71 Max:  17 Sum:    737 Ratio:   0.69%)

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  : 439652   (Binary:  91.5% Ternary:   6.5% Other:   2.1%)

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

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

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

Models       : 0+
Calls        : 6
Time         : 25.527s (Solving: 21.59s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 25.444s

Choices      : 278957   (Domain: 245689)
Conflicts    : 46250    (Analyzed: 46247)
Restarts     : 174      (Average: 265.79 Last: 1392)
Model-Level  : 171.0   
Problems     : 6        (Average Length: 11.17 Splits: 0)
Lemmas       : 46247    (Deleted: 30924)
  Binary     : 2213     (Ratio:   4.79%)
  Ternary    : 1202     (Ratio:   2.60%)
  Conflict   : 46247    (Average Length:  420.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 46247    (Average:  5.83 Max: 515 Sum: 269466)
  Executed   : 46171    (Average:  5.80 Max: 515 Sum: 268374 Ratio:  99.59%)
  Bounded    : 76       (Average: 14.37 Max:  22 Sum:   1092 Ratio:   0.41%)

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  : 618988   (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.10s
Memory:		 242MB (+19MB)
UNKNOWN
Iteration Time:	 15.63s

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

Models       : 0+
Calls        : 7
Time         : 43.439s (Solving: 38.55s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 43.360s

Choices      : 501236   (Domain: 449529)
Conflicts    : 74418    (Analyzed: 74415)
Restarts     : 274      (Average: 271.59 Last: 1392)
Model-Level  : 171.0   
Problems     : 7        (Average Length: 13.43 Splits: 0)
Lemmas       : 74415    (Deleted: 57272)
  Binary     : 3417     (Ratio:   4.59%)
  Ternary    : 1382     (Ratio:   1.86%)
  Conflict   : 74415    (Average Length:  625.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 74415    (Average:  6.41 Max: 515 Sum: 477318)
  Executed   : 74337    (Average:  6.40 Max: 515 Sum: 476172 Ratio:  99.76%)
  Bounded    : 78       (Average: 14.69 Max:  27 Sum:   1146 Ratio:   0.24%)

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  : 819613   (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 17.38s
Memory:		 258MB (+14MB)
UNKNOWN
Iteration Time:	 17.93s

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

Models       : 0+
Calls        : 8
Time         : 62.061s (Solving: 56.06s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 61.992s

Choices      : 751925   (Domain: 693256)
Conflicts    : 102622   (Analyzed: 102619)
Restarts     : 374      (Average: 274.38 Last: 1392)
Model-Level  : 171.0   
Problems     : 8        (Average Length: 15.75 Splits: 0)
Lemmas       : 102619   (Deleted: 84294)
  Binary     : 4147     (Ratio:   4.04%)
  Ternary    : 1473     (Ratio:   1.44%)
  Conflict   : 102619   (Average Length:  710.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 102619   (Average:  6.95 Max: 515 Sum: 713236)
  Executed   : 102540   (Average:  6.94 Max: 515 Sum: 712058 Ratio:  99.83%)
  Bounded    : 79       (Average: 14.91 Max:  32 Sum:   1178 Ratio:   0.17%)

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  : 1018577  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 17.96s
Memory:		 354MB (+87MB)
UNKNOWN
Iteration Time:	 18.64s

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         : 76.759s (Solving: 70.72s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 76.696s

Choices      : 887124   (Domain: 828455)
Conflicts    : 130792   (Analyzed: 130789)
Restarts     : 474      (Average: 275.93 Last: 1392)
Model-Level  : 171.0   
Problems     : 9        (Average Length: 17.56 Splits: 0)
Lemmas       : 130789   (Deleted: 111521)
  Binary     : 4444     (Ratio:   3.40%)
  Ternary    : 1543     (Ratio:   1.18%)
  Conflict   : 130789   (Average Length:  650.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 130789   (Average:  6.44 Max: 515 Sum: 842570)
  Executed   : 130708   (Average:  6.43 Max: 515 Sum: 841328 Ratio:  99.85%)
  Bounded    : 81       (Average: 15.33 Max:  32 Sum:   1242 Ratio:   0.15%)

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  : 1016487  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 14.69s
Memory:		 354MB (+0MB)
UNKNOWN
Iteration Time:	 14.71s

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.627s (Solving: 86.55s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 92.572s

Choices      : 1057324  (Domain: 990152)
Conflicts    : 158988   (Analyzed: 158985)
Restarts     : 574      (Average: 276.98 Last: 1392)
Model-Level  : 171.0   
Problems     : 10       (Average Length: 19.00 Splits: 0)
Lemmas       : 158985   (Deleted: 138965)
  Binary     : 4894     (Ratio:   3.08%)
  Ternary    : 1614     (Ratio:   1.02%)
  Conflict   : 158985   (Average Length:  720.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 158985   (Average:  6.27 Max: 515 Sum: 997184)
  Executed   : 158904   (Average:  6.26 Max: 515 Sum: 995942 Ratio:  99.88%)
  Bounded    : 81       (Average: 15.33 Max:  32 Sum:   1242 Ratio:   0.12%)

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  : 1016457  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 15.86s
Memory:		 354MB (+0MB)
UNKNOWN
Iteration Time:	 15.88s

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         : 111.423s (Solving: 105.31s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 111.376s

Choices      : 1278018  (Domain: 1199244)
Conflicts    : 187148   (Analyzed: 187145)
Restarts     : 674      (Average: 277.66 Last: 1392)
Model-Level  : 171.0   
Problems     : 11       (Average Length: 20.18 Splits: 0)
Lemmas       : 187145   (Deleted: 165736)
  Binary     : 5713     (Ratio:   3.05%)
  Ternary    : 1752     (Ratio:   0.94%)
  Conflict   : 187145   (Average Length:  818.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 187145   (Average:  6.42 Max: 515 Sum: 1201184)
  Executed   : 187064   (Average:  6.41 Max: 515 Sum: 1199942 Ratio:  99.90%)
  Bounded    : 81       (Average: 15.33 Max:  32 Sum:   1242 Ratio:   0.10%)

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  : 1016457  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.79s
Memory:		 354MB (+0MB)
UNKNOWN
Iteration Time:	 18.81s

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

Models       : 0+
Calls        : 12
Time         : 130.310s (Solving: 123.20s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 130.268s

Choices      : 1501293  (Domain: 1407828)
Conflicts    : 215350   (Analyzed: 215347)
Restarts     : 774      (Average: 278.23 Last: 1392)
Model-Level  : 171.0   
Problems     : 12       (Average Length: 21.58 Splits: 0)
Lemmas       : 215347   (Deleted: 192349)
  Binary     : 6563     (Ratio:   3.05%)
  Ternary    : 1883     (Ratio:   0.87%)
  Conflict   : 215347   (Average Length:  855.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 215347   (Average:  6.51 Max: 515 Sum: 1402480)
  Executed   : 215265   (Average:  6.51 Max: 515 Sum: 1401201 Ratio:  99.91%)
  Bounded    : 82       (Average: 15.60 Max:  37 Sum:   1279 Ratio:   0.09%)

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  : 1217527  (Binary:  91.5% Ternary:   6.6% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 18.33s
Memory:		 369MB (+15MB)
UNKNOWN
Iteration Time:	 18.90s

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

Models       : 0+
Calls        : 13
Time         : 149.382s (Solving: 141.21s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 149.348s

Choices      : 1744916  (Domain: 1644089)
Conflicts    : 243525   (Analyzed: 243522)
Restarts     : 874      (Average: 278.63 Last: 1392)
Model-Level  : 171.0   
Problems     : 13       (Average Length: 23.15 Splits: 0)
Lemmas       : 243522   (Deleted: 219342)
  Binary     : 7233     (Ratio:   2.97%)
  Ternary    : 1947     (Ratio:   0.80%)
  Conflict   : 243522   (Average Length:  884.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 243522   (Average:  6.67 Max: 515 Sum: 1624058)
  Executed   : 243439   (Average:  6.66 Max: 515 Sum: 1622737 Ratio:  99.92%)
  Bounded    : 83       (Average: 15.92 Max:  42 Sum:   1321 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    : 199336   (Eliminated: 1674 Frozen: 188557)
Constraints  : 1418583  (Binary:  91.5% Ternary:   6.6% Other:   1.9%)

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

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

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

Models       : 0+
Calls        : 14
Time         : 169.286s (Solving: 160.09s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 169.260s

Choices      : 2035491  (Domain: 1925165)
Conflicts    : 271675   (Analyzed: 271672)
Restarts     : 974      (Average: 278.92 Last: 1392)
Model-Level  : 171.0   
Problems     : 14       (Average Length: 24.86 Splits: 0)
Lemmas       : 271672   (Deleted: 246502)
  Binary     : 7756     (Ratio:   2.85%)
  Ternary    : 2047     (Ratio:   0.75%)
  Conflict   : 271672   (Average Length:  910.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 271672   (Average:  6.95 Max: 515 Sum: 1889281)
  Executed   : 271588   (Average:  6.95 Max: 515 Sum: 1887913 Ratio:  99.93%)
  Bounded    : 84       (Average: 16.29 Max:  47 Sum:   1368 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    : 225732   (Eliminated: 1674 Frozen: 214953)
Constraints  : 1619635  (Binary:  91.5% Ternary:   6.6% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.32s
Memory:		 417MB (+28MB)
UNKNOWN
Iteration Time:	 19.92s

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

Models       : 0+
Calls        : 15
Time         : 190.117s (Solving: 179.87s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 190.096s

Choices      : 2379444  (Domain: 2249307)
Conflicts    : 299834   (Analyzed: 299831)
Restarts     : 1074     (Average: 279.17 Last: 1392)
Model-Level  : 171.0   
Problems     : 15       (Average Length: 26.67 Splits: 0)
Lemmas       : 299831   (Deleted: 273071)
  Binary     : 8594     (Ratio:   2.87%)
  Ternary    : 2214     (Ratio:   0.74%)
  Conflict   : 299831   (Average Length:  927.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 299831   (Average:  7.34 Max: 814 Sum: 2200972)
  Executed   : 299747   (Average:  7.34 Max: 814 Sum: 2199604 Ratio:  99.94%)
  Bounded    : 84       (Average: 16.29 Max:  47 Sum:   1368 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    : 252128   (Eliminated: 1674 Frozen: 241349)
Constraints  : 1820681  (Binary:  91.5% Ternary:   6.6% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.24s
Memory:		 432MB (+15MB)
UNKNOWN
Iteration Time:	 20.85s

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

Models       : 0+
Calls        : 16
Time         : 209.882s (Solving: 198.53s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 209.868s

Choices      : 2681609  (Domain: 2545242)
Conflicts    : 328084   (Analyzed: 328081)
Restarts     : 1174     (Average: 279.46 Last: 1392)
Model-Level  : 171.0   
Problems     : 16       (Average Length: 28.56 Splits: 0)
Lemmas       : 328081   (Deleted: 300289)
  Binary     : 9099     (Ratio:   2.77%)
  Ternary    : 2280     (Ratio:   0.69%)
  Conflict   : 328081   (Average Length:  924.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 328081   (Average:  7.55 Max: 814 Sum: 2476892)
  Executed   : 327997   (Average:  7.55 Max: 814 Sum: 2475524 Ratio:  99.94%)
  Bounded    : 84       (Average: 16.29 Max:  47 Sum:   1368 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    : 278524   (Eliminated: 1674 Frozen: 267745)
Constraints  : 2021751  (Binary:  91.5% Ternary:   6.6% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.12s
Memory:		 449MB (+17MB)
UNKNOWN
Iteration Time:	 19.78s

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

Models       : 0+
Calls        : 17
Time         : 229.422s (Solving: 217.00s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 229.416s

Choices      : 3112283  (Domain: 2967624)
Conflicts    : 356299   (Analyzed: 356296)
Restarts     : 1274     (Average: 279.67 Last: 1392)
Model-Level  : 171.0   
Problems     : 17       (Average Length: 30.53 Splits: 0)
Lemmas       : 356296   (Deleted: 327458)
  Binary     : 9643     (Ratio:   2.71%)
  Ternary    : 2358     (Ratio:   0.66%)
  Conflict   : 356296   (Average Length:  915.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 356296   (Average:  8.08 Max: 814 Sum: 2878814)
  Executed   : 356212   (Average:  8.08 Max: 814 Sum: 2877446 Ratio:  99.95%)
  Bounded    : 84       (Average: 16.29 Max:  47 Sum:   1368 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    : 304920   (Eliminated: 1674 Frozen: 294141)
Constraints  : 2222821  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 18.93s
Memory:		 467MB (+18MB)
UNKNOWN
Iteration Time:	 19.56s

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: 563.0MB
Grounding...	 [('step', [61]), ('step', [62]), ('step', [63]), ('step', [64]), ('step', [65]), ('check', [65])]
Grounding Time:	 0.39s
Memory:		 467MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 18
Time         : 250.758s (Solving: 237.22s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 250.764s

Choices      : 3459164  (Domain: 3310797)
Conflicts    : 384484   (Analyzed: 384481)
Restarts     : 1374     (Average: 279.83 Last: 1392)
Model-Level  : 171.0   
Problems     : 18       (Average Length: 32.56 Splits: 0)
Lemmas       : 384481   (Deleted: 354410)
  Binary     : 10102    (Ratio:   2.63%)
  Ternary    : 2414     (Ratio:   0.63%)
  Conflict   : 384481   (Average Length:  922.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 384481   (Average:  8.33 Max: 814 Sum: 3203628)
  Executed   : 384396   (Average:  8.33 Max: 814 Sum: 3202193 Ratio:  99.96%)
  Bounded    : 85       (Average: 16.88 Max:  67 Sum:   1435 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    : 331316   (Eliminated: 1674 Frozen: 320537)
Constraints  : 2423891  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.69s
Memory:		 508MB (+41MB)
UNKNOWN
Iteration Time:	 21.35s

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

Models       : 0+
Calls        : 19
Time         : 276.657s (Solving: 261.86s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 276.672s

Choices      : 4015139  (Domain: 3862086)
Conflicts    : 412681   (Analyzed: 412678)
Restarts     : 1474     (Average: 279.97 Last: 1392)
Model-Level  : 171.0   
Problems     : 19       (Average Length: 34.63 Splits: 0)
Lemmas       : 412678   (Deleted: 381125)
  Binary     : 11277    (Ratio:   2.73%)
  Ternary    : 2653     (Ratio:   0.64%)
  Conflict   : 412678   (Average Length:  921.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 412678   (Average:  9.01 Max: 814 Sum: 3717012)
  Executed   : 412593   (Average:  9.00 Max: 814 Sum: 3715577 Ratio:  99.96%)
  Bounded    : 85       (Average: 16.88 Max:  67 Sum:   1435 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    : 357712   (Eliminated: 1674 Frozen: 346933)
Constraints  : 2624944  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 25.11s
Memory:		 534MB (+14MB)
UNKNOWN
Iteration Time:	 25.92s

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

Models       : 0+
Calls        : 20
Time         : 300.655s (Solving: 284.75s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 300.680s

Choices      : 4480623  (Domain: 4323374)
Conflicts    : 440888   (Analyzed: 440885)
Restarts     : 1574     (Average: 280.10 Last: 1392)
Model-Level  : 171.0   
Problems     : 20       (Average Length: 36.75 Splits: 0)
Lemmas       : 440885   (Deleted: 407670)
  Binary     : 12167    (Ratio:   2.76%)
  Ternary    : 2796     (Ratio:   0.63%)
  Conflict   : 440885   (Average Length:  921.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 440885   (Average:  9.39 Max: 814 Sum: 4141624)
  Executed   : 440799   (Average:  9.39 Max: 814 Sum: 4140112 Ratio:  99.96%)
  Bounded    : 86       (Average: 17.58 Max:  77 Sum:   1512 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    : 384108   (Eliminated: 1674 Frozen: 373329)
Constraints  : 2826014  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.37s
Memory:		 548MB (+14MB)
UNKNOWN
Iteration Time:	 24.02s

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

Models       : 0+
Calls        : 21
Time         : 321.546s (Solving: 304.51s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 321.580s

Choices      : 4761304  (Domain: 4603743)
Conflicts    : 469086   (Analyzed: 469083)
Restarts     : 1674     (Average: 280.22 Last: 1392)
Model-Level  : 171.0   
Problems     : 21       (Average Length: 38.90 Splits: 0)
Lemmas       : 469083   (Deleted: 434639)
  Binary     : 12525    (Ratio:   2.67%)
  Ternary    : 2866     (Ratio:   0.61%)
  Conflict   : 469083   (Average Length:  910.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 469083   (Average:  9.38 Max: 814 Sum: 4400677)
  Executed   : 468997   (Average:  9.38 Max: 814 Sum: 4399165 Ratio:  99.97%)
  Bounded    : 86       (Average: 17.58 Max:  77 Sum:   1512 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  : 3027060  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.25s
Memory:		 565MB (+17MB)
UNKNOWN
Iteration Time:	 20.91s

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

Models       : 0+
Calls        : 22
Time         : 344.952s (Solving: 326.78s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 344.996s

Choices      : 5007487  (Domain: 4849914)
Conflicts    : 497266   (Analyzed: 497263)
Restarts     : 1774     (Average: 280.31 Last: 1392)
Model-Level  : 171.0   
Problems     : 22       (Average Length: 41.09 Splits: 0)
Lemmas       : 497263   (Deleted: 461933)
  Binary     : 12842    (Ratio:   2.58%)
  Ternary    : 2898     (Ratio:   0.58%)
  Conflict   : 497263   (Average Length:  926.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 497263   (Average:  9.28 Max: 814 Sum: 4616054)
  Executed   : 497176   (Average:  9.28 Max: 814 Sum: 4614455 Ratio:  99.97%)
  Bounded    : 87       (Average: 18.38 Max:  87 Sum:   1599 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: 426121)
Constraints  : 3228130  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.75s
Memory:		 583MB (+18MB)
UNKNOWN
Iteration Time:	 23.42s

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         : 358.080s (Solving: 339.81s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 358.128s

Choices      : 5154732  (Domain: 4997159)
Conflicts    : 525447   (Analyzed: 525444)
Restarts     : 1874     (Average: 280.39 Last: 1392)
Model-Level  : 171.0   
Problems     : 23       (Average Length: 43.09 Splits: 0)
Lemmas       : 525444   (Deleted: 488270)
  Binary     : 13121    (Ratio:   2.50%)
  Ternary    : 2948     (Ratio:   0.56%)
  Conflict   : 525444   (Average Length:  899.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 525444   (Average:  9.05 Max: 814 Sum: 4756577)
  Executed   : 525356   (Average:  9.05 Max: 814 Sum: 4754891 Ratio:  99.96%)
  Bounded    : 88       (Average: 19.16 Max:  87 Sum:   1686 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    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3228117  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 13.10s
Memory:		 583MB (+0MB)
UNKNOWN
Iteration Time:	 13.14s

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         : 379.260s (Solving: 360.89s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 379.316s

Choices      : 5359867  (Domain: 5200831)
Conflicts    : 553628   (Analyzed: 553625)
Restarts     : 1974     (Average: 280.46 Last: 1392)
Model-Level  : 171.0   
Problems     : 24       (Average Length: 44.92 Splits: 0)
Lemmas       : 553625   (Deleted: 516880)
  Binary     : 13372    (Ratio:   2.42%)
  Ternary    : 2970     (Ratio:   0.54%)
  Conflict   : 553625   (Average Length:  918.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 553625   (Average:  8.93 Max: 814 Sum: 4946514)
  Executed   : 553535   (Average:  8.93 Max: 814 Sum: 4944654 Ratio:  99.96%)
  Bounded    : 90       (Average: 20.67 Max:  87 Sum:   1860 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    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3228103  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

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

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         : 398.431s (Solving: 379.96s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 398.492s

Choices      : 5540403  (Domain: 5381351)
Conflicts    : 581848   (Analyzed: 581845)
Restarts     : 2074     (Average: 280.54 Last: 1392)
Model-Level  : 171.0   
Problems     : 25       (Average Length: 46.60 Splits: 0)
Lemmas       : 581845   (Deleted: 544544)
  Binary     : 13536    (Ratio:   2.33%)
  Ternary    : 2994     (Ratio:   0.51%)
  Conflict   : 581845   (Average Length:  928.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 581845   (Average:  8.78 Max: 814 Sum: 5108694)
  Executed   : 581755   (Average:  8.78 Max: 814 Sum: 5106834 Ratio:  99.96%)
  Bounded    : 90       (Average: 20.67 Max:  87 Sum:   1860 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    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3228062  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.14s
Memory:		 583MB (+0MB)
UNKNOWN
Iteration Time:	 19.18s

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         : 422.152s (Solving: 403.55s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 422.224s

Choices      : 5720270  (Domain: 5561204)
Conflicts    : 610012   (Analyzed: 610009)
Restarts     : 2174     (Average: 280.59 Last: 1392)
Model-Level  : 171.0   
Problems     : 26       (Average Length: 48.15 Splits: 0)
Lemmas       : 610009   (Deleted: 572144)
  Binary     : 13772    (Ratio:   2.26%)
  Ternary    : 3022     (Ratio:   0.50%)
  Conflict   : 610009   (Average Length:  958.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 610009   (Average:  8.64 Max: 814 Sum: 5269215)
  Executed   : 609919   (Average:  8.63 Max: 814 Sum: 5267355 Ratio:  99.96%)
  Bounded    : 90       (Average: 20.67 Max:  87 Sum:   1860 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    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3228062  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.67s
Memory:		 647MB (+64MB)
UNKNOWN
Iteration Time:	 23.73s

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         : 442.783s (Solving: 424.04s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 442.864s

Choices      : 5964315  (Domain: 5805051)
Conflicts    : 638217   (Analyzed: 638214)
Restarts     : 2274     (Average: 280.66 Last: 1392)
Model-Level  : 171.0   
Problems     : 27       (Average Length: 49.59 Splits: 0)
Lemmas       : 638214   (Deleted: 599527)
  Binary     : 14083    (Ratio:   2.21%)
  Ternary    : 3077     (Ratio:   0.48%)
  Conflict   : 638214   (Average Length:  961.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 638214   (Average:  8.60 Max: 814 Sum: 5491022)
  Executed   : 638124   (Average:  8.60 Max: 814 Sum: 5489162 Ratio:  99.97%)
  Bounded    : 90       (Average: 20.67 Max:  87 Sum:   1860 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  : 3228062  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.58s
Memory:		 647MB (+0MB)
UNKNOWN
Iteration Time:	 20.64s

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         : 462.073s (Solving: 443.23s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 462.160s

Choices      : 6176193  (Domain: 6016773)
Conflicts    : 666409   (Analyzed: 666406)
Restarts     : 2374     (Average: 280.71 Last: 1392)
Model-Level  : 171.0   
Problems     : 28       (Average Length: 50.93 Splits: 0)
Lemmas       : 666406   (Deleted: 627164)
  Binary     : 14302    (Ratio:   2.15%)
  Ternary    : 3102     (Ratio:   0.47%)
  Conflict   : 666406   (Average Length:  958.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 666406   (Average:  8.53 Max: 814 Sum: 5682912)
  Executed   : 666316   (Average:  8.52 Max: 814 Sum: 5681052 Ratio:  99.97%)
  Bounded    : 90       (Average: 20.67 Max:  87 Sum:   1860 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  : 3228062  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.26s
Memory:		 647MB (+0MB)
UNKNOWN
Iteration Time:	 19.30s

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         : 484.472s (Solving: 465.54s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 484.568s

Choices      : 6435324  (Domain: 6275786)
Conflicts    : 694624   (Analyzed: 694621)
Restarts     : 2474     (Average: 280.77 Last: 1392)
Model-Level  : 171.0   
Problems     : 29       (Average Length: 52.17 Splits: 0)
Lemmas       : 694621   (Deleted: 654319)
  Binary     : 14700    (Ratio:   2.12%)
  Ternary    : 3155     (Ratio:   0.45%)
  Conflict   : 694621   (Average Length:  969.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 694621   (Average:  8.52 Max: 814 Sum: 5915477)
  Executed   : 694531   (Average:  8.51 Max: 814 Sum: 5913617 Ratio:  99.97%)
  Bounded    : 90       (Average: 20.67 Max:  87 Sum:   1860 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  : 3228062  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

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

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         : 505.217s (Solving: 486.16s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 505.320s

Choices      : 6669183  (Domain: 6509186)
Conflicts    : 722838   (Analyzed: 722835)
Restarts     : 2574     (Average: 280.82 Last: 1392)
Model-Level  : 171.0   
Problems     : 30       (Average Length: 53.33 Splits: 0)
Lemmas       : 722835   (Deleted: 681840)
  Binary     : 15024    (Ratio:   2.08%)
  Ternary    : 3197     (Ratio:   0.44%)
  Conflict   : 722835   (Average Length:  969.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 722835   (Average:  8.47 Max: 814 Sum: 6121457)
  Executed   : 722744   (Average:  8.47 Max: 814 Sum: 6119510 Ratio:  99.97%)
  Bounded    : 91       (Average: 21.40 Max:  87 Sum:   1947 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  : 3228062  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.70s
Memory:		 647MB (+0MB)
UNKNOWN
Iteration Time:	 20.76s

Iteration 30
Queue:		 [(12,60,1,True), (13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,1,True), (17,85,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         : 526.654s (Solving: 507.50s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 526.768s

Choices      : 6950413  (Domain: 6790138)
Conflicts    : 751031   (Analyzed: 751028)
Restarts     : 2674     (Average: 280.86 Last: 1392)
Model-Level  : 171.0   
Problems     : 31       (Average Length: 54.42 Splits: 0)
Lemmas       : 751028   (Deleted: 708999)
  Binary     : 15577    (Ratio:   2.07%)
  Ternary    : 3258     (Ratio:   0.43%)
  Conflict   : 751028   (Average Length:  974.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 751028   (Average:  8.48 Max: 814 Sum: 6370384)
  Executed   : 750937   (Average:  8.48 Max: 814 Sum: 6368437 Ratio:  99.97%)
  Bounded    : 91       (Average: 21.40 Max:  87 Sum:   1947 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  : 3228045  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.41s
Memory:		 647MB (+0MB)
UNKNOWN
Iteration Time:	 21.45s

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         : 547.194s (Solving: 527.91s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 547.316s

Choices      : 7217984  (Domain: 7057698)
Conflicts    : 779225   (Analyzed: 779222)
Restarts     : 2774     (Average: 280.90 Last: 1392)
Model-Level  : 171.0   
Problems     : 32       (Average Length: 55.44 Splits: 0)
Lemmas       : 779222   (Deleted: 736535)
  Binary     : 15855    (Ratio:   2.03%)
  Ternary    : 3322     (Ratio:   0.43%)
  Conflict   : 779222   (Average Length:  972.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 779222   (Average:  8.48 Max: 814 Sum: 6611258)
  Executed   : 779130   (Average:  8.48 Max: 814 Sum: 6609224 Ratio:  99.97%)
  Bounded    : 92       (Average: 22.11 Max:  87 Sum:   2034 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  : 3228045  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.50s
Memory:		 647MB (+0MB)
UNKNOWN
Iteration Time:	 20.55s

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         : 566.232s (Solving: 546.85s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 566.364s

Choices      : 7502407  (Domain: 7340246)
Conflicts    : 807425   (Analyzed: 807422)
Restarts     : 2874     (Average: 280.94 Last: 1392)
Model-Level  : 171.0   
Problems     : 33       (Average Length: 56.39 Splits: 0)
Lemmas       : 807422   (Deleted: 763689)
  Binary     : 16242    (Ratio:   2.01%)
  Ternary    : 3382     (Ratio:   0.42%)
  Conflict   : 807422   (Average Length:  965.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 807422   (Average:  8.50 Max: 814 Sum: 6861899)
  Executed   : 807329   (Average:  8.50 Max: 814 Sum: 6859778 Ratio:  99.97%)
  Bounded    : 93       (Average: 22.81 Max:  87 Sum:   2121 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  : 3228028  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.01s
Memory:		 647MB (+0MB)
UNKNOWN
Iteration Time:	 19.05s

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         : 587.737s (Solving: 568.26s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 587.880s

Choices      : 7760830  (Domain: 7598633)
Conflicts    : 835615   (Analyzed: 835612)
Restarts     : 2974     (Average: 280.97 Last: 1392)
Model-Level  : 171.0   
Problems     : 34       (Average Length: 57.29 Splits: 0)
Lemmas       : 835612   (Deleted: 787969)
  Binary     : 16402    (Ratio:   1.96%)
  Ternary    : 3396     (Ratio:   0.41%)
  Conflict   : 835612   (Average Length:  968.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 835612   (Average:  8.48 Max: 814 Sum: 7088254)
  Executed   : 835519   (Average:  8.48 Max: 814 Sum: 7086133 Ratio:  99.97%)
  Bounded    : 93       (Average: 22.81 Max:  87 Sum:   2121 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  : 3228014  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.48s
Memory:		 647MB (+0MB)
UNKNOWN
Iteration Time:	 21.52s

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         : 608.078s (Solving: 588.49s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 608.232s

Choices      : 8042608  (Domain: 7879811)
Conflicts    : 863814   (Analyzed: 863811)
Restarts     : 3074     (Average: 281.01 Last: 1392)
Model-Level  : 171.0   
Problems     : 35       (Average Length: 58.14 Splits: 0)
Lemmas       : 863811   (Deleted: 818854)
  Binary     : 16721    (Ratio:   1.94%)
  Ternary    : 3431     (Ratio:   0.40%)
  Conflict   : 863811   (Average Length:  970.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 863811   (Average:  8.49 Max: 814 Sum: 7333413)
  Executed   : 863718   (Average:  8.49 Max: 814 Sum: 7331292 Ratio:  99.97%)
  Bounded    : 93       (Average: 22.81 Max:  87 Sum:   2121 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  : 3228014  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

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

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         : 629.398s (Solving: 609.69s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 629.560s

Choices      : 8363882  (Domain: 8200618)
Conflicts    : 892011   (Analyzed: 892008)
Restarts     : 3174     (Average: 281.04 Last: 1392)
Model-Level  : 171.0   
Problems     : 36       (Average Length: 58.94 Splits: 0)
Lemmas       : 892008   (Deleted: 842622)
  Binary     : 17039    (Ratio:   1.91%)
  Ternary    : 3464     (Ratio:   0.39%)
  Conflict   : 892008   (Average Length:  975.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 892008   (Average:  8.53 Max: 814 Sum: 7611236)
  Executed   : 891914   (Average:  8.53 Max: 814 Sum: 7609028 Ratio:  99.97%)
  Bounded    : 94       (Average: 23.49 Max:  87 Sum:   2208 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  : 3228014  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.28s
Memory:		 647MB (+0MB)
UNKNOWN
Iteration Time:	 21.33s

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

Models       : 0+
Calls        : 37
Time         : 653.690s (Solving: 632.76s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 653.864s

Choices      : 8680149  (Domain: 8516346)
Conflicts    : 920180   (Analyzed: 920177)
Restarts     : 3274     (Average: 281.06 Last: 1392)
Model-Level  : 171.0   
Problems     : 37       (Average Length: 59.84 Splits: 0)
Lemmas       : 920177   (Deleted: 874013)
  Binary     : 17324    (Ratio:   1.88%)
  Ternary    : 3508     (Ratio:   0.38%)
  Conflict   : 920177   (Average Length:  977.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 920177   (Average:  8.57 Max: 814 Sum: 7888660)
  Executed   : 920083   (Average:  8.57 Max: 814 Sum: 7886452 Ratio:  99.97%)
  Bounded    : 94       (Average: 23.49 Max:  87 Sum:   2208 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    : 463296   (Eliminated: 1674 Frozen: 452517)
Constraints  : 3429070  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.57s
Memory:		 668MB (+21MB)
UNKNOWN
Iteration Time:	 24.31s

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

Models       : 0+
Calls        : 38
Time         : 677.205s (Solving: 655.06s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 677.388s

Choices      : 9081916  (Domain: 8916067)
Conflicts    : 948403   (Analyzed: 948400)
Restarts     : 3374     (Average: 281.09 Last: 1392)
Model-Level  : 171.0   
Problems     : 38       (Average Length: 60.82 Splits: 0)
Lemmas       : 948400   (Deleted: 901075)
  Binary     : 17756    (Ratio:   1.87%)
  Ternary    : 3586     (Ratio:   0.38%)
  Conflict   : 948400   (Average Length:  976.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 948400   (Average:  8.70 Max: 814 Sum: 8247930)
  Executed   : 948306   (Average:  8.69 Max: 814 Sum: 8245722 Ratio:  99.97%)
  Bounded    : 94       (Average: 23.49 Max:  87 Sum:   2208 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    : 489692   (Eliminated: 1674 Frozen: 478913)
Constraints  : 3630140  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.79s
Memory:		 718MB (+50MB)
UNKNOWN
Iteration Time:	 23.54s

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

Models       : 0+
Calls        : 39
Time         : 701.194s (Solving: 677.85s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 701.388s

Choices      : 9379877  (Domain: 9213991)
Conflicts    : 976605   (Analyzed: 976602)
Restarts     : 3474     (Average: 281.12 Last: 1392)
Model-Level  : 171.0   
Problems     : 39       (Average Length: 61.87 Splits: 0)
Lemmas       : 976602   (Deleted: 928815)
  Binary     : 17934    (Ratio:   1.84%)
  Ternary    : 3621     (Ratio:   0.37%)
  Conflict   : 976602   (Average Length:  975.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 976602   (Average:  8.71 Max: 814 Sum: 8506973)
  Executed   : 976508   (Average:  8.71 Max: 814 Sum: 8504765 Ratio:  99.97%)
  Bounded    : 94       (Average: 23.49 Max:  87 Sum:   2208 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    : 516088   (Eliminated: 1674 Frozen: 505309)
Constraints  : 3831210  (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:	 23.29s
Memory:		 737MB (+19MB)
UNKNOWN
Iteration Time:	 24.01s

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

Models       : 0+
Calls        : 40
Time         : 724.004s (Solving: 699.46s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 724.208s

Choices      : 9648938  (Domain: 9483048)
Conflicts    : 1004781  (Analyzed: 1004778)
Restarts     : 3574     (Average: 281.14 Last: 1392)
Model-Level  : 171.0   
Problems     : 40       (Average Length: 63.00 Splits: 0)
Lemmas       : 1004778  (Deleted: 956453)
  Binary     : 18090    (Ratio:   1.80%)
  Ternary    : 3631     (Ratio:   0.36%)
  Conflict   : 1004778  (Average Length:  969.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1004778  (Average:  8.70 Max: 814 Sum: 8743142)
  Executed   : 1004683  (Average:  8.70 Max: 814 Sum: 8740827 Ratio:  99.97%)
  Bounded    : 95       (Average: 24.37 Max: 107 Sum:   2315 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    : 542484   (Eliminated: 1674 Frozen: 531705)
Constraints  : 4032280  (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:	 22.10s
Memory:		 742MB (+5MB)
UNKNOWN
Iteration Time:	 22.83s

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         : 739.417s (Solving: 714.75s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 739.628s

Choices      : 9791172  (Domain: 9625282)
Conflicts    : 1032953  (Analyzed: 1032950)
Restarts     : 3674     (Average: 281.15 Last: 1392)
Model-Level  : 171.0   
Problems     : 41       (Average Length: 64.07 Splits: 0)
Lemmas       : 1032950  (Deleted: 983805)
  Binary     : 18254    (Ratio:   1.77%)
  Ternary    : 3702     (Ratio:   0.36%)
  Conflict   : 1032950  (Average Length:  953.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1032950  (Average:  8.60 Max: 814 Sum: 8880408)
  Executed   : 1032855  (Average:  8.59 Max: 814 Sum: 8878093 Ratio:  99.97%)
  Bounded    : 95       (Average: 24.37 Max: 107 Sum:   2315 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    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4032256  (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.38s
Memory:		 742MB (+0MB)
UNKNOWN
Iteration Time:	 15.42s

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         : 771.451s (Solving: 746.65s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 771.672s

Choices      : 9977040  (Domain: 9811150)
Conflicts    : 1061096  (Analyzed: 1061093)
Restarts     : 3774     (Average: 281.16 Last: 1392)
Model-Level  : 171.0   
Problems     : 42       (Average Length: 65.10 Splits: 0)
Lemmas       : 1061093  (Deleted: 1011369)
  Binary     : 18382    (Ratio:   1.73%)
  Ternary    : 3718     (Ratio:   0.35%)
  Conflict   : 1061093  (Average Length:  961.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1061093  (Average:  8.53 Max: 814 Sum: 9052438)
  Executed   : 1060996  (Average:  8.53 Max: 814 Sum: 9049909 Ratio:  99.97%)
  Bounded    : 97       (Average: 26.07 Max: 107 Sum:   2529 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    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4032256  (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:	 32.00s
Memory:		 742MB (+0MB)
UNKNOWN
Iteration Time:	 32.05s

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         : 792.264s (Solving: 767.33s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 792.492s

Choices      : 10165157 (Domain: 9999267)
Conflicts    : 1089287  (Analyzed: 1089284)
Restarts     : 3874     (Average: 281.18 Last: 1392)
Model-Level  : 171.0   
Problems     : 43       (Average Length: 66.07 Splits: 0)
Lemmas       : 1089284  (Deleted: 1038997)
  Binary     : 18575    (Ratio:   1.71%)
  Ternary    : 3745     (Ratio:   0.34%)
  Conflict   : 1089284  (Average Length:  962.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1089284  (Average:  8.47 Max: 814 Sum: 9221576)
  Executed   : 1089186  (Average:  8.46 Max: 814 Sum: 9218940 Ratio:  99.97%)
  Bounded    : 98       (Average: 26.90 Max: 107 Sum:   2636 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    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4032208  (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.77s
Memory:		 742MB (+0MB)
UNKNOWN
Iteration Time:	 20.83s

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         : 810.541s (Solving: 785.45s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 810.776s

Choices      : 10367862 (Domain: 10201972)
Conflicts    : 1117470  (Analyzed: 1117467)
Restarts     : 3974     (Average: 281.19 Last: 1392)
Model-Level  : 171.0   
Problems     : 44       (Average Length: 67.00 Splits: 0)
Lemmas       : 1117467  (Deleted: 1066717)
  Binary     : 18716    (Ratio:   1.67%)
  Ternary    : 3767     (Ratio:   0.34%)
  Conflict   : 1117467  (Average Length:  958.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1117467  (Average:  8.41 Max: 814 Sum: 9403263)
  Executed   : 1117367  (Average:  8.41 Max: 814 Sum: 9400413 Ratio:  99.97%)
  Bounded    : 100      (Average: 28.50 Max: 107 Sum:   2850 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    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4032191  (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:	 18.22s
Memory:		 742MB (+0MB)
UNKNOWN
Iteration Time:	 18.29s

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         : 828.958s (Solving: 803.73s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 829.204s

Choices      : 10562472 (Domain: 10396582)
Conflicts    : 1145627  (Analyzed: 1145624)
Restarts     : 4074     (Average: 281.20 Last: 1392)
Model-Level  : 171.0   
Problems     : 45       (Average Length: 67.89 Splits: 0)
Lemmas       : 1145624  (Deleted: 1094172)
  Binary     : 18887    (Ratio:   1.65%)
  Ternary    : 3788     (Ratio:   0.33%)
  Conflict   : 1145624  (Average Length:  955.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1145624  (Average:  8.36 Max: 814 Sum: 9572113)
  Executed   : 1145524  (Average:  8.35 Max: 814 Sum: 9569263 Ratio:  99.97%)
  Bounded    : 100      (Average: 28.50 Max: 107 Sum:   2850 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    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4032143  (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:	 18.37s
Memory:		 742MB (+0MB)
UNKNOWN
Iteration Time:	 18.43s

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

Models       : 0+
Calls        : 46
Time         : 848.651s (Solving: 823.28s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 848.904s

Choices      : 10775316 (Domain: 10609417)
Conflicts    : 1173799  (Analyzed: 1173796)
Restarts     : 4174     (Average: 281.22 Last: 1392)
Model-Level  : 171.0   
Problems     : 46       (Average Length: 68.74 Splits: 0)
Lemmas       : 1173796  (Deleted: 1118254)
  Binary     : 19151    (Ratio:   1.63%)
  Ternary    : 3848     (Ratio:   0.33%)
  Conflict   : 1173796  (Average Length:  954.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1173796  (Average:  8.31 Max: 814 Sum: 9756952)
  Executed   : 1173696  (Average:  8.31 Max: 814 Sum: 9754102 Ratio:  99.97%)
  Bounded    : 100      (Average: 28.50 Max: 107 Sum:   2850 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    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4032143  (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.65s
Memory:		 742MB (+0MB)
UNKNOWN
Iteration Time:	 19.70s

Iteration 46
Queue:		 [(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        : 47
Time         : 869.042s (Solving: 843.55s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 869.304s

Choices      : 11004459 (Domain: 10838417)
Conflicts    : 1201987  (Analyzed: 1201984)
Restarts     : 4274     (Average: 281.23 Last: 1392)
Model-Level  : 171.0   
Problems     : 47       (Average Length: 69.55 Splits: 0)
Lemmas       : 1201984  (Deleted: 1149290)
  Binary     : 19415    (Ratio:   1.62%)
  Ternary    : 3880     (Ratio:   0.32%)
  Conflict   : 1201984  (Average Length:  954.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1201984  (Average:  8.28 Max: 814 Sum: 9955806)
  Executed   : 1201884  (Average:  8.28 Max: 814 Sum: 9952956 Ratio:  99.97%)
  Bounded    : 100      (Average: 28.50 Max: 107 Sum:   2850 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    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4032143  (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.35s
Memory:		 742MB (+0MB)
UNKNOWN
Iteration Time:	 20.40s

Iteration 47
Queue:		 [(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        : 48
Time         : 889.008s (Solving: 863.39s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 889.280s

Choices      : 11247808 (Domain: 11081686)
Conflicts    : 1230177  (Analyzed: 1230174)
Restarts     : 4374     (Average: 281.25 Last: 1392)
Model-Level  : 171.0   
Problems     : 48       (Average Length: 70.33 Splits: 0)
Lemmas       : 1230174  (Deleted: 1176733)
  Binary     : 19666    (Ratio:   1.60%)
  Ternary    : 3929     (Ratio:   0.32%)
  Conflict   : 1230174  (Average Length:  952.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1230174  (Average:  8.26 Max: 814 Sum: 10166520)
  Executed   : 1230074  (Average:  8.26 Max: 814 Sum: 10163670 Ratio:  99.97%)
  Bounded    : 100      (Average: 28.50 Max: 107 Sum:   2850 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    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4032143  (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.93s
Memory:		 742MB (+0MB)
UNKNOWN
Iteration Time:	 19.98s

Iteration 48
Queue:		 [(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        : 49
Time         : 909.356s (Solving: 883.61s 1st Model: 0.00s Unsat: 6.90s)
CPU Time     : 909.620s

Choices      : 11490075 (Domain: 11323943)
Conflicts    : 1258410  (Analyzed: 1258407)
Restarts     : 4474     (Average: 281.27 Last: 1392)
Model-Level  : 171.0   
Problems     : 49       (Average Length: 71.08 Splits: 0)
Lemmas       : 1258407  (Deleted: 1204116)
  Binary     : 19996    (Ratio:   1.59%)
  Ternary    : 3965     (Ratio:   0.32%)
  Conflict   : 1258407  (Average Length:  952.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1258407  (Average:  8.24 Max: 814 Sum: 10372045)
  Executed   : 1258307  (Average:  8.24 Max: 814 Sum: 10369195 Ratio:  99.97%)
  Bounded    : 100      (Average: 28.50 Max: 107 Sum:   2850 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    : 542484   (Eliminated: 1674 Frozen: 540810)
Constraints  : 4032143  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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


