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-20.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-20.pddl
Parsing...
Parsing: [0.040s CPU, 0.086s wall-clock]
Normalizing task... [0.010s CPU, 0.004s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.014s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.060s CPU, 0.060s wall-clock]
Preparing model... [0.030s CPU, 0.034s wall-clock]
Generated 115 rules.
Computing model... [0.550s CPU, 0.544s wall-clock]
3296 relevant atoms
3425 auxiliary atoms
6721 final queue length
11595 total queue pushes
Completing instantiation... [1.280s CPU, 1.280s wall-clock]
Instantiating: [1.930s CPU, 1.940s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.140s CPU, 0.135s wall-clock]
Checking invariant weight... [0.000s CPU, 0.002s wall-clock]
Instantiating groups... [0.020s CPU, 0.013s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
Choosing groups...
350 uncovered facts
Choosing groups: [0.000s CPU, 0.003s wall-clock]
Building translation key... [0.020s CPU, 0.017s wall-clock]
Computing fact groups: [0.210s CPU, 0.202s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.007s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.004s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.005s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.070s CPU, 0.069s wall-clock]
Translating task: [1.360s CPU, 1.358s 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.710s CPU, 0.706s 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.430s CPU, 0.462s wall-clock]
Done! [5.110s CPU, 5.190s wall-clock]
planner.py version 0.0.1

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

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       : 1+
Calls        : 2
Time         : 1.761s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 1.600s

Choices      : 267      (Domain: 108)
Conflicts    : 2        (Analyzed: 2)
Restarts     : 0       
Model-Level  : 257.0   
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 2        (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 2        (Average Length:   30.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2        (Average:  8.50 Max:  16 Sum:     17)
  Executed   : 2        (Average:  8.50 Max:  16 Sum:     17 Ratio: 100.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)

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

[endof: stats after solve call]
Solving Time:	 0.23s
Memory:		 187MB (+4MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 1.00s
Memory:		 218MB (+31MB)
Solving...
[start: stats after solve call]

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

Choices      : 280      (Domain: 113)
Conflicts    : 8        (Analyzed: 7)
Restarts     : 0       
Model-Level  : 257.0   
Problems     : 3        (Average Length: 5.33 Splits: 0)
Lemmas       : 7        (Deleted: 0)
  Binary     : 2        (Ratio:  28.57%)
  Ternary    : 3        (Ratio:  42.86%)
  Conflict   : 7        (Average Length:   10.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 7        (Average:  4.57 Max:  16 Sum:     32)
  Executed   : 5        (Average:  4.29 Max:  16 Sum:     30 Ratio:  93.75%)
  Bounded    : 2        (Average:  1.00 Max:   1 Sum:      2 Ratio:   6.25%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 21236    (Eliminated: 2454 Frozen: 18782)
Constraints  : 80035    (Binary:  90.3% Ternary:   5.8% Other:   3.9%)

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

[endof: stats after solve call]
Solving Time:	 0.04s
Memory:		 218MB (+0MB)
UNSAT
Iteration Time:	 1.70s

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

Models       : 0
Calls        : 4
Time         : 4.241s (Solving: 0.82s 1st Model: 0.00s Unsat: 0.82s)
CPU Time     : 4.084s

Choices      : 21590    (Domain: 17115)
Conflicts    : 2032     (Analyzed: 2030)
Restarts     : 13       (Average: 156.15 Last: 16)
Model-Level  : 257.0   
Problems     : 4        (Average Length: 7.00 Splits: 0)
Lemmas       : 2030     (Deleted: 0)
  Binary     : 175      (Ratio:   8.62%)
  Ternary    : 306      (Ratio:  15.07%)
  Conflict   : 2030     (Average Length:   22.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2030     (Average: 10.59 Max: 215 Sum:  21507)
  Executed   : 1997     (Average: 10.43 Max: 215 Sum:  21166 Ratio:  98.41%)
  Bounded    : 33       (Average: 10.33 Max:  12 Sum:    341 Ratio:   1.59%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 61312    (Eliminated: 2454 Frozen: 44203)
Constraints  : 382015   (Binary:  91.0% Ternary:   6.8% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 1.57s
Memory:		 237MB (+19MB)
UNSAT
Iteration Time:	 2.32s

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

Models       : 0
Calls        : 5
Time         : 12.669s (Solving: 7.75s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 12.516s

Choices      : 83413    (Domain: 70682)
Conflicts    : 13098    (Analyzed: 13095)
Restarts     : 58       (Average: 225.78 Last: 636)
Model-Level  : 257.0   
Problems     : 5        (Average Length: 9.00 Splits: 0)
Lemmas       : 13095    (Deleted: 7149)
  Binary     : 578      (Ratio:   4.41%)
  Ternary    : 948      (Ratio:   7.24%)
  Conflict   : 13095    (Average Length:   26.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 13095    (Average:  6.30 Max: 315 Sum:  82514)
  Executed   : 13042    (Average:  6.26 Max: 315 Sum:  81961 Ratio:  99.33%)
  Bounded    : 53       (Average: 10.43 Max:  17 Sum:    553 Ratio:   0.67%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 101388   (Eliminated: 2454 Frozen: 84279)
Constraints  : 661380   (Binary:  91.2% Ternary:   6.8% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 7.68s
Memory:		 267MB (+24MB)
UNSAT
Iteration Time:	 8.44s

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

Models       : 0+
Calls        : 6
Time         : 31.573s (Solving: 25.02s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 31.428s

Choices      : 297279   (Domain: 246647)
Conflicts    : 41343    (Analyzed: 41340)
Restarts     : 158      (Average: 261.65 Last: 636)
Model-Level  : 257.0   
Problems     : 6        (Average Length: 11.17 Splits: 0)
Lemmas       : 41340    (Deleted: 26214)
  Binary     : 1645     (Ratio:   3.98%)
  Ternary    : 1460     (Ratio:   3.53%)
  Conflict   : 41340    (Average Length:  350.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 41340    (Average:  6.96 Max: 360 Sum: 287616)
  Executed   : 41267    (Average:  6.93 Max: 360 Sum: 286654 Ratio:  99.67%)
  Bounded    : 73       (Average: 13.18 Max:  22 Sum:    962 Ratio:   0.33%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 141464   (Eliminated: 2454 Frozen: 124355)
Constraints  : 942650   (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 18.06s
Memory:		 305MB (+26MB)
UNKNOWN
Iteration Time:	 18.92s

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

Models       : 0+
Calls        : 7
Time         : 60.938s (Solving: 52.82s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 60.804s

Choices      : 567801   (Domain: 469363)
Conflicts    : 69521    (Analyzed: 69518)
Restarts     : 258      (Average: 269.45 Last: 636)
Model-Level  : 257.0   
Problems     : 7        (Average Length: 13.43 Splits: 0)
Lemmas       : 69518    (Deleted: 51692)
  Binary     : 2567     (Ratio:   3.69%)
  Ternary    : 1930     (Ratio:   2.78%)
  Conflict   : 69518    (Average Length:  858.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 69518    (Average:  7.77 Max: 454 Sum: 540218)
  Executed   : 69441    (Average:  7.76 Max: 454 Sum: 539148 Ratio:  99.80%)
  Bounded    : 77       (Average: 13.90 Max:  27 Sum:   1070 Ratio:   0.20%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 181540   (Eliminated: 2454 Frozen: 164431)
Constraints  : 1238403  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 28.59s
Memory:		 394MB (+85MB)
UNKNOWN
Iteration Time:	 29.39s

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

Models       : 0+
Calls        : 8
Time         : 91.441s (Solving: 81.67s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 91.320s

Choices      : 1038871  (Domain: 914890)
Conflicts    : 97650    (Analyzed: 97647)
Restarts     : 358      (Average: 272.76 Last: 636)
Model-Level  : 257.0   
Problems     : 8        (Average Length: 15.75 Splits: 0)
Lemmas       : 97647    (Deleted: 76774)
  Binary     : 4335     (Ratio:   4.44%)
  Ternary    : 2457     (Ratio:   2.52%)
  Conflict   : 97647    (Average Length:  755.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 97647    (Average: 10.18 Max: 568 Sum: 994180)
  Executed   : 97562    (Average: 10.17 Max: 568 Sum: 992858 Ratio:  99.87%)
  Bounded    : 85       (Average: 15.55 Max:  32 Sum:   1322 Ratio:   0.13%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 221616   (Eliminated: 2454 Frozen: 204507)
Constraints  : 1529592  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 29.66s
Memory:		 433MB (+35MB)
UNKNOWN
Iteration Time:	 30.53s

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         : 115.283s (Solving: 105.46s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 115.172s

Choices      : 1172643  (Domain: 1048662)
Conflicts    : 125849   (Analyzed: 125846)
Restarts     : 458      (Average: 274.77 Last: 636)
Model-Level  : 257.0   
Problems     : 9        (Average Length: 17.56 Splits: 0)
Lemmas       : 125846   (Deleted: 103380)
  Binary     : 4803     (Ratio:   3.82%)
  Ternary    : 2520     (Ratio:   2.00%)
  Conflict   : 125846   (Average Length:  793.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 125846   (Average:  8.90 Max: 568 Sum: 1120299)
  Executed   : 125758   (Average:  8.89 Max: 568 Sum: 1118881 Ratio:  99.87%)
  Bounded    : 88       (Average: 16.11 Max:  32 Sum:   1418 Ratio:   0.13%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 221616   (Eliminated: 2454 Frozen: 219162)
Constraints  : 1526475  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

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

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         : 142.607s (Solving: 132.71s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 142.508s

Choices      : 1436061  (Domain: 1299971)
Conflicts    : 153996   (Analyzed: 153993)
Restarts     : 558      (Average: 275.97 Last: 636)
Model-Level  : 257.0   
Problems     : 10       (Average Length: 19.00 Splits: 0)
Lemmas       : 153993   (Deleted: 129959)
  Binary     : 5496     (Ratio:   3.57%)
  Ternary    : 2682     (Ratio:   1.74%)
  Conflict   : 153993   (Average Length:  768.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 153993   (Average:  8.90 Max: 568 Sum: 1369946)
  Executed   : 153904   (Average:  8.89 Max: 568 Sum: 1368496 Ratio:  99.89%)
  Bounded    : 89       (Average: 16.29 Max:  32 Sum:   1450 Ratio:   0.11%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 221616   (Eliminated: 2454 Frozen: 219162)
Constraints  : 1526424  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

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

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         : 168.369s (Solving: 158.42s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 168.280s

Choices      : 1686529  (Domain: 1533106)
Conflicts    : 182149   (Analyzed: 182146)
Restarts     : 658      (Average: 276.82 Last: 636)
Model-Level  : 257.0   
Problems     : 11       (Average Length: 20.18 Splits: 0)
Lemmas       : 182146   (Deleted: 155963)
  Binary     : 6397     (Ratio:   3.51%)
  Ternary    : 2898     (Ratio:   1.59%)
  Conflict   : 182146   (Average Length:  786.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 182146   (Average:  8.78 Max: 568 Sum: 1599127)
  Executed   : 182057   (Average:  8.77 Max: 568 Sum: 1597677 Ratio:  99.91%)
  Bounded    : 89       (Average: 16.29 Max:  32 Sum:   1450 Ratio:   0.09%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 221616   (Eliminated: 2454 Frozen: 219162)
Constraints  : 1526410  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

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

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

Models       : 0+
Calls        : 12
Time         : 195.718s (Solving: 184.12s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 195.640s

Choices      : 2036908  (Domain: 1868762)
Conflicts    : 210346   (Analyzed: 210343)
Restarts     : 758      (Average: 277.50 Last: 636)
Model-Level  : 257.0   
Problems     : 12       (Average Length: 21.58 Splits: 0)
Lemmas       : 210343   (Deleted: 182290)
  Binary     : 7190     (Ratio:   3.42%)
  Ternary    : 3044     (Ratio:   1.45%)
  Conflict   : 210343   (Average Length:  761.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 210343   (Average:  9.19 Max: 568 Sum: 1932793)
  Executed   : 210249   (Average:  9.18 Max: 568 Sum: 1931162 Ratio:  99.92%)
  Bounded    : 94       (Average: 17.35 Max:  37 Sum:   1631 Ratio:   0.08%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 261692   (Eliminated: 2454 Frozen: 244583)
Constraints  : 1828390  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.51s
Memory:		 454MB (+21MB)
UNKNOWN
Iteration Time:	 27.38s

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

Models       : 0+
Calls        : 13
Time         : 223.298s (Solving: 210.00s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 223.232s

Choices      : 2356834  (Domain: 2181986)
Conflicts    : 238552   (Analyzed: 238549)
Restarts     : 858      (Average: 278.03 Last: 636)
Model-Level  : 257.0   
Problems     : 13       (Average Length: 23.15 Splits: 0)
Lemmas       : 238549   (Deleted: 208978)
  Binary     : 8101     (Ratio:   3.40%)
  Ternary    : 3229     (Ratio:   1.35%)
  Conflict   : 238549   (Average Length:  810.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 238549   (Average:  9.35 Max: 568 Sum: 2230708)
  Executed   : 238454   (Average:  9.34 Max: 568 Sum: 2229035 Ratio:  99.93%)
  Bounded    : 95       (Average: 17.61 Max:  42 Sum:   1673 Ratio:   0.07%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 301768   (Eliminated: 2454 Frozen: 284659)
Constraints  : 2130311  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.69s
Memory:		 482MB (+25MB)
UNKNOWN
Iteration Time:	 27.60s

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

Models       : 0+
Calls        : 14
Time         : 249.762s (Solving: 234.60s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 249.708s

Choices      : 2725895  (Domain: 2545139)
Conflicts    : 266747   (Analyzed: 266744)
Restarts     : 958      (Average: 278.44 Last: 636)
Model-Level  : 257.0   
Problems     : 14       (Average Length: 24.86 Splits: 0)
Lemmas       : 266744   (Deleted: 235462)
  Binary     : 8651     (Ratio:   3.24%)
  Ternary    : 3277     (Ratio:   1.23%)
  Conflict   : 266744   (Average Length:  782.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 266744   (Average:  9.67 Max: 568 Sum: 2579475)
  Executed   : 266647   (Average:  9.66 Max: 568 Sum: 2577708 Ratio:  99.93%)
  Bounded    : 97       (Average: 18.22 Max:  47 Sum:   1767 Ratio:   0.07%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 341844   (Eliminated: 2454 Frozen: 324735)
Constraints  : 2432278  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 25.42s
Memory:		 545MB (+50MB)
UNKNOWN
Iteration Time:	 26.49s

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

Models       : 0+
Calls        : 15
Time         : 282.167s (Solving: 265.29s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 282.128s

Choices      : 3176338  (Domain: 2988399)
Conflicts    : 294995   (Analyzed: 294992)
Restarts     : 1058     (Average: 278.82 Last: 636)
Model-Level  : 257.0   
Problems     : 15       (Average Length: 26.67 Splits: 0)
Lemmas       : 294992   (Deleted: 262668)
  Binary     : 8999     (Ratio:   3.05%)
  Ternary    : 3322     (Ratio:   1.13%)
  Conflict   : 294992   (Average Length:  808.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 294992   (Average: 10.18 Max: 568 Sum: 3003622)
  Executed   : 294895   (Average: 10.18 Max: 568 Sum: 3001855 Ratio:  99.94%)
  Bounded    : 97       (Average: 18.22 Max:  47 Sum:   1767 Ratio:   0.06%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 381920   (Eliminated: 2454 Frozen: 364811)
Constraints  : 2734227  (Binary:  91.2% Ternary:   6.9% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 31.53s
Memory:		 562MB (+17MB)
UNKNOWN
Iteration Time:	 32.43s

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

Models       : 0+
Calls        : 16
Time         : 311.811s (Solving: 293.19s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 311.788s

Choices      : 3665940  (Domain: 3471078)
Conflicts    : 323213   (Analyzed: 323210)
Restarts     : 1158     (Average: 279.11 Last: 636)
Model-Level  : 257.0   
Problems     : 16       (Average Length: 28.56 Splits: 0)
Lemmas       : 323210   (Deleted: 289945)
  Binary     : 9328     (Ratio:   2.89%)
  Ternary    : 3360     (Ratio:   1.04%)
  Conflict   : 323210   (Average Length:  795.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 323210   (Average: 10.74 Max: 597 Sum: 3469789)
  Executed   : 323111   (Average: 10.73 Max: 597 Sum: 3467908 Ratio:  99.95%)
  Bounded    : 99       (Average: 19.00 Max:  57 Sum:   1881 Ratio:   0.05%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 421996   (Eliminated: 2454 Frozen: 404887)
Constraints  : 3036207  (Binary:  91.2% Ternary:   6.9% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 28.73s
Memory:		 589MB (+27MB)
UNKNOWN
Iteration Time:	 29.67s

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

Models       : 0+
Calls        : 17
Time         : 342.302s (Solving: 321.91s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 342.292s

Choices      : 4083428  (Domain: 3881670)
Conflicts    : 351424   (Analyzed: 351421)
Restarts     : 1258     (Average: 279.35 Last: 636)
Model-Level  : 257.0   
Problems     : 17       (Average Length: 30.53 Splits: 0)
Lemmas       : 351421   (Deleted: 316181)
  Binary     : 9590     (Ratio:   2.73%)
  Ternary    : 3401     (Ratio:   0.97%)
  Conflict   : 351421   (Average Length:  816.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 351421   (Average: 10.99 Max: 879 Sum: 3862970)
  Executed   : 351319   (Average: 10.99 Max: 879 Sum: 3860903 Ratio:  99.95%)
  Bounded    : 102      (Average: 20.26 Max:  62 Sum:   2067 Ratio:   0.05%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 462072   (Eliminated: 2454 Frozen: 444963)
Constraints  : 3338159  (Binary:  91.2% Ternary:   6.9% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 29.56s
Memory:		 615MB (+26MB)
UNKNOWN
Iteration Time:	 30.51s

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

Models       : 0+
Calls        : 18
Time         : 367.574s (Solving: 345.39s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 367.576s

Choices      : 4419389  (Domain: 4215430)
Conflicts    : 379628   (Analyzed: 379625)
Restarts     : 1358     (Average: 279.55 Last: 636)
Model-Level  : 257.0   
Problems     : 18       (Average Length: 32.56 Splits: 0)
Lemmas       : 379625   (Deleted: 344333)
  Binary     : 9925     (Ratio:   2.61%)
  Ternary    : 3488     (Ratio:   0.92%)
  Conflict   : 379625   (Average Length:  793.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 379625   (Average: 11.01 Max: 879 Sum: 4181261)
  Executed   : 379520   (Average: 11.01 Max: 879 Sum: 4178993 Ratio:  99.95%)
  Bounded    : 105      (Average: 21.60 Max:  67 Sum:   2268 Ratio:   0.05%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 502148   (Eliminated: 2454 Frozen: 485039)
Constraints  : 3640098  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 24.32s
Memory:		 675MB (+60MB)
UNKNOWN
Iteration Time:	 25.29s

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

Models       : 0+
Calls        : 19
Time         : 399.396s (Solving: 375.42s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 399.412s

Choices      : 4924629  (Domain: 4714613)
Conflicts    : 407899   (Analyzed: 407896)
Restarts     : 1458     (Average: 279.76 Last: 636)
Model-Level  : 257.0   
Problems     : 19       (Average Length: 34.63 Splits: 0)
Lemmas       : 407896   (Deleted: 371684)
  Binary     : 10383    (Ratio:   2.55%)
  Ternary    : 3572     (Ratio:   0.88%)
  Conflict   : 407896   (Average Length:  811.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 407896   (Average: 11.42 Max: 879 Sum: 4659268)
  Executed   : 407790   (Average: 11.42 Max: 879 Sum: 4656928 Ratio:  99.95%)
  Bounded    : 106      (Average: 22.08 Max:  72 Sum:   2340 Ratio:   0.05%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 542224   (Eliminated: 2454 Frozen: 525115)
Constraints  : 3942030  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 30.88s
Memory:		 696MB (+21MB)
UNKNOWN
Iteration Time:	 31.85s

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

Models       : 0+
Calls        : 20
Time         : 431.849s (Solving: 406.05s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 431.880s

Choices      : 5465951  (Domain: 5253320)
Conflicts    : 436169   (Analyzed: 436166)
Restarts     : 1558     (Average: 279.95 Last: 636)
Model-Level  : 257.0   
Problems     : 20       (Average Length: 36.75 Splits: 0)
Lemmas       : 436166   (Deleted: 398806)
  Binary     : 10684    (Ratio:   2.45%)
  Ternary    : 3611     (Ratio:   0.83%)
  Conflict   : 436166   (Average Length:  809.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 436166   (Average: 11.87 Max: 879 Sum: 5175663)
  Executed   : 436059   (Average: 11.86 Max: 879 Sum: 5173246 Ratio:  99.95%)
  Bounded    : 107      (Average: 22.59 Max:  77 Sum:   2417 Ratio:   0.05%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 582300   (Eliminated: 2454 Frozen: 565191)
Constraints  : 4243996  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 31.49s
Memory:		 716MB (+20MB)
UNKNOWN
Iteration Time:	 32.48s

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

Models       : 0+
Calls        : 21
Time         : 459.891s (Solving: 432.23s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 459.932s

Choices      : 6050064  (Domain: 5832330)
Conflicts    : 464384   (Analyzed: 464381)
Restarts     : 1658     (Average: 280.09 Last: 636)
Model-Level  : 257.0   
Problems     : 21       (Average Length: 38.90 Splits: 0)
Lemmas       : 464381   (Deleted: 425921)
  Binary     : 10946    (Ratio:   2.36%)
  Ternary    : 3685     (Ratio:   0.79%)
  Conflict   : 464381   (Average Length:  809.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 464381   (Average: 12.35 Max: 879 Sum: 5735708)
  Executed   : 464271   (Average: 12.35 Max: 879 Sum: 5733045 Ratio:  99.95%)
  Bounded    : 110      (Average: 24.21 Max:  82 Sum:   2663 Ratio:   0.05%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 622376   (Eliminated: 2454 Frozen: 605267)
Constraints  : 4545962  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 27.05s
Memory:		 740MB (+24MB)
UNKNOWN
Iteration Time:	 28.07s

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

Models       : 0+
Calls        : 22
Time         : 493.549s (Solving: 463.94s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 493.604s

Choices      : 6714895  (Domain: 6490944)
Conflicts    : 492610   (Analyzed: 492607)
Restarts     : 1758     (Average: 280.21 Last: 636)
Model-Level  : 257.0   
Problems     : 22       (Average Length: 41.09 Splits: 0)
Lemmas       : 492607   (Deleted: 453456)
  Binary     : 11165    (Ratio:   2.27%)
  Ternary    : 3714     (Ratio:   0.75%)
  Conflict   : 492607   (Average Length:  833.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 492607   (Average: 12.92 Max: 879 Sum: 6366715)
  Executed   : 492497   (Average: 12.92 Max: 879 Sum: 6364052 Ratio:  99.96%)
  Bounded    : 110      (Average: 24.21 Max:  82 Sum:   2663 Ratio:   0.04%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 645343)
Constraints  : 4847901  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 32.58s
Memory:		 766MB (+26MB)
UNKNOWN
Iteration Time:	 33.68s

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

Models       : 0+
Calls        : 23
Time         : 517.398s (Solving: 487.65s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 517.464s

Choices      : 6836866  (Domain: 6612915)
Conflicts    : 520872   (Analyzed: 520869)
Restarts     : 1858     (Average: 280.34 Last: 636)
Model-Level  : 257.0   
Problems     : 23       (Average Length: 43.09 Splits: 0)
Lemmas       : 520869   (Deleted: 481090)
  Binary     : 11323    (Ratio:   2.17%)
  Ternary    : 3750     (Ratio:   0.72%)
  Conflict   : 520869   (Average Length:  827.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 520869   (Average: 12.44 Max: 879 Sum: 6480291)
  Executed   : 520759   (Average: 12.44 Max: 879 Sum: 6477628 Ratio:  99.96%)
  Bounded    : 110      (Average: 24.21 Max:  82 Sum:   2663 Ratio:   0.04%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847901  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 23.81s
Memory:		 766MB (+0MB)
UNKNOWN
Iteration Time:	 23.86s

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

Models       : 0+
Calls        : 24
Time         : 546.573s (Solving: 516.65s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 546.652s

Choices      : 6951342  (Domain: 6727391)
Conflicts    : 549064   (Analyzed: 549061)
Restarts     : 1958     (Average: 280.42 Last: 636)
Model-Level  : 257.0   
Problems     : 24       (Average Length: 44.92 Splits: 0)
Lemmas       : 549061   (Deleted: 508629)
  Binary     : 11417    (Ratio:   2.08%)
  Ternary    : 3790     (Ratio:   0.69%)
  Conflict   : 549061   (Average Length:  836.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 549061   (Average: 11.99 Max: 879 Sum: 6581975)
  Executed   : 548950   (Average: 11.98 Max: 879 Sum: 6579225 Ratio:  99.96%)
  Bounded    : 111      (Average: 24.77 Max:  87 Sum:   2750 Ratio:   0.04%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847901  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 29.12s
Memory:		 766MB (+0MB)
UNKNOWN
Iteration Time:	 29.19s

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

Models       : 0+
Calls        : 25
Time         : 575.304s (Solving: 545.22s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 575.396s

Choices      : 7170476  (Domain: 6945609)
Conflicts    : 577263   (Analyzed: 577260)
Restarts     : 2058     (Average: 280.50 Last: 636)
Model-Level  : 257.0   
Problems     : 25       (Average Length: 46.60 Splits: 0)
Lemmas       : 577260   (Deleted: 535917)
  Binary     : 11557    (Ratio:   2.00%)
  Ternary    : 3855     (Ratio:   0.67%)
  Conflict   : 577260   (Average Length:  829.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 577260   (Average: 11.75 Max: 879 Sum: 6783745)
  Executed   : 577148   (Average: 11.75 Max: 879 Sum: 6780908 Ratio:  99.96%)
  Bounded    : 112      (Average: 25.33 Max:  87 Sum:   2837 Ratio:   0.04%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847887  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 28.68s
Memory:		 830MB (+64MB)
UNKNOWN
Iteration Time:	 28.75s

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

Models       : 0+
Calls        : 26
Time         : 602.505s (Solving: 572.28s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 602.608s

Choices      : 7409135  (Domain: 7172795)
Conflicts    : 605489   (Analyzed: 605486)
Restarts     : 2158     (Average: 280.58 Last: 636)
Model-Level  : 257.0   
Problems     : 26       (Average Length: 48.15 Splits: 0)
Lemmas       : 605486   (Deleted: 562010)
  Binary     : 11916    (Ratio:   1.97%)
  Ternary    : 3909     (Ratio:   0.65%)
  Conflict   : 605486   (Average Length:  841.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 605486   (Average: 11.56 Max: 879 Sum: 6997191)
  Executed   : 605374   (Average: 11.55 Max: 879 Sum: 6994354 Ratio:  99.96%)
  Bounded    : 112      (Average: 25.33 Max:  87 Sum:   2837 Ratio:   0.04%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847873  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 27.17s
Memory:		 830MB (+0MB)
UNKNOWN
Iteration Time:	 27.22s

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

Models       : 0+
Calls        : 27
Time         : 625.480s (Solving: 595.11s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 625.592s

Choices      : 7637086  (Domain: 7391946)
Conflicts    : 633791   (Analyzed: 633788)
Restarts     : 2258     (Average: 280.69 Last: 636)
Model-Level  : 257.0   
Problems     : 27       (Average Length: 49.59 Splits: 0)
Lemmas       : 633788   (Deleted: 590554)
  Binary     : 12123    (Ratio:   1.91%)
  Ternary    : 3954     (Ratio:   0.62%)
  Conflict   : 633788   (Average Length:  854.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 633788   (Average: 11.37 Max: 879 Sum: 7203546)
  Executed   : 633676   (Average: 11.36 Max: 879 Sum: 7200709 Ratio:  99.96%)
  Bounded    : 112      (Average: 25.33 Max:  87 Sum:   2837 Ratio:   0.04%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847873  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

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

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

Models       : 0+
Calls        : 28
Time         : 653.119s (Solving: 622.61s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 653.240s

Choices      : 8020233  (Domain: 7758711)
Conflicts    : 661992   (Analyzed: 661989)
Restarts     : 2358     (Average: 280.74 Last: 636)
Model-Level  : 257.0   
Problems     : 28       (Average Length: 50.93 Splits: 0)
Lemmas       : 661989   (Deleted: 613867)
  Binary     : 12820    (Ratio:   1.94%)
  Ternary    : 4084     (Ratio:   0.62%)
  Conflict   : 661989   (Average Length:  868.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 661989   (Average: 11.41 Max: 879 Sum: 7555529)
  Executed   : 661877   (Average: 11.41 Max: 879 Sum: 7552692 Ratio:  99.96%)
  Bounded    : 112      (Average: 25.33 Max:  87 Sum:   2837 Ratio:   0.04%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847873  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 27.60s
Memory:		 830MB (+0MB)
UNKNOWN
Iteration Time:	 27.65s

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

Models       : 0+
Calls        : 29
Time         : 682.030s (Solving: 651.35s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 682.164s

Choices      : 8338477  (Domain: 8067387)
Conflicts    : 690211   (Analyzed: 690208)
Restarts     : 2458     (Average: 280.80 Last: 636)
Model-Level  : 257.0   
Problems     : 29       (Average Length: 52.17 Splits: 0)
Lemmas       : 690208   (Deleted: 644712)
  Binary     : 13207    (Ratio:   1.91%)
  Ternary    : 4132     (Ratio:   0.60%)
  Conflict   : 690208   (Average Length:  897.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 690208   (Average: 11.36 Max: 879 Sum: 7843683)
  Executed   : 690096   (Average: 11.36 Max: 879 Sum: 7840846 Ratio:  99.96%)
  Bounded    : 112      (Average: 25.33 Max:  87 Sum:   2837 Ratio:   0.04%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847873  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 28.85s
Memory:		 894MB (+64MB)
UNKNOWN
Iteration Time:	 28.93s

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

Models       : 0+
Calls        : 30
Time         : 709.683s (Solving: 678.83s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 709.828s

Choices      : 8808991  (Domain: 8524215)
Conflicts    : 718429   (Analyzed: 718426)
Restarts     : 2558     (Average: 280.85 Last: 636)
Model-Level  : 257.0   
Problems     : 30       (Average Length: 53.33 Splits: 0)
Lemmas       : 718426   (Deleted: 671994)
  Binary     : 13647    (Ratio:   1.90%)
  Ternary    : 4188     (Ratio:   0.58%)
  Conflict   : 718426   (Average Length:  902.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 718426   (Average: 11.53 Max: 879 Sum: 8283852)
  Executed   : 718314   (Average: 11.53 Max: 879 Sum: 8281015 Ratio:  99.97%)
  Bounded    : 112      (Average: 25.33 Max:  87 Sum:   2837 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847873  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 27.60s
Memory:		 894MB (+0MB)
UNKNOWN
Iteration Time:	 27.67s

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

Models       : 0+
Calls        : 31
Time         : 736.267s (Solving: 705.26s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 736.424s

Choices      : 9155484  (Domain: 8867185)
Conflicts    : 746621   (Analyzed: 746618)
Restarts     : 2658     (Average: 280.89 Last: 636)
Model-Level  : 257.0   
Problems     : 31       (Average Length: 54.42 Splits: 0)
Lemmas       : 746618   (Deleted: 699501)
  Binary     : 13919    (Ratio:   1.86%)
  Ternary    : 4202     (Ratio:   0.56%)
  Conflict   : 746618   (Average Length:  912.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 746618   (Average: 11.52 Max: 879 Sum: 8603746)
  Executed   : 746506   (Average: 11.52 Max: 879 Sum: 8600909 Ratio:  99.97%)
  Bounded    : 112      (Average: 25.33 Max:  87 Sum:   2837 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847873  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 26.54s
Memory:		 894MB (+0MB)
UNKNOWN
Iteration Time:	 26.60s

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

Models       : 0+
Calls        : 32
Time         : 761.405s (Solving: 730.25s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 761.572s

Choices      : 9383538  (Domain: 9095192)
Conflicts    : 774908   (Analyzed: 774905)
Restarts     : 2758     (Average: 280.97 Last: 636)
Model-Level  : 257.0   
Problems     : 32       (Average Length: 55.44 Splits: 0)
Lemmas       : 774905   (Deleted: 727133)
  Binary     : 14048    (Ratio:   1.81%)
  Ternary    : 4232     (Ratio:   0.55%)
  Conflict   : 774905   (Average Length:  911.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 774905   (Average: 11.37 Max: 879 Sum: 8809200)
  Executed   : 774791   (Average: 11.36 Max: 879 Sum: 8806189 Ratio:  99.97%)
  Bounded    : 114      (Average: 26.41 Max:  87 Sum:   3011 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847873  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 25.10s
Memory:		 894MB (+0MB)
UNKNOWN
Iteration Time:	 25.15s

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

Models       : 0+
Calls        : 33
Time         : 790.020s (Solving: 758.71s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 790.200s

Choices      : 10038793 (Domain: 9737642)
Conflicts    : 803096   (Analyzed: 803093)
Restarts     : 2858     (Average: 281.00 Last: 636)
Model-Level  : 257.0   
Problems     : 33       (Average Length: 56.39 Splits: 0)
Lemmas       : 803093   (Deleted: 754490)
  Binary     : 14495    (Ratio:   1.80%)
  Ternary    : 4295     (Ratio:   0.53%)
  Conflict   : 803093   (Average Length:  913.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 803093   (Average: 11.74 Max: 879 Sum: 9425613)
  Executed   : 802979   (Average: 11.73 Max: 879 Sum: 9422602 Ratio:  99.97%)
  Bounded    : 114      (Average: 26.41 Max:  87 Sum:   3011 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847837  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 28.57s
Memory:		 894MB (+0MB)
UNKNOWN
Iteration Time:	 28.63s

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

Models       : 0+
Calls        : 34
Time         : 814.702s (Solving: 783.24s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 814.892s

Choices      : 10260285 (Domain: 9959070)
Conflicts    : 831347   (Analyzed: 831344)
Restarts     : 2958     (Average: 281.05 Last: 636)
Model-Level  : 257.0   
Problems     : 34       (Average Length: 57.29 Splits: 0)
Lemmas       : 831344   (Deleted: 781933)
  Binary     : 14596    (Ratio:   1.76%)
  Ternary    : 4322     (Ratio:   0.52%)
  Conflict   : 831344   (Average Length:  906.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 831344   (Average: 11.58 Max: 879 Sum: 9625475)
  Executed   : 831229   (Average: 11.57 Max: 879 Sum: 9622377 Ratio:  99.97%)
  Bounded    : 115      (Average: 26.94 Max:  87 Sum:   3098 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847837  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 24.63s
Memory:		 894MB (+0MB)
UNKNOWN
Iteration Time:	 24.70s

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

Models       : 0+
Calls        : 35
Time         : 842.283s (Solving: 810.68s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 842.488s

Choices      : 10503482 (Domain: 10202222)
Conflicts    : 859574   (Analyzed: 859571)
Restarts     : 3058     (Average: 281.09 Last: 636)
Model-Level  : 257.0   
Problems     : 35       (Average Length: 58.14 Splits: 0)
Lemmas       : 859571   (Deleted: 809591)
  Binary     : 14718    (Ratio:   1.71%)
  Ternary    : 4345     (Ratio:   0.51%)
  Conflict   : 859571   (Average Length:  907.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 859571   (Average: 11.45 Max: 879 Sum: 9843616)
  Executed   : 859456   (Average: 11.45 Max: 879 Sum: 9840518 Ratio:  99.97%)
  Bounded    : 115      (Average: 26.94 Max:  87 Sum:   3098 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847823  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 27.55s
Memory:		 894MB (+0MB)
UNKNOWN
Iteration Time:	 27.60s

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

Models       : 0+
Calls        : 36
Time         : 870.455s (Solving: 838.71s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 870.672s

Choices      : 10740503 (Domain: 10439229)
Conflicts    : 887833   (Analyzed: 887830)
Restarts     : 3158     (Average: 281.14 Last: 636)
Model-Level  : 257.0   
Problems     : 36       (Average Length: 58.94 Splits: 0)
Lemmas       : 887830   (Deleted: 837364)
  Binary     : 14831    (Ratio:   1.67%)
  Ternary    : 4353     (Ratio:   0.49%)
  Conflict   : 887830   (Average Length:  919.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 887830   (Average: 11.32 Max: 879 Sum: 10051425)
  Executed   : 887715   (Average: 11.32 Max: 879 Sum: 10048327 Ratio:  99.97%)
  Bounded    : 115      (Average: 26.94 Max:  87 Sum:   3098 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 662452   (Eliminated: 2454 Frozen: 659998)
Constraints  : 4847823  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 28.14s
Memory:		 894MB (+0MB)
UNKNOWN
Iteration Time:	 28.19s

Iteration 36
Queue:		 [(18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Expected Memory: 983.0MB
Grounding...	 [('step', [86]), ('step', [87]), ('step', [88]), ('step', [89]), ('step', [90]), ('check', [90])]
Grounding Time:	 0.60s
Memory:		 894MB (+0MB)
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 37
Time         : 900.402s (Solving: 866.69s 1st Model: 0.00s Unsat: 7.74s)
CPU Time     : 900.620s

Choices      : 10949491 (Domain: 10648193)
Conflicts    : 916089   (Analyzed: 916086)
Restarts     : 3258     (Average: 281.18 Last: 636)
Model-Level  : 257.0   
Problems     : 37       (Average Length: 59.84 Splits: 0)
Lemmas       : 916086   (Deleted: 865202)
  Binary     : 14922    (Ratio:   1.63%)
  Ternary    : 4373     (Ratio:   0.48%)
  Conflict   : 916086   (Average Length:  921.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 916086   (Average: 11.18 Max: 1097 Sum: 10238262)
  Executed   : 915969   (Average: 11.17 Max: 1097 Sum: 10234980 Ratio:  99.97%)
  Bounded    : 117      (Average: 28.05 Max:  92 Sum:   3282 Ratio:   0.03%)

Rules        : 91724    (Original: 89679)
Atoms        : 73746   
Bodies       : 16519    (Original: 14473)
  Count      : 330      (Original: 739)
Equivalences : 4525     (Atom=Atom: 82 Body=Body: 0 Other: 4443)
Tight        : Yes
Variables    : 702528   (Eliminated: 2454 Frozen: 685419)
Constraints  : 5149803  (Binary:  91.2% Ternary:   7.0% Other:   1.8%)

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


