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-4.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-4.pddl
Parsing...
Parsing: [0.020s CPU, 0.025s wall-clock]
Normalizing task... [0.010s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.008s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.018s wall-clock]
Preparing model... [0.010s CPU, 0.018s wall-clock]
Generated 32 rules.
Computing model... [3.120s CPU, 3.118s wall-clock]
33917 relevant atoms
3770 auxiliary atoms
37687 final queue length
109987 total queue pushes
Completing instantiation... [12.540s CPU, 12.546s wall-clock]
Instantiating: [15.740s CPU, 15.741s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.050s CPU, 0.050s wall-clock]
Checking invariant weight... [0.010s CPU, 0.004s wall-clock]
Instantiating groups... [0.040s CPU, 0.050s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.007s wall-clock]
Choosing groups...
61 uncovered facts
Choosing groups: [0.030s CPU, 0.032s wall-clock]
Building translation key... [0.010s CPU, 0.013s wall-clock]
Computing fact groups: [0.210s CPU, 0.211s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.006s wall-clock]
Building dictionary for full mutex groups... [0.020s CPU, 0.016s wall-clock]
Building mutex information...
Building mutex information: [0.020s CPU, 0.020s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.610s CPU, 0.619s wall-clock]
Translating task: [13.640s CPU, 13.639s wall-clock]
38592 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
24 propositions removed
Detecting unreachable propositions: [6.920s CPU, 6.913s wall-clock]
Reordering and filtering variables...
85 of 85 variables necessary.
37 of 61 mutex groups necessary.
31104 of 31104 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [2.710s CPU, 2.708s wall-clock]
Translator variables: 85
Translator derived variables: 0
Translator facts: 1010
Translator goal facts: 24
Translator mutex groups: 37
Translator total mutex groups size: 925
Translator operators: 31104
Translator axioms: 0
Translator task size: 253756
Translator peak memory: 186364 KB
Writing output... [4.370s CPU, 4.704s wall-clock]
Done! [44.160s CPU, 44.479s wall-clock]
planner.py version 0.0.1

Time:	 10.10s
Memory: 650MB

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

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

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

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

Models       : 0
Calls        : 2
Time         : 48.244s (Solving: 6.02s 1st Model: 0.00s Unsat: 6.02s)
CPU Time     : 46.844s

