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-10.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-10.pddl
Parsing...
Parsing: [0.060s CPU, 0.125s wall-clock]
Normalizing task... [0.000s CPU, 0.004s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.015s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.070s CPU, 0.068s wall-clock]
Preparing model... [0.040s CPU, 0.036s wall-clock]
Generated 115 rules.
Computing model... [0.470s CPU, 0.468s wall-clock]
2784 relevant atoms
2893 auxiliary atoms
5677 final queue length
9793 total queue pushes
Completing instantiation... [0.870s CPU, 0.863s wall-clock]
Instantiating: [1.460s CPU, 1.456s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.130s CPU, 0.133s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.010s CPU, 0.008s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
Choosing groups...
292 uncovered facts
Choosing groups: [0.000s CPU, 0.002s wall-clock]
Building translation key... [0.010s CPU, 0.011s wall-clock]
Computing fact groups: [0.180s CPU, 0.178s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.002s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.005s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.003s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.040s CPU, 0.047s wall-clock]
Translating task: [0.890s CPU, 0.888s wall-clock]
3276 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
3 propositions removed
Detecting unreachable propositions: [0.430s CPU, 0.434s wall-clock]
Reordering and filtering variables...
295 of 295 variables necessary.
14 of 17 mutex groups necessary.
1958 of 1958 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.300s CPU, 0.303s wall-clock]
Translator variables: 295
Translator derived variables: 0
Translator facts: 617
Translator goal facts: 12
Translator mutex groups: 14
Translator total mutex groups size: 42
Translator operators: 1958
Translator axioms: 0
Translator task size: 18764
Translator peak memory: 47052 KB
Writing output... [0.360s CPU, 0.388s wall-clock]
Done! [3.730s CPU, 3.825s wall-clock]
planner.py version 0.0.1

Time:	 0.75s
Memory: 101MB

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

Models       : 0
Calls        : 1
Time         : 0.882s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.756s

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

[endof: stats after solve call]
Solving Time:	 0.00s
Memory:		 173MB (+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: 173MB
Grounding...	 [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])]
Grounding Time:	 0.23s
Memory:		 173MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 1+
Calls        : 2
Time         : 1.398s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 1.272s

Choices      : 220      (Domain: 94)
Conflicts    : 2        (Analyzed: 2)
Restarts     : 0       
Model-Level  : 212.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:   28.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2        (Average:  7.50 Max:  14 Sum:     15)
  Executed   : 2        (Average:  7.50 Max:  14 Sum:     15 Ratio: 100.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)

Rules        : 54149   
Atoms        : 54149   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 14506    (Eliminated:    0 Frozen: 14506)
Constraints  : 48947    (Binary:  95.2% Ternary:   3.3% Other:   1.4%)

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

