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-7.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-7.pddl
Parsing...
Parsing: [0.050s CPU, 0.048s wall-clock]
Normalizing task... [0.010s CPU, 0.004s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.012s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.050s CPU, 0.058s wall-clock]
Preparing model... [0.030s CPU, 0.030s wall-clock]
Generated 115 rules.
Computing model... [0.390s CPU, 0.383s wall-clock]
2300 relevant atoms
2393 auxiliary atoms
4693 final queue length
8087 total queue pushes
Completing instantiation... [0.680s CPU, 0.685s wall-clock]
Instantiating: [1.160s CPU, 1.173s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.120s CPU, 0.120s wall-clock]
Checking invariant weight... [0.010s CPU, 0.001s wall-clock]
Instantiating groups... [0.000s CPU, 0.007s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
Choosing groups...
238 uncovered facts
Choosing groups: [0.000s CPU, 0.001s wall-clock]
Building translation key... [0.010s CPU, 0.009s wall-clock]
Computing fact groups: [0.160s CPU, 0.156s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.002s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.002s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.003s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.040s CPU, 0.038s wall-clock]
Translating task: [0.720s CPU, 0.724s wall-clock]
2672 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
3 propositions removed
Detecting unreachable propositions: [0.360s CPU, 0.356s wall-clock]
Reordering and filtering variables...
241 of 241 variables necessary.
12 of 15 mutex groups necessary.
1596 of 1596 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.240s CPU, 0.240s wall-clock]
Translator variables: 241
Translator derived variables: 0
Translator facts: 505
Translator goal facts: 10
Translator mutex groups: 12
Translator total mutex groups size: 36
Translator operators: 1596
Translator axioms: 0
Translator task size: 15302
Translator peak memory: 45004 KB
Writing output... [0.320s CPU, 0.350s wall-clock]
Done! [3.060s CPU, 3.088s wall-clock]
planner.py version 0.0.1

Time:	 0.62s
Memory: 91MB

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

Models       : 0
Calls        : 1
Time         : 0.726s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.624s

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

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

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

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

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

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

