INFO     Running translator.
INFO     translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-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/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-10.pddl
Parsing...
Parsing: [0.060s CPU, 0.070s wall-clock]
Normalizing task... [0.010s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.018s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.030s CPU, 0.027s wall-clock]
Preparing model... [0.050s CPU, 0.055s wall-clock]
Generated 46 rules.
Computing model... [1.940s CPU, 1.937s wall-clock]
17118 relevant atoms
7704 auxiliary atoms
24822 final queue length
53883 total queue pushes
Completing instantiation... [5.720s CPU, 5.710s wall-clock]
Instantiating: [7.770s CPU, 7.773s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.090s CPU, 0.091s wall-clock]
Checking invariant weight... [0.010s CPU, 0.004s wall-clock]
Instantiating groups... [0.080s CPU, 0.083s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.008s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.030s CPU, 0.022s wall-clock]
Building translation key... [0.020s CPU, 0.016s wall-clock]
Computing fact groups: [0.290s CPU, 0.284s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.007s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.006s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.010s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.250s CPU, 0.252s wall-clock]
Translating task: [4.740s CPU, 4.739s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
49 propositions removed
Detecting unreachable propositions: [2.710s CPU, 2.709s wall-clock]
Reordering and filtering variables...
49 of 49 variables necessary.
0 of 49 mutex groups necessary.
15276 of 15276 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.720s CPU, 0.722s wall-clock]
Translator variables: 49
Translator derived variables: 0
Translator facts: 1240
Translator goal facts: 39
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 15276
Translator axioms: 0
Translator task size: 92084
Translator peak memory: 95948 KB
Writing output... [1.610s CPU, 1.732s wall-clock]
Done! [18.140s CPU, 18.261s wall-clock]
planner.py version 0.0.1

Time:	 3.85s
Memory: 304MB

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

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

[endof: stats after solve call]
Solving Time:	 0.02s
Memory:		 376MB (+72MB)
UNSAT
Iteration Time:	 0.03s

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

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

Choices      : 0       
Conflicts    : 0        (Analyzed: 0)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 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        : 278114  
Atoms        : 278114  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 72526    (Eliminated:    0 Frozen: 4941)
Constraints  : 131305   (Binary:  97.0% Ternary:   1.4% Other:   1.6%)

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

[endof: stats after solve call]
Solving Time:	 0.25s
Memory:		 382MB (+6MB)
UNSAT
Iteration Time:	 2.29s

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