Choices      : 58375    (Domain: 58375)
Conflicts    : 8999     (Analyzed: 8998)
Restarts     : 37       (Average: 243.19 Last: 138)
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 8998     (Deleted: 0)
  Binary     : 98       (Ratio:   1.09%)
  Ternary    : 41       (Ratio:   0.46%)
  Conflict   : 8998     (Average Length: 1098.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 8998     (Average:  6.24 Max: 228 Sum:  56105)
  Executed   : 8881     (Average:  6.18 Max: 228 Sum:  55587 Ratio:  99.08%)
  Bounded    : 117      (Average:  4.43 Max:   7 Sum:    518 Ratio:   0.92%)

Rules        : 742110  
Atoms        : 742110  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 133907   (Eliminated:    0 Frozen: 133907)
Constraints  : 1061911  (Binary:  99.4% Ternary:   0.3% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 30.63s
Memory:		 753MB (+31MB)
UNSAT
Iteration Time:	 36.70s

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

Models       : 0+
Calls        : 3
Time         : 140.826s (Solving: 48.49s 1st Model: 0.00s Unsat: 6.02s)
CPU Time     : 139.464s

Choices      : 780104   (Domain: 780104)
Conflicts    : 37117    (Analyzed: 37116)
Restarts     : 137      (Average: 270.92 Last: 204)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 37116    (Deleted: 25513)
  Binary     : 155      (Ratio:   0.42%)
  Ternary    : 84       (Ratio:   0.23%)
  Conflict   : 37116    (Average Length: 3426.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 37116    (Average: 19.91 Max: 1192 Sum: 739013)
  Executed   : 36959    (Average: 19.89 Max: 1192 Sum: 738191 Ratio:  99.89%)
  Bounded    : 157      (Average:  5.24 Max:  12 Sum:    822 Ratio:   0.11%)

Rules        : 742110  
Atoms        : 742110  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 299963   (Eliminated:    0 Frozen: 299963)
Constraints  : 2995840  (Binary:  99.4% Ternary:   0.3% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 87.17s
Memory:		 1109MB (+261MB)
UNKNOWN
Iteration Time:	 92.63s

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

Models       : 0+
Calls        : 4
Time         : 253.021s (Solving: 109.89s 1st Model: 0.00s Unsat: 6.02s)
CPU Time     : 251.704s

Choices      : 2207905  (Domain: 2207905)
Conflicts    : 65194    (Analyzed: 65193)
Restarts     : 237      (Average: 275.08 Last: 204)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 65193    (Deleted: 53162)
  Binary     : 180      (Ratio:   0.28%)
  Ternary    : 98       (Ratio:   0.15%)
  Conflict   : 65193    (Average Length: 3975.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 65193    (Average: 31.94 Max: 1838 Sum: 2082466)
  Executed   : 65027    (Average: 31.93 Max: 1838 Sum: 2081507 Ratio:  99.95%)
  Bounded    : 166      (Average:  5.78 Max:  17 Sum:    959 Ratio:   0.05%)

Rules        : 742110  
Atoms        : 742110  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 466019   (Eliminated:    0 Frozen: 466019)
Constraints  : 4954533  (Binary:  99.4% Ternary:   0.3% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 105.84s
Memory:		 1478MB (+228MB)
UNKNOWN
Iteration Time:	 112.25s

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

Models       : 1+
Calls        : 5
Time         : 311.085s (Solving: 117.68s 1st Model: 7.73s Unsat: 6.02s)
CPU Time     : 309.796s

Choices      : 2405737  (Domain: 2405737)
Conflicts    : 68062    (Analyzed: 68061)
Restarts     : 251      (Average: 271.16 Last: 452)
Model-Level  : 1627.0  
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 68061    (Deleted: 53162)
  Binary     : 183      (Ratio:   0.27%)
  Ternary    : 99       (Ratio:   0.15%)
  Conflict   : 68061    (Average Length: 3910.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 68061    (Average: 33.23 Max: 2764 Sum: 2261455)
  Executed   : 67895    (Average: 33.21 Max: 2764 Sum: 2260496 Ratio:  99.96%)
  Bounded    : 166      (Average:  5.78 Max:  17 Sum:    959 Ratio:   0.04%)

Rules        : 742110  
Atoms        : 742110  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 632075   (Eliminated:    0 Frozen: 632075)
Constraints  : 6915977  (Binary:  99.4% Ternary:   0.3% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 52.23s
Memory:		 1641MB (+66MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 16.17s
Memory:		 1972MB (+331MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 6
Time         : 578.366s (Solving: 372.21s 1st Model: 7.73s Unsat: 6.02s)
CPU Time     : 577.192s

Choices      : 5156493  (Domain: 5156493)
Conflicts    : 96174    (Analyzed: 96173)
Restarts     : 351      (Average: 274.00 Last: 452)
Model-Level  : 1627.0  
Problems     : 6        (Average Length: 13.67 Splits: 0)
Lemmas       : 96173    (Deleted: 83576)
  Binary     : 235      (Ratio:   0.24%)
  Ternary    : 147      (Ratio:   0.15%)
  Conflict   : 96173    (Average Length: 4198.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 96173    (Average: 50.90 Max: 3553 Sum: 4895334)
  Executed   : 96002    (Average: 50.89 Max: 3553 Sum: 4894268 Ratio:  99.98%)
  Bounded    : 171      (Average:  6.23 Max:  22 Sum:   1066 Ratio:   0.02%)

Rules        : 2790618  (Original: 2790612)
Atoms        : 808072  
Bodies       : 1433094  (Original: 1433093)
  Count      : 1602     (Original: 1605)
Equivalences : 549275   (Atom=Atom: 80 Body=Body: 0 Other: 549195)
Tight        : Yes
Variables    : 635250   (Eliminated:    0 Frozen: 635247)
Constraints  : 8903346  (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 259.56s
Memory:		 2061MB (+89MB)
UNKNOWN
Iteration Time:	 333.83s

Iteration 6
Queue:		 [(5,25,0,True), (6,30,0,True)]
Grounded Until:	 20
Expected Memory: 2430.0MB
Grounding...	 [('step', [21]), ('step', [22]), ('step', [23]), ('step', [24]), ('step', [25]), ('check', [25])]
Grounding Time:	 7.35s
Memory:		 2061MB (+0MB)
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 7
Time         : 844.970s (Solving: 567.74s 1st Model: 7.73s Unsat: 6.02s)
CPU Time     : 843.892s

Choices      : 7406587  (Domain: 7406587)
Conflicts    : 112515   (Analyzed: 112514)
Restarts     : 413      (Average: 272.43 Last: 452)
Model-Level  : 1627.0  
Problems     : 7        (Average Length: 15.57 Splits: 0)
Lemmas       : 112514   (Deleted: 99329)
  Binary     : 277      (Ratio:   0.25%)
  Ternary    : 168      (Ratio:   0.15%)
  Conflict   : 112514   (Average Length: 4295.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 112514   (Average: 62.80 Max: 3566 Sum: 7065617)
  Executed   : 112306   (Average: 62.78 Max: 3566 Sum: 7063566 Ratio:  99.97%)
  Bounded    : 208      (Average:  9.86 Max:  27 Sum:   2051 Ratio:   0.03%)

Rules        : 2790618  (Original: 2790612)
Atoms        : 808072  
Bodies       : 1433094  (Original: 1433093)
  Count      : 1602     (Original: 1605)
Equivalences : 549275   (Atom=Atom: 80 Body=Body: 0 Other: 549195)
Tight        : Yes
Variables    : 802156   (Eliminated:    0 Frozen: 802156)
Constraints  : 11431702 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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


