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-10.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-10.pddl
Parsing...
Parsing: [0.040s CPU, 0.045s wall-clock]
Normalizing task... [0.000s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.013s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.021s wall-clock]
Preparing model... [0.050s CPU, 0.043s wall-clock]
Generated 46 rules.
Computing model... [1.920s CPU, 1.919s wall-clock]
17118 relevant atoms
7704 auxiliary atoms
24822 final queue length
53883 total queue pushes
Completing instantiation... [5.660s CPU, 5.656s wall-clock]
Instantiating: [7.680s CPU, 7.677s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.090s CPU, 0.092s wall-clock]
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
Instantiating groups... [0.080s CPU, 0.080s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.008s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.020s CPU, 0.022s wall-clock]
Building translation key... [0.010s CPU, 0.014s wall-clock]
Computing fact groups: [0.280s CPU, 0.280s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.007s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.005s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.010s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.250s CPU, 0.249s wall-clock]
Translating task: [4.710s CPU, 4.701s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
49 propositions removed
Detecting unreachable propositions: [2.690s CPU, 2.696s wall-clock]
Reordering and filtering variables...
49 of 49 variables necessary.
0 of 49 mutex groups necessary.
15276 of 15276 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.720s CPU, 0.720s wall-clock]
Translator variables: 49
Translator derived variables: 0
Translator facts: 1240
Translator goal facts: 39
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 15276
Translator axioms: 0
Translator task size: 92084
Translator peak memory: 95948 KB
Writing output... [1.540s CPU, 1.646s wall-clock]
Done! [17.880s CPU, 17.993s wall-clock]
planner.py version 0.0.1

Time:	 3.89s
Memory: 304MB

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

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

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

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

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

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        : 278114  
Atoms        : 278114  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 72526    (Eliminated:    0 Frozen: 72526)
Constraints  : 131305   (Binary:  97.0% Ternary:   1.4% Other:   1.6%)

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

[endof: stats after solve call]
Solving Time:	 3.89s
Memory:		 385MB (+9MB)
UNSAT
Iteration Time:	 5.93s

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

