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-2.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-2.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.016s wall-clock]
Preparing model... [0.020s CPU, 0.014s wall-clock]
Generated 32 rules.
Computing model... [2.470s CPU, 2.476s wall-clock]
26339 relevant atoms
3192 auxiliary atoms
29531 final queue length
85444 total queue pushes
Completing instantiation... [9.500s CPU, 9.493s wall-clock]
Instantiating: [12.040s CPU, 12.033s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.050s CPU, 0.046s wall-clock]
Checking invariant weight... [0.000s CPU, 0.003s wall-clock]
Instantiating groups... [0.050s CPU, 0.045s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.006s wall-clock]
Choosing groups...
56 uncovered facts
Choosing groups: [0.030s CPU, 0.028s wall-clock]
Building translation key... [0.010s CPU, 0.011s wall-clock]
Computing fact groups: [0.190s CPU, 0.190s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.005s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.011s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.018s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.480s CPU, 0.480s wall-clock]
Translating task: [10.450s CPU, 10.443s wall-clock]
29766 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
22 propositions removed
Detecting unreachable propositions: [5.290s CPU, 5.291s wall-clock]
Reordering and filtering variables...
78 of 78 variables necessary.
34 of 56 mutex groups necessary.
23958 of 23958 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [2.090s CPU, 2.091s wall-clock]
Translator variables: 78
Translator derived variables: 0
Translator facts: 860
Translator goal facts: 22
Translator mutex groups: 34
Translator total mutex groups size: 782
Translator operators: 23958
Translator axioms: 0
Translator task size: 195584
Translator peak memory: 152044 KB
Writing output... [3.430s CPU, 3.674s wall-clock]
Done! [33.930s CPU, 34.171s wall-clock]
planner.py version 0.0.1

Time:	 7.88s
Memory: 547MB

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

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

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

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

Models       : 0
Calls        : 2
Time         : 16.783s (Solving: 3.48s 1st Model: 0.00s Unsat: 3.48s)
CPU Time     : 15.784s

