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.060s CPU, 0.064s wall-clock]
Normalizing task... [0.000s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.016s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.026s wall-clock]
Preparing model... [0.050s CPU, 0.049s wall-clock]
Generated 46 rules.
Computing model... [1.520s CPU, 1.514s wall-clock]
13365 relevant atoms
6588 auxiliary atoms
19953 final queue length
42363 total queue pushes
Completing instantiation... [4.360s CPU, 4.361s wall-clock]
Instantiating: [5.990s CPU, 5.986s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.080s CPU, 0.074s wall-clock]
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
Instantiating groups... [0.060s CPU, 0.057s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.006s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.020s CPU, 0.018s wall-clock]
Building translation key... [0.010s CPU, 0.011s wall-clock]
Computing fact groups: [0.220s CPU, 0.216s 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.193s wall-clock]
Translating task: [3.630s CPU, 3.636s 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.920s CPU, 1.914s 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.555s 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.210s CPU, 1.302s wall-clock]
Done! [13.770s CPU, 13.854s wall-clock]
planner.py version 0.0.1

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

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

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: 56236)
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:	 2.39s
Memory:		 332MB (+14MB)
UNSAT
Iteration Time:	 3.92s

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

Models       : 0+
Calls        : 3
Time         : 40.363s (Solving: 27.50s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 39.912s

Choices      : 285285   (Domain: 285285)
Conflicts    : 54739    (Analyzed: 54739)
Restarts     : 100      (Average: 547.39 Last: 614)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 54739    (Deleted: 37260)
  Binary     : 472      (Ratio:   0.86%)
  Ternary    : 217      (Ratio:   0.40%)
  Conflict   : 54739    (Average Length:  851.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 54739    (Average:  4.90 Max: 585 Sum: 268364)
  Executed   : 54724    (Average:  4.90 Max: 585 Sum: 268349 Ratio:  99.99%)
  Bounded    : 15       (Average:  1.00 Max:   1 Sum:     15 Ratio:   0.01%)

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

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

[endof: stats after solve call]
Solving Time:	 31.52s
Memory:		 434MB (+102MB)
UNKNOWN
Iteration Time:	 33.04s

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

Models       : 0+
Calls        : 4
Time         : 57.881s (Solving: 39.01s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 57.440s

Choices      : 774109   (Domain: 774109)
Conflicts    : 77539    (Analyzed: 77539)
Restarts     : 200      (Average: 387.69 Last: 614)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 77539    (Deleted: 62486)
  Binary     : 662      (Ratio:   0.85%)
  Ternary    : 327      (Ratio:   0.42%)
  Conflict   : 77539    (Average Length:  784.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 77539    (Average:  9.10 Max: 1121 Sum: 705812)
  Executed   : 77516    (Average:  9.10 Max: 1121 Sum: 705773 Ratio:  99.99%)
  Bounded    : 23       (Average:  1.70 Max:  17 Sum:     39 Ratio:   0.01%)

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

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

[endof: stats after solve call]
Solving Time:	 15.81s
Memory:		 515MB (+55MB)
UNKNOWN
Iteration Time:	 17.54s

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

Models       : 1+
Calls        : 5
Time         : 64.569s (Solving: 39.31s 1st Model: 0.28s Unsat: 0.00s)
CPU Time     : 64.132s

Choices      : 783105   (Domain: 783069)
Conflicts    : 78046    (Analyzed: 78046)
Restarts     : 201      (Average: 388.29 Last: 614)
Model-Level  : 1724.0  
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 78046    (Deleted: 62486)
  Binary     : 677      (Ratio:   0.87%)
  Ternary    : 341      (Ratio:   0.44%)
  Conflict   : 78046    (Average Length:  782.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 78046    (Average:  9.12 Max: 1121 Sum: 711800)
  Executed   : 78023    (Average:  9.12 Max: 1121 Sum: 711761 Ratio:  99.99%)
  Bounded    : 23       (Average:  1.70 Max:  17 Sum:     39 Ratio:   0.01%)

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

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

[endof: stats after solve call]
Solving Time:	 5.13s
Memory:		 568MB (+42MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 4.32s
Memory:		 680MB (+112MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 6
Time         : 165.287s (Solving: 136.91s 1st Model: 0.28s Unsat: 0.00s)
CPU Time     : 164.892s

Choices      : 5567788  (Domain: 5567752)
Conflicts    : 123695   (Analyzed: 123695)
Restarts     : 301      (Average: 410.95 Last: 614)
Model-Level  : 1724.0  
Problems     : 6        (Average Length: 13.67 Splits: 0)
Lemmas       : 123695   (Deleted: 98105)
  Binary     : 1036     (Ratio:   0.84%)
  Ternary    : 756      (Ratio:   0.61%)
  Conflict   : 123695   (Average Length:  727.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 123695   (Average: 43.75 Max: 2592 Sum: 5411642)
  Executed   : 123487   (Average: 43.72 Max: 2592 Sum: 5407533 Ratio:  99.92%)
  Bounded    : 208      (Average: 19.75 Max:  22 Sum:   4109 Ratio:   0.08%)

Rules        : 787792   (Original: 787741)
Atoms        : 239844  
Bodies       : 368836   (Original: 368784)
  Count      : 738      (Original: 747)
Equivalences : 187302   (Atom=Atom: 30 Body=Body: 0 Other: 187272)
Tight        : Yes
Variables    : 262667   (Eliminated:   60 Frozen: 262607)
Constraints  : 2240469  (Binary:  98.4% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 98.99s
Memory:		 652MB (+-28MB)
UNKNOWN
Iteration Time:	 110.01s

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

Models       : 0+
Calls        : 7
Time         : 286.050s (Solving: 248.04s 1st Model: 0.28s Unsat: 0.00s)
CPU Time     : 285.704s

Choices      : 11151997 (Domain: 11151961)
Conflicts    : 166451   (Analyzed: 166451)
Restarts     : 401      (Average: 415.09 Last: 614)
Model-Level  : 1724.0  
Problems     : 7        (Average Length: 15.57 Splits: 0)
Lemmas       : 166451   (Deleted: 140926)
  Binary     : 1313     (Ratio:   0.79%)
  Ternary    : 1014     (Ratio:   0.61%)
  Conflict   : 166451   (Average Length:  694.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 166451   (Average: 65.02 Max: 3538 Sum: 10822486)
  Executed   : 166161   (Average: 64.98 Max: 3538 Sum: 10816163 Ratio:  99.94%)
  Bounded    : 290      (Average: 21.80 Max:  27 Sum:   6323 Ratio:   0.06%)

Rules        : 787792   (Original: 787741)
Atoms        : 239844  
Bodies       : 368836   (Original: 368784)
  Count      : 738      (Original: 747)
Equivalences : 187302   (Atom=Atom: 30 Body=Body: 0 Other: 187272)
Tight        : Yes
Variables    : 332078   (Eliminated:   60 Frozen: 332018)
Constraints  : 2895689  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 118.25s
Memory:		 740MB (+88MB)
UNKNOWN
Iteration Time:	 120.82s

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

Models       : 0+
Calls        : 8
Time         : 434.333s (Solving: 386.39s 1st Model: 0.28s Unsat: 0.00s)
CPU Time     : 434.052s

Choices      : 18137429 (Domain: 18137393)
Conflicts    : 206353   (Analyzed: 206353)
Restarts     : 501      (Average: 411.88 Last: 614)
Model-Level  : 1724.0  
Problems     : 8        (Average Length: 17.62 Splits: 0)
Lemmas       : 206353   (Deleted: 183709)
  Binary     : 1524     (Ratio:   0.74%)
  Ternary    : 1187     (Ratio:   0.58%)
  Conflict   : 206353   (Average Length:  704.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 206353   (Average: 85.27 Max: 3538 Sum: 17594996)
  Executed   : 206055   (Average: 85.23 Max: 3538 Sum: 17588417 Ratio:  99.96%)
  Bounded    : 298      (Average: 22.08 Max:  32 Sum:   6579 Ratio:   0.04%)

Rules        : 787792   (Original: 787741)
Atoms        : 239844  
Bodies       : 368836   (Original: 368784)
  Count      : 738      (Original: 747)
Equivalences : 187302   (Atom=Atom: 30 Body=Body: 0 Other: 187272)
Tight        : Yes
Variables    : 401489   (Eliminated:   60 Frozen: 401429)
Constraints  : 3580800  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 145.49s
Memory:		 804MB (+39MB)
UNKNOWN
Iteration Time:	 148.36s

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         : 434.569s (Solving: 386.47s 1st Model: 0.28s Unsat: 0.09s)
CPU Time     : 434.288s

Choices      : 18137446 (Domain: 18137410)
Conflicts    : 206371   (Analyzed: 206370)
Restarts     : 501      (Average: 411.92 Last: 614)
Model-Level  : 1724.0  
Problems     : 9        (Average Length: 19.22 Splits: 0)
Lemmas       : 206370   (Deleted: 183709)
  Binary     : 1524     (Ratio:   0.74%)
  Ternary    : 1188     (Ratio:   0.58%)
  Conflict   : 206370   (Average Length:  704.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 206370   (Average: 85.26 Max: 3538 Sum: 17595014)
  Executed   : 206071   (Average: 85.23 Max: 3538 Sum: 17588434 Ratio:  99.96%)
  Bounded    : 299      (Average: 22.01 Max:  32 Sum:   6580 Ratio:   0.04%)

Rules        : 787792   (Original: 787741)
Atoms        : 239844  
Bodies       : 368836   (Original: 368784)
  Count      : 738      (Original: 747)
Equivalences : 187302   (Atom=Atom: 30 Body=Body: 0 Other: 187272)
Tight        : Yes
Variables    : 401489   (Eliminated:   60 Frozen: 401429)
Constraints  : 3574880  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 0.17s
Memory:		 804MB (+0MB)
UNSAT
Iteration Time:	 0.24s

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         : 458.670s (Solving: 410.45s 1st Model: 0.28s Unsat: 24.06s)
CPU Time     : 458.400s

Choices      : 18191227 (Domain: 18191191)
Conflicts    : 224918   (Analyzed: 224916)
Restarts     : 535      (Average: 420.40 Last: 1007)
Model-Level  : 1724.0  
Problems     : 10       (Average Length: 20.50 Splits: 0)
Lemmas       : 224916   (Deleted: 196512)
  Binary     : 1727     (Ratio:   0.77%)
  Ternary    : 1287     (Ratio:   0.57%)
  Conflict   : 224916   (Average Length:  763.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 224916   (Average: 78.46 Max: 3538 Sum: 17647394)
  Executed   : 224582   (Average: 78.43 Max: 3538 Sum: 17639973 Ratio:  99.96%)
  Bounded    : 334      (Average: 22.22 Max:  32 Sum:   7421 Ratio:   0.04%)

Rules        : 787792   (Original: 787741)
Atoms        : 239844  
Bodies       : 368836   (Original: 368784)
  Count      : 738      (Original: 747)
Equivalences : 187302   (Atom=Atom: 30 Body=Body: 0 Other: 187272)
Tight        : Yes
Variables    : 401489   (Eliminated:   60 Frozen: 401429)
Constraints  : 3574880  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 24.06s
Memory:		 804MB (+0MB)
UNSAT
Iteration Time:	 24.11s

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         : 532.811s (Solving: 484.47s 1st Model: 0.28s Unsat: 24.06s)
CPU Time     : 532.572s

Choices      : 19043118 (Domain: 19043082)
Conflicts    : 261860   (Analyzed: 261858)
Restarts     : 635      (Average: 412.37 Last: 1007)
Model-Level  : 1724.0  
Problems     : 11       (Average Length: 21.55 Splits: 0)
Lemmas       : 261858   (Deleted: 239274)
  Binary     : 1841     (Ratio:   0.70%)
  Ternary    : 1415     (Ratio:   0.54%)
  Conflict   : 261858   (Average Length: 1048.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 261858   (Average: 70.43 Max: 3538 Sum: 18443185)
  Executed   : 261522   (Average: 70.40 Max: 3538 Sum: 18435762 Ratio:  99.96%)
  Bounded    : 336      (Average: 22.09 Max:  32 Sum:   7423 Ratio:   0.04%)

Rules        : 787792   (Original: 787741)
Atoms        : 239844  
Bodies       : 368836   (Original: 368784)
  Count      : 738      (Original: 747)
Equivalences : 187302   (Atom=Atom: 30 Body=Body: 0 Other: 187272)
Tight        : Yes
Variables    : 401489   (Eliminated:   60 Frozen: 401429)
Constraints  : 3573213  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 74.12s
Memory:		 932MB (+128MB)
UNKNOWN
Iteration Time:	 74.18s

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         : 610.961s (Solving: 562.50s 1st Model: 0.28s Unsat: 24.06s)
CPU Time     : 610.756s

Choices      : 23154038 (Domain: 23154002)
Conflicts    : 293135   (Analyzed: 293133)
Restarts     : 735      (Average: 398.82 Last: 1007)
Model-Level  : 1724.0  
Problems     : 12       (Average Length: 22.42 Splits: 0)
Lemmas       : 293133   (Deleted: 267147)
  Binary     : 1946     (Ratio:   0.66%)
  Ternary    : 1546     (Ratio:   0.53%)
  Conflict   : 293133   (Average Length: 1012.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 293133   (Average: 76.37 Max: 3890 Sum: 22386948)
  Executed   : 292789   (Average: 76.35 Max: 3890 Sum: 22379300 Ratio:  99.97%)
  Bounded    : 344      (Average: 22.23 Max:  32 Sum:   7648 Ratio:   0.03%)

Rules        : 787792   (Original: 787741)
Atoms        : 239844  
Bodies       : 368836   (Original: 368784)
  Count      : 738      (Original: 747)
Equivalences : 187302   (Atom=Atom: 30 Body=Body: 0 Other: 187272)
Tight        : Yes
Variables    : 401489   (Eliminated:   60 Frozen: 401429)
Constraints  : 3573213  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 78.14s
Memory:		 932MB (+0MB)
UNKNOWN
Iteration Time:	 78.19s

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         : 724.662s (Solving: 676.07s 1st Model: 0.28s Unsat: 24.06s)
CPU Time     : 724.504s

Choices      : 28449146 (Domain: 28449110)
Conflicts    : 329611   (Analyzed: 329609)
Restarts     : 835      (Average: 394.74 Last: 1007)
Model-Level  : 1724.0  
Problems     : 13       (Average Length: 23.15 Splits: 0)
Lemmas       : 329609   (Deleted: 302103)
  Binary     : 2098     (Ratio:   0.64%)
  Ternary    : 1699     (Ratio:   0.52%)
  Conflict   : 329609   (Average Length: 1006.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 329609   (Average: 83.33 Max: 4183 Sum: 27464877)
  Executed   : 329261   (Average: 83.30 Max: 4183 Sum: 27457101 Ratio:  99.97%)
  Bounded    : 348      (Average: 22.34 Max:  32 Sum:   7776 Ratio:   0.03%)

Rules        : 787792   (Original: 787741)
Atoms        : 239844  
Bodies       : 368836   (Original: 368784)
  Count      : 738      (Original: 747)
Equivalences : 187302   (Atom=Atom: 30 Body=Body: 0 Other: 187272)
Tight        : Yes
Variables    : 401489   (Eliminated:   60 Frozen: 401429)
Constraints  : 3571367  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 113.70s
Memory:		 932MB (+0MB)
UNKNOWN
Iteration Time:	 113.75s

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

Models       : 0+
Calls        : 14
Time         : 838.957s (Solving: 780.66s 1st Model: 0.28s Unsat: 24.06s)
CPU Time     : 838.848s

Choices      : 33509963 (Domain: 33509927)
Conflicts    : 358107   (Analyzed: 358105)
Restarts     : 935      (Average: 383.00 Last: 1007)
Model-Level  : 1724.0  
Problems     : 14       (Average Length: 24.14 Splits: 0)
Lemmas       : 358105   (Deleted: 322955)
  Binary     : 2247     (Ratio:   0.63%)
  Ternary    : 1802     (Ratio:   0.50%)
  Conflict   : 358105   (Average Length: 1019.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 358105   (Average: 90.06 Max: 5194 Sum: 32249675)
  Executed   : 357754   (Average: 90.03 Max: 5194 Sum: 32241788 Ratio:  99.98%)
  Bounded    : 351      (Average: 22.47 Max:  37 Sum:   7887 Ratio:   0.02%)

Rules        : 787792   (Original: 787741)
Atoms        : 239844  
Bodies       : 368836   (Original: 368784)
  Count      : 738      (Original: 747)
Equivalences : 187302   (Atom=Atom: 30 Body=Body: 0 Other: 187272)
Tight        : Yes
Variables    : 470900   (Eliminated:   60 Frozen: 470840)
Constraints  : 4281674  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 111.73s
Memory:		 1027MB (+86MB)
UNKNOWN
Iteration Time:	 114.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: 1129.0MB
Grounding...	 [('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('check', [40])]
Grounding Time:	 1.76s
Memory:		 1027MB (+0MB)
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 15
Time         : 881.643s (Solving: 813.63s 1st Model: 0.28s Unsat: 24.06s)
CPU Time     : 881.536s

Choices      : 34920756 (Domain: 34920720)
Conflicts    : 366972   (Analyzed: 366970)
Restarts     : 957      (Average: 383.46 Last: 1007)
Model-Level  : 1724.0  
Problems     : 15       (Average Length: 25.33 Splits: 0)
Lemmas       : 366970   (Deleted: 322955)
  Binary     : 2265     (Ratio:   0.62%)
  Ternary    : 1825     (Ratio:   0.50%)
  Conflict   : 366970   (Average Length: 1037.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 366970   (Average: 91.54 Max: 5194 Sum: 33593288)
  Executed   : 366618   (Average: 91.52 Max: 5194 Sum: 33585359 Ratio:  99.98%)
  Bounded    : 352      (Average: 22.53 Max:  42 Sum:   7929 Ratio:   0.02%)

Rules        : 787792   (Original: 787741)
Atoms        : 239844  
Bodies       : 368836   (Original: 368784)
  Count      : 738      (Original: 747)
Equivalences : 187302   (Atom=Atom: 30 Body=Body: 0 Other: 187272)
Tight        : Yes
Variables    : 540311   (Eliminated:   60 Frozen: 540251)
Constraints  : 4992329  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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


