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.070s CPU, 0.071s wall-clock]
Normalizing task... [0.000s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.018s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.030s CPU, 0.028s wall-clock]
Preparing model... [0.050s CPU, 0.056s wall-clock]
Generated 46 rules.
Computing model... [1.930s CPU, 1.923s wall-clock]
17118 relevant atoms
7704 auxiliary atoms
24822 final queue length
53883 total queue pushes
Completing instantiation... [5.630s CPU, 5.628s wall-clock]
Instantiating: [7.690s 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.005s wall-clock]
Instantiating groups... [0.090s CPU, 0.081s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.008s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.020s CPU, 0.023s wall-clock]
Building translation key... [0.020s CPU, 0.015s wall-clock]
Computing fact groups: [0.280s CPU, 0.283s 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.250s wall-clock]
Translating task: [4.710s CPU, 4.699s 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.697s 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.719s 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.550s CPU, 1.664s wall-clock]
Done! [17.930s CPU, 18.038s wall-clock]
planner.py version 0.0.1

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

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.03s
Memory:		 376MB (+72MB)
UNSAT
Iteration Time:	 0.03s

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

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.92s

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.44s
Memory:		 404MB (+19MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 3
Time         : 29.401s (Solving: 10.25s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 28.864s

Choices      : 162518   (Domain: 162518)
Conflicts    : 28106    (Analyzed: 28106)
Restarts     : 100      (Average: 281.06 Last: 201)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 28106    (Deleted: 16776)
  Binary     : 417      (Ratio:   1.48%)
  Ternary    : 309      (Ratio:   1.10%)
  Conflict   : 28106    (Average Length:  800.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 28106    (Average:  5.55 Max: 425 Sum: 156114)
  Executed   : 28094    (Average:  5.55 Max: 425 Sum: 156091 Ratio:  99.99%)
  Bounded    : 12       (Average:  1.92 Max:  12 Sum:     23 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  : 453MB
Max. Length  : 5 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 16.92s
Memory:		 453MB (+49MB)
UNKNOWN
Iteration Time:	 19.13s

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

Models       : 0+
Calls        : 4
Time         : 54.642s (Solving: 26.45s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 54.116s

Choices      : 523310   (Domain: 523310)
Conflicts    : 56195    (Analyzed: 56195)
Restarts     : 200      (Average: 280.98 Last: 201)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 56195    (Deleted: 43291)
  Binary     : 679      (Ratio:   1.21%)
  Ternary    : 539      (Ratio:   0.96%)
  Conflict   : 56195    (Average Length: 1115.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 56195    (Average:  8.57 Max: 1308 Sum: 481352)
  Executed   : 56165    (Average:  8.57 Max: 1308 Sum: 481311 Ratio:  99.99%)
  Bounded    : 30       (Average:  1.37 Max:  12 Sum:     41 Ratio:   0.01%)

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

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

[endof: stats after solve call]
Solving Time:	 23.24s
Memory:		 611MB (+139MB)
UNKNOWN
Iteration Time:	 25.26s

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

Models       : 0+
Calls        : 5
Time         : 85.332s (Solving: 48.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 84.820s

Choices      : 1501544  (Domain: 1501544)
Conflicts    : 84281    (Analyzed: 84281)
Restarts     : 300      (Average: 280.94 Last: 201)
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 84281    (Deleted: 70074)
  Binary     : 966      (Ratio:   1.15%)
  Ternary    : 777      (Ratio:   0.92%)
  Conflict   : 84281    (Average Length: 1087.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 84281    (Average: 16.01 Max: 1800 Sum: 1349131)
  Executed   : 84213    (Average: 16.01 Max: 1800 Sum: 1348968 Ratio:  99.99%)
  Bounded    : 68       (Average:  2.40 Max:  22 Sum:    163 Ratio:   0.01%)

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

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

[endof: stats after solve call]
Solving Time:	 28.60s
Memory:		 666MB (+42MB)
UNKNOWN
Iteration Time:	 30.71s

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

Models       : 1+
Calls        : 6
Time         : 109.830s (Solving: 63.02s 1st Model: 14.98s Unsat: 0.00s)
CPU Time     : 109.328s

Choices      : 2280338  (Domain: 2280302)
Conflicts    : 95003    (Analyzed: 95003)
Restarts     : 345      (Average: 275.37 Last: 289)
Model-Level  : 2723.0  
Problems     : 6        (Average Length: 14.50 Splits: 0)
Lemmas       : 95003    (Deleted: 85119)
  Binary     : 1136     (Ratio:   1.20%)
  Ternary    : 889      (Ratio:   0.94%)
  Conflict   : 95003    (Average Length: 1148.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 95003    (Average: 21.42 Max: 2969 Sum: 2034598)
  Executed   : 94916    (Average: 21.41 Max: 2969 Sum: 2034364 Ratio:  99.99%)
  Bounded    : 87       (Average:  2.69 Max:  27 Sum:    234 Ratio:   0.01%)

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

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

[endof: stats after solve call]
Solving Time:	 22.10s
Memory:		 863MB (+147MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 6.12s
Memory:		 991MB (+128MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 7
Time         : 227.579s (Solving: 175.34s 1st Model: 14.98s Unsat: 0.00s)
CPU Time     : 227.128s

Choices      : 6281521  (Domain: 6281485)
Conflicts    : 123064   (Analyzed: 123064)
Restarts     : 445      (Average: 276.55 Last: 289)
Model-Level  : 2723.0  
Problems     : 7        (Average Length: 16.29 Splits: 0)
Lemmas       : 123064   (Deleted: 105910)
  Binary     : 1314     (Ratio:   1.07%)
  Ternary    : 1093     (Ratio:   0.89%)
  Conflict   : 123064   (Average Length: 1123.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 123064   (Average: 48.16 Max: 3134 Sum: 5926326)
  Executed   : 122931   (Average: 48.14 Max: 3134 Sum: 5924850 Ratio:  99.98%)
  Bounded    : 133      (Average: 11.10 Max:  27 Sum:   1476 Ratio:   0.02%)

Rules        : 1247336  (Original: 1247278)
Atoms        : 310986  
Bodies       : 629121   (Original: 629062)
  Count      : 1145     (Original: 1152)
Equivalences : 318219   (Atom=Atom: 47 Body=Body: 0 Other: 318172)
Tight        : Yes
Variables    : 428588   (Eliminated:   65 Frozen: 428523)
Constraints  : 3820632  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 114.92s
Memory:		 946MB (+-45MB)
UNKNOWN
Iteration Time:	 145.56s

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

Models       : 0+
Calls        : 8
Time         : 313.136s (Solving: 245.92s 1st Model: 14.98s Unsat: 0.00s)
CPU Time     : 312.724s

Choices      : 8402233  (Domain: 8402197)
Conflicts    : 151151   (Analyzed: 151151)
Restarts     : 545      (Average: 277.34 Last: 289)
Model-Level  : 2723.0  
Problems     : 8        (Average Length: 18.25 Splits: 0)
Lemmas       : 151151   (Deleted: 132004)
  Binary     : 1675     (Ratio:   1.11%)
  Ternary    : 1321     (Ratio:   0.87%)
  Conflict   : 151151   (Average Length: 1105.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 151151   (Average: 52.58 Max: 4339 Sum: 7947715)
  Executed   : 150812   (Average: 52.53 Max: 4339 Sum: 7939647 Ratio:  99.90%)
  Bounded    : 339      (Average: 23.80 Max:  32 Sum:   8068 Ratio:   0.10%)

Rules        : 1247336  (Original: 1247278)
Atoms        : 310986  
Bodies       : 629121   (Original: 629062)
  Count      : 1145     (Original: 1152)
Equivalences : 318219   (Atom=Atom: 47 Body=Body: 0 Other: 318172)
Tight        : Yes
Variables    : 518114   (Eliminated:   65 Frozen: 518049)
Constraints  : 4731894  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 82.15s
Memory:		 1039MB (+77MB)
UNKNOWN
Iteration Time:	 85.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        : 9
Time         : 313.522s (Solving: 246.11s 1st Model: 14.98s Unsat: 0.19s)
CPU Time     : 313.112s

Choices      : 8403433  (Domain: 8403397)
Conflicts    : 151302   (Analyzed: 151301)
Restarts     : 546      (Average: 277.11 Last: 289)
Model-Level  : 2723.0  
Problems     : 9        (Average Length: 19.78 Splits: 0)
Lemmas       : 151301   (Deleted: 132004)
  Binary     : 1676     (Ratio:   1.11%)
  Ternary    : 1322     (Ratio:   0.87%)
  Conflict   : 151301   (Average Length: 1104.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 151301   (Average: 52.54 Max: 4339 Sum: 7948981)
  Executed   : 150958   (Average: 52.48 Max: 4339 Sum: 7940816 Ratio:  99.90%)
  Bounded    : 343      (Average: 23.80 Max:  32 Sum:   8165 Ratio:   0.10%)

Rules        : 1247336  (Original: 1247278)
Atoms        : 310986  
Bodies       : 629121   (Original: 629062)
  Count      : 1145     (Original: 1152)
Equivalences : 318219   (Atom=Atom: 47 Body=Body: 0 Other: 318172)
Tight        : Yes
Variables    : 518114   (Eliminated:   65 Frozen: 518049)
Constraints  : 4645284  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 0.28s
Memory:		 1039MB (+0MB)
UNSAT
Iteration Time:	 0.39s

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         : 336.116s (Solving: 268.55s 1st Model: 14.98s Unsat: 22.63s)
CPU Time     : 335.716s

Choices      : 8437652  (Domain: 8437616)
Conflicts    : 165987   (Analyzed: 165985)
Restarts     : 607      (Average: 273.45 Last: 289)
Model-Level  : 2723.0  
Problems     : 10       (Average Length: 21.00 Splits: 0)
Lemmas       : 165985   (Deleted: 148227)
  Binary     : 1761     (Ratio:   1.06%)
  Ternary    : 1365     (Ratio:   0.82%)
  Conflict   : 165985   (Average Length: 1070.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 165985   (Average: 48.09 Max: 4339 Sum: 7982431)
  Executed   : 165626   (Average: 48.04 Max: 4339 Sum: 7973785 Ratio:  99.89%)
  Bounded    : 359      (Average: 24.08 Max:  32 Sum:   8646 Ratio:   0.11%)

Rules        : 1247336  (Original: 1247278)
Atoms        : 310986  
Bodies       : 629121   (Original: 629062)
  Count      : 1145     (Original: 1152)
Equivalences : 318219   (Atom=Atom: 47 Body=Body: 0 Other: 318172)
Tight        : Yes
Variables    : 518114   (Eliminated:   65 Frozen: 518049)
Constraints  : 4645134  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 22.54s
Memory:		 1039MB (+0MB)
UNSAT
Iteration Time:	 22.61s

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         : 413.698s (Solving: 345.96s 1st Model: 14.98s Unsat: 22.63s)
CPU Time     : 413.332s

Choices      : 8628238  (Domain: 8628202)
Conflicts    : 194080   (Analyzed: 194078)
Restarts     : 707      (Average: 274.51 Last: 289)
Model-Level  : 2723.0  
Problems     : 11       (Average Length: 22.00 Splits: 0)
Lemmas       : 194078   (Deleted: 173254)
  Binary     : 1943     (Ratio:   1.00%)
  Ternary    : 1464     (Ratio:   0.75%)
  Conflict   : 194078   (Average Length: 1752.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 194078   (Average: 41.89 Max: 4339 Sum: 8129321)
  Executed   : 193718   (Average: 41.84 Max: 4339 Sum: 8120674 Ratio:  99.89%)
  Bounded    : 360      (Average: 24.02 Max:  32 Sum:   8647 Ratio:   0.11%)

Rules        : 1247336  (Original: 1247278)
Atoms        : 310986  
Bodies       : 629121   (Original: 629062)
  Count      : 1145     (Original: 1152)
Equivalences : 318219   (Atom=Atom: 47 Body=Body: 0 Other: 318172)
Tight        : Yes
Variables    : 518114   (Eliminated:   65 Frozen: 518049)
Constraints  : 4644460  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 77.55s
Memory:		 1231MB (+192MB)
UNKNOWN
Iteration Time:	 77.62s

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         : 477.839s (Solving: 409.93s 1st Model: 14.98s Unsat: 22.63s)
CPU Time     : 477.504s

Choices      : 9864705  (Domain: 9864669)
Conflicts    : 222157   (Analyzed: 222155)
Restarts     : 807      (Average: 275.29 Last: 289)
Model-Level  : 2723.0  
Problems     : 12       (Average Length: 22.83 Splits: 0)
Lemmas       : 222155   (Deleted: 199095)
  Binary     : 2156     (Ratio:   0.97%)
  Ternary    : 1690     (Ratio:   0.76%)
  Conflict   : 222155   (Average Length: 1891.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 222155   (Average: 41.81 Max: 4339 Sum: 9289198)
  Executed   : 221784   (Average: 41.77 Max: 4339 Sum: 9280385 Ratio:  99.91%)
  Bounded    : 371      (Average: 23.75 Max:  32 Sum:   8813 Ratio:   0.09%)

Rules        : 1247336  (Original: 1247278)
Atoms        : 310986  
Bodies       : 629121   (Original: 629062)
  Count      : 1145     (Original: 1152)
Equivalences : 318219   (Atom=Atom: 47 Body=Body: 0 Other: 318172)
Tight        : Yes
Variables    : 518114   (Eliminated:   65 Frozen: 518049)
Constraints  : 4644460  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 64.09s
Memory:		 1231MB (+0MB)
UNKNOWN
Iteration Time:	 64.17s

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         : 586.515s (Solving: 518.46s 1st Model: 14.98s Unsat: 22.63s)
CPU Time     : 586.224s

Choices      : 13015968 (Domain: 13015932)
Conflicts    : 250200   (Analyzed: 250198)
Restarts     : 907      (Average: 275.85 Last: 289)
Model-Level  : 2723.0  
Problems     : 13       (Average Length: 23.54 Splits: 0)
Lemmas       : 250198   (Deleted: 225023)
  Binary     : 2398     (Ratio:   0.96%)
  Ternary    : 1911     (Ratio:   0.76%)
  Conflict   : 250198   (Average Length: 1791.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 250198   (Average: 49.15 Max: 4339 Sum: 12296055)
  Executed   : 249820   (Average: 49.11 Max: 4339 Sum: 12287018 Ratio:  99.93%)
  Bounded    : 378      (Average: 23.91 Max:  32 Sum:   9037 Ratio:   0.07%)

Rules        : 1247336  (Original: 1247278)
Atoms        : 310986  
Bodies       : 629121   (Original: 629062)
  Count      : 1145     (Original: 1152)
Equivalences : 318219   (Atom=Atom: 47 Body=Body: 0 Other: 318172)
Tight        : Yes
Variables    : 518114   (Eliminated:   65 Frozen: 518049)
Constraints  : 4644287  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 108.66s
Memory:		 1231MB (+0MB)
UNKNOWN
Iteration Time:	 108.73s

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

Models       : 0+
Calls        : 14
Time         : 687.720s (Solving: 604.17s 1st Model: 14.98s Unsat: 22.63s)
CPU Time     : 687.472s

Choices      : 15469537 (Domain: 15469501)
Conflicts    : 278319   (Analyzed: 278317)
Restarts     : 1007     (Average: 276.38 Last: 289)
Model-Level  : 2723.0  
Problems     : 14       (Average Length: 24.50 Splits: 0)
Lemmas       : 278317   (Deleted: 248201)
  Binary     : 2542     (Ratio:   0.91%)
  Ternary    : 2016     (Ratio:   0.72%)
  Conflict   : 278317   (Average Length: 1841.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 278317   (Average: 52.54 Max: 4339 Sum: 14622919)
  Executed   : 277925   (Average: 52.51 Max: 4339 Sum: 14613364 Ratio:  99.93%)
  Bounded    : 392      (Average: 24.38 Max:  37 Sum:   9555 Ratio:   0.07%)

Rules        : 1247336  (Original: 1247278)
Atoms        : 310986  
Bodies       : 629121   (Original: 629062)
  Count      : 1145     (Original: 1152)
Equivalences : 318219   (Atom=Atom: 47 Body=Body: 0 Other: 318172)
Tight        : Yes
Variables    : 607640   (Eliminated:   65 Frozen: 607575)
Constraints  : 5564527  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 97.30s
Memory:		 1342MB (+104MB)
UNKNOWN
Iteration Time:	 101.26s

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: 1539.0MB
Grounding...	 [('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('check', [40])]
Grounding Time:	 2.40s
Memory:		 1344MB (+2MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 15
Time         : 822.989s (Solving: 724.37s 1st Model: 14.98s Unsat: 22.63s)
CPU Time     : 822.800s

Choices      : 19256128 (Domain: 19256092)
Conflicts    : 306414   (Analyzed: 306412)
Restarts     : 1107     (Average: 276.79 Last: 289)
Model-Level  : 2723.0  
Problems     : 15       (Average Length: 25.67 Splits: 0)
Lemmas       : 306412   (Deleted: 278288)
  Binary     : 2673     (Ratio:   0.87%)
  Ternary    : 2119     (Ratio:   0.69%)
  Conflict   : 306412   (Average Length: 1782.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 306412   (Average: 59.43 Max: 4942 Sum: 18211322)
  Executed   : 305996   (Average: 59.40 Max: 4942 Sum: 18200800 Ratio:  99.94%)
  Bounded    : 416      (Average: 25.29 Max:  42 Sum:  10522 Ratio:   0.06%)

Rules        : 1247336  (Original: 1247278)
Atoms        : 310986  
Bodies       : 629121   (Original: 629062)
  Count      : 1145     (Original: 1152)
Equivalences : 318219   (Atom=Atom: 47 Body=Body: 0 Other: 318172)
Tight        : Yes
Variables    : 697166   (Eliminated:   65 Frozen: 697101)
Constraints  : 6471949  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 131.83s
Memory:		 1416MB (+72MB)
UNKNOWN
Iteration Time:	 135.34s

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: 1613.0MB
Grounding...	 [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time:	 2.40s
Memory:		 1429MB (+13MB)
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 16
Time         : 876.746s (Solving: 763.03s 1st Model: 14.98s Unsat: 22.63s)
CPU Time     : 876.564s

Choices      : 20509528 (Domain: 20509492)
Conflicts    : 323050   (Analyzed: 323048)
Restarts     : 1169     (Average: 276.35 Last: 568)
Model-Level  : 2723.0  
Problems     : 16       (Average Length: 27.00 Splits: 0)
Lemmas       : 323048   (Deleted: 294554)
  Binary     : 2709     (Ratio:   0.84%)
  Ternary    : 2144     (Ratio:   0.66%)
  Conflict   : 323048   (Average Length: 1848.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 323048   (Average: 59.83 Max: 4942 Sum: 19327392)
  Executed   : 322620   (Average: 59.79 Max: 4942 Sum: 19316306 Ratio:  99.94%)
  Bounded    : 428      (Average: 25.90 Max:  47 Sum:  11086 Ratio:   0.06%)

Rules        : 1247336  (Original: 1247278)
Atoms        : 310986  
Bodies       : 629121   (Original: 629062)
  Count      : 1145     (Original: 1152)
Equivalences : 318219   (Atom=Atom: 47 Body=Body: 0 Other: 318172)
Tight        : Yes
Variables    : 786692   (Eliminated:   65 Frozen: 786627)
Constraints  : 7390039  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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


