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-6.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-6.pddl
Parsing...
Parsing: [0.030s CPU, 0.035s wall-clock]
Normalizing task... [0.010s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.009s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.040s CPU, 0.046s wall-clock]
Preparing model... [0.020s CPU, 0.025s wall-clock]
Generated 115 rules.
Computing model... [0.370s CPU, 0.369s wall-clock]
2300 relevant atoms
2393 auxiliary atoms
4693 final queue length
8087 total queue pushes
Completing instantiation... [0.690s CPU, 0.684s wall-clock]
Instantiating: [1.130s CPU, 1.139s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.140s CPU, 0.141s 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.180s CPU, 0.176s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.002s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.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.040s wall-clock]
Translating task: [0.720s CPU, 0.726s 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.355s 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.241s 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.290s CPU, 0.316s wall-clock]
Done! [2.990s CPU, 3.027s wall-clock]
planner.py version 0.0.1

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

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.01s
Memory:		 163MB (+72MB)
UNSAT
Iteration Time:	 0.01s

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

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

Choices      : 86       (Domain: 49)
Conflicts    : 23       (Analyzed: 22)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 22       (Deleted: 0)
  Binary     : 7        (Ratio:  31.82%)
  Ternary    : 1        (Ratio:   4.55%)
  Conflict   : 22       (Average Length:    4.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 22       (Average:  3.95 Max:  19 Sum:     87)
  Executed   : 21       (Average:  3.91 Max:  19 Sum:     86 Ratio:  98.85%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   1.15%)

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       : 0

[endof: stats after solve call]
Solving Time:	 0.17s
Memory:		 165MB (+2MB)
UNSAT
Iteration Time:	 0.58s

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

Models       : 1+
Calls        : 3
Time         : 2.095s (Solving: 0.03s 1st Model: 0.03s Unsat: 0.00s)
CPU Time     : 1.992s

Choices      : 1215     (Domain: 1089)
Conflicts    : 122      (Analyzed: 121)
Restarts     : 0       
Model-Level  : 161.0   
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 121      (Deleted: 0)
  Binary     : 40       (Ratio:  33.06%)
  Ternary    : 2        (Ratio:   1.65%)
  Conflict   : 121      (Average Length:   69.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 121      (Average:  8.82 Max:  42 Sum:   1067)
  Executed   : 120      (Average:  8.81 Max:  42 Sum:   1066 Ratio:  99.91%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   0.09%)

Rules        : 44183   
Atoms        : 44183   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 25948    (Eliminated:    0 Frozen: 25948)
Constraints  : 156051   (Binary:  95.6% Ternary:   3.2% Other:   1.2%)

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

[endof: stats after solve call]
Solving Time:	 0.24s
Memory:		 176MB (+7MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 0.75s
Memory:		 200MB (+24MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 4
Time         : 2.719s (Solving: 0.32s 1st Model: 0.03s Unsat: 0.29s)
CPU Time     : 2.616s

Choices      : 12577    (Domain: 11627)
Conflicts    : 1244     (Analyzed: 1242)
Restarts     : 6        (Average: 207.00 Last: 317)
Model-Level  : 161.0   
Problems     : 4        (Average Length: 8.25 Splits: 0)
Lemmas       : 1242     (Deleted: 0)
  Binary     : 236      (Ratio:  19.00%)
  Ternary    : 138      (Ratio:  11.11%)
  Conflict   : 1242     (Average Length:   32.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1242     (Average: 10.06 Max:  66 Sum:  12489)
  Executed   : 1221     (Average:  9.96 Max:  66 Sum:  12369 Ratio:  99.04%)
  Bounded    : 21       (Average:  5.71 Max:  12 Sum:    120 Ratio:   0.96%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 40185    (Eliminated: 10779 Frozen: 29406)
Constraints  : 223210   (Binary:  88.7% Ternary:   7.5% Other:   3.8%)

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

[endof: stats after solve call]
Solving Time:	 0.45s
Memory:		 199MB (+-1MB)
UNSAT
Iteration Time:	 1.82s

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

Models       : 0
Calls        : 5
Time         : 10.254s (Solving: 6.91s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 10.152s

Choices      : 130708   (Domain: 119108)
Conflicts    : 19059    (Analyzed: 19056)
Restarts     : 68       (Average: 280.24 Last: 1706)
Model-Level  : 161.0   
Problems     : 5        (Average Length: 10.00 Splits: 0)
Lemmas       : 19056    (Deleted: 7311)
  Binary     : 1266     (Ratio:   6.64%)
  Ternary    : 403      (Ratio:   2.11%)
  Conflict   : 19056    (Average Length:  283.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 19056    (Average:  6.71 Max: 203 Sum: 127876)
  Executed   : 19012    (Average:  6.69 Max: 203 Sum: 127397 Ratio:  99.63%)
  Bounded    : 44       (Average: 10.89 Max:  17 Sum:    479 Ratio:   0.37%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 66581    (Eliminated: 10779 Frozen: 46697)
Constraints  : 414304   (Binary:  90.1% Ternary:   7.0% Other:   2.9%)

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

[endof: stats after solve call]
Solving Time:	 7.00s
Memory:		 222MB (+17MB)
UNSAT
Iteration Time:	 7.54s

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

Models       : 0+
Calls        : 6
Time         : 24.185s (Solving: 19.92s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 24.092s

Choices      : 356476   (Domain: 317750)
Conflicts    : 47207    (Analyzed: 47204)
Restarts     : 168      (Average: 280.98 Last: 1706)
Model-Level  : 161.0   
Problems     : 6        (Average Length: 12.00 Splits: 0)
Lemmas       : 47204    (Deleted: 32433)
  Binary     : 2696     (Ratio:   5.71%)
  Ternary    : 754      (Ratio:   1.60%)
  Conflict   : 47204    (Average Length:  403.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 47204    (Average:  7.30 Max: 265 Sum: 344610)
  Executed   : 47154    (Average:  7.29 Max: 265 Sum: 344016 Ratio:  99.83%)
  Bounded    : 50       (Average: 11.88 Max:  22 Sum:    594 Ratio:   0.17%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 92977    (Eliminated: 10779 Frozen: 73093)
Constraints  : 598260   (Binary:  90.7% Ternary:   6.8% Other:   2.5%)

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

[endof: stats after solve call]
Solving Time:	 13.43s
Memory:		 242MB (+18MB)
UNKNOWN
Iteration Time:	 13.95s

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

Models       : 0+
Calls        : 7
Time         : 41.956s (Solving: 36.73s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 41.872s

Choices      : 620454   (Domain: 572541)
Conflicts    : 75384    (Analyzed: 75381)
Restarts     : 268      (Average: 281.27 Last: 1706)
Model-Level  : 161.0   
Problems     : 7        (Average Length: 14.14 Splits: 0)
Lemmas       : 75381    (Deleted: 58672)
  Binary     : 3801     (Ratio:   5.04%)
  Ternary    : 909      (Ratio:   1.21%)
  Conflict   : 75381    (Average Length:  494.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 75381    (Average:  7.92 Max: 278 Sum: 597008)
  Executed   : 75324    (Average:  7.91 Max: 278 Sum: 596240 Ratio:  99.87%)
  Bounded    : 57       (Average: 13.47 Max:  27 Sum:    768 Ratio:   0.13%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 119373   (Eliminated: 10779 Frozen: 99489)
Constraints  : 797663   (Binary:  90.9% Ternary:   6.8% Other:   2.3%)

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

[endof: stats after solve call]
Solving Time:	 17.24s
Memory:		 259MB (+14MB)
UNKNOWN
Iteration Time:	 17.79s

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

Models       : 0+
Calls        : 8
Time         : 58.876s (Solving: 52.57s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 58.800s

Choices      : 851339   (Domain: 797081)
Conflicts    : 103610   (Analyzed: 103607)
Restarts     : 368      (Average: 281.54 Last: 1706)
Model-Level  : 161.0   
Problems     : 8        (Average Length: 16.38 Splits: 0)
Lemmas       : 103607   (Deleted: 85594)
  Binary     : 4581     (Ratio:   4.42%)
  Ternary    : 1044     (Ratio:   1.01%)
  Conflict   : 103607   (Average Length:  531.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 103607   (Average:  7.89 Max: 342 Sum: 817674)
  Executed   : 103545   (Average:  7.88 Max: 342 Sum: 816768 Ratio:  99.89%)
  Bounded    : 62       (Average: 14.61 Max:  28 Sum:    906 Ratio:   0.11%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 145769   (Eliminated: 10779 Frozen: 125885)
Constraints  : 996928   (Binary:  91.0% Ternary:   6.8% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 16.27s
Memory:		 290MB (+18MB)
UNKNOWN
Iteration Time:	 16.93s

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         : 73.168s (Solving: 66.83s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 73.100s

Choices      : 1027791  (Domain: 973533)
Conflicts    : 131791   (Analyzed: 131788)
Restarts     : 468      (Average: 281.60 Last: 1706)
Model-Level  : 161.0   
Problems     : 9        (Average Length: 18.11 Splits: 0)
Lemmas       : 131788   (Deleted: 112657)
  Binary     : 4980     (Ratio:   3.78%)
  Ternary    : 1116     (Ratio:   0.85%)
  Conflict   : 131788   (Average Length:  492.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 131788   (Average:  7.51 Max: 342 Sum: 989351)
  Executed   : 131719   (Average:  7.50 Max: 342 Sum: 988232 Ratio:  99.89%)
  Bounded    : 69       (Average: 16.22 Max:  32 Sum:   1119 Ratio:   0.11%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 145769   (Eliminated: 10779 Frozen: 134990)
Constraints  : 996928   (Binary:  91.0% Ternary:   6.8% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 14.29s
Memory:		 290MB (+0MB)
UNKNOWN
Iteration Time:	 14.30s

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         : 86.217s (Solving: 79.84s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 86.156s

Choices      : 1239177  (Domain: 1176252)
Conflicts    : 159981   (Analyzed: 159978)
Restarts     : 568      (Average: 281.65 Last: 1706)
Model-Level  : 161.0   
Problems     : 10       (Average Length: 19.50 Splits: 0)
Lemmas       : 159978   (Deleted: 139918)
  Binary     : 5743     (Ratio:   3.59%)
  Ternary    : 1178     (Ratio:   0.74%)
  Conflict   : 159978   (Average Length:  481.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 159978   (Average:  7.44 Max: 342 Sum: 1189808)
  Executed   : 159907   (Average:  7.43 Max: 342 Sum: 1188625 Ratio:  99.90%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.10%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 145769   (Eliminated: 10779 Frozen: 134990)
Constraints  : 995370   (Binary:  91.0% Ternary:   6.8% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 13.04s
Memory:		 290MB (+0MB)
UNKNOWN
Iteration Time:	 13.06s

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         : 99.379s (Solving: 92.97s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 99.324s

Choices      : 1458641  (Domain: 1385346)
Conflicts    : 188165   (Analyzed: 188162)
Restarts     : 668      (Average: 281.68 Last: 1706)
Model-Level  : 161.0   
Problems     : 11       (Average Length: 20.64 Splits: 0)
Lemmas       : 188162   (Deleted: 167040)
  Binary     : 6326     (Ratio:   3.36%)
  Ternary    : 1261     (Ratio:   0.67%)
  Conflict   : 188162   (Average Length:  486.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 188162   (Average:  7.41 Max: 342 Sum: 1395098)
  Executed   : 188091   (Average:  7.41 Max: 342 Sum: 1393915 Ratio:  99.92%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.08%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 145769   (Eliminated: 10779 Frozen: 134990)
Constraints  : 995342   (Binary:  91.0% Ternary:   6.8% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 13.16s
Memory:		 290MB (+0MB)
UNKNOWN
Iteration Time:	 13.17s

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

Models       : 0+
Calls        : 12
Time         : 112.645s (Solving: 105.23s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 112.596s

Choices      : 1690632  (Domain: 1610504)
Conflicts    : 216349   (Analyzed: 216346)
Restarts     : 768      (Average: 281.70 Last: 1706)
Model-Level  : 161.0   
Problems     : 12       (Average Length: 22.00 Splits: 0)
Lemmas       : 216346   (Deleted: 194403)
  Binary     : 6800     (Ratio:   3.14%)
  Ternary    : 1304     (Ratio:   0.60%)
  Conflict   : 216346   (Average Length:  479.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 216346   (Average:  7.46 Max: 342 Sum: 1614288)
  Executed   : 216275   (Average:  7.46 Max: 342 Sum: 1613105 Ratio:  99.93%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.07%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 172165   (Eliminated: 10779 Frozen: 152281)
Constraints  : 1196412  (Binary:  91.1% Ternary:   6.8% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 12.70s
Memory:		 306MB (+15MB)
UNKNOWN
Iteration Time:	 13.28s

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

Models       : 0+
Calls        : 13
Time         : 126.254s (Solving: 117.82s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 126.208s

Choices      : 1915676  (Domain: 1830944)
Conflicts    : 244564   (Analyzed: 244561)
Restarts     : 868      (Average: 281.75 Last: 1706)
Model-Level  : 161.0   
Problems     : 13       (Average Length: 23.54 Splits: 0)
Lemmas       : 244561   (Deleted: 221811)
  Binary     : 7105     (Ratio:   2.91%)
  Ternary    : 1334     (Ratio:   0.55%)
  Conflict   : 244561   (Average Length:  488.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 244561   (Average:  7.46 Max: 342 Sum: 1824269)
  Executed   : 244490   (Average:  7.45 Max: 342 Sum: 1823086 Ratio:  99.94%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.06%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 198561   (Eliminated: 10779 Frozen: 178677)
Constraints  : 1397482  (Binary:  91.1% Ternary:   6.7% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 13.04s
Memory:		 325MB (+17MB)
UNKNOWN
Iteration Time:	 13.62s

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

Models       : 0+
Calls        : 14
Time         : 141.758s (Solving: 132.30s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 141.720s

Choices      : 2200314  (Domain: 2110594)
Conflicts    : 272730   (Analyzed: 272727)
Restarts     : 968      (Average: 281.74 Last: 1706)
Model-Level  : 161.0   
Problems     : 14       (Average Length: 25.21 Splits: 0)
Lemmas       : 272727   (Deleted: 249292)
  Binary     : 7441     (Ratio:   2.73%)
  Ternary    : 1360     (Ratio:   0.50%)
  Conflict   : 272727   (Average Length:  496.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 272727   (Average:  7.67 Max: 342 Sum: 2092595)
  Executed   : 272656   (Average:  7.67 Max: 342 Sum: 2091412 Ratio:  99.94%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.06%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 224957   (Eliminated: 10779 Frozen: 205073)
Constraints  : 1598552  (Binary:  91.2% Ternary:   6.7% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 14.92s
Memory:		 354MB (+27MB)
UNKNOWN
Iteration Time:	 15.52s

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

Models       : 0+
Calls        : 15
Time         : 156.453s (Solving: 145.93s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 156.420s

Choices      : 2505507  (Domain: 2411553)
Conflicts    : 300892   (Analyzed: 300889)
Restarts     : 1068     (Average: 281.73 Last: 1706)
Model-Level  : 161.0   
Problems     : 15       (Average Length: 27.00 Splits: 0)
Lemmas       : 300889   (Deleted: 276645)
  Binary     : 7793     (Ratio:   2.59%)
  Ternary    : 1385     (Ratio:   0.46%)
  Conflict   : 300889   (Average Length:  506.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 300889   (Average:  7.92 Max: 342 Sum: 2381889)
  Executed   : 300818   (Average:  7.91 Max: 342 Sum: 2380706 Ratio:  99.95%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.05%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 251353   (Eliminated: 10779 Frozen: 231469)
Constraints  : 1799622  (Binary:  91.2% Ternary:   6.7% Other:   2.1%)

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

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

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

Models       : 0+
Calls        : 16
Time         : 172.697s (Solving: 161.11s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 172.672s

Choices      : 2886079  (Domain: 2786583)
Conflicts    : 329092   (Analyzed: 329089)
Restarts     : 1168     (Average: 281.75 Last: 1706)
Model-Level  : 161.0   
Problems     : 16       (Average Length: 28.88 Splits: 0)
Lemmas       : 329089   (Deleted: 304139)
  Binary     : 8216     (Ratio:   2.50%)
  Ternary    : 1420     (Ratio:   0.43%)
  Conflict   : 329089   (Average Length:  524.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 329089   (Average:  8.33 Max: 357 Sum: 2741005)
  Executed   : 329018   (Average:  8.33 Max: 357 Sum: 2739822 Ratio:  99.96%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.04%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 277749   (Eliminated: 10779 Frozen: 257865)
Constraints  : 2000692  (Binary:  91.2% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 15.63s
Memory:		 387MB (+18MB)
UNKNOWN
Iteration Time:	 16.26s

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

Models       : 0+
Calls        : 17
Time         : 189.525s (Solving: 176.85s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 189.508s

Choices      : 3310159  (Domain: 3206157)
Conflicts    : 357294   (Analyzed: 357291)
Restarts     : 1268     (Average: 281.78 Last: 1706)
Model-Level  : 161.0   
Problems     : 17       (Average Length: 30.82 Splits: 0)
Lemmas       : 357291   (Deleted: 331649)
  Binary     : 8572     (Ratio:   2.40%)
  Ternary    : 1468     (Ratio:   0.41%)
  Conflict   : 357291   (Average Length:  543.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 357291   (Average:  8.80 Max: 457 Sum: 3143172)
  Executed   : 357220   (Average:  8.79 Max: 457 Sum: 3141989 Ratio:  99.96%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.04%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 304145   (Eliminated: 10779 Frozen: 284261)
Constraints  : 2201762  (Binary:  91.2% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 16.21s
Memory:		 468MB (+81MB)
UNKNOWN
Iteration Time:	 16.84s

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

Models       : 0+
Calls        : 18
Time         : 205.542s (Solving: 191.76s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 205.532s

Choices      : 3703153  (Domain: 3595723)
Conflicts    : 385485   (Analyzed: 385482)
Restarts     : 1368     (Average: 281.79 Last: 1706)
Model-Level  : 161.0   
Problems     : 18       (Average Length: 32.83 Splits: 0)
Lemmas       : 385482   (Deleted: 359214)
  Binary     : 8763     (Ratio:   2.27%)
  Ternary    : 1490     (Ratio:   0.39%)
  Conflict   : 385482   (Average Length:  553.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 385482   (Average:  9.12 Max: 457 Sum: 3513928)
  Executed   : 385411   (Average:  9.11 Max: 457 Sum: 3512745 Ratio:  99.97%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.03%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 330541   (Eliminated: 10779 Frozen: 310657)
Constraints  : 2402832  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 15.37s
Memory:		 512MB (+43MB)
UNKNOWN
Iteration Time:	 16.03s

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

Models       : 0+
Calls        : 19
Time         : 221.866s (Solving: 206.83s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 221.864s

Choices      : 4202770  (Domain: 4090966)
Conflicts    : 413656   (Analyzed: 413653)
Restarts     : 1468     (Average: 281.78 Last: 1706)
Model-Level  : 161.0   
Problems     : 19       (Average Length: 34.89 Splits: 0)
Lemmas       : 413653   (Deleted: 386887)
  Binary     : 8969     (Ratio:   2.17%)
  Ternary    : 1523     (Ratio:   0.37%)
  Conflict   : 413653   (Average Length:  566.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 413653   (Average:  9.65 Max: 479 Sum: 3990772)
  Executed   : 413582   (Average:  9.64 Max: 479 Sum: 3989589 Ratio:  99.97%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.03%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 356937   (Eliminated: 10779 Frozen: 337053)
Constraints  : 2603902  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 15.54s
Memory:		 539MB (+15MB)
UNKNOWN
Iteration Time:	 16.34s

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

Models       : 0+
Calls        : 20
Time         : 239.106s (Solving: 222.96s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 239.112s

Choices      : 4842709  (Domain: 4720748)
Conflicts    : 441824   (Analyzed: 441821)
Restarts     : 1568     (Average: 281.77 Last: 1706)
Model-Level  : 161.0   
Problems     : 20       (Average Length: 37.00 Splits: 0)
Lemmas       : 441821   (Deleted: 414500)
  Binary     : 9632     (Ratio:   2.18%)
  Ternary    : 1706     (Ratio:   0.39%)
  Conflict   : 441821   (Average Length:  575.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 441821   (Average: 10.42 Max: 505 Sum: 4601624)
  Executed   : 441750   (Average: 10.41 Max: 505 Sum: 4600441 Ratio:  99.97%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.03%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 383333   (Eliminated: 10779 Frozen: 363449)
Constraints  : 2804972  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 16.61s
Memory:		 550MB (+11MB)
UNKNOWN
Iteration Time:	 17.26s

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

Models       : 0+
Calls        : 21
Time         : 258.903s (Solving: 241.41s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 258.916s

Choices      : 5529964  (Domain: 5394998)
Conflicts    : 469998   (Analyzed: 469995)
Restarts     : 1668     (Average: 281.77 Last: 1706)
Model-Level  : 161.0   
Problems     : 21       (Average Length: 39.14 Splits: 0)
Lemmas       : 469995   (Deleted: 441071)
  Binary     : 10311    (Ratio:   2.19%)
  Ternary    : 1809     (Ratio:   0.38%)
  Conflict   : 469995   (Average Length:  581.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 469995   (Average: 11.19 Max: 609 Sum: 5261278)
  Executed   : 469924   (Average: 11.19 Max: 609 Sum: 5260095 Ratio:  99.98%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409729   (Eliminated: 10779 Frozen: 389845)
Constraints  : 3006042  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.03s
Memory:		 567MB (+17MB)
UNKNOWN
Iteration Time:	 19.81s

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

Models       : 0+
Calls        : 22
Time         : 279.342s (Solving: 260.70s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 279.364s

Choices      : 6195475  (Domain: 6047448)
Conflicts    : 498189   (Analyzed: 498186)
Restarts     : 1768     (Average: 281.78 Last: 1706)
Model-Level  : 161.0   
Problems     : 22       (Average Length: 41.32 Splits: 0)
Lemmas       : 498186   (Deleted: 467937)
  Binary     : 10999    (Ratio:   2.21%)
  Ternary    : 1919     (Ratio:   0.39%)
  Conflict   : 498186   (Average Length:  593.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 498186   (Average: 11.82 Max: 609 Sum: 5890438)
  Executed   : 498115   (Average: 11.82 Max: 609 Sum: 5889255 Ratio:  99.98%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 416241)
Constraints  : 3207112  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.78s
Memory:		 585MB (+18MB)
UNKNOWN
Iteration Time:	 20.46s

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         : 290.889s (Solving: 272.15s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 290.920s

Choices      : 6338498  (Domain: 6190471)
Conflicts    : 526416   (Analyzed: 526413)
Restarts     : 1868     (Average: 281.81 Last: 1706)
Model-Level  : 161.0   
Problems     : 23       (Average Length: 43.30 Splits: 0)
Lemmas       : 526413   (Deleted: 495483)
  Binary     : 11199    (Ratio:   2.13%)
  Ternary    : 1955     (Ratio:   0.37%)
  Conflict   : 526413   (Average Length:  582.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 526413   (Average: 11.45 Max: 609 Sum: 6026887)
  Executed   : 526342   (Average: 11.45 Max: 609 Sum: 6025704 Ratio:  99.98%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207112  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 11.52s
Memory:		 585MB (+0MB)
UNKNOWN
Iteration Time:	 11.56s

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         : 319.107s (Solving: 300.28s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 319.152s

Choices      : 6491008  (Domain: 6342495)
Conflicts    : 554532   (Analyzed: 554529)
Restarts     : 1968     (Average: 281.77 Last: 1706)
Model-Level  : 161.0   
Problems     : 24       (Average Length: 45.12 Splits: 0)
Lemmas       : 554529   (Deleted: 522859)
  Binary     : 11402    (Ratio:   2.06%)
  Ternary    : 1992     (Ratio:   0.36%)
  Conflict   : 554529   (Average Length:  614.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 554529   (Average: 11.12 Max: 609 Sum: 6164540)
  Executed   : 554458   (Average: 11.11 Max: 609 Sum: 6163357 Ratio:  99.98%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207112  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 28.20s
Memory:		 585MB (+0MB)
UNKNOWN
Iteration Time:	 28.23s

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         : 336.175s (Solving: 317.25s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 336.228s

Choices      : 6680561  (Domain: 6531444)
Conflicts    : 582713   (Analyzed: 582710)
Restarts     : 2068     (Average: 281.77 Last: 1706)
Model-Level  : 161.0   
Problems     : 25       (Average Length: 46.80 Splits: 0)
Lemmas       : 582710   (Deleted: 550334)
  Binary     : 11666    (Ratio:   2.00%)
  Ternary    : 2070     (Ratio:   0.36%)
  Conflict   : 582710   (Average Length:  612.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 582710   (Average: 10.88 Max: 609 Sum: 6341221)
  Executed   : 582639   (Average: 10.88 Max: 609 Sum: 6340038 Ratio:  99.98%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207112  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 17.04s
Memory:		 585MB (+0MB)
UNKNOWN
Iteration Time:	 17.08s

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         : 358.295s (Solving: 339.27s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 358.356s

Choices      : 6912860  (Domain: 6761923)
Conflicts    : 610863   (Analyzed: 610860)
Restarts     : 2168     (Average: 281.76 Last: 1706)
Model-Level  : 161.0   
Problems     : 26       (Average Length: 48.35 Splits: 0)
Lemmas       : 610860   (Deleted: 577486)
  Binary     : 12192    (Ratio:   2.00%)
  Ternary    : 2129     (Ratio:   0.35%)
  Conflict   : 610860   (Average Length:  633.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 610860   (Average: 10.73 Max: 609 Sum: 6552886)
  Executed   : 610789   (Average: 10.73 Max: 609 Sum: 6551703 Ratio:  99.98%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207112  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 22.09s
Memory:		 585MB (+0MB)
UNKNOWN
Iteration Time:	 22.13s

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         : 376.109s (Solving: 356.96s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 376.176s

Choices      : 7161233  (Domain: 7009078)
Conflicts    : 639094   (Analyzed: 639091)
Restarts     : 2268     (Average: 281.79 Last: 1706)
Model-Level  : 161.0   
Problems     : 27       (Average Length: 49.78 Splits: 0)
Lemmas       : 639091   (Deleted: 604976)
  Binary     : 12471    (Ratio:   1.95%)
  Ternary    : 2176     (Ratio:   0.34%)
  Conflict   : 639091   (Average Length:  639.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 639091   (Average: 10.62 Max: 609 Sum: 6785469)
  Executed   : 639020   (Average: 10.62 Max: 609 Sum: 6784286 Ratio:  99.98%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207112  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 17.78s
Memory:		 585MB (+0MB)
UNKNOWN
Iteration Time:	 17.82s

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         : 395.075s (Solving: 375.82s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 395.148s

Choices      : 7409013  (Domain: 7256375)
Conflicts    : 667312   (Analyzed: 667309)
Restarts     : 2368     (Average: 281.80 Last: 1706)
Model-Level  : 161.0   
Problems     : 28       (Average Length: 51.11 Splits: 0)
Lemmas       : 667309   (Deleted: 631283)
  Binary     : 12669    (Ratio:   1.90%)
  Ternary    : 2209     (Ratio:   0.33%)
  Conflict   : 667309   (Average Length:  649.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 667309   (Average: 10.51 Max: 609 Sum: 7013474)
  Executed   : 667238   (Average: 10.51 Max: 609 Sum: 7012291 Ratio:  99.98%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207112  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.93s
Memory:		 585MB (+0MB)
UNKNOWN
Iteration Time:	 18.98s

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         : 413.256s (Solving: 393.89s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 413.336s

Choices      : 7699021  (Domain: 7542312)
Conflicts    : 695469   (Analyzed: 695466)
Restarts     : 2468     (Average: 281.79 Last: 1706)
Model-Level  : 161.0   
Problems     : 29       (Average Length: 52.34 Splits: 0)
Lemmas       : 695466   (Deleted: 660116)
  Binary     : 13043    (Ratio:   1.88%)
  Ternary    : 2280     (Ratio:   0.33%)
  Conflict   : 695466   (Average Length:  656.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 695466   (Average: 10.47 Max: 609 Sum: 7283174)
  Executed   : 695395   (Average: 10.47 Max: 609 Sum: 7281991 Ratio:  99.98%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207112  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.15s
Memory:		 585MB (+0MB)
UNKNOWN
Iteration Time:	 18.19s

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         : 432.637s (Solving: 413.16s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 432.728s

Choices      : 8031096  (Domain: 7872315)
Conflicts    : 723702   (Analyzed: 723699)
Restarts     : 2568     (Average: 281.81 Last: 1706)
Model-Level  : 161.0   
Problems     : 30       (Average Length: 53.50 Splits: 0)
Lemmas       : 723699   (Deleted: 687495)
  Binary     : 13366    (Ratio:   1.85%)
  Ternary    : 2323     (Ratio:   0.32%)
  Conflict   : 723699   (Average Length:  666.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 723699   (Average: 10.49 Max: 609 Sum: 7592077)
  Executed   : 723628   (Average: 10.49 Max: 609 Sum: 7590894 Ratio:  99.98%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207112  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.34s
Memory:		 585MB (+0MB)
UNKNOWN
Iteration Time:	 19.39s

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         : 450.917s (Solving: 431.32s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 451.016s

Choices      : 8378418  (Domain: 8214615)
Conflicts    : 751905   (Analyzed: 751902)
Restarts     : 2668     (Average: 281.82 Last: 1706)
Model-Level  : 161.0   
Problems     : 31       (Average Length: 54.58 Splits: 0)
Lemmas       : 751902   (Deleted: 714938)
  Binary     : 13685    (Ratio:   1.82%)
  Ternary    : 2372     (Ratio:   0.32%)
  Conflict   : 751902   (Average Length:  672.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 751902   (Average: 10.52 Max: 609 Sum: 7913090)
  Executed   : 751831   (Average: 10.52 Max: 609 Sum: 7911907 Ratio:  99.99%)
  Bounded    : 71       (Average: 16.66 Max:  32 Sum:   1183 Ratio:   0.01%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207112  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.24s
Memory:		 585MB (+0MB)
UNKNOWN
Iteration Time:	 18.29s

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         : 470.094s (Solving: 450.38s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 470.200s

Choices      : 8705114  (Domain: 8540972)
Conflicts    : 780112   (Analyzed: 780109)
Restarts     : 2768     (Average: 281.83 Last: 1706)
Model-Level  : 161.0   
Problems     : 32       (Average Length: 55.59 Splits: 0)
Lemmas       : 780109   (Deleted: 742327)
  Binary     : 14011    (Ratio:   1.80%)
  Ternary    : 2411     (Ratio:   0.31%)
  Conflict   : 780109   (Average Length:  674.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 780109   (Average: 10.53 Max: 609 Sum: 8216728)
  Executed   : 780037   (Average: 10.53 Max: 609 Sum: 8215458 Ratio:  99.98%)
  Bounded    : 72       (Average: 17.64 Max:  87 Sum:   1270 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207112  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

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

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         : 490.167s (Solving: 470.33s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 490.284s

Choices      : 9028893  (Domain: 8863242)
Conflicts    : 808320   (Analyzed: 808317)
Restarts     : 2868     (Average: 281.84 Last: 1706)
Model-Level  : 161.0   
Problems     : 33       (Average Length: 56.55 Splits: 0)
Lemmas       : 808317   (Deleted: 769792)
  Binary     : 14303    (Ratio:   1.77%)
  Ternary    : 2448     (Ratio:   0.30%)
  Conflict   : 808317   (Average Length:  685.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 808317   (Average: 10.54 Max: 609 Sum: 8515715)
  Executed   : 808245   (Average: 10.53 Max: 609 Sum: 8514445 Ratio:  99.99%)
  Bounded    : 72       (Average: 17.64 Max:  87 Sum:   1270 Ratio:   0.01%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207095  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 20.03s
Memory:		 585MB (+0MB)
UNKNOWN
Iteration Time:	 20.08s

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         : 509.021s (Solving: 489.06s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 509.148s

Choices      : 9615874  (Domain: 9441630)
Conflicts    : 836520   (Analyzed: 836517)
Restarts     : 2968     (Average: 281.85 Last: 1706)
Model-Level  : 161.0   
Problems     : 34       (Average Length: 57.44 Splits: 0)
Lemmas       : 836517   (Deleted: 796755)
  Binary     : 14879    (Ratio:   1.78%)
  Ternary    : 2519     (Ratio:   0.30%)
  Conflict   : 836517   (Average Length:  686.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 836517   (Average: 10.85 Max: 609 Sum: 9072054)
  Executed   : 836444   (Average: 10.84 Max: 609 Sum: 9070697 Ratio:  99.99%)
  Bounded    : 73       (Average: 18.59 Max:  87 Sum:   1357 Ratio:   0.01%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207095  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

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

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         : 529.209s (Solving: 509.15s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 529.348s

Choices      : 10034901 (Domain: 9859141)
Conflicts    : 864750   (Analyzed: 864747)
Restarts     : 3068     (Average: 281.86 Last: 1706)
Model-Level  : 161.0   
Problems     : 35       (Average Length: 58.29 Splits: 0)
Lemmas       : 864747   (Deleted: 824221)
  Binary     : 15269    (Ratio:   1.77%)
  Ternary    : 2558     (Ratio:   0.30%)
  Conflict   : 864747   (Average Length:  691.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 864747   (Average: 10.94 Max: 609 Sum: 9460874)
  Executed   : 864673   (Average: 10.94 Max: 609 Sum: 9459430 Ratio:  99.98%)
  Bounded    : 74       (Average: 19.51 Max:  87 Sum:   1444 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207078  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 20.16s
Memory:		 585MB (+0MB)
UNKNOWN
Iteration Time:	 20.20s

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         : 549.741s (Solving: 529.59s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 549.888s

Choices      : 10317019 (Domain: 10140845)
Conflicts    : 892958   (Analyzed: 892955)
Restarts     : 3168     (Average: 281.87 Last: 1706)
Model-Level  : 161.0   
Problems     : 36       (Average Length: 59.08 Splits: 0)
Lemmas       : 892955   (Deleted: 851853)
  Binary     : 15576    (Ratio:   1.74%)
  Ternary    : 2590     (Ratio:   0.29%)
  Conflict   : 892955   (Average Length:  704.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 892955   (Average: 10.87 Max: 609 Sum: 9710869)
  Executed   : 892881   (Average: 10.87 Max: 609 Sum: 9709425 Ratio:  99.99%)
  Bounded    : 74       (Average: 19.51 Max:  87 Sum:   1444 Ratio:   0.01%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436125   (Eliminated: 10779 Frozen: 425346)
Constraints  : 3207059  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 20.51s
Memory:		 585MB (+0MB)
UNKNOWN
Iteration Time:	 20.54s

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

Models       : 0+
Calls        : 37
Time         : 569.518s (Solving: 548.17s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 569.672s

Choices      : 10700759 (Domain: 10523803)
Conflicts    : 921149   (Analyzed: 921146)
Restarts     : 3268     (Average: 281.87 Last: 1706)
Model-Level  : 161.0   
Problems     : 37       (Average Length: 59.97 Splits: 0)
Lemmas       : 921146   (Deleted: 879550)
  Binary     : 15806    (Ratio:   1.72%)
  Ternary    : 2614     (Ratio:   0.28%)
  Conflict   : 921146   (Average Length:  708.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 921146   (Average: 10.92 Max: 609 Sum: 10061593)
  Executed   : 921070   (Average: 10.92 Max: 609 Sum: 10059965 Ratio:  99.98%)
  Bounded    : 76       (Average: 21.42 Max:  92 Sum:   1628 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 462521   (Eliminated: 10779 Frozen: 442637)
Constraints  : 3408129  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.08s
Memory:		 648MB (+63MB)
UNKNOWN
Iteration Time:	 19.80s

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

Models       : 0+
Calls        : 38
Time         : 591.023s (Solving: 568.47s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 591.188s

Choices      : 10929655 (Domain: 10752499)
Conflicts    : 949356   (Analyzed: 949353)
Restarts     : 3368     (Average: 281.87 Last: 1706)
Model-Level  : 161.0   
Problems     : 38       (Average Length: 60.95 Splits: 0)
Lemmas       : 949353   (Deleted: 907254)
  Binary     : 15951    (Ratio:   1.68%)
  Ternary    : 2631     (Ratio:   0.28%)
  Conflict   : 949353   (Average Length:  708.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 949353   (Average: 10.81 Max: 647 Sum: 10262169)
  Executed   : 949277   (Average: 10.81 Max: 647 Sum: 10260541 Ratio:  99.98%)
  Bounded    : 76       (Average: 21.42 Max:  92 Sum:   1628 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 488917   (Eliminated: 10779 Frozen: 469033)
Constraints  : 3609168  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 20.78s
Memory:		 651MB (+3MB)
UNKNOWN
Iteration Time:	 21.52s

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

Models       : 0+
Calls        : 39
Time         : 611.820s (Solving: 588.04s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 611.996s

Choices      : 11164188 (Domain: 10987007)
Conflicts    : 977527   (Analyzed: 977524)
Restarts     : 3468     (Average: 281.87 Last: 1706)
Model-Level  : 161.0   
Problems     : 39       (Average Length: 62.00 Splits: 0)
Lemmas       : 977524   (Deleted: 935061)
  Binary     : 16090    (Ratio:   1.65%)
  Ternary    : 2645     (Ratio:   0.27%)
  Conflict   : 977524   (Average Length:  704.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 977524   (Average: 10.71 Max: 647 Sum: 10469786)
  Executed   : 977445   (Average: 10.71 Max: 647 Sum: 10467860 Ratio:  99.98%)
  Bounded    : 79       (Average: 24.38 Max: 102 Sum:   1926 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 515313   (Eliminated: 10779 Frozen: 495429)
Constraints  : 3810238  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.07s
Memory:		 666MB (+15MB)
UNKNOWN
Iteration Time:	 20.82s

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

Models       : 0+
Calls        : 40
Time         : 634.033s (Solving: 609.01s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 634.220s

Choices      : 11545231 (Domain: 11367368)
Conflicts    : 1005736  (Analyzed: 1005733)
Restarts     : 3568     (Average: 281.88 Last: 1706)
Model-Level  : 161.0   
Problems     : 40       (Average Length: 63.12 Splits: 0)
Lemmas       : 1005733  (Deleted: 962724)
  Binary     : 16351    (Ratio:   1.63%)
  Ternary    : 2673     (Ratio:   0.27%)
  Conflict   : 1005733  (Average Length:  703.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1005733  (Average: 10.76 Max: 667 Sum: 10817489)
  Executed   : 1005654  (Average: 10.75 Max: 667 Sum: 10815563 Ratio:  99.98%)
  Bounded    : 79       (Average: 24.38 Max: 102 Sum:   1926 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 521825)
Constraints  : 4011294  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.48s
Memory:		 679MB (+13MB)
UNKNOWN
Iteration Time:	 22.23s

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         : 646.178s (Solving: 621.04s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 646.368s

Choices      : 11703702 (Domain: 11525839)
Conflicts    : 1033903  (Analyzed: 1033900)
Restarts     : 3668     (Average: 281.87 Last: 1706)
Model-Level  : 161.0   
Problems     : 41       (Average Length: 64.20 Splits: 0)
Lemmas       : 1033900  (Deleted: 990185)
  Binary     : 16427    (Ratio:   1.59%)
  Ternary    : 2696     (Ratio:   0.26%)
  Conflict   : 1033900  (Average Length:  694.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1033900  (Average: 10.61 Max: 667 Sum: 10969433)
  Executed   : 1033819  (Average: 10.61 Max: 667 Sum: 10967293 Ratio:  99.98%)
  Bounded    : 81       (Average: 26.42 Max: 107 Sum:   2140 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011294  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 12.11s
Memory:		 679MB (+0MB)
UNKNOWN
Iteration Time:	 12.15s

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         : 672.446s (Solving: 647.18s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 672.648s

Choices      : 11890818 (Domain: 11712955)
Conflicts    : 1062045  (Analyzed: 1062042)
Restarts     : 3768     (Average: 281.86 Last: 1706)
Model-Level  : 161.0   
Problems     : 42       (Average Length: 65.21 Splits: 0)
Lemmas       : 1062042  (Deleted: 1014498)
  Binary     : 16548    (Ratio:   1.56%)
  Ternary    : 2722     (Ratio:   0.26%)
  Conflict   : 1062042  (Average Length:  708.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1062042  (Average: 10.49 Max: 667 Sum: 11141971)
  Executed   : 1061961  (Average: 10.49 Max: 667 Sum: 11139831 Ratio:  99.98%)
  Bounded    : 81       (Average: 26.42 Max: 107 Sum:   2140 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011266  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.23s
Memory:		 679MB (+0MB)
UNKNOWN
Iteration Time:	 26.28s

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         : 690.188s (Solving: 664.80s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 690.396s

Choices      : 12063358 (Domain: 11885495)
Conflicts    : 1090225  (Analyzed: 1090222)
Restarts     : 3868     (Average: 281.86 Last: 1706)
Model-Level  : 161.0   
Problems     : 43       (Average Length: 66.19 Splits: 0)
Lemmas       : 1090222  (Deleted: 1045893)
  Binary     : 16653    (Ratio:   1.53%)
  Ternary    : 2746     (Ratio:   0.25%)
  Conflict   : 1090222  (Average Length:  710.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1090222  (Average: 10.37 Max: 667 Sum: 11301671)
  Executed   : 1090141  (Average: 10.36 Max: 667 Sum: 11299531 Ratio:  99.98%)
  Bounded    : 81       (Average: 26.42 Max: 107 Sum:   2140 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011266  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 17.70s
Memory:		 743MB (+64MB)
UNKNOWN
Iteration Time:	 17.75s

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         : 706.760s (Solving: 681.24s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 706.976s

Choices      : 12246163 (Domain: 12067628)
Conflicts    : 1118425  (Analyzed: 1118422)
Restarts     : 3968     (Average: 281.86 Last: 1706)
Model-Level  : 161.0   
Problems     : 44       (Average Length: 67.11 Splits: 0)
Lemmas       : 1118422  (Deleted: 1069838)
  Binary     : 16954    (Ratio:   1.52%)
  Ternary    : 2768     (Ratio:   0.25%)
  Conflict   : 1118422  (Average Length:  713.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1118422  (Average: 10.25 Max: 667 Sum: 11464950)
  Executed   : 1118341  (Average: 10.25 Max: 667 Sum: 11462810 Ratio:  99.98%)
  Bounded    : 81       (Average: 26.42 Max: 107 Sum:   2140 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011266  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 16.53s
Memory:		 743MB (+0MB)
UNKNOWN
Iteration Time:	 16.58s

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         : 723.768s (Solving: 698.10s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 723.992s

Choices      : 12454322 (Domain: 12274632)
Conflicts    : 1146607  (Analyzed: 1146604)
Restarts     : 4068     (Average: 281.86 Last: 1706)
Model-Level  : 161.0   
Problems     : 45       (Average Length: 68.00 Splits: 0)
Lemmas       : 1146604  (Deleted: 1101079)
  Binary     : 17280    (Ratio:   1.51%)
  Ternary    : 2791     (Ratio:   0.24%)
  Conflict   : 1146604  (Average Length:  713.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1146604  (Average: 10.16 Max: 667 Sum: 11651509)
  Executed   : 1146522  (Average: 10.16 Max: 667 Sum: 11649262 Ratio:  99.98%)
  Bounded    : 82       (Average: 27.40 Max: 107 Sum:   2247 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011266  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 16.95s
Memory:		 743MB (+0MB)
UNKNOWN
Iteration Time:	 17.02s

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         : 740.914s (Solving: 715.12s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 741.148s

Choices      : 12653754 (Domain: 12470466)
Conflicts    : 1174873  (Analyzed: 1174870)
Restarts     : 4168     (Average: 281.88 Last: 1706)
Model-Level  : 161.0   
Problems     : 46       (Average Length: 68.85 Splits: 0)
Lemmas       : 1174870  (Deleted: 1128629)
  Binary     : 17431    (Ratio:   1.48%)
  Ternary    : 2821     (Ratio:   0.24%)
  Conflict   : 1174870  (Average Length:  716.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1174870  (Average: 10.07 Max: 667 Sum: 11831552)
  Executed   : 1174788  (Average: 10.07 Max: 667 Sum: 11829305 Ratio:  99.98%)
  Bounded    : 82       (Average: 27.40 Max: 107 Sum:   2247 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011275  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 17.11s
Memory:		 743MB (+0MB)
UNKNOWN
Iteration Time:	 17.16s

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         : 760.993s (Solving: 735.05s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 761.236s

Choices      : 12873101 (Domain: 12689498)
Conflicts    : 1203057  (Analyzed: 1203054)
Restarts     : 4268     (Average: 281.88 Last: 1706)
Model-Level  : 161.0   
Problems     : 47       (Average Length: 69.66 Splits: 0)
Lemmas       : 1203054  (Deleted: 1156339)
  Binary     : 17605    (Ratio:   1.46%)
  Ternary    : 2850     (Ratio:   0.24%)
  Conflict   : 1203054  (Average Length:  722.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1203054  (Average: 10.00 Max: 667 Sum: 12029169)
  Executed   : 1202972  (Average: 10.00 Max: 667 Sum: 12026922 Ratio:  99.98%)
  Bounded    : 82       (Average: 27.40 Max: 107 Sum:   2247 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011275  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.03s
Memory:		 743MB (+0MB)
UNKNOWN
Iteration Time:	 20.09s

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         : 779.703s (Solving: 753.60s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 779.956s

Choices      : 13106251 (Domain: 12918541)
Conflicts    : 1231308  (Analyzed: 1231305)
Restarts     : 4368     (Average: 281.89 Last: 1706)
Model-Level  : 161.0   
Problems     : 48       (Average Length: 70.44 Splits: 0)
Lemmas       : 1231305  (Deleted: 1183867)
  Binary     : 17868    (Ratio:   1.45%)
  Ternary    : 2883     (Ratio:   0.23%)
  Conflict   : 1231305  (Average Length:  728.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1231305  (Average:  9.94 Max: 667 Sum: 12239549)
  Executed   : 1231223  (Average:  9.94 Max: 667 Sum: 12237302 Ratio:  99.98%)
  Bounded    : 82       (Average: 27.40 Max: 107 Sum:   2247 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011275  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 18.65s
Memory:		 743MB (+0MB)
UNKNOWN
Iteration Time:	 18.72s

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

Models       : 0+
Calls        : 49
Time         : 799.098s (Solving: 772.88s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 799.360s

Choices      : 13381531 (Domain: 13190542)
Conflicts    : 1259506  (Analyzed: 1259503)
Restarts     : 4468     (Average: 281.89 Last: 1706)
Model-Level  : 161.0   
Problems     : 49       (Average Length: 71.18 Splits: 0)
Lemmas       : 1259503  (Deleted: 1211668)
  Binary     : 18138    (Ratio:   1.44%)
  Ternary    : 2908     (Ratio:   0.23%)
  Conflict   : 1259503  (Average Length:  732.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1259503  (Average:  9.92 Max: 667 Sum: 12488198)
  Executed   : 1259420  (Average:  9.91 Max: 667 Sum: 12485844 Ratio:  99.98%)
  Bounded    : 83       (Average: 28.36 Max: 107 Sum:   2354 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011275  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.36s
Memory:		 743MB (+0MB)
UNKNOWN
Iteration Time:	 19.41s

Iteration 49
Queue:		 [(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        : 50
Time         : 817.654s (Solving: 791.27s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 817.924s

Choices      : 13620875 (Domain: 13429762)
Conflicts    : 1287740  (Analyzed: 1287737)
Restarts     : 4568     (Average: 281.90 Last: 1706)
Model-Level  : 161.0   
Problems     : 50       (Average Length: 71.90 Splits: 0)
Lemmas       : 1287737  (Deleted: 1239299)
  Binary     : 18325    (Ratio:   1.42%)
  Ternary    : 2930     (Ratio:   0.23%)
  Conflict   : 1287737  (Average Length:  734.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1287737  (Average:  9.86 Max: 667 Sum: 12702936)
  Executed   : 1287654  (Average:  9.86 Max: 667 Sum: 12700582 Ratio:  99.98%)
  Bounded    : 83       (Average: 28.36 Max: 107 Sum:   2354 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011262  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 18.50s
Memory:		 743MB (+0MB)
UNKNOWN
Iteration Time:	 18.57s

Iteration 50
Queue:		 [(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        : 51
Time         : 838.329s (Solving: 811.83s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 838.608s

Choices      : 14086791 (Domain: 13892560)
Conflicts    : 1315943  (Analyzed: 1315940)
Restarts     : 4668     (Average: 281.91 Last: 1706)
Model-Level  : 161.0   
Problems     : 51       (Average Length: 72.59 Splits: 0)
Lemmas       : 1315940  (Deleted: 1266641)
  Binary     : 18667    (Ratio:   1.42%)
  Ternary    : 2963     (Ratio:   0.23%)
  Conflict   : 1315940  (Average Length:  737.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1315940  (Average:  9.98 Max: 667 Sum: 13134230)
  Executed   : 1315857  (Average:  9.98 Max: 667 Sum: 13131876 Ratio:  99.98%)
  Bounded    : 83       (Average: 28.36 Max: 107 Sum:   2354 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011262  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

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

Iteration 51
Queue:		 [(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        : 52
Time         : 857.688s (Solving: 831.05s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 857.976s

Choices      : 14413254 (Domain: 14218582)
Conflicts    : 1344125  (Analyzed: 1344122)
Restarts     : 4768     (Average: 281.90 Last: 1706)
Model-Level  : 161.0   
Problems     : 52       (Average Length: 73.25 Splits: 0)
Lemmas       : 1344122  (Deleted: 1294330)
  Binary     : 18953    (Ratio:   1.41%)
  Ternary    : 2992     (Ratio:   0.22%)
  Conflict   : 1344122  (Average Length:  740.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1344122  (Average:  9.99 Max: 667 Sum: 13425026)
  Executed   : 1344039  (Average:  9.99 Max: 667 Sum: 13422672 Ratio:  99.98%)
  Bounded    : 83       (Average: 28.36 Max: 107 Sum:   2354 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011262  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.32s
Memory:		 743MB (+0MB)
UNKNOWN
Iteration Time:	 19.37s

Iteration 52
Queue:		 [(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        : 53
Time         : 878.870s (Solving: 852.11s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 879.168s

Choices      : 14771229 (Domain: 14575892)
Conflicts    : 1372318  (Analyzed: 1372315)
Restarts     : 4868     (Average: 281.91 Last: 1706)
Model-Level  : 161.0   
Problems     : 53       (Average Length: 73.89 Splits: 0)
Lemmas       : 1372315  (Deleted: 1321898)
  Binary     : 19170    (Ratio:   1.40%)
  Ternary    : 3024     (Ratio:   0.22%)
  Conflict   : 1372315  (Average Length:  740.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1372315  (Average: 10.02 Max: 667 Sum: 13744992)
  Executed   : 1372232  (Average: 10.01 Max: 667 Sum: 13742638 Ratio:  99.98%)
  Bounded    : 83       (Average: 28.36 Max: 107 Sum:   2354 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011262  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

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

Iteration 53
Queue:		 [(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        : 54
Time         : 897.640s (Solving: 870.76s 1st Model: 0.03s Unsat: 6.89s)
CPU Time     : 897.928s

Choices      : 15132161 (Domain: 14936022)
Conflicts    : 1400516  (Analyzed: 1400513)
Restarts     : 4968     (Average: 281.91 Last: 1706)
Model-Level  : 161.0   
Problems     : 54       (Average Length: 74.50 Splits: 0)
Lemmas       : 1400513  (Deleted: 1349489)
  Binary     : 19354    (Ratio:   1.38%)
  Ternary    : 3054     (Ratio:   0.22%)
  Conflict   : 1400513  (Average Length:  739.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1400513  (Average: 10.05 Max: 667 Sum: 14072550)
  Executed   : 1400429  (Average: 10.05 Max: 667 Sum: 14070089 Ratio:  99.98%)
  Bounded    : 84       (Average: 29.30 Max: 107 Sum:   2461 Ratio:   0.02%)

Rules        : 108888   (Original: 99163)
Atoms        : 52732   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541709   (Eliminated: 10779 Frozen: 530930)
Constraints  : 4011262  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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


