INFO     Running translator.
INFO     translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-8.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/parking-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-8.pddl
Parsing...
Parsing: [0.020s CPU, 0.022s wall-clock]
Normalizing task... [0.000s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.007s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.015s wall-clock]
Preparing model... [0.020s CPU, 0.015s wall-clock]
Generated 32 rules.
Computing model... [3.850s CPU, 3.854s wall-clock]
42827 relevant atoms
4396 auxiliary atoms
47223 final queue length
138834 total queue pushes
Completing instantiation... [15.850s CPU, 15.847s wall-clock]
Instantiating: [19.780s CPU, 19.781s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.060s CPU, 0.056s wall-clock]
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
Instantiating groups... [0.060s CPU, 0.061s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.008s wall-clock]
Choosing groups...
66 uncovered facts
Choosing groups: [0.040s CPU, 0.038s wall-clock]
Building translation key... [0.010s CPU, 0.015s wall-clock]
Computing fact groups: [0.240s CPU, 0.242s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.007s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.014s wall-clock]
Building mutex information...
Building mutex information: [0.030s CPU, 0.025s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.790s CPU, 0.787s wall-clock]
Translating task: [17.210s CPU, 17.189s wall-clock]
49010 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
26 propositions removed
Detecting unreachable propositions: [8.670s CPU, 8.679s wall-clock]
Reordering and filtering variables...
92 of 92 variables necessary.
40 of 66 mutex groups necessary.
39546 of 39546 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [3.430s CPU, 3.423s wall-clock]
Translator variables: 92
Translator derived variables: 0
Translator facts: 1172
Translator goal facts: 26
Translator mutex groups: 40
Translator total mutex groups size: 1080
Translator operators: 39546
Translator axioms: 0
Translator task size: 322456
Translator peak memory: 226608 KB
Writing output... [5.600s CPU, 5.989s wall-clock]
Done! [55.630s CPU, 56.002s wall-clock]
planner.py version 0.0.1

Time:	 12.78s
Memory: 810MB

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

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

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

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

Models       : 0
Calls        : 2
Time         : 77.679s (Solving: 16.22s 1st Model: 0.00s Unsat: 16.22s)
CPU Time     : 76.004s

