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-19.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-19.pddl
Parsing...
Parsing: [0.030s CPU, 0.048s wall-clock]
Normalizing task... [0.000s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.009s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.040s CPU, 0.041s wall-clock]
Preparing model... [0.020s CPU, 0.024s wall-clock]
Generated 115 rules.
Computing model... [0.550s CPU, 0.533s wall-clock]
3296 relevant atoms
3425 auxiliary atoms
6721 final queue length
11595 total queue pushes
Completing instantiation... [1.020s CPU, 1.021s wall-clock]
Instantiating: [1.640s CPU, 1.635s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.140s CPU, 0.134s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.010s CPU, 0.010s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
Choosing groups...
350 uncovered facts
Choosing groups: [0.000s CPU, 0.002s wall-clock]
Building translation key... [0.010s CPU, 0.014s wall-clock]
Computing fact groups: [0.190s CPU, 0.189s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.006s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.003s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.004s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.060s CPU, 0.055s wall-clock]
Translating task: [1.060s CPU, 1.061s wall-clock]
3920 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
3 propositions removed
Detecting unreachable propositions: [0.590s CPU, 0.585s wall-clock]
Reordering and filtering variables...
353 of 353 variables necessary.
16 of 19 mutex groups necessary.
2344 of 2344 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.370s CPU, 0.374s wall-clock]
Translator variables: 353
Translator derived variables: 0
Translator facts: 737
Translator goal facts: 14
Translator mutex groups: 16
Translator total mutex groups size: 48
Translator operators: 2344
Translator axioms: 0
Translator task size: 22454
Translator peak memory: 49100 KB
Writing output... [0.410s CPU, 0.447s wall-clock]
Done! [4.350s CPU, 4.398s wall-clock]
planner.py version 0.0.1

Time:	 0.90s
Memory: 111MB

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

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

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

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

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

