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-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/parking-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-6.pddl
Parsing...
Parsing: [0.020s CPU, 0.039s 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.016s wall-clock]
Preparing model... [0.020s CPU, 0.015s wall-clock]
Generated 32 rules.
Computing model... [3.130s CPU, 3.127s wall-clock]
33917 relevant atoms
3770 auxiliary atoms
37687 final queue length
109988 total queue pushes
Completing instantiation... [12.720s CPU, 12.721s wall-clock]
Instantiating: [15.920s CPU, 15.921s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.040s CPU, 0.052s wall-clock]
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
Instantiating groups... [0.050s CPU, 0.051s 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.020s CPU, 0.013s wall-clock]
Computing fact groups: [0.220s CPU, 0.221s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.006s wall-clock]
Building dictionary for full mutex groups... [0.020s CPU, 0.015s 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.620s CPU, 0.620s wall-clock]
Translating task: [13.730s CPU, 13.725s 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.950s CPU, 6.941s 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.720s CPU, 2.719s 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: 186360 KB
Writing output... [4.410s CPU, 4.720s wall-clock]
Done! [44.520s CPU, 44.828s wall-clock]
planner.py version 0.0.1

Time:	 10.11s
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.449s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 10.160s

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        : 742111  
Atoms        : 742111  
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.98s
Memory:		 722MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 2
Time         : 22.463s (Solving: 4.60s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 21.180s

Choices      : 82500    (Domain: 82500)
Conflicts    : 10236    (Analyzed: 10236)
Restarts     : 100      (Average: 102.36 Last: 71)
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 10236    (Deleted: 5777)
  Binary     : 218      (Ratio:   2.13%)
  Ternary    : 617      (Ratio:   6.03%)
  Conflict   : 10236    (Average Length:  537.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 10236    (Average:  7.65 Max: 151 Sum:  78352)
  Executed   : 10194    (Average:  7.64 Max: 151 Sum:  78166 Ratio:  99.76%)
  Bounded    : 42       (Average:  4.43 Max:   7 Sum:    186 Ratio:   0.24%)

Rules        : 742111  
Atoms        : 742111  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 133928   (Eliminated:    0 Frozen: 4075)
Constraints  : 947641   (Binary:  99.3% Ternary:   0.3% Other:   0.4%)

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

[endof: stats after solve call]
Solving Time:	 4.94s
Memory:		 752MB (+30MB)
UNKNOWN
Iteration Time:	 11.02s

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

Models       : 0+
Calls        : 3
Time         : 42.692s (Solving: 19.37s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 41.420s

Choices      : 437461   (Domain: 437461)
Conflicts    : 21123    (Analyzed: 21123)
Restarts     : 200      (Average: 105.61 Last: 74)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 21123    (Deleted: 15284)
  Binary     : 304      (Ratio:   1.44%)
  Ternary    : 883      (Ratio:   4.18%)
  Conflict   : 21123    (Average Length:  929.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 21123    (Average: 19.29 Max: 1072 Sum: 407411)
  Executed   : 21072    (Average: 19.27 Max: 1072 Sum: 407128 Ratio:  99.93%)
  Bounded    : 51       (Average:  5.55 Max:  12 Sum:    283 Ratio:   0.07%)

Rules        : 742111  
Atoms        : 742111  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 299984   (Eliminated:    0 Frozen: 8700)
Constraints  : 2912450  (Binary:  99.4% Ternary:   0.3% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 14.95s
Memory:		 904MB (+70MB)
UNKNOWN
Iteration Time:	 20.25s

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

Models       : 0+
Calls        : 4
Time         : 70.929s (Solving: 41.12s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 69.668s

Choices      : 1042998  (Domain: 1042998)
Conflicts    : 31539    (Analyzed: 31539)
Restarts     : 300      (Average: 105.13 Last: 101)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 31539    (Deleted: 25826)
  Binary     : 334      (Ratio:   1.06%)
  Ternary    : 917      (Ratio:   2.91%)
  Conflict   : 31539    (Average Length: 1879.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 31539    (Average: 29.03 Max: 1641 Sum: 915530)
  Executed   : 31487    (Average: 29.02 Max: 1641 Sum: 915230 Ratio:  99.97%)
  Bounded    : 52       (Average:  5.77 Max:  17 Sum:    300 Ratio:   0.03%)

Rules        : 742111  
Atoms        : 742111  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 466040   (Eliminated:    0 Frozen: 13325)
Constraints  : 4877447  (Binary:  99.4% Ternary:   0.3% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 21.97s
Memory:		 1224MB (+164MB)
UNKNOWN
Iteration Time:	 28.26s

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

Models       : 1+
Calls        : 5
Time         : 81.271s (Solving: 45.47s 1st Model: 4.30s Unsat: 0.00s)
CPU Time     : 80.012s

Choices      : 1232930  (Domain: 1232930)
Conflicts    : 33334    (Analyzed: 33334)
Restarts     : 316      (Average: 105.49 Last: 134)
Model-Level  : 761.0   
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 33334    (Deleted: 25826)
  Binary     : 345      (Ratio:   1.03%)
  Ternary    : 939      (Ratio:   2.82%)
  Conflict   : 33334    (Average Length: 1847.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 33334    (Average: 32.76 Max: 1838 Sum: 1092005)
  Executed   : 33282    (Average: 32.75 Max: 1838 Sum: 1091705 Ratio:  99.97%)
  Bounded    : 52       (Average:  5.77 Max:  17 Sum:    300 Ratio:   0.03%)

Rules        : 742111  
Atoms        : 742111  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 632096   (Eliminated:    0 Frozen: 17950)
Constraints  : 6842541  (Binary:  99.4% Ternary:   0.3% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 4.60s
Memory:		 1448MB (+127MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 16.05s
Memory:		 1781MB (+333MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 6
Time         : 165.946s (Solving: 120.94s 1st Model: 4.30s Unsat: 0.00s)
CPU Time     : 164.724s

Choices      : 2341257  (Domain: 2341257)
Conflicts    : 43133    (Analyzed: 43133)
Restarts     : 416      (Average: 103.69 Last: 233)
Model-Level  : 761.0   
Problems     : 6        (Average Length: 13.67 Splits: 0)
Lemmas       : 43133    (Deleted: 37706)
  Binary     : 370      (Ratio:   0.86%)
  Ternary    : 979      (Ratio:   2.27%)
  Conflict   : 43133    (Average Length: 3038.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 43133    (Average: 49.09 Max: 2832 Sum: 2117285)
  Executed   : 43081    (Average: 49.08 Max: 2832 Sum: 2116985 Ratio:  99.99%)
  Bounded    : 52       (Average:  5.77 Max:  17 Sum:    300 Ratio:   0.01%)

Rules        : 2771613  (Original: 2771459)
Atoms        : 808066  
Bodies       : 1419234  (Original: 1419079)
  Count      : 1584     (Original: 1595)
Equivalences : 544069   (Atom=Atom: 61 Body=Body: 0 Other: 544008)
Tight        : Yes
Variables    : 635453   (Eliminated:    0 Frozen: 561864)
Constraints  : 8811462  (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 76.97s
Memory:		 1781MB (+0MB)
UNKNOWN
Iteration Time:	 103.37s

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

Models       : 0+
Calls        : 7
Time         : 279.765s (Solving: 224.82s 1st Model: 4.30s Unsat: 0.00s)
CPU Time     : 278.592s

Choices      : 3326464  (Domain: 3326464)
Conflicts    : 52897    (Analyzed: 52897)
Restarts     : 516      (Average: 102.51 Last: 233)
Model-Level  : 761.0   
Problems     : 7        (Average Length: 15.57 Splits: 0)
Lemmas       : 52897    (Deleted: 47520)
  Binary     : 388      (Ratio:   0.73%)
  Ternary    : 1004     (Ratio:   1.90%)
  Conflict   : 52897    (Average Length: 3583.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 52897    (Average: 56.95 Max: 2848 Sum: 3012677)
  Executed   : 52845    (Average: 56.95 Max: 2848 Sum: 3012377 Ratio:  99.99%)
  Bounded    : 52       (Average:  5.77 Max:  17 Sum:    300 Ratio:   0.01%)

Rules        : 2771613  (Original: 2771459)
Atoms        : 808066  
Bodies       : 1419234  (Original: 1419079)
  Count      : 1584     (Original: 1595)
Equivalences : 544069   (Atom=Atom: 61 Body=Body: 0 Other: 544008)
Tight        : Yes
Variables    : 802359   (Eliminated:    0 Frozen: 722434)
Constraints  : 11341002 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 104.24s
Memory:		 1898MB (+112MB)
UNKNOWN
Iteration Time:	 113.88s

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

Models       : 0+
Calls        : 8
Time         : 388.653s (Solving: 322.03s 1st Model: 4.30s Unsat: 0.00s)
CPU Time     : 387.528s

Choices      : 4266957  (Domain: 4266957)
Conflicts    : 62741    (Analyzed: 62741)
Restarts     : 616      (Average: 101.85 Last: 233)
Model-Level  : 761.0   
Problems     : 8        (Average Length: 17.62 Splits: 0)
Lemmas       : 62741    (Deleted: 57197)
  Binary     : 411      (Ratio:   0.66%)
  Ternary    : 1015     (Ratio:   1.62%)
  Conflict   : 62741    (Average Length: 3906.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 62741    (Average: 61.40 Max: 2966 Sum: 3852415)
  Executed   : 62689    (Average: 61.40 Max: 2966 Sum: 3852115 Ratio:  99.99%)
  Bounded    : 52       (Average:  5.77 Max:  17 Sum:    300 Ratio:   0.01%)

Rules        : 2771613  (Original: 2771459)
Atoms        : 808066  
Bodies       : 1419234  (Original: 1419079)
  Count      : 1584     (Original: 1595)
Equivalences : 544069   (Atom=Atom: 61 Body=Body: 0 Other: 544008)
Tight        : Yes
Variables    : 969265   (Eliminated:    0 Frozen: 883004)
Constraints  : 13870542 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 97.61s
Memory:		 2194MB (+83MB)
UNKNOWN
Iteration Time:	 108.95s

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         : 389.718s (Solving: 322.78s 1st Model: 4.30s Unsat: 0.74s)
CPU Time     : 388.592s

Choices      : 4270316  (Domain: 4270316)
Conflicts    : 63485    (Analyzed: 63484)
Restarts     : 624      (Average: 101.74 Last: 233)
Model-Level  : 761.0   
Problems     : 9        (Average Length: 19.22 Splits: 0)
Lemmas       : 63484    (Deleted: 57197)
  Binary     : 423      (Ratio:   0.67%)
  Ternary    : 1024     (Ratio:   1.61%)
  Conflict   : 63484    (Average Length: 3874.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 63484    (Average: 60.74 Max: 2966 Sum: 3855729)
  Executed   : 63427    (Average: 60.73 Max: 2966 Sum: 3855424 Ratio:  99.99%)
  Bounded    : 57       (Average:  5.35 Max:  17 Sum:    305 Ratio:   0.01%)

Rules        : 2771613  (Original: 2771459)
Atoms        : 808066  
Bodies       : 1419234  (Original: 1419079)
  Count      : 1584     (Original: 1595)
Equivalences : 544069   (Atom=Atom: 61 Body=Body: 0 Other: 544008)
Tight        : Yes
Variables    : 969265   (Eliminated:    0 Frozen: 883004)
Constraints  : 13870542 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 0.94s
Memory:		 2210MB (+16MB)
UNSAT
Iteration Time:	 1.08s

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...
[start: stats after solve call]

Models       : 0+
Calls        : 10
Time         : 426.609s (Solving: 359.38s 1st Model: 4.30s Unsat: 0.74s)
CPU Time     : 425.500s

Choices      : 4554444  (Domain: 4554444)
Conflicts    : 73703    (Analyzed: 73702)
Restarts     : 724      (Average: 101.80 Last: 233)
Model-Level  : 761.0   
Problems     : 10       (Average Length: 20.50 Splits: 0)
Lemmas       : 73702    (Deleted: 67491)
  Binary     : 497      (Ratio:   0.67%)
  Ternary    : 1130     (Ratio:   1.53%)
  Conflict   : 73702    (Average Length: 3726.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 73702    (Average: 55.81 Max: 2966 Sum: 4113029)
  Executed   : 73643    (Average: 55.80 Max: 2966 Sum: 4112691 Ratio:  99.99%)
  Bounded    : 59       (Average:  5.73 Max:  32 Sum:    338 Ratio:   0.01%)

Rules        : 2771613  (Original: 2771459)
Atoms        : 808066  
Bodies       : 1419234  (Original: 1419079)
  Count      : 1584     (Original: 1595)
Equivalences : 544069   (Atom=Atom: 61 Body=Body: 0 Other: 544008)
Tight        : Yes
Variables    : 969265   (Eliminated:    0 Frozen: 883004)
Constraints  : 13870542 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 36.79s
Memory:		 2210MB (+0MB)
UNKNOWN
Iteration Time:	 36.91s

Iteration 10
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)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 11
Time         : 485.479s (Solving: 418.00s 1st Model: 4.30s Unsat: 0.74s)
CPU Time     : 484.396s

Choices      : 5205438  (Domain: 5205438)
Conflicts    : 83324    (Analyzed: 83323)
Restarts     : 824      (Average: 101.12 Last: 233)
Model-Level  : 761.0   
Problems     : 11       (Average Length: 21.55 Splits: 0)
Lemmas       : 83323    (Deleted: 77465)
  Binary     : 518      (Ratio:   0.62%)
  Ternary    : 1178     (Ratio:   1.41%)
  Conflict   : 83323    (Average Length: 3673.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 83323    (Average: 56.43 Max: 2966 Sum: 4701520)
  Executed   : 83264    (Average: 56.42 Max: 2966 Sum: 4701182 Ratio:  99.99%)
  Bounded    : 59       (Average:  5.73 Max:  32 Sum:    338 Ratio:   0.01%)

Rules        : 2771613  (Original: 2771459)
Atoms        : 808066  
Bodies       : 1419234  (Original: 1419079)
  Count      : 1584     (Original: 1595)
Equivalences : 544069   (Atom=Atom: 61 Body=Body: 0 Other: 544008)
Tight        : Yes
Variables    : 969265   (Eliminated:    0 Frozen: 883004)
Constraints  : 13870526 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 58.81s
Memory:		 2210MB (+0MB)
UNKNOWN
Iteration Time:	 58.90s

Iteration 11
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)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 12
Time         : 564.460s (Solving: 496.70s 1st Model: 4.30s Unsat: 0.74s)
CPU Time     : 563.408s

Choices      : 6246965  (Domain: 6246965)
Conflicts    : 92801    (Analyzed: 92800)
Restarts     : 924      (Average: 100.43 Last: 233)
Model-Level  : 761.0   
Problems     : 12       (Average Length: 22.42 Splits: 0)
Lemmas       : 92800    (Deleted: 86990)
  Binary     : 547      (Ratio:   0.59%)
  Ternary    : 1193     (Ratio:   1.29%)
  Conflict   : 92800    (Average Length: 3646.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 92800    (Average: 61.26 Max: 2966 Sum: 5684807)
  Executed   : 92739    (Average: 61.25 Max: 2966 Sum: 5684405 Ratio:  99.99%)
  Bounded    : 61       (Average:  6.59 Max:  32 Sum:    402 Ratio:   0.01%)

Rules        : 2771613  (Original: 2771459)
Atoms        : 808066  
Bodies       : 1419234  (Original: 1419079)
  Count      : 1584     (Original: 1595)
Equivalences : 544069   (Atom=Atom: 61 Body=Body: 0 Other: 544008)
Tight        : Yes
Variables    : 969265   (Eliminated:    0 Frozen: 883004)
Constraints  : 13870526 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 78.91s
Memory:		 2210MB (+0MB)
UNKNOWN
Iteration Time:	 79.02s

Iteration 12
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)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 13
Time         : 666.628s (Solving: 598.60s 1st Model: 4.30s Unsat: 0.74s)
CPU Time     : 665.620s

Choices      : 8013158  (Domain: 8013158)
Conflicts    : 102285   (Analyzed: 102284)
Restarts     : 1024     (Average: 99.89 Last: 233)
Model-Level  : 761.0   
Problems     : 13       (Average Length: 23.15 Splits: 0)
Lemmas       : 102284   (Deleted: 96391)
  Binary     : 556      (Ratio:   0.54%)
  Ternary    : 1203     (Ratio:   1.18%)
  Conflict   : 102284   (Average Length: 3805.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 102284   (Average: 71.82 Max: 4220 Sum: 7346534)
  Executed   : 102222   (Average: 71.82 Max: 4220 Sum: 7346100 Ratio:  99.99%)
  Bounded    : 62       (Average:  7.00 Max:  32 Sum:    434 Ratio:   0.01%)

Rules        : 2771613  (Original: 2771459)
Atoms        : 808066  
Bodies       : 1419234  (Original: 1419079)
  Count      : 1584     (Original: 1595)
Equivalences : 544069   (Atom=Atom: 61 Body=Body: 0 Other: 544008)
Tight        : Yes
Variables    : 969265   (Eliminated:    0 Frozen: 883004)
Constraints  : 13870496 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 102.11s
Memory:		 2210MB (+0MB)
UNKNOWN
Iteration Time:	 102.22s

Iteration 13
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)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 14
Time         : 794.504s (Solving: 726.22s 1st Model: 4.30s Unsat: 0.74s)
CPU Time     : 793.552s

Choices      : 9699153  (Domain: 9699153)
Conflicts    : 112473   (Analyzed: 112472)
Restarts     : 1124     (Average: 100.06 Last: 233)
Model-Level  : 761.0   
Problems     : 14       (Average Length: 23.79 Splits: 0)
Lemmas       : 112472   (Deleted: 105696)
  Binary     : 624      (Ratio:   0.55%)
  Ternary    : 1242     (Ratio:   1.10%)
  Conflict   : 112472   (Average Length: 3824.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 112472   (Average: 79.40 Max: 4325 Sum: 8929737)
  Executed   : 112410   (Average: 79.39 Max: 4325 Sum: 8929303 Ratio: 100.00%)
  Bounded    : 62       (Average:  7.00 Max:  32 Sum:    434 Ratio:   0.00%)

Rules        : 2771613  (Original: 2771459)
Atoms        : 808066  
Bodies       : 1419234  (Original: 1419079)
  Count      : 1584     (Original: 1595)
Equivalences : 544069   (Atom=Atom: 61 Body=Body: 0 Other: 544008)
Tight        : Yes
Variables    : 969265   (Eliminated:    0 Frozen: 883004)
Constraints  : 13870480 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 127.84s
Memory:		 2210MB (+0MB)
UNKNOWN
Iteration Time:	 127.94s

Iteration 14
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)]
Grounded Until:	 30
Expected Memory: 2530.0MB
Grounding...	 [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])]
Grounding Time:	 7.32s
Memory:		 2317MB (+107MB)
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 15
Time         : 844.622s (Solving: 766.20s 1st Model: 4.30s Unsat: 0.74s)
CPU Time     : 843.628s

Choices      : 10315665 (Domain: 10315665)
Conflicts    : 114605   (Analyzed: 114604)
Restarts     : 1145     (Average: 100.09 Last: 233)
Model-Level  : 761.0   
Problems     : 15       (Average Length: 24.67 Splits: 0)
Lemmas       : 114604   (Deleted: 108609)
  Binary     : 627      (Ratio:   0.55%)
  Ternary    : 1242     (Ratio:   1.08%)
  Conflict   : 114604   (Average Length: 3836.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 114604   (Average: 83.01 Max: 4325 Sum: 9512877)
  Executed   : 114542   (Average: 83.00 Max: 4325 Sum: 9512443 Ratio: 100.00%)
  Bounded    : 62       (Average:  7.00 Max:  32 Sum:    434 Ratio:   0.00%)

Rules        : 2771613  (Original: 2771459)
Atoms        : 808066  
Bodies       : 1419234  (Original: 1419079)
  Count      : 1584     (Original: 1595)
Equivalences : 544069   (Atom=Atom: 61 Body=Body: 0 Other: 544008)
Tight        : Yes
Variables    : 1136171  (Eliminated:    0 Frozen: 1043574)
Constraints  : 16400020 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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


