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-6.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-6.pddl
Parsing...
Parsing: [0.050s CPU, 0.056s wall-clock]
Normalizing task... [0.000s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.015s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.024s wall-clock]
Preparing model... [0.040s CPU, 0.046s wall-clock]
Generated 46 rules.
Computing model... [1.530s CPU, 1.525s wall-clock]
13365 relevant atoms
6588 auxiliary atoms
19953 final queue length
42363 total queue pushes
Completing instantiation... [4.370s CPU, 4.374s wall-clock]
Instantiating: [6.010s CPU, 6.001s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.070s CPU, 0.074s wall-clock]
Checking invariant weight... [0.010s CPU, 0.004s wall-clock]
Instantiating groups... [0.050s CPU, 0.058s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.006s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.020s CPU, 0.018s wall-clock]
Building translation key... [0.020s CPU, 0.012s wall-clock]
Computing fact groups: [0.220s CPU, 0.219s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.006s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.005s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.009s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.190s CPU, 0.194s wall-clock]
Translating task: [3.650s CPU, 3.650s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
40 propositions removed
Detecting unreachable propositions: [1.900s CPU, 1.902s wall-clock]
Reordering and filtering variables...
40 of 40 variables necessary.
0 of 40 mutex groups necessary.
11820 of 11820 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.560s CPU, 0.559s wall-clock]
Translator variables: 40
Translator derived variables: 0
Translator facts: 970
Translator goal facts: 30
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 11820
Translator axioms: 0
Translator task size: 71060
Translator peak memory: 82380 KB
Writing output... [1.280s CPU, 1.370s wall-clock]
Done! [13.850s CPU, 13.940s wall-clock]
planner.py version 0.0.1

Time:	 2.95s
Memory: 246MB

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

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

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

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

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

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        : 214772  
Atoms        : 214772  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 56236    (Eliminated:    0 Frozen: 3861)
Constraints  : 107561   (Binary:  96.9% Ternary:   1.4% Other:   1.7%)

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

[endof: stats after solve call]
Solving Time:	 0.15s
Memory:		 329MB (+11MB)
UNSAT
Iteration Time:	 1.68s

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