Choices      : 461      (Domain: 435)
Conflicts    : 89       (Analyzed: 88)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 88       (Deleted: 0)
  Binary     : 27       (Ratio:  30.68%)
  Ternary    : 5        (Ratio:   5.68%)
  Conflict   : 88       (Average Length:    5.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 88       (Average:  5.30 Max:  45 Sum:    466)
  Executed   : 83       (Average:  5.24 Max:  45 Sum:    461 Ratio:  98.93%)
  Bounded    : 5        (Average:  1.00 Max:   1 Sum:      5 Ratio:   1.07%)

Rules        : 64767   
Atoms        : 64767   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 17354    (Eliminated:    0 Frozen: 17354)
Constraints  : 57355    (Binary:  95.3% Ternary:   3.3% Other:   1.4%)

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

[endof: stats after solve call]
Solving Time:	 0.24s
Memory:		 187MB (+4MB)
UNSAT
Iteration Time:	 0.66s

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

Models       : 1+
Calls        : 3
Time         : 2.594s (Solving: 0.02s 1st Model: 0.01s Unsat: 0.01s)
CPU Time     : 2.456s

Choices      : 1383     (Domain: 1306)
Conflicts    : 150      (Analyzed: 149)
Restarts     : 0       
Model-Level  : 241.0   
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 149      (Deleted: 0)
  Binary     : 58       (Ratio:  38.93%)
  Ternary    : 7        (Ratio:   4.70%)
  Conflict   : 149      (Average Length:   53.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 149      (Average:  7.78 Max: 134 Sum:   1159)
  Executed   : 144      (Average:  7.74 Max: 134 Sum:   1154 Ratio:  99.57%)
  Bounded    : 5        (Average:  1.00 Max:   1 Sum:      5 Ratio:   0.43%)

Rules        : 64767   
Atoms        : 64767   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 38040    (Eliminated:    0 Frozen: 38040)
Constraints  : 226475   (Binary:  95.6% Ternary:   3.2% Other:   1.2%)

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

[endof: stats after solve call]
Solving Time:	 0.42s
Memory:		 205MB (+11MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 1.17s
Memory:		 240MB (+35MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 4
Time         : 3.967s (Solving: 0.87s 1st Model: 0.01s Unsat: 0.86s)
CPU Time     : 3.832s

Choices      : 37033    (Domain: 26477)
Conflicts    : 3464     (Analyzed: 3462)
Restarts     : 15       (Average: 230.80 Last: 94)
Model-Level  : 241.0   
Problems     : 4        (Average Length: 8.25 Splits: 0)
Lemmas       : 3462     (Deleted: 0)
  Binary     : 385      (Ratio:  11.12%)
  Ternary    : 95       (Ratio:   2.74%)
  Conflict   : 3462     (Average Length:   70.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 3462     (Average: 10.47 Max: 305 Sum:  36238)
  Executed   : 3449     (Average: 10.44 Max: 305 Sum:  36148 Ratio:  99.75%)
  Bounded    : 13       (Average:  6.92 Max:  12 Sum:     90 Ratio:   0.25%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 60107    (Eliminated: 17109 Frozen: 42998)
Constraints  : 326250   (Binary:  88.2% Ternary:   7.9% Other:   3.9%)

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

[endof: stats after solve call]
Solving Time:	 1.12s
Memory:		 237MB (+-3MB)
UNSAT
Iteration Time:	 3.19s

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

Models       : 0
Calls        : 5
Time         : 23.766s (Solving: 19.17s 1st Model: 0.01s Unsat: 19.15s)
CPU Time     : 23.640s

Choices      : 206302   (Domain: 181620)
Conflicts    : 29073    (Analyzed: 29070)
Restarts     : 107      (Average: 271.68 Last: 682)
Model-Level  : 241.0   
Problems     : 5        (Average Length: 10.00 Splits: 0)
Lemmas       : 29070    (Deleted: 18465)
  Binary     : 1563     (Ratio:   5.38%)
  Ternary    : 644      (Ratio:   2.22%)
  Conflict   : 29070    (Average Length:  378.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 29070    (Average:  6.91 Max: 305 Sum: 200798)
  Executed   : 29047    (Average:  6.90 Max: 305 Sum: 200567 Ratio:  99.88%)
  Bounded    : 23       (Average: 10.04 Max:  17 Sum:    231 Ratio:   0.12%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 100183   (Eliminated: 17109 Frozen: 68419)
Constraints  : 619377   (Binary:  89.7% Ternary:   7.4% Other:   2.9%)

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

[endof: stats after solve call]
Solving Time:	 19.06s
Memory:		 270MB (+26MB)
UNSAT
Iteration Time:	 19.82s

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

Models       : 0+
Calls        : 6
Time         : 43.655s (Solving: 37.41s 1st Model: 0.01s Unsat: 19.15s)
CPU Time     : 43.540s

Choices      : 435695   (Domain: 383796)
Conflicts    : 57257    (Analyzed: 57254)
Restarts     : 207      (Average: 276.59 Last: 682)
Model-Level  : 241.0   
Problems     : 6        (Average Length: 12.00 Splits: 0)
Lemmas       : 57254    (Deleted: 41844)
  Binary     : 2737     (Ratio:   4.78%)
  Ternary    : 979      (Ratio:   1.71%)
  Conflict   : 57254    (Average Length:  535.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 57254    (Average:  7.33 Max: 416 Sum: 419539)
  Executed   : 57226    (Average:  7.32 Max: 416 Sum: 419205 Ratio:  99.92%)
  Bounded    : 28       (Average: 11.93 Max:  22 Sum:    334 Ratio:   0.08%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 140259   (Eliminated: 17109 Frozen: 108495)
Constraints  : 917086   (Binary:  90.2% Ternary:   7.3% Other:   2.5%)

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

[endof: stats after solve call]
Solving Time:	 19.02s
Memory:		 305MB (+23MB)
UNKNOWN
Iteration Time:	 19.91s

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

Models       : 0+
Calls        : 7
Time         : 70.891s (Solving: 63.08s 1st Model: 0.01s Unsat: 19.15s)
CPU Time     : 70.788s

Choices      : 901983   (Domain: 824702)
Conflicts    : 85442    (Analyzed: 85439)
Restarts     : 307      (Average: 278.30 Last: 682)
Model-Level  : 241.0   
Problems     : 7        (Average Length: 14.14 Splits: 0)
Lemmas       : 85439    (Deleted: 67650)
  Binary     : 4755     (Ratio:   5.57%)
  Ternary    : 1340     (Ratio:   1.57%)
  Conflict   : 85439    (Average Length:  693.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 85439    (Average: 10.21 Max: 416 Sum: 872334)
  Executed   : 85397    (Average: 10.20 Max: 416 Sum: 871634 Ratio:  99.92%)
  Bounded    : 42       (Average: 16.67 Max:  27 Sum:    700 Ratio:   0.08%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 180335   (Eliminated: 17109 Frozen: 148571)
Constraints  : 1219025  (Binary:  90.5% Ternary:   7.2% Other:   2.3%)

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

[endof: stats after solve call]
Solving Time:	 26.46s
Memory:		 395MB (+85MB)
UNKNOWN
Iteration Time:	 27.26s

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

Models       : 0+
Calls        : 8
Time         : 102.320s (Solving: 92.90s 1st Model: 0.01s Unsat: 19.15s)
CPU Time     : 102.228s

Choices      : 1395692  (Domain: 1293657)
Conflicts    : 113623   (Analyzed: 113620)
Restarts     : 407      (Average: 279.16 Last: 682)
Model-Level  : 241.0   
Problems     : 8        (Average Length: 16.38 Splits: 0)
Lemmas       : 113620   (Deleted: 92611)
  Binary     : 6851     (Ratio:   6.03%)
  Ternary    : 1845     (Ratio:   1.62%)
  Conflict   : 113620   (Average Length:  862.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 113620   (Average: 11.85 Max: 463 Sum: 1346197)
  Executed   : 113577   (Average: 11.84 Max: 463 Sum: 1345467 Ratio:  99.95%)
  Bounded    : 43       (Average: 16.98 Max:  30 Sum:    730 Ratio:   0.05%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 220411   (Eliminated: 17109 Frozen: 188647)
Constraints  : 1512287  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 30.62s
Memory:		 433MB (+33MB)
UNKNOWN
Iteration Time:	 31.45s

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

Models       : 0
Calls        : 9
Time         : 119.533s (Solving: 110.06s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 119.448s

Choices      : 1491584  (Domain: 1389549)
Conflicts    : 123868   (Analyzed: 123864)
Restarts     : 451      (Average: 274.64 Last: 682)
Model-Level  : 241.0   
Problems     : 9        (Average Length: 18.11 Splits: 0)
Lemmas       : 123864   (Deleted: 107428)
  Binary     : 7019     (Ratio:   5.67%)
  Ternary    : 1893     (Ratio:   1.53%)
  Conflict   : 123864   (Average Length:  823.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 123864   (Average: 11.63 Max: 463 Sum: 1440927)
  Executed   : 123815   (Average: 11.63 Max: 463 Sum: 1440073 Ratio:  99.94%)
  Bounded    : 49       (Average: 17.43 Max:  32 Sum:    854 Ratio:   0.06%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 220411   (Eliminated: 17109 Frozen: 203302)
Constraints  : 1512287  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 17.20s
Memory:		 433MB (+0MB)
UNSAT
Iteration Time:	 17.22s

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

Models       : 0+
Calls        : 10
Time         : 146.934s (Solving: 137.41s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 146.860s

Choices      : 1933320  (Domain: 1829948)
Conflicts    : 152006   (Analyzed: 152002)
Restarts     : 551      (Average: 275.87 Last: 682)
Model-Level  : 241.0   
Problems     : 10       (Average Length: 19.50 Splits: 0)
Lemmas       : 152002   (Deleted: 129106)
  Binary     : 7814     (Ratio:   5.14%)
  Ternary    : 2003     (Ratio:   1.32%)
  Conflict   : 152002   (Average Length:  736.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 152002   (Average: 12.30 Max: 463 Sum: 1869540)
  Executed   : 151946   (Average: 12.29 Max: 463 Sum: 1868475 Ratio:  99.94%)
  Bounded    : 56       (Average: 19.02 Max:  32 Sum:   1065 Ratio:   0.06%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 220411   (Eliminated: 17109 Frozen: 203302)
Constraints  : 1512273  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 27.40s
Memory:		 433MB (+0MB)
UNKNOWN
Iteration Time:	 27.42s

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

Models       : 0+
Calls        : 11
Time         : 176.468s (Solving: 166.88s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 176.404s

Choices      : 2378205  (Domain: 2270423)
Conflicts    : 180184   (Analyzed: 180180)
Restarts     : 651      (Average: 276.77 Last: 682)
Model-Level  : 241.0   
Problems     : 11       (Average Length: 20.64 Splits: 0)
Lemmas       : 180180   (Deleted: 155230)
  Binary     : 8991     (Ratio:   4.99%)
  Ternary    : 2155     (Ratio:   1.20%)
  Conflict   : 180180   (Average Length:  677.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 180180   (Average: 12.77 Max: 463 Sum: 2301776)
  Executed   : 180110   (Average: 12.77 Max: 463 Sum: 2300301 Ratio:  99.94%)
  Bounded    : 70       (Average: 21.07 Max:  32 Sum:   1475 Ratio:   0.06%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 220411   (Eliminated: 17109 Frozen: 203302)
Constraints  : 1512246  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 29.52s
Memory:		 433MB (+0MB)
UNKNOWN
Iteration Time:	 29.55s

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

Models       : 0+
Calls        : 12
Time         : 206.744s (Solving: 195.50s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 206.692s

Choices      : 2701404  (Domain: 2590906)
Conflicts    : 208393   (Analyzed: 208389)
Restarts     : 751      (Average: 277.48 Last: 682)
Model-Level  : 241.0   
Problems     : 12       (Average Length: 22.00 Splits: 0)
Lemmas       : 208389   (Deleted: 182253)
  Binary     : 9728     (Ratio:   4.67%)
  Ternary    : 2217     (Ratio:   1.06%)
  Conflict   : 208389   (Average Length:  781.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 208389   (Average: 12.51 Max: 463 Sum: 2607649)
  Executed   : 208319   (Average: 12.51 Max: 463 Sum: 2606174 Ratio:  99.94%)
  Bounded    : 70       (Average: 21.07 Max:  32 Sum:   1475 Ratio:   0.06%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 260487   (Eliminated: 17109 Frozen: 228723)
Constraints  : 1814212  (Binary:  90.7% Ternary:   7.1% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 29.42s
Memory:		 456MB (+23MB)
UNKNOWN
Iteration Time:	 30.30s

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

Models       : 0+
Calls        : 13
Time         : 238.570s (Solving: 225.66s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 238.532s

Choices      : 3114012  (Domain: 2994560)
Conflicts    : 236581   (Analyzed: 236577)
Restarts     : 851      (Average: 278.00 Last: 682)
Model-Level  : 241.0   
Problems     : 13       (Average Length: 23.54 Splits: 0)
Lemmas       : 236577   (Deleted: 209384)
  Binary     : 10444    (Ratio:   4.41%)
  Ternary    : 2283     (Ratio:   0.97%)
  Conflict   : 236577   (Average Length:  875.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 236577   (Average: 12.68 Max: 510 Sum: 3000889)
  Executed   : 236506   (Average: 12.68 Max: 510 Sum: 2999372 Ratio:  99.95%)
  Bounded    : 71       (Average: 21.37 Max:  42 Sum:   1517 Ratio:   0.05%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 300563   (Eliminated: 17109 Frozen: 268799)
Constraints  : 2116192  (Binary:  90.8% Ternary:   7.1% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 30.98s
Memory:		 549MB (+89MB)
UNKNOWN
Iteration Time:	 31.85s

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

Models       : 0+
Calls        : 14
Time         : 266.518s (Solving: 251.70s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 266.488s

Choices      : 3462406  (Domain: 3342015)
Conflicts    : 264836   (Analyzed: 264832)
Restarts     : 951      (Average: 278.48 Last: 682)
Model-Level  : 241.0   
Problems     : 14       (Average Length: 25.21 Splits: 0)
Lemmas       : 264832   (Deleted: 236414)
  Binary     : 10996    (Ratio:   4.15%)
  Ternary    : 2321     (Ratio:   0.88%)
  Conflict   : 264832   (Average Length:  917.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 264832   (Average: 12.57 Max: 510 Sum: 3330004)
  Executed   : 264759   (Average: 12.57 Max: 510 Sum: 3328398 Ratio:  99.95%)
  Bounded    : 73       (Average: 22.00 Max:  47 Sum:   1606 Ratio:   0.05%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 340639   (Eliminated: 17109 Frozen: 308875)
Constraints  : 2418158  (Binary:  90.9% Ternary:   7.1% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 26.86s
Memory:		 610MB (+48MB)
UNKNOWN
Iteration Time:	 27.97s

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

Models       : 0+
Calls        : 15
Time         : 295.097s (Solving: 278.59s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 295.080s

Choices      : 3857371  (Domain: 3728656)
Conflicts    : 293072   (Analyzed: 293068)
Restarts     : 1051     (Average: 278.85 Last: 682)
Model-Level  : 241.0   
Problems     : 15       (Average Length: 27.00 Splits: 0)
Lemmas       : 293068   (Deleted: 263495)
  Binary     : 11453    (Ratio:   3.91%)
  Ternary    : 2385     (Ratio:   0.81%)
  Conflict   : 293068   (Average Length:  943.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 293068   (Average: 12.62 Max: 549 Sum: 3698499)
  Executed   : 292994   (Average: 12.61 Max: 549 Sum: 3696841 Ratio:  99.96%)
  Bounded    : 74       (Average: 22.41 Max:  52 Sum:   1658 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 380715   (Eliminated: 17109 Frozen: 348951)
Constraints  : 2720124  (Binary:  90.9% Ternary:   7.1% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 27.72s
Memory:		 626MB (+16MB)
UNKNOWN
Iteration Time:	 28.61s

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

Models       : 0+
Calls        : 16
Time         : 321.908s (Solving: 303.63s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 321.904s

Choices      : 4445180  (Domain: 4300425)
Conflicts    : 321295   (Analyzed: 321291)
Restarts     : 1151     (Average: 279.14 Last: 682)
Model-Level  : 241.0   
Problems     : 16       (Average Length: 28.88 Splits: 0)
Lemmas       : 321291   (Deleted: 290793)
  Binary     : 11853    (Ratio:   3.69%)
  Ternary    : 2440     (Ratio:   0.76%)
  Conflict   : 321291   (Average Length:  977.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 321291   (Average: 13.25 Max: 629 Sum: 4258692)
  Executed   : 321217   (Average: 13.25 Max: 629 Sum: 4257034 Ratio:  99.96%)
  Bounded    : 74       (Average: 22.41 Max:  52 Sum:   1658 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 420791   (Eliminated: 17109 Frozen: 389027)
Constraints  : 3022090  (Binary:  90.9% Ternary:   7.1% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 25.88s
Memory:		 651MB (+25MB)
UNKNOWN
Iteration Time:	 26.83s

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

Models       : 0+
Calls        : 17
Time         : 348.475s (Solving: 328.45s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 348.484s

Choices      : 4928013  (Domain: 4771817)
Conflicts    : 349527   (Analyzed: 349523)
Restarts     : 1251     (Average: 279.39 Last: 682)
Model-Level  : 241.0   
Problems     : 17       (Average Length: 30.82 Splits: 0)
Lemmas       : 349523   (Deleted: 317912)
  Binary     : 12344    (Ratio:   3.53%)
  Ternary    : 2524     (Ratio:   0.72%)
  Conflict   : 349523   (Average Length:  988.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 349523   (Average: 13.49 Max: 629 Sum: 4714301)
  Executed   : 349448   (Average: 13.48 Max: 629 Sum: 4712583 Ratio:  99.96%)
  Bounded    : 75       (Average: 22.91 Max:  60 Sum:   1718 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 460867   (Eliminated: 17109 Frozen: 429103)
Constraints  : 3324070  (Binary:  90.9% Ternary:   7.1% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 25.65s
Memory:		 716MB (+65MB)
UNKNOWN
Iteration Time:	 26.59s

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

Models       : 0+
Calls        : 18
Time         : 373.781s (Solving: 351.95s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 373.800s

Choices      : 5174346  (Domain: 5016724)
Conflicts    : 377757   (Analyzed: 377753)
Restarts     : 1351     (Average: 279.61 Last: 682)
Model-Level  : 241.0   
Problems     : 18       (Average Length: 32.83 Splits: 0)
Lemmas       : 377753   (Deleted: 345462)
  Binary     : 12521    (Ratio:   3.31%)
  Ternary    : 2553     (Ratio:   0.68%)
  Conflict   : 377753   (Average Length:  998.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 377753   (Average: 13.07 Max: 629 Sum: 4937555)
  Executed   : 377675   (Average: 13.07 Max: 629 Sum: 4935641 Ratio:  99.96%)
  Bounded    : 78       (Average: 24.54 Max:  67 Sum:   1914 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 500943   (Eliminated: 17109 Frozen: 469179)
Constraints  : 3626050  (Binary:  91.0% Ternary:   7.1% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 24.35s
Memory:		 733MB (+17MB)
UNKNOWN
Iteration Time:	 25.33s

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

Models       : 0+
Calls        : 19
Time         : 401.532s (Solving: 377.91s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 401.560s

Choices      : 5666275  (Domain: 5502655)
Conflicts    : 405930   (Analyzed: 405926)
Restarts     : 1451     (Average: 279.76 Last: 682)
Model-Level  : 241.0   
Problems     : 19       (Average Length: 34.89 Splits: 0)
Lemmas       : 405926   (Deleted: 372693)
  Binary     : 12902    (Ratio:   3.18%)
  Ternary    : 2609     (Ratio:   0.64%)
  Conflict   : 405926   (Average Length: 1010.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 405926   (Average: 13.30 Max: 629 Sum: 5400624)
  Executed   : 405847   (Average: 13.30 Max: 629 Sum: 5398638 Ratio:  99.96%)
  Bounded    : 79       (Average: 25.14 Max:  72 Sum:   1986 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 541019   (Eliminated: 17109 Frozen: 509255)
Constraints  : 3928001  (Binary:  91.0% Ternary:   7.1% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 26.81s
Memory:		 754MB (+21MB)
UNKNOWN
Iteration Time:	 27.77s

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

Models       : 0+
Calls        : 20
Time         : 431.197s (Solving: 405.75s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 431.236s

Choices      : 6391951  (Domain: 6222778)
Conflicts    : 434124   (Analyzed: 434120)
Restarts     : 1551     (Average: 279.90 Last: 682)
Model-Level  : 241.0   
Problems     : 20       (Average Length: 37.00 Splits: 0)
Lemmas       : 434120   (Deleted: 399933)
  Binary     : 13419    (Ratio:   3.09%)
  Ternary    : 2667     (Ratio:   0.61%)
  Conflict   : 434120   (Average Length: 1013.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 434120   (Average: 14.03 Max: 809 Sum: 6092367)
  Executed   : 434041   (Average: 14.03 Max: 809 Sum: 6090381 Ratio:  99.97%)
  Bounded    : 79       (Average: 25.14 Max:  72 Sum:   1986 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 581095   (Eliminated: 17109 Frozen: 549331)
Constraints  : 4229967  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 28.70s
Memory:		 780MB (+26MB)
UNKNOWN
Iteration Time:	 29.69s

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

Models       : 0+
Calls        : 21
Time         : 463.323s (Solving: 435.98s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 463.376s

Choices      : 7034049  (Domain: 6861556)
Conflicts    : 462369   (Analyzed: 462365)
Restarts     : 1651     (Average: 280.05 Last: 682)
Model-Level  : 241.0   
Problems     : 21       (Average Length: 39.14 Splits: 0)
Lemmas       : 462365   (Deleted: 427340)
  Binary     : 13949    (Ratio:   3.02%)
  Ternary    : 2709     (Ratio:   0.59%)
  Conflict   : 462365   (Average Length: 1034.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 462365   (Average: 14.49 Max: 873 Sum: 6699925)
  Executed   : 462283   (Average: 14.49 Max: 873 Sum: 6697701 Ratio:  99.97%)
  Bounded    : 82       (Average: 27.12 Max:  82 Sum:   2224 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 589407)
Constraints  : 4531947  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 31.11s
Memory:		 805MB (+25MB)
UNKNOWN
Iteration Time:	 32.15s

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

Models       : 0+
Calls        : 22
Time         : 490.547s (Solving: 461.28s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 490.612s

Choices      : 7663551  (Domain: 7484234)
Conflicts    : 490634   (Analyzed: 490630)
Restarts     : 1751     (Average: 280.20 Last: 682)
Model-Level  : 241.0   
Problems     : 22       (Average Length: 41.32 Splits: 0)
Lemmas       : 490630   (Deleted: 454463)
  Binary     : 14325    (Ratio:   2.92%)
  Ternary    : 2739     (Ratio:   0.56%)
  Conflict   : 490630   (Average Length: 1054.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 490630   (Average: 14.87 Max: 873 Sum: 7295408)
  Executed   : 490547   (Average: 14.86 Max: 873 Sum: 7293100 Ratio:  99.97%)
  Bounded    : 83       (Average: 27.81 Max:  84 Sum:   2308 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 629483)
Constraints  : 4833913  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.18s
Memory:		 831MB (+26MB)
UNKNOWN
Iteration Time:	 27.25s

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

Models       : 0+
Calls        : 23
Time         : 509.980s (Solving: 480.58s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 510.056s

Choices      : 7792138  (Domain: 7612821)
Conflicts    : 518868   (Analyzed: 518864)
Restarts     : 1851     (Average: 280.32 Last: 682)
Model-Level  : 241.0   
Problems     : 23       (Average Length: 43.30 Splits: 0)
Lemmas       : 518864   (Deleted: 481719)
  Binary     : 14584    (Ratio:   2.81%)
  Ternary    : 2764     (Ratio:   0.53%)
  Conflict   : 518864   (Average Length: 1033.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 518864   (Average: 14.29 Max: 873 Sum: 7413747)
  Executed   : 518778   (Average: 14.28 Max: 873 Sum: 7411193 Ratio:  99.97%)
  Bounded    : 86       (Average: 29.70 Max:  84 Sum:   2554 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4833913  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

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

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

Models       : 0+
Calls        : 24
Time         : 530.570s (Solving: 501.01s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 530.656s

Choices      : 8013749  (Domain: 7830840)
Conflicts    : 547121   (Analyzed: 547117)
Restarts     : 1951     (Average: 280.43 Last: 682)
Model-Level  : 241.0   
Problems     : 24       (Average Length: 45.12 Splits: 0)
Lemmas       : 547117   (Deleted: 509043)
  Binary     : 15101    (Ratio:   2.76%)
  Ternary    : 2807     (Ratio:   0.51%)
  Conflict   : 547117   (Average Length: 1005.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 547117   (Average: 13.93 Max: 873 Sum: 7623657)
  Executed   : 547029   (Average: 13.93 Max: 873 Sum: 7620929 Ratio:  99.96%)
  Bounded    : 88       (Average: 31.00 Max:  87 Sum:   2728 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4833913  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.53s
Memory:		 831MB (+0MB)
UNKNOWN
Iteration Time:	 20.60s

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

Models       : 0+
Calls        : 25
Time         : 552.185s (Solving: 522.47s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 552.280s

Choices      : 8252711  (Domain: 8068723)
Conflicts    : 575335   (Analyzed: 575331)
Restarts     : 2051     (Average: 280.51 Last: 682)
Model-Level  : 241.0   
Problems     : 25       (Average Length: 46.80 Splits: 0)
Lemmas       : 575331   (Deleted: 536213)
  Binary     : 15587    (Ratio:   2.71%)
  Ternary    : 2857     (Ratio:   0.50%)
  Conflict   : 575331   (Average Length:  979.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 575331   (Average: 13.64 Max: 873 Sum: 7848583)
  Executed   : 575242   (Average: 13.64 Max: 873 Sum: 7845773 Ratio:  99.96%)
  Bounded    : 89       (Average: 31.57 Max:  87 Sum:   2810 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4833885  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

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

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

Models       : 0+
Calls        : 26
Time         : 572.122s (Solving: 542.25s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 572.224s

Choices      : 8552069  (Domain: 8366269)
Conflicts    : 603504   (Analyzed: 603500)
Restarts     : 2151     (Average: 280.57 Last: 682)
Model-Level  : 241.0   
Problems     : 26       (Average Length: 48.35 Splits: 0)
Lemmas       : 603500   (Deleted: 563322)
  Binary     : 16022    (Ratio:   2.65%)
  Ternary    : 2908     (Ratio:   0.48%)
  Conflict   : 603500   (Average Length:  954.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 603500   (Average: 13.47 Max: 873 Sum: 8131139)
  Executed   : 603409   (Average: 13.47 Max: 873 Sum: 8128164 Ratio:  99.96%)
  Bounded    : 91       (Average: 32.69 Max:  87 Sum:   2975 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4833885  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

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

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

Models       : 0+
Calls        : 27
Time         : 599.196s (Solving: 569.17s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 599.308s

Choices      : 9062328  (Domain: 8868864)
Conflicts    : 631728   (Analyzed: 631724)
Restarts     : 2251     (Average: 280.64 Last: 682)
Model-Level  : 241.0   
Problems     : 27       (Average Length: 49.78 Splits: 0)
Lemmas       : 631724   (Deleted: 590264)
  Binary     : 16679    (Ratio:   2.64%)
  Ternary    : 2978     (Ratio:   0.47%)
  Conflict   : 631724   (Average Length:  939.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 631724   (Average: 13.64 Max: 873 Sum: 8617459)
  Executed   : 631631   (Average: 13.64 Max: 873 Sum: 8614310 Ratio:  99.96%)
  Bounded    : 93       (Average: 33.86 Max:  87 Sum:   3149 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4833885  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 27.03s
Memory:		 831MB (+0MB)
UNKNOWN
Iteration Time:	 27.09s

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

Models       : 0+
Calls        : 28
Time         : 624.650s (Solving: 594.47s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 624.772s

Choices      : 9603675  (Domain: 9405400)
Conflicts    : 659891   (Analyzed: 659887)
Restarts     : 2351     (Average: 280.68 Last: 682)
Model-Level  : 241.0   
Problems     : 28       (Average Length: 51.11 Splits: 0)
Lemmas       : 659887   (Deleted: 617373)
  Binary     : 17169    (Ratio:   2.60%)
  Ternary    : 3033     (Ratio:   0.46%)
  Conflict   : 659887   (Average Length:  926.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 659887   (Average: 13.84 Max: 873 Sum: 9134784)
  Executed   : 659793   (Average: 13.84 Max: 873 Sum: 9131548 Ratio:  99.96%)
  Bounded    : 94       (Average: 34.43 Max:  87 Sum:   3236 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4833858  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 25.41s
Memory:		 831MB (+0MB)
UNKNOWN
Iteration Time:	 25.47s

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

Models       : 0+
Calls        : 29
Time         : 651.642s (Solving: 621.32s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 651.776s

Choices      : 10088294 (Domain: 9888911)
Conflicts    : 688056   (Analyzed: 688052)
Restarts     : 2451     (Average: 280.72 Last: 682)
Model-Level  : 241.0   
Problems     : 29       (Average Length: 52.34 Splits: 0)
Lemmas       : 688052   (Deleted: 644525)
  Binary     : 17728    (Ratio:   2.58%)
  Ternary    : 3069     (Ratio:   0.45%)
  Conflict   : 688052   (Average Length:  923.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 688052   (Average: 13.94 Max: 873 Sum: 9592828)
  Executed   : 687956   (Average: 13.94 Max: 873 Sum: 9589418 Ratio:  99.96%)
  Bounded    : 96       (Average: 35.52 Max:  87 Sum:   3410 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4833844  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.95s
Memory:		 831MB (+0MB)
UNKNOWN
Iteration Time:	 27.01s

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

Models       : 0+
Calls        : 30
Time         : 675.282s (Solving: 644.82s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 675.428s

Choices      : 10624180 (Domain: 10417978)
Conflicts    : 716255   (Analyzed: 716251)
Restarts     : 2551     (Average: 280.77 Last: 682)
Model-Level  : 241.0   
Problems     : 30       (Average Length: 53.50 Splits: 0)
Lemmas       : 716251   (Deleted: 670746)
  Binary     : 18817    (Ratio:   2.63%)
  Ternary    : 3364     (Ratio:   0.47%)
  Conflict   : 716251   (Average Length:  915.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 716251   (Average: 14.10 Max: 873 Sum: 10098415)
  Executed   : 716155   (Average: 14.09 Max: 873 Sum: 10095005 Ratio:  99.97%)
  Bounded    : 96       (Average: 35.52 Max:  87 Sum:   3410 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4833816  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.60s
Memory:		 831MB (+0MB)
UNKNOWN
Iteration Time:	 23.65s

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

Models       : 0+
Calls        : 31
Time         : 698.918s (Solving: 668.28s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 699.072s

Choices      : 11101480 (Domain: 10894323)
Conflicts    : 744450   (Analyzed: 744446)
Restarts     : 2651     (Average: 280.82 Last: 682)
Model-Level  : 241.0   
Problems     : 31       (Average Length: 54.58 Splits: 0)
Lemmas       : 744446   (Deleted: 697740)
  Binary     : 19532    (Ratio:   2.62%)
  Ternary    : 3515     (Ratio:   0.47%)
  Conflict   : 744446   (Average Length:  899.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 744446   (Average: 14.18 Max: 873 Sum: 10556404)
  Executed   : 744346   (Average: 14.18 Max: 873 Sum: 10552648 Ratio:  99.96%)
  Bounded    : 100      (Average: 37.56 Max:  87 Sum:   3756 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4833816  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.58s
Memory:		 831MB (+0MB)
UNKNOWN
Iteration Time:	 23.65s

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

Models       : 0+
Calls        : 32
Time         : 720.884s (Solving: 690.07s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 721.048s

Choices      : 11513005 (Domain: 11303992)
Conflicts    : 772692   (Analyzed: 772688)
Restarts     : 2751     (Average: 280.88 Last: 682)
Model-Level  : 241.0   
Problems     : 32       (Average Length: 55.59 Splits: 0)
Lemmas       : 772688   (Deleted: 724620)
  Binary     : 20051    (Ratio:   2.59%)
  Ternary    : 3591     (Ratio:   0.46%)
  Conflict   : 772688   (Average Length:  885.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 772688   (Average: 14.17 Max: 873 Sum: 10947165)
  Executed   : 772587   (Average: 14.16 Max: 873 Sum: 10943326 Ratio:  99.96%)
  Bounded    : 101      (Average: 38.01 Max:  87 Sum:   3839 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4833775  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.91s
Memory:		 831MB (+0MB)
UNKNOWN
Iteration Time:	 21.98s

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

Models       : 0+
Calls        : 33
Time         : 749.913s (Solving: 718.95s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 750.088s

Choices      : 12039200 (Domain: 11827316)
Conflicts    : 800936   (Analyzed: 800932)
Restarts     : 2851     (Average: 280.93 Last: 682)
Model-Level  : 241.0   
Problems     : 33       (Average Length: 56.55 Splits: 0)
Lemmas       : 800932   (Deleted: 751656)
  Binary     : 20697    (Ratio:   2.58%)
  Ternary    : 3758     (Ratio:   0.47%)
  Conflict   : 800932   (Average Length:  877.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 800932   (Average: 14.29 Max: 873 Sum: 11445846)
  Executed   : 800830   (Average: 14.29 Max: 873 Sum: 11441920 Ratio:  99.97%)
  Bounded    : 102      (Average: 38.49 Max:  87 Sum:   3926 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4833775  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 28.98s
Memory:		 831MB (+0MB)
UNKNOWN
Iteration Time:	 29.05s

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

Models       : 0+
Calls        : 34
Time         : 778.859s (Solving: 747.71s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 779.044s

Choices      : 12572292 (Domain: 12359083)
Conflicts    : 829129   (Analyzed: 829125)
Restarts     : 2951     (Average: 280.96 Last: 682)
Model-Level  : 241.0   
Problems     : 34       (Average Length: 57.44 Splits: 0)
Lemmas       : 829125   (Deleted: 778609)
  Binary     : 21209    (Ratio:   2.56%)
  Ternary    : 3827     (Ratio:   0.46%)
  Conflict   : 829125   (Average Length:  873.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 829125   (Average: 14.42 Max: 931 Sum: 11953287)
  Executed   : 829022   (Average: 14.41 Max: 931 Sum: 11949274 Ratio:  99.97%)
  Bounded    : 103      (Average: 38.96 Max:  87 Sum:   4013 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4833758  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 28.89s
Memory:		 831MB (+0MB)
UNKNOWN
Iteration Time:	 28.96s

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

Models       : 0+
Calls        : 35
Time         : 806.791s (Solving: 775.51s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 806.988s

Choices      : 13052208 (Domain: 12838143)
Conflicts    : 857331   (Analyzed: 857327)
Restarts     : 3051     (Average: 281.00 Last: 682)
Model-Level  : 241.0   
Problems     : 35       (Average Length: 58.29 Splits: 0)
Lemmas       : 857327   (Deleted: 805315)
  Binary     : 21829    (Ratio:   2.55%)
  Ternary    : 4029     (Ratio:   0.47%)
  Conflict   : 857327   (Average Length:  883.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 857327   (Average: 14.46 Max: 931 Sum: 12397905)
  Executed   : 857223   (Average: 14.46 Max: 931 Sum: 12393807 Ratio:  99.97%)
  Bounded    : 104      (Average: 39.40 Max:  87 Sum:   4098 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4833741  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 27.90s
Memory:		 831MB (+0MB)
UNKNOWN
Iteration Time:	 27.95s

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

Models       : 0+
Calls        : 36
Time         : 833.811s (Solving: 800.56s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 834.020s

Choices      : 13454802 (Domain: 13240040)
Conflicts    : 885621   (Analyzed: 885617)
Restarts     : 3151     (Average: 281.06 Last: 682)
Model-Level  : 241.0   
Problems     : 36       (Average Length: 59.22 Splits: 0)
Lemmas       : 885617   (Deleted: 832962)
  Binary     : 22084    (Ratio:   2.49%)
  Ternary    : 4071     (Ratio:   0.46%)
  Conflict   : 885617   (Average Length:  883.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 885617   (Average: 14.41 Max: 931 Sum: 12766041)
  Executed   : 885512   (Average: 14.41 Max: 931 Sum: 12761855 Ratio:  99.97%)
  Bounded    : 105      (Average: 39.87 Max:  88 Sum:   4186 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 701323   (Eliminated: 17109 Frozen: 669559)
Constraints  : 5135721  (Binary:  91.0% Ternary:   7.1% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 25.93s
Memory:		 919MB (+88MB)
UNKNOWN
Iteration Time:	 27.04s

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

Models       : 0+
Calls        : 37
Time         : 865.151s (Solving: 829.65s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 865.372s

Choices      : 13873647 (Domain: 13657910)
Conflicts    : 913903   (Analyzed: 913899)
Restarts     : 3251     (Average: 281.11 Last: 682)
Model-Level  : 241.0   
Problems     : 37       (Average Length: 60.24 Splits: 0)
Lemmas       : 913899   (Deleted: 860615)
  Binary     : 22407    (Ratio:   2.45%)
  Ternary    : 4133     (Ratio:   0.45%)
  Conflict   : 913899   (Average Length:  892.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 913899   (Average: 14.39 Max: 931 Sum: 13148279)
  Executed   : 913793   (Average: 14.38 Max: 931 Sum: 13143996 Ratio:  99.97%)
  Bounded    : 106      (Average: 40.41 Max:  97 Sum:   4283 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 741399   (Eliminated: 17109 Frozen: 709635)
Constraints  : 5437701  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 29.97s
Memory:		 974MB (+5MB)
UNKNOWN
Iteration Time:	 31.36s

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

Models       : 0+
Calls        : 38
Time         : 891.952s (Solving: 854.51s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 892.184s

Choices      : 14155230 (Domain: 13939269)
Conflicts    : 942211   (Analyzed: 942207)
Restarts     : 3351     (Average: 281.17 Last: 682)
Model-Level  : 241.0   
Problems     : 38       (Average Length: 61.34 Splits: 0)
Lemmas       : 942207   (Deleted: 887390)
  Binary     : 22573    (Ratio:   2.40%)
  Ternary    : 4164     (Ratio:   0.44%)
  Conflict   : 942207   (Average Length:  897.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 942207   (Average: 14.21 Max: 931 Sum: 13392694)
  Executed   : 942100   (Average: 14.21 Max: 931 Sum: 13388309 Ratio:  99.97%)
  Bounded    : 107      (Average: 40.98 Max: 102 Sum:   4385 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 781475   (Eliminated: 17109 Frozen: 749711)
Constraints  : 5739667  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 25.75s
Memory:		 979MB (+5MB)
UNKNOWN
Iteration Time:	 26.82s

Iteration 38
Queue:		 [(21,105,0,True), (22,110,0,True)]
Grounded Until:	 100
Expected Memory: 1072.0MB
Grounding...	 [('step', [101]), ('step', [102]), ('step', [103]), ('step', [104]), ('step', [105]), ('check', [105])]
Grounding Time:	 0.55s
Memory:		 979MB (+0MB)
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 38
Time         : 891.952s (Solving: 854.51s 1st Model: 0.01s Unsat: 36.32s)
CPU Time     : 892.184s

Choices      : 14155230 (Domain: 13939269)
Conflicts    : 942211   (Analyzed: 942207)
Restarts     : 3351     (Average: 281.17 Last: 682)
Model-Level  : 241.0   
Problems     : 38       (Average Length: 61.34 Splits: 0)
Lemmas       : 942207   (Deleted: 887390)
  Binary     : 22573    (Ratio:   2.40%)
  Ternary    : 4164     (Ratio:   0.44%)
  Conflict   : 942207   (Average Length:  897.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 942207   (Average: 14.21 Max: 931 Sum: 13392694)
  Executed   : 942100   (Average: 14.21 Max: 931 Sum: 13388309 Ratio:  99.97%)
  Bounded    : 107      (Average: 40.98 Max: 102 Sum:   4385 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 781475   (Eliminated: 17109 Frozen: 749711)
Constraints  : 5739667  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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


