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-13.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-13.pddl
Parsing...
Parsing: [0.040s CPU, 0.055s wall-clock]
Normalizing task... [0.010s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.012s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.050s CPU, 0.051s wall-clock]
Preparing model... [0.020s CPU, 0.028s wall-clock]
Generated 115 rules.
Computing model... [0.510s CPU, 0.504s wall-clock]
3094 relevant atoms
3221 auxiliary atoms
6315 final queue length
10878 total queue pushes
Completing instantiation... [0.960s CPU, 0.959s wall-clock]
Instantiating: [1.560s CPU, 1.561s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.120s CPU, 0.121s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.010s CPU, 0.009s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
Choosing groups...
328 uncovered facts
Choosing groups: [0.000s CPU, 0.002s wall-clock]
Building translation key... [0.020s CPU, 0.012s wall-clock]
Computing fact groups: [0.170s CPU, 0.170s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.003s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.003s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.003s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.050s CPU, 0.053s wall-clock]
Translating task: [0.990s CPU, 0.993s wall-clock]
3672 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
3 propositions removed
Detecting unreachable propositions: [0.490s CPU, 0.492s wall-clock]
Reordering and filtering variables...
331 of 331 variables necessary.
15 of 18 mutex groups necessary.
2194 of 2194 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.400s CPU, 0.400s wall-clock]
Translator variables: 331
Translator derived variables: 0
Translator facts: 691
Translator goal facts: 13
Translator mutex groups: 15
Translator total mutex groups size: 45
Translator operators: 2194
Translator axioms: 0
Translator task size: 21018
Translator peak memory: 48588 KB
Writing output... [0.350s CPU, 0.381s wall-clock]
Done! [4.060s CPU, 4.107s wall-clock]
planner.py version 0.0.1

Time:	 0.85s
Memory: 107MB

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

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

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

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