Choices      : 124439   (Domain: 124439)
Conflicts    : 15463    (Analyzed: 15462)
Restarts     : 94       (Average: 164.49 Last: 686)
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 15462    (Deleted: 4851)
  Binary     : 61       (Ratio:   0.39%)
  Ternary    : 62       (Ratio:   0.40%)
  Conflict   : 15462    (Average Length: 1461.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 15462    (Average:  7.33 Max: 287 Sum: 113282)
  Executed   : 15233    (Average:  7.26 Max: 287 Sum: 112232 Ratio:  99.07%)
  Bounded    : 229      (Average:  4.59 Max:   7 Sum:   1050 Ratio:   0.93%)

Rules        : 942843  
Atoms        : 942843  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 169165   (Eliminated:    0 Frozen: 169165)
Constraints  : 1347467  (Binary:  99.4% Ternary:   0.3% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 55.32s
Memory:		 979MB (+97MB)
UNSAT
Iteration Time:	 63.17s

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

Models       : 0+
Calls        : 3
Time         : 204.968s (Solving: 65.13s 1st Model: 0.00s Unsat: 16.22s)
CPU Time     : 203.348s

Choices      : 1010828  (Domain: 1010828)
Conflicts    : 41396    (Analyzed: 41395)
Restarts     : 194      (Average: 213.38 Last: 686)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 41395    (Deleted: 25749)
  Binary     : 109      (Ratio:   0.26%)
  Ternary    : 108      (Ratio:   0.26%)
  Conflict   : 41395    (Average Length: 2607.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 41395    (Average: 23.14 Max: 921 Sum: 957846)
  Executed   : 41135    (Average: 23.11 Max: 921 Sum: 956623 Ratio:  99.87%)
  Bounded    : 260      (Average:  4.70 Max:  12 Sum:   1223 Ratio:   0.13%)

Rules        : 942843  
Atoms        : 942843  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 379086   (Eliminated:    0 Frozen: 379086)
Constraints  : 3782466  (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 119.52s
Memory:		 1429MB (+284MB)
UNKNOWN
Iteration Time:	 127.35s

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

Models       : 0+
Calls        : 4
Time         : 360.482s (Solving: 142.50s 1st Model: 0.00s Unsat: 16.22s)
CPU Time     : 358.932s

Choices      : 3484138  (Domain: 3484138)
Conflicts    : 69015    (Analyzed: 69014)
Restarts     : 294      (Average: 234.74 Last: 686)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 69014    (Deleted: 47211)
  Binary     : 138      (Ratio:   0.20%)
  Ternary    : 129      (Ratio:   0.19%)
  Conflict   : 69014    (Average Length: 2862.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 69014    (Average: 48.23 Max: 2650 Sum: 3328429)
  Executed   : 68734    (Average: 48.21 Max: 2650 Sum: 3326983 Ratio:  99.96%)
  Bounded    : 280      (Average:  5.16 Max:  17 Sum:   1446 Ratio:   0.04%)

Rules        : 942843  
Atoms        : 942843  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 589007   (Eliminated:    0 Frozen: 589007)
Constraints  : 6272061  (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 148.11s
Memory:		 1728MB (+168MB)
UNKNOWN
Iteration Time:	 155.59s

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

Models       : 0+
Calls        : 5
Time         : 588.547s (Solving: 292.11s 1st Model: 0.00s Unsat: 16.22s)
CPU Time     : 587.096s

Choices      : 8772336  (Domain: 8772336)
Conflicts    : 109272   (Analyzed: 109271)
Restarts     : 394      (Average: 277.34 Last: 771)
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 109271   (Deleted: 89850)
  Binary     : 186      (Ratio:   0.17%)
  Ternary    : 161      (Ratio:   0.15%)
  Conflict   : 109271   (Average Length: 3032.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 109271   (Average: 77.26 Max: 3898 Sum: 8442492)
  Executed   : 108983   (Average: 77.25 Max: 3898 Sum: 8440870 Ratio:  99.98%)
  Bounded    : 288      (Average:  5.63 Max:  22 Sum:   1622 Ratio:   0.02%)

Rules        : 942843  
Atoms        : 942843  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 798928   (Eliminated:    0 Frozen: 798928)
Constraints  : 8765122  (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 220.46s
Memory:		 2037MB (+240MB)
UNKNOWN
Iteration Time:	 228.17s

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

Models       : 1+
Calls        : 6
Time         : 771.071s (Solving: 394.49s 1st Model: 102.29s Unsat: 16.22s)
CPU Time     : 769.700s

Choices      : 10152851 (Domain: 10152851)
Conflicts    : 138986   (Analyzed: 138985)
Restarts     : 396      (Average: 350.97 Last: 771)
Model-Level  : 5475.0  
Problems     : 6        (Average Length: 14.50 Splits: 0)
Lemmas       : 138985   (Deleted: 116712)
  Binary     : 197      (Ratio:   0.14%)
  Ternary    : 169      (Ratio:   0.12%)
  Conflict   : 138985   (Average Length: 4420.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 138985   (Average: 70.60 Max: 4725 Sum: 9812324)
  Executed   : 138697   (Average: 70.59 Max: 4725 Sum: 9810702 Ratio:  99.98%)
  Bounded    : 288      (Average:  5.63 Max:  22 Sum:   1622 Ratio:   0.02%)

Rules        : 942843  
Atoms        : 942843  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1008849  (Eliminated:    0 Frozen: 1008849)
Constraints  : 11258666 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 173.23s
Memory:		 2807MB (+586MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 23.43s
Memory:		 3209MB (+402MB)
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 7
Time         : 2041.790s (Solving: 1643.70s 1st Model: 102.29s Unsat: 16.22s)
CPU Time     : 2040.948s

Choices      : 24883678 (Domain: 24883678)
Conflicts    : 228733   (Analyzed: 228732)
Restarts     : 496      (Average: 461.15 Last: 771)
Model-Level  : 5475.0  
Problems     : 7        (Average Length: 16.29 Splits: 0)
Lemmas       : 228732   (Deleted: 190315)
  Binary     : 245      (Ratio:   0.11%)
  Ternary    : 232      (Ratio:   0.10%)
  Conflict   : 228732   (Average Length: 7869.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 228732   (Average: 106.56 Max: 6719 Sum: 24373950)
  Executed   : 228419   (Average: 106.55 Max: 6719 Sum: 24371660 Ratio:  99.99%)
  Bounded    : 313      (Average:  7.32 Max:  27 Sum:   2290 Ratio:   0.01%)

Rules        : 4259083  (Original: 4259023)
Atoms        : 1026942 
Bodies       : 2336931  (Original: 2336911)
  Count      : 2191     (Original: 2197)
Equivalences : 894107   (Atom=Atom: 90 Body=Body: 0 Other: 894017)
Tight        : Yes
Variables    : 1013227  (Eliminated:    0 Frozen: 1013202)
Constraints  : 14497475 (Binary:  99.6% Ternary:   0.2% Other:   0.2%)

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