INFO     Running translator.
INFO     translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-19.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/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-19.pddl
Parsing...
Parsing: [0.040s CPU, 0.039s wall-clock]
Normalizing task... [0.000s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.011s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.040s CPU, 0.046s wall-clock]
Preparing model... [0.030s CPU, 0.027s wall-clock]
Generated 115 rules.
Computing model... [0.540s CPU, 0.534s wall-clock]
3296 relevant atoms
3425 auxiliary atoms
6721 final queue length
11595 total queue pushes
Completing instantiation... [1.020s CPU, 1.020s wall-clock]
Instantiating: [1.650s CPU, 1.645s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.100s CPU, 0.111s wall-clock]
Checking invariant weight... [0.010s CPU, 0.001s wall-clock]
Instantiating groups... [0.010s CPU, 0.010s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
Choosing groups...
350 uncovered facts
Choosing groups: [0.000s CPU, 0.002s wall-clock]
Building translation key... [0.010s CPU, 0.013s wall-clock]
Computing fact groups: [0.160s CPU, 0.164s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.006s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.003s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.004s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.060s CPU, 0.057s wall-clock]
Translating task: [1.070s CPU, 1.062s wall-clock]
3920 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
3 propositions removed
Detecting unreachable propositions: [0.580s CPU, 0.587s wall-clock]
Reordering and filtering variables...
353 of 353 variables necessary.
16 of 19 mutex groups necessary.
2344 of 2344 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.380s CPU, 0.376s wall-clock]
Translator variables: 353
Translator derived variables: 0
Translator facts: 737
Translator goal facts: 14
Translator mutex groups: 16
Translator total mutex groups size: 48
Translator operators: 2344
Translator axioms: 0
Translator task size: 22454
Translator peak memory: 49100 KB
Writing output... [0.460s CPU, 0.691s wall-clock]
Done! [4.390s CPU, 4.623s wall-clock]
planner.py version 0.0.1

Time:	 0.92s
Memory: 111MB

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

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

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

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

Models       : 0
Calls        : 2
Time         : 1.845s (Solving: 0.01s 1st Model: 0.00s Unsat: 0.01s)
CPU Time     : 1.592s