Choices      : 164      (Domain: 147)
Conflicts    : 44       (Analyzed: 43)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 43       (Deleted: 0)
  Binary     : 10       (Ratio:  23.26%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 43       (Average Length:    6.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 43       (Average:  3.84 Max:  13 Sum:    165)
  Executed   : 42       (Average:  3.81 Max:  13 Sum:    164 Ratio:  99.39%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   0.61%)

Rules        : 60629   
Atoms        : 60629   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 16256    (Eliminated:    0 Frozen: 16256)
Constraints  : 53667    (Binary:  95.3% Ternary:   3.3% Other:   1.4%)

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

[endof: stats after solve call]
Solving Time:	 0.21s
Memory:		 183MB (+4MB)
UNSAT
Iteration Time:	 0.60s

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

Models       : 1+
Calls        : 3
Time         : 2.443s (Solving: 0.05s 1st Model: 0.04s Unsat: 0.00s)
CPU Time     : 2.288s

Choices      : 2081     (Domain: 1941)
Conflicts    : 259      (Analyzed: 258)
Restarts     : 2        (Average: 129.00 Last: 43)
Model-Level  : 264.0   
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 258      (Deleted: 0)
  Binary     : 43       (Ratio:  16.67%)
  Ternary    : 5        (Ratio:   1.94%)
  Conflict   : 258      (Average Length:  181.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 258      (Average:  6.90 Max:  74 Sum:   1779)
  Executed   : 257      (Average:  6.89 Max:  74 Sum:   1778 Ratio:  99.94%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   0.06%)

Rules        : 60629   
Atoms        : 60629   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 35632    (Eliminated:    0 Frozen: 35632)
Constraints  : 211962   (Binary:  95.6% Ternary:   3.2% Other:   1.2%)

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

[endof: stats after solve call]
Solving Time:	 0.40s
Memory:		 199MB (+10MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 1.16s
Memory:		 232MB (+33MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 4
Time         : 3.463s (Solving: 0.58s 1st Model: 0.04s Unsat: 0.54s)
CPU Time     : 3.308s

Choices      : 18718    (Domain: 16323)
Conflicts    : 2159     (Analyzed: 2157)
Restarts     : 14       (Average: 154.07 Last: 82)
Model-Level  : 264.0   
Problems     : 4        (Average Length: 8.25 Splits: 0)
Lemmas       : 2157     (Deleted: 0)
  Binary     : 309      (Ratio:  14.33%)
  Ternary    : 89       (Ratio:   4.13%)
  Conflict   : 2157     (Average Length:  133.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2157     (Average:  8.39 Max: 105 Sum:  18098)
  Executed   : 2141     (Average:  8.33 Max: 105 Sum:  17961 Ratio:  99.24%)
  Bounded    : 16       (Average:  8.56 Max:  12 Sum:    137 Ratio:   0.76%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 56254    (Eliminated: 15972 Frozen: 40282)
Constraints  : 305290   (Binary:  88.2% Ternary:   7.9% Other:   3.9%)

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

[endof: stats after solve call]
Solving Time:	 0.77s
Memory:		 231MB (+-1MB)
UNSAT
Iteration Time:	 2.79s

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

Models       : 0
Calls        : 5
Time         : 14.065s (Solving: 9.77s 1st Model: 0.04s Unsat: 9.73s)
CPU Time     : 13.912s

Choices      : 156361   (Domain: 139410)
Conflicts    : 21409    (Analyzed: 21406)
Restarts     : 76       (Average: 281.66 Last: 3107)
Model-Level  : 264.0   
Problems     : 5        (Average Length: 10.00 Splits: 0)
Lemmas       : 21406    (Deleted: 7801)
  Binary     : 1309     (Ratio:   6.12%)
  Ternary    : 439      (Ratio:   2.05%)
  Conflict   : 21406    (Average Length:  362.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 21406    (Average:  7.12 Max: 254 Sum: 152384)
  Executed   : 21380    (Average:  7.11 Max: 254 Sum: 152135 Ratio:  99.84%)
  Bounded    : 26       (Average:  9.58 Max:  17 Sum:    249 Ratio:   0.16%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 93745    (Eliminated: 15972 Frozen: 64093)
Constraints  : 579292   (Binary:  89.7% Ternary:   7.4% Other:   2.9%)

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

[endof: stats after solve call]
Solving Time:	 9.88s
Memory:		 260MB (+23MB)
UNSAT
Iteration Time:	 10.61s

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

Models       : 0+
Calls        : 6
Time         : 33.982s (Solving: 28.17s 1st Model: 0.04s Unsat: 9.73s)
CPU Time     : 33.840s

Choices      : 460083   (Domain: 423373)
Conflicts    : 49619    (Analyzed: 49616)
Restarts     : 176      (Average: 281.91 Last: 3107)
Model-Level  : 264.0   
Problems     : 6        (Average Length: 12.00 Splits: 0)
Lemmas       : 49616    (Deleted: 34394)
  Binary     : 2960     (Ratio:   5.97%)
  Ternary    : 839      (Ratio:   1.69%)
  Conflict   : 49616    (Average Length:  424.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 49616    (Average:  8.98 Max: 340 Sum: 445430)
  Executed   : 49574    (Average:  8.97 Max: 340 Sum: 444850 Ratio:  99.87%)
  Bounded    : 42       (Average: 13.81 Max:  22 Sum:    580 Ratio:   0.13%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 131236   (Eliminated: 15972 Frozen: 101584)
Constraints  : 857181   (Binary:  90.2% Ternary:   7.2% Other:   2.5%)

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

[endof: stats after solve call]
Solving Time:	 19.10s
Memory:		 294MB (+24MB)
UNKNOWN
Iteration Time:	 19.93s

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

Models       : 0+
Calls        : 7
Time         : 61.563s (Solving: 54.32s 1st Model: 0.04s Unsat: 9.73s)
CPU Time     : 61.432s

Choices      : 876120   (Domain: 811754)
Conflicts    : 77788    (Analyzed: 77785)
Restarts     : 276      (Average: 281.83 Last: 3107)
Model-Level  : 264.0   
Problems     : 7        (Average Length: 14.14 Splits: 0)
Lemmas       : 77785    (Deleted: 60021)
  Binary     : 4910     (Ratio:   6.31%)
  Ternary    : 1147     (Ratio:   1.47%)
  Conflict   : 77785    (Average Length:  610.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 77785    (Average: 10.92 Max: 925 Sum: 849319)
  Executed   : 77722    (Average: 10.90 Max: 925 Sum: 848175 Ratio:  99.87%)
  Bounded    : 63       (Average: 18.16 Max:  27 Sum:   1144 Ratio:   0.13%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 168727   (Eliminated: 15972 Frozen: 139075)
Constraints  : 1133328  (Binary:  90.5% Ternary:   7.2% Other:   2.3%)

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

[endof: stats after solve call]
Solving Time:	 26.86s
Memory:		 383MB (+83MB)
UNKNOWN
Iteration Time:	 27.60s

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

Models       : 0+
Calls        : 8
Time         : 90.256s (Solving: 81.54s 1st Model: 0.04s Unsat: 9.73s)
CPU Time     : 90.136s

Choices      : 1231253  (Domain: 1160376)
Conflicts    : 105964   (Analyzed: 105961)
Restarts     : 376      (Average: 281.81 Last: 3107)
Model-Level  : 264.0   
Problems     : 8        (Average Length: 16.38 Splits: 0)
Lemmas       : 105961   (Deleted: 85913)
  Binary     : 5953     (Ratio:   5.62%)
  Ternary    : 1286     (Ratio:   1.21%)
  Conflict   : 105961   (Average Length:  794.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 105961   (Average: 11.23 Max: 925 Sum: 1190231)
  Executed   : 105894   (Average: 11.22 Max: 925 Sum: 1188959 Ratio:  99.89%)
  Bounded    : 67       (Average: 18.99 Max:  32 Sum:   1272 Ratio:   0.11%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 206218   (Eliminated: 15972 Frozen: 176566)
Constraints  : 1395052  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 27.94s
Memory:		 417MB (+31MB)
UNKNOWN
Iteration Time:	 28.71s

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         : 105.913s (Solving: 97.13s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 105.800s

Choices      : 1337661  (Domain: 1266784)
Conflicts    : 120606   (Analyzed: 120602)
Restarts     : 437      (Average: 275.98 Last: 3107)
Model-Level  : 264.0   
Problems     : 9        (Average Length: 18.11 Splits: 0)
Lemmas       : 120602   (Deleted: 100871)
  Binary     : 6156     (Ratio:   5.10%)
  Ternary    : 1354     (Ratio:   1.12%)
  Conflict   : 120602   (Average Length:  757.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 120602   (Average: 10.73 Max: 925 Sum: 1294216)
  Executed   : 120526   (Average: 10.72 Max: 925 Sum: 1292783 Ratio:  99.89%)
  Bounded    : 76       (Average: 18.86 Max:  32 Sum:   1433 Ratio:   0.11%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 206218   (Eliminated: 15972 Frozen: 190246)
Constraints  : 1384307  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 15.64s
Memory:		 417MB (+0MB)
UNSAT
Iteration Time:	 15.67s

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         : 124.732s (Solving: 115.90s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 124.624s

Choices      : 1539402  (Domain: 1456337)
Conflicts    : 148790   (Analyzed: 148786)
Restarts     : 537      (Average: 277.07 Last: 3107)
Model-Level  : 264.0   
Problems     : 10       (Average Length: 19.50 Splits: 0)
Lemmas       : 148786   (Deleted: 126538)
  Binary     : 6954     (Ratio:   4.67%)
  Ternary    : 1517     (Ratio:   1.02%)
  Conflict   : 148786   (Average Length:  725.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 148786   (Average:  9.97 Max: 925 Sum: 1483588)
  Executed   : 148705   (Average:  9.96 Max: 925 Sum: 1482009 Ratio:  99.89%)
  Bounded    : 81       (Average: 19.49 Max:  32 Sum:   1579 Ratio:   0.11%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 206218   (Eliminated: 15972 Frozen: 190246)
Constraints  : 1375472  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

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

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         : 144.953s (Solving: 136.07s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 144.856s

Choices      : 1823881  (Domain: 1736896)
Conflicts    : 176968   (Analyzed: 176964)
Restarts     : 637      (Average: 277.81 Last: 3107)
Model-Level  : 264.0   
Problems     : 11       (Average Length: 20.64 Splits: 0)
Lemmas       : 176964   (Deleted: 153294)
  Binary     : 7625     (Ratio:   4.31%)
  Ternary    : 1618     (Ratio:   0.91%)
  Conflict   : 176964   (Average Length:  647.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 176964   (Average:  9.93 Max: 925 Sum: 1757580)
  Executed   : 176874   (Average:  9.92 Max: 925 Sum: 1755734 Ratio:  99.89%)
  Bounded    : 90       (Average: 20.51 Max:  32 Sum:   1846 Ratio:   0.11%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 206218   (Eliminated: 15972 Frozen: 190246)
Constraints  : 1373526  (Binary:  90.8% Ternary:   7.0% Other:   2.2%)

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

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

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

Models       : 0+
Calls        : 12
Time         : 169.562s (Solving: 159.17s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 169.476s

Choices      : 2115193  (Domain: 2026117)
Conflicts    : 205186   (Analyzed: 205182)
Restarts     : 737      (Average: 278.40 Last: 3107)
Model-Level  : 264.0   
Problems     : 12       (Average Length: 22.00 Splits: 0)
Lemmas       : 205182   (Deleted: 180358)
  Binary     : 8346     (Ratio:   4.07%)
  Ternary    : 1675     (Ratio:   0.82%)
  Conflict   : 205182   (Average Length:  657.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 205182   (Average:  9.91 Max: 925 Sum: 2033568)
  Executed   : 205091   (Average:  9.90 Max: 925 Sum: 2031686 Ratio:  99.91%)
  Bounded    : 91       (Average: 20.68 Max:  36 Sum:   1882 Ratio:   0.09%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 243709   (Eliminated: 15972 Frozen: 214057)
Constraints  : 1655921  (Binary:  90.9% Ternary:   7.0% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 23.83s
Memory:		 440MB (+23MB)
UNKNOWN
Iteration Time:	 24.63s

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

Models       : 0+
Calls        : 13
Time         : 193.379s (Solving: 181.45s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 193.304s

Choices      : 2437779  (Domain: 2344519)
Conflicts    : 233428   (Analyzed: 233424)
Restarts     : 837      (Average: 278.88 Last: 3107)
Model-Level  : 264.0   
Problems     : 13       (Average Length: 23.54 Splits: 0)
Lemmas       : 233424   (Deleted: 207661)
  Binary     : 8949     (Ratio:   3.83%)
  Ternary    : 1738     (Ratio:   0.74%)
  Conflict   : 233424   (Average Length:  677.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 233424   (Average: 10.03 Max: 925 Sum: 2340744)
  Executed   : 233332   (Average: 10.02 Max: 925 Sum: 2338820 Ratio:  99.92%)
  Bounded    : 92       (Average: 20.91 Max:  42 Sum:   1924 Ratio:   0.08%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 281200   (Eliminated: 15972 Frozen: 251548)
Constraints  : 1938381  (Binary:  90.9% Ternary:   7.0% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 23.02s
Memory:		 464MB (+24MB)
UNKNOWN
Iteration Time:	 23.84s

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

Models       : 0+
Calls        : 14
Time         : 217.069s (Solving: 203.53s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 217.004s

Choices      : 2921177  (Domain: 2804346)
Conflicts    : 261609   (Analyzed: 261605)
Restarts     : 937      (Average: 279.19 Last: 3107)
Model-Level  : 264.0   
Problems     : 14       (Average Length: 25.21 Splits: 0)
Lemmas       : 261605   (Deleted: 234617)
  Binary     : 9660     (Ratio:   3.69%)
  Ternary    : 1856     (Ratio:   0.71%)
  Conflict   : 261605   (Average Length:  713.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 261605   (Average: 10.72 Max: 925 Sum: 2803762)
  Executed   : 261512   (Average: 10.71 Max: 925 Sum: 2801791 Ratio:  99.93%)
  Bounded    : 93       (Average: 21.19 Max:  47 Sum:   1971 Ratio:   0.07%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 318691   (Eliminated: 15972 Frozen: 289039)
Constraints  : 2220827  (Binary:  90.9% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 22.81s
Memory:		 511MB (+45MB)
UNKNOWN
Iteration Time:	 23.71s

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

Models       : 0+
Calls        : 15
Time         : 239.322s (Solving: 224.03s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 239.268s

Choices      : 3239652  (Domain: 3118858)
Conflicts    : 289908   (Analyzed: 289904)
Restarts     : 1037     (Average: 279.56 Last: 3107)
Model-Level  : 264.0   
Problems     : 15       (Average Length: 27.00 Splits: 0)
Lemmas       : 289904   (Deleted: 262036)
  Binary     : 10004    (Ratio:   3.45%)
  Ternary    : 1900     (Ratio:   0.66%)
  Conflict   : 289904   (Average Length:  713.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 289904   (Average: 10.71 Max: 925 Sum: 3104218)
  Executed   : 289811   (Average: 10.70 Max: 925 Sum: 3102247 Ratio:  99.94%)
  Bounded    : 93       (Average: 21.19 Max:  47 Sum:   1971 Ratio:   0.06%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 356182   (Eliminated: 15972 Frozen: 326530)
Constraints  : 2503270  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

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

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

Models       : 0+
Calls        : 16
Time         : 260.913s (Solving: 244.05s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 260.868s

Choices      : 3553175  (Domain: 3429309)
Conflicts    : 318093   (Analyzed: 318089)
Restarts     : 1137     (Average: 279.76 Last: 3107)
Model-Level  : 264.0   
Problems     : 16       (Average Length: 28.88 Splits: 0)
Lemmas       : 318089   (Deleted: 289486)
  Binary     : 10265    (Ratio:   3.23%)
  Ternary    : 1960     (Ratio:   0.62%)
  Conflict   : 318089   (Average Length:  725.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 318089   (Average: 10.68 Max: 925 Sum: 3398289)
  Executed   : 317993   (Average: 10.68 Max: 925 Sum: 3396152 Ratio:  99.94%)
  Bounded    : 96       (Average: 22.26 Max:  57 Sum:   2137 Ratio:   0.06%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 393673   (Eliminated: 15972 Frozen: 364021)
Constraints  : 2785730  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 20.77s
Memory:		 563MB (+24MB)
UNKNOWN
Iteration Time:	 21.61s

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

Models       : 0+
Calls        : 17
Time         : 284.677s (Solving: 266.20s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 284.640s

Choices      : 3765321  (Domain: 3639822)
Conflicts    : 346312   (Analyzed: 346308)
Restarts     : 1237     (Average: 279.96 Last: 3107)
Model-Level  : 264.0   
Problems     : 17       (Average Length: 30.82 Splits: 0)
Lemmas       : 346308   (Deleted: 317139)
  Binary     : 10466    (Ratio:   3.02%)
  Ternary    : 1987     (Ratio:   0.57%)
  Conflict   : 346308   (Average Length:  738.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 346308   (Average: 10.37 Max: 925 Sum: 3590617)
  Executed   : 346208   (Average: 10.36 Max: 925 Sum: 3588232 Ratio:  99.93%)
  Bounded    : 100      (Average: 23.85 Max:  62 Sum:   2385 Ratio:   0.07%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 431164   (Eliminated: 15972 Frozen: 401512)
Constraints  : 3068159  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 22.90s
Memory:		 620MB (+57MB)
UNKNOWN
Iteration Time:	 23.78s

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

Models       : 0+
Calls        : 18
Time         : 307.753s (Solving: 287.65s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 307.724s

Choices      : 3966987  (Domain: 3840781)
Conflicts    : 374542   (Analyzed: 374538)
Restarts     : 1337     (Average: 280.13 Last: 3107)
Model-Level  : 264.0   
Problems     : 18       (Average Length: 32.83 Splits: 0)
Lemmas       : 374538   (Deleted: 344802)
  Binary     : 10652    (Ratio:   2.84%)
  Ternary    : 2014     (Ratio:   0.54%)
  Conflict   : 374538   (Average Length:  749.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 374538   (Average: 10.07 Max: 925 Sum: 3771743)
  Executed   : 374438   (Average: 10.06 Max: 925 Sum: 3769358 Ratio:  99.94%)
  Bounded    : 100      (Average: 23.85 Max:  62 Sum:   2385 Ratio:   0.06%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 468655   (Eliminated: 15972 Frozen: 439003)
Constraints  : 3348504  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 22.21s
Memory:		 636MB (+16MB)
UNKNOWN
Iteration Time:	 23.10s

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

Models       : 0+
Calls        : 19
Time         : 331.137s (Solving: 309.36s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 331.116s

Choices      : 4250816  (Domain: 4122857)
Conflicts    : 402747   (Analyzed: 402743)
Restarts     : 1437     (Average: 280.27 Last: 3107)
Model-Level  : 264.0   
Problems     : 19       (Average Length: 34.89 Splits: 0)
Lemmas       : 402743   (Deleted: 372312)
  Binary     : 10907    (Ratio:   2.71%)
  Ternary    : 2050     (Ratio:   0.51%)
  Conflict   : 402743   (Average Length:  754.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 402743   (Average: 10.01 Max: 925 Sum: 4031711)
  Executed   : 402641   (Average: 10.00 Max: 925 Sum: 4029190 Ratio:  99.94%)
  Bounded    : 102      (Average: 24.72 Max:  69 Sum:   2521 Ratio:   0.06%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 506146   (Eliminated: 15972 Frozen: 476494)
Constraints  : 3630964  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.48s
Memory:		 661MB (+25MB)
UNKNOWN
Iteration Time:	 23.40s

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

Models       : 0+
Calls        : 20
Time         : 354.502s (Solving: 331.06s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 354.492s

Choices      : 4591897  (Domain: 4461396)
Conflicts    : 430995   (Analyzed: 430991)
Restarts     : 1537     (Average: 280.41 Last: 3107)
Model-Level  : 264.0   
Problems     : 20       (Average Length: 37.00 Splits: 0)
Lemmas       : 430991   (Deleted: 399891)
  Binary     : 11122    (Ratio:   2.58%)
  Ternary    : 2075     (Ratio:   0.48%)
  Conflict   : 430991   (Average Length:  767.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 430991   (Average: 10.09 Max: 925 Sum: 4349230)
  Executed   : 430889   (Average: 10.09 Max: 925 Sum: 4346709 Ratio:  99.94%)
  Bounded    : 102      (Average: 24.72 Max:  69 Sum:   2521 Ratio:   0.06%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 543637   (Eliminated: 15972 Frozen: 513985)
Constraints  : 3913424  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.47s
Memory:		 685MB (+24MB)
UNKNOWN
Iteration Time:	 23.39s

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

Models       : 0+
Calls        : 21
Time         : 379.989s (Solving: 354.82s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 379.992s

Choices      : 5161383  (Domain: 5024149)
Conflicts    : 459175   (Analyzed: 459171)
Restarts     : 1637     (Average: 280.50 Last: 3107)
Model-Level  : 264.0   
Problems     : 21       (Average Length: 39.14 Splits: 0)
Lemmas       : 459171   (Deleted: 427343)
  Binary     : 11580    (Ratio:   2.52%)
  Ternary    : 2154     (Ratio:   0.47%)
  Conflict   : 459171   (Average Length:  779.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 459171   (Average: 10.66 Max: 925 Sum: 4894392)
  Executed   : 459068   (Average: 10.65 Max: 925 Sum: 4891795 Ratio:  99.95%)
  Bounded    : 103      (Average: 25.21 Max:  76 Sum:   2597 Ratio:   0.05%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 581128   (Eliminated: 15972 Frozen: 551476)
Constraints  : 4195884  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.54s
Memory:		 708MB (+23MB)
UNKNOWN
Iteration Time:	 25.51s

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

Models       : 0+
Calls        : 22
Time         : 404.881s (Solving: 377.92s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 404.892s

Choices      : 5513016  (Domain: 5371093)
Conflicts    : 487375   (Analyzed: 487371)
Restarts     : 1737     (Average: 280.58 Last: 3107)
Model-Level  : 264.0   
Problems     : 22       (Average Length: 41.32 Splits: 0)
Lemmas       : 487371   (Deleted: 454863)
  Binary     : 11794    (Ratio:   2.42%)
  Ternary    : 2183     (Ratio:   0.45%)
  Conflict   : 487371   (Average Length:  790.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 487371   (Average: 10.71 Max: 1076 Sum: 5219937)
  Executed   : 487266   (Average: 10.70 Max: 1076 Sum: 5217166 Ratio:  99.95%)
  Bounded    : 105      (Average: 26.39 Max:  87 Sum:   2771 Ratio:   0.05%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 588967)
Constraints  : 4478344  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.90s
Memory:		 732MB (+24MB)
UNKNOWN
Iteration Time:	 24.91s

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

Models       : 0+
Calls        : 23
Time         : 422.714s (Solving: 395.62s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 422.732s

Choices      : 5694326  (Domain: 5551254)
Conflicts    : 515559   (Analyzed: 515555)
Restarts     : 1837     (Average: 280.65 Last: 3107)
Model-Level  : 264.0   
Problems     : 23       (Average Length: 43.30 Splits: 0)
Lemmas       : 515555   (Deleted: 481890)
  Binary     : 12249    (Ratio:   2.38%)
  Ternary    : 2211     (Ratio:   0.43%)
  Conflict   : 515555   (Average Length:  783.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 515555   (Average: 10.45 Max: 1076 Sum: 5389657)
  Executed   : 515446   (Average: 10.45 Max: 1076 Sum: 5386558 Ratio:  99.94%)
  Bounded    : 109      (Average: 28.43 Max:  87 Sum:   3099 Ratio:   0.06%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 602647)
Constraints  : 4478313  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 17.80s
Memory:		 732MB (+0MB)
UNKNOWN
Iteration Time:	 17.84s

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

Models       : 0+
Calls        : 24
Time         : 441.376s (Solving: 414.15s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 441.400s

Choices      : 5907475  (Domain: 5753748)
Conflicts    : 543756   (Analyzed: 543752)
Restarts     : 1937     (Average: 280.72 Last: 3107)
Model-Level  : 264.0   
Problems     : 24       (Average Length: 45.12 Splits: 0)
Lemmas       : 543752   (Deleted: 508914)
  Binary     : 12778    (Ratio:   2.35%)
  Ternary    : 2274     (Ratio:   0.42%)
  Conflict   : 543752   (Average Length:  770.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 543752   (Average: 10.28 Max: 1076 Sum: 5589210)
  Executed   : 543643   (Average: 10.27 Max: 1076 Sum: 5586111 Ratio:  99.94%)
  Bounded    : 109      (Average: 28.43 Max:  87 Sum:   3099 Ratio:   0.06%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 602647)
Constraints  : 4478313  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

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

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

Models       : 0+
Calls        : 25
Time         : 457.717s (Solving: 430.32s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 457.748s

Choices      : 6108858  (Domain: 5949969)
Conflicts    : 571972   (Analyzed: 571968)
Restarts     : 2037     (Average: 280.79 Last: 3107)
Model-Level  : 264.0   
Problems     : 25       (Average Length: 46.80 Splits: 0)
Lemmas       : 571968   (Deleted: 536191)
  Binary     : 13126    (Ratio:   2.29%)
  Ternary    : 2315     (Ratio:   0.40%)
  Conflict   : 571968   (Average Length:  757.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 571968   (Average: 10.10 Max: 1076 Sum: 5778311)
  Executed   : 571856   (Average: 10.10 Max: 1076 Sum: 5774961 Ratio:  99.94%)
  Bounded    : 112      (Average: 29.91 Max:  87 Sum:   3350 Ratio:   0.06%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 602647)
Constraints  : 4478313  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 16.29s
Memory:		 732MB (+0MB)
UNKNOWN
Iteration Time:	 16.35s

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

Models       : 0+
Calls        : 26
Time         : 479.088s (Solving: 451.55s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 479.128s

Choices      : 6448268  (Domain: 6282572)
Conflicts    : 600209   (Analyzed: 600205)
Restarts     : 2137     (Average: 280.86 Last: 3107)
Model-Level  : 264.0   
Problems     : 26       (Average Length: 48.35 Splits: 0)
Lemmas       : 600205   (Deleted: 563388)
  Binary     : 13642    (Ratio:   2.27%)
  Ternary    : 2360     (Ratio:   0.39%)
  Conflict   : 600205   (Average Length:  757.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 600205   (Average: 10.17 Max: 1076 Sum: 6102962)
  Executed   : 600090   (Average: 10.16 Max: 1076 Sum: 6099356 Ratio:  99.94%)
  Bounded    : 115      (Average: 31.36 Max:  87 Sum:   3606 Ratio:   0.06%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 602647)
Constraints  : 4478299  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.33s
Memory:		 732MB (+0MB)
UNKNOWN
Iteration Time:	 21.38s

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

Models       : 0+
Calls        : 27
Time         : 500.602s (Solving: 472.93s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 500.648s

Choices      : 6800110  (Domain: 6629998)
Conflicts    : 628380   (Analyzed: 628376)
Restarts     : 2237     (Average: 280.90 Last: 3107)
Model-Level  : 264.0   
Problems     : 27       (Average Length: 49.78 Splits: 0)
Lemmas       : 628376   (Deleted: 590651)
  Binary     : 14096    (Ratio:   2.24%)
  Ternary    : 2405     (Ratio:   0.38%)
  Conflict   : 628376   (Average Length:  751.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 628376   (Average: 10.24 Max: 1076 Sum: 6432766)
  Executed   : 628260   (Average: 10.23 Max: 1076 Sum: 6429073 Ratio:  99.94%)
  Bounded    : 116      (Average: 31.84 Max:  87 Sum:   3693 Ratio:   0.06%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 602647)
Constraints  : 4478271  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.48s
Memory:		 732MB (+0MB)
UNKNOWN
Iteration Time:	 21.53s

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

Models       : 0+
Calls        : 28
Time         : 523.902s (Solving: 496.07s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 523.960s

Choices      : 7265303  (Domain: 7088395)
Conflicts    : 656568   (Analyzed: 656564)
Restarts     : 2337     (Average: 280.94 Last: 3107)
Model-Level  : 264.0   
Problems     : 28       (Average Length: 51.11 Splits: 0)
Lemmas       : 656564   (Deleted: 617722)
  Binary     : 14651    (Ratio:   2.23%)
  Ternary    : 2474     (Ratio:   0.38%)
  Conflict   : 656564   (Average Length:  755.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 656564   (Average: 10.47 Max: 1076 Sum: 6876351)
  Executed   : 656447   (Average: 10.47 Max: 1076 Sum: 6872571 Ratio:  99.95%)
  Bounded    : 117      (Average: 32.31 Max:  87 Sum:   3780 Ratio:   0.05%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 602647)
Constraints  : 4478257  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.24s
Memory:		 732MB (+0MB)
UNKNOWN
Iteration Time:	 23.31s

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

Models       : 0+
Calls        : 29
Time         : 548.834s (Solving: 520.86s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 548.904s

Choices      : 7827195  (Domain: 7641759)
Conflicts    : 684790   (Analyzed: 684786)
Restarts     : 2437     (Average: 281.00 Last: 3107)
Model-Level  : 264.0   
Problems     : 29       (Average Length: 52.34 Splits: 0)
Lemmas       : 684786   (Deleted: 644990)
  Binary     : 15109    (Ratio:   2.21%)
  Ternary    : 2522     (Ratio:   0.37%)
  Conflict   : 684786   (Average Length:  765.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 684786   (Average: 10.83 Max: 1076 Sum: 7414789)
  Executed   : 684669   (Average: 10.82 Max: 1076 Sum: 7411009 Ratio:  99.95%)
  Bounded    : 117      (Average: 32.31 Max:  87 Sum:   3780 Ratio:   0.05%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 602647)
Constraints  : 4478240  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.89s
Memory:		 732MB (+0MB)
UNKNOWN
Iteration Time:	 24.95s

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

Models       : 0+
Calls        : 30
Time         : 569.649s (Solving: 541.54s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 569.728s

Choices      : 8159959  (Domain: 7973127)
Conflicts    : 712975   (Analyzed: 712971)
Restarts     : 2537     (Average: 281.03 Last: 3107)
Model-Level  : 264.0   
Problems     : 30       (Average Length: 53.50 Splits: 0)
Lemmas       : 712971   (Deleted: 672366)
  Binary     : 15332    (Ratio:   2.15%)
  Ternary    : 2549     (Ratio:   0.36%)
  Conflict   : 712971   (Average Length:  758.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 712971   (Average: 10.84 Max: 1076 Sum: 7728066)
  Executed   : 712852   (Average: 10.83 Max: 1076 Sum: 7724112 Ratio:  99.95%)
  Bounded    : 119      (Average: 33.23 Max:  87 Sum:   3954 Ratio:   0.05%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 602647)
Constraints  : 4478240  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.77s
Memory:		 732MB (+0MB)
UNKNOWN
Iteration Time:	 20.83s

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

Models       : 0+
Calls        : 31
Time         : 591.606s (Solving: 563.33s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 591.692s

Choices      : 8766868  (Domain: 8572541)
Conflicts    : 741185   (Analyzed: 741181)
Restarts     : 2637     (Average: 281.07 Last: 3107)
Model-Level  : 264.0   
Problems     : 31       (Average Length: 54.58 Splits: 0)
Lemmas       : 741181   (Deleted: 699688)
  Binary     : 15620    (Ratio:   2.11%)
  Ternary    : 2597     (Ratio:   0.35%)
  Conflict   : 741181   (Average Length:  760.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 741181   (Average: 11.22 Max: 1076 Sum: 8312615)
  Executed   : 741061   (Average: 11.21 Max: 1076 Sum: 8308574 Ratio:  99.95%)
  Bounded    : 120      (Average: 33.67 Max:  87 Sum:   4041 Ratio:   0.05%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 602647)
Constraints  : 4478202  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.90s
Memory:		 732MB (+0MB)
UNKNOWN
Iteration Time:	 21.97s

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

Models       : 0+
Calls        : 32
Time         : 619.882s (Solving: 591.48s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 619.980s

Choices      : 9808491  (Domain: 9597327)
Conflicts    : 769370   (Analyzed: 769366)
Restarts     : 2737     (Average: 281.10 Last: 3107)
Model-Level  : 264.0   
Problems     : 32       (Average Length: 55.59 Splits: 0)
Lemmas       : 769366   (Deleted: 726094)
  Binary     : 17194    (Ratio:   2.23%)
  Ternary    : 2928     (Ratio:   0.38%)
  Conflict   : 769366   (Average Length:  770.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 769366   (Average: 12.11 Max: 1076 Sum: 9317477)
  Executed   : 769245   (Average: 12.11 Max: 1076 Sum: 9313349 Ratio:  99.96%)
  Bounded    : 121      (Average: 34.12 Max:  87 Sum:   4128 Ratio:   0.04%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 602647)
Constraints  : 4478183  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 28.25s
Memory:		 732MB (+0MB)
UNKNOWN
Iteration Time:	 28.29s

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

Models       : 0+
Calls        : 33
Time         : 649.764s (Solving: 621.22s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 649.872s

Choices      : 10536155 (Domain: 10321519)
Conflicts    : 797579   (Analyzed: 797575)
Restarts     : 2837     (Average: 281.13 Last: 3107)
Model-Level  : 264.0   
Problems     : 33       (Average Length: 56.55 Splits: 0)
Lemmas       : 797575   (Deleted: 752219)
  Binary     : 18057    (Ratio:   2.26%)
  Ternary    : 3113     (Ratio:   0.39%)
  Conflict   : 797575   (Average Length:  769.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 797575   (Average: 12.56 Max: 1076 Sum: 10017162)
  Executed   : 797454   (Average: 12.55 Max: 1076 Sum: 10013034 Ratio:  99.96%)
  Bounded    : 121      (Average: 34.12 Max:  87 Sum:   4128 Ratio:   0.04%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 602647)
Constraints  : 4478166  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 29.84s
Memory:		 732MB (+0MB)
UNKNOWN
Iteration Time:	 29.90s

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

Models       : 0+
Calls        : 34
Time         : 682.486s (Solving: 653.80s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 682.604s

Choices      : 11395601 (Domain: 11177713)
Conflicts    : 825797   (Analyzed: 825793)
Restarts     : 2937     (Average: 281.17 Last: 3107)
Model-Level  : 264.0   
Problems     : 34       (Average Length: 57.44 Splits: 0)
Lemmas       : 825793   (Deleted: 777918)
  Binary     : 18653    (Ratio:   2.26%)
  Ternary    : 3189     (Ratio:   0.39%)
  Conflict   : 825793   (Average Length:  768.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 825793   (Average: 13.13 Max: 1076 Sum: 10843014)
  Executed   : 825671   (Average: 13.13 Max: 1076 Sum: 10838799 Ratio:  99.96%)
  Bounded    : 122      (Average: 34.55 Max:  87 Sum:   4215 Ratio:   0.04%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 602647)
Constraints  : 4478166  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 32.68s
Memory:		 732MB (+0MB)
UNKNOWN
Iteration Time:	 32.74s

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

Models       : 0+
Calls        : 35
Time         : 717.033s (Solving: 688.18s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 717.164s

Choices      : 12325597 (Domain: 12101289)
Conflicts    : 854002   (Analyzed: 853998)
Restarts     : 3037     (Average: 281.20 Last: 3107)
Model-Level  : 264.0   
Problems     : 35       (Average Length: 58.29 Splits: 0)
Lemmas       : 853998   (Deleted: 805724)
  Binary     : 19409    (Ratio:   2.27%)
  Ternary    : 3245     (Ratio:   0.38%)
  Conflict   : 853998   (Average Length:  779.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 853998   (Average: 13.74 Max: 1076 Sum: 11734590)
  Executed   : 853876   (Average: 13.74 Max: 1076 Sum: 11730375 Ratio:  99.96%)
  Bounded    : 122      (Average: 34.55 Max:  87 Sum:   4215 Ratio:   0.04%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 618619   (Eliminated: 15972 Frozen: 602647)
Constraints  : 4478147  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 34.50s
Memory:		 796MB (+64MB)
UNKNOWN
Iteration Time:	 34.56s

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

Models       : 0+
Calls        : 36
Time         : 739.487s (Solving: 708.84s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 739.628s

Choices      : 12535165 (Domain: 12310827)
Conflicts    : 882296   (Analyzed: 882292)
Restarts     : 3137     (Average: 281.25 Last: 3107)
Model-Level  : 264.0   
Problems     : 36       (Average Length: 59.22 Splits: 0)
Lemmas       : 882292   (Deleted: 833597)
  Binary     : 19581    (Ratio:   2.22%)
  Ternary    : 3265     (Ratio:   0.37%)
  Conflict   : 882292   (Average Length:  781.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 882292   (Average: 13.51 Max: 1076 Sum: 11916873)
  Executed   : 882170   (Average: 13.50 Max: 1076 Sum: 11912658 Ratio:  99.96%)
  Bounded    : 122      (Average: 34.55 Max:  87 Sum:   4215 Ratio:   0.04%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 656110   (Eliminated: 15972 Frozen: 626458)
Constraints  : 4760607  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.46s
Memory:		 879MB (+83MB)
UNKNOWN
Iteration Time:	 22.47s

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

Models       : 0+
Calls        : 37
Time         : 765.184s (Solving: 732.74s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 765.336s

Choices      : 12868616 (Domain: 12644080)
Conflicts    : 910506   (Analyzed: 910502)
Restarts     : 3237     (Average: 281.28 Last: 3107)
Model-Level  : 264.0   
Problems     : 37       (Average Length: 60.24 Splits: 0)
Lemmas       : 910502   (Deleted: 861236)
  Binary     : 19844    (Ratio:   2.18%)
  Ternary    : 3286     (Ratio:   0.36%)
  Conflict   : 910502   (Average Length:  784.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 910502   (Average: 13.42 Max: 1076 Sum: 12221880)
  Executed   : 910380   (Average: 13.42 Max: 1076 Sum: 12217665 Ratio:  99.97%)
  Bounded    : 122      (Average: 34.55 Max:  87 Sum:   4215 Ratio:   0.03%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 693601   (Eliminated: 15972 Frozen: 663949)
Constraints  : 5043067  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.69s
Memory:		 883MB (+4MB)
UNKNOWN
Iteration Time:	 25.72s

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

Models       : 0+
Calls        : 38
Time         : 794.689s (Solving: 760.11s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 794.856s

Choices      : 13226879 (Domain: 13002053)
Conflicts    : 938708   (Analyzed: 938704)
Restarts     : 3337     (Average: 281.30 Last: 3107)
Model-Level  : 264.0   
Problems     : 38       (Average Length: 61.34 Splits: 0)
Lemmas       : 938704   (Deleted: 888528)
  Binary     : 20424    (Ratio:   2.18%)
  Ternary    : 3322     (Ratio:   0.35%)
  Conflict   : 938704   (Average Length:  780.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 938704   (Average: 13.37 Max: 1076 Sum: 12549329)
  Executed   : 938582   (Average: 13.36 Max: 1076 Sum: 12545114 Ratio:  99.97%)
  Bounded    : 122      (Average: 34.55 Max:  87 Sum:   4215 Ratio:   0.03%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 731092   (Eliminated: 15972 Frozen: 701440)
Constraints  : 5325527  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 28.18s
Memory:		 938MB (+4MB)
UNKNOWN
Iteration Time:	 29.53s

Iteration 38
Queue:		 [(21,105,0,True), (22,110,0,True)]
Grounded Until:	 100
Expected Memory: 1027.0MB
Grounding...	 [('step', [101]), ('step', [102]), ('step', [103]), ('step', [104]), ('step', [105]), ('check', [105])]
Grounding Time:	 0.53s
Memory:		 938MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 39
Time         : 817.946s (Solving: 781.55s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 818.120s

Choices      : 13490527 (Domain: 13265652)
Conflicts    : 967061   (Analyzed: 967057)
Restarts     : 3437     (Average: 281.37 Last: 3107)
Model-Level  : 264.0   
Problems     : 39       (Average Length: 62.51 Splits: 0)
Lemmas       : 967057   (Deleted: 916160)
  Binary     : 20668    (Ratio:   2.14%)
  Ternary    : 3356     (Ratio:   0.35%)
  Conflict   : 967057   (Average Length:  784.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 967057   (Average: 13.22 Max: 1076 Sum: 12780066)
  Executed   : 966935   (Average: 13.21 Max: 1076 Sum: 12775851 Ratio:  99.97%)
  Bounded    : 122      (Average: 34.55 Max:  87 Sum:   4215 Ratio:   0.03%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 768583   (Eliminated: 15972 Frozen: 738931)
Constraints  : 5607987  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.25s
Memory:		 961MB (+23MB)
UNKNOWN
Iteration Time:	 23.28s

Iteration 39
Queue:		 [(22,110,0,True)]
Grounded Until:	 105
Expected Memory: 1050.0MB
Grounding...	 [('step', [106]), ('step', [107]), ('step', [108]), ('step', [109]), ('step', [110]), ('check', [110])]
Grounding Time:	 0.52s
Memory:		 961MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 40
Time         : 845.008s (Solving: 806.79s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 845.192s

Choices      : 13872942 (Domain: 13647839)
Conflicts    : 995276   (Analyzed: 995272)
Restarts     : 3537     (Average: 281.39 Last: 3107)
Model-Level  : 264.0   
Problems     : 40       (Average Length: 63.75 Splits: 0)
Lemmas       : 995272   (Deleted: 943717)
  Binary     : 20972    (Ratio:   2.11%)
  Ternary    : 3384     (Ratio:   0.34%)
  Conflict   : 995272   (Average Length:  791.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 995272   (Average: 13.19 Max: 1076 Sum: 13122934)
  Executed   : 995150   (Average: 13.18 Max: 1076 Sum: 13118719 Ratio:  99.97%)
  Bounded    : 122      (Average: 34.55 Max:  87 Sum:   4215 Ratio:   0.03%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 806074   (Eliminated: 15972 Frozen: 776422)
Constraints  : 5890447  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.06s
Memory:		 979MB (+18MB)
UNKNOWN
Iteration Time:	 27.08s

Iteration 40
Queue:		 [(5,25,3,True), (6,30,3,True), (7,35,2,True), (8,40,2,True), (9,45,2,True), (10,50,2,True), (11,55,2,True), (12,60,2,True), (13,65,2,True), (14,70,2,True), (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,1,True), (23,115,0,True), (24,120,0,True)]
Grounded Until:	 110
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 41
Time         : 869.356s (Solving: 830.97s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 869.552s

Choices      : 14047694 (Domain: 13822591)
Conflicts    : 1023462  (Analyzed: 1023458)
Restarts     : 3637     (Average: 281.40 Last: 3107)
Model-Level  : 264.0   
Problems     : 41       (Average Length: 64.93 Splits: 0)
Lemmas       : 1023458  (Deleted: 971119)
  Binary     : 21149    (Ratio:   2.07%)
  Ternary    : 3418     (Ratio:   0.33%)
  Conflict   : 1023458  (Average Length:  794.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1023458  (Average: 12.98 Max: 1076 Sum: 13285804)
  Executed   : 1023336  (Average: 12.98 Max: 1076 Sum: 13281589 Ratio:  99.97%)
  Bounded    : 122      (Average: 34.55 Max:  87 Sum:   4215 Ratio:   0.03%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 806074   (Eliminated: 15972 Frozen: 790102)
Constraints  : 5890447  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.30s
Memory:		 988MB (+9MB)
UNKNOWN
Iteration Time:	 24.36s

Iteration 41
Queue:		 [(6,30,3,True), (7,35,2,True), (8,40,2,True), (9,45,2,True), (10,50,2,True), (11,55,2,True), (12,60,2,True), (13,65,2,True), (14,70,2,True), (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,1,True), (23,115,0,True), (24,120,0,True)]
Grounded Until:	 110
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 42
Time         : 893.990s (Solving: 855.44s 1st Model: 0.04s Unsat: 25.33s)
CPU Time     : 894.168s

Choices      : 14250990 (Domain: 14025887)
Conflicts    : 1051702  (Analyzed: 1051698)
Restarts     : 3737     (Average: 281.43 Last: 3107)
Model-Level  : 264.0   
Problems     : 42       (Average Length: 66.05 Splits: 0)
Lemmas       : 1051698  (Deleted: 998582)
  Binary     : 21400    (Ratio:   2.03%)
  Ternary    : 3454     (Ratio:   0.33%)
  Conflict   : 1051698  (Average Length:  809.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1051698  (Average: 12.81 Max: 1076 Sum: 13470770)
  Executed   : 1051576  (Average: 12.80 Max: 1076 Sum: 13466555 Ratio:  99.97%)
  Bounded    : 122      (Average: 34.55 Max:  87 Sum:   4215 Ratio:   0.03%)

Rules        : 150336   (Original: 135871)
Atoms        : 72418   
Bodies       : 65513    (Original: 51047)
  Count      : 841      (Original: 2348)
Equivalences : 15742    (Atom=Atom: 82 Body=Body: 0 Other: 15660)
Tight        : Yes
Variables    : 806074   (Eliminated: 15972 Frozen: 790102)
Constraints  : 5890447  (Binary:  91.1% Ternary:   7.0% Other:   1.9%)

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


