INFO     Running translator.
INFO     translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-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/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-14.pddl
Parsing...
Parsing: [0.050s CPU, 0.050s wall-clock]
Normalizing task... [0.010s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.015s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.021s wall-clock]
Preparing model... [0.050s CPU, 0.051s wall-clock]
Generated 46 rules.
Computing model... [3.730s CPU, 3.738s wall-clock]
35012 relevant atoms
12873 auxiliary atoms
47885 final queue length
110965 total queue pushes
Completing instantiation... [12.620s CPU, 12.610s wall-clock]
Instantiating: [16.470s CPU, 16.482s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.180s CPU, 0.179s wall-clock]
Checking invariant weight... [0.010s CPU, 0.005s wall-clock]
Instantiating groups... [0.130s CPU, 0.125s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.011s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.040s CPU, 0.034s wall-clock]
Building translation key... [0.020s CPU, 0.020s wall-clock]
Computing fact groups: [0.460s CPU, 0.460s wall-clock]
Building STRIPS to SAS dictionary... [0.020s CPU, 0.010s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.008s wall-clock]
Building mutex information...
Building mutex information: [0.020s CPU, 0.012s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.530s CPU, 0.538s wall-clock]
Translating task: [10.130s CPU, 10.127s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
65 propositions removed
Detecting unreachable propositions: [5.230s CPU, 5.231s wall-clock]
Reordering and filtering variables...
65 of 65 variables necessary.
0 of 65 mutex groups necessary.
32600 of 32600 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [1.540s CPU, 1.535s wall-clock]
Translator variables: 65
Translator derived variables: 0
Translator facts: 1729
Translator goal facts: 49
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 32600
Translator axioms: 0
Translator task size: 196075
Translator peak memory: 164576 KB
Writing output... [3.340s CPU, 3.586s wall-clock]
Done! [37.710s CPU, 37.938s wall-clock]
planner.py version 0.0.1

Time:	 8.48s
Memory: 593MB

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

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

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

Models       : 0
Calls        : 2
Time         : 15.325s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 14.072s

Choices      : 0       
Conflicts    : 0        (Analyzed: 0)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 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        : 590900  
Atoms        : 590900  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 146325   (Eliminated:    0 Frozen: 6907)
Constraints  : 311013   (Binary:  98.1% Ternary:   0.8% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 0.87s
Memory:		 701MB (+36MB)
UNSAT
Iteration Time:	 5.56s

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

Models       : 0+
Calls        : 3
Time         : 25.477s (Solving: 5.26s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 24.224s

Choices      : 188637   (Domain: 188637)
Conflicts    : 10902    (Analyzed: 10902)
Restarts     : 100      (Average: 109.02 Last: 121)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 10902    (Deleted: 5879)
  Binary     : 425      (Ratio:   3.90%)
  Ternary    : 261      (Ratio:   2.39%)
  Conflict   : 10902    (Average Length:  344.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 10902    (Average: 16.30 Max: 580 Sum: 177689)
  Executed   : 10895    (Average: 16.30 Max: 580 Sum: 177671 Ratio:  99.99%)
  Bounded    : 7        (Average:  2.57 Max:  12 Sum:     18 Ratio:   0.01%)

Rules        : 590900  
Atoms        : 590900  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 323091   (Eliminated:    0 Frozen: 15288)
Constraints  : 1747576  (Binary:  98.7% Ternary:   0.6% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 5.41s
Memory:		 800MB (+83MB)
UNKNOWN
Iteration Time:	 10.16s

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

Models       : 0+
Calls        : 4
Time         : 40.495s (Solving: 15.76s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 39.240s

Choices      : 583968   (Domain: 583968)
Conflicts    : 22554    (Analyzed: 22554)
Restarts     : 200      (Average: 112.77 Last: 148)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 22554    (Deleted: 17980)
  Binary     : 706      (Ratio:   3.13%)
  Ternary    : 436      (Ratio:   1.93%)
  Conflict   : 22554    (Average Length:  410.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 22554    (Average: 23.15 Max: 1670 Sum: 522123)
  Executed   : 22540    (Average: 23.15 Max: 1670 Sum: 522082 Ratio:  99.99%)
  Bounded    : 14       (Average:  2.93 Max:  17 Sum:     41 Ratio:   0.01%)

Rules        : 590900  
Atoms        : 590900  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 503717   (Eliminated:    0 Frozen: 23833)
Constraints  : 3223577  (Binary:  98.7% Ternary:   0.6% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 10.68s
Memory:		 976MB (+132MB)
UNKNOWN
Iteration Time:	 15.03s

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

Models       : 0+
Calls        : 5
Time         : 63.899s (Solving: 33.78s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 62.648s

Choices      : 1258557  (Domain: 1258557)
Conflicts    : 33379    (Analyzed: 33379)
Restarts     : 300      (Average: 111.26 Last: 148)
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 33379    (Deleted: 26185)
  Binary     : 915      (Ratio:   2.74%)
  Ternary    : 610      (Ratio:   1.83%)
  Conflict   : 33379    (Average Length:  475.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 33379    (Average: 32.91 Max: 2235 Sum: 1098652)
  Executed   : 33360    (Average: 32.91 Max: 2235 Sum: 1098585 Ratio:  99.99%)
  Bounded    : 19       (Average:  3.53 Max:  22 Sum:     67 Ratio:   0.01%)

Rules        : 590900  
Atoms        : 590900  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 684343   (Eliminated:    0 Frozen: 32378)
Constraints  : 4699578  (Binary:  98.7% Ternary:   0.6% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 18.23s
Memory:		 1142MB (+65MB)
UNKNOWN
Iteration Time:	 23.42s

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

Models       : 0+
Calls        : 6
Time         : 89.020s (Solving: 54.22s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 87.780s

Choices      : 1944596  (Domain: 1944596)
Conflicts    : 43176    (Analyzed: 43176)
Restarts     : 400      (Average: 107.94 Last: 148)
Problems     : 6        (Average Length: 14.50 Splits: 0)
Lemmas       : 43176    (Deleted: 36905)
  Binary     : 986      (Ratio:   2.28%)
  Ternary    : 643      (Ratio:   1.49%)
  Conflict   : 43176    (Average Length:  679.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 43176    (Average: 36.24 Max: 3956 Sum: 1564750)
  Executed   : 43157    (Average: 36.24 Max: 3956 Sum: 1564683 Ratio: 100.00%)
  Bounded    : 19       (Average:  3.53 Max:  22 Sum:     67 Ratio:   0.00%)

Rules        : 590900  
Atoms        : 590900  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 864969   (Eliminated:    0 Frozen: 40923)
Constraints  : 6175579  (Binary:  98.8% Ternary:   0.6% Other:   0.7%)

Memory Peak  : 1361MB
Max. Length  : 20 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 20.67s
Memory:		 1327MB (+121MB)
UNKNOWN
Iteration Time:	 25.14s

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

Models       : 0+
Calls        : 7
Time         : 116.594s (Solving: 77.03s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 115.364s

Choices      : 2586570  (Domain: 2586570)
Conflicts    : 52850    (Analyzed: 52850)
Restarts     : 500      (Average: 105.70 Last: 148)
Problems     : 7        (Average Length: 17.00 Splits: 0)
Lemmas       : 52850    (Deleted: 46445)
  Binary     : 1029     (Ratio:   1.95%)
  Ternary    : 665      (Ratio:   1.26%)
  Conflict   : 52850    (Average Length:  739.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 52850    (Average: 38.43 Max: 3956 Sum: 2031268)
  Executed   : 52829    (Average: 38.43 Max: 3956 Sum: 2031168 Ratio: 100.00%)
  Bounded    : 21       (Average:  4.76 Max:  32 Sum:    100 Ratio:   0.00%)

Rules        : 590900  
Atoms        : 590900  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1045595  (Eliminated:    0 Frozen: 49468)
Constraints  : 7651589  (Binary:  98.8% Ternary:   0.6% Other:   0.6%)

Memory Peak  : 1535MB
Max. Length  : 25 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 23.06s
Memory:		 1444MB (+64MB)
UNKNOWN
Iteration Time:	 27.60s

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        : 8
Time         : 122.539s (Solving: 82.71s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 121.308s

Choices      : 2697916  (Domain: 2697916)
Conflicts    : 64058    (Analyzed: 64058)
Restarts     : 600      (Average: 106.76 Last: 148)
Problems     : 8        (Average Length: 18.88 Splits: 0)
Lemmas       : 64058    (Deleted: 57311)
  Binary     : 1133     (Ratio:   1.77%)
  Ternary    : 770      (Ratio:   1.20%)
  Conflict   : 64058    (Average Length:  702.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 64058    (Average: 33.30 Max: 3956 Sum: 2133009)
  Executed   : 64021    (Average: 33.30 Max: 3956 Sum: 2132893 Ratio:  99.99%)
  Bounded    : 37       (Average:  3.14 Max:  32 Sum:    116 Ratio:   0.01%)

Rules        : 590900  
Atoms        : 590900  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1045595  (Eliminated:    0 Frozen: 49468)
Constraints  : 7651580  (Binary:  98.8% Ternary:   0.6% Other:   0.6%)

Memory Peak  : 1535MB
Max. Length  : 30 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 5.85s
Memory:		 1444MB (+0MB)
UNKNOWN
Iteration Time:	 5.95s

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        : 9
Time         : 133.090s (Solving: 93.02s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 131.860s

Choices      : 3045787  (Domain: 3045787)
Conflicts    : 75490    (Analyzed: 75490)
Restarts     : 700      (Average: 107.84 Last: 148)
Problems     : 9        (Average Length: 20.33 Splits: 0)
Lemmas       : 75490    (Deleted: 65781)
  Binary     : 1223     (Ratio:   1.62%)
  Ternary    : 842      (Ratio:   1.12%)
  Conflict   : 75490    (Average Length:  670.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 75490    (Average: 32.13 Max: 3956 Sum: 2425119)
  Executed   : 75441    (Average: 32.12 Max: 3956 Sum: 2424991 Ratio:  99.99%)
  Bounded    : 49       (Average:  2.61 Max:  32 Sum:    128 Ratio:   0.01%)

Rules        : 590900  
Atoms        : 590900  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1045595  (Eliminated:    0 Frozen: 49468)
Constraints  : 7651580  (Binary:  98.8% Ternary:   0.6% Other:   0.6%)

Memory Peak  : 1535MB
Max. Length  : 30 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 10.48s
Memory:		 1444MB (+0MB)
UNKNOWN
Iteration Time:	 10.56s

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        : 10
Time         : 150.242s (Solving: 109.93s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 149.020s

Choices      : 3757183  (Domain: 3757183)
Conflicts    : 87010    (Analyzed: 87010)
Restarts     : 800      (Average: 108.76 Last: 153)
Problems     : 10       (Average Length: 21.50 Splits: 0)
Lemmas       : 87010    (Deleted: 76539)
  Binary     : 1376     (Ratio:   1.58%)
  Ternary    : 960      (Ratio:   1.10%)
  Conflict   : 87010    (Average Length:  660.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 87010    (Average: 34.97 Max: 3956 Sum: 3042449)
  Executed   : 86949    (Average: 34.97 Max: 3956 Sum: 3042309 Ratio: 100.00%)
  Bounded    : 61       (Average:  2.30 Max:  32 Sum:    140 Ratio:   0.00%)

Rules        : 590900  
Atoms        : 590900  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1045595  (Eliminated:    0 Frozen: 49468)
Constraints  : 7651580  (Binary:  98.8% Ternary:   0.6% Other:   0.6%)

Memory Peak  : 1535MB
Max. Length  : 30 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 17.07s
Memory:		 1444MB (+0MB)
UNKNOWN
Iteration Time:	 17.16s

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       : 1+
Calls        : 11
Time         : 160.418s (Solving: 119.86s 1st Model: 9.83s Unsat: 0.00s)
CPU Time     : 159.200s

Choices      : 4165182  (Domain: 4165120)
Conflicts    : 91436    (Analyzed: 91436)
Restarts     : 841      (Average: 108.72 Last: 153)
Model-Level  : 4202.0  
Problems     : 11       (Average Length: 22.45 Splits: 0)
Lemmas       : 91436    (Deleted: 82412)
  Binary     : 1456     (Ratio:   1.59%)
  Ternary    : 1000     (Ratio:   1.09%)
  Conflict   : 91436    (Average Length:  696.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 91436    (Average: 36.92 Max: 3956 Sum: 3375503)
  Executed   : 91373    (Average: 36.92 Max: 3956 Sum: 3375361 Ratio: 100.00%)
  Bounded    : 63       (Average:  2.25 Max:  32 Sum:    142 Ratio:   0.00%)

Rules        : 590900  
Atoms        : 590900  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1045595  (Eliminated:    0 Frozen: 49468)
Constraints  : 7651580  (Binary:  98.8% Ternary:   0.6% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 10.09s
Memory:		 1444MB (+0MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 15.09s
Memory:		 1795MB (+351MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 12
Time         : 232.251s (Solving: 181.83s 1st Model: 9.83s Unsat: 0.00s)
CPU Time     : 231.064s

Choices      : 5633670  (Domain: 5633608)
Conflicts    : 100999   (Analyzed: 100999)
Restarts     : 941      (Average: 107.33 Last: 153)
Model-Level  : 4202.0  
Problems     : 12       (Average Length: 23.25 Splits: 0)
Lemmas       : 100999   (Deleted: 90154)
  Binary     : 1607     (Ratio:   1.59%)
  Ternary    : 1093     (Ratio:   1.08%)
  Conflict   : 100999   (Average Length:  700.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 100999   (Average: 47.29 Max: 3956 Sum: 4776025)
  Executed   : 100894   (Average: 47.27 Max: 3956 Sum: 4774539 Ratio:  99.97%)
  Bounded    : 105      (Average: 14.15 Max:  32 Sum:   1486 Ratio:   0.03%)

Rules        : 3168837  (Original: 3168777)
Atoms        : 659724  
Bodies       : 1681102  (Original: 1681041)
  Count      : 1862     (Original: 1868)
Equivalences : 847227   (Atom=Atom: 42 Body=Body: 0 Other: 847185)
Tight        : Yes
Variables    : 1049455  (Eliminated:    0 Frozen: 896517)
Constraints  : 10166687 (Binary:  99.0% Ternary:   0.4% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 63.74s
Memory:		 1747MB (+-48MB)
UNKNOWN
Iteration Time:	 89.02s

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         : 348.597s (Solving: 297.92s 1st Model: 9.83s Unsat: 0.00s)
CPU Time     : 347.460s

Choices      : 8384141  (Domain: 8384079)
Conflicts    : 111456   (Analyzed: 111456)
Restarts     : 1041     (Average: 107.07 Last: 153)
Model-Level  : 4202.0  
Problems     : 13       (Average Length: 23.92 Splits: 0)
Lemmas       : 111456   (Deleted: 97371)
  Binary     : 1848     (Ratio:   1.66%)
  Ternary    : 1245     (Ratio:   1.12%)
  Conflict   : 111456   (Average Length:  693.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 111456   (Average: 67.16 Max: 7763 Sum: 7485769)
  Executed   : 111261   (Average: 67.12 Max: 7763 Sum: 7481403 Ratio:  99.94%)
  Bounded    : 195      (Average: 22.39 Max:  32 Sum:   4366 Ratio:   0.06%)

Rules        : 3168837  (Original: 3168777)
Atoms        : 659724  
Bodies       : 1681102  (Original: 1681041)
  Count      : 1862     (Original: 1868)
Equivalences : 847227   (Atom=Atom: 42 Body=Body: 0 Other: 847185)
Tight        : Yes
Variables    : 1049455  (Eliminated:    0 Frozen: 896517)
Constraints  : 10139054 (Binary:  99.0% Ternary:   0.4% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 116.29s
Memory:		 1759MB (+12MB)
UNKNOWN
Iteration Time:	 116.40s

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: 1944.0MB
Grounding...	 [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])]
Grounding Time:	 5.23s
Memory:		 1826MB (+67MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 14
Time         : 398.157s (Solving: 339.83s 1st Model: 9.83s Unsat: 0.00s)
CPU Time     : 397.040s

Choices      : 9612102  (Domain: 9612040)
Conflicts    : 120862   (Analyzed: 120862)
Restarts     : 1141     (Average: 105.93 Last: 153)
Model-Level  : 4202.0  
Problems     : 14       (Average Length: 24.86 Splits: 0)
Lemmas       : 120862   (Deleted: 109610)
  Binary     : 1894     (Ratio:   1.57%)
  Ternary    : 1262     (Ratio:   1.04%)
  Conflict   : 120862   (Average Length:  965.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 120862   (Average: 69.89 Max: 7763 Sum: 8446550)
  Executed   : 120600   (Average: 69.83 Max: 7763 Sum: 8439705 Ratio:  99.92%)
  Bounded    : 262      (Average: 26.13 Max:  37 Sum:   6845 Ratio:   0.08%)

Rules        : 3168837  (Original: 3168777)
Atoms        : 659724  
Bodies       : 1681102  (Original: 1681041)
  Count      : 1862     (Original: 1868)
Equivalences : 847227   (Atom=Atom: 42 Body=Body: 0 Other: 847185)
Tight        : Yes
Variables    : 1230731  (Eliminated:    0 Frozen: 1068387)
Constraints  : 12020313 (Binary:  99.0% Ternary:   0.4% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 42.22s
Memory:		 2104MB (+278MB)
UNKNOWN
Iteration Time:	 49.60s

Iteration 14
Queue:		 [(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:	 35
Expected Memory: 2449.0MB
Grounding...	 [('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('check', [40])]
Grounding Time:	 5.42s
Memory:		 2104MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 15
Time         : 457.849s (Solving: 391.63s 1st Model: 9.83s Unsat: 0.00s)
CPU Time     : 456.760s

Choices      : 11705674 (Domain: 11705612)
Conflicts    : 130356   (Analyzed: 130356)
Restarts     : 1241     (Average: 105.04 Last: 153)
Model-Level  : 4202.0  
Problems     : 15       (Average Length: 26.00 Splits: 0)
Lemmas       : 130356   (Deleted: 117668)
  Binary     : 2015     (Ratio:   1.55%)
  Ternary    : 1322     (Ratio:   1.01%)
  Conflict   : 130356   (Average Length:  936.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 130356   (Average: 78.59 Max: 7763 Sum: 10244105)
  Executed   : 130006   (Average: 78.50 Max: 7763 Sum: 10233564 Ratio:  99.90%)
  Bounded    : 350      (Average: 30.12 Max:  42 Sum:  10541 Ratio:   0.10%)

Rules        : 3168837  (Original: 3168777)
Atoms        : 659724  
Bodies       : 1681102  (Original: 1681041)
  Count      : 1862     (Original: 1868)
Equivalences : 847227   (Atom=Atom: 42 Body=Body: 0 Other: 847185)
Tight        : Yes
Variables    : 1412007  (Eliminated:    0 Frozen: 1240257)
Constraints  : 13946689 (Binary:  99.0% Ternary:   0.4% Other:   0.5%)

Memory Peak  : 2276MB
Max. Length  : 35 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 52.12s
Memory:		 2153MB (+49MB)
UNKNOWN
Iteration Time:	 59.73s

Iteration 15
Queue:		 [(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:	 40
Expected Memory: 2498.0MB
Grounding...	 [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time:	 5.39s
Memory:		 2214MB (+61MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 16
Time         : 515.302s (Solving: 441.07s 1st Model: 9.83s Unsat: 0.00s)
CPU Time     : 514.240s

Choices      : 13516518 (Domain: 13516456)
Conflicts    : 140209   (Analyzed: 140209)
Restarts     : 1341     (Average: 104.56 Last: 153)
Model-Level  : 4202.0  
Problems     : 16       (Average Length: 27.31 Splits: 0)
Lemmas       : 140209   (Deleted: 126298)
  Binary     : 2089     (Ratio:   1.49%)
  Ternary    : 1383     (Ratio:   0.99%)
  Conflict   : 140209   (Average Length:  957.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 140209   (Average: 82.89 Max: 8355 Sum: 11622020)
  Executed   : 139804   (Average: 82.80 Max: 8355 Sum: 11608894 Ratio:  99.89%)
  Bounded    : 405      (Average: 32.41 Max:  47 Sum:  13126 Ratio:   0.11%)

Rules        : 3168837  (Original: 3168777)
Atoms        : 659724  
Bodies       : 1681102  (Original: 1681041)
  Count      : 1862     (Original: 1868)
Equivalences : 847227   (Atom=Atom: 42 Body=Body: 0 Other: 847185)
Tight        : Yes
Variables    : 1593283  (Eliminated:    0 Frozen: 1412127)
Constraints  : 15825965 (Binary:  99.0% Ternary:   0.4% Other:   0.5%)

Memory Peak  : 2458MB
Max. Length  : 40 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 49.80s
Memory:		 2333MB (+119MB)
UNKNOWN
Iteration Time:	 57.49s

Iteration 16
Queue:		 [(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:	 45
Expected Memory: 2678.0MB
Grounding...	 [('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('check', [50])]
Grounding Time:	 6.56s
Memory:		 2487MB (+154MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 17
Time         : 656.146s (Solving: 572.60s 1st Model: 9.83s Unsat: 0.00s)
CPU Time     : 655.148s

Choices      : 16648888 (Domain: 16648826)
Conflicts    : 150185   (Analyzed: 150185)
Restarts     : 1441     (Average: 104.22 Last: 153)
Model-Level  : 4202.0  
Problems     : 17       (Average Length: 28.76 Splits: 0)
Lemmas       : 150185   (Deleted: 136896)
  Binary     : 2128     (Ratio:   1.42%)
  Ternary    : 1425     (Ratio:   0.95%)
  Conflict   : 150185   (Average Length: 1029.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 150185   (Average: 97.35 Max: 8355 Sum: 14619864)
  Executed   : 149764   (Average: 97.25 Max: 8355 Sum: 14605906 Ratio:  99.90%)
  Bounded    : 421      (Average: 33.15 Max:  52 Sum:  13958 Ratio:   0.10%)

Rules        : 3168837  (Original: 3168777)
Atoms        : 659724  
Bodies       : 1681102  (Original: 1681041)
  Count      : 1862     (Original: 1868)
Equivalences : 847227   (Atom=Atom: 42 Body=Body: 0 Other: 847185)
Tight        : Yes
Variables    : 1774559  (Eliminated:    0 Frozen: 1583997)
Constraints  : 17749347 (Binary:  99.0% Ternary:   0.4% Other:   0.5%)

Memory Peak  : 2755MB
Max. Length  : 45 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 131.94s
Memory:		 2659MB (+172MB)
UNKNOWN
Iteration Time:	 140.92s

Iteration 17
Queue:		 [(11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True)]
Grounded Until:	 50
Expected Memory: 3004.0MB
Grounding...	 [('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('check', [55])]
Grounding Time:	 5.12s
Memory:		 2730MB (+71MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 18
Time         : 834.558s (Solving: 743.11s 1st Model: 9.83s Unsat: 0.00s)
CPU Time     : 833.636s

Choices      : 20367865 (Domain: 20367803)
Conflicts    : 159873   (Analyzed: 159873)
Restarts     : 1541     (Average: 103.75 Last: 153)
Model-Level  : 4202.0  
Problems     : 18       (Average Length: 30.33 Splits: 0)
Lemmas       : 159873   (Deleted: 145693)
  Binary     : 2203     (Ratio:   1.38%)
  Ternary    : 1500     (Ratio:   0.94%)
  Conflict   : 159873   (Average Length: 1028.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 159873   (Average: 114.21 Max: 8355 Sum: 18259309)
  Executed   : 159385   (Average: 114.10 Max: 8355 Sum: 18241532 Ratio:  99.90%)
  Bounded    : 488      (Average: 36.43 Max:  57 Sum:  17777 Ratio:   0.10%)

Rules        : 3168837  (Original: 3168777)
Atoms        : 659724  
Bodies       : 1681102  (Original: 1681041)
  Count      : 1862     (Original: 1868)
Equivalences : 847227   (Atom=Atom: 42 Body=Body: 0 Other: 847185)
Tight        : Yes
Variables    : 1955835  (Eliminated:    0 Frozen: 1755867)
Constraints  : 19705590 (Binary:  99.0% Ternary:   0.4% Other:   0.5%)

Memory Peak  : 3009MB
Max. Length  : 50 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 170.97s
Memory:		 2826MB (+96MB)
UNKNOWN
Iteration Time:	 178.50s

Iteration 18
Queue:		 [(12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True)]
Grounded Until:	 55
Expected Memory: 3171.0MB
Grounding...	 [('step', [56]), ('step', [57]), ('step', [58]), ('step', [59]), ('step', [60]), ('check', [60])]
Grounding Time:	 5.18s
Memory:		 2888MB (+62MB)
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 19
Time         : 1009.320s (Solving: 909.79s 1st Model: 9.83s Unsat: 0.00s)
CPU Time     : 1008.452s

Choices      : 25652195 (Domain: 25652133)
Conflicts    : 169797   (Analyzed: 169797)
Restarts     : 1641     (Average: 103.47 Last: 153)
Model-Level  : 4202.0  
Problems     : 19       (Average Length: 32.00 Splits: 0)
Lemmas       : 169797   (Deleted: 153680)
  Binary     : 2245     (Ratio:   1.32%)
  Ternary    : 1526     (Ratio:   0.90%)
  Conflict   : 169797   (Average Length: 1035.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 169797   (Average: 137.74 Max: 8692 Sum: 23387581)
  Executed   : 169287   (Average: 137.63 Max: 8692 Sum: 23368440 Ratio:  99.92%)
  Bounded    : 510      (Average: 37.53 Max:  62 Sum:  19141 Ratio:   0.08%)

Rules        : 3168837  (Original: 3168777)
Atoms        : 659724  
Bodies       : 1681102  (Original: 1681041)
  Count      : 1862     (Original: 1868)
Equivalences : 847227   (Atom=Atom: 42 Body=Body: 0 Other: 847185)
Tight        : Yes
Variables    : 2137111  (Eliminated:    0 Frozen: 1927737)
Constraints  : 21617607 (Binary:  99.0% Ternary:   0.4% Other:   0.5%)

Memory Peak  : 3189MB
Max. Length  : 55 steps
Models       : 1