Choices      : 461      (Domain: 435)
Conflicts    : 89       (Analyzed: 88)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 88       (Deleted: 0)
  Binary     : 27       (Ratio:  30.68%)
  Ternary    : 5        (Ratio:   5.68%)
  Conflict   : 88       (Average Length:    5.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 88       (Average:  5.30 Max:  45 Sum:    466)
  Executed   : 83       (Average:  5.24 Max:  45 Sum:    461 Ratio:  98.93%)
  Bounded    : 5        (Average:  1.00 Max:   1 Sum:      5 Ratio:   1.07%)

Rules        : 64767   
Atoms        : 64767   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 17354    (Eliminated:    0 Frozen: 17354)
Constraints  : 57355    (Binary:  95.3% Ternary:   3.3% Other:   1.4%)

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

[endof: stats after solve call]
Solving Time:	 0.25s
Memory:		 187MB (+4MB)
UNSAT
Iteration Time:	 0.66s

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

Models       : 1+
Calls        : 3
Time         : 2.745s (Solving: 0.03s 1st Model: 0.01s Unsat: 0.01s)
CPU Time     : 2.496s

Choices      : 1383     (Domain: 1306)
Conflicts    : 150      (Analyzed: 149)
Restarts     : 0       
Model-Level  : 241.0   
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 149      (Deleted: 0)
  Binary     : 58       (Ratio:  38.93%)
  Ternary    : 7        (Ratio:   4.70%)
  Conflict   : 149      (Average Length:   53.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 149      (Average:  7.78 Max: 134 Sum:   1159)
  Executed   : 144      (Average:  7.74 Max: 134 Sum:   1154 Ratio:  99.57%)
  Bounded    : 5        (Average:  1.00 Max:   1 Sum:      5 Ratio:   0.43%)

Rules        : 64767   
Atoms        : 64767   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 38040    (Eliminated:    0 Frozen: 38040)
Constraints  : 226475   (Binary:  95.6% Ternary:   3.2% Other:   1.2%)

Memory Peak  : 247MB
Max. Length  : 5 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 0.41s
Memory:		 205MB (+11MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 1.14s
Memory:		 240MB (+35MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 4
Time         : 3.865s (Solving: 0.62s 1st Model: 0.01s Unsat: 0.60s)
CPU Time     : 3.616s

Choices      : 31443    (Domain: 20499)
Conflicts    : 2832     (Analyzed: 2830)
Restarts     : 11       (Average: 257.27 Last: 1004)
Model-Level  : 241.0   
Problems     : 4        (Average Length: 8.25 Splits: 0)
Lemmas       : 2830     (Deleted: 0)
  Binary     : 279      (Ratio:   9.86%)
  Ternary    : 88       (Ratio:   3.11%)
  Conflict   : 2830     (Average Length:   90.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2830     (Average: 10.79 Max: 305 Sum:  30542)
  Executed   : 2817     (Average: 10.76 Max: 305 Sum:  30463 Ratio:  99.74%)
  Bounded    : 13       (Average:  6.08 Max:  12 Sum:     79 Ratio:   0.26%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 60107    (Eliminated: 17109 Frozen: 42998)
Constraints  : 326250   (Binary:  88.2% Ternary:   7.9% Other:   3.9%)

Memory Peak  : 247MB
Max. Length  : 5 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 0.86s
Memory:		 236MB (+-4MB)
UNSAT
Iteration Time:	 2.91s

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

Models       : 0
Calls        : 5
Time         : 19.416s (Solving: 14.63s 1st Model: 0.01s Unsat: 14.61s)
CPU Time     : 19.176s

Choices      : 197531   (Domain: 165936)
Conflicts    : 24513    (Analyzed: 24510)
Restarts     : 102      (Average: 240.29 Last: 1004)
Model-Level  : 241.0   
Problems     : 5        (Average Length: 10.00 Splits: 0)
Lemmas       : 24510    (Deleted: 5484)
  Binary     : 1427     (Ratio:   5.82%)
  Ternary    : 623      (Ratio:   2.54%)
  Conflict   : 24510    (Average Length:  361.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 24510    (Average:  7.72 Max: 305 Sum: 189197)
  Executed   : 24460    (Average:  7.69 Max: 305 Sum: 188557 Ratio:  99.66%)
  Bounded    : 50       (Average: 12.80 Max:  17 Sum:    640 Ratio:   0.34%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 100183   (Eliminated: 17109 Frozen: 68419)
Constraints  : 617322   (Binary:  89.8% Ternary:   7.4% Other:   2.8%)

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

[endof: stats after solve call]
Solving Time:	 14.77s
Memory:		 269MB (+25MB)
UNSAT
Iteration Time:	 15.57s

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

Models       : 0+
Calls        : 6
Time         : 32.878s (Solving: 26.40s 1st Model: 0.01s Unsat: 14.61s)
CPU Time     : 32.644s

Choices      : 356532   (Domain: 294164)
Conflicts    : 44873    (Analyzed: 44870)
Restarts     : 202      (Average: 222.13 Last: 1004)
Model-Level  : 241.0   
Problems     : 6        (Average Length: 12.00 Splits: 0)
Lemmas       : 44870    (Deleted: 17914)
  Binary     : 2230     (Ratio:   4.97%)
  Ternary    : 885      (Ratio:   1.97%)
  Conflict   : 44870    (Average Length:  691.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 44870    (Average:  7.50 Max: 549 Sum: 336626)
  Executed   : 44820    (Average:  7.49 Max: 549 Sum: 335986 Ratio:  99.81%)
  Bounded    : 50       (Average: 12.80 Max:  17 Sum:    640 Ratio:   0.19%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 140259   (Eliminated: 17109 Frozen: 108495)
Constraints  : 887475   (Binary:  90.4% Ternary:   7.1% Other:   2.5%)

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

[endof: stats after solve call]
Solving Time:	 12.56s
Memory:		 368MB (+86MB)
UNKNOWN
Iteration Time:	 13.48s

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

Models       : 0+
Calls        : 7
Time         : 52.937s (Solving: 44.83s 1st Model: 0.01s Unsat: 14.61s)
CPU Time     : 52.708s

Choices      : 560294   (Domain: 478917)
Conflicts    : 65045    (Analyzed: 65042)
Restarts     : 302      (Average: 215.37 Last: 1004)
Model-Level  : 241.0   
Problems     : 7        (Average Length: 14.14 Splits: 0)
Lemmas       : 65042    (Deleted: 33621)
  Binary     : 3059     (Ratio:   4.70%)
  Ternary    : 1225     (Ratio:   1.88%)
  Conflict   : 65042    (Average Length: 1149.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 65042    (Average:  7.98 Max: 580 Sum: 518721)
  Executed   : 64992    (Average:  7.97 Max: 580 Sum: 518081 Ratio:  99.88%)
  Bounded    : 50       (Average: 12.80 Max:  17 Sum:    640 Ratio:   0.12%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 180335   (Eliminated: 17109 Frozen: 148571)
Constraints  : 1189455  (Binary:  90.6% Ternary:   7.1% Other:   2.3%)

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

[endof: stats after solve call]
Solving Time:	 19.24s
Memory:		 523MB (+149MB)
UNKNOWN
Iteration Time:	 20.08s

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

Models       : 0+
Calls        : 8
Time         : 96.493s (Solving: 86.71s 1st Model: 0.01s Unsat: 14.61s)
CPU Time     : 96.280s

Choices      : 1121829  (Domain: 1021320)
Conflicts    : 99252    (Analyzed: 99249)
Restarts     : 402      (Average: 246.89 Last: 1004)
Model-Level  : 241.0   
Problems     : 8        (Average Length: 16.38 Splits: 0)
Lemmas       : 99249    (Deleted: 64837)
  Binary     : 5154     (Ratio:   5.19%)
  Ternary    : 1702     (Ratio:   1.71%)
  Conflict   : 99249    (Average Length: 1286.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 99249    (Average: 10.61 Max: 580 Sum: 1053310)
  Executed   : 99196    (Average: 10.61 Max: 580 Sum: 1052585 Ratio:  99.93%)
  Bounded    : 53       (Average: 13.68 Max:  32 Sum:    725 Ratio:   0.07%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 220411   (Eliminated: 17109 Frozen: 188647)
Constraints  : 1491435  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 42.72s
Memory:		 625MB (+98MB)
UNKNOWN
Iteration Time:	 43.58s

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

Models       : 0
Calls        : 9
Time         : 117.809s (Solving: 107.95s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 117.608s

Choices      : 1274433  (Domain: 1173924)
Conflicts    : 116747   (Analyzed: 116743)
Restarts     : 460      (Average: 253.79 Last: 1004)
Model-Level  : 241.0   
Problems     : 9        (Average Length: 18.11 Splits: 0)
Lemmas       : 116743   (Deleted: 82159)
  Binary     : 5455     (Ratio:   4.67%)
  Ternary    : 1770     (Ratio:   1.52%)
  Conflict   : 116743   (Average Length: 1166.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 116743   (Average: 10.27 Max: 580 Sum: 1199033)
  Executed   : 116680   (Average: 10.26 Max: 580 Sum: 1198127 Ratio:  99.92%)
  Bounded    : 63       (Average: 14.38 Max:  32 Sum:    906 Ratio:   0.08%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 220411   (Eliminated: 17109 Frozen: 203302)
Constraints  : 1491421  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 21.28s
Memory:		 625MB (+0MB)
UNSAT
Iteration Time:	 21.33s

Iteration 9
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), (16,80,0,True), (17,85,0,True)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 10
Time         : 168.970s (Solving: 159.03s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 168.788s

Choices      : 1690367  (Domain: 1572782)
Conflicts    : 171658   (Analyzed: 171654)
Restarts     : 560      (Average: 306.52 Last: 1004)
Model-Level  : 241.0   
Problems     : 10       (Average Length: 19.50 Splits: 0)
Lemmas       : 171654   (Deleted: 141926)
  Binary     : 6714     (Ratio:   3.91%)
  Ternary    : 1963     (Ratio:   1.14%)
  Conflict   : 171654   (Average Length: 1092.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 171654   (Average:  9.33 Max: 580 Sum: 1601402)
  Executed   : 171579   (Average:  9.32 Max: 580 Sum: 1600138 Ratio:  99.92%)
  Bounded    : 75       (Average: 16.85 Max:  32 Sum:   1264 Ratio:   0.08%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 220411   (Eliminated: 17109 Frozen: 203302)
Constraints  : 1489357  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 51.14s
Memory:		 625MB (+0MB)
UNKNOWN
Iteration Time:	 51.19s

Iteration 10
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), (16,80,0,True), (17,85,0,True)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 11
Time         : 200.820s (Solving: 190.82s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 200.648s

Choices      : 2065299  (Domain: 1933312)
Conflicts    : 207282   (Analyzed: 207278)
Restarts     : 660      (Average: 314.06 Last: 1004)
Model-Level  : 241.0   
Problems     : 11       (Average Length: 20.64 Splits: 0)
Lemmas       : 207278   (Deleted: 167710)
  Binary     : 7758     (Ratio:   3.74%)
  Ternary    : 2190     (Ratio:   1.06%)
  Conflict   : 207278   (Average Length: 1014.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 207278   (Average:  9.44 Max: 580 Sum: 1956299)
  Executed   : 207195   (Average:  9.43 Max: 580 Sum: 1954800 Ratio:  99.92%)
  Bounded    : 83       (Average: 18.06 Max:  32 Sum:   1499 Ratio:   0.08%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 220411   (Eliminated: 17109 Frozen: 203302)
Constraints  : 1489276  (Binary:  90.7% Ternary:   7.1% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 31.83s
Memory:		 625MB (+0MB)
UNKNOWN
Iteration Time:	 31.87s

Iteration 11
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), (16,80,0,True), (17,85,0,True)]
Grounded Until:	 30
Expected Memory: 780.0MB
Grounding...	 [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])]
Grounding Time:	 0.57s
Memory:		 625MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 12
Time         : 249.187s (Solving: 237.48s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 249.036s

Choices      : 2679553  (Domain: 2521378)
Conflicts    : 251846   (Analyzed: 251842)
Restarts     : 760      (Average: 331.37 Last: 1004)
Model-Level  : 241.0   
Problems     : 12       (Average Length: 22.00 Splits: 0)
Lemmas       : 251842   (Deleted: 213011)
  Binary     : 9963     (Ratio:   3.96%)
  Ternary    : 2486     (Ratio:   0.99%)
  Conflict   : 251842   (Average Length: 1064.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 251842   (Average: 10.13 Max: 580 Sum: 2550477)
  Executed   : 251757   (Average: 10.12 Max: 580 Sum: 2548914 Ratio:  99.94%)
  Bounded    : 85       (Average: 18.39 Max:  32 Sum:   1563 Ratio:   0.06%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 260487   (Eliminated: 17109 Frozen: 228723)
Constraints  : 1791215  (Binary:  90.8% Ternary:   7.1% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 47.50s
Memory:		 647MB (+22MB)
UNKNOWN
Iteration Time:	 48.40s

Iteration 12
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), (16,80,0,True), (17,85,0,True)]
Grounded Until:	 35
Expected Memory: 802.0MB
Grounding...	 [('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('check', [40])]
Grounding Time:	 0.56s
Memory:		 651MB (+4MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 13
Time         : 296.270s (Solving: 282.87s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 296.140s

Choices      : 3248863  (Domain: 3079965)
Conflicts    : 295644   (Analyzed: 295640)
Restarts     : 860      (Average: 343.77 Last: 1004)
Model-Level  : 241.0   
Problems     : 13       (Average Length: 23.54 Splits: 0)
Lemmas       : 295640   (Deleted: 255242)
  Binary     : 11712    (Ratio:   3.96%)
  Ternary    : 2659     (Ratio:   0.90%)
  Conflict   : 295640   (Average Length: 1102.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 295640   (Average: 10.48 Max: 580 Sum: 3099057)
  Executed   : 295555   (Average: 10.48 Max: 580 Sum: 3097494 Ratio:  99.95%)
  Bounded    : 85       (Average: 18.39 Max:  32 Sum:   1563 Ratio:   0.05%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 300563   (Eliminated: 17109 Frozen: 268799)
Constraints  : 2093195  (Binary:  90.9% Ternary:   7.1% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 46.22s
Memory:		 676MB (+25MB)
UNKNOWN
Iteration Time:	 47.11s

Iteration 13
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), (16,80,0,True), (17,85,0,True)]
Grounded Until:	 40
Expected Memory: 831.0MB
Grounding...	 [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time:	 0.72s
Memory:		 689MB (+13MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 14
Time         : 337.354s (Solving: 322.07s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 337.240s

Choices      : 3791986  (Domain: 3613887)
Conflicts    : 337772   (Analyzed: 337768)
Restarts     : 960      (Average: 351.84 Last: 1004)
Model-Level  : 241.0   
Problems     : 14       (Average Length: 25.21 Splits: 0)
Lemmas       : 337768   (Deleted: 296825)
  Binary     : 13133    (Ratio:   3.89%)
  Ternary    : 2796     (Ratio:   0.83%)
  Conflict   : 337768   (Average Length: 1116.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 337768   (Average: 10.73 Max: 580 Sum: 3623742)
  Executed   : 337682   (Average: 10.72 Max: 580 Sum: 3622136 Ratio:  99.96%)
  Bounded    : 86       (Average: 18.67 Max:  43 Sum:   1606 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 340639   (Eliminated: 17109 Frozen: 308875)
Constraints  : 2395175  (Binary:  90.9% Ternary:   7.1% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 40.03s
Memory:		 736MB (+47MB)
UNKNOWN
Iteration Time:	 41.11s

Iteration 14
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), (16,80,0,True), (17,85,0,True)]
Grounded Until:	 45
Expected Memory: 891.0MB
Grounding...	 [('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('check', [50])]
Grounding Time:	 0.54s
Memory:		 736MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 15
Time         : 399.010s (Solving: 382.01s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 398.920s

Choices      : 4667890  (Domain: 4475555)
Conflicts    : 394907   (Analyzed: 394903)
Restarts     : 1060     (Average: 372.55 Last: 1004)
Model-Level  : 241.0   
Problems     : 15       (Average Length: 27.00 Splits: 0)
Lemmas       : 394903   (Deleted: 351432)
  Binary     : 14813    (Ratio:   3.75%)
  Ternary    : 2955     (Ratio:   0.75%)
  Conflict   : 394903   (Average Length: 1145.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 394903   (Average: 11.34 Max: 580 Sum: 4478266)
  Executed   : 394814   (Average: 11.34 Max: 580 Sum: 4476509 Ratio:  99.96%)
  Bounded    : 89       (Average: 19.74 Max:  52 Sum:   1757 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 380715   (Eliminated: 17109 Frozen: 348951)
Constraints  : 2697155  (Binary:  90.9% Ternary:   7.1% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 60.80s
Memory:		 752MB (+16MB)
UNKNOWN
Iteration Time:	 61.69s

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

Models       : 0+
Calls        : 16
Time         : 435.393s (Solving: 416.65s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 435.316s

Choices      : 5163728  (Domain: 4965926)
Conflicts    : 434778   (Analyzed: 434774)
Restarts     : 1160     (Average: 374.81 Last: 1004)
Model-Level  : 241.0   
Problems     : 16       (Average Length: 28.88 Splits: 0)
Lemmas       : 434774   (Deleted: 392020)
  Binary     : 15783    (Ratio:   3.63%)
  Ternary    : 3055     (Ratio:   0.70%)
  Conflict   : 434774   (Average Length: 1135.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 434774   (Average: 11.40 Max: 580 Sum: 4955946)
  Executed   : 434684   (Average: 11.39 Max: 580 Sum: 4954137 Ratio:  99.96%)
  Bounded    : 90       (Average: 20.10 Max:  52 Sum:   1809 Ratio:   0.04%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 420791   (Eliminated: 17109 Frozen: 389027)
Constraints  : 2999104  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 35.49s
Memory:		 778MB (+26MB)
UNKNOWN
Iteration Time:	 36.41s

Iteration 16
Queue:		 [(12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True), (17,85,0,True)]
Grounded Until:	 55
Expected Memory: 933.0MB
Grounding...	 [('step', [56]), ('step', [57]), ('step', [58]), ('step', [59]), ('step', [60]), ('check', [60])]
Grounding Time:	 0.57s
Memory:		 778MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 17
Time         : 492.164s (Solving: 471.63s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 492.112s

Choices      : 5940419  (Domain: 5738896)
Conflicts    : 489037   (Analyzed: 489033)
Restarts     : 1260     (Average: 388.12 Last: 1109)
Model-Level  : 241.0   
Problems     : 17       (Average Length: 30.82 Splits: 0)
Lemmas       : 489033   (Deleted: 438586)
  Binary     : 17047    (Ratio:   3.49%)
  Ternary    : 3264     (Ratio:   0.67%)
  Conflict   : 489033   (Average Length: 1160.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 489033   (Average: 11.67 Max: 592 Sum: 5705697)
  Executed   : 488942   (Average: 11.66 Max: 592 Sum: 5703831 Ratio:  99.97%)
  Bounded    : 91       (Average: 20.51 Max:  57 Sum:   1866 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 460867   (Eliminated: 17109 Frozen: 429103)
Constraints  : 3301084  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 55.83s
Memory:		 843MB (+65MB)
UNKNOWN
Iteration Time:	 56.81s

Iteration 17
Queue:		 [(13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True), (17,85,0,True)]
Grounded Until:	 60
Expected Memory: 998.0MB
Grounding...	 [('step', [61]), ('step', [62]), ('step', [63]), ('step', [64]), ('step', [65]), ('check', [65])]
Grounding Time:	 0.56s
Memory:		 843MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 18
Time         : 523.341s (Solving: 501.01s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 523.300s

Choices      : 6309024  (Domain: 6105694)
Conflicts    : 522243   (Analyzed: 522239)
Restarts     : 1360     (Average: 384.00 Last: 1109)
Model-Level  : 241.0   
Problems     : 18       (Average Length: 32.83 Splits: 0)
Lemmas       : 522239   (Deleted: 468605)
  Binary     : 17623    (Ratio:   3.37%)
  Ternary    : 3325     (Ratio:   0.64%)
  Conflict   : 522239   (Average Length: 1153.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 522239   (Average: 11.58 Max: 592 Sum: 6046952)
  Executed   : 522147   (Average: 11.58 Max: 592 Sum: 6045025 Ratio:  99.97%)
  Bounded    : 92       (Average: 20.95 Max:  61 Sum:   1927 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 500943   (Eliminated: 17109 Frozen: 469179)
Constraints  : 3603064  (Binary:  91.0% Ternary:   7.0% Other:   2.0%)

Memory Peak  : 904MB
Max. Length  : 60 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 30.24s
Memory:		 859MB (+16MB)
UNKNOWN
Iteration Time:	 31.20s

Iteration 18
Queue:		 [(14,70,0,True), (15,75,0,True), (16,80,0,True), (17,85,0,True)]
Grounded Until:	 65
Expected Memory: 1014.0MB
Grounding...	 [('step', [66]), ('step', [67]), ('step', [68]), ('step', [69]), ('step', [70]), ('check', [70])]
Grounding Time:	 0.57s
Memory:		 859MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 19
Time         : 576.253s (Solving: 552.07s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 576.232s

Choices      : 7207060  (Domain: 6998439)
Conflicts    : 573737   (Analyzed: 573733)
Restarts     : 1460     (Average: 392.97 Last: 1109)
Model-Level  : 241.0   
Problems     : 19       (Average Length: 34.89 Splits: 0)
Lemmas       : 573733   (Deleted: 514279)
  Binary     : 18770    (Ratio:   3.27%)
  Ternary    : 3476     (Ratio:   0.61%)
  Conflict   : 573733   (Average Length: 1157.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 573733   (Average: 12.06 Max: 648 Sum: 6920916)
  Executed   : 573640   (Average: 12.06 Max: 648 Sum: 6918917 Ratio:  99.97%)
  Bounded    : 93       (Average: 21.49 Max:  72 Sum:   1999 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 541019   (Eliminated: 17109 Frozen: 509255)
Constraints  : 3905044  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

Memory Peak  : 925MB
Max. Length  : 65 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 51.94s
Memory:		 881MB (+22MB)
UNKNOWN
Iteration Time:	 52.95s

Iteration 19
Queue:		 [(15,75,0,True), (16,80,0,True), (17,85,0,True)]
Grounded Until:	 70
Expected Memory: 1036.0MB
Grounding...	 [('step', [71]), ('step', [72]), ('step', [73]), ('step', [74]), ('step', [75]), ('check', [75])]
Grounding Time:	 0.57s
Memory:		 881MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 20
Time         : 628.989s (Solving: 602.93s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 628.992s

Choices      : 7843029  (Domain: 7633142)
Conflicts    : 618478   (Analyzed: 618474)
Restarts     : 1560     (Average: 396.46 Last: 1109)
Model-Level  : 241.0   
Problems     : 20       (Average Length: 37.00 Splits: 0)
Lemmas       : 618474   (Deleted: 563456)
  Binary     : 19579    (Ratio:   3.17%)
  Ternary    : 3561     (Ratio:   0.58%)
  Conflict   : 618474   (Average Length: 1174.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 618474   (Average: 12.17 Max: 719 Sum: 7528729)
  Executed   : 618380   (Average: 12.17 Max: 719 Sum: 7526658 Ratio:  99.97%)
  Bounded    : 94       (Average: 22.03 Max:  72 Sum:   2071 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 581095   (Eliminated: 17109 Frozen: 549331)
Constraints  : 4207007  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

Memory Peak  : 957MB
Max. Length  : 70 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 51.75s
Memory:		 906MB (+25MB)
UNKNOWN
Iteration Time:	 52.77s

Iteration 20
Queue:		 [(16,80,0,True), (17,85,0,True)]
Grounded Until:	 75
Expected Memory: 1061.0MB
Grounding...	 [('step', [76]), ('step', [77]), ('step', [78]), ('step', [79]), ('step', [80]), ('check', [80])]
Grounding Time:	 0.59s
Memory:		 906MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 21
Time         : 676.566s (Solving: 648.60s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 676.592s

Choices      : 8409375  (Domain: 8197854)
Conflicts    : 663231   (Analyzed: 663227)
Restarts     : 1660     (Average: 399.53 Last: 1109)
Model-Level  : 241.0   
Problems     : 21       (Average Length: 39.14 Splits: 0)
Lemmas       : 663227   (Deleted: 607699)
  Binary     : 20283    (Ratio:   3.06%)
  Ternary    : 3652     (Ratio:   0.55%)
  Conflict   : 663227   (Average Length: 1156.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 663227   (Average: 12.16 Max: 719 Sum: 8066406)
  Executed   : 663133   (Average: 12.16 Max: 719 Sum: 8064335 Ratio:  99.97%)
  Bounded    : 94       (Average: 22.03 Max:  72 Sum:   2071 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 621171   (Eliminated: 17109 Frozen: 589407)
Constraints  : 4508987  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

Memory Peak  : 987MB
Max. Length  : 75 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 46.56s
Memory:		 932MB (+26MB)
UNKNOWN
Iteration Time:	 47.61s

Iteration 21
Queue:		 [(17,85,0,True)]
Grounded Until:	 80
Expected Memory: 1087.0MB
Grounding...	 [('step', [81]), ('step', [82]), ('step', [83]), ('step', [84]), ('step', [85]), ('check', [85])]
Grounding Time:	 0.58s
Memory:		 932MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 22
Time         : 716.853s (Solving: 686.99s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 716.892s

Choices      : 9399056  (Domain: 9164720)
Conflicts    : 708780   (Analyzed: 708776)
Restarts     : 1760     (Average: 402.71 Last: 1109)
Model-Level  : 241.0   
Problems     : 22       (Average Length: 41.32 Splits: 0)
Lemmas       : 708776   (Deleted: 649874)
  Binary     : 21580    (Ratio:   3.04%)
  Ternary    : 4057     (Ratio:   0.57%)
  Conflict   : 708776   (Average Length: 1149.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 708776   (Average: 12.74 Max: 724 Sum: 9031596)
  Executed   : 708681   (Average: 12.74 Max: 724 Sum: 9029438 Ratio:  99.98%)
  Bounded    : 95       (Average: 22.72 Max:  87 Sum:   2158 Ratio:   0.02%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 629483)
Constraints  : 4810967  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

Memory Peak  : 1018MB
Max. Length  : 80 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 39.27s
Memory:		 957MB (+25MB)
UNKNOWN
Iteration Time:	 40.31s

Iteration 22
Queue:		 [(5,25,2,True), (6,30,2,True), (7,35,1,True), (8,40,1,True), (9,45,1,True), (10,50,1,True), (11,55,1,True), (12,60,1,True), (13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,1,True), (17,85,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True), (22,110,0,True)]
Grounded Until:	 85
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 23
Time         : 824.070s (Solving: 794.07s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 824.156s

Choices      : 9754580  (Domain: 9520244)
Conflicts    : 777121   (Analyzed: 777117)
Restarts     : 1860     (Average: 417.80 Last: 1109)
Model-Level  : 241.0   
Problems     : 23       (Average Length: 43.30 Splits: 0)
Lemmas       : 777117   (Deleted: 709245)
  Binary     : 22001    (Ratio:   2.83%)
  Ternary    : 4145     (Ratio:   0.53%)
  Conflict   : 777117   (Average Length: 1194.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 777117   (Average: 12.06 Max: 724 Sum: 9374054)
  Executed   : 777019   (Average: 12.06 Max: 724 Sum: 9371635 Ratio:  99.97%)
  Bounded    : 98       (Average: 24.68 Max:  87 Sum:   2419 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4810953  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

Memory Peak  : 1018MB
Max. Length  : 85 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 107.21s
Memory:		 957MB (+0MB)
UNKNOWN
Iteration Time:	 107.27s

Iteration 23
Queue:		 [(6,30,2,True), (7,35,1,True), (8,40,1,True), (9,45,1,True), (10,50,1,True), (11,55,1,True), (12,60,1,True), (13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,1,True), (17,85,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True), (22,110,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 24
Time         : 861.106s (Solving: 830.90s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 861.208s

Choices      : 10001050 (Domain: 9766714)
Conflicts    : 820358   (Analyzed: 820354)
Restarts     : 1960     (Average: 418.55 Last: 1109)
Model-Level  : 241.0   
Problems     : 24       (Average Length: 45.12 Splits: 0)
Lemmas       : 820354   (Deleted: 760201)
  Binary     : 22515    (Ratio:   2.74%)
  Ternary    : 4202     (Ratio:   0.51%)
  Conflict   : 820354   (Average Length: 1166.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 820354   (Average: 11.71 Max: 724 Sum: 9604945)
  Executed   : 820248   (Average: 11.70 Max: 724 Sum: 9601840 Ratio:  99.97%)
  Bounded    : 106      (Average: 29.29 Max:  87 Sum:   3105 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4810912  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

Memory Peak  : 1018MB
Max. Length  : 85 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 36.95s
Memory:		 957MB (+0MB)
UNKNOWN
Iteration Time:	 37.06s

Iteration 24
Queue:		 [(7,35,1,True), (8,40,1,True), (9,45,1,True), (10,50,1,True), (11,55,1,True), (12,60,1,True), (13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,1,True), (17,85,1,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True), (22,110,0,True)]
Grounded Until:	 85
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 25
Time         : 917.385s (Solving: 887.04s 1st Model: 0.01s Unsat: 35.85s)
CPU Time     : 917.492s

Choices      : 10350925 (Domain: 10114717)
Conflicts    : 872390   (Analyzed: 872386)
Restarts     : 2060     (Average: 423.49 Last: 1109)
Model-Level  : 241.0   
Problems     : 25       (Average Length: 46.80 Splits: 0)
Lemmas       : 872386   (Deleted: 816705)
  Binary     : 23221    (Ratio:   2.66%)
  Ternary    : 4288     (Ratio:   0.49%)
  Conflict   : 872386   (Average Length: 1164.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 872386   (Average: 11.39 Max: 724 Sum: 9937365)
  Executed   : 872280   (Average: 11.39 Max: 724 Sum: 9934260 Ratio:  99.97%)
  Bounded    : 106      (Average: 29.29 Max:  87 Sum:   3105 Ratio:   0.03%)

Rules        : 160606   (Original: 145111)
Atoms        : 77298   
Bodies       : 70054    (Original: 54558)
  Count      : 890      (Original: 2504)
Equivalences : 16810    (Atom=Atom: 87 Body=Body: 0 Other: 16723)
Tight        : Yes
Variables    : 661247   (Eliminated: 17109 Frozen: 644138)
Constraints  : 4810825  (Binary:  91.0% Ternary:   7.0% Other:   1.9%)

Memory Peak  : 1018MB
Max. Length  : 85 steps
Models       : 1