Choices      : 41309    (Domain: 41309)
Conflicts    : 7200     (Analyzed: 7199)
Restarts     : 71       (Average: 101.39 Last: 40)
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 7199     (Deleted: 4247)
  Binary     : 63       (Ratio:   0.88%)
  Ternary    : 42       (Ratio:   0.58%)
  Conflict   : 7199     (Average Length:  745.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 7199     (Average:  5.52 Max: 226 Sum:  39770)
  Executed   : 7106     (Average:  5.45 Max: 226 Sum:  39270 Ratio:  98.74%)
  Bounded    : 93       (Average:  5.38 Max:   7 Sum:    500 Ratio:   1.26%)

Rules        : 572117  
Atoms        : 572117  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 103941   (Eliminated:    0 Frozen: 3404)
Constraints  : 819873   (Binary:  99.3% Ternary:   0.3% Other:   0.4%)

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

[endof: stats after solve call]
Solving Time:	 3.66s
Memory:		 641MB (+22MB)
UNSAT
Iteration Time:	 7.87s

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

Models       : 0+
Calls        : 3
Time         : 31.999s (Solving: 14.03s 1st Model: 0.00s Unsat: 3.48s)
CPU Time     : 31.008s

Choices      : 338815   (Domain: 338815)
Conflicts    : 17815    (Analyzed: 17814)
Restarts     : 171      (Average: 104.18 Last: 207)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 17814    (Deleted: 13189)
  Binary     : 78       (Ratio:   0.44%)
  Ternary    : 63       (Ratio:   0.35%)
  Conflict   : 17814    (Average Length: 1482.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 17814    (Average: 17.05 Max: 740 Sum: 303805)
  Executed   : 17708    (Average: 17.02 Max: 740 Sum: 303163 Ratio:  99.79%)
  Bounded    : 106      (Average:  6.06 Max:  12 Sum:    642 Ratio:   0.21%)

Rules        : 572117  
Atoms        : 572117  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 232732   (Eliminated:    0 Frozen: 7314)
Constraints  : 2306748  (Binary:  99.4% Ternary:   0.3% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 10.69s
Memory:		 767MB (+57MB)
UNKNOWN
Iteration Time:	 15.23s

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

Models       : 1+
Calls        : 4
Time         : 49.196s (Solving: 26.75s 1st Model: 12.70s Unsat: 3.48s)
CPU Time     : 48.212s

Choices      : 806847   (Domain: 806847)
Conflicts    : 25425    (Analyzed: 25424)
Restarts     : 235      (Average: 108.19 Last: 207)
Model-Level  : 1095.0  
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 25424    (Deleted: 21260)
  Binary     : 87       (Ratio:   0.34%)
  Ternary    : 71       (Ratio:   0.28%)
  Conflict   : 25424    (Average Length: 1659.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 25424    (Average: 28.54 Max: 1185 Sum: 725639)
  Executed   : 25316    (Average: 28.51 Max: 1185 Sum: 724963 Ratio:  99.91%)
  Bounded    : 108      (Average:  6.26 Max:  17 Sum:    676 Ratio:   0.09%)

Rules        : 572117  
Atoms        : 572117  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 361523   (Eliminated:    0 Frozen: 11224)
Constraints  : 3817649  (Binary:  99.4% Ternary:   0.3% Other:   0.3%)

Memory Peak  : 930MB
Max. Length  : 10 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 12.90s
Memory:		 930MB (+97MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 10.74s
Memory:		 1207MB (+277MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 5
Time         : 108.080s (Solving: 80.49s 1st Model: 12.70s Unsat: 3.48s)
CPU Time     : 107.120s

Choices      : 1313442  (Domain: 1313442)
Conflicts    : 34781    (Analyzed: 34780)
Restarts     : 335      (Average: 103.82 Last: 207)
Model-Level  : 1095.0  
Problems     : 5        (Average Length: 11.00 Splits: 0)
Lemmas       : 34780    (Deleted: 31175)
  Binary     : 92       (Ratio:   0.26%)
  Ternary    : 74       (Ratio:   0.21%)
  Conflict   : 34780    (Average Length: 2993.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 34780    (Average: 33.58 Max: 1606 Sum: 1167934)
  Executed   : 34667    (Average: 33.56 Max: 1606 Sum: 1167174 Ratio:  99.93%)
  Bounded    : 113      (Average:  6.73 Max:  17 Sum:    760 Ratio:   0.07%)

Rules        : 1714997  (Original: 1714983)
Atoms        : 622667  
Bodies       : 789459   (Original: 789444)
  Count      : 1080     (Original: 1081)
Equivalences : 303232   (Atom=Atom: 72 Body=Body: 0 Other: 303160)
Tight        : Yes
Variables    : 363667   (Eliminated:    0 Frozen: 314297)
Constraints  : 4912835  (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

Memory Peak  : 1291MB
Max. Length  : 10 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 54.57s
Memory:		 1291MB (+84MB)
UNKNOWN
Iteration Time:	 82.52s

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

Models       : 0+
Calls        : 6
Time         : 189.699s (Solving: 154.28s 1st Model: 12.70s Unsat: 3.48s)
CPU Time     : 188.776s

Choices      : 1625507  (Domain: 1625507)
Conflicts    : 43760    (Analyzed: 43759)
Restarts     : 435      (Average: 100.60 Last: 207)
Model-Level  : 1095.0  
Problems     : 6        (Average Length: 12.83 Splits: 0)
Lemmas       : 43759    (Deleted: 40485)
  Binary     : 92       (Ratio:   0.21%)
  Ternary    : 120      (Ratio:   0.27%)
  Conflict   : 43759    (Average Length: 4310.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 43759    (Average: 31.93 Max: 1749 Sum: 1397157)
  Executed   : 43646    (Average: 31.91 Max: 1749 Sum: 1396397 Ratio:  99.95%)
  Bounded    : 113      (Average:  6.73 Max:  17 Sum:    760 Ratio:   0.05%)

Rules        : 1714997  (Original: 1714983)
Atoms        : 622667  
Bodies       : 789459   (Original: 789444)
  Count      : 1080     (Original: 1081)
Equivalences : 303232   (Atom=Atom: 72 Body=Body: 0 Other: 303160)
Tight        : Yes
Variables    : 493238   (Eliminated:    0 Frozen: 438387)
Constraints  : 6859810  (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 74.03s
Memory:		 1523MB (+209MB)
UNKNOWN
Iteration Time:	 81.67s

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

Models       : 0+
Calls        : 7
Time         : 290.653s (Solving: 247.88s 1st Model: 12.70s Unsat: 3.48s)
CPU Time     : 289.772s

Choices      : 2393524  (Domain: 2393524)
Conflicts    : 53166    (Analyzed: 53165)
Restarts     : 535      (Average: 99.37 Last: 207)
Model-Level  : 1095.0  
Problems     : 7        (Average Length: 14.86 Splits: 0)
Lemmas       : 53165    (Deleted: 49396)
  Binary     : 97       (Ratio:   0.18%)
  Ternary    : 124      (Ratio:   0.23%)
  Conflict   : 53165    (Average Length: 6301.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 53165    (Average: 37.80 Max: 3270 Sum: 2009845)
  Executed   : 53045    (Average: 37.79 Max: 3270 Sum: 2008897 Ratio:  99.95%)
  Bounded    : 120      (Average:  7.90 Max:  27 Sum:    948 Ratio:   0.05%)

Rules        : 1714997  (Original: 1714983)
Atoms        : 622667  
Bodies       : 789459   (Original: 789444)
  Count      : 1080     (Original: 1081)
Equivalences : 303232   (Atom=Atom: 72 Body=Body: 0 Other: 303160)
Tight        : Yes
Variables    : 622809   (Eliminated:    0 Frozen: 562477)
Constraints  : 8808960  (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 93.89s
Memory:		 1772MB (+174MB)
UNKNOWN
Iteration Time:	 101.01s

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

Models       : 0+
Calls        : 8
Time         : 399.461s (Solving: 349.10s 1st Model: 12.70s Unsat: 3.48s)
CPU Time     : 398.628s

Choices      : 3512597  (Domain: 3512597)
Conflicts    : 62951    (Analyzed: 62950)
Restarts     : 635      (Average: 99.13 Last: 207)
Model-Level  : 1095.0  
Problems     : 8        (Average Length: 17.00 Splits: 0)
Lemmas       : 62950    (Deleted: 58689)
  Binary     : 103      (Ratio:   0.16%)
  Ternary    : 127      (Ratio:   0.20%)
  Conflict   : 62950    (Average Length: 7237.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 62950    (Average: 46.36 Max: 3852 Sum: 2918551)
  Executed   : 62829    (Average: 46.35 Max: 3852 Sum: 2917572 Ratio:  99.97%)
  Bounded    : 121      (Average:  8.09 Max:  31 Sum:    979 Ratio:   0.03%)

Rules        : 1714997  (Original: 1714983)
Atoms        : 622667  
Bodies       : 789459   (Original: 789444)
  Count      : 1080     (Original: 1081)
Equivalences : 303232   (Atom=Atom: 72 Body=Body: 0 Other: 303160)
Tight        : Yes
Variables    : 752380   (Eliminated:    0 Frozen: 686567)
Constraints  : 10754846 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 101.57s
Memory:		 1895MB (+58MB)
UNKNOWN
Iteration Time:	 108.87s

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

Models       : 0+
Calls        : 9
Time         : 434.986s (Solving: 384.29s 1st Model: 12.70s Unsat: 3.48s)
CPU Time     : 434.168s

Choices      : 3730710  (Domain: 3730710)
Conflicts    : 73150    (Analyzed: 73149)
Restarts     : 735      (Average: 99.52 Last: 207)
Model-Level  : 1095.0  
Problems     : 9        (Average Length: 18.67 Splits: 0)
Lemmas       : 73149    (Deleted: 68323)
  Binary     : 129      (Ratio:   0.18%)
  Ternary    : 146      (Ratio:   0.20%)
  Conflict   : 73149    (Average Length: 6873.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 73149    (Average: 42.62 Max: 3852 Sum: 3117410)
  Executed   : 73024    (Average: 42.60 Max: 3852 Sum: 3116427 Ratio:  99.97%)
  Bounded    : 125      (Average:  7.86 Max:  31 Sum:    983 Ratio:   0.03%)

Rules        : 1714997  (Original: 1714983)
Atoms        : 622667  
Bodies       : 789459   (Original: 789444)
  Count      : 1080     (Original: 1081)
Equivalences : 303232   (Atom=Atom: 72 Body=Body: 0 Other: 303160)
Tight        : Yes
Variables    : 752380   (Eliminated:    0 Frozen: 686567)
Constraints  : 10754846 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 35.36s
Memory:		 1911MB (+16MB)
UNKNOWN
Iteration Time:	 35.55s

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

Models       : 0+
Calls        : 10
Time         : 483.214s (Solving: 432.26s 1st Model: 12.70s Unsat: 3.48s)
CPU Time     : 482.416s

Choices      : 4193977  (Domain: 4193977)
Conflicts    : 82658    (Analyzed: 82657)
Restarts     : 835      (Average: 98.99 Last: 207)
Model-Level  : 1095.0  
Problems     : 10       (Average Length: 20.00 Splits: 0)
Lemmas       : 82657    (Deleted: 78383)
  Binary     : 142      (Ratio:   0.17%)
  Ternary    : 150      (Ratio:   0.18%)
  Conflict   : 82657    (Average Length: 6768.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 82657    (Average: 42.43 Max: 3852 Sum: 3507133)
  Executed   : 82532    (Average: 42.42 Max: 3852 Sum: 3506150 Ratio:  99.97%)
  Bounded    : 125      (Average:  7.86 Max:  31 Sum:    983 Ratio:   0.03%)

Rules        : 1714997  (Original: 1714983)
Atoms        : 622667  
Bodies       : 789459   (Original: 789444)
  Count      : 1080     (Original: 1081)
Equivalences : 303232   (Atom=Atom: 72 Body=Body: 0 Other: 303160)
Tight        : Yes
Variables    : 752380   (Eliminated:    0 Frozen: 686567)
Constraints  : 10754846 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 48.14s
Memory:		 1911MB (+0MB)
UNKNOWN
Iteration Time:	 48.25s

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

Models       : 0+
Calls        : 11
Time         : 548.883s (Solving: 497.72s 1st Model: 12.70s Unsat: 3.48s)
CPU Time     : 548.112s

Choices      : 4998464  (Domain: 4998464)
Conflicts    : 92256    (Analyzed: 92255)
Restarts     : 935      (Average: 98.67 Last: 207)
Model-Level  : 1095.0  
Problems     : 11       (Average Length: 21.09 Splits: 0)
Lemmas       : 92255    (Deleted: 87837)
  Binary     : 156      (Ratio:   0.17%)
  Ternary    : 156      (Ratio:   0.17%)
  Conflict   : 92255    (Average Length: 6563.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 92255    (Average: 45.89 Max: 3852 Sum: 4233397)
  Executed   : 92130    (Average: 45.88 Max: 3852 Sum: 4232414 Ratio:  99.98%)
  Bounded    : 125      (Average:  7.86 Max:  31 Sum:    983 Ratio:   0.02%)

Rules        : 1714997  (Original: 1714983)
Atoms        : 622667  
Bodies       : 789459   (Original: 789444)
  Count      : 1080     (Original: 1081)
Equivalences : 303232   (Atom=Atom: 72 Body=Body: 0 Other: 303160)
Tight        : Yes
Variables    : 752380   (Eliminated:    0 Frozen: 686567)
Constraints  : 10754846 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 65.62s
Memory:		 1911MB (+0MB)
UNKNOWN
Iteration Time:	 65.70s

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

Models       : 0+
Calls        : 12
Time         : 636.951s (Solving: 585.58s 1st Model: 12.70s Unsat: 3.48s)
CPU Time     : 636.220s

Choices      : 6124358  (Domain: 6124358)
Conflicts    : 102627   (Analyzed: 102626)
Restarts     : 1035     (Average: 99.16 Last: 207)
Model-Level  : 1095.0  
Problems     : 12       (Average Length: 22.00 Splits: 0)
Lemmas       : 102626   (Deleted: 97318)
  Binary     : 164      (Ratio:   0.16%)
  Ternary    : 174      (Ratio:   0.17%)
  Conflict   : 102626   (Average Length: 6596.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 102626   (Average: 51.58 Max: 4068 Sum: 5293150)
  Executed   : 102501   (Average: 51.57 Max: 4068 Sum: 5292167 Ratio:  99.98%)
  Bounded    : 125      (Average:  7.86 Max:  31 Sum:    983 Ratio:   0.02%)

Rules        : 1714997  (Original: 1714983)
Atoms        : 622667  
Bodies       : 789459   (Original: 789444)
  Count      : 1080     (Original: 1081)
Equivalences : 303232   (Atom=Atom: 72 Body=Body: 0 Other: 303160)
Tight        : Yes
Variables    : 752380   (Eliminated:    0 Frozen: 686567)
Constraints  : 10754846 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 88.03s
Memory:		 1911MB (+0MB)
UNKNOWN
Iteration Time:	 88.11s

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

Models       : 0+
Calls        : 13
Time         : 739.562s (Solving: 687.95s 1st Model: 12.70s Unsat: 3.48s)
CPU Time     : 738.872s

Choices      : 7720963  (Domain: 7720963)
Conflicts    : 112128   (Analyzed: 112127)
Restarts     : 1135     (Average: 98.79 Last: 207)
Model-Level  : 1095.0  
Problems     : 13       (Average Length: 22.77 Splits: 0)
Lemmas       : 112127   (Deleted: 107531)
  Binary     : 173      (Ratio:   0.15%)
  Ternary    : 188      (Ratio:   0.17%)
  Conflict   : 112127   (Average Length: 6533.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 112127   (Average: 60.13 Max: 4832 Sum: 6742482)
  Executed   : 112001   (Average: 60.12 Max: 4832 Sum: 6741468 Ratio:  99.98%)
  Bounded    : 126      (Average:  8.05 Max:  31 Sum:   1014 Ratio:   0.02%)

Rules        : 1714997  (Original: 1714983)
Atoms        : 622667  
Bodies       : 789459   (Original: 789444)
  Count      : 1080     (Original: 1081)
Equivalences : 303232   (Atom=Atom: 72 Body=Body: 0 Other: 303160)
Tight        : Yes
Variables    : 752380   (Eliminated:    0 Frozen: 686567)
Constraints  : 10754846 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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

[endof: stats after solve call]
Solving Time:	 102.55s
Memory:		 1911MB (+0MB)
UNKNOWN
Iteration Time:	 102.66s

Iteration 13
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), (15,75,0,True)]
Grounded Until:	 30
Expected Memory: 2160.0MB
Grounding...	 [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])]
Grounding Time:	 5.62s
Memory:		 1984MB (+73MB)
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 14
Time         : 857.269s (Solving: 797.85s 1st Model: 12.70s Unsat: 3.48s)
CPU Time     : 856.600s

Choices      : 9571292  (Domain: 9571292)
Conflicts    : 119504   (Analyzed: 119503)
Restarts     : 1212     (Average: 98.60 Last: 207)
Model-Level  : 1095.0  
Problems     : 14       (Average Length: 23.79 Splits: 0)
Lemmas       : 119503   (Deleted: 114691)
  Binary     : 181      (Ratio:   0.15%)
  Ternary    : 194      (Ratio:   0.16%)
  Conflict   : 119503   (Average Length: 6569.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 119503   (Average: 70.45 Max: 5080 Sum: 8419534)
  Executed   : 119377   (Average: 70.45 Max: 5080 Sum: 8418520 Ratio:  99.99%)
  Bounded    : 126      (Average:  8.05 Max:  31 Sum:   1014 Ratio:   0.01%)

Rules        : 1714997  (Original: 1714983)
Atoms        : 622667  
Bodies       : 789459   (Original: 789444)
  Count      : 1080     (Original: 1081)
Equivalences : 303232   (Atom=Atom: 72 Body=Body: 0 Other: 303160)
Tight        : Yes
Variables    : 881951   (Eliminated:    0 Frozen: 810657)
Constraints  : 12703996 (Binary:  99.5% Ternary:   0.2% Other:   0.3%)

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


