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-14.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-14.pddl
Parsing...
Parsing: [0.020s CPU, 0.017s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.006s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.014s wall-clock]
Preparing model... [0.010s CPU, 0.014s wall-clock]
Generated 32 rules.
Computing model... [4.890s CPU, 4.888s wall-clock]
53177 relevant atoms
5070 auxiliary atoms
58247 final queue length
172333 total queue pushes
Completing instantiation... [19.840s CPU, 19.829s wall-clock]
Instantiating: [24.810s CPU, 24.802s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.070s CPU, 0.065s wall-clock]
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
Instantiating groups... [0.070s CPU, 0.065s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.010s wall-clock]
Choosing groups...
71 uncovered facts
Choosing groups: [0.050s CPU, 0.045s wall-clock]
Building translation key... [0.010s CPU, 0.016s wall-clock]
Computing fact groups: [0.290s CPU, 0.291s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.012s wall-clock]
Building dictionary for full mutex groups... [0.020s CPU, 0.017s wall-clock]
Building mutex information...
Building mutex information: [0.030s CPU, 0.028s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.980s CPU, 0.978s wall-clock]
Translating task: [21.530s CPU, 21.524s wall-clock]
61152 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
28 propositions removed
Detecting unreachable propositions: [10.890s CPU, 10.880s wall-clock]
Reordering and filtering variables...
99 of 99 variables necessary.
43 of 71 mutex groups necessary.
49392 of 49392 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [4.300s CPU, 4.309s wall-clock]
Translator variables: 99
Translator derived variables: 0
Translator facts: 1346
Translator goal facts: 28
Translator mutex groups: 43
Translator total mutex groups size: 1247
Translator operators: 49392
Translator axioms: 0
Translator task size: 402560
Translator peak memory: 273428 KB
Writing output... [7.050s CPU, 7.539s wall-clock]
Done! [69.740s CPU, 70.210s wall-clock]
planner.py version 0.0.1

Time:	 16.43s
Memory: 997MB

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

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

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

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

