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-11.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-11.pddl
Parsing...
Parsing: [0.050s CPU, 0.061s 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.025s wall-clock]
Preparing model... [0.050s CPU, 0.055s wall-clock]
Generated 46 rules.
Computing model... [3.100s CPU, 3.097s wall-clock]
28784 relevant atoms
11208 auxiliary atoms
39992 final queue length
91552 total queue pushes
Completing instantiation... [10.120s CPU, 10.109s wall-clock]
Instantiating: [13.360s CPU, 13.341s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.140s CPU, 0.148s wall-clock]
Checking invariant weight... [0.010s CPU, 0.005s wall-clock]
Instantiating groups... [0.090s CPU, 0.095s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.010s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.030s CPU, 0.026s wall-clock]
Building translation key... [0.010s CPU, 0.017s wall-clock]
Computing fact groups: [0.360s CPU, 0.370s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.008s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.006s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.012s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.440s CPU, 0.439s wall-clock]
Translating task: [8.250s CPU, 8.249s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
56 propositions removed
Detecting unreachable propositions: [4.260s CPU, 4.250s wall-clock]
Reordering and filtering variables...
56 of 56 variables necessary.
0 of 56 mutex groups necessary.
26696 of 26696 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [1.250s CPU, 1.251s wall-clock]
Translator variables: 56
Translator derived variables: 0
Translator facts: 1432
Translator goal facts: 40
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 26696
Translator axioms: 0
Translator task size: 160336
Translator peak memory: 140708 KB
Writing output... [2.710s CPU, 2.898s wall-clock]
Done! [30.620s CPU, 30.804s wall-clock]
planner.py version 0.0.1

Time:	 7.00s
Memory: 494MB

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

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

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

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

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

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        : 483386  
Atoms        : 483386  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 120011   (Eliminated:    0 Frozen: 120011)
Constraints  : 286727   (Binary:  98.1% Ternary:   0.8% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 11.90s
Memory:		 602MB (+36MB)
UNSAT
Iteration Time:	 15.71s

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

Models       : 0
Calls        : 3
Time         : 56.639s (Solving: 8.70s 1st Model: 0.00s Unsat: 8.70s)
CPU Time     : 55.556s

Choices      : 192212   (Domain: 192212)
Conflicts    : 21810    (Analyzed: 21809)
Restarts     : 77       (Average: 283.23 Last: 136)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 21809    (Deleted: 16714)
  Binary     : 463      (Ratio:   2.12%)
  Ternary    : 307      (Ratio:   1.41%)
  Conflict   : 21809    (Average Length:  463.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 21809    (Average:  8.46 Max: 739 Sum: 184569)
  Executed   : 21802    (Average:  8.46 Max: 739 Sum: 184562 Ratio: 100.00%)
  Bounded    : 7        (Average:  1.00 Max:   1 Sum:      7 Ratio:   0.00%)

Rules        : 483386  
Atoms        : 483386  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 265286   (Eliminated:    0 Frozen: 265286)
Constraints  : 1465677  (Binary:  98.6% Ternary:   0.6% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 28.95s
Memory:		 704MB (+97MB)
UNSAT
Iteration Time:	 32.84s

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

Models       : 0+
Calls        : 4
Time         : 102.282s (Solving: 29.79s 1st Model: 0.00s Unsat: 8.70s)
CPU Time     : 101.220s

Choices      : 948460   (Domain: 948460)
Conflicts    : 49948    (Analyzed: 49947)
Restarts     : 177      (Average: 282.19 Last: 200)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 49947    (Deleted: 37244)
  Binary     : 859      (Ratio:   1.72%)
  Ternary    : 542      (Ratio:   1.09%)
  Conflict   : 49947    (Average Length:  574.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 49947    (Average: 17.68 Max: 1328 Sum: 883275)
  Executed   : 49930    (Average: 17.68 Max: 1328 Sum: 883258 Ratio: 100.00%)
  Bounded    : 17       (Average:  1.00 Max:   1 Sum:     17 Ratio:   0.00%)

Rules        : 483386  
Atoms        : 483386  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 413377   (Eliminated:    0 Frozen: 413377)
Constraints  : 2672947  (Binary:  98.7% Ternary:   0.6% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 42.15s
Memory:		 858MB (+135MB)
UNKNOWN
Iteration Time:	 45.67s

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

Models       : 0+
Calls        : 5
Time         : 161.285s (Solving: 64.07s 1st Model: 0.00s Unsat: 8.70s)
CPU Time     : 160.248s

Choices      : 2141713  (Domain: 2141713)
Conflicts    : 78079    (Analyzed: 78078)
Restarts     : 277      (Average: 281.87 Last: 201)
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 78078    (Deleted: 63749)
  Binary     : 1003     (Ratio:   1.28%)
  Ternary    : 649      (Ratio:   0.83%)
  Conflict   : 78078    (Average Length:  945.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 78078    (Average: 24.86 Max: 2092 Sum: 1940770)
  Executed   : 78044    (Average: 24.85 Max: 2092 Sum: 1940442 Ratio:  99.98%)
  Bounded    : 34       (Average:  9.65 Max:  22 Sum:    328 Ratio:   0.02%)

Rules        : 483386  
Atoms        : 483386  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 561468   (Eliminated:    0 Frozen: 561468)
Constraints  : 3880217  (Binary:  98.7% Ternary:   0.6% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 55.37s
Memory:		 1031MB (+156MB)
UNKNOWN
Iteration Time:	 59.04s

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

Models       : 1+
Calls        : 6
Time         : 202.138s (Solving: 79.88s 1st Model: 15.74s Unsat: 8.70s)
CPU Time     : 201.116s

Choices      : 2745931  (Domain: 2745875)
Conflicts    : 87363    (Analyzed: 87362)
Restarts     : 315      (Average: 277.34 Last: 201)
Model-Level  : 2884.0  
Problems     : 6        (Average Length: 14.50 Splits: 0)
Lemmas       : 87362    (Deleted: 63749)
  Binary     : 1061     (Ratio:   1.21%)
  Ternary    : 672      (Ratio:   0.77%)
  Conflict   : 87362    (Average Length:  989.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 87362    (Average: 28.16 Max: 2959 Sum: 2460356)
  Executed   : 87323    (Average: 28.16 Max: 2959 Sum: 2459971 Ratio:  99.98%)
  Bounded    : 39       (Average:  9.87 Max:  27 Sum:    385 Ratio:   0.02%)

Rules        : 483386  
Atoms        : 483386  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 709559   (Eliminated:    0 Frozen: 709559)
Constraints  : 5087361  (Binary:  98.7% Ternary:   0.6% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 36.99s
Memory:		 1166MB (+113MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 11.92s
Memory:		 1421MB (+255MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 7
Time         : 421.343s (Solving: 287.51s 1st Model: 15.74s Unsat: 8.70s)
CPU Time     : 420.416s

Choices      : 8855404  (Domain: 8855348)
Conflicts    : 115430   (Analyzed: 115429)
Restarts     : 415      (Average: 278.14 Last: 201)
Model-Level  : 2884.0  
Problems     : 7        (Average Length: 16.29 Splits: 0)
Lemmas       : 115429   (Deleted: 98812)
  Binary     : 1543     (Ratio:   1.34%)
  Ternary    : 1067     (Ratio:   0.92%)
  Conflict   : 115429   (Average Length:  892.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 115429   (Average: 73.18 Max: 6635 Sum: 8446667)
  Executed   : 115194   (Average: 73.13 Max: 6635 Sum: 8440990 Ratio:  99.93%)
  Bounded    : 235      (Average: 24.16 Max:  27 Sum:   5677 Ratio:   0.07%)

Rules        : 2205435  (Original: 2205370)
Atoms        : 539260  
Bodies       : 1117283  (Original: 1117217)
  Count      : 1329     (Original: 1336)
Equivalences : 564178   (Atom=Atom: 43 Body=Body: 0 Other: 564135)
Tight        : Yes
Variables    : 712343   (Eliminated:   72 Frozen: 712271)
Constraints  : 6757686  (Binary:  99.0% Ternary:   0.5% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 213.07s
Memory:		 1501MB (+80MB)
UNKNOWN
Iteration Time:	 265.87s

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

Models       : 0+
Calls        : 8
Time         : 695.710s (Solving: 523.36s 1st Model: 15.74s Unsat: 8.70s)
CPU Time     : 694.900s

Choices      : 14942503 (Domain: 14942447)
Conflicts    : 143529   (Analyzed: 143528)
Restarts     : 515      (Average: 278.70 Last: 201)
Model-Level  : 2884.0  
Problems     : 8        (Average Length: 18.25 Splits: 0)
Lemmas       : 143528   (Deleted: 125792)
  Binary     : 1729     (Ratio:   1.20%)
  Ternary    : 1230     (Ratio:   0.86%)
  Conflict   : 143528   (Average Length: 1000.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 143528   (Average: 100.37 Max: 7016 Sum: 14405205)
  Executed   : 143222   (Average: 100.31 Max: 7016 Sum: 14397256 Ratio:  99.94%)
  Bounded    : 306      (Average: 25.98 Max:  32 Sum:   7949 Ratio:   0.06%)

Rules        : 2205435  (Original: 2205370)
Atoms        : 539260  
Bodies       : 1117283  (Original: 1117217)
  Count      : 1329     (Original: 1336)
Equivalences : 564178   (Atom=Atom: 43 Body=Body: 0 Other: 564135)
Tight        : Yes
Variables    : 860994   (Eliminated:   72 Frozen: 860922)
Constraints  : 8213763  (Binary:  99.0% Ternary:   0.5% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 268.70s
Memory:		 1572MB (+71MB)
UNKNOWN
Iteration Time:	 274.49s

Iteration 8
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), (16,80,0,True)]
Grounded Until:	 30
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 9
Time         : 778.992s (Solving: 606.38s 1st Model: 15.74s Unsat: 8.70s)
CPU Time     : 778.216s

Choices      : 16234949 (Domain: 16234893)
Conflicts    : 171629   (Analyzed: 171628)
Restarts     : 615      (Average: 279.07 Last: 201)
Model-Level  : 2884.0  
Problems     : 9        (Average Length: 19.78 Splits: 0)
Lemmas       : 171628   (Deleted: 152398)
  Binary     : 1916     (Ratio:   1.12%)
  Ternary    : 1354     (Ratio:   0.79%)
  Conflict   : 171628   (Average Length: 1194.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 171628   (Average: 91.26 Max: 7016 Sum: 15663144)
  Executed   : 171295   (Average: 91.21 Max: 7016 Sum: 15654331 Ratio:  99.94%)
  Bounded    : 333      (Average: 26.47 Max:  32 Sum:   8813 Ratio:   0.06%)

Rules        : 2205435  (Original: 2205370)
Atoms        : 539260  
Bodies       : 1117283  (Original: 1117217)
  Count      : 1329     (Original: 1336)
Equivalences : 564178   (Atom=Atom: 43 Body=Body: 0 Other: 564135)
Tight        : Yes
Variables    : 860994   (Eliminated:   72 Frozen: 860922)
Constraints  : 8189260  (Binary:  99.0% Ternary:   0.5% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 83.22s
Memory:		 1598MB (+26MB)
UNKNOWN
Iteration Time:	 83.32s

Iteration 9
Queue:		 [(4,20,1,True), (5,25,1,True), (6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 10
Time         : 861.405s (Solving: 688.54s 1st Model: 15.74s Unsat: 8.70s)
CPU Time     : 860.644s

Choices      : 17880144 (Domain: 17880088)
Conflicts    : 191308   (Analyzed: 191307)
Restarts     : 681      (Average: 280.92 Last: 201)
Model-Level  : 2884.0  
Problems     : 10       (Average Length: 21.00 Splits: 0)
Lemmas       : 191307   (Deleted: 167968)
  Binary     : 2062     (Ratio:   1.08%)
  Ternary    : 1487     (Ratio:   0.78%)
  Conflict   : 191307   (Average Length: 1104.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 191307   (Average: 90.18 Max: 7016 Sum: 17252343)
  Executed   : 190915   (Average: 90.13 Max: 7016 Sum: 17241642 Ratio:  99.94%)
  Bounded    : 392      (Average: 27.30 Max:  32 Sum:  10701 Ratio:   0.06%)

Rules        : 2205435  (Original: 2205370)
Atoms        : 539260  
Bodies       : 1117283  (Original: 1117217)
  Count      : 1329     (Original: 1336)
Equivalences : 564178   (Atom=Atom: 43 Body=Body: 0 Other: 564135)
Tight        : Yes
Variables    : 860994   (Eliminated:   72 Frozen: 860922)
Constraints  : 8156694  (Binary:  99.0% Ternary:   0.5% Other:   0.5%)

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