[endof: stats after solve call]
Solving Time:	 0.18s
Memory:		 176MB (+3MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 0.76s
Memory:		 202MB (+26MB)
Solving...
[start: stats after solve call]

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

Choices      : 233      (Domain: 99)
Conflicts    : 8        (Analyzed: 7)
Restarts     : 0       
Model-Level  : 212.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:    9.9 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.29 Max:  14 Sum:     30)
  Executed   : 5        (Average:  4.00 Max:  14 Sum:     28 Ratio:  93.33%)
  Bounded    : 2        (Average:  1.00 Max:   1 Sum:      2 Ratio:   6.67%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 17794    (Eliminated: 2052 Frozen: 15742)
Constraints  : 68211    (Binary:  90.3% Ternary:   5.8% Other:   3.9%)

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

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

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

Models       : 0
Calls        : 4
Time         : 3.612s (Solving: 0.90s 1st Model: 0.00s Unsat: 0.90s)
CPU Time     : 3.488s

Choices      : 27697    (Domain: 20617)
Conflicts    : 3307     (Analyzed: 3305)
Restarts     : 15       (Average: 220.33 Last: 86)
Model-Level  : 212.0   
Problems     : 4        (Average Length: 7.00 Splits: 0)
Lemmas       : 3305     (Deleted: 0)
  Binary     : 334      (Ratio:  10.11%)
  Ternary    : 257      (Ratio:   7.78%)
  Conflict   : 3305     (Average Length:   50.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 3305     (Average:  8.36 Max: 224 Sum:  27625)
  Executed   : 3268     (Average:  8.24 Max: 224 Sum:  27225 Ratio:  98.55%)
  Bounded    : 37       (Average: 10.81 Max:  12 Sum:    400 Ratio:   1.45%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 50740    (Eliminated: 2052 Frozen: 36958)
Constraints  : 317796   (Binary:  91.1% Ternary:   6.7% Other:   2.3%)

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

[endof: stats after solve call]
Solving Time:	 1.45s
Memory:		 216MB (+14MB)
UNSAT
Iteration Time:	 2.08s

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

Models       : 0
Calls        : 5
Time         : 13.688s (Solving: 9.80s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 13.568s

Choices      : 175509   (Domain: 145908)
Conflicts    : 23880    (Analyzed: 23877)
Restarts     : 85       (Average: 280.91 Last: 86)
Model-Level  : 212.0   
Problems     : 5        (Average Length: 9.00 Splits: 0)
Lemmas       : 23877    (Deleted: 8138)
  Binary     : 1409     (Ratio:   5.90%)
  Ternary    : 549      (Ratio:   2.30%)
  Conflict   : 23877    (Average Length:  219.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 23877    (Average:  7.23 Max: 285 Sum: 172560)
  Executed   : 23819    (Average:  7.20 Max: 285 Sum: 171852 Ratio:  99.59%)
  Bounded    : 58       (Average: 12.21 Max:  17 Sum:    708 Ratio:   0.41%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 83686    (Eliminated: 2052 Frozen: 69904)
Constraints  : 525363   (Binary:  91.4% Ternary:   6.6% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 9.47s
Memory:		 242MB (+19MB)
UNSAT
Iteration Time:	 10.09s

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

Models       : 0+
Calls        : 6
Time         : 32.211s (Solving: 27.08s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 32.100s

Choices      : 393532   (Domain: 345212)
Conflicts    : 52143    (Analyzed: 52140)
Restarts     : 185      (Average: 281.84 Last: 201)
Model-Level  : 212.0   
Problems     : 6        (Average Length: 11.17 Splits: 0)
Lemmas       : 52140    (Deleted: 36357)
  Binary     : 2519     (Ratio:   4.83%)
  Ternary    : 854      (Ratio:   1.64%)
  Conflict   : 52140    (Average Length:  437.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 52140    (Average:  7.29 Max: 530 Sum: 379849)
  Executed   : 52080    (Average:  7.27 Max: 530 Sum: 379102 Ratio:  99.80%)
  Bounded    : 60       (Average: 12.45 Max:  20 Sum:    747 Ratio:   0.20%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 116632   (Eliminated: 2052 Frozen: 102850)
Constraints  : 751614   (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 17.86s
Memory:		 270MB (+23MB)
UNKNOWN
Iteration Time:	 18.54s

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

Models       : 0+
Calls        : 7
Time         : 55.274s (Solving: 48.78s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 55.172s

Choices      : 702346   (Domain: 614158)
Conflicts    : 80345    (Analyzed: 80342)
Restarts     : 285      (Average: 281.90 Last: 204)
Model-Level  : 212.0   
Problems     : 7        (Average Length: 13.43 Splits: 0)
Lemmas       : 80342    (Deleted: 62926)
  Binary     : 3657     (Ratio:   4.55%)
  Ternary    : 1084     (Ratio:   1.35%)
  Conflict   : 80342    (Average Length:  662.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 80342    (Average:  8.33 Max: 678 Sum: 669221)
  Executed   : 80281    (Average:  8.32 Max: 678 Sum: 668447 Ratio:  99.88%)
  Bounded    : 61       (Average: 12.69 Max:  27 Sum:    774 Ratio:   0.12%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 149578   (Eliminated: 2052 Frozen: 135796)
Constraints  : 1001199  (Binary:  91.3% Ternary:   6.7% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 22.29s
Memory:		 360MB (+77MB)
UNKNOWN
Iteration Time:	 23.08s

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

Models       : 0+
Calls        : 8
Time         : 77.071s (Solving: 69.28s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 76.980s

Choices      : 1003872  (Domain: 882823)
Conflicts    : 108520   (Analyzed: 108517)
Restarts     : 385      (Average: 281.86 Last: 204)
Model-Level  : 212.0   
Problems     : 8        (Average Length: 15.75 Splits: 0)
Lemmas       : 108517   (Deleted: 89280)
  Binary     : 4556     (Ratio:   4.20%)
  Ternary    : 1352     (Ratio:   1.25%)
  Conflict   : 108517   (Average Length:  847.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 108517   (Average:  8.73 Max: 678 Sum: 947518)
  Executed   : 108455   (Average:  8.72 Max: 678 Sum: 946712 Ratio:  99.91%)
  Bounded    : 62       (Average: 13.00 Max:  32 Sum:    806 Ratio:   0.09%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 182524   (Eliminated: 2052 Frozen: 168742)
Constraints  : 1250770  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.09s
Memory:		 391MB (+27MB)
UNKNOWN
Iteration Time:	 21.82s

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         : 88.855s (Solving: 80.99s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 88.772s

Choices      : 1158889  (Domain: 1037260)
Conflicts    : 136741   (Analyzed: 136738)
Restarts     : 485      (Average: 281.93 Last: 204)
Model-Level  : 212.0   
Problems     : 9        (Average Length: 17.56 Splits: 0)
Lemmas       : 136738   (Deleted: 116449)
  Binary     : 4888     (Ratio:   3.57%)
  Ternary    : 1389     (Ratio:   1.02%)
  Conflict   : 136738   (Average Length:  805.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 136738   (Average:  7.99 Max: 678 Sum: 1092594)
  Executed   : 136672   (Average:  7.98 Max: 678 Sum: 1091660 Ratio:  99.91%)
  Bounded    : 66       (Average: 14.15 Max:  32 Sum:    934 Ratio:   0.09%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 182524   (Eliminated: 2052 Frozen: 180472)
Constraints  : 1250756  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 11.76s
Memory:		 391MB (+0MB)
UNKNOWN
Iteration Time:	 11.79s

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         : 109.452s (Solving: 101.55s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 109.380s

Choices      : 1376906  (Domain: 1233491)
Conflicts    : 164927   (Analyzed: 164924)
Restarts     : 585      (Average: 281.92 Last: 204)
Model-Level  : 212.0   
Problems     : 10       (Average Length: 19.00 Splits: 0)
Lemmas       : 164924   (Deleted: 143565)
  Binary     : 5464     (Ratio:   3.31%)
  Ternary    : 1489     (Ratio:   0.90%)
  Conflict   : 164924   (Average Length:  840.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 164924   (Average:  7.84 Max: 678 Sum: 1293108)
  Executed   : 164855   (Average:  7.83 Max: 678 Sum: 1292078 Ratio:  99.92%)
  Bounded    : 69       (Average: 14.93 Max:  32 Sum:   1030 Ratio:   0.08%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 182524   (Eliminated: 2052 Frozen: 180472)
Constraints  : 1250696  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.59s
Memory:		 391MB (+0MB)
UNKNOWN
Iteration Time:	 20.61s

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         : 134.113s (Solving: 126.16s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 134.052s

Choices      : 1625012  (Domain: 1468158)
Conflicts    : 193127   (Analyzed: 193124)
Restarts     : 685      (Average: 281.93 Last: 204)
Model-Level  : 212.0   
Problems     : 11       (Average Length: 20.18 Splits: 0)
Lemmas       : 193124   (Deleted: 170317)
  Binary     : 6251     (Ratio:   3.24%)
  Ternary    : 1697     (Ratio:   0.88%)
  Conflict   : 193124   (Average Length:  957.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 193124   (Average:  7.85 Max: 678 Sum: 1515588)
  Executed   : 193055   (Average:  7.84 Max: 678 Sum: 1514558 Ratio:  99.93%)
  Bounded    : 69       (Average: 14.93 Max:  32 Sum:   1030 Ratio:   0.07%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 182524   (Eliminated: 2052 Frozen: 180472)
Constraints  : 1250654  (Binary:  91.3% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.65s
Memory:		 391MB (+0MB)
UNKNOWN
Iteration Time:	 24.67s

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

Models       : 0+
Calls        : 12
Time         : 159.669s (Solving: 150.42s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 159.620s

Choices      : 1908569  (Domain: 1732090)
Conflicts    : 221291   (Analyzed: 221288)
Restarts     : 785      (Average: 281.90 Last: 204)
Model-Level  : 212.0   
Problems     : 12       (Average Length: 21.58 Splits: 0)
Lemmas       : 221288   (Deleted: 197132)
  Binary     : 7215     (Ratio:   3.26%)
  Ternary    : 1931     (Ratio:   0.87%)
  Conflict   : 221288   (Average Length: 1051.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 221288   (Average:  8.00 Max: 678 Sum: 1770306)
  Executed   : 221219   (Average:  8.00 Max: 678 Sum: 1769276 Ratio:  99.94%)
  Bounded    : 69       (Average: 14.93 Max:  32 Sum:   1030 Ratio:   0.06%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 215470   (Eliminated: 2052 Frozen: 201688)
Constraints  : 1500239  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.87s
Memory:		 476MB (+84MB)
UNKNOWN
Iteration Time:	 25.58s

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

Models       : 0+
Calls        : 13
Time         : 187.749s (Solving: 177.18s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 187.712s

Choices      : 2250851  (Domain: 2066011)
Conflicts    : 249484   (Analyzed: 249481)
Restarts     : 885      (Average: 281.90 Last: 204)
Model-Level  : 212.0   
Problems     : 13       (Average Length: 23.15 Splits: 0)
Lemmas       : 249481   (Deleted: 223777)
  Binary     : 7917     (Ratio:   3.17%)
  Ternary    : 2052     (Ratio:   0.82%)
  Conflict   : 249481   (Average Length: 1096.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 249481   (Average:  8.37 Max: 678 Sum: 2088264)
  Executed   : 249409   (Average:  8.37 Max: 678 Sum: 2087108 Ratio:  99.94%)
  Bounded    : 72       (Average: 16.06 Max:  42 Sum:   1156 Ratio:   0.06%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 248416   (Eliminated: 2052 Frozen: 234634)
Constraints  : 1749824  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 27.37s
Memory:		 497MB (+21MB)
UNKNOWN
Iteration Time:	 28.10s

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

Models       : 0+
Calls        : 14
Time         : 214.497s (Solving: 202.59s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 214.468s

Choices      : 2574161  (Domain: 2385556)
Conflicts    : 277725   (Analyzed: 277722)
Restarts     : 985      (Average: 281.95 Last: 204)
Model-Level  : 212.0   
Problems     : 14       (Average Length: 24.86 Splits: 0)
Lemmas       : 277722   (Deleted: 250824)
  Binary     : 8401     (Ratio:   3.02%)
  Ternary    : 2138     (Ratio:   0.77%)
  Conflict   : 277722   (Average Length: 1121.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 277722   (Average:  8.59 Max: 678 Sum: 2385562)
  Executed   : 277649   (Average:  8.59 Max: 678 Sum: 2384359 Ratio:  99.95%)
  Bounded    : 73       (Average: 16.48 Max:  47 Sum:   1203 Ratio:   0.05%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 281362   (Eliminated: 2052 Frozen: 267580)
Constraints  : 1999368  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.03s
Memory:		 532MB (+34MB)
UNKNOWN
Iteration Time:	 26.77s

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

Models       : 0+
Calls        : 15
Time         : 242.385s (Solving: 229.06s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 242.368s

Choices      : 2966319  (Domain: 2772841)
Conflicts    : 305953   (Analyzed: 305950)
Restarts     : 1085     (Average: 281.98 Last: 204)
Model-Level  : 212.0   
Problems     : 15       (Average Length: 26.67 Splits: 0)
Lemmas       : 305950   (Deleted: 278270)
  Binary     : 8910     (Ratio:   2.91%)
  Ternary    : 2225     (Ratio:   0.73%)
  Conflict   : 305950   (Average Length: 1164.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 305950   (Average:  8.98 Max: 678 Sum: 2747868)
  Executed   : 305877   (Average:  8.98 Max: 678 Sum: 2746665 Ratio:  99.96%)
  Bounded    : 73       (Average: 16.48 Max:  47 Sum:   1203 Ratio:   0.04%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 314308   (Eliminated: 2052 Frozen: 300526)
Constraints  : 2248936  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 27.10s
Memory:		 553MB (+21MB)
UNKNOWN
Iteration Time:	 27.91s

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

Models       : 0+
Calls        : 16
Time         : 269.088s (Solving: 254.23s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 269.084s

Choices      : 3332310  (Domain: 3132383)
Conflicts    : 334182   (Analyzed: 334179)
Restarts     : 1185     (Average: 282.01 Last: 204)
Model-Level  : 212.0   
Problems     : 16       (Average Length: 28.56 Splits: 0)
Lemmas       : 334179   (Deleted: 305454)
  Binary     : 9358     (Ratio:   2.80%)
  Ternary    : 2305     (Ratio:   0.69%)
  Conflict   : 334179   (Average Length: 1188.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 334179   (Average:  9.22 Max: 678 Sum: 3082233)
  Executed   : 334106   (Average:  9.22 Max: 678 Sum: 3081030 Ratio:  99.96%)
  Bounded    : 73       (Average: 16.48 Max:  47 Sum:   1203 Ratio:   0.04%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 347254   (Eliminated: 2052 Frozen: 333472)
Constraints  : 2498521  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 25.79s
Memory:		 587MB (+21MB)
UNKNOWN
Iteration Time:	 26.73s

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

Models       : 0+
Calls        : 17
Time         : 294.009s (Solving: 277.77s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 294.016s

Choices      : 3641184  (Domain: 3440121)
Conflicts    : 362419   (Analyzed: 362416)
Restarts     : 1285     (Average: 282.04 Last: 205)
Model-Level  : 212.0   
Problems     : 17       (Average Length: 30.53 Splits: 0)
Lemmas       : 362416   (Deleted: 332535)
  Binary     : 9715     (Ratio:   2.68%)
  Ternary    : 2351     (Ratio:   0.65%)
  Conflict   : 362416   (Average Length: 1183.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 362416   (Average:  9.29 Max: 678 Sum: 3366687)
  Executed   : 362341   (Average:  9.29 Max: 678 Sum: 3365360 Ratio:  99.96%)
  Bounded    : 75       (Average: 17.69 Max:  62 Sum:   1327 Ratio:   0.04%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 380200   (Eliminated: 2052 Frozen: 366418)
Constraints  : 2748106  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.18s
Memory:		 610MB (+23MB)
UNKNOWN
Iteration Time:	 24.94s

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

Models       : 0+
Calls        : 18
Time         : 318.852s (Solving: 301.18s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 318.868s

Choices      : 3892244  (Domain: 3691050)
Conflicts    : 390636   (Analyzed: 390633)
Restarts     : 1385     (Average: 282.05 Last: 205)
Model-Level  : 212.0   
Problems     : 18       (Average Length: 32.56 Splits: 0)
Lemmas       : 390633   (Deleted: 360107)
  Binary     : 9964     (Ratio:   2.55%)
  Ternary    : 2396     (Ratio:   0.61%)
  Conflict   : 390633   (Average Length: 1199.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 390633   (Average:  9.19 Max: 678 Sum: 3591531)
  Executed   : 390556   (Average:  9.19 Max: 678 Sum: 3590070 Ratio:  99.96%)
  Bounded    : 77       (Average: 18.97 Max:  67 Sum:   1461 Ratio:   0.04%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 413146   (Eliminated: 2052 Frozen: 399364)
Constraints  : 2997663  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.04s
Memory:		 657MB (+47MB)
UNKNOWN
Iteration Time:	 24.86s

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

Models       : 0+
Calls        : 19
Time         : 342.302s (Solving: 323.22s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 342.328s

Choices      : 4161244  (Domain: 3959396)
Conflicts    : 418855   (Analyzed: 418852)
Restarts     : 1485     (Average: 282.06 Last: 205)
Model-Level  : 212.0   
Problems     : 19       (Average Length: 34.63 Splits: 0)
Lemmas       : 418852   (Deleted: 387808)
  Binary     : 10087    (Ratio:   2.41%)
  Ternary    : 2412     (Ratio:   0.58%)
  Conflict   : 418852   (Average Length: 1205.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 418852   (Average:  9.16 Max: 678 Sum: 3835948)
  Executed   : 418772   (Average:  9.15 Max: 678 Sum: 3834271 Ratio:  99.96%)
  Bounded    : 80       (Average: 20.96 Max:  72 Sum:   1677 Ratio:   0.04%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 446092   (Eliminated: 2052 Frozen: 432310)
Constraints  : 3247221  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.68s
Memory:		 674MB (+17MB)
UNKNOWN
Iteration Time:	 23.47s

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

Models       : 0+
Calls        : 20
Time         : 372.100s (Solving: 351.54s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 372.140s

Choices      : 4519435  (Domain: 4315917)
Conflicts    : 447095   (Analyzed: 447092)
Restarts     : 1585     (Average: 282.08 Last: 206)
Model-Level  : 212.0   
Problems     : 20       (Average Length: 36.75 Splits: 0)
Lemmas       : 447092   (Deleted: 415422)
  Binary     : 10400    (Ratio:   2.33%)
  Ternary    : 2437     (Ratio:   0.55%)
  Conflict   : 447092   (Average Length: 1242.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 447092   (Average:  9.31 Max: 678 Sum: 4163167)
  Executed   : 447012   (Average:  9.31 Max: 678 Sum: 4161490 Ratio:  99.96%)
  Bounded    : 80       (Average: 20.96 Max:  72 Sum:   1677 Ratio:   0.04%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 479038   (Eliminated: 2052 Frozen: 465256)
Constraints  : 3496761  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 28.97s
Memory:		 695MB (+21MB)
UNKNOWN
Iteration Time:	 29.82s

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

Models       : 0+
Calls        : 21
Time         : 399.823s (Solving: 377.76s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 399.876s

Choices      : 4867909  (Domain: 4662616)
Conflicts    : 475269   (Analyzed: 475266)
Restarts     : 1685     (Average: 282.06 Last: 206)
Model-Level  : 212.0   
Problems     : 21       (Average Length: 38.90 Splits: 0)
Lemmas       : 475266   (Deleted: 442893)
  Binary     : 10629    (Ratio:   2.24%)
  Ternary    : 2476     (Ratio:   0.52%)
  Conflict   : 475266   (Average Length: 1251.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 475266   (Average:  9.43 Max: 678 Sum: 4483916)
  Executed   : 475185   (Average:  9.43 Max: 678 Sum: 4482157 Ratio:  99.96%)
  Bounded    : 81       (Average: 21.72 Max:  82 Sum:   1759 Ratio:   0.04%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 511984   (Eliminated: 2052 Frozen: 498202)
Constraints  : 3746346  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.88s
Memory:		 717MB (+22MB)
UNKNOWN
Iteration Time:	 27.74s

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

Models       : 0+
Calls        : 22
Time         : 428.194s (Solving: 404.61s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 428.260s

Choices      : 5415354  (Domain: 5203000)
Conflicts    : 503486   (Analyzed: 503483)
Restarts     : 1785     (Average: 282.06 Last: 206)
Model-Level  : 212.0   
Problems     : 22       (Average Length: 41.09 Splits: 0)
Lemmas       : 503483   (Deleted: 470277)
  Binary     : 10933    (Ratio:   2.17%)
  Ternary    : 2512     (Ratio:   0.50%)
  Conflict   : 503483   (Average Length: 1273.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 503483   (Average:  9.91 Max: 763 Sum: 4991866)
  Executed   : 503402   (Average:  9.91 Max: 763 Sum: 4990107 Ratio:  99.96%)
  Bounded    : 81       (Average: 21.72 Max:  82 Sum:   1759 Ratio:   0.04%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 531148)
Constraints  : 3995917  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 27.52s
Memory:		 740MB (+23MB)
UNKNOWN
Iteration Time:	 28.39s

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         : 443.034s (Solving: 419.31s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 443.104s

Choices      : 5614499  (Domain: 5402145)
Conflicts    : 531672   (Analyzed: 531669)
Restarts     : 1885     (Average: 282.05 Last: 206)
Model-Level  : 212.0   
Problems     : 23       (Average Length: 43.09 Splits: 0)
Lemmas       : 531669   (Deleted: 497357)
  Binary     : 11430    (Ratio:   2.15%)
  Ternary    : 2588     (Ratio:   0.49%)
  Conflict   : 531669   (Average Length: 1234.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 531669   (Average:  9.74 Max: 763 Sum: 5180538)
  Executed   : 531587   (Average:  9.74 Max: 763 Sum: 5178692 Ratio:  99.96%)
  Bounded    : 82       (Average: 22.51 Max:  87 Sum:   1846 Ratio:   0.04%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995917  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 14.78s
Memory:		 740MB (+0MB)
UNKNOWN
Iteration Time:	 14.85s

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         : 483.483s (Solving: 459.61s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 483.568s

Choices      : 5782398  (Domain: 5568252)
Conflicts    : 559850   (Analyzed: 559847)
Restarts     : 1985     (Average: 282.04 Last: 206)
Model-Level  : 212.0   
Problems     : 24       (Average Length: 44.92 Splits: 0)
Lemmas       : 559847   (Deleted: 525037)
  Binary     : 11551    (Ratio:   2.06%)
  Ternary    : 2608     (Ratio:   0.47%)
  Conflict   : 559847   (Average Length: 1272.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 559847   (Average:  9.53 Max: 763 Sum: 5332917)
  Executed   : 559765   (Average:  9.52 Max: 763 Sum: 5331071 Ratio:  99.97%)
  Bounded    : 82       (Average: 22.51 Max:  87 Sum:   1846 Ratio:   0.03%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995903  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 40.41s
Memory:		 740MB (+0MB)
UNKNOWN
Iteration Time:	 40.47s

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         : 506.720s (Solving: 482.71s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 506.816s

Choices      : 5972898  (Domain: 5758752)
Conflicts    : 588086   (Analyzed: 588083)
Restarts     : 2085     (Average: 282.05 Last: 206)
Model-Level  : 212.0   
Problems     : 25       (Average Length: 46.60 Splits: 0)
Lemmas       : 588083   (Deleted: 552722)
  Binary     : 11744    (Ratio:   2.00%)
  Ternary    : 2634     (Ratio:   0.45%)
  Conflict   : 588083   (Average Length: 1291.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 588083   (Average:  9.35 Max: 763 Sum: 5500336)
  Executed   : 588001   (Average:  9.35 Max: 763 Sum: 5498490 Ratio:  99.97%)
  Bounded    : 82       (Average: 22.51 Max:  87 Sum:   1846 Ratio:   0.03%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995903  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.19s
Memory:		 740MB (+0MB)
UNKNOWN
Iteration Time:	 23.25s

Iteration 25
Queue:		 [(7,35,1,True), (8,40,1,True), (9,45,1,True), (10,50,1,True), (11,55,1,True), (12,60,1,True), (13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,1,True), (17,85,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         : 528.495s (Solving: 504.33s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 528.600s

Choices      : 6176269  (Domain: 5956175)
Conflicts    : 616317   (Analyzed: 616314)
Restarts     : 2185     (Average: 282.07 Last: 206)
Model-Level  : 212.0   
Problems     : 26       (Average Length: 48.15 Splits: 0)
Lemmas       : 616314   (Deleted: 580107)
  Binary     : 12064    (Ratio:   1.96%)
  Ternary    : 2674     (Ratio:   0.43%)
  Conflict   : 616314   (Average Length: 1291.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 616314   (Average:  9.22 Max: 763 Sum: 5679832)
  Executed   : 616232   (Average:  9.21 Max: 763 Sum: 5677986 Ratio:  99.97%)
  Bounded    : 82       (Average: 22.51 Max:  87 Sum:   1846 Ratio:   0.03%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995903  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.72s
Memory:		 740MB (+0MB)
UNKNOWN
Iteration Time:	 21.79s

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         : 551.991s (Solving: 527.69s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 552.104s

Choices      : 6405430  (Domain: 6179180)
Conflicts    : 644555   (Analyzed: 644552)
Restarts     : 2285     (Average: 282.08 Last: 206)
Model-Level  : 212.0   
Problems     : 27       (Average Length: 49.59 Splits: 0)
Lemmas       : 644552   (Deleted: 607569)
  Binary     : 12349    (Ratio:   1.92%)
  Ternary    : 2698     (Ratio:   0.42%)
  Conflict   : 644552   (Average Length: 1296.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 644552   (Average:  9.13 Max: 763 Sum: 5882128)
  Executed   : 644470   (Average:  9.12 Max: 763 Sum: 5880282 Ratio:  99.97%)
  Bounded    : 82       (Average: 22.51 Max:  87 Sum:   1846 Ratio:   0.03%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995903  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.45s
Memory:		 740MB (+0MB)
UNKNOWN
Iteration Time:	 23.51s

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         : 575.054s (Solving: 550.60s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 575.176s

Choices      : 6711093  (Domain: 6469695)
Conflicts    : 672748   (Analyzed: 672745)
Restarts     : 2385     (Average: 282.07 Last: 206)
Model-Level  : 212.0   
Problems     : 28       (Average Length: 50.93 Splits: 0)
Lemmas       : 672745   (Deleted: 634766)
  Binary     : 12775    (Ratio:   1.90%)
  Ternary    : 2731     (Ratio:   0.41%)
  Conflict   : 672745   (Average Length: 1287.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 672745   (Average:  9.15 Max: 763 Sum: 6156692)
  Executed   : 672662   (Average:  9.15 Max: 763 Sum: 6154759 Ratio:  99.97%)
  Bounded    : 83       (Average: 23.29 Max:  87 Sum:   1933 Ratio:   0.03%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995903  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.01s
Memory:		 740MB (+0MB)
UNKNOWN
Iteration Time:	 23.08s

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         : 601.152s (Solving: 576.58s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 601.284s

Choices      : 7120780  (Domain: 6863938)
Conflicts    : 700980   (Analyzed: 700977)
Restarts     : 2485     (Average: 282.08 Last: 206)
Model-Level  : 212.0   
Problems     : 29       (Average Length: 52.17 Splits: 0)
Lemmas       : 700977   (Deleted: 660238)
  Binary     : 13474    (Ratio:   1.92%)
  Ternary    : 2835     (Ratio:   0.40%)
  Conflict   : 700977   (Average Length: 1287.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 700977   (Average:  9.32 Max: 763 Sum: 6530852)
  Executed   : 700894   (Average:  9.31 Max: 763 Sum: 6528919 Ratio:  99.97%)
  Bounded    : 83       (Average: 23.29 Max:  87 Sum:   1933 Ratio:   0.03%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995889  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.06s
Memory:		 740MB (+0MB)
UNKNOWN
Iteration Time:	 26.11s

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         : 627.224s (Solving: 602.51s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 627.368s

Choices      : 7461903  (Domain: 7202245)
Conflicts    : 729148   (Analyzed: 729145)
Restarts     : 2585     (Average: 282.07 Last: 206)
Model-Level  : 212.0   
Problems     : 30       (Average Length: 53.33 Splits: 0)
Lemmas       : 729145   (Deleted: 688896)
  Binary     : 13800    (Ratio:   1.89%)
  Ternary    : 2881     (Ratio:   0.40%)
  Conflict   : 729145   (Average Length: 1297.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 729145   (Average:  9.38 Max: 763 Sum: 6836622)
  Executed   : 729062   (Average:  9.37 Max: 763 Sum: 6834689 Ratio:  99.97%)
  Bounded    : 83       (Average: 23.29 Max:  87 Sum:   1933 Ratio:   0.03%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995889  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.03s
Memory:		 740MB (+0MB)
UNKNOWN
Iteration Time:	 26.09s

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         : 652.940s (Solving: 628.08s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 653.096s

Choices      : 7890561  (Domain: 7624727)
Conflicts    : 757369   (Analyzed: 757366)
Restarts     : 2685     (Average: 282.07 Last: 206)
Model-Level  : 212.0   
Problems     : 31       (Average Length: 54.42 Splits: 0)
Lemmas       : 757366   (Deleted: 716381)
  Binary     : 14414    (Ratio:   1.90%)
  Ternary    : 2942     (Ratio:   0.39%)
  Conflict   : 757366   (Average Length: 1296.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 757366   (Average:  9.55 Max: 763 Sum: 7231957)
  Executed   : 757283   (Average:  9.55 Max: 763 Sum: 7230024 Ratio:  99.97%)
  Bounded    : 83       (Average: 23.29 Max:  87 Sum:   1933 Ratio:   0.03%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995889  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 25.67s
Memory:		 740MB (+0MB)
UNKNOWN
Iteration Time:	 25.73s

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         : 675.859s (Solving: 650.87s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 676.024s

Choices      : 8280896  (Domain: 8011878)
Conflicts    : 785594   (Analyzed: 785591)
Restarts     : 2785     (Average: 282.08 Last: 206)
Model-Level  : 212.0   
Problems     : 32       (Average Length: 55.44 Splits: 0)
Lemmas       : 785591   (Deleted: 743590)
  Binary     : 14665    (Ratio:   1.87%)
  Ternary    : 2984     (Ratio:   0.38%)
  Conflict   : 785591   (Average Length: 1292.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 785591   (Average:  9.66 Max: 763 Sum: 7588140)
  Executed   : 785508   (Average:  9.66 Max: 763 Sum: 7586207 Ratio:  99.97%)
  Bounded    : 83       (Average: 23.29 Max:  87 Sum:   1933 Ratio:   0.03%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995889  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

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

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         : 702.655s (Solving: 677.52s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 702.832s

Choices      : 8549840  (Domain: 8280756)
Conflicts    : 813854   (Analyzed: 813851)
Restarts     : 2885     (Average: 282.10 Last: 206)
Model-Level  : 212.0   
Problems     : 33       (Average Length: 56.39 Splits: 0)
Lemmas       : 813851   (Deleted: 771317)
  Binary     : 14849    (Ratio:   1.82%)
  Ternary    : 3013     (Ratio:   0.37%)
  Conflict   : 813851   (Average Length: 1299.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 813851   (Average:  9.62 Max: 763 Sum: 7827949)
  Executed   : 813768   (Average:  9.62 Max: 763 Sum: 7826016 Ratio:  99.98%)
  Bounded    : 83       (Average: 23.29 Max:  87 Sum:   1933 Ratio:   0.02%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995889  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.75s
Memory:		 740MB (+0MB)
UNKNOWN
Iteration Time:	 26.81s

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         : 727.680s (Solving: 702.43s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 727.868s

Choices      : 8978586  (Domain: 8707572)
Conflicts    : 842082   (Analyzed: 842079)
Restarts     : 2985     (Average: 282.10 Last: 206)
Model-Level  : 212.0   
Problems     : 34       (Average Length: 57.29 Splits: 0)
Lemmas       : 842079   (Deleted: 798849)
  Binary     : 15205    (Ratio:   1.81%)
  Ternary    : 3051     (Ratio:   0.36%)
  Conflict   : 842079   (Average Length: 1298.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 842079   (Average:  9.76 Max: 763 Sum: 8219969)
  Executed   : 841996   (Average:  9.76 Max: 763 Sum: 8218036 Ratio:  99.98%)
  Bounded    : 83       (Average: 23.29 Max:  87 Sum:   1933 Ratio:   0.02%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995889  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.99s
Memory:		 740MB (+0MB)
UNKNOWN
Iteration Time:	 25.04s

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         : 752.027s (Solving: 726.66s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 752.224s

Choices      : 9235244  (Domain: 8963835)
Conflicts    : 870277   (Analyzed: 870274)
Restarts     : 3085     (Average: 282.10 Last: 206)
Model-Level  : 212.0   
Problems     : 35       (Average Length: 58.14 Splits: 0)
Lemmas       : 870274   (Deleted: 826361)
  Binary     : 15329    (Ratio:   1.76%)
  Ternary    : 3084     (Ratio:   0.35%)
  Conflict   : 870274   (Average Length: 1293.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 870274   (Average:  9.71 Max: 763 Sum: 8449559)
  Executed   : 870191   (Average:  9.71 Max: 763 Sum: 8447626 Ratio:  99.98%)
  Bounded    : 83       (Average: 23.29 Max:  87 Sum:   1933 Ratio:   0.02%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995889  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.31s
Memory:		 740MB (+0MB)
UNKNOWN
Iteration Time:	 24.36s

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         : 776.935s (Solving: 751.44s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 777.140s

Choices      : 9524555  (Domain: 9253000)
Conflicts    : 898516   (Analyzed: 898513)
Restarts     : 3185     (Average: 282.11 Last: 206)
Model-Level  : 212.0   
Problems     : 36       (Average Length: 58.94 Splits: 0)
Lemmas       : 898513   (Deleted: 853935)
  Binary     : 15529    (Ratio:   1.73%)
  Ternary    : 3101     (Ratio:   0.35%)
  Conflict   : 898513   (Average Length: 1287.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 898513   (Average:  9.69 Max: 766 Sum: 8710942)
  Executed   : 898430   (Average:  9.69 Max: 766 Sum: 8709009 Ratio:  99.98%)
  Bounded    : 83       (Average: 23.29 Max:  87 Sum:   1933 Ratio:   0.02%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 544930   (Eliminated: 2052 Frozen: 542878)
Constraints  : 3995889  (Binary:  91.3% Ternary:   6.8% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.87s
Memory:		 740MB (+0MB)
UNKNOWN
Iteration Time:	 24.92s

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

Models       : 0+
Calls        : 37
Time         : 804.447s (Solving: 777.42s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 804.664s

Choices      : 9947348  (Domain: 9674609)
Conflicts    : 926765   (Analyzed: 926762)
Restarts     : 3285     (Average: 282.12 Last: 206)
Model-Level  : 212.0   
Problems     : 37       (Average Length: 59.84 Splits: 0)
Lemmas       : 926762   (Deleted: 881612)
  Binary     : 15718    (Ratio:   1.70%)
  Ternary    : 3120     (Ratio:   0.34%)
  Conflict   : 926762   (Average Length: 1292.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 926762   (Average:  9.82 Max: 766 Sum: 9100136)
  Executed   : 926678   (Average:  9.82 Max: 766 Sum: 9098114 Ratio:  99.98%)
  Bounded    : 84       (Average: 24.07 Max:  89 Sum:   2022 Ratio:   0.02%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 577876   (Eliminated: 2052 Frozen: 564094)
Constraints  : 4245474  (Binary:  91.3% Ternary:   6.8% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 26.64s
Memory:		 759MB (+19MB)
UNKNOWN
Iteration Time:	 27.53s

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

Models       : 0+
Calls        : 38
Time         : 833.381s (Solving: 804.82s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 833.608s

Choices      : 10484799 (Domain: 10210180)
Conflicts    : 955028   (Analyzed: 955025)
Restarts     : 3385     (Average: 282.13 Last: 206)
Model-Level  : 212.0   
Problems     : 38       (Average Length: 60.82 Splits: 0)
Lemmas       : 955025   (Deleted: 909101)
  Binary     : 16015    (Ratio:   1.68%)
  Ternary    : 3171     (Ratio:   0.33%)
  Conflict   : 955025   (Average Length: 1293.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 955025   (Average: 10.05 Max: 766 Sum: 9597476)
  Executed   : 954941   (Average: 10.05 Max: 766 Sum: 9595454 Ratio:  99.98%)
  Bounded    : 84       (Average: 24.07 Max:  89 Sum:   2022 Ratio:   0.02%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 610822   (Eliminated: 2052 Frozen: 597040)
Constraints  : 4495059  (Binary:  91.3% Ternary:   6.8% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 28.06s
Memory:		 826MB (+67MB)
UNKNOWN
Iteration Time:	 28.95s

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

Models       : 0+
Calls        : 39
Time         : 862.617s (Solving: 832.51s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 862.856s

Choices      : 10900973 (Domain: 10625629)
Conflicts    : 983223   (Analyzed: 983220)
Restarts     : 3485     (Average: 282.13 Last: 206)
Model-Level  : 212.0   
Problems     : 39       (Average Length: 61.87 Splits: 0)
Lemmas       : 983220   (Deleted: 936769)
  Binary     : 16204    (Ratio:   1.65%)
  Ternary    : 3199     (Ratio:   0.33%)
  Conflict   : 983220   (Average Length: 1298.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 983220   (Average: 10.14 Max: 766 Sum: 9968957)
  Executed   : 983136   (Average: 10.14 Max: 766 Sum: 9966935 Ratio:  99.98%)
  Bounded    : 84       (Average: 24.07 Max:  89 Sum:   2022 Ratio:   0.02%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 643768   (Eliminated: 2052 Frozen: 629986)
Constraints  : 4744644  (Binary:  91.3% Ternary:   6.8% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 28.37s
Memory:		 830MB (+4MB)
UNKNOWN
Iteration Time:	 29.26s

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

Models       : 0+
Calls        : 40
Time         : 893.209s (Solving: 861.53s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 893.460s

Choices      : 11409875 (Domain: 11133280)
Conflicts    : 1011496  (Analyzed: 1011493)
Restarts     : 3585     (Average: 282.15 Last: 206)
Model-Level  : 212.0   
Problems     : 40       (Average Length: 63.00 Splits: 0)
Lemmas       : 1011493  (Deleted: 964514)
  Binary     : 16432    (Ratio:   1.62%)
  Ternary    : 3254     (Ratio:   0.32%)
  Conflict   : 1011493  (Average Length: 1303.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1011493  (Average: 10.32 Max: 776 Sum: 10442469)
  Executed   : 1011409  (Average: 10.32 Max: 776 Sum: 10440447 Ratio:  99.98%)
  Bounded    : 84       (Average: 24.07 Max:  89 Sum:   2022 Ratio:   0.02%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 676714   (Eliminated: 2052 Frozen: 662932)
Constraints  : 4994229  (Binary:  91.3% Ternary:   6.8% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 29.70s
Memory:		 854MB (+24MB)
UNKNOWN
Iteration Time:	 30.62s

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

INTERRUPTED  : 1

Models       : 0+
Calls        : 41
Time         : 893.595s (Solving: 861.73s 1st Model: 0.00s Unsat: 9.80s)
CPU Time     : 893.824s

Choices      : 11411262 (Domain: 11134667)
Conflicts    : 1011548  (Analyzed: 1011545)
Restarts     : 3585     (Average: 282.16 Last: 206)
Model-Level  : 212.0   
Problems     : 41       (Average Length: 64.07 Splits: 0)
Lemmas       : 1011545  (Deleted: 964514)
  Binary     : 16432    (Ratio:   1.62%)
  Ternary    : 3254     (Ratio:   0.32%)
  Conflict   : 1011545  (Average Length: 1303.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1011545  (Average: 10.32 Max: 776 Sum: 10443772)
  Executed   : 1011461  (Average: 10.32 Max: 776 Sum: 10441750 Ratio:  99.98%)
  Bounded    : 84       (Average: 24.07 Max:  89 Sum:   2022 Ratio:   0.02%)

Rules        : 76935    (Original: 75225)
Atoms        : 61653   
Bodies       : 14003    (Original: 12292)
  Count      : 291      (Original: 633)
Equivalences : 3885     (Atom=Atom: 72 Body=Body: 0 Other: 3813)
Tight        : Yes
Variables    : 676714   (Eliminated: 2052 Frozen: 674662)
Constraints  : 4994229  (Binary:  91.3% Ternary:   6.8% Other:   1.8%)

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


