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-3.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-3.pddl
Parsing...
Parsing: [0.070s CPU, 0.069s wall-clock]
Normalizing task... [0.000s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.017s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.030s CPU, 0.028s wall-clock]
Preparing model... [0.050s CPU, 0.051s wall-clock]
Generated 46 rules.
Computing model... [1.390s CPU, 1.382s wall-clock]
12114 relevant atoms
6216 auxiliary atoms
18330 final queue length
38523 total queue pushes
Completing instantiation... [3.880s CPU, 3.872s wall-clock]
Instantiating: [5.380s CPU, 5.367s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.070s CPU, 0.071s wall-clock]
Checking invariant weight... [0.010s CPU, 0.003s wall-clock]
Instantiating groups... [0.040s CPU, 0.049s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.005s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.010s CPU, 0.017s wall-clock]
Building translation key... [0.010s CPU, 0.010s wall-clock]
Computing fact groups: [0.200s CPU, 0.199s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.005s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.004s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.005s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.180s CPU, 0.175s wall-clock]
Translating task: [3.410s CPU, 3.413s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
37 propositions removed
Detecting unreachable propositions: [1.720s CPU, 1.717s wall-clock]
Reordering and filtering variables...
37 of 37 variables necessary.
0 of 37 mutex groups necessary.
10668 of 10668 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.500s CPU, 0.498s wall-clock]
Translator variables: 37
Translator derived variables: 0
Translator facts: 880
Translator goal facts: 27
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 10668
Translator axioms: 0
Translator task size: 64052
Translator peak memory: 77772 KB
Writing output... [1.100s CPU, 1.180s wall-clock]
Done! [12.530s CPU, 12.604s wall-clock]
planner.py version 0.0.1

Time:	 2.64s
Memory: 226MB

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

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

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

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

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        : 193658  
Atoms        : 193658  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 50804    (Eliminated:    0 Frozen: 50804)
Constraints  : 111203   (Binary:  97.1% Ternary:   1.3% Other:   1.6%)

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

[endof: stats after solve call]
Solving Time:	 2.02s
Memory:		 304MB (+6MB)
UNSAT
Iteration Time:	 3.41s

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