Models       : 0+
Calls        : 3
Time         : 12.425s (Solving: 3.41s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 11.816s

Choices      : 54177    (Domain: 54177)
Conflicts    : 10306    (Analyzed: 10306)
Restarts     : 100      (Average: 103.06 Last: 82)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 10306    (Deleted: 6184)
  Binary     : 146      (Ratio:   1.42%)
  Ternary    : 117      (Ratio:   1.14%)
  Conflict   : 10306    (Average Length:  675.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 10306    (Average:  4.80 Max: 359 Sum:  49512)
  Executed   : 10298    (Average:  4.80 Max: 359 Sum:  49504 Ratio:  99.98%)
  Bounded    : 8        (Average:  1.00 Max:   1 Sum:      8 Ratio:   0.02%)

Rules        : 278114  
Atoms        : 278114  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 159083   (Eliminated:    0 Frozen: 10939)
Constraints  : 797384   (Binary:  97.9% Ternary:   1.0% Other:   1.1%)

Memory Peak  : 450MB
Max. Length  : 5 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 3.48s
Memory:		 450MB (+43MB)
UNKNOWN
Iteration Time:	 5.67s

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

Models       : 0+
Calls        : 4
Time         : 20.215s (Solving: 9.12s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 19.608s

Choices      : 225909   (Domain: 225909)
Conflicts    : 20701    (Analyzed: 20701)
Restarts     : 200      (Average: 103.50 Last: 87)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 20701    (Deleted: 15694)
  Binary     : 346      (Ratio:   1.67%)
  Ternary    : 274      (Ratio:   1.32%)
  Conflict   : 20701    (Average Length:  688.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 20701    (Average:  9.51 Max: 765 Sum: 196954)
  Executed   : 20687    (Average:  9.51 Max: 765 Sum: 196940 Ratio:  99.99%)
  Bounded    : 14       (Average:  1.00 Max:   1 Sum:     14 Ratio:   0.01%)

Rules        : 278114  
Atoms        : 278114  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 248119   (Eliminated:    0 Frozen: 17064)
Constraints  : 1491839  (Binary:  98.0% Ternary:   0.9% Other:   1.0%)

Memory Peak  : 543MB
Max. Length  : 10 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 5.81s
Memory:		 543MB (+70MB)
UNKNOWN
Iteration Time:	 7.81s

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

Models       : 0+
Calls        : 5
Time         : 32.037s (Solving: 18.76s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 31.420s

Choices      : 701725   (Domain: 701725)
Conflicts    : 31912    (Analyzed: 31912)
Restarts     : 300      (Average: 106.37 Last: 87)
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 31912    (Deleted: 25763)
  Binary     : 572      (Ratio:   1.79%)
  Ternary    : 417      (Ratio:   1.31%)
  Conflict   : 31912    (Average Length:  663.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 31912    (Average: 18.52 Max: 1848 Sum: 591109)
  Executed   : 31859    (Average: 18.52 Max: 1848 Sum: 590993 Ratio:  99.98%)
  Bounded    : 53       (Average:  2.19 Max:  22 Sum:    116 Ratio:   0.02%)

Rules        : 278114  
Atoms        : 278114  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 337155   (Eliminated:    0 Frozen: 23189)
Constraints  : 2186294  (Binary:  98.1% Ternary:   0.9% Other:   1.0%)

Memory Peak  : 618MB
Max. Length  : 15 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 9.73s
Memory:		 588MB (+26MB)
UNKNOWN
Iteration Time:	 11.83s

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

Models       : 0+
Calls        : 6
Time         : 46.402s (Solving: 30.59s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 45.792s

Choices      : 1347167  (Domain: 1347167)
Conflicts    : 42355    (Analyzed: 42355)
Restarts     : 400      (Average: 105.89 Last: 87)
Problems     : 6        (Average Length: 14.50 Splits: 0)
Lemmas       : 42355    (Deleted: 34613)
  Binary     : 715      (Ratio:   1.69%)
  Ternary    : 535      (Ratio:   1.26%)
  Conflict   : 42355    (Average Length:  756.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 42355    (Average: 26.14 Max: 2285 Sum: 1107066)
  Executed   : 42295    (Average: 26.13 Max: 2285 Sum: 1106943 Ratio:  99.99%)
  Bounded    : 60       (Average:  2.05 Max:  22 Sum:    123 Ratio:   0.01%)

Rules        : 278114  
Atoms        : 278114  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 426191   (Eliminated:    0 Frozen: 29314)
Constraints  : 2880722  (Binary:  98.1% Ternary:   0.9% Other:   1.0%)

Memory Peak  : 727MB
Max. Length  : 20 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 11.95s
Memory:		 727MB (+75MB)
UNKNOWN
Iteration Time:	 14.39s

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

Models       : 1+
Calls        : 7
Time         : 59.383s (Solving: 41.36s 1st Model: 10.72s Unsat: 0.00s)
CPU Time     : 58.780s

Choices      : 1852466  (Domain: 1852430)
Conflicts    : 50276    (Analyzed: 50276)
Restarts     : 474      (Average: 106.07 Last: 87)
Model-Level  : 2884.0  
Problems     : 7        (Average Length: 17.00 Splits: 0)
Lemmas       : 50276    (Deleted: 43160)
  Binary     : 763      (Ratio:   1.52%)
  Ternary    : 584      (Ratio:   1.16%)
  Conflict   : 50276    (Average Length:  871.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 50276    (Average: 29.65 Max: 2285 Sum: 1490684)
  Executed   : 50215    (Average: 29.65 Max: 2285 Sum: 1490529 Ratio:  99.99%)
  Bounded    : 61       (Average:  2.54 Max:  32 Sum:    155 Ratio:   0.01%)

Rules        : 278114  
Atoms        : 278114  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 515227   (Eliminated:    0 Frozen: 35439)
Constraints  : 3575177  (Binary:  98.1% Ternary:   0.9% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 10.90s
Memory:		 765MB (+29MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 6.83s
Memory:		 927MB (+162MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 8
Time         : 97.717s (Solving: 75.37s 1st Model: 10.72s Unsat: 0.00s)
CPU Time     : 97.132s

Choices      : 2837362  (Domain: 2837326)
Conflicts    : 59154    (Analyzed: 59154)
Restarts     : 574      (Average: 103.06 Last: 87)
Model-Level  : 2884.0  
Problems     : 8        (Average Length: 18.88 Splits: 0)
Lemmas       : 59154    (Deleted: 52489)
  Binary     : 824      (Ratio:   1.39%)
  Ternary    : 651      (Ratio:   1.10%)
  Conflict   : 59154    (Average Length:  889.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 59154    (Average: 40.49 Max: 5053 Sum: 2395395)
  Executed   : 59037    (Average: 40.46 Max: 5053 Sum: 2393448 Ratio:  99.92%)
  Bounded    : 117      (Average: 16.64 Max:  32 Sum:   1947 Ratio:   0.08%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 518114   (Eliminated:    0 Frozen: 430136)
Constraints  : 4742167  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 34.83s
Memory:		 878MB (+-49MB)
UNKNOWN
Iteration Time:	 54.66s

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

Models       : 0
Calls        : 9
Time         : 99.942s (Solving: 77.48s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 99.356s

Choices      : 2862938  (Domain: 2862902)
Conflicts    : 61635    (Analyzed: 61634)
Restarts     : 598      (Average: 103.07 Last: 87)
Model-Level  : 2884.0  
Problems     : 9        (Average Length: 20.33 Splits: 0)
Lemmas       : 61634    (Deleted: 54130)
  Binary     : 886      (Ratio:   1.44%)
  Ternary    : 684      (Ratio:   1.11%)
  Conflict   : 61634    (Average Length:  870.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 61634    (Average: 39.29 Max: 5053 Sum: 2421772)
  Executed   : 61481    (Average: 39.24 Max: 5053 Sum: 2418735 Ratio:  99.87%)
  Bounded    : 153      (Average: 19.85 Max:  32 Sum:   3037 Ratio:   0.13%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 518114   (Eliminated:    0 Frozen: 430136)
Constraints  : 4737567  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 2.19s
Memory:		 878MB (+0MB)
UNSAT
Iteration Time:	 2.23s

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

Models       : 0+
Calls        : 10
Time         : 114.086s (Solving: 91.49s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 113.504s

Choices      : 3179016  (Domain: 3178980)
Conflicts    : 71556    (Analyzed: 71555)
Restarts     : 698      (Average: 102.51 Last: 87)
Model-Level  : 2884.0  
Problems     : 10       (Average Length: 21.50 Splits: 0)
Lemmas       : 71555    (Deleted: 62973)
  Binary     : 983      (Ratio:   1.37%)
  Ternary    : 772      (Ratio:   1.08%)
  Conflict   : 71555    (Average Length:  934.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 71555    (Average: 38.10 Max: 5053 Sum: 2725935)
  Executed   : 71369    (Average: 38.04 Max: 5053 Sum: 2721904 Ratio:  99.85%)
  Bounded    : 186      (Average: 21.67 Max:  32 Sum:   4031 Ratio:   0.15%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 518114   (Eliminated:    0 Frozen: 430136)
Constraints  : 4718290  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 14.10s
Memory:		 878MB (+0MB)
UNKNOWN
Iteration Time:	 14.15s

Iteration 10
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)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 11
Time         : 143.552s (Solving: 120.81s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 142.984s

Choices      : 4066567  (Domain: 4066531)
Conflicts    : 82524    (Analyzed: 82523)
Restarts     : 798      (Average: 103.41 Last: 97)
Model-Level  : 2884.0  
Problems     : 11       (Average Length: 22.45 Splits: 0)
Lemmas       : 82523    (Deleted: 69852)
  Binary     : 1093     (Ratio:   1.32%)
  Ternary    : 906      (Ratio:   1.10%)
  Conflict   : 82523    (Average Length:  903.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 82523    (Average: 43.36 Max: 5053 Sum: 3578240)
  Executed   : 82300    (Average: 43.30 Max: 5053 Sum: 3573025 Ratio:  99.85%)
  Bounded    : 223      (Average: 23.39 Max:  32 Sum:   5215 Ratio:   0.15%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 518114   (Eliminated:    0 Frozen: 430136)
Constraints  : 4701469  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 29.42s
Memory:		 878MB (+0MB)
UNKNOWN
Iteration Time:	 29.48s

Iteration 11
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)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 12
Time         : 180.129s (Solving: 157.22s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 179.576s

Choices      : 5073407  (Domain: 5073371)
Conflicts    : 93144    (Analyzed: 93143)
Restarts     : 898      (Average: 103.72 Last: 97)
Model-Level  : 2884.0  
Problems     : 12       (Average Length: 23.25 Splits: 0)
Lemmas       : 93143    (Deleted: 80683)
  Binary     : 1216     (Ratio:   1.31%)
  Ternary    : 1001     (Ratio:   1.07%)
  Conflict   : 93143    (Average Length:  957.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 93143    (Average: 48.62 Max: 5053 Sum: 4528228)
  Executed   : 92892    (Average: 48.55 Max: 5053 Sum: 4522117 Ratio:  99.87%)
  Bounded    : 251      (Average: 24.35 Max:  32 Sum:   6111 Ratio:   0.13%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 518114   (Eliminated:    0 Frozen: 430136)
Constraints  : 4679783  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 36.51s
Memory:		 878MB (+0MB)
UNKNOWN
Iteration Time:	 36.60s

Iteration 12
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)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 13
Time         : 225.200s (Solving: 202.17s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 224.664s

Choices      : 6132932  (Domain: 6132896)
Conflicts    : 103404   (Analyzed: 103403)
Restarts     : 998      (Average: 103.61 Last: 207)
Model-Level  : 2884.0  
Problems     : 13       (Average Length: 23.92 Splits: 0)
Lemmas       : 103403   (Deleted: 89254)
  Binary     : 1310     (Ratio:   1.27%)
  Ternary    : 1075     (Ratio:   1.04%)
  Conflict   : 103403   (Average Length:  942.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 103403   (Average: 53.67 Max: 5053 Sum: 5550088)
  Executed   : 103122   (Average: 53.61 Max: 5053 Sum: 5543017 Ratio:  99.87%)
  Bounded    : 281      (Average: 25.16 Max:  32 Sum:   7071 Ratio:   0.13%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 518114   (Eliminated:    0 Frozen: 430136)
Constraints  : 4674958  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 45.05s
Memory:		 942MB (+64MB)
UNKNOWN
Iteration Time:	 45.09s

Iteration 13
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)]
Grounded Until:	 30
Expected Memory: 1081.0MB
Grounding...	 [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])]
Grounding Time:	 2.37s
Memory:		 980MB (+38MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 14
Time         : 269.524s (Solving: 242.96s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 269.008s

Choices      : 7113416  (Domain: 7113380)
Conflicts    : 113987   (Analyzed: 113986)
Restarts     : 1098     (Average: 103.81 Last: 207)
Model-Level  : 2884.0  
Problems     : 14       (Average Length: 24.86 Splits: 0)
Lemmas       : 113986   (Deleted: 99461)
  Binary     : 1364     (Ratio:   1.20%)
  Ternary    : 1110     (Ratio:   0.97%)
  Conflict   : 113986   (Average Length:  997.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 113986   (Average: 56.71 Max: 5053 Sum: 6464359)
  Executed   : 113692   (Average: 56.65 Max: 5053 Sum: 6456807 Ratio:  99.88%)
  Bounded    : 294      (Average: 25.69 Max:  37 Sum:   7552 Ratio:   0.12%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 607640   (Eliminated:    0 Frozen: 512886)
Constraints  : 5589433  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 40.97s
Memory:		 1137MB (+157MB)
UNKNOWN
Iteration Time:	 44.35s

Iteration 14
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)]
Grounded Until:	 35
Expected Memory: 1332.0MB
Grounding...	 [('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('check', [40])]
Grounding Time:	 2.39s
Memory:		 1137MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 15
Time         : 297.632s (Solving: 267.51s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 297.128s

Choices      : 7838521  (Domain: 7838485)
Conflicts    : 123355   (Analyzed: 123354)
Restarts     : 1198     (Average: 102.97 Last: 207)
Model-Level  : 2884.0  
Problems     : 15       (Average Length: 26.00 Splits: 0)
Lemmas       : 123354   (Deleted: 111289)
  Binary     : 1411     (Ratio:   1.14%)
  Ternary    : 1139     (Ratio:   0.92%)
  Conflict   : 123354   (Average Length: 1121.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 123354   (Average: 57.34 Max: 5053 Sum: 7073241)
  Executed   : 123043   (Average: 57.27 Max: 5053 Sum: 7064975 Ratio:  99.88%)
  Bounded    : 311      (Average: 26.58 Max:  42 Sum:   8266 Ratio:   0.12%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 697166   (Eliminated:    0 Frozen: 595636)
Constraints  : 6493230  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 24.72s
Memory:		 1148MB (+11MB)
UNKNOWN
Iteration Time:	 28.13s

Iteration 15
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)]
Grounded Until:	 40
Expected Memory: 1343.0MB
Grounding...	 [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time:	 2.38s
Memory:		 1173MB (+25MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 16
Time         : 357.137s (Solving: 323.40s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 356.660s

Choices      : 9114871  (Domain: 9114835)
Conflicts    : 132775   (Analyzed: 132774)
Restarts     : 1298     (Average: 102.29 Last: 207)
Model-Level  : 2884.0  
Problems     : 16       (Average Length: 27.31 Splits: 0)
Lemmas       : 132774   (Deleted: 118773)
  Binary     : 1453     (Ratio:   1.09%)
  Ternary    : 1171     (Ratio:   0.88%)
  Conflict   : 132774   (Average Length: 1148.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 132774   (Average: 62.45 Max: 5053 Sum: 8291774)
  Executed   : 132451   (Average: 62.38 Max: 5053 Sum: 8282944 Ratio:  99.89%)
  Bounded    : 323      (Average: 27.34 Max:  47 Sum:   8830 Ratio:   0.11%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 786692   (Eliminated:    0 Frozen: 678386)
Constraints  : 7407428  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 56.09s
Memory:		 1220MB (+47MB)
UNKNOWN
Iteration Time:	 59.54s

Iteration 16
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)]
Grounded Until:	 45
Expected Memory: 1415.0MB
Grounding...	 [('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('check', [50])]
Grounding Time:	 3.02s
Memory:		 1304MB (+84MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 17
Time         : 414.237s (Solving: 376.19s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 413.784s

Choices      : 10239948 (Domain: 10239912)
Conflicts    : 142564   (Analyzed: 142563)
Restarts     : 1398     (Average: 101.98 Last: 207)
Model-Level  : 2884.0  
Problems     : 17       (Average Length: 28.76 Splits: 0)
Lemmas       : 142563   (Deleted: 127113)
  Binary     : 1509     (Ratio:   1.06%)
  Ternary    : 1206     (Ratio:   0.85%)
  Conflict   : 142563   (Average Length: 1101.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 142563   (Average: 65.75 Max: 5053 Sum: 9374146)
  Executed   : 142219   (Average: 65.68 Max: 5053 Sum: 9364224 Ratio:  99.89%)
  Bounded    : 344      (Average: 28.84 Max:  52 Sum:   9922 Ratio:   0.11%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 876218   (Eliminated:    0 Frozen: 761136)
Constraints  : 8328223  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 52.99s
Memory:		 1410MB (+106MB)
UNKNOWN
Iteration Time:	 57.13s

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

Models       : 0+
Calls        : 18
Time         : 457.579s (Solving: 415.40s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 457.148s

Choices      : 11621657 (Domain: 11621621)
Conflicts    : 152140   (Analyzed: 152139)
Restarts     : 1498     (Average: 101.56 Last: 207)
Model-Level  : 2884.0  
Problems     : 18       (Average Length: 30.33 Splits: 0)
Lemmas       : 152139   (Deleted: 136522)
  Binary     : 1563     (Ratio:   1.03%)
  Ternary    : 1240     (Ratio:   0.82%)
  Conflict   : 152139   (Average Length: 1124.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 152139   (Average: 69.69 Max: 5053 Sum: 10602692)
  Executed   : 151783   (Average: 69.62 Max: 5053 Sum: 10592086 Ratio:  99.90%)
  Bounded    : 356      (Average: 29.79 Max:  57 Sum:  10606 Ratio:   0.10%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 965744   (Eliminated:    0 Frozen: 843886)
Constraints  : 9245305  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 39.44s
Memory:		 1476MB (+56MB)
UNKNOWN
Iteration Time:	 43.37s

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

Models       : 0+
Calls        : 19
Time         : 522.828s (Solving: 476.73s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 522.424s

Choices      : 12905365 (Domain: 12905329)
Conflicts    : 162106   (Analyzed: 162105)
Restarts     : 1598     (Average: 101.44 Last: 207)
Model-Level  : 2884.0  
Problems     : 19       (Average Length: 32.00 Splits: 0)
Lemmas       : 162105   (Deleted: 147205)
  Binary     : 1582     (Ratio:   0.98%)
  Ternary    : 1265     (Ratio:   0.78%)
  Conflict   : 162105   (Average Length: 1197.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 162105   (Average: 72.76 Max: 5053 Sum: 11794028)
  Executed   : 161747   (Average: 72.69 Max: 5053 Sum: 11783298 Ratio:  99.91%)
  Bounded    : 358      (Average: 29.97 Max:  62 Sum:  10730 Ratio:   0.09%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 1055270  (Eliminated:    0 Frozen: 926636)
Constraints  : 10162131 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 61.57s
Memory:		 1559MB (+62MB)
UNKNOWN
Iteration Time:	 65.28s

Iteration 19
Queue:		 [(13,65,0,True), (14,70,0,True), (15,75,0,True)]
Grounded Until:	 60
Expected Memory: 1754.0MB
Grounding...	 [('step', [61]), ('step', [62]), ('step', [63]), ('step', [64]), ('step', [65]), ('check', [65])]
Grounding Time:	 2.36s
Memory:		 1585MB (+26MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 20
Time         : 575.906s (Solving: 526.00s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 575.524s

Choices      : 13961858 (Domain: 13961822)
Conflicts    : 171824   (Analyzed: 171823)
Restarts     : 1698     (Average: 101.19 Last: 207)
Model-Level  : 2884.0  
Problems     : 20       (Average Length: 33.75 Splits: 0)
Lemmas       : 171823   (Deleted: 157364)
  Binary     : 1588     (Ratio:   0.92%)
  Ternary    : 1267     (Ratio:   0.74%)
  Conflict   : 171823   (Average Length: 1415.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 171823   (Average: 73.60 Max: 5053 Sum: 12645900)
  Executed   : 171465   (Average: 73.54 Max: 5053 Sum: 12635170 Ratio:  99.92%)
  Bounded    : 358      (Average: 29.97 Max:  62 Sum:  10730 Ratio:   0.08%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 1144796  (Eliminated:    0 Frozen: 1009386)
Constraints  : 11083361 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 49.52s
Memory:		 1643MB (+58MB)
UNKNOWN
Iteration Time:	 53.11s

Iteration 20
Queue:		 [(14,70,0,True), (15,75,0,True)]
Grounded Until:	 65
Expected Memory: 1838.0MB
Grounding...	 [('step', [66]), ('step', [67]), ('step', [68]), ('step', [69]), ('step', [70]), ('check', [70])]
Grounding Time:	 2.34s
Memory:		 1683MB (+40MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 21
Time         : 636.224s (Solving: 582.47s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 635.868s

Choices      : 15223552 (Domain: 15223516)
Conflicts    : 181145   (Analyzed: 181144)
Restarts     : 1798     (Average: 100.75 Last: 207)
Model-Level  : 2884.0  
Problems     : 21       (Average Length: 35.57 Splits: 0)
Lemmas       : 181144   (Deleted: 165141)
  Binary     : 1618     (Ratio:   0.89%)
  Ternary    : 1295     (Ratio:   0.71%)
  Conflict   : 181144   (Average Length: 1421.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 181144   (Average: 76.34 Max: 5053 Sum: 13828575)
  Executed   : 180776   (Average: 76.28 Max: 5053 Sum: 13817125 Ratio:  99.92%)
  Bounded    : 368      (Average: 31.11 Max:  72 Sum:  11450 Ratio:   0.08%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 1234322  (Eliminated:    0 Frozen: 1092136)
Constraints  : 12004691 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 56.74s
Memory:		 1773MB (+90MB)
UNKNOWN
Iteration Time:	 60.35s

Iteration 21
Queue:		 [(15,75,0,True)]
Grounded Until:	 70
Expected Memory: 1968.0MB
Grounding...	 [('step', [71]), ('step', [72]), ('step', [73]), ('step', [74]), ('step', [75]), ('check', [75])]
Grounding Time:	 2.37s
Memory:		 1774MB (+1MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 22
Time         : 713.218s (Solving: 655.51s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 712.892s

Choices      : 16568704 (Domain: 16568668)
Conflicts    : 190506   (Analyzed: 190505)
Restarts     : 1898     (Average: 100.37 Last: 207)
Model-Level  : 2884.0  
Problems     : 22       (Average Length: 37.45 Splits: 0)
Lemmas       : 190505   (Deleted: 174099)
  Binary     : 1643     (Ratio:   0.86%)
  Ternary    : 1315     (Ratio:   0.69%)
  Conflict   : 190505   (Average Length: 1406.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 190505   (Average: 79.27 Max: 5053 Sum: 15101129)
  Executed   : 190133   (Average: 79.21 Max: 5053 Sum: 15089371 Ratio:  99.92%)
  Bounded    : 372      (Average: 31.61 Max:  77 Sum:  11758 Ratio:   0.08%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 1323848  (Eliminated:    0 Frozen: 1174886)
Constraints  : 12924934 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 73.33s
Memory:		 1893MB (+119MB)
UNKNOWN
Iteration Time:	 77.03s

Iteration 22
Queue:		 [(3,15,2,True), (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,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 23
Time         : 727.241s (Solving: 669.22s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 726.920s

Choices      : 16598723 (Domain: 16598687)
Conflicts    : 199035   (Analyzed: 199034)
Restarts     : 1998     (Average: 99.62 Last: 207)
Model-Level  : 2884.0  
Problems     : 23       (Average Length: 39.17 Splits: 0)
Lemmas       : 199034   (Deleted: 181227)
  Binary     : 1719     (Ratio:   0.86%)
  Ternary    : 1352     (Ratio:   0.68%)
  Conflict   : 199034   (Average Length: 1382.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 199034   (Average: 76.02 Max: 5053 Sum: 15129757)
  Executed   : 198650   (Average: 75.95 Max: 5053 Sum: 15117303 Ratio:  99.92%)
  Bounded    : 384      (Average: 32.43 Max:  77 Sum:  12454 Ratio:   0.08%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 1323848  (Eliminated:    0 Frozen: 1174886)
Constraints  : 12922468 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 13.92s
Memory:		 1893MB (+0MB)
UNKNOWN
Iteration Time:	 14.03s

Iteration 23
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,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 24
Time         : 754.265s (Solving: 695.93s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 753.956s

Choices      : 17268935 (Domain: 17268899)
Conflicts    : 210291   (Analyzed: 210290)
Restarts     : 2098     (Average: 100.23 Last: 207)
Model-Level  : 2884.0  
Problems     : 24       (Average Length: 40.75 Splits: 0)
Lemmas       : 210290   (Deleted: 192479)
  Binary     : 1752     (Ratio:   0.83%)
  Ternary    : 1419     (Ratio:   0.67%)
  Conflict   : 210290   (Average Length: 1362.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 210290   (Average: 74.94 Max: 5053 Sum: 15759304)
  Executed   : 209904   (Average: 74.88 Max: 5053 Sum: 15746696 Ratio:  99.92%)
  Bounded    : 386      (Average: 32.66 Max:  77 Sum:  12608 Ratio:   0.08%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 1323848  (Eliminated:    0 Frozen: 1174886)
Constraints  : 12921912 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 26.93s
Memory:		 1893MB (+0MB)
UNKNOWN
Iteration Time:	 27.04s

Iteration 24
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,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 25
Time         : 788.257s (Solving: 729.61s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 787.964s

Choices      : 18219717 (Domain: 18219681)
Conflicts    : 220851   (Analyzed: 220850)
Restarts     : 2198     (Average: 100.48 Last: 207)
Model-Level  : 2884.0  
Problems     : 25       (Average Length: 42.20 Splits: 0)
Lemmas       : 220850   (Deleted: 200795)
  Binary     : 1812     (Ratio:   0.82%)
  Ternary    : 1462     (Ratio:   0.66%)
  Conflict   : 220850   (Average Length: 1361.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 220850   (Average: 75.40 Max: 5053 Sum: 16652382)
  Executed   : 220460   (Average: 75.34 Max: 5053 Sum: 16639466 Ratio:  99.92%)
  Bounded    : 390      (Average: 33.12 Max:  77 Sum:  12916 Ratio:   0.08%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 1323848  (Eliminated:    0 Frozen: 1174886)
Constraints  : 12921812 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 33.90s
Memory:		 1893MB (+0MB)
UNKNOWN
Iteration Time:	 34.01s

Iteration 25
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,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 26
Time         : 835.356s (Solving: 776.38s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 835.080s

Choices      : 19684353 (Domain: 19684317)
Conflicts    : 231170   (Analyzed: 231169)
Restarts     : 2298     (Average: 100.60 Last: 207)
Model-Level  : 2884.0  
Problems     : 26       (Average Length: 43.54 Splits: 0)
Lemmas       : 231169   (Deleted: 211347)
  Binary     : 1843     (Ratio:   0.80%)
  Ternary    : 1498     (Ratio:   0.65%)
  Conflict   : 231169   (Average Length: 1379.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 231169   (Average: 78.13 Max: 5053 Sum: 18060398)
  Executed   : 230776   (Average: 78.07 Max: 5053 Sum: 18047251 Ratio:  99.93%)
  Bounded    : 393      (Average: 33.45 Max:  77 Sum:  13147 Ratio:   0.07%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 1323848  (Eliminated:    0 Frozen: 1174886)
Constraints  : 12919585 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 47.01s
Memory:		 1893MB (+0MB)
UNKNOWN
Iteration Time:	 47.12s

Iteration 26
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,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 27
Time         : 876.433s (Solving: 817.12s 1st Model: 10.72s Unsat: 2.10s)
CPU Time     : 876.156s

Choices      : 20868476 (Domain: 20868440)
Conflicts    : 238137   (Analyzed: 238136)
Restarts     : 2366     (Average: 100.65 Last: 207)
Model-Level  : 2884.0  
Problems     : 27       (Average Length: 44.78 Splits: 0)
Lemmas       : 238136   (Deleted: 219168)
  Binary     : 1883     (Ratio:   0.79%)
  Ternary    : 1527     (Ratio:   0.64%)
  Conflict   : 238136   (Average Length: 1379.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 238136   (Average: 80.60 Max: 5053 Sum: 19192796)
  Executed   : 237742   (Average: 80.54 Max: 5053 Sum: 19179572 Ratio:  99.93%)
  Bounded    : 394      (Average: 33.56 Max:  77 Sum:  13224 Ratio:   0.07%)

Rules        : 1473959  (Original: 1473901)
Atoms        : 311460  
Bodies       : 780882   (Original: 780823)
  Count      : 1390     (Original: 1397)
Equivalences : 394862   (Atom=Atom: 52 Body=Body: 0 Other: 394810)
Tight        : Yes
Variables    : 1323848  (Eliminated:    0 Frozen: 1174886)
Constraints  : 12917177 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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