Models       : 0+
Calls        : 3
Time         : 9.307s (Solving: 2.69s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 8.852s

Choices      : 77005    (Domain: 77005)
Conflicts    : 11370    (Analyzed: 11370)
Restarts     : 100      (Average: 113.70 Last: 146)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 11370    (Deleted: 8288)
  Binary     : 247      (Ratio:   2.17%)
  Ternary    : 121      (Ratio:   1.06%)
  Conflict   : 11370    (Average Length:  402.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 11370    (Average:  6.12 Max: 359 Sum:  69641)
  Executed   : 11368    (Average:  6.12 Max: 359 Sum:  69639 Ratio: 100.00%)
  Bounded    : 2        (Average:  1.00 Max:   1 Sum:      2 Ratio:   0.00%)

Rules        : 214772  
Atoms        : 214772  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 123061   (Eliminated:    0 Frozen: 8550)
Constraints  : 617860   (Binary:  97.9% Ternary:   1.0% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 2.75s
Memory:		 368MB (+37MB)
UNKNOWN
Iteration Time:	 4.24s

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

Models       : 0+
Calls        : 4
Time         : 15.223s (Solving: 6.83s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 14.768s

Choices      : 245381   (Domain: 245381)
Conflicts    : 21392    (Analyzed: 21392)
Restarts     : 200      (Average: 106.96 Last: 146)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 21392    (Deleted: 16811)
  Binary     : 415      (Ratio:   1.94%)
  Ternary    : 217      (Ratio:   1.01%)
  Conflict   : 21392    (Average Length:  424.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 21392    (Average:  9.89 Max: 575 Sum: 211505)
  Executed   : 21390    (Average:  9.89 Max: 575 Sum: 211503 Ratio: 100.00%)
  Bounded    : 2        (Average:  1.00 Max:   1 Sum:      2 Ratio:   0.00%)

Rules        : 214772  
Atoms        : 214772  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 192072   (Eliminated:    0 Frozen: 13325)
Constraints  : 1154005  (Binary:  98.0% Ternary:   1.0% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 4.21s
Memory:		 447MB (+50MB)
UNKNOWN
Iteration Time:	 5.93s

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

Models       : 1+
Calls        : 5
Time         : 19.266s (Solving: 9.25s 1st Model: 2.40s Unsat: 0.00s)
CPU Time     : 18.812s

Choices      : 361835   (Domain: 361799)
Conflicts    : 24649    (Analyzed: 24649)
Restarts     : 227      (Average: 108.59 Last: 146)
Model-Level  : 934.0   
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 24649    (Deleted: 18708)
  Binary     : 483      (Ratio:   1.96%)
  Ternary    : 246      (Ratio:   1.00%)
  Conflict   : 24649    (Average Length:  438.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 24649    (Average: 12.61 Max: 1162 Sum: 310885)
  Executed   : 24643    (Average: 12.61 Max: 1162 Sum: 310879 Ratio: 100.00%)
  Bounded    : 6        (Average:  1.00 Max:   1 Sum:      6 Ratio:   0.00%)

Rules        : 214772  
Atoms        : 214772  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 261083   (Eliminated:    0 Frozen: 18100)
Constraints  : 1690150  (Binary:  98.0% Ternary:   0.9% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 2.50s
Memory:		 488MB (+25MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 4.28s
Memory:		 616MB (+128MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 6
Time         : 49.813s (Solving: 37.65s 1st Model: 2.40s Unsat: 0.00s)
CPU Time     : 49.372s

Choices      : 1363855  (Domain: 1363819)
Conflicts    : 33585    (Analyzed: 33585)
Restarts     : 327      (Average: 102.71 Last: 146)
Model-Level  : 934.0   
Problems     : 6        (Average Length: 13.67 Splits: 0)
Lemmas       : 33585    (Deleted: 27307)
  Binary     : 580      (Ratio:   1.73%)
  Ternary    : 338      (Ratio:   1.01%)
  Conflict   : 33585    (Average Length:  394.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 33585    (Average: 38.29 Max: 1915 Sum: 1286071)
  Executed   : 33471    (Average: 38.22 Max: 1915 Sum: 1283689 Ratio:  99.81%)
  Bounded    : 114      (Average: 20.89 Max:  22 Sum:   2382 Ratio:   0.19%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 262667   (Eliminated:    0 Frozen: 205291)
Constraints  : 2240634  (Binary:  98.4% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 28.81s
Memory:		 584MB (+-32MB)
UNKNOWN
Iteration Time:	 37.15s

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

Models       : 0+
Calls        : 7
Time         : 66.566s (Solving: 51.82s 1st Model: 2.40s Unsat: 0.00s)
CPU Time     : 66.132s

Choices      : 1811858  (Domain: 1811822)
Conflicts    : 43098    (Analyzed: 43098)
Restarts     : 427      (Average: 100.93 Last: 146)
Model-Level  : 934.0   
Problems     : 7        (Average Length: 15.57 Splits: 0)
Lemmas       : 43098    (Deleted: 35756)
  Binary     : 660      (Ratio:   1.53%)
  Ternary    : 403      (Ratio:   0.94%)
  Conflict   : 43098    (Average Length:  465.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 43098    (Average: 39.57 Max: 1915 Sum: 1705328)
  Executed   : 42922    (Average: 39.47 Max: 1915 Sum: 1701272 Ratio:  99.76%)
  Bounded    : 176      (Average: 23.05 Max:  27 Sum:   4056 Ratio:   0.24%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 332078   (Eliminated:    0 Frozen: 269366)
Constraints  : 2936005  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 14.27s
Memory:		 669MB (+79MB)
UNKNOWN
Iteration Time:	 16.77s

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

Models       : 0+
Calls        : 8
Time         : 99.579s (Solving: 81.92s 1st Model: 2.40s Unsat: 0.00s)
CPU Time     : 99.160s

Choices      : 2427984  (Domain: 2427948)
Conflicts    : 52599    (Analyzed: 52599)
Restarts     : 527      (Average: 99.81 Last: 146)
Model-Level  : 934.0   
Problems     : 8        (Average Length: 17.62 Splits: 0)
Lemmas       : 52599    (Deleted: 44750)
  Binary     : 713      (Ratio:   1.36%)
  Ternary    : 465      (Ratio:   0.88%)
  Conflict   : 52599    (Average Length:  453.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 52599    (Average: 43.73 Max: 1915 Sum: 2300391)
  Executed   : 52411    (Average: 43.65 Max: 1915 Sum: 2295951 Ratio:  99.81%)
  Bounded    : 188      (Average: 23.62 Max:  32 Sum:   4440 Ratio:   0.19%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 401489   (Eliminated:    0 Frozen: 333441)
Constraints  : 3609194  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 30.21s
Memory:		 720MB (+25MB)
UNKNOWN
Iteration Time:	 33.03s

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         : 100.353s (Solving: 82.59s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 99.932s

Choices      : 2435838  (Domain: 2435802)
Conflicts    : 54408    (Analyzed: 54407)
Restarts     : 547      (Average: 99.46 Last: 146)
Model-Level  : 934.0   
Problems     : 9        (Average Length: 19.22 Splits: 0)
Lemmas       : 54407    (Deleted: 44750)
  Binary     : 741      (Ratio:   1.36%)
  Ternary    : 498      (Ratio:   0.92%)
  Conflict   : 54407    (Average Length:  444.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 54407    (Average: 42.43 Max: 1915 Sum: 2308277)
  Executed   : 54199    (Average: 42.34 Max: 1915 Sum: 2303476 Ratio:  99.79%)
  Bounded    : 208      (Average: 23.08 Max:  32 Sum:   4801 Ratio:   0.21%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 401489   (Eliminated:    0 Frozen: 333441)
Constraints  : 3604190  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 0.73s
Memory:		 724MB (+4MB)
UNSAT
Iteration Time:	 0.78s

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         : 115.526s (Solving: 97.64s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 115.108s

Choices      : 2788763  (Domain: 2788727)
Conflicts    : 64465    (Analyzed: 64464)
Restarts     : 647      (Average: 99.64 Last: 146)
Model-Level  : 934.0   
Problems     : 10       (Average Length: 20.50 Splits: 0)
Lemmas       : 64464    (Deleted: 54116)
  Binary     : 915      (Ratio:   1.42%)
  Ternary    : 642      (Ratio:   1.00%)
  Conflict   : 64464    (Average Length:  442.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 64464    (Average: 41.13 Max: 1915 Sum: 2651401)
  Executed   : 64220    (Average: 41.04 Max: 1915 Sum: 2645448 Ratio:  99.78%)
  Bounded    : 244      (Average: 24.40 Max:  32 Sum:   5953 Ratio:   0.22%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 401489   (Eliminated:    0 Frozen: 333441)
Constraints  : 3602920  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 15.13s
Memory:		 724MB (+0MB)
UNKNOWN
Iteration Time:	 15.18s

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         : 135.080s (Solving: 117.09s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 134.672s

Choices      : 3256741  (Domain: 3256705)
Conflicts    : 74097    (Analyzed: 74096)
Restarts     : 747      (Average: 99.19 Last: 146)
Model-Level  : 934.0   
Problems     : 11       (Average Length: 21.55 Splits: 0)
Lemmas       : 74096    (Deleted: 62825)
  Binary     : 1046     (Ratio:   1.41%)
  Ternary    : 788      (Ratio:   1.06%)
  Conflict   : 74096    (Average Length:  426.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 74096    (Average: 41.83 Max: 1915 Sum: 3099570)
  Executed   : 73835    (Average: 41.74 Max: 1915 Sum: 3093073 Ratio:  99.79%)
  Bounded    : 261      (Average: 24.89 Max:  32 Sum:   6497 Ratio:   0.21%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 401489   (Eliminated:    0 Frozen: 333441)
Constraints  : 3591004  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 19.52s
Memory:		 724MB (+0MB)
UNKNOWN
Iteration Time:	 19.57s

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         : 173.686s (Solving: 155.60s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 173.296s

Choices      : 4240410  (Domain: 4240374)
Conflicts    : 84671    (Analyzed: 84670)
Restarts     : 847      (Average: 99.96 Last: 146)
Model-Level  : 934.0   
Problems     : 12       (Average Length: 22.42 Splits: 0)
Lemmas       : 84670    (Deleted: 71613)
  Binary     : 1121     (Ratio:   1.32%)
  Ternary    : 860      (Ratio:   1.02%)
  Conflict   : 84670    (Average Length:  434.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 84670    (Average: 47.86 Max: 2262 Sum: 4052667)
  Executed   : 84402    (Average: 47.78 Max: 2262 Sum: 4045946 Ratio:  99.83%)
  Bounded    : 268      (Average: 25.08 Max:  32 Sum:   6721 Ratio:   0.17%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 401489   (Eliminated:    0 Frozen: 333441)
Constraints  : 3586066  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 38.59s
Memory:		 724MB (+0MB)
UNKNOWN
Iteration Time:	 38.62s

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         : 208.661s (Solving: 190.47s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 208.288s

Choices      : 5041436  (Domain: 5041400)
Conflicts    : 95110    (Analyzed: 95109)
Restarts     : 947      (Average: 100.43 Last: 146)
Model-Level  : 934.0   
Problems     : 13       (Average Length: 23.15 Splits: 0)
Lemmas       : 95109    (Deleted: 81251)
  Binary     : 1196     (Ratio:   1.26%)
  Ternary    : 944      (Ratio:   0.99%)
  Conflict   : 95109    (Average Length:  438.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 95109    (Average: 50.58 Max: 2262 Sum: 4810917)
  Executed   : 94828    (Average: 50.51 Max: 2262 Sum: 4803780 Ratio:  99.85%)
  Bounded    : 281      (Average: 25.40 Max:  32 Sum:   7137 Ratio:   0.15%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 401489   (Eliminated:    0 Frozen: 333441)
Constraints  : 3581902  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 34.96s
Memory:		 724MB (+0MB)
UNKNOWN
Iteration Time:	 34.99s

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

Models       : 0+
Calls        : 14
Time         : 244.619s (Solving: 223.80s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 244.260s

Choices      : 5970832  (Domain: 5970796)
Conflicts    : 105008   (Analyzed: 105007)
Restarts     : 1047     (Average: 100.29 Last: 146)
Model-Level  : 934.0   
Problems     : 14       (Average Length: 24.14 Splits: 0)
Lemmas       : 105007   (Deleted: 90917)
  Binary     : 1215     (Ratio:   1.16%)
  Ternary    : 972      (Ratio:   0.93%)
  Conflict   : 105007   (Average Length:  486.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 105007   (Average: 54.11 Max: 2262 Sum: 5682072)
  Executed   : 104720   (Average: 54.04 Max: 2262 Sum: 5674713 Ratio:  99.87%)
  Bounded    : 287      (Average: 25.64 Max:  37 Sum:   7359 Ratio:   0.13%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 470900   (Eliminated:    0 Frozen: 397516)
Constraints  : 4292659  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 33.46s
Memory:		 820MB (+67MB)
UNKNOWN
Iteration Time:	 35.98s

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

Models       : 0+
Calls        : 15
Time         : 283.023s (Solving: 259.54s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 282.680s

Choices      : 7000043  (Domain: 7000007)
Conflicts    : 115949   (Analyzed: 115948)
Restarts     : 1147     (Average: 101.09 Last: 146)
Model-Level  : 934.0   
Problems     : 15       (Average Length: 25.33 Splits: 0)
Lemmas       : 115948   (Deleted: 102378)
  Binary     : 1228     (Ratio:   1.06%)
  Ternary    : 998      (Ratio:   0.86%)
  Conflict   : 115948   (Average Length:  591.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 115948   (Average: 57.38 Max: 2353 Sum: 6652551)
  Executed   : 115659   (Average: 57.31 Max: 2353 Sum: 6645108 Ratio:  99.89%)
  Bounded    : 289      (Average: 25.75 Max:  42 Sum:   7443 Ratio:   0.11%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 540311   (Eliminated:    0 Frozen: 461591)
Constraints  : 4997346  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 35.87s
Memory:		 867MB (+37MB)
UNKNOWN
Iteration Time:	 38.43s

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

Models       : 0+
Calls        : 16
Time         : 332.577s (Solving: 306.35s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 332.256s

Choices      : 8068658  (Domain: 8068622)
Conflicts    : 125559   (Analyzed: 125558)
Restarts     : 1247     (Average: 100.69 Last: 146)
Model-Level  : 934.0   
Problems     : 16       (Average Length: 26.69 Splits: 0)
Lemmas       : 125558   (Deleted: 112886)
  Binary     : 1267     (Ratio:   1.01%)
  Ternary    : 1021     (Ratio:   0.81%)
  Conflict   : 125558   (Average Length:  665.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 125558   (Average: 61.05 Max: 2353 Sum: 7665127)
  Executed   : 125257   (Average: 60.98 Max: 2353 Sum: 7657120 Ratio:  99.90%)
  Bounded    : 301      (Average: 26.60 Max:  47 Sum:   8007 Ratio:   0.10%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 609722   (Eliminated:    0 Frozen: 525666)
Constraints  : 5708218  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 46.97s
Memory:		 948MB (+46MB)
UNKNOWN
Iteration Time:	 49.58s

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

Models       : 0+
Calls        : 17
Time         : 363.158s (Solving: 334.07s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 362.848s

Choices      : 8829445  (Domain: 8829409)
Conflicts    : 135772   (Analyzed: 135771)
Restarts     : 1347     (Average: 100.80 Last: 146)
Model-Level  : 934.0   
Problems     : 17       (Average Length: 28.18 Splits: 0)
Lemmas       : 135771   (Deleted: 122416)
  Binary     : 1280     (Ratio:   0.94%)
  Ternary    : 1039     (Ratio:   0.77%)
  Conflict   : 135771   (Average Length:  812.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 135771   (Average: 61.21 Max: 2418 Sum: 8310695)
  Executed   : 135470   (Average: 61.15 Max: 2418 Sum: 8302688 Ratio:  99.90%)
  Bounded    : 301      (Average: 26.60 Max:  47 Sum:   8007 Ratio:   0.10%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 679133   (Eliminated:    0 Frozen: 589741)
Constraints  : 6418440  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 27.88s
Memory:		 1056MB (+88MB)
UNKNOWN
Iteration Time:	 30.60s

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

Models       : 0+
Calls        : 18
Time         : 405.488s (Solving: 373.53s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 405.196s

Choices      : 9629930  (Domain: 9629894)
Conflicts    : 145858   (Analyzed: 145857)
Restarts     : 1447     (Average: 100.80 Last: 146)
Model-Level  : 934.0   
Problems     : 18       (Average Length: 29.78 Splits: 0)
Lemmas       : 145857   (Deleted: 131592)
  Binary     : 1337     (Ratio:   0.92%)
  Ternary    : 1081     (Ratio:   0.74%)
  Conflict   : 145857   (Average Length:  883.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 145857   (Average: 61.76 Max: 2643 Sum: 9007542)
  Executed   : 145542   (Average: 61.70 Max: 2643 Sum: 8998737 Ratio:  99.90%)
  Bounded    : 315      (Average: 27.95 Max:  57 Sum:   8805 Ratio:   0.10%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 748544   (Eliminated:    0 Frozen: 653816)
Constraints  : 7129485  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 39.64s
Memory:		 1162MB (+106MB)
UNKNOWN
Iteration Time:	 42.36s

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

Models       : 0+
Calls        : 19
Time         : 439.625s (Solving: 404.75s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 439.348s

Choices      : 10605297 (Domain: 10605261)
Conflicts    : 156104   (Analyzed: 156103)
Restarts     : 1547     (Average: 100.91 Last: 146)
Model-Level  : 934.0   
Problems     : 19       (Average Length: 31.47 Splits: 0)
Lemmas       : 156103   (Deleted: 139889)
  Binary     : 1348     (Ratio:   0.86%)
  Ternary    : 1092     (Ratio:   0.70%)
  Conflict   : 156103   (Average Length:  936.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 156103   (Average: 62.93 Max: 2643 Sum: 9823507)
  Executed   : 155788   (Average: 62.87 Max: 2643 Sum: 9814702 Ratio:  99.91%)
  Bounded    : 315      (Average: 27.95 Max:  57 Sum:   8805 Ratio:   0.09%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 817955   (Eliminated:    0 Frozen: 717891)
Constraints  : 7839994  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 31.40s
Memory:		 1235MB (+52MB)
UNKNOWN
Iteration Time:	 34.16s

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

Models       : 0+
Calls        : 20
Time         : 484.690s (Solving: 446.80s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 484.432s

Choices      : 11938351 (Domain: 11938315)
Conflicts    : 165675   (Analyzed: 165674)
Restarts     : 1647     (Average: 100.59 Last: 146)
Model-Level  : 934.0   
Problems     : 20       (Average Length: 33.25 Splits: 0)
Lemmas       : 165674   (Deleted: 152045)
  Binary     : 1348     (Ratio:   0.81%)
  Ternary    : 1100     (Ratio:   0.66%)
  Conflict   : 165674   (Average Length: 1017.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 165674   (Average: 66.76 Max: 2736 Sum: 11059995)
  Executed   : 165359   (Average: 66.70 Max: 2736 Sum: 11051190 Ratio:  99.92%)
  Bounded    : 315      (Average: 27.95 Max:  57 Sum:   8805 Ratio:   0.08%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 887366   (Eliminated:    0 Frozen: 781966)
Constraints  : 8551039  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 42.25s
Memory:		 1313MB (+61MB)
UNKNOWN
Iteration Time:	 45.09s

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

Models       : 0+
Calls        : 21
Time         : 527.832s (Solving: 486.31s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 527.592s

Choices      : 13168810 (Domain: 13168774)
Conflicts    : 174997   (Analyzed: 174996)
Restarts     : 1747     (Average: 100.17 Last: 146)
Model-Level  : 934.0   
Problems     : 21       (Average Length: 35.10 Splits: 0)
Lemmas       : 174996   (Deleted: 161191)
  Binary     : 1350     (Ratio:   0.77%)
  Ternary    : 1103     (Ratio:   0.63%)
  Conflict   : 174996   (Average Length: 1075.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 174996   (Average: 69.52 Max: 2739 Sum: 12164879)
  Executed   : 174681   (Average: 69.46 Max: 2739 Sum: 12156074 Ratio:  99.93%)
  Bounded    : 315      (Average: 27.95 Max:  57 Sum:   8805 Ratio:   0.07%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 956777   (Eliminated:    0 Frozen: 846041)
Constraints  : 9262084  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 39.72s
Memory:		 1422MB (+53MB)
UNKNOWN
Iteration Time:	 43.17s

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

Models       : 0+
Calls        : 22
Time         : 594.453s (Solving: 549.92s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 594.244s

Choices      : 14703492 (Domain: 14703456)
Conflicts    : 184638   (Analyzed: 184637)
Restarts     : 1847     (Average: 99.97 Last: 146)
Model-Level  : 934.0   
Problems     : 22       (Average Length: 37.00 Splits: 0)
Lemmas       : 184637   (Deleted: 170472)
  Binary     : 1364     (Ratio:   0.74%)
  Ternary    : 1113     (Ratio:   0.60%)
  Conflict   : 184637   (Average Length: 1114.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 184637   (Average: 73.76 Max: 3520 Sum: 13618913)
  Executed   : 184321   (Average: 73.71 Max: 3520 Sum: 13610031 Ratio:  99.93%)
  Bounded    : 316      (Average: 28.11 Max:  77 Sum:   8882 Ratio:   0.07%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 1026188  (Eliminated:    0 Frozen: 910116)
Constraints  : 9973129  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 63.84s
Memory:		 1520MB (+90MB)
UNKNOWN
Iteration Time:	 66.66s

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         : 605.794s (Solving: 560.97s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 605.592s

Choices      : 14824855 (Domain: 14824819)
Conflicts    : 194358   (Analyzed: 194357)
Restarts     : 1947     (Average: 99.82 Last: 146)
Model-Level  : 934.0   
Problems     : 23       (Average Length: 38.74 Splits: 0)
Lemmas       : 194357   (Deleted: 178374)
  Binary     : 1412     (Ratio:   0.73%)
  Ternary    : 1147     (Ratio:   0.59%)
  Conflict   : 194357   (Average Length: 1106.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 194357   (Average: 70.64 Max: 3520 Sum: 13728626)
  Executed   : 194038   (Average: 70.59 Max: 3520 Sum: 13719513 Ratio:  99.93%)
  Bounded    : 319      (Average: 28.57 Max:  77 Sum:   9113 Ratio:   0.07%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 1026188  (Eliminated:    0 Frozen: 910116)
Constraints  : 9973117  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 11.23s
Memory:		 1520MB (+0MB)
UNKNOWN
Iteration Time:	 11.35s

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         : 623.683s (Solving: 578.61s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 623.492s

Choices      : 15157850 (Domain: 15157814)
Conflicts    : 204151   (Analyzed: 204150)
Restarts     : 2047     (Average: 99.73 Last: 146)
Model-Level  : 934.0   
Problems     : 24       (Average Length: 40.33 Splits: 0)
Lemmas       : 204150   (Deleted: 186526)
  Binary     : 1448     (Ratio:   0.71%)
  Ternary    : 1189     (Ratio:   0.58%)
  Conflict   : 204150   (Average Length: 1103.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 204150   (Average: 68.73 Max: 3520 Sum: 14031552)
  Executed   : 203827   (Average: 68.69 Max: 3520 Sum: 14022131 Ratio:  99.93%)
  Bounded    : 323      (Average: 29.17 Max:  77 Sum:   9421 Ratio:   0.07%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 1026188  (Eliminated:    0 Frozen: 910116)
Constraints  : 9973004  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 17.81s
Memory:		 1520MB (+0MB)
UNKNOWN
Iteration Time:	 17.90s

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         : 648.851s (Solving: 603.52s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 648.672s

Choices      : 15532816 (Domain: 15532780)
Conflicts    : 214403   (Analyzed: 214402)
Restarts     : 2147     (Average: 99.86 Last: 146)
Model-Level  : 934.0   
Problems     : 25       (Average Length: 41.80 Splits: 0)
Lemmas       : 214402   (Deleted: 195414)
  Binary     : 1509     (Ratio:   0.70%)
  Ternary    : 1242     (Ratio:   0.58%)
  Conflict   : 214402   (Average Length: 1100.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 214402   (Average: 67.07 Max: 3520 Sum: 14379289)
  Executed   : 214074   (Average: 67.02 Max: 3520 Sum: 14369483 Ratio:  99.93%)
  Bounded    : 328      (Average: 29.90 Max:  77 Sum:   9806 Ratio:   0.07%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 1026188  (Eliminated:    0 Frozen: 910116)
Constraints  : 9972772  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 25.08s
Memory:		 1520MB (+0MB)
UNKNOWN
Iteration Time:	 25.18s

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         : 685.197s (Solving: 639.61s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 685.032s

Choices      : 16141483 (Domain: 16141447)
Conflicts    : 224438   (Analyzed: 224437)
Restarts     : 2247     (Average: 99.88 Last: 146)
Model-Level  : 934.0   
Problems     : 26       (Average Length: 43.15 Splits: 0)
Lemmas       : 224437   (Deleted: 205010)
  Binary     : 1633     (Ratio:   0.73%)
  Ternary    : 1306     (Ratio:   0.58%)
  Conflict   : 224437   (Average Length: 1109.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 224437   (Average: 66.60 Max: 3520 Sum: 14946467)
  Executed   : 224106   (Average: 66.55 Max: 3520 Sum: 14936430 Ratio:  99.93%)
  Bounded    : 331      (Average: 30.32 Max:  77 Sum:  10037 Ratio:   0.07%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 1026188  (Eliminated:    0 Frozen: 910116)
Constraints  : 9972650  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 36.28s
Memory:		 1520MB (+0MB)
UNKNOWN
Iteration Time:	 36.36s

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...
[start: stats after solve call]

Models       : 0+
Calls        : 27
Time         : 729.191s (Solving: 683.32s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 729.044s

Choices      : 17071956 (Domain: 17071920)
Conflicts    : 235286   (Analyzed: 235285)
Restarts     : 2347     (Average: 100.25 Last: 146)
Model-Level  : 934.0   
Problems     : 27       (Average Length: 44.41 Splits: 0)
Lemmas       : 235285   (Deleted: 213963)
  Binary     : 1711     (Ratio:   0.73%)
  Ternary    : 1340     (Ratio:   0.57%)
  Conflict   : 235285   (Average Length: 1111.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 235285   (Average: 67.30 Max: 3520 Sum: 15834307)
  Executed   : 234951   (Average: 67.25 Max: 3520 Sum: 15824039 Ratio:  99.94%)
  Bounded    : 334      (Average: 30.74 Max:  77 Sum:  10268 Ratio:   0.06%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 1026188  (Eliminated:    0 Frozen: 910116)
Constraints  : 9972259  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 43.90s
Memory:		 1520MB (+0MB)
UNKNOWN
Iteration Time:	 44.02s

Iteration 27
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,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        : 28
Time         : 787.643s (Solving: 741.50s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 787.520s

Choices      : 18441112 (Domain: 18441076)
Conflicts    : 246215   (Analyzed: 246214)
Restarts     : 2447     (Average: 100.62 Last: 146)
Model-Level  : 934.0   
Problems     : 28       (Average Length: 45.57 Splits: 0)
Lemmas       : 246214   (Deleted: 224108)
  Binary     : 1777     (Ratio:   0.72%)
  Ternary    : 1406     (Ratio:   0.57%)
  Conflict   : 246214   (Average Length: 1114.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 246214   (Average: 69.65 Max: 4487 Sum: 17147975)
  Executed   : 245875   (Average: 69.60 Max: 4487 Sum: 17137322 Ratio:  99.94%)
  Bounded    : 339      (Average: 31.42 Max:  77 Sum:  10653 Ratio:   0.06%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 1026188  (Eliminated:    0 Frozen: 910116)
Constraints  : 9972073  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 58.37s
Memory:		 1520MB (+0MB)
UNKNOWN
Iteration Time:	 58.48s

Iteration 28
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,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        : 29
Time         : 840.826s (Solving: 794.43s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 840.724s

Choices      : 19488091 (Domain: 19488055)
Conflicts    : 256167   (Analyzed: 256166)
Restarts     : 2547     (Average: 100.58 Last: 146)
Model-Level  : 934.0   
Problems     : 29       (Average Length: 46.66 Splits: 0)
Lemmas       : 256166   (Deleted: 233967)
  Binary     : 1822     (Ratio:   0.71%)
  Ternary    : 1434     (Ratio:   0.56%)
  Conflict   : 256166   (Average Length: 1150.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 256166   (Average: 70.67 Max: 4487 Sum: 18102041)
  Executed   : 255826   (Average: 70.62 Max: 4487 Sum: 18091311 Ratio:  99.94%)
  Bounded    : 340      (Average: 31.56 Max:  77 Sum:  10730 Ratio:   0.06%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 1026188  (Eliminated:    0 Frozen: 910116)
Constraints  : 9971583  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 53.12s
Memory:		 1520MB (+0MB)
UNKNOWN
Iteration Time:	 53.21s

Iteration 29
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,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        : 30
Time         : 881.608s (Solving: 834.93s 1st Model: 2.40s Unsat: 0.66s)
CPU Time     : 881.504s

Choices      : 20355024 (Domain: 20354988)
Conflicts    : 261142   (Analyzed: 261141)
Restarts     : 2598     (Average: 100.52 Last: 146)
Model-Level  : 934.0   
Problems     : 30       (Average Length: 47.67 Splits: 0)
Lemmas       : 261141   (Deleted: 240204)
  Binary     : 1849     (Ratio:   0.71%)
  Ternary    : 1457     (Ratio:   0.56%)
  Conflict   : 261141   (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    : 261141   (Average: 72.52 Max: 4487 Sum: 18937903)
  Executed   : 260800   (Average: 72.48 Max: 4487 Sum: 18927096 Ratio:  99.94%)
  Bounded    : 341      (Average: 31.69 Max:  77 Sum:  10807 Ratio:   0.06%)

Rules        : 787802   (Original: 787751)
Atoms        : 239851  
Bodies       : 368838   (Original: 368786)
  Count      : 738      (Original: 747)
Equivalences : 187303   (Atom=Atom: 30 Body=Body: 0 Other: 187273)
Tight        : Yes
Variables    : 1026188  (Eliminated:    0 Frozen: 910116)
Constraints  : 9971571  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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