Models       : 0+
Calls        : 2
Time         : 38.080s (Solving: 8.81s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 35.728s

Choices      : 91363    (Domain: 91363)
Conflicts    : 10089    (Analyzed: 10089)
Restarts     : 100      (Average: 100.89 Last: 88)
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 10089    (Deleted: 6271)
  Binary     : 34       (Ratio:   0.34%)
  Ternary    : 62       (Ratio:   0.61%)
  Conflict   : 10089    (Average Length: 1428.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 10089    (Average:  8.57 Max: 287 Sum:  86497)
  Executed   : 9971     (Average:  8.51 Max: 287 Sum:  85888 Ratio:  99.30%)
  Bounded    : 118      (Average:  5.16 Max:   7 Sum:    609 Ratio:   0.70%)

Rules        : 1176872 
Atoms        : 1176872 
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 210147   (Eliminated:    0 Frozen: 5423)
Constraints  : 1680141  (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 9.35s
Memory:		 1123MB (+54MB)
UNKNOWN
Iteration Time:	 19.22s

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

Models       : 0+
Calls        : 3
Time         : 69.106s (Solving: 29.89s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 66.756s

Choices      : 618832   (Domain: 618832)
Conflicts    : 19739    (Analyzed: 19739)
Restarts     : 200      (Average: 98.69 Last: 105)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 19739    (Deleted: 15938)
  Binary     : 45       (Ratio:   0.23%)
  Ternary    : 85       (Ratio:   0.43%)
  Conflict   : 19739    (Average Length: 1950.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 19739    (Average: 29.43 Max: 1158 Sum: 580917)
  Executed   : 19602    (Average: 29.39 Max: 1158 Sum: 580085 Ratio:  99.86%)
  Bounded    : 137      (Average:  6.07 Max:  12 Sum:    832 Ratio:   0.14%)

Rules        : 1176872 
Atoms        : 1176872 
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 471073   (Eliminated:    0 Frozen: 11658)
Constraints  : 4755309  (Binary:  99.5% Ternary:   0.2% Other:   0.2%)

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

[endof: stats after solve call]
Solving Time:	 21.33s
Memory:		 1461MB (+149MB)
UNKNOWN
Iteration Time:	 31.03s

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

Models       : 0+
Calls        : 4
Time         : 119.359s (Solving: 70.62s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 117.028s

Choices      : 1684882  (Domain: 1684882)
Conflicts    : 30815    (Analyzed: 30815)
Restarts     : 300      (Average: 102.72 Last: 106)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 30815    (Deleted: 27815)
  Binary     : 57       (Ratio:   0.18%)
  Ternary    : 95       (Ratio:   0.31%)
  Conflict   : 30815    (Average Length: 2410.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 30815    (Average: 51.03 Max: 2235 Sum: 1572494)
  Executed   : 30669    (Average: 51.00 Max: 2235 Sum: 1571512 Ratio:  99.94%)
  Bounded    : 146      (Average:  6.73 Max:  17 Sum:    982 Ratio:   0.06%)

Rules        : 1176872 
Atoms        : 1176872 
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 731999   (Eliminated:    0 Frozen: 17893)
Constraints  : 7865077  (Binary:  99.5% Ternary:   0.2% Other:   0.2%)

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

[endof: stats after solve call]
Solving Time:	 41.05s
Memory:		 1812MB (+176MB)
UNKNOWN
Iteration Time:	 50.28s

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

Models       : 1+
Calls        : 5
Time         : 166.802s (Solving: 107.08s 1st Model: 36.38s Unsat: 0.00s)
CPU Time     : 164.492s

Choices      : 2841845  (Domain: 2841845)
Conflicts    : 37250    (Analyzed: 37250)
Restarts     : 360      (Average: 103.47 Last: 106)
Model-Level  : 2084.0  
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 37250    (Deleted: 34265)
  Binary     : 71       (Ratio:   0.19%)
  Ternary    : 104      (Ratio:   0.28%)
  Conflict   : 37250    (Average Length: 2525.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 37250    (Average: 71.58 Max: 2705 Sum: 2666212)
  Executed   : 37092    (Average: 71.54 Max: 2705 Sum: 2664970 Ratio:  99.95%)
  Bounded    : 158      (Average:  7.86 Max:  22 Sum:   1242 Ratio:   0.05%)

Rules        : 1176872 
Atoms        : 1176872 
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 992925   (Eliminated:    0 Frozen: 24128)
Constraints  : 10979100 (Binary:  99.5% Ternary:   0.2% Other:   0.2%)

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

[endof: stats after solve call]
Solving Time:	 36.80s
Memory:		 2155MB (+125MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 25.91s
Memory:		 2651MB (+496MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 6
Time         : 308.928s (Solving: 234.18s 1st Model: 36.38s Unsat: 0.00s)
CPU Time     : 306.676s

Choices      : 4457365  (Domain: 4457365)
Conflicts    : 46910    (Analyzed: 46910)
Restarts     : 460      (Average: 101.98 Last: 149)
Model-Level  : 2084.0  
Problems     : 6        (Average Length: 13.67 Splits: 0)
Lemmas       : 46910    (Deleted: 42835)
  Binary     : 75       (Ratio:   0.16%)
  Ternary    : 105      (Ratio:   0.22%)
  Conflict   : 46910    (Average Length: 4661.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 46910    (Average: 87.99 Max: 5186 Sum: 4127428)
  Executed   : 46745    (Average: 87.96 Max: 5186 Sum: 4126032 Ratio:  99.97%)
  Bounded    : 165      (Average:  8.46 Max:  22 Sum:   1396 Ratio:   0.03%)

Rules        : 4435258 
Atoms        : 1280076 
Bodies       : 2282158  (Original: 2282157)
  Count      : 1868    
Equivalences : 871849   (Atom=Atom: 90 Body=Body: 0 Other: 871759)
Tight        : Yes
Variables    : 996619   (Eliminated:    0 Frozen: 895777)
Constraints  : 14135630 (Binary:  99.6% Ternary:   0.2% Other:   0.2%)

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

[endof: stats after solve call]
Solving Time:	 129.51s
Memory:		 2722MB (+71MB)
UNKNOWN
Iteration Time:	 202.89s

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

Models       : 0+
Calls        : 7
Time         : 527.614s (Solving: 436.91s 1st Model: 36.38s Unsat: 0.00s)
CPU Time     : 525.452s

Choices      : 6987957  (Domain: 6987957)
Conflicts    : 56745    (Analyzed: 56745)
Restarts     : 560      (Average: 101.33 Last: 149)
Model-Level  : 2084.0  
Problems     : 7        (Average Length: 15.57 Splits: 0)
Lemmas       : 56745    (Deleted: 52317)
  Binary     : 79       (Ratio:   0.14%)
  Ternary    : 112      (Ratio:   0.20%)
  Conflict   : 56745    (Average Length: 5248.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 56745    (Average: 114.21 Max: 5886 Sum: 6480633)
  Executed   : 56574    (Average: 114.18 Max: 5886 Sum: 6479078 Ratio:  99.98%)
  Bounded    : 171      (Average:  9.09 Max:  27 Sum:   1555 Ratio:   0.02%)

Rules        : 4435258 
Atoms        : 1280076 
Bodies       : 2282158  (Original: 2282157)
  Count      : 1868    
Equivalences : 871849   (Atom=Atom: 90 Body=Body: 0 Other: 871759)
Tight        : Yes
Variables    : 1258535  (Eliminated:    0 Frozen: 1149467)
Constraints  : 18145374 (Binary:  99.6% Ternary:   0.2% Other:   0.2%)

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

[endof: stats after solve call]
Solving Time:	 203.30s
Memory:		 3174MB (+298MB)
UNKNOWN
Iteration Time:	 218.80s

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

Models       : 0+
Calls        : 8
Time         : 760.328s (Solving: 653.34s 1st Model: 36.38s Unsat: 0.00s)
CPU Time     : 758.264s

Choices      : 9714734  (Domain: 9714734)
Conflicts    : 66072    (Analyzed: 66072)
Restarts     : 660      (Average: 100.11 Last: 149)
Model-Level  : 2084.0  
Problems     : 8        (Average Length: 17.62 Splits: 0)
Lemmas       : 66072    (Deleted: 62034)
  Binary     : 83       (Ratio:   0.13%)
  Ternary    : 116      (Ratio:   0.18%)
  Conflict   : 66072    (Average Length: 5708.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 66072    (Average: 136.53 Max: 7604 Sum: 9020814)
  Executed   : 65894    (Average: 136.50 Max: 7604 Sum: 9019036 Ratio:  99.98%)
  Bounded    : 178      (Average:  9.99 Max:  32 Sum:   1778 Ratio:   0.02%)

Rules        : 4435258 
Atoms        : 1280076 
Bodies       : 2282158  (Original: 2282157)
  Count      : 1868    
Equivalences : 871849   (Atom=Atom: 90 Body=Body: 0 Other: 871759)
Tight        : Yes
Variables    : 1520451  (Eliminated:    0 Frozen: 1403157)
Constraints  : 22157870 (Binary:  99.6% Ternary:   0.2% Other:   0.2%)

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

[endof: stats after solve call]
Solving Time:	 217.04s
Memory:		 3370MB (+137MB)
UNKNOWN
Iteration Time:	 232.83s

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

Models       : 0
Calls        : 9
Time         : 761.326s (Solving: 653.89s 1st Model: 36.38s Unsat: 0.55s)
CPU Time     : 759.264s

Choices      : 9715277  (Domain: 9715277)
Conflicts    : 66140    (Analyzed: 66139)
Restarts     : 660      (Average: 100.21 Last: 149)
Model-Level  : 2084.0  
Problems     : 9        (Average Length: 19.22 Splits: 0)
Lemmas       : 66139    (Deleted: 62034)
  Binary     : 84       (Ratio:   0.13%)
  Ternary    : 116      (Ratio:   0.18%)
  Conflict   : 66139    (Average Length: 5702.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 66139    (Average: 136.40 Max: 7604 Sum: 9021359)
  Executed   : 65959    (Average: 136.37 Max: 7604 Sum: 9019579 Ratio:  99.98%)
  Bounded    : 180      (Average:  9.89 Max:  32 Sum:   1780 Ratio:   0.02%)

Rules        : 4435258 
Atoms        : 1280076 
Bodies       : 2282158  (Original: 2282157)
  Count      : 1868    
Equivalences : 871849   (Atom=Atom: 90 Body=Body: 0 Other: 871759)
Tight        : Yes
Variables    : 1520451  (Eliminated:    0 Frozen: 1403157)
Constraints  : 22153742 (Binary:  99.6% Ternary:   0.2% Other:   0.2%)

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

[endof: stats after solve call]
Solving Time:	 0.84s
Memory:		 3399MB (+29MB)
UNSAT
Iteration Time:	 1.01s

Iteration 9
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)]
Grounded Until:	 30
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 10
Time         : 825.114s (Solving: 717.25s 1st Model: 36.38s Unsat: 0.55s)
CPU Time     : 823.060s

Choices      : 10081336 (Domain: 10081336)
Conflicts    : 76436    (Analyzed: 76435)
Restarts     : 760      (Average: 100.57 Last: 231)
Model-Level  : 2084.0  
Problems     : 10       (Average Length: 20.50 Splits: 0)
Lemmas       : 76435    (Deleted: 71296)
  Binary     : 99       (Ratio:   0.13%)
  Ternary    : 133      (Ratio:   0.17%)
  Conflict   : 76435    (Average Length: 5475.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 76435    (Average: 122.52 Max: 7604 Sum: 9364525)
  Executed   : 76250    (Average: 122.49 Max: 7604 Sum: 9362678 Ratio:  99.98%)
  Bounded    : 185      (Average:  9.98 Max:  32 Sum:   1847 Ratio:   0.02%)

Rules        : 4435258 
Atoms        : 1280076 
Bodies       : 2282158  (Original: 2282157)
  Count      : 1868    
Equivalences : 871849   (Atom=Atom: 90 Body=Body: 0 Other: 871759)
Tight        : Yes
Variables    : 1520451  (Eliminated:    0 Frozen: 1403157)
Constraints  : 22153742 (Binary:  99.6% Ternary:   0.2% Other:   0.2%)

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