Choices      : 104      (Domain: 53)
Conflicts    : 23       (Analyzed: 22)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 22       (Deleted: 0)
  Binary     : 8        (Ratio:  36.36%)
  Ternary    : 1        (Ratio:   4.55%)
  Conflict   : 22       (Average Length:    4.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 22       (Average:  4.77 Max:  20 Sum:    105)
  Executed   : 21       (Average:  4.73 Max:  20 Sum:    104 Ratio:  99.05%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   0.95%)

Rules        : 44183   
Atoms        : 44183   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 11838    (Eliminated:    0 Frozen: 11838)
Constraints  : 40805    (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.13s
Memory:		 165MB (+2MB)
UNSAT
Iteration Time:	 0.41s

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

Models       : 1+
Calls        : 3
Time         : 1.643s (Solving: 0.03s 1st Model: 0.02s Unsat: 0.00s)
CPU Time     : 1.544s

Choices      : 1188     (Domain: 1048)
Conflicts    : 143      (Analyzed: 142)
Restarts     : 1        (Average: 142.00 Last: 22)
Model-Level  : 135.0   
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 142      (Deleted: 0)
  Binary     : 34       (Ratio:  23.94%)
  Ternary    : 2        (Ratio:   1.41%)
  Conflict   : 142      (Average Length:   74.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 142      (Average:  7.23 Max:  35 Sum:   1027)
  Executed   : 141      (Average:  7.23 Max:  35 Sum:   1026 Ratio:  99.90%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   0.10%)

Rules        : 44183   
Atoms        : 44183   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 25939    (Eliminated:    0 Frozen: 25939)
Constraints  : 156030   (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.23s
Memory:		 176MB (+7MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 0.72s
Memory:		 200MB (+24MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 4
Time         : 2.297s (Solving: 0.35s 1st Model: 0.02s Unsat: 0.33s)
CPU Time     : 2.200s

Choices      : 12274    (Domain: 10315)
Conflicts    : 1358     (Analyzed: 1356)
Restarts     : 8        (Average: 169.50 Last: 22)
Model-Level  : 135.0   
Problems     : 4        (Average Length: 8.25 Splits: 0)
Lemmas       : 1356     (Deleted: 0)
  Binary     : 268      (Ratio:  19.76%)
  Ternary    : 169      (Ratio:  12.46%)
  Conflict   : 1356     (Average Length:   27.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1356     (Average:  8.93 Max: 102 Sum:  12103)
  Executed   : 1345     (Average:  8.85 Max: 102 Sum:  12004 Ratio:  99.18%)
  Bounded    : 11       (Average:  9.00 Max:  12 Sum:     99 Ratio:   0.82%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 40176    (Eliminated: 10779 Frozen: 29397)
Constraints  : 223189   (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.48s
Memory:		 197MB (+-3MB)
UNSAT
Iteration Time:	 1.72s

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

Models       : 0+
Calls        : 5
Time         : 13.170s (Solving: 10.30s 1st Model: 0.02s Unsat: 0.33s)
CPU Time     : 13.076s

Choices      : 185392   (Domain: 161552)
Conflicts    : 29525    (Analyzed: 29523)
Restarts     : 108      (Average: 273.36 Last: 200)
Model-Level  : 135.0   
Problems     : 5        (Average Length: 10.00 Splits: 0)
Lemmas       : 29523    (Deleted: 16812)
  Binary     : 1764     (Ratio:   5.98%)
  Ternary    : 536      (Ratio:   1.82%)
  Conflict   : 29523    (Average Length:  282.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 29523    (Average:  6.10 Max: 206 Sum: 180029)
  Executed   : 29497    (Average:  6.09 Max: 206 Sum: 179686 Ratio:  99.81%)
  Bounded    : 26       (Average: 13.19 Max:  17 Sum:    343 Ratio:   0.19%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 66567    (Eliminated: 10779 Frozen: 46683)
Constraints  : 416044   (Binary:  90.1% Ternary:   7.0% Other:   2.8%)

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

[endof: stats after solve call]
Solving Time:	 10.35s
Memory:		 222MB (+17MB)
UNKNOWN
Iteration Time:	 10.89s

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

Models       : 0+
Calls        : 6
Time         : 29.383s (Solving: 25.58s 1st Model: 0.02s Unsat: 0.33s)
CPU Time     : 29.296s

Choices      : 412549   (Domain: 372252)
Conflicts    : 57668    (Analyzed: 57666)
Restarts     : 208      (Average: 277.24 Last: 202)
Model-Level  : 135.0   
Problems     : 6        (Average Length: 12.00 Splits: 0)
Lemmas       : 57666    (Deleted: 41848)
  Binary     : 3058     (Ratio:   5.30%)
  Ternary    : 914      (Ratio:   1.58%)
  Conflict   : 57666    (Average Length:  415.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 57666    (Average:  6.90 Max: 242 Sum: 397922)
  Executed   : 57629    (Average:  6.89 Max: 242 Sum: 397354 Ratio:  99.86%)
  Bounded    : 37       (Average: 15.35 Max:  22 Sum:    568 Ratio:   0.14%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 92958    (Eliminated: 10779 Frozen: 73074)
Constraints  : 607054   (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:	 15.70s
Memory:		 242MB (+18MB)
UNKNOWN
Iteration Time:	 16.23s

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

Models       : 0+
Calls        : 7
Time         : 47.535s (Solving: 42.49s 1st Model: 0.02s Unsat: 0.33s)
CPU Time     : 47.456s

Choices      : 694848   (Domain: 635606)
Conflicts    : 85840    (Analyzed: 85838)
Restarts     : 308      (Average: 278.69 Last: 202)
Model-Level  : 135.0   
Problems     : 7        (Average Length: 14.14 Splits: 0)
Lemmas       : 85838    (Deleted: 68156)
  Binary     : 4563     (Ratio:   5.32%)
  Ternary    : 1101     (Ratio:   1.28%)
  Conflict   : 85838    (Average Length:  486.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 85838    (Average:  7.77 Max: 318 Sum: 666669)
  Executed   : 85791    (Average:  7.76 Max: 318 Sum: 665843 Ratio:  99.88%)
  Bounded    : 47       (Average: 17.57 Max:  27 Sum:    826 Ratio:   0.12%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 119349   (Eliminated: 10779 Frozen: 99465)
Constraints  : 808049   (Binary:  90.9% Ternary:   6.8% Other:   2.3%)

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

[endof: stats after solve call]
Solving Time:	 17.49s
Memory:		 323MB (+78MB)
UNKNOWN
Iteration Time:	 18.17s

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

Models       : 0+
Calls        : 8
Time         : 65.302s (Solving: 59.20s 1st Model: 0.02s Unsat: 0.33s)
CPU Time     : 65.232s

Choices      : 988448   (Domain: 914612)
Conflicts    : 113997   (Analyzed: 113995)
Restarts     : 408      (Average: 279.40 Last: 202)
Model-Level  : 135.0   
Problems     : 8        (Average Length: 16.38 Splits: 0)
Lemmas       : 113995   (Deleted: 94607)
  Binary     : 5827     (Ratio:   5.11%)
  Ternary    : 1243     (Ratio:   1.09%)
  Conflict   : 113995   (Average Length:  554.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 113995   (Average:  8.28 Max: 356 Sum: 943743)
  Executed   : 113947   (Average:  8.27 Max: 356 Sum: 942885 Ratio:  99.91%)
  Bounded    : 48       (Average: 17.88 Max:  32 Sum:    858 Ratio:   0.09%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 145740   (Eliminated: 10779 Frozen: 125856)
Constraints  : 1002376  (Binary:  91.0% Ternary:   6.8% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 17.14s
Memory:		 354MB (+18MB)
UNKNOWN
Iteration Time:	 17.78s

Iteration 8
Queue:		 [(3,15,1,True), (4,20,1,True), (5,25,1,True), (6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 9
Time         : 65.534s (Solving: 59.38s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 65.464s

Choices      : 989340   (Domain: 915504)
Conflicts    : 114240   (Analyzed: 114237)
Restarts     : 410      (Average: 278.63 Last: 202)
Model-Level  : 135.0   
Problems     : 9        (Average Length: 18.11 Splits: 0)
Lemmas       : 114237   (Deleted: 94607)
  Binary     : 5829     (Ratio:   5.10%)
  Ternary    : 1245     (Ratio:   1.09%)
  Conflict   : 114237   (Average Length:  553.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 114237   (Average:  8.27 Max: 356 Sum: 944593)
  Executed   : 114187   (Average:  8.26 Max: 356 Sum: 943733 Ratio:  99.91%)
  Bounded    : 50       (Average: 17.20 Max:  32 Sum:    860 Ratio:   0.09%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 145740   (Eliminated: 10779 Frozen: 134961)
Constraints  : 996990   (Binary:  91.0% Ternary:   6.8% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 0.21s
Memory:		 354MB (+0MB)
UNSAT
Iteration Time:	 0.24s

Iteration 9
Queue:		 [(4,20,1,True), (5,25,1,True), (6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 10
Time         : 75.633s (Solving: 69.43s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 75.568s

Choices      : 1108613  (Domain: 1034777)
Conflicts    : 142393   (Analyzed: 142390)
Restarts     : 510      (Average: 279.20 Last: 202)
Model-Level  : 135.0   
Problems     : 10       (Average Length: 19.50 Splits: 0)
Lemmas       : 142390   (Deleted: 121741)
  Binary     : 6139     (Ratio:   4.31%)
  Ternary    : 1288     (Ratio:   0.90%)
  Conflict   : 142390   (Average Length:  541.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 142390   (Average:  7.41 Max: 356 Sum: 1055693)
  Executed   : 142334   (Average:  7.41 Max: 356 Sum: 1054797 Ratio:  99.92%)
  Bounded    : 56       (Average: 16.00 Max:  32 Sum:    896 Ratio:   0.08%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 145740   (Eliminated: 10779 Frozen: 134961)
Constraints  : 996990   (Binary:  91.0% Ternary:   6.8% Other:   2.2%)

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

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

Iteration 10
Queue:		 [(5,25,1,True), (6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 11
Time         : 91.956s (Solving: 85.71s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 91.900s

Choices      : 1288191  (Domain: 1209711)
Conflicts    : 170549   (Analyzed: 170546)
Restarts     : 610      (Average: 279.58 Last: 202)
Model-Level  : 135.0   
Problems     : 11       (Average Length: 20.64 Splits: 0)
Lemmas       : 170546   (Deleted: 148966)
  Binary     : 6848     (Ratio:   4.02%)
  Ternary    : 1350     (Ratio:   0.79%)
  Conflict   : 170546   (Average Length:  602.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 170546   (Average:  7.15 Max: 356 Sum: 1219607)
  Executed   : 170486   (Average:  7.15 Max: 356 Sum: 1218589 Ratio:  99.92%)
  Bounded    : 60       (Average: 16.97 Max:  32 Sum:   1018 Ratio:   0.08%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 145740   (Eliminated: 10779 Frozen: 134961)
Constraints  : 996990   (Binary:  91.0% Ternary:   6.8% Other:   2.2%)

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

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

Iteration 11
Queue:		 [(6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 12
Time         : 105.162s (Solving: 98.87s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 105.112s

Choices      : 1480416  (Domain: 1389365)
Conflicts    : 198745   (Analyzed: 198742)
Restarts     : 710      (Average: 279.92 Last: 202)
Model-Level  : 135.0   
Problems     : 12       (Average Length: 21.58 Splits: 0)
Lemmas       : 198742   (Deleted: 176182)
  Binary     : 7483     (Ratio:   3.77%)
  Ternary    : 1471     (Ratio:   0.74%)
  Conflict   : 198742   (Average Length:  603.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 198742   (Average:  7.04 Max: 356 Sum: 1399664)
  Executed   : 198678   (Average:  7.04 Max: 356 Sum: 1398523 Ratio:  99.92%)
  Bounded    : 64       (Average: 17.83 Max:  32 Sum:   1141 Ratio:   0.08%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 145740   (Eliminated: 10779 Frozen: 134961)
Constraints  : 996962   (Binary:  91.0% Ternary:   6.8% Other:   2.2%)

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

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

Iteration 12
Queue:		 [(7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Expected Memory: 435.0MB
Grounding...	 [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])]
Grounding Time:	 0.37s
Memory:		 354MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 13
Time         : 120.746s (Solving: 113.45s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 120.704s

Choices      : 1732901  (Domain: 1635813)
Conflicts    : 226888   (Analyzed: 226885)
Restarts     : 810      (Average: 280.10 Last: 203)
Model-Level  : 135.0   
Problems     : 13       (Average Length: 22.77 Splits: 0)
Lemmas       : 226885   (Deleted: 203280)
  Binary     : 8255     (Ratio:   3.64%)
  Ternary    : 1550     (Ratio:   0.68%)
  Conflict   : 226885   (Average Length:  596.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 226885   (Average:  7.21 Max: 356 Sum: 1636137)
  Executed   : 226821   (Average:  7.21 Max: 356 Sum: 1634996 Ratio:  99.93%)
  Bounded    : 64       (Average: 17.83 Max:  32 Sum:   1141 Ratio:   0.07%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 172131   (Eliminated: 10779 Frozen: 152247)
Constraints  : 1198004  (Binary:  91.1% Ternary:   6.8% Other:   2.2%)

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

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

Iteration 13
Queue:		 [(8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 35
Expected Memory: 450.0MB
Grounding...	 [('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('check', [40])]
Grounding Time:	 0.36s
Memory:		 372MB (+3MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 14
Time         : 136.112s (Solving: 127.81s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 136.076s

Choices      : 2005088  (Domain: 1898095)
Conflicts    : 255081   (Analyzed: 255078)
Restarts     : 910      (Average: 280.31 Last: 205)
Model-Level  : 135.0   
Problems     : 14       (Average Length: 24.14 Splits: 0)
Lemmas       : 255078   (Deleted: 230279)
  Binary     : 9127     (Ratio:   3.58%)
  Ternary    : 1725     (Ratio:   0.68%)
  Conflict   : 255078   (Average Length:  603.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 255078   (Average:  7.41 Max: 356 Sum: 1890277)
  Executed   : 255014   (Average:  7.41 Max: 356 Sum: 1889136 Ratio:  99.94%)
  Bounded    : 64       (Average: 17.83 Max:  32 Sum:   1141 Ratio:   0.06%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 198522   (Eliminated: 10779 Frozen: 178638)
Constraints  : 1399059  (Binary:  91.1% Ternary:   6.8% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 14.81s
Memory:		 388MB (+16MB)
UNKNOWN
Iteration Time:	 15.38s

Iteration 14
Queue:		 [(9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 40
Expected Memory: 469.0MB
Grounding...	 [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time:	 0.41s
Memory:		 390MB (+2MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 15
Time         : 151.779s (Solving: 142.40s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 151.748s

Choices      : 2309841  (Domain: 2194722)
Conflicts    : 283261   (Analyzed: 283258)
Restarts     : 1010     (Average: 280.45 Last: 205)
Model-Level  : 135.0   
Problems     : 15       (Average Length: 25.67 Splits: 0)
Lemmas       : 283258   (Deleted: 256985)
  Binary     : 9721     (Ratio:   3.43%)
  Ternary    : 1805     (Ratio:   0.64%)
  Conflict   : 283258   (Average Length:  596.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 283258   (Average:  7.69 Max: 356 Sum: 2177268)
  Executed   : 283193   (Average:  7.68 Max: 356 Sum: 2176080 Ratio:  99.95%)
  Bounded    : 65       (Average: 18.28 Max:  47 Sum:   1188 Ratio:   0.05%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 224913   (Eliminated: 10779 Frozen: 205029)
Constraints  : 1600114  (Binary:  91.2% Ternary:   6.8% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 15.03s
Memory:		 417MB (+27MB)
UNKNOWN
Iteration Time:	 15.68s

Iteration 15
Queue:		 [(10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 45
Expected Memory: 498.0MB
Grounding...	 [('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('check', [50])]
Grounding Time:	 0.41s
Memory:		 417MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 16
Time         : 171.925s (Solving: 161.46s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 171.904s

Choices      : 2706067  (Domain: 2587355)
Conflicts    : 311413   (Analyzed: 311410)
Restarts     : 1110     (Average: 280.55 Last: 205)
Model-Level  : 135.0   
Problems     : 16       (Average Length: 27.31 Splits: 0)
Lemmas       : 311410   (Deleted: 283755)
  Binary     : 10440    (Ratio:   3.35%)
  Ternary    : 2007     (Ratio:   0.64%)
  Conflict   : 311410   (Average Length:  616.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 311410   (Average:  8.18 Max: 356 Sum: 2548690)
  Executed   : 311345   (Average:  8.18 Max: 356 Sum: 2547502 Ratio:  99.95%)
  Bounded    : 65       (Average: 18.28 Max:  47 Sum:   1188 Ratio:   0.05%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 251304   (Eliminated: 10779 Frozen: 231420)
Constraints  : 1801155  (Binary:  91.2% Ternary:   6.8% Other:   2.1%)

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

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

Iteration 16
Queue:		 [(11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 50
Expected Memory: 513.0MB
Grounding...	 [('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('check', [55])]
Grounding Time:	 0.40s
Memory:		 432MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 17
Time         : 191.678s (Solving: 180.10s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 191.668s

Choices      : 3063298  (Domain: 2942483)
Conflicts    : 339617   (Analyzed: 339614)
Restarts     : 1210     (Average: 280.67 Last: 205)
Model-Level  : 135.0   
Problems     : 17       (Average Length: 29.06 Splits: 0)
Lemmas       : 339614   (Deleted: 310677)
  Binary     : 11039    (Ratio:   3.25%)
  Ternary    : 2152     (Ratio:   0.63%)
  Conflict   : 339614   (Average Length:  616.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 339614   (Average:  8.49 Max: 425 Sum: 2884589)
  Executed   : 339549   (Average:  8.49 Max: 425 Sum: 2883401 Ratio:  99.96%)
  Bounded    : 65       (Average: 18.28 Max:  47 Sum:   1188 Ratio:   0.04%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 277695   (Eliminated: 10779 Frozen: 257811)
Constraints  : 2002210  (Binary:  91.2% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.10s
Memory:		 450MB (+18MB)
UNKNOWN
Iteration Time:	 19.77s

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

Models       : 0+
Calls        : 18
Time         : 212.519s (Solving: 199.86s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 212.516s

Choices      : 3497106  (Domain: 3369417)
Conflicts    : 367820   (Analyzed: 367817)
Restarts     : 1310     (Average: 280.78 Last: 205)
Model-Level  : 135.0   
Problems     : 18       (Average Length: 30.89 Splits: 0)
Lemmas       : 367817   (Deleted: 337038)
  Binary     : 11829    (Ratio:   3.22%)
  Ternary    : 2302     (Ratio:   0.63%)
  Conflict   : 367817   (Average Length:  627.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 367817   (Average:  8.94 Max: 437 Sum: 3289086)
  Executed   : 367752   (Average:  8.94 Max: 437 Sum: 3287898 Ratio:  99.96%)
  Bounded    : 65       (Average: 18.28 Max:  47 Sum:   1188 Ratio:   0.04%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 304086   (Eliminated: 10779 Frozen: 284202)
Constraints  : 2203265  (Binary:  91.2% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 20.23s
Memory:		 467MB (+17MB)
UNKNOWN
Iteration Time:	 20.86s

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

Models       : 0+
Calls        : 19
Time         : 236.719s (Solving: 222.90s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 236.724s

Choices      : 3983586  (Domain: 3850175)
Conflicts    : 395978   (Analyzed: 395975)
Restarts     : 1410     (Average: 280.83 Last: 205)
Model-Level  : 135.0   
Problems     : 19       (Average Length: 32.79 Splits: 0)
Lemmas       : 395975   (Deleted: 363290)
  Binary     : 12825    (Ratio:   3.24%)
  Ternary    : 2473     (Ratio:   0.62%)
  Conflict   : 395975   (Average Length:  646.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 395975   (Average:  9.45 Max: 504 Sum: 3742011)
  Executed   : 395909   (Average:  9.45 Max: 504 Sum: 3740756 Ratio:  99.97%)
  Bounded    : 66       (Average: 19.02 Max:  67 Sum:   1255 Ratio:   0.03%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 330477   (Eliminated: 10779 Frozen: 310593)
Constraints  : 2404320  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 23.51s
Memory:		 510MB (+42MB)
UNKNOWN
Iteration Time:	 24.22s

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

Models       : 0+
Calls        : 20
Time         : 257.969s (Solving: 242.88s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 257.984s

Choices      : 4314835  (Domain: 4180994)
Conflicts    : 424171   (Analyzed: 424168)
Restarts     : 1510     (Average: 280.91 Last: 205)
Model-Level  : 135.0   
Problems     : 20       (Average Length: 34.75 Splits: 0)
Lemmas       : 424168   (Deleted: 390945)
  Binary     : 13243    (Ratio:   3.12%)
  Ternary    : 2532     (Ratio:   0.60%)
  Conflict   : 424168   (Average Length:  656.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 424168   (Average:  9.54 Max: 539 Sum: 4047479)
  Executed   : 424102   (Average:  9.54 Max: 539 Sum: 4046224 Ratio:  99.97%)
  Bounded    : 66       (Average: 19.02 Max:  67 Sum:   1255 Ratio:   0.03%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 356868   (Eliminated: 10779 Frozen: 336984)
Constraints  : 2605361  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 20.45s
Memory:		 537MB (+14MB)
UNKNOWN
Iteration Time:	 21.27s

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

Models       : 0+
Calls        : 21
Time         : 283.076s (Solving: 266.87s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 283.100s

Choices      : 4794905  (Domain: 4658498)
Conflicts    : 452342   (Analyzed: 452339)
Restarts     : 1610     (Average: 280.96 Last: 205)
Model-Level  : 135.0   
Problems     : 21       (Average Length: 36.76 Splits: 0)
Lemmas       : 452339   (Deleted: 417471)
  Binary     : 14126    (Ratio:   3.12%)
  Ternary    : 2733     (Ratio:   0.60%)
  Conflict   : 452339   (Average Length:  667.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 452339   (Average:  9.93 Max: 586 Sum: 4492332)
  Executed   : 452273   (Average:  9.93 Max: 586 Sum: 4491077 Ratio:  99.97%)
  Bounded    : 66       (Average: 19.02 Max:  67 Sum:   1255 Ratio:   0.03%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 383259   (Eliminated: 10779 Frozen: 363375)
Constraints  : 2806416  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 24.47s
Memory:		 548MB (+11MB)
UNKNOWN
Iteration Time:	 25.12s

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

Models       : 0+
Calls        : 22
Time         : 306.151s (Solving: 288.82s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 306.184s

Choices      : 5313640  (Domain: 5175390)
Conflicts    : 480555   (Analyzed: 480552)
Restarts     : 1710     (Average: 281.02 Last: 205)
Model-Level  : 135.0   
Problems     : 22       (Average Length: 38.82 Splits: 0)
Lemmas       : 480552   (Deleted: 444222)
  Binary     : 14883    (Ratio:   3.10%)
  Ternary    : 2871     (Ratio:   0.60%)
  Conflict   : 480552   (Average Length:  666.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 480552   (Average: 10.36 Max: 586 Sum: 4979890)
  Executed   : 480486   (Average: 10.36 Max: 586 Sum: 4978635 Ratio:  99.97%)
  Bounded    : 66       (Average: 19.02 Max:  67 Sum:   1255 Ratio:   0.03%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 389766)
Constraints  : 3007471  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

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

Iteration 22
Queue:		 [(4,20,2,True), (5,25,2,True), (6,30,2,True), (7,35,1,True), (8,40,1,True), (9,45,1,True), (10,50,1,True), (11,55,1,True), (12,60,1,True), (13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,1,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 80
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 23
Time         : 318.685s (Solving: 301.23s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 318.724s

Choices      : 5468310  (Domain: 5330060)
Conflicts    : 508787   (Analyzed: 508784)
Restarts     : 1810     (Average: 281.10 Last: 205)
Model-Level  : 135.0   
Problems     : 23       (Average Length: 40.70 Splits: 0)
Lemmas       : 508784   (Deleted: 471287)
  Binary     : 15087    (Ratio:   2.97%)
  Ternary    : 2913     (Ratio:   0.57%)
  Conflict   : 508784   (Average Length:  651.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 508784   (Average: 10.08 Max: 586 Sum: 5127609)
  Executed   : 508715   (Average: 10.08 Max: 586 Sum: 5126189 Ratio:  99.97%)
  Bounded    : 69       (Average: 20.58 Max:  82 Sum:   1420 Ratio:   0.03%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 398871)
Constraints  : 3007471  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 12.49s
Memory:		 565MB (+0MB)
UNKNOWN
Iteration Time:	 12.54s

Iteration 23
Queue:		 [(5,25,2,True), (6,30,2,True), (7,35,1,True), (8,40,1,True), (9,45,1,True), (10,50,1,True), (11,55,1,True), (12,60,1,True), (13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,1,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 24
Time         : 346.448s (Solving: 328.88s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 346.500s

Choices      : 5630450  (Domain: 5492199)
Conflicts    : 536889   (Analyzed: 536886)
Restarts     : 1910     (Average: 281.09 Last: 205)
Model-Level  : 135.0   
Problems     : 24       (Average Length: 42.42 Splits: 0)
Lemmas       : 536886   (Deleted: 497590)
  Binary     : 15267    (Ratio:   2.84%)
  Ternary    : 2955     (Ratio:   0.55%)
  Conflict   : 536886   (Average Length:  675.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 536886   (Average:  9.83 Max: 586 Sum: 5275854)
  Executed   : 536817   (Average:  9.82 Max: 586 Sum: 5274434 Ratio:  99.97%)
  Bounded    : 69       (Average: 20.58 Max:  82 Sum:   1420 Ratio:   0.03%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 398871)
Constraints  : 3007443  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 27.73s
Memory:		 565MB (+0MB)
UNKNOWN
Iteration Time:	 27.78s

Iteration 24
Queue:		 [(6,30,2,True), (7,35,1,True), (8,40,1,True), (9,45,1,True), (10,50,1,True), (11,55,1,True), (12,60,1,True), (13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,1,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 80
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 25
Time         : 366.686s (Solving: 349.02s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 366.748s

Choices      : 5825776  (Domain: 5687506)
Conflicts    : 565113   (Analyzed: 565110)
Restarts     : 2010     (Average: 281.15 Last: 205)
Model-Level  : 135.0   
Problems     : 25       (Average Length: 44.00 Splits: 0)
Lemmas       : 565110   (Deleted: 526131)
  Binary     : 15523    (Ratio:   2.75%)
  Ternary    : 2979     (Ratio:   0.53%)
  Conflict   : 565110   (Average Length:  692.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 565110   (Average:  9.65 Max: 586 Sum: 5453473)
  Executed   : 565041   (Average:  9.65 Max: 586 Sum: 5452053 Ratio:  99.97%)
  Bounded    : 69       (Average: 20.58 Max:  82 Sum:   1420 Ratio:   0.03%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 398871)
Constraints  : 3007443  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

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

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

Models       : 0+
Calls        : 26
Time         : 384.210s (Solving: 366.44s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 384.280s

Choices      : 6043094  (Domain: 5904701)
Conflicts    : 593317   (Analyzed: 593314)
Restarts     : 2110     (Average: 281.19 Last: 205)
Model-Level  : 135.0   
Problems     : 26       (Average Length: 45.46 Splits: 0)
Lemmas       : 593314   (Deleted: 553555)
  Binary     : 15809    (Ratio:   2.66%)
  Ternary    : 3059     (Ratio:   0.52%)
  Conflict   : 593314   (Average Length:  696.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 593314   (Average:  9.53 Max: 586 Sum: 5651596)
  Executed   : 593245   (Average:  9.52 Max: 586 Sum: 5650176 Ratio:  99.97%)
  Bounded    : 69       (Average: 20.58 Max:  82 Sum:   1420 Ratio:   0.03%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 398871)
Constraints  : 3007443  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 17.49s
Memory:		 565MB (+0MB)
UNKNOWN
Iteration Time:	 17.53s

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

Models       : 0+
Calls        : 27
Time         : 402.378s (Solving: 384.51s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 402.456s

Choices      : 6270507  (Domain: 6131746)
Conflicts    : 621504   (Analyzed: 621501)
Restarts     : 2210     (Average: 281.22 Last: 205)
Model-Level  : 135.0   
Problems     : 27       (Average Length: 46.81 Splits: 0)
Lemmas       : 621501   (Deleted: 580708)
  Binary     : 16156    (Ratio:   2.60%)
  Ternary    : 3148     (Ratio:   0.51%)
  Conflict   : 621501   (Average Length:  697.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 621501   (Average:  9.42 Max: 586 Sum: 5857548)
  Executed   : 621432   (Average:  9.42 Max: 586 Sum: 5856128 Ratio:  99.98%)
  Bounded    : 69       (Average: 20.58 Max:  82 Sum:   1420 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 398871)
Constraints  : 3007443  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.14s
Memory:		 565MB (+0MB)
UNKNOWN
Iteration Time:	 18.18s

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

Models       : 0+
Calls        : 28
Time         : 421.250s (Solving: 403.27s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 421.336s

Choices      : 6504219  (Domain: 6364759)
Conflicts    : 649679   (Analyzed: 649676)
Restarts     : 2310     (Average: 281.25 Last: 205)
Model-Level  : 135.0   
Problems     : 28       (Average Length: 48.07 Splits: 0)
Lemmas       : 649676   (Deleted: 607939)
  Binary     : 16606    (Ratio:   2.56%)
  Ternary    : 3232     (Ratio:   0.50%)
  Conflict   : 649676   (Average Length:  708.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 649676   (Average:  9.33 Max: 586 Sum: 6060937)
  Executed   : 649606   (Average:  9.33 Max: 586 Sum: 6059435 Ratio:  99.98%)
  Bounded    : 70       (Average: 21.46 Max:  82 Sum:   1502 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 398871)
Constraints  : 3007443  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.84s
Memory:		 565MB (+0MB)
UNKNOWN
Iteration Time:	 18.88s

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

Models       : 0+
Calls        : 29
Time         : 441.272s (Solving: 423.20s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 441.368s

Choices      : 6784606  (Domain: 6644314)
Conflicts    : 677883   (Analyzed: 677880)
Restarts     : 2410     (Average: 281.28 Last: 205)
Model-Level  : 135.0   
Problems     : 29       (Average Length: 49.24 Splits: 0)
Lemmas       : 677880   (Deleted: 634935)
  Binary     : 17128    (Ratio:   2.53%)
  Ternary    : 3332     (Ratio:   0.49%)
  Conflict   : 677880   (Average Length:  714.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 677880   (Average:  9.31 Max: 586 Sum: 6312574)
  Executed   : 677810   (Average:  9.31 Max: 586 Sum: 6311072 Ratio:  99.98%)
  Bounded    : 70       (Average: 21.46 Max:  82 Sum:   1502 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 398871)
Constraints  : 3007429  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

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

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

Models       : 0+
Calls        : 30
Time         : 461.147s (Solving: 442.98s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 461.252s

Choices      : 7075346  (Domain: 6934505)
Conflicts    : 706065   (Analyzed: 706062)
Restarts     : 2510     (Average: 281.30 Last: 205)
Model-Level  : 135.0   
Problems     : 30       (Average Length: 50.33 Splits: 0)
Lemmas       : 706062   (Deleted: 662365)
  Binary     : 17491    (Ratio:   2.48%)
  Ternary    : 3379     (Ratio:   0.48%)
  Conflict   : 706062   (Average Length:  722.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 706062   (Average:  9.31 Max: 586 Sum: 6572859)
  Executed   : 705992   (Average:  9.31 Max: 586 Sum: 6571357 Ratio:  99.98%)
  Bounded    : 70       (Average: 21.46 Max:  82 Sum:   1502 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 398871)
Constraints  : 3007429  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.85s
Memory:		 565MB (+0MB)
UNKNOWN
Iteration Time:	 19.89s

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

Models       : 0+
Calls        : 31
Time         : 480.215s (Solving: 461.93s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 480.328s

Choices      : 7369087  (Domain: 7227355)
Conflicts    : 734293   (Analyzed: 734290)
Restarts     : 2610     (Average: 281.34 Last: 205)
Model-Level  : 135.0   
Problems     : 31       (Average Length: 51.35 Splits: 0)
Lemmas       : 734290   (Deleted: 689611)
  Binary     : 18027    (Ratio:   2.46%)
  Ternary    : 3488     (Ratio:   0.48%)
  Conflict   : 734290   (Average Length:  728.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 734290   (Average:  9.31 Max: 586 Sum: 6836277)
  Executed   : 734220   (Average:  9.31 Max: 586 Sum: 6834775 Ratio:  99.98%)
  Bounded    : 70       (Average: 21.46 Max:  82 Sum:   1502 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 398871)
Constraints  : 3007429  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.03s
Memory:		 565MB (+0MB)
UNKNOWN
Iteration Time:	 19.08s

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

Models       : 0+
Calls        : 32
Time         : 498.865s (Solving: 480.45s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 498.988s

Choices      : 7629734  (Domain: 7487783)
Conflicts    : 762502   (Analyzed: 762499)
Restarts     : 2710     (Average: 281.36 Last: 205)
Model-Level  : 135.0   
Problems     : 32       (Average Length: 52.31 Splits: 0)
Lemmas       : 762499   (Deleted: 716822)
  Binary     : 18318    (Ratio:   2.40%)
  Ternary    : 3544     (Ratio:   0.46%)
  Conflict   : 762499   (Average Length:  734.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 762499   (Average:  9.27 Max: 586 Sum: 7070826)
  Executed   : 762429   (Average:  9.27 Max: 586 Sum: 7069324 Ratio:  99.98%)
  Bounded    : 70       (Average: 21.46 Max:  82 Sum:   1502 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 398871)
Constraints  : 3007429  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.61s
Memory:		 565MB (+0MB)
UNKNOWN
Iteration Time:	 18.66s

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

Models       : 0+
Calls        : 33
Time         : 519.213s (Solving: 500.70s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 519.348s

Choices      : 7937190  (Domain: 7793895)
Conflicts    : 790693   (Analyzed: 790690)
Restarts     : 2810     (Average: 281.38 Last: 205)
Model-Level  : 135.0   
Problems     : 33       (Average Length: 53.21 Splits: 0)
Lemmas       : 790690   (Deleted: 740707)
  Binary     : 18674    (Ratio:   2.36%)
  Ternary    : 3607     (Ratio:   0.46%)
  Conflict   : 790690   (Average Length:  739.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 790690   (Average:  9.29 Max: 586 Sum: 7346491)
  Executed   : 790619   (Average:  9.29 Max: 586 Sum: 7344907 Ratio:  99.98%)
  Bounded    : 71       (Average: 22.31 Max:  82 Sum:   1584 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 398871)
Constraints  : 3007429  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 20.32s
Memory:		 565MB (+0MB)
UNKNOWN
Iteration Time:	 20.36s

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

Models       : 0+
Calls        : 34
Time         : 540.835s (Solving: 522.21s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 540.976s

Choices      : 8217887  (Domain: 8074298)
Conflicts    : 818853   (Analyzed: 818850)
Restarts     : 2910     (Average: 281.39 Last: 205)
Model-Level  : 135.0   
Problems     : 34       (Average Length: 54.06 Splits: 0)
Lemmas       : 818850   (Deleted: 771775)
  Binary     : 18928    (Ratio:   2.31%)
  Ternary    : 3663     (Ratio:   0.45%)
  Conflict   : 818850   (Average Length:  755.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 818850   (Average:  9.27 Max: 586 Sum: 7592440)
  Executed   : 818779   (Average:  9.27 Max: 586 Sum: 7590856 Ratio:  99.98%)
  Bounded    : 71       (Average: 22.31 Max:  82 Sum:   1584 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 398871)
Constraints  : 3007415  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 21.58s
Memory:		 565MB (+0MB)
UNKNOWN
Iteration Time:	 21.63s

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

Models       : 0+
Calls        : 35
Time         : 559.947s (Solving: 541.22s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 560.096s

Choices      : 8474514  (Domain: 8330602)
Conflicts    : 847106   (Analyzed: 847103)
Restarts     : 3010     (Average: 281.43 Last: 205)
Model-Level  : 135.0   
Problems     : 35       (Average Length: 54.86 Splits: 0)
Lemmas       : 847103   (Deleted: 799422)
  Binary     : 19146    (Ratio:   2.26%)
  Ternary    : 3711     (Ratio:   0.44%)
  Conflict   : 847103   (Average Length:  764.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 847103   (Average:  9.22 Max: 586 Sum: 7813497)
  Executed   : 847031   (Average:  9.22 Max: 586 Sum: 7811831 Ratio:  99.98%)
  Bounded    : 72       (Average: 23.14 Max:  82 Sum:   1666 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 409650   (Eliminated: 10779 Frozen: 398871)
Constraints  : 3007415  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.08s
Memory:		 565MB (+0MB)
UNKNOWN
Iteration Time:	 19.12s

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

Models       : 0+
Calls        : 36
Time         : 578.533s (Solving: 558.63s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 578.688s

Choices      : 8700511  (Domain: 8556063)
Conflicts    : 875326   (Analyzed: 875323)
Restarts     : 3110     (Average: 281.45 Last: 205)
Model-Level  : 135.0   
Problems     : 36       (Average Length: 55.75 Splits: 0)
Lemmas       : 875323   (Deleted: 827236)
  Binary     : 19380    (Ratio:   2.21%)
  Ternary    : 3757     (Ratio:   0.43%)
  Conflict   : 875323   (Average Length:  759.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 875323   (Average:  9.15 Max: 586 Sum: 8013388)
  Executed   : 875250   (Average:  9.15 Max: 586 Sum: 8011635 Ratio:  99.98%)
  Bounded    : 73       (Average: 24.01 Max:  87 Sum:   1753 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 436041   (Eliminated: 10779 Frozen: 416157)
Constraints  : 3208453  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

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

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

Models       : 0+
Calls        : 37
Time         : 601.045s (Solving: 579.96s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 601.208s

Choices      : 9087960  (Domain: 8942134)
Conflicts    : 903484   (Analyzed: 903481)
Restarts     : 3210     (Average: 281.46 Last: 205)
Model-Level  : 135.0   
Problems     : 37       (Average Length: 56.73 Splits: 0)
Lemmas       : 903481   (Deleted: 854559)
  Binary     : 19932    (Ratio:   2.21%)
  Ternary    : 3893     (Ratio:   0.43%)
  Conflict   : 903481   (Average Length:  768.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 903481   (Average:  9.26 Max: 586 Sum: 8364251)
  Executed   : 903408   (Average:  9.26 Max: 586 Sum: 8362498 Ratio:  99.98%)
  Bounded    : 73       (Average: 24.01 Max:  87 Sum:   1753 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 462432   (Eliminated: 10779 Frozen: 442548)
Constraints  : 3409500  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 21.82s
Memory:		 643MB (+60MB)
UNKNOWN
Iteration Time:	 22.53s

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

Models       : 0+
Calls        : 38
Time         : 621.889s (Solving: 599.61s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 622.060s

Choices      : 9363395  (Domain: 9217320)
Conflicts    : 931650   (Analyzed: 931647)
Restarts     : 3310     (Average: 281.46 Last: 205)
Model-Level  : 135.0   
Problems     : 38       (Average Length: 57.79 Splits: 0)
Lemmas       : 931647   (Deleted: 881920)
  Binary     : 20188    (Ratio:   2.17%)
  Ternary    : 3934     (Ratio:   0.42%)
  Conflict   : 931647   (Average Length:  762.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 931647   (Average:  9.24 Max: 586 Sum: 8609811)
  Executed   : 931574   (Average:  9.24 Max: 586 Sum: 8608058 Ratio:  99.98%)
  Bounded    : 73       (Average: 24.01 Max:  87 Sum:   1753 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 488823   (Eliminated: 10779 Frozen: 468939)
Constraints  : 3610555  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

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

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

Models       : 0+
Calls        : 39
Time         : 640.186s (Solving: 616.71s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 640.364s

Choices      : 9558513  (Domain: 9412438)
Conflicts    : 959851   (Analyzed: 959848)
Restarts     : 3410     (Average: 281.48 Last: 205)
Model-Level  : 135.0   
Problems     : 39       (Average Length: 58.92 Splits: 0)
Lemmas       : 959848   (Deleted: 909576)
  Binary     : 20379    (Ratio:   2.12%)
  Ternary    : 3960     (Ratio:   0.41%)
  Conflict   : 959848   (Average Length:  758.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 959848   (Average:  9.14 Max: 586 Sum: 8774834)
  Executed   : 959775   (Average:  9.14 Max: 586 Sum: 8773081 Ratio:  99.98%)
  Bounded    : 73       (Average: 24.01 Max:  87 Sum:   1753 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 515214   (Eliminated: 10779 Frozen: 495330)
Constraints  : 3811610  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 17.60s
Memory:		 667MB (+19MB)
UNKNOWN
Iteration Time:	 18.31s

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

Models       : 0+
Calls        : 40
Time         : 662.810s (Solving: 638.10s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 663.000s

Choices      : 9918018  (Domain: 9771741)
Conflicts    : 988090   (Analyzed: 988087)
Restarts     : 3510     (Average: 281.51 Last: 205)
Model-Level  : 135.0   
Problems     : 40       (Average Length: 60.12 Splits: 0)
Lemmas       : 988087   (Deleted: 937353)
  Binary     : 20647    (Ratio:   2.09%)
  Ternary    : 4045     (Ratio:   0.41%)
  Conflict   : 988087   (Average Length:  763.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 988087   (Average:  9.20 Max: 688 Sum: 9090141)
  Executed   : 988014   (Average:  9.20 Max: 688 Sum: 9088388 Ratio:  99.98%)
  Bounded    : 73       (Average: 24.01 Max:  87 Sum:   1753 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 521721)
Constraints  : 4012665  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.90s
Memory:		 677MB (+10MB)
UNKNOWN
Iteration Time:	 22.64s

Iteration 40
Queue:		 [(4,20,3,True), (5,25,3,True), (6,30,3,True), (7,35,2,True), (8,40,2,True), (9,45,2,True), (10,50,2,True), (11,55,2,True), (12,60,2,True), (13,65,2,True), (14,70,2,False), (15,75,2,False), (16,80,2,False), (17,85,1,True), (18,90,1,True), (19,95,1,True), (20,100,1,True), (21,105,1,True), (22,110,0,True), (23,115,0,True)]
Grounded Until:	 105
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 41
Time         : 673.395s (Solving: 648.57s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 673.588s

Choices      : 10069183 (Domain: 9922906)
Conflicts    : 1016267  (Analyzed: 1016264)
Restarts     : 3610     (Average: 281.51 Last: 213)
Model-Level  : 135.0   
Problems     : 41       (Average Length: 61.27 Splits: 0)
Lemmas       : 1016264  (Deleted: 964666)
  Binary     : 20730    (Ratio:   2.04%)
  Ternary    : 4089     (Ratio:   0.40%)
  Conflict   : 1016264  (Average Length:  753.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1016264  (Average:  9.09 Max: 688 Sum: 9235392)
  Executed   : 1016190  (Average:  9.09 Max: 688 Sum: 9233532 Ratio:  99.98%)
  Bounded    : 74       (Average: 25.14 Max: 107 Sum:   1860 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 530826)
Constraints  : 4012665  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 10.55s
Memory:		 741MB (+64MB)
UNKNOWN
Iteration Time:	 10.59s

Iteration 41
Queue:		 [(5,25,3,True), (6,30,3,True), (7,35,2,True), (8,40,2,True), (9,45,2,True), (10,50,2,True), (11,55,2,True), (12,60,2,True), (13,65,2,True), (14,70,2,False), (15,75,2,False), (16,80,2,False), (17,85,1,True), (18,90,1,True), (19,95,1,True), (20,100,1,True), (21,105,1,True), (22,110,0,True), (23,115,0,True)]
Grounded Until:	 105
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 42
Time         : 698.241s (Solving: 673.29s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 698.444s

Choices      : 10266961 (Domain: 10120684)
Conflicts    : 1044409  (Analyzed: 1044406)
Restarts     : 3710     (Average: 281.51 Last: 213)
Model-Level  : 135.0   
Problems     : 42       (Average Length: 62.36 Splits: 0)
Lemmas       : 1044406  (Deleted: 992447)
  Binary     : 20870    (Ratio:   2.00%)
  Ternary    : 4108     (Ratio:   0.39%)
  Conflict   : 1044406  (Average Length:  767.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1044406  (Average:  9.02 Max: 688 Sum: 9420197)
  Executed   : 1044332  (Average:  9.02 Max: 688 Sum: 9418337 Ratio:  99.98%)
  Bounded    : 74       (Average: 25.14 Max: 107 Sum:   1860 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 530826)
Constraints  : 4012651  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.82s
Memory:		 741MB (+0MB)
UNKNOWN
Iteration Time:	 24.86s

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

Models       : 0+
Calls        : 43
Time         : 717.204s (Solving: 692.14s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 717.416s

Choices      : 10441475 (Domain: 10295198)
Conflicts    : 1072596  (Analyzed: 1072593)
Restarts     : 3810     (Average: 281.52 Last: 213)
Model-Level  : 135.0   
Problems     : 43       (Average Length: 63.40 Splits: 0)
Lemmas       : 1072593  (Deleted: 1020221)
  Binary     : 20965    (Ratio:   1.95%)
  Ternary    : 4129     (Ratio:   0.38%)
  Conflict   : 1072593  (Average Length:  772.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1072593  (Average:  8.93 Max: 688 Sum: 9577241)
  Executed   : 1072519  (Average:  8.93 Max: 688 Sum: 9575381 Ratio:  99.98%)
  Bounded    : 74       (Average: 25.14 Max: 107 Sum:   1860 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 530826)
Constraints  : 4012651  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

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

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

Models       : 0+
Calls        : 44
Time         : 734.378s (Solving: 709.19s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 734.600s

Choices      : 10647178 (Domain: 10500901)
Conflicts    : 1100788  (Analyzed: 1100785)
Restarts     : 3910     (Average: 281.53 Last: 213)
Model-Level  : 135.0   
Problems     : 44       (Average Length: 64.39 Splits: 0)
Lemmas       : 1100785  (Deleted: 1047777)
  Binary     : 21134    (Ratio:   1.92%)
  Ternary    : 4159     (Ratio:   0.38%)
  Conflict   : 1100785  (Average Length:  771.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1100785  (Average:  8.87 Max: 688 Sum: 9759464)
  Executed   : 1100711  (Average:  8.86 Max: 688 Sum: 9757604 Ratio:  99.98%)
  Bounded    : 74       (Average: 25.14 Max: 107 Sum:   1860 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 530826)
Constraints  : 4012651  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

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

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

Models       : 0+
Calls        : 45
Time         : 752.354s (Solving: 727.04s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 752.584s

Choices      : 10852877 (Domain: 10706576)
Conflicts    : 1128953  (Analyzed: 1128950)
Restarts     : 4010     (Average: 281.53 Last: 213)
Model-Level  : 135.0   
Problems     : 45       (Average Length: 65.33 Splits: 0)
Lemmas       : 1128950  (Deleted: 1075279)
  Binary     : 21295    (Ratio:   1.89%)
  Ternary    : 4201     (Ratio:   0.37%)
  Conflict   : 1128950  (Average Length:  773.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1128950  (Average:  8.81 Max: 688 Sum: 9940485)
  Executed   : 1128876  (Average:  8.80 Max: 688 Sum: 9938625 Ratio:  99.98%)
  Bounded    : 74       (Average: 25.14 Max: 107 Sum:   1860 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 530826)
Constraints  : 4012651  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 17.94s
Memory:		 741MB (+0MB)
UNKNOWN
Iteration Time:	 17.99s

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

Models       : 0+
Calls        : 46
Time         : 770.000s (Solving: 744.53s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 770.236s

Choices      : 11048917 (Domain: 10902030)
Conflicts    : 1157144  (Analyzed: 1157141)
Restarts     : 4110     (Average: 281.54 Last: 213)
Model-Level  : 135.0   
Problems     : 46       (Average Length: 66.24 Splits: 0)
Lemmas       : 1157141  (Deleted: 1102942)
  Binary     : 21555    (Ratio:   1.86%)
  Ternary    : 4257     (Ratio:   0.37%)
  Conflict   : 1157141  (Average Length:  777.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1157141  (Average:  8.74 Max: 688 Sum: 10110636)
  Executed   : 1157067  (Average:  8.74 Max: 688 Sum: 10108776 Ratio:  99.98%)
  Bounded    : 74       (Average: 25.14 Max: 107 Sum:   1860 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 530826)
Constraints  : 4012651  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 17.59s
Memory:		 741MB (+0MB)
UNKNOWN
Iteration Time:	 17.66s

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

Models       : 0+
Calls        : 47
Time         : 786.519s (Solving: 760.93s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 786.760s

Choices      : 11273093 (Domain: 11126037)
Conflicts    : 1185336  (Analyzed: 1185333)
Restarts     : 4210     (Average: 281.55 Last: 213)
Model-Level  : 135.0   
Problems     : 47       (Average Length: 67.11 Splits: 0)
Lemmas       : 1185333  (Deleted: 1130503)
  Binary     : 21790    (Ratio:   1.84%)
  Ternary    : 4305     (Ratio:   0.36%)
  Conflict   : 1185333  (Average Length:  778.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1185333  (Average:  8.69 Max: 688 Sum: 10305340)
  Executed   : 1185259  (Average:  8.69 Max: 688 Sum: 10303480 Ratio:  99.98%)
  Bounded    : 74       (Average: 25.14 Max: 107 Sum:   1860 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 530826)
Constraints  : 4012651  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

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

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

Models       : 0+
Calls        : 48
Time         : 803.540s (Solving: 777.82s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 803.788s

Choices      : 11514921 (Domain: 11367456)
Conflicts    : 1213524  (Analyzed: 1213521)
Restarts     : 4310     (Average: 281.56 Last: 213)
Model-Level  : 135.0   
Problems     : 48       (Average Length: 67.94 Splits: 0)
Lemmas       : 1213521  (Deleted: 1154399)
  Binary     : 22085    (Ratio:   1.82%)
  Ternary    : 4356     (Ratio:   0.36%)
  Conflict   : 1213521  (Average Length:  777.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1213521  (Average:  8.67 Max: 688 Sum: 10519538)
  Executed   : 1213447  (Average:  8.67 Max: 688 Sum: 10517678 Ratio:  99.98%)
  Bounded    : 74       (Average: 25.14 Max: 107 Sum:   1860 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 530826)
Constraints  : 4012651  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

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

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

Models       : 0+
Calls        : 49
Time         : 822.202s (Solving: 796.36s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 822.460s

Choices      : 11779279 (Domain: 11629515)
Conflicts    : 1241673  (Analyzed: 1241670)
Restarts     : 4410     (Average: 281.56 Last: 213)
Model-Level  : 135.0   
Problems     : 49       (Average Length: 68.73 Splits: 0)
Lemmas       : 1241670  (Deleted: 1185223)
  Binary     : 22462    (Ratio:   1.81%)
  Ternary    : 4425     (Ratio:   0.36%)
  Conflict   : 1241670  (Average Length:  780.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1241670  (Average:  8.66 Max: 688 Sum: 10748889)
  Executed   : 1241596  (Average:  8.66 Max: 688 Sum: 10747029 Ratio:  99.98%)
  Bounded    : 74       (Average: 25.14 Max: 107 Sum:   1860 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 530826)
Constraints  : 4012651  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 18.63s
Memory:		 741MB (+0MB)
UNKNOWN
Iteration Time:	 18.67s

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

Models       : 0+
Calls        : 50
Time         : 839.967s (Solving: 814.00s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 840.232s

Choices      : 12012903 (Domain: 11863042)
Conflicts    : 1269936  (Analyzed: 1269933)
Restarts     : 4510     (Average: 281.58 Last: 213)
Model-Level  : 135.0   
Problems     : 50       (Average Length: 69.50 Splits: 0)
Lemmas       : 1269933  (Deleted: 1212993)
  Binary     : 22632    (Ratio:   1.78%)
  Ternary    : 4471     (Ratio:   0.35%)
  Conflict   : 1269933  (Average Length:  782.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1269933  (Average:  8.63 Max: 688 Sum: 10957181)
  Executed   : 1269859  (Average:  8.63 Max: 688 Sum: 10955321 Ratio:  99.98%)
  Bounded    : 74       (Average: 25.14 Max: 107 Sum:   1860 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 530826)
Constraints  : 4012651  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

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

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

Models       : 0+
Calls        : 51
Time         : 858.083s (Solving: 831.99s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 858.356s

Choices      : 12309508 (Domain: 12158317)
Conflicts    : 1298130  (Analyzed: 1298127)
Restarts     : 4610     (Average: 281.59 Last: 213)
Model-Level  : 135.0   
Problems     : 51       (Average Length: 70.24 Splits: 0)
Lemmas       : 1298127  (Deleted: 1240537)
  Binary     : 22890    (Ratio:   1.76%)
  Ternary    : 4526     (Ratio:   0.35%)
  Conflict   : 1298127  (Average Length:  781.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1298127  (Average:  8.64 Max: 688 Sum: 11217738)
  Executed   : 1298052  (Average:  8.64 Max: 688 Sum: 11215771 Ratio:  99.98%)
  Bounded    : 75       (Average: 26.23 Max: 107 Sum:   1967 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 530826)
Constraints  : 4012651  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 18.08s
Memory:		 741MB (+0MB)
UNKNOWN
Iteration Time:	 18.13s

Iteration 51
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        : 52
Time         : 878.344s (Solving: 852.14s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 878.624s

Choices      : 12754907 (Domain: 12599768)
Conflicts    : 1326319  (Analyzed: 1326316)
Restarts     : 4710     (Average: 281.60 Last: 213)
Model-Level  : 135.0   
Problems     : 52       (Average Length: 70.94 Splits: 0)
Lemmas       : 1326316  (Deleted: 1267662)
  Binary     : 23442    (Ratio:   1.77%)
  Ternary    : 4601     (Ratio:   0.35%)
  Conflict   : 1326316  (Average Length:  782.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1326316  (Average:  8.76 Max: 688 Sum: 11613295)
  Executed   : 1326241  (Average:  8.75 Max: 688 Sum: 11611328 Ratio:  99.98%)
  Bounded    : 75       (Average: 26.23 Max: 107 Sum:   1967 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 530826)
Constraints  : 4012634  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.23s
Memory:		 741MB (+0MB)
UNKNOWN
Iteration Time:	 20.27s

Iteration 52
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...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 53
Time         : 897.197s (Solving: 870.86s 1st Model: 0.02s Unsat: 0.51s)
CPU Time     : 897.472s

Choices      : 13160432 (Domain: 13003243)
Conflicts    : 1354512  (Analyzed: 1354509)
Restarts     : 4810     (Average: 281.60 Last: 213)
Model-Level  : 135.0   
Problems     : 53       (Average Length: 71.62 Splits: 0)
Lemmas       : 1354509  (Deleted: 1294907)
  Binary     : 23917    (Ratio:   1.77%)
  Ternary    : 4659     (Ratio:   0.34%)
  Conflict   : 1354509  (Average Length:  782.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1354509  (Average:  8.84 Max: 688 Sum: 11972784)
  Executed   : 1354434  (Average:  8.84 Max: 688 Sum: 11970817 Ratio:  99.98%)
  Bounded    : 75       (Average: 26.23 Max: 107 Sum:   1967 Ratio:   0.02%)

Rules        : 108884   (Original: 99159)
Atoms        : 52728   
Bodies       : 47050    (Original: 37324)
  Count      : 682      (Original: 1736)
Equivalences : 11676    (Atom=Atom: 67 Body=Body: 0 Other: 11609)
Tight        : Yes
Variables    : 541605   (Eliminated: 10779 Frozen: 530826)
Constraints  : 4012634  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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