Models       : 0+
Calls        : 3
Time         : 32.098s (Solving: 12.76s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 31.476s

Choices      : 110427   (Domain: 110427)
Conflicts    : 25477    (Analyzed: 25477)
Restarts     : 100      (Average: 254.77 Last: 100)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 25477    (Deleted: 13028)
  Binary     : 317      (Ratio:   1.24%)
  Ternary    : 200      (Ratio:   0.79%)
  Conflict   : 25477    (Average Length: 1115.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 25477    (Average:  4.08 Max: 635 Sum: 103863)
  Executed   : 25469    (Average:  4.08 Max: 635 Sum: 103855 Ratio:  99.99%)
  Bounded    : 8        (Average:  1.00 Max:   1 Sum:      8 Ratio:   0.01%)

Rules        : 278114  
Atoms        : 278114  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 159083   (Eliminated:    0 Frozen: 159083)
Constraints  : 797384   (Binary:  97.9% Ternary:   1.0% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 19.43s
Memory:		 517MB (+113MB)
UNKNOWN
Iteration Time:	 21.64s

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

Models       : 0+
Calls        : 4
Time         : 58.193s (Solving: 29.81s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 57.584s

Choices      : 406570   (Domain: 406570)
Conflicts    : 52904    (Analyzed: 52904)
Restarts     : 200      (Average: 264.52 Last: 100)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 52904    (Deleted: 34786)
  Binary     : 533      (Ratio:   1.01%)
  Ternary    : 451      (Ratio:   0.85%)
  Conflict   : 52904    (Average Length: 1194.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 52904    (Average:  7.12 Max: 734 Sum: 376580)
  Executed   : 52881    (Average:  7.12 Max: 734 Sum: 376557 Ratio:  99.99%)
  Bounded    : 23       (Average:  1.00 Max:   1 Sum:     23 Ratio:   0.01%)

Rules        : 278114  
Atoms        : 278114  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 248119   (Eliminated:    0 Frozen: 248119)
Constraints  : 1491839  (Binary:  98.0% Ternary:   0.9% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 24.09s
Memory:		 611MB (+75MB)
UNKNOWN
Iteration Time:	 26.12s

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

Models       : 1+
Calls        : 5
Time         : 79.162s (Solving: 41.63s 1st Model: 11.79s Unsat: 0.00s)
CPU Time     : 78.564s

Choices      : 1118949  (Domain: 1118913)
Conflicts    : 65570    (Analyzed: 65570)
Restarts     : 257      (Average: 255.14 Last: 100)
Model-Level  : 2306.0  
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 65570    (Deleted: 47701)
  Binary     : 768      (Ratio:   1.17%)
  Ternary    : 591      (Ratio:   0.90%)
  Conflict   : 65570    (Average Length: 1088.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 65570    (Average: 15.23 Max: 2828 Sum: 998902)
  Executed   : 65518    (Average: 15.23 Max: 2828 Sum: 998850 Ratio:  99.99%)
  Bounded    : 52       (Average:  1.00 Max:   1 Sum:     52 Ratio:   0.01%)

Rules        : 278114  
Atoms        : 278114  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 337155   (Eliminated:    0 Frozen: 337155)
Constraints  : 2186294  (Binary:  98.1% Ternary:   0.9% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 18.89s
Memory:		 730MB (+106MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 5.92s
Memory:		 881MB (+151MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 6
Time         : 126.433s (Solving: 84.31s 1st Model: 11.79s Unsat: 0.00s)
CPU Time     : 125.852s

Choices      : 1547226  (Domain: 1547190)
Conflicts    : 84286    (Analyzed: 84286)
Restarts     : 357      (Average: 236.10 Last: 448)
Model-Level  : 2306.0  
Problems     : 6        (Average Length: 13.67 Splits: 0)
Lemmas       : 84286    (Deleted: 60265)
  Binary     : 962      (Ratio:   1.14%)
  Ternary    : 792      (Ratio:   0.94%)
  Conflict   : 84286    (Average Length: 1628.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 84286    (Average: 16.41 Max: 3113 Sum: 1383177)
  Executed   : 84227    (Average: 16.41 Max: 3113 Sum: 1382971 Ratio:  99.99%)
  Bounded    : 59       (Average:  3.49 Max:  22 Sum:    206 Ratio:   0.01%)

Rules        : 1020747  (Original: 1020689)
Atoms        : 310516  
Bodies       : 477380   (Original: 477321)
  Count      : 900      (Original: 907)
Equivalences : 241586   (Atom=Atom: 42 Body=Body: 0 Other: 241544)
Tight        : Yes
Variables    : 339062   (Eliminated:   65 Frozen: 338997)
Constraints  : 2899386  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 44.64s
Memory:		 975MB (+94MB)
UNKNOWN
Iteration Time:	 71.55s

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

Models       : 0+
Calls        : 7
Time         : 295.784s (Solving: 237.83s 1st Model: 11.79s Unsat: 0.00s)
CPU Time     : 295.272s

Choices      : 9991013  (Domain: 9990977)
Conflicts    : 132184   (Analyzed: 132184)
Restarts     : 457      (Average: 289.24 Last: 448)
Model-Level  : 2306.0  
Problems     : 7        (Average Length: 15.57 Splits: 0)
Lemmas       : 132184   (Deleted: 102159)
  Binary     : 1632     (Ratio:   1.23%)
  Ternary    : 1350     (Ratio:   1.02%)
  Conflict   : 132184   (Average Length: 1233.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 132184   (Average: 72.95 Max: 4319 Sum: 9642557)
  Executed   : 131933   (Average: 72.91 Max: 4319 Sum: 9637167 Ratio:  99.94%)
  Bounded    : 251      (Average: 21.47 Max:  27 Sum:   5390 Ratio:   0.06%)

Rules        : 1020747  (Original: 1020689)
Atoms        : 310516  
Bodies       : 477380   (Original: 477321)
  Count      : 900      (Original: 907)
Equivalences : 241586   (Atom=Atom: 42 Body=Body: 0 Other: 241544)
Tight        : Yes
Variables    : 428588   (Eliminated:   65 Frozen: 428523)
Constraints  : 3820488  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 165.14s
Memory:		 1117MB (+123MB)
UNKNOWN
Iteration Time:	 169.43s

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

Models       : 0+
Calls        : 8
Time         : 554.558s (Solving: 481.77s 1st Model: 11.79s Unsat: 0.00s)
CPU Time     : 554.156s

Choices      : 21559213 (Domain: 21559177)
Conflicts    : 188046   (Analyzed: 188046)
Restarts     : 557      (Average: 337.61 Last: 448)
Model-Level  : 2306.0  
Problems     : 8        (Average Length: 17.62 Splits: 0)
Lemmas       : 188046   (Deleted: 162195)
  Binary     : 1987     (Ratio:   1.06%)
  Ternary    : 1713     (Ratio:   0.91%)
  Conflict   : 188046   (Average Length: 1109.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 188046   (Average: 111.52 Max: 5042 Sum: 20970662)
  Executed   : 187751   (Average: 111.48 Max: 5042 Sum: 20963864 Ratio:  99.97%)
  Bounded    : 295      (Average: 23.04 Max:  32 Sum:   6798 Ratio:   0.03%)

Rules        : 1020747  (Original: 1020689)
Atoms        : 310516  
Bodies       : 477380   (Original: 477321)
  Count      : 900      (Original: 907)
Equivalences : 241586   (Atom=Atom: 42 Body=Body: 0 Other: 241544)
Tight        : Yes
Variables    : 518114   (Eliminated:   65 Frozen: 518049)
Constraints  : 4654158  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 255.57s
Memory:		 1157MB (+40MB)
UNKNOWN
Iteration Time:	 258.90s

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         : 554.876s (Solving: 481.93s 1st Model: 11.79s Unsat: 0.16s)
CPU Time     : 554.472s

Choices      : 21559399 (Domain: 21559363)
Conflicts    : 188110   (Analyzed: 188109)
Restarts     : 557      (Average: 337.72 Last: 448)
Model-Level  : 2306.0  
Problems     : 9        (Average Length: 19.22 Splits: 0)
Lemmas       : 188109   (Deleted: 162195)
  Binary     : 1991     (Ratio:   1.06%)
  Ternary    : 1715     (Ratio:   0.91%)
  Conflict   : 188109   (Average Length: 1109.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 188109   (Average: 111.48 Max: 5042 Sum: 20970883)
  Executed   : 187810   (Average: 111.45 Max: 5042 Sum: 20964050 Ratio:  99.97%)
  Bounded    : 299      (Average: 22.85 Max:  32 Sum:   6833 Ratio:   0.03%)

Rules        : 1020747  (Original: 1020689)
Atoms        : 310516  
Bodies       : 477380   (Original: 477321)
  Count      : 900      (Original: 907)
Equivalences : 241586   (Atom=Atom: 42 Body=Body: 0 Other: 241544)
Tight        : Yes
Variables    : 518114   (Eliminated:   65 Frozen: 518049)
Constraints  : 4640466  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 0.25s
Memory:		 1157MB (+0MB)
UNSAT
Iteration Time:	 0.32s

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         : 583.119s (Solving: 510.01s 1st Model: 11.79s Unsat: 28.23s)
CPU Time     : 582.728s

Choices      : 21595716 (Domain: 21595680)
Conflicts    : 203354   (Analyzed: 203352)
Restarts     : 597      (Average: 340.62 Last: 3146)
Model-Level  : 2306.0  
Problems     : 10       (Average Length: 20.50 Splits: 0)
Lemmas       : 203352   (Deleted: 174901)
  Binary     : 2148     (Ratio:   1.06%)
  Ternary    : 1787     (Ratio:   0.88%)
  Conflict   : 203352   (Average Length: 1132.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 203352   (Average: 103.29 Max: 5042 Sum: 21004726)
  Executed   : 203036   (Average: 103.26 Max: 5042 Sum: 20997442 Ratio:  99.97%)
  Bounded    : 316      (Average: 23.05 Max:  32 Sum:   7284 Ratio:   0.03%)

Rules        : 1020747  (Original: 1020689)
Atoms        : 310516  
Bodies       : 477380   (Original: 477321)
  Count      : 900      (Original: 907)
Equivalences : 241586   (Atom=Atom: 42 Body=Body: 0 Other: 241544)
Tight        : Yes
Variables    : 518114   (Eliminated:   65 Frozen: 518049)
Constraints  : 4640368  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 28.19s
Memory:		 1157MB (+0MB)
UNSAT
Iteration Time:	 28.26s

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         : 702.267s (Solving: 628.99s 1st Model: 11.79s Unsat: 28.23s)
CPU Time     : 701.928s

Choices      : 21806301 (Domain: 21806265)
Conflicts    : 242707   (Analyzed: 242705)
Restarts     : 697      (Average: 348.21 Last: 3146)
Model-Level  : 2306.0  
Problems     : 11       (Average Length: 21.55 Splits: 0)
Lemmas       : 242705   (Deleted: 217275)
  Binary     : 2301     (Ratio:   0.95%)
  Ternary    : 1878     (Ratio:   0.77%)
  Conflict   : 242705   (Average Length: 1699.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 242705   (Average: 87.36 Max: 5042 Sum: 21201911)
  Executed   : 242379   (Average: 87.33 Max: 5042 Sum: 21194586 Ratio:  99.97%)
  Bounded    : 326      (Average: 22.47 Max:  32 Sum:   7325 Ratio:   0.03%)

Rules        : 1020747  (Original: 1020689)
Atoms        : 310516  
Bodies       : 477380   (Original: 477321)
  Count      : 900      (Original: 907)
Equivalences : 241586   (Atom=Atom: 42 Body=Body: 0 Other: 241544)
Tight        : Yes
Variables    : 518114   (Eliminated:   65 Frozen: 518049)
Constraints  : 4639782  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 119.13s
Memory:		 1221MB (+64MB)
UNKNOWN
Iteration Time:	 119.20s

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         : 775.994s (Solving: 702.55s 1st Model: 11.79s Unsat: 28.23s)
CPU Time     : 775.684s

Choices      : 23613524 (Domain: 23613488)
Conflicts    : 267295   (Analyzed: 267293)
Restarts     : 797      (Average: 335.37 Last: 3146)
Model-Level  : 2306.0  
Problems     : 12       (Average Length: 22.42 Splits: 0)
Lemmas       : 267293   (Deleted: 236357)
  Binary     : 2458     (Ratio:   0.92%)
  Ternary    : 2022     (Ratio:   0.76%)
  Conflict   : 267293   (Average Length: 1664.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 267293   (Average: 85.71 Max: 5042 Sum: 22908972)
  Executed   : 266956   (Average: 85.68 Max: 5042 Sum: 22901450 Ratio:  99.97%)
  Bounded    : 337      (Average: 22.32 Max:  32 Sum:   7522 Ratio:   0.03%)

Rules        : 1020747  (Original: 1020689)
Atoms        : 310516  
Bodies       : 477380   (Original: 477321)
  Count      : 900      (Original: 907)
Equivalences : 241586   (Atom=Atom: 42 Body=Body: 0 Other: 241544)
Tight        : Yes
Variables    : 518114   (Eliminated:   65 Frozen: 518049)
Constraints  : 4639684  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 73.68s
Memory:		 1221MB (+0MB)
UNKNOWN
Iteration Time:	 73.76s

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...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 13
Time         : 876.954s (Solving: 803.33s 1st Model: 11.79s Unsat: 28.23s)
CPU Time     : 876.660s

Choices      : 27563569 (Domain: 27563533)
Conflicts    : 287435   (Analyzed: 287433)
Restarts     : 852      (Average: 337.36 Last: 3146)
Model-Level  : 2306.0  
Problems     : 13       (Average Length: 23.15 Splits: 0)
Lemmas       : 287433   (Deleted: 251834)
  Binary     : 2556     (Ratio:   0.89%)
  Ternary    : 2157     (Ratio:   0.75%)
  Conflict   : 287433   (Average Length: 1584.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 287433   (Average: 92.97 Max: 5042 Sum: 26723582)
  Executed   : 287093   (Average: 92.95 Max: 5042 Sum: 26715964 Ratio:  99.97%)
  Bounded    : 340      (Average: 22.41 Max:  32 Sum:   7618 Ratio:   0.03%)

Rules        : 1020747  (Original: 1020689)
Atoms        : 310516  
Bodies       : 477380   (Original: 477321)
  Count      : 900      (Original: 907)
Equivalences : 241586   (Atom=Atom: 42 Body=Body: 0 Other: 241544)
Tight        : Yes
Variables    : 518114   (Eliminated:   65 Frozen: 518049)
Constraints  : 4635430  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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