Models       : 0+
Calls        : 3
Time         : 20.358s (Solving: 9.16s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 19.976s

Choices      : 158054   (Domain: 158054)
Conflicts    : 28094    (Analyzed: 28094)
Restarts     : 100      (Average: 280.94 Last: 200)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 28094    (Deleted: 16811)
  Binary     : 391      (Ratio:   1.39%)
  Ternary    : 284      (Ratio:   1.01%)
  Conflict   : 28094    (Average Length:  764.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 28094    (Average:  5.34 Max: 314 Sum: 150030)
  Executed   : 28082    (Average:  5.34 Max: 314 Sum: 150007 Ratio:  99.98%)
  Bounded    : 12       (Average:  1.92 Max:  12 Sum:     23 Ratio:   0.02%)

Rules        : 193658  
Atoms        : 193658  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 112300   (Eliminated:    0 Frozen: 112300)
Constraints  : 585827   (Binary:  97.9% Ternary:   1.0% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 12.59s
Memory:		 350MB (+39MB)
UNKNOWN
Iteration Time:	 13.93s

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

Models       : 0+
Calls        : 4
Time         : 36.273s (Solving: 19.99s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 35.892s

Choices      : 419466   (Domain: 419466)
Conflicts    : 56167    (Analyzed: 56167)
Restarts     : 200      (Average: 280.83 Last: 201)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 56167    (Deleted: 43342)
  Binary     : 596      (Ratio:   1.06%)
  Ternary    : 504      (Ratio:   0.90%)
  Conflict   : 56167    (Average Length:  791.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 56167    (Average:  6.82 Max: 624 Sum: 382951)
  Executed   : 56149    (Average:  6.82 Max: 624 Sum: 382922 Ratio:  99.99%)
  Bounded    : 18       (Average:  1.61 Max:  12 Sum:     29 Ratio:   0.01%)

Rules        : 193658  
Atoms        : 193658  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 174636   (Eliminated:    0 Frozen: 174636)
Constraints  : 1069193  (Binary:  98.0% Ternary:   1.0% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 14.36s
Memory:		 486MB (+111MB)
UNKNOWN
Iteration Time:	 15.93s

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

Models       : 1+
Calls        : 5
Time         : 44.126s (Solving: 22.88s 1st Model: 2.86s Unsat: 0.00s)
CPU Time     : 43.748s

Choices      : 556027   (Domain: 555991)
Conflicts    : 60854    (Analyzed: 60854)
Restarts     : 224      (Average: 271.67 Last: 201)
Model-Level  : 1200.0  
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 60854    (Deleted: 43342)
  Binary     : 642      (Ratio:   1.05%)
  Ternary    : 539      (Ratio:   0.89%)
  Conflict   : 60854    (Average Length:  785.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 60854    (Average:  8.22 Max: 987 Sum: 500015)
  Executed   : 60832    (Average:  8.22 Max: 987 Sum: 499982 Ratio:  99.99%)
  Bounded    : 22       (Average:  1.50 Max:  12 Sum:     33 Ratio:   0.01%)

Rules        : 193658  
Atoms        : 193658  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 236972   (Eliminated:    0 Frozen: 236972)
Constraints  : 1552568  (Binary:  98.0% Ternary:   0.9% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 6.43s
Memory:		 530MB (+33MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 3.98s
Memory:		 632MB (+102MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 6
Time         : 97.362s (Solving: 73.37s 1st Model: 2.86s Unsat: 0.00s)
CPU Time     : 97.004s

Choices      : 2401676  (Domain: 2401640)
Conflicts    : 88951    (Analyzed: 88951)
Restarts     : 324      (Average: 274.54 Last: 203)
Model-Level  : 1200.0  
Problems     : 6        (Average Length: 13.67 Splits: 0)
Lemmas       : 88951    (Deleted: 74509)
  Binary     : 886      (Ratio:   1.00%)
  Ternary    : 767      (Ratio:   0.86%)
  Conflict   : 88951    (Average Length:  798.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 88951    (Average: 25.67 Max: 1300 Sum: 2282987)
  Executed   : 88834    (Average: 25.64 Max: 1300 Sum: 2280864 Ratio:  99.91%)
  Bounded    : 117      (Average: 18.15 Max:  22 Sum:   2123 Ratio:   0.09%)

Rules        : 719353   (Original: 719261)
Atoms        : 216262  
Bodies       : 338825   (Original: 338732)
  Count      : 685      (Original: 693)
Equivalences : 172283   (Atom=Atom: 33 Body=Body: 0 Other: 172250)
Tight        : Yes
Variables    : 238476   (Eliminated:  100 Frozen: 238376)
Constraints  : 2057852  (Binary:  98.4% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 51.70s
Memory:		 608MB (+-24MB)
UNKNOWN
Iteration Time:	 63.55s

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

Models       : 0+
Calls        : 7
Time         : 155.972s (Solving: 123.92s 1st Model: 2.86s Unsat: 0.00s)
CPU Time     : 155.640s

Choices      : 4058733  (Domain: 4058697)
Conflicts    : 117066   (Analyzed: 117066)
Restarts     : 424      (Average: 276.10 Last: 203)
Model-Level  : 1200.0  
Problems     : 7        (Average Length: 15.57 Splits: 0)
Lemmas       : 117066   (Deleted: 101693)
  Binary     : 1160     (Ratio:   0.99%)
  Ternary    : 996      (Ratio:   0.85%)
  Conflict   : 117066   (Average Length:  808.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 117066   (Average: 33.15 Max: 2555 Sum: 3881065)
  Executed   : 116835   (Average: 33.11 Max: 2555 Sum: 3875864 Ratio:  99.87%)
  Bounded    : 231      (Average: 22.52 Max:  27 Sum:   5201 Ratio:   0.13%)

Rules        : 719353   (Original: 719261)
Atoms        : 216262  
Bodies       : 338825   (Original: 338732)
  Count      : 685      (Original: 693)
Equivalences : 172283   (Atom=Atom: 33 Body=Body: 0 Other: 172250)
Tight        : Yes
Variables    : 301182   (Eliminated:  100 Frozen: 301082)
Constraints  : 2657086  (Binary:  98.4% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 56.39s
Memory:		 694MB (+86MB)
UNKNOWN
Iteration Time:	 58.64s

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

Models       : 0+
Calls        : 8
Time         : 237.240s (Solving: 197.07s 1st Model: 2.86s Unsat: 0.00s)
CPU Time     : 236.940s

Choices      : 5918169  (Domain: 5918133)
Conflicts    : 145137   (Analyzed: 145137)
Restarts     : 524      (Average: 276.98 Last: 203)
Model-Level  : 1200.0  
Problems     : 8        (Average Length: 17.62 Splits: 0)
Lemmas       : 145137   (Deleted: 128551)
  Binary     : 1260     (Ratio:   0.87%)
  Ternary    : 1118     (Ratio:   0.77%)
  Conflict   : 145137   (Average Length:  800.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 145137   (Average: 39.10 Max: 3078 Sum: 5674596)
  Executed   : 144863   (Average: 39.05 Max: 3078 Sum: 5668019 Ratio:  99.88%)
  Bounded    : 274      (Average: 24.00 Max:  32 Sum:   6577 Ratio:   0.12%)

Rules        : 719353   (Original: 719261)
Atoms        : 216262  
Bodies       : 338825   (Original: 338732)
  Count      : 685      (Original: 693)
Equivalences : 172283   (Atom=Atom: 33 Body=Body: 0 Other: 172250)
Tight        : Yes
Variables    : 363888   (Eliminated:  100 Frozen: 363788)
Constraints  : 3264080  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 79.00s
Memory:		 723MB (+29MB)
UNKNOWN
Iteration Time:	 81.31s

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         : 237.711s (Solving: 197.42s 1st Model: 2.86s Unsat: 0.35s)
CPU Time     : 237.412s

Choices      : 5920045  (Domain: 5920009)
Conflicts    : 145751   (Analyzed: 145750)
Restarts     : 529      (Average: 275.52 Last: 203)
Model-Level  : 1200.0  
Problems     : 9        (Average Length: 19.22 Splits: 0)
Lemmas       : 145750   (Deleted: 128551)
  Binary     : 1269     (Ratio:   0.87%)
  Ternary    : 1131     (Ratio:   0.78%)
  Conflict   : 145750   (Average Length:  798.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 145750   (Average: 38.95 Max: 3078 Sum: 5676448)
  Executed   : 145475   (Average: 38.90 Max: 3078 Sum: 5669870 Ratio:  99.88%)
  Bounded    : 275      (Average: 23.92 Max:  32 Sum:   6578 Ratio:   0.12%)

Rules        : 719353   (Original: 719261)
Atoms        : 216262  
Bodies       : 338825   (Original: 338732)
  Count      : 685      (Original: 693)
Equivalences : 172283   (Atom=Atom: 33 Body=Body: 0 Other: 172250)
Tight        : Yes
Variables    : 363888   (Eliminated:  100 Frozen: 363788)
Constraints  : 3253126  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 0.42s
Memory:		 723MB (+0MB)
UNSAT
Iteration Time:	 0.47s

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         : 280.760s (Solving: 240.38s 1st Model: 2.86s Unsat: 0.35s)
CPU Time     : 280.480s

Choices      : 6018544  (Domain: 6018508)
Conflicts    : 173860   (Analyzed: 173859)
Restarts     : 629      (Average: 276.41 Last: 203)
Model-Level  : 1200.0  
Problems     : 10       (Average Length: 20.50 Splits: 0)
Lemmas       : 173859   (Deleted: 155760)
  Binary     : 1422     (Ratio:   0.82%)
  Ternary    : 1183     (Ratio:   0.68%)
  Conflict   : 173859   (Average Length:  818.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 173859   (Average: 33.19 Max: 3078 Sum: 5770308)
  Executed   : 173571   (Average: 33.15 Max: 3078 Sum: 5763407 Ratio:  99.88%)
  Bounded    : 288      (Average: 23.96 Max:  32 Sum:   6901 Ratio:   0.12%)

Rules        : 719353   (Original: 719261)
Atoms        : 216262  
Bodies       : 338825   (Original: 338732)
  Count      : 685      (Original: 693)
Equivalences : 172283   (Atom=Atom: 33 Body=Body: 0 Other: 172250)
Tight        : Yes
Variables    : 363888   (Eliminated:  100 Frozen: 363788)
Constraints  : 3253126  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 43.04s
Memory:		 723MB (+0MB)
UNKNOWN
Iteration Time:	 43.07s

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         : 321.203s (Solving: 280.71s 1st Model: 2.86s Unsat: 0.35s)
CPU Time     : 320.940s

Choices      : 7438084  (Domain: 7438048)
Conflicts    : 201937   (Analyzed: 201936)
Restarts     : 729      (Average: 277.00 Last: 203)
Model-Level  : 1200.0  
Problems     : 11       (Average Length: 21.55 Splits: 0)
Lemmas       : 201936   (Deleted: 182541)
  Binary     : 1551     (Ratio:   0.77%)
  Ternary    : 1320     (Ratio:   0.65%)
  Conflict   : 201936   (Average Length:  873.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 201936   (Average: 35.31 Max: 3078 Sum: 7129899)
  Executed   : 201641   (Average: 35.27 Max: 3078 Sum: 7122805 Ratio:  99.90%)
  Bounded    : 295      (Average: 24.05 Max:  32 Sum:   7094 Ratio:   0.10%)

Rules        : 719353   (Original: 719261)
Atoms        : 216262  
Bodies       : 338825   (Original: 338732)
  Count      : 685      (Original: 693)
Equivalences : 172283   (Atom=Atom: 33 Body=Body: 0 Other: 172250)
Tight        : Yes
Variables    : 363888   (Eliminated:  100 Frozen: 363788)
Constraints  : 3252014  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 40.42s
Memory:		 723MB (+0MB)
UNKNOWN
Iteration Time:	 40.46s

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         : 380.250s (Solving: 339.62s 1st Model: 2.86s Unsat: 0.35s)
CPU Time     : 380.008s

Choices      : 9260828  (Domain: 9260792)
Conflicts    : 230037   (Analyzed: 230036)
Restarts     : 829      (Average: 277.49 Last: 203)
Model-Level  : 1200.0  
Problems     : 12       (Average Length: 22.42 Splits: 0)
Lemmas       : 230036   (Deleted: 208947)
  Binary     : 1682     (Ratio:   0.73%)
  Ternary    : 1483     (Ratio:   0.64%)
  Conflict   : 230036   (Average Length:  912.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 230036   (Average: 38.56 Max: 3078 Sum: 8870525)
  Executed   : 229730   (Average: 38.53 Max: 3078 Sum: 8863079 Ratio:  99.92%)
  Bounded    : 306      (Average: 24.33 Max:  32 Sum:   7446 Ratio:   0.08%)

Rules        : 719353   (Original: 719261)
Atoms        : 216262  
Bodies       : 338825   (Original: 338732)
  Count      : 685      (Original: 693)
Equivalences : 172283   (Atom=Atom: 33 Body=Body: 0 Other: 172250)
Tight        : Yes
Variables    : 363888   (Eliminated:  100 Frozen: 363788)
Constraints  : 3251349  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 59.02s
Memory:		 723MB (+0MB)
UNKNOWN
Iteration Time:	 59.07s

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         : 458.113s (Solving: 417.38s 1st Model: 2.86s Unsat: 0.35s)
CPU Time     : 457.904s

Choices      : 11366171 (Domain: 11366135)
Conflicts    : 258126   (Analyzed: 258125)
Restarts     : 929      (Average: 277.85 Last: 203)
Model-Level  : 1200.0  
Problems     : 13       (Average Length: 23.15 Splits: 0)
Lemmas       : 258125   (Deleted: 234088)
  Binary     : 1780     (Ratio:   0.69%)
  Ternary    : 1571     (Ratio:   0.61%)
  Conflict   : 258125   (Average Length: 1031.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 258125   (Average: 42.12 Max: 3078 Sum: 10871653)
  Executed   : 257815   (Average: 42.09 Max: 3078 Sum: 10864079 Ratio:  99.93%)
  Bounded    : 310      (Average: 24.43 Max:  32 Sum:   7574 Ratio:   0.07%)

Rules        : 719353   (Original: 719261)
Atoms        : 216262  
Bodies       : 338825   (Original: 338732)
  Count      : 685      (Original: 693)
Equivalences : 172283   (Atom=Atom: 33 Body=Body: 0 Other: 172250)
Tight        : Yes
Variables    : 363888   (Eliminated:  100 Frozen: 363788)
Constraints  : 3248259  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 77.86s
Memory:		 787MB (+64MB)
UNKNOWN
Iteration Time:	 77.90s

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

Models       : 0+
Calls        : 14
Time         : 538.166s (Solving: 488.92s 1st Model: 2.86s Unsat: 0.35s)
CPU Time     : 537.988s

Choices      : 13311319 (Domain: 13311283)
Conflicts    : 286202   (Analyzed: 286201)
Restarts     : 1029     (Average: 278.14 Last: 203)
Model-Level  : 1200.0  
Problems     : 14       (Average Length: 24.14 Splits: 0)
Lemmas       : 286201   (Deleted: 261229)
  Binary     : 1843     (Ratio:   0.64%)
  Ternary    : 1630     (Ratio:   0.57%)
  Conflict   : 286201   (Average Length: 1154.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 286201   (Average: 44.39 Max: 3078 Sum: 12703145)
  Executed   : 285889   (Average: 44.36 Max: 3078 Sum: 12695497 Ratio:  99.94%)
  Bounded    : 312      (Average: 24.51 Max:  37 Sum:   7648 Ratio:   0.06%)

Rules        : 719353   (Original: 719261)
Atoms        : 216262  
Bodies       : 338825   (Original: 338732)
  Count      : 685      (Original: 693)
Equivalences : 172283   (Atom=Atom: 33 Body=Body: 0 Other: 172250)
Tight        : Yes
Variables    : 426594   (Eliminated:  100 Frozen: 426494)
Constraints  : 3887100  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 77.43s
Memory:		 955MB (+135MB)
UNKNOWN
Iteration Time:	 80.10s

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

Models       : 0+
Calls        : 15
Time         : 621.498s (Solving: 564.09s 1st Model: 2.86s Unsat: 0.35s)
CPU Time     : 621.356s

Choices      : 15161706 (Domain: 15161670)
Conflicts    : 314311   (Analyzed: 314310)
Restarts     : 1129     (Average: 278.40 Last: 203)
Model-Level  : 1200.0  
Problems     : 15       (Average Length: 25.33 Splits: 0)
Lemmas       : 314310   (Deleted: 285700)
  Binary     : 1900     (Ratio:   0.60%)
  Ternary    : 1697     (Ratio:   0.54%)
  Conflict   : 314310   (Average Length: 1241.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 314310   (Average: 45.92 Max: 4519 Sum: 14433807)
  Executed   : 313984   (Average: 45.90 Max: 4519 Sum: 14425571 Ratio:  99.94%)
  Bounded    : 326      (Average: 25.26 Max:  42 Sum:   8236 Ratio:   0.06%)

Rules        : 719353   (Original: 719261)
Atoms        : 216262  
Bodies       : 338825   (Original: 338732)
  Count      : 685      (Original: 693)
Equivalences : 172283   (Atom=Atom: 33 Body=Body: 0 Other: 172250)
Tight        : Yes
Variables    : 489300   (Eliminated:  100 Frozen: 489200)
Constraints  : 4527988  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 81.04s
Memory:		 1009MB (+50MB)
UNKNOWN
Iteration Time:	 83.37s

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

Models       : 0+
Calls        : 16
Time         : 722.746s (Solving: 657.02s 1st Model: 2.86s Unsat: 0.35s)
CPU Time     : 722.644s

Choices      : 18118008 (Domain: 18117972)
Conflicts    : 342422   (Analyzed: 342421)
Restarts     : 1229     (Average: 278.62 Last: 203)
Model-Level  : 1200.0  
Problems     : 16       (Average Length: 26.69 Splits: 0)
Lemmas       : 342421   (Deleted: 317047)
  Binary     : 1945     (Ratio:   0.57%)
  Ternary    : 1738     (Ratio:   0.51%)
  Conflict   : 342421   (Average Length: 1364.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 342421   (Average: 50.28 Max: 5944 Sum: 17217515)
  Executed   : 342094   (Average: 50.26 Max: 5944 Sum: 17209232 Ratio:  99.95%)
  Bounded    : 327      (Average: 25.33 Max:  47 Sum:   8283 Ratio:   0.05%)

Rules        : 719353   (Original: 719261)
Atoms        : 216262  
Bodies       : 338825   (Original: 338732)
  Count      : 685      (Original: 693)
Equivalences : 172283   (Atom=Atom: 33 Body=Body: 0 Other: 172250)
Tight        : Yes
Variables    : 552006   (Eliminated:  100 Frozen: 551906)
Constraints  : 5166394  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 98.89s
Memory:		 1070MB (+55MB)
UNKNOWN
Iteration Time:	 101.30s

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

Models       : 0+
Calls        : 17
Time         : 826.502s (Solving: 752.47s 1st Model: 2.86s Unsat: 0.35s)
CPU Time     : 826.444s

Choices      : 20224027 (Domain: 20223991)
Conflicts    : 370508   (Analyzed: 370507)
Restarts     : 1329     (Average: 278.79 Last: 203)
Model-Level  : 1200.0  
Problems     : 17       (Average Length: 28.18 Splits: 0)
Lemmas       : 370507   (Deleted: 344588)
  Binary     : 1978     (Ratio:   0.53%)
  Ternary    : 1769     (Ratio:   0.48%)
  Conflict   : 370507   (Average Length: 1449.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 370507   (Average: 51.67 Max: 5944 Sum: 19144840)
  Executed   : 370180   (Average: 51.65 Max: 5944 Sum: 19136557 Ratio:  99.96%)
  Bounded    : 327      (Average: 25.33 Max:  47 Sum:   8283 Ratio:   0.04%)

Rules        : 719353   (Original: 719261)
Atoms        : 216262  
Bodies       : 338825   (Original: 338732)
  Count      : 685      (Original: 693)
Equivalences : 172283   (Atom=Atom: 33 Body=Body: 0 Other: 172250)
Tight        : Yes
Variables    : 614712   (Eliminated:  100 Frozen: 614612)
Constraints  : 5807294  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 101.38s
Memory:		 1173MB (+91MB)
UNKNOWN
Iteration Time:	 103.81s

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: 1341.0MB
Grounding...	 [('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('check', [55])]
Grounding Time:	 1.64s
Memory:		 1173MB (+0MB)
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 18
Time         : 883.140s (Solving: 800.72s 1st Model: 2.86s Unsat: 0.35s)
CPU Time     : 883.088s

Choices      : 21287656 (Domain: 21287620)
Conflicts    : 386474   (Analyzed: 386473)
Restarts     : 1390     (Average: 278.04 Last: 1496)
Model-Level  : 1200.0  
Problems     : 18       (Average Length: 29.78 Splits: 0)
Lemmas       : 386473   (Deleted: 360999)
  Binary     : 1986     (Ratio:   0.51%)
  Ternary    : 1773     (Ratio:   0.46%)
  Conflict   : 386473   (Average Length: 1514.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 386473   (Average: 52.08 Max: 6428 Sum: 20127525)
  Executed   : 386144   (Average: 52.06 Max: 6428 Sum: 20119128 Ratio:  99.96%)
  Bounded    : 329      (Average: 25.52 Max:  57 Sum:   8397 Ratio:   0.04%)

Rules        : 719353   (Original: 719261)
Atoms        : 216262  
Bodies       : 338825   (Original: 338732)
  Count      : 685      (Original: 693)
Equivalences : 172283   (Atom=Atom: 33 Body=Body: 0 Other: 172250)
Tight        : Yes
Variables    : 677418   (Eliminated:  100 Frozen: 677318)
Constraints  : 6448244  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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