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-2.pddl']
INFO     translator arguments: []
INFO     translator time limit: None
INFO     translator memory limit: None
INFO     callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/elevator-sequential-satisficing/instances/instance-2.pddl
Parsing...
Parsing: [0.040s CPU, 0.044s wall-clock]
Normalizing task... [0.010s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.012s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.020s wall-clock]
Preparing model... [0.040s CPU, 0.041s wall-clock]
Generated 46 rules.
Computing model... [1.160s CPU, 1.155s wall-clock]
9612 relevant atoms
5472 auxiliary atoms
15084 final queue length
30843 total queue pushes
Completing instantiation... [3.130s CPU, 3.127s wall-clock]
Instantiating: [4.370s CPU, 4.370s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.060s CPU, 0.059s wall-clock]
Checking invariant weight... [0.000s CPU, 0.003s wall-clock]
Instantiating groups... [0.040s CPU, 0.036s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.005s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.010s CPU, 0.014s wall-clock]
Building translation key... [0.010s CPU, 0.009s wall-clock]
Computing fact groups: [0.160s CPU, 0.160s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.003s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.004s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.004s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.130s CPU, 0.137s wall-clock]
Translating task: [2.590s CPU, 2.590s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
31 propositions removed
Detecting unreachable propositions: [1.220s CPU, 1.215s wall-clock]
Reordering and filtering variables...
31 of 31 variables necessary.
0 of 31 mutex groups necessary.
8364 of 8364 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.390s CPU, 0.395s wall-clock]
Translator variables: 31
Translator derived variables: 0
Translator facts: 700
Translator goal facts: 21
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 8364
Translator axioms: 0
Translator task size: 50036
Translator peak memory: 69068 KB
Writing output... [0.850s CPU, 0.915s wall-clock]
Done! [9.760s CPU, 9.815s wall-clock]
planner.py version 0.0.1

Time:	 2.08s
Memory: 187MB

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

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

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

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

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        : 151430  
Atoms        : 151430  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 39943    (Eliminated:    0 Frozen: 2781)
Constraints  : 69078    (Binary:  96.6% Ternary:   1.6% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 0.09s
Memory:		 262MB (+3MB)
UNSAT
Iteration Time:	 1.10s

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

Models       : 0+
Calls        : 3
Time         : 6.488s (Solving: 1.84s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 6.144s

Choices      : 45185    (Domain: 45185)
Conflicts    : 9806     (Analyzed: 9806)
Restarts     : 100      (Average: 98.06 Last: 69)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 9806     (Deleted: 6173)
  Binary     : 221      (Ratio:   2.25%)
  Ternary    : 82       (Ratio:   0.84%)
  Conflict   : 9806     (Average Length:  267.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 9806     (Average:  4.33 Max: 194 Sum:  42500)
  Executed   : 9787     (Average:  4.31 Max: 194 Sum:  42305 Ratio:  99.54%)
  Bounded    : 19       (Average: 10.26 Max:  12 Sum:    195 Ratio:   0.46%)

Rules        : 151430  
Atoms        : 151430  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 87049    (Eliminated:    0 Frozen: 6120)
Constraints  : 424946   (Binary:  97.8% Ternary:   1.0% Other:   1.2%)

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

[endof: stats after solve call]
Solving Time:	 1.89s
Memory:		 302MB (+26MB)
UNKNOWN
Iteration Time:	 2.96s

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

Models       : 0+
Calls        : 4
Time         : 10.983s (Solving: 5.25s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 10.640s

Choices      : 183278   (Domain: 183278)
Conflicts    : 19830    (Analyzed: 19830)
Restarts     : 200      (Average: 99.15 Last: 120)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 19830    (Deleted: 15361)
  Binary     : 319      (Ratio:   1.61%)
  Ternary    : 160      (Ratio:   0.81%)
  Conflict   : 19830    (Average Length:  652.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 19830    (Average:  7.74 Max: 482 Sum: 153545)
  Executed   : 19802    (Average:  7.73 Max: 482 Sum: 153341 Ratio:  99.87%)
  Bounded    : 28       (Average:  7.29 Max:  12 Sum:    204 Ratio:   0.13%)

Rules        : 151430  
Atoms        : 151430  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 136035   (Eliminated:    0 Frozen: 9545)
Constraints  : 802637   (Binary:  97.9% Ternary:   1.0% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 3.46s
Memory:		 348MB (+35MB)
UNKNOWN
Iteration Time:	 4.51s

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

Models       : 1+
Calls        : 5
Time         : 13.141s (Solving: 6.07s 1st Model: 0.80s Unsat: 0.00s)
CPU Time     : 12.800s

Choices      : 221635   (Domain: 221599)
Conflicts    : 21442    (Analyzed: 21442)
Restarts     : 216      (Average: 99.27 Last: 120)
Model-Level  : 1007.0  
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 21442    (Deleted: 15361)
  Binary     : 334      (Ratio:   1.56%)
  Ternary    : 168      (Ratio:   0.78%)
  Conflict   : 21442    (Average Length:  683.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 21442    (Average:  8.57 Max: 751 Sum: 183839)
  Executed   : 21414    (Average:  8.56 Max: 751 Sum: 183635 Ratio:  99.89%)
  Bounded    : 28       (Average:  7.29 Max:  12 Sum:    204 Ratio:   0.11%)

Rules        : 151430  
Atoms        : 151430  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 185021   (Eliminated:    0 Frozen: 12970)
Constraints  : 1180472  (Binary:  98.0% Ternary:   1.0% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 0.88s
Memory:		 392MB (+17MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 2.95s
Memory:		 482MB (+90MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 6
Time         : 25.677s (Solving: 17.17s 1st Model: 0.80s Unsat: 0.00s)
CPU Time     : 25.340s

Choices      : 551280   (Domain: 551244)
Conflicts    : 31214    (Analyzed: 31214)
Restarts     : 316      (Average: 98.78 Last: 120)
Model-Level  : 1007.0  
Problems     : 6        (Average Length: 13.67 Splits: 0)
Lemmas       : 31214    (Deleted: 26280)
  Binary     : 467      (Ratio:   1.50%)
  Ternary    : 219      (Ratio:   0.70%)
  Conflict   : 31214    (Average Length:  804.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 31214    (Average: 15.33 Max: 925 Sum: 478495)
  Executed   : 31141    (Average: 15.29 Max: 925 Sum: 477301 Ratio:  99.75%)
  Bounded    : 73       (Average: 16.36 Max:  22 Sum:   1194 Ratio:   0.25%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 186226   (Eliminated:    0 Frozen: 144437)
Constraints  : 1563636  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 11.38s
Memory:		 459MB (+-23MB)
UNKNOWN
Iteration Time:	 16.50s

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

Models       : 0+
Calls        : 7
Time         : 36.656s (Solving: 26.43s 1st Model: 0.80s Unsat: 0.00s)
CPU Time     : 36.324s

Choices      : 764522   (Domain: 764486)
Conflicts    : 40264    (Analyzed: 40264)
Restarts     : 416      (Average: 96.79 Last: 120)
Model-Level  : 1007.0  
Problems     : 7        (Average Length: 15.57 Splits: 0)
Lemmas       : 40264    (Deleted: 35536)
  Binary     : 602      (Ratio:   1.50%)
  Ternary    : 263      (Ratio:   0.65%)
  Conflict   : 40264    (Average Length:  924.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 40264    (Average: 16.04 Max: 1141 Sum: 645877)
  Executed   : 40129    (Average: 15.97 Max: 1141 Sum: 643009 Ratio:  99.56%)
  Bounded    : 135      (Average: 21.24 Max:  27 Sum:   2868 Ratio:   0.44%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 235522   (Eliminated:    0 Frozen: 189837)
Constraints  : 2025532  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 9.34s
Memory:		 521MB (+60MB)
UNKNOWN
Iteration Time:	 10.99s

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

Models       : 0+
Calls        : 8
Time         : 50.076s (Solving: 38.10s 1st Model: 0.80s Unsat: 0.00s)
CPU Time     : 49.748s

Choices      : 1128168  (Domain: 1128132)
Conflicts    : 49258    (Analyzed: 49258)
Restarts     : 516      (Average: 95.46 Last: 120)
Model-Level  : 1007.0  
Problems     : 8        (Average Length: 17.62 Splits: 0)
Lemmas       : 49258    (Deleted: 43965)
  Binary     : 694      (Ratio:   1.41%)
  Ternary    : 335      (Ratio:   0.68%)
  Conflict   : 49258    (Average Length:  844.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 49258    (Average: 20.10 Max: 1167 Sum: 990201)
  Executed   : 49099    (Average: 20.03 Max: 1167 Sum: 986565 Ratio:  99.63%)
  Bounded    : 159      (Average: 22.87 Max:  32 Sum:   3636 Ratio:   0.37%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 284818   (Eliminated:    0 Frozen: 235237)
Constraints  : 2490830  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 11.74s
Memory:		 538MB (+17MB)
UNKNOWN
Iteration Time:	 13.43s

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         : 50.227s (Solving: 38.18s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 49.900s

Choices      : 1129295  (Domain: 1129259)
Conflicts    : 49357    (Analyzed: 49356)
Restarts     : 517      (Average: 95.47 Last: 120)
Model-Level  : 1007.0  
Problems     : 9        (Average Length: 19.22 Splits: 0)
Lemmas       : 49356    (Deleted: 43965)
  Binary     : 696      (Ratio:   1.41%)
  Ternary    : 337      (Ratio:   0.68%)
  Conflict   : 49356    (Average Length:  842.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 49356    (Average: 20.09 Max: 1167 Sum: 991327)
  Executed   : 49195    (Average: 20.01 Max: 1167 Sum: 987689 Ratio:  99.63%)
  Bounded    : 161      (Average: 22.60 Max:  32 Sum:   3638 Ratio:   0.37%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 284818   (Eliminated:    0 Frozen: 235237)
Constraints  : 2481581  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 0.13s
Memory:		 541MB (+3MB)
UNSAT
Iteration Time:	 0.15s

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         : 59.082s (Solving: 46.97s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 58.760s

Choices      : 1391820  (Domain: 1391784)
Conflicts    : 59658    (Analyzed: 59657)
Restarts     : 617      (Average: 96.69 Last: 120)
Model-Level  : 1007.0  
Problems     : 10       (Average Length: 20.50 Splits: 0)
Lemmas       : 59657    (Deleted: 51268)
  Binary     : 773      (Ratio:   1.30%)
  Ternary    : 389      (Ratio:   0.65%)
  Conflict   : 59657    (Average Length:  811.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 59657    (Average: 20.85 Max: 1167 Sum: 1243924)
  Executed   : 59487    (Average: 20.79 Max: 1167 Sum: 1239998 Ratio:  99.68%)
  Bounded    : 170      (Average: 23.09 Max:  32 Sum:   3926 Ratio:   0.32%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 284818   (Eliminated:    0 Frozen: 235237)
Constraints  : 2481581  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 8.84s
Memory:		 541MB (+0MB)
UNKNOWN
Iteration Time:	 8.86s

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         : 72.634s (Solving: 60.44s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 72.316s

Choices      : 1789514  (Domain: 1789478)
Conflicts    : 69951    (Analyzed: 69950)
Restarts     : 717      (Average: 97.56 Last: 120)
Model-Level  : 1007.0  
Problems     : 11       (Average Length: 21.55 Splits: 0)
Lemmas       : 69950    (Deleted: 60364)
  Binary     : 828      (Ratio:   1.18%)
  Ternary    : 459      (Ratio:   0.66%)
  Conflict   : 69950    (Average Length:  814.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 69950    (Average: 23.17 Max: 1167 Sum: 1620904)
  Executed   : 69776    (Average: 23.11 Max: 1167 Sum: 1616850 Ratio:  99.75%)
  Bounded    : 174      (Average: 23.30 Max:  32 Sum:   4054 Ratio:   0.25%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 284818   (Eliminated:    0 Frozen: 235237)
Constraints  : 2481039  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 13.53s
Memory:		 541MB (+0MB)
UNKNOWN
Iteration Time:	 13.56s

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         : 90.691s (Solving: 78.41s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 90.380s

Choices      : 2222719  (Domain: 2222683)
Conflicts    : 80295    (Analyzed: 80294)
Restarts     : 817      (Average: 98.28 Last: 120)
Model-Level  : 1007.0  
Problems     : 12       (Average Length: 22.42 Splits: 0)
Lemmas       : 80294    (Deleted: 69598)
  Binary     : 900      (Ratio:   1.12%)
  Ternary    : 500      (Ratio:   0.62%)
  Conflict   : 80294    (Average Length:  860.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 80294    (Average: 25.26 Max: 1547 Sum: 2028125)
  Executed   : 80110    (Average: 25.20 Max: 1547 Sum: 2023751 Ratio:  99.78%)
  Bounded    : 184      (Average: 23.77 Max:  32 Sum:   4374 Ratio:   0.22%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 284818   (Eliminated:    0 Frozen: 235237)
Constraints  : 2478659  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 18.03s
Memory:		 541MB (+0MB)
UNKNOWN
Iteration Time:	 18.07s

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         : 113.132s (Solving: 100.76s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 112.832s

Choices      : 2922679  (Domain: 2922643)
Conflicts    : 90228    (Analyzed: 90227)
Restarts     : 917      (Average: 98.39 Last: 120)
Model-Level  : 1007.0  
Problems     : 13       (Average Length: 23.15 Splits: 0)
Lemmas       : 90227    (Deleted: 78163)
  Binary     : 942      (Ratio:   1.04%)
  Ternary    : 526      (Ratio:   0.58%)
  Conflict   : 90227    (Average Length:  847.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 90227    (Average: 29.74 Max: 2019 Sum: 2683592)
  Executed   : 90039    (Average: 29.69 Max: 2019 Sum: 2679090 Ratio:  99.83%)
  Bounded    : 188      (Average: 23.95 Max:  32 Sum:   4502 Ratio:   0.17%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 284818   (Eliminated:    0 Frozen: 235237)
Constraints  : 2478196  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 22.42s
Memory:		 541MB (+0MB)
UNKNOWN
Iteration Time:	 22.45s

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

Models       : 0+
Calls        : 14
Time         : 132.531s (Solving: 118.30s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 132.240s

Choices      : 3394235  (Domain: 3394199)
Conflicts    : 99841    (Analyzed: 99840)
Restarts     : 1017     (Average: 98.17 Last: 120)
Model-Level  : 1007.0  
Problems     : 14       (Average Length: 24.14 Splits: 0)
Lemmas       : 99840    (Deleted: 89574)
  Binary     : 957      (Ratio:   0.96%)
  Ternary    : 543      (Ratio:   0.54%)
  Conflict   : 99840    (Average Length:  905.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 99840    (Average: 31.00 Max: 2019 Sum: 3094824)
  Executed   : 99646    (Average: 30.95 Max: 2019 Sum: 3090100 Ratio:  99.85%)
  Bounded    : 194      (Average: 24.35 Max:  37 Sum:   4724 Ratio:   0.15%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 334114   (Eliminated:    0 Frozen: 280637)
Constraints  : 2978756  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 17.63s
Memory:		 612MB (+48MB)
UNKNOWN
Iteration Time:	 19.41s

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

Models       : 0+
Calls        : 15
Time         : 154.076s (Solving: 137.93s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 153.796s

Choices      : 3768283  (Domain: 3768247)
Conflicts    : 109529   (Analyzed: 109528)
Restarts     : 1117     (Average: 98.06 Last: 130)
Model-Level  : 1007.0  
Problems     : 15       (Average Length: 25.33 Splits: 0)
Lemmas       : 109528   (Deleted: 98907)
  Binary     : 962      (Ratio:   0.88%)
  Ternary    : 549      (Ratio:   0.50%)
  Conflict   : 109528   (Average Length: 1092.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 109528   (Average: 31.11 Max: 2019 Sum: 3407009)
  Executed   : 109331   (Average: 31.06 Max: 2019 Sum: 3402159 Ratio:  99.86%)
  Bounded    : 197      (Average: 24.62 Max:  42 Sum:   4850 Ratio:   0.14%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 383410   (Eliminated:    0 Frozen: 326037)
Constraints  : 3479292  (Binary:  98.4% Ternary:   0.7% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 19.73s
Memory:		 652MB (+33MB)
UNKNOWN
Iteration Time:	 21.56s

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: 723.0MB
Grounding...	 [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time:	 1.53s
Memory:		 692MB (+40MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 16
Time         : 169.097s (Solving: 150.76s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 168.824s

Choices      : 4062961  (Domain: 4062925)
Conflicts    : 118704   (Analyzed: 118703)
Restarts     : 1217     (Average: 97.54 Last: 130)
Model-Level  : 1007.0  
Problems     : 16       (Average Length: 26.69 Splits: 0)
Lemmas       : 118703   (Deleted: 106415)
  Binary     : 964      (Ratio:   0.81%)
  Ternary    : 549      (Ratio:   0.46%)
  Conflict   : 118703   (Average Length: 1177.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 118703   (Average: 30.19 Max: 2019 Sum: 3583798)
  Executed   : 118506   (Average: 30.15 Max: 2019 Sum: 3578948 Ratio:  99.86%)
  Bounded    : 197      (Average: 24.62 Max:  42 Sum:   4850 Ratio:   0.14%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 432706   (Eliminated:    0 Frozen: 371437)
Constraints  : 3980002  (Binary:  98.4% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 12.93s
Memory:		 717MB (+25MB)
UNKNOWN
Iteration Time:	 15.03s

Iteration 16
Queue:		 [(10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True)]
Grounded Until:	 45
Expected Memory: 788.0MB
Grounding...	 [('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('check', [50])]
Grounding Time:	 1.18s
Memory:		 736MB (+19MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 17
Time         : 191.437s (Solving: 171.21s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 191.172s

Choices      : 4542928  (Domain: 4542892)
Conflicts    : 128200   (Analyzed: 128199)
Restarts     : 1317     (Average: 97.34 Last: 130)
Model-Level  : 1007.0  
Problems     : 17       (Average Length: 28.18 Splits: 0)
Lemmas       : 128199   (Deleted: 117262)
  Binary     : 980      (Ratio:   0.76%)
  Ternary    : 558      (Ratio:   0.44%)
  Conflict   : 128199   (Average Length: 1253.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 128199   (Average: 31.08 Max: 2019 Sum: 3985028)
  Executed   : 127996   (Average: 31.04 Max: 2019 Sum: 3979866 Ratio:  99.87%)
  Bounded    : 203      (Average: 25.43 Max:  52 Sum:   5162 Ratio:   0.13%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 482002   (Eliminated:    0 Frozen: 416837)
Constraints  : 4480762  (Binary:  98.4% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 20.57s
Memory:		 799MB (+63MB)
UNKNOWN
Iteration Time:	 22.36s

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

Models       : 0+
Calls        : 18
Time         : 235.530s (Solving: 213.38s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 235.284s

Choices      : 5374634  (Domain: 5374598)
Conflicts    : 138109   (Analyzed: 138108)
Restarts     : 1417     (Average: 97.47 Last: 130)
Model-Level  : 1007.0  
Problems     : 18       (Average Length: 29.78 Splits: 0)
Lemmas       : 138108   (Deleted: 126357)
  Binary     : 996      (Ratio:   0.72%)
  Ternary    : 570      (Ratio:   0.41%)
  Conflict   : 138108   (Average Length: 1299.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 138108   (Average: 34.37 Max: 2019 Sum: 4746452)
  Executed   : 137905   (Average: 34.33 Max: 2019 Sum: 4741290 Ratio:  99.89%)
  Bounded    : 203      (Average: 25.43 Max:  52 Sum:   5162 Ratio:   0.11%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 531298   (Eliminated:    0 Frozen: 462237)
Constraints  : 4980432  (Binary:  98.4% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 42.31s
Memory:		 830MB (+30MB)
UNKNOWN
Iteration Time:	 44.12s

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

Models       : 0+
Calls        : 19
Time         : 267.185s (Solving: 243.08s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 266.952s

Choices      : 5877811  (Domain: 5877775)
Conflicts    : 147671   (Analyzed: 147670)
Restarts     : 1517     (Average: 97.34 Last: 137)
Model-Level  : 1007.0  
Problems     : 19       (Average Length: 31.47 Splits: 0)
Lemmas       : 147670   (Deleted: 135771)
  Binary     : 1005     (Ratio:   0.68%)
  Ternary    : 576      (Ratio:   0.39%)
  Conflict   : 147670   (Average Length: 1368.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 147670   (Average: 34.99 Max: 2019 Sum: 5167498)
  Executed   : 147466   (Average: 34.96 Max: 2019 Sum: 5162274 Ratio:  99.90%)
  Bounded    : 204      (Average: 25.61 Max:  62 Sum:   5224 Ratio:   0.10%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 580594   (Eliminated:    0 Frozen: 507637)
Constraints  : 5481192  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 29.83s
Memory:		 885MB (+40MB)
UNKNOWN
Iteration Time:	 31.68s

Iteration 19
Queue:		 [(13,65,0,True), (14,70,0,True), (15,75,0,True)]
Grounded Until:	 60
Expected Memory: 967.0MB
Grounding...	 [('step', [61]), ('step', [62]), ('step', [63]), ('step', [64]), ('step', [65]), ('check', [65])]
Grounding Time:	 1.22s
Memory:		 903MB (+18MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 20
Time         : 321.428s (Solving: 295.31s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 321.216s

Choices      : 6741655  (Domain: 6741619)
Conflicts    : 158169   (Analyzed: 158168)
Restarts     : 1617     (Average: 97.82 Last: 137)
Model-Level  : 1007.0  
Problems     : 20       (Average Length: 33.25 Splits: 0)
Lemmas       : 158168   (Deleted: 145359)
  Binary     : 1014     (Ratio:   0.64%)
  Ternary    : 591      (Ratio:   0.37%)
  Conflict   : 158168   (Average Length: 1400.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 158168   (Average: 37.69 Max: 2019 Sum: 5962092)
  Executed   : 157960   (Average: 37.66 Max: 2019 Sum: 5956600 Ratio:  99.91%)
  Bounded    : 208      (Average: 26.40 Max:  67 Sum:   5492 Ratio:   0.09%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 629890   (Eliminated:    0 Frozen: 553037)
Constraints  : 5981902  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 52.39s
Memory:		 940MB (+37MB)
UNKNOWN
Iteration Time:	 54.27s

Iteration 20
Queue:		 [(14,70,0,True), (15,75,0,True)]
Grounded Until:	 65
Expected Memory: 1022.0MB
Grounding...	 [('step', [66]), ('step', [67]), ('step', [68]), ('step', [69]), ('step', [70]), ('check', [70])]
Grounding Time:	 1.26s
Memory:		 949MB (+9MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 21
Time         : 354.665s (Solving: 326.46s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 354.464s

Choices      : 7624402  (Domain: 7624366)
Conflicts    : 168350   (Analyzed: 168349)
Restarts     : 1717     (Average: 98.05 Last: 137)
Model-Level  : 1007.0  
Problems     : 21       (Average Length: 35.10 Splits: 0)
Lemmas       : 168349   (Deleted: 154097)
  Binary     : 1020     (Ratio:   0.61%)
  Ternary    : 595      (Ratio:   0.35%)
  Conflict   : 168349   (Average Length: 1420.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 168349   (Average: 40.07 Max: 2019 Sum: 6745471)
  Executed   : 168140   (Average: 40.04 Max: 2019 Sum: 6739907 Ratio:  99.92%)
  Bounded    : 209      (Average: 26.62 Max:  72 Sum:   5564 Ratio:   0.08%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 679186   (Eliminated:    0 Frozen: 598437)
Constraints  : 6482576  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 31.31s
Memory:		 984MB (+35MB)
UNKNOWN
Iteration Time:	 33.26s

Iteration 21
Queue:		 [(15,75,0,True)]
Grounded Until:	 70
Expected Memory: 1066.0MB
Grounding...	 [('step', [71]), ('step', [72]), ('step', [73]), ('step', [74]), ('step', [75]), ('check', [75])]
Grounding Time:	 1.22s
Memory:		 992MB (+8MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 22
Time         : 392.142s (Solving: 361.83s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 391.956s

Choices      : 8193943  (Domain: 8193907)
Conflicts    : 178154   (Analyzed: 178153)
Restarts     : 1817     (Average: 98.05 Last: 137)
Model-Level  : 1007.0  
Problems     : 22       (Average Length: 37.00 Splits: 0)
Lemmas       : 178153   (Deleted: 165403)
  Binary     : 1037     (Ratio:   0.58%)
  Ternary    : 610      (Ratio:   0.34%)
  Conflict   : 178153   (Average Length: 1468.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 178153   (Average: 40.62 Max: 2019 Sum: 7236090)
  Executed   : 177944   (Average: 40.59 Max: 2019 Sum: 7230526 Ratio:  99.92%)
  Bounded    : 209      (Average: 26.62 Max:  72 Sum:   5564 Ratio:   0.08%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6983298  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 35.53s
Memory:		 1056MB (+64MB)
UNKNOWN
Iteration Time:	 37.50s

Iteration 22
Queue:		 [(3,15,2,True), (4,20,2,True), (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,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 23
Time         : 399.883s (Solving: 369.38s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 399.704s

Choices      : 8247868  (Domain: 8247832)
Conflicts    : 187816   (Analyzed: 187815)
Restarts     : 1917     (Average: 97.97 Last: 137)
Model-Level  : 1007.0  
Problems     : 23       (Average Length: 38.74 Splits: 0)
Lemmas       : 187815   (Deleted: 173561)
  Binary     : 1096     (Ratio:   0.58%)
  Ternary    : 667      (Ratio:   0.36%)
  Conflict   : 187815   (Average Length: 1441.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 187815   (Average: 38.79 Max: 2019 Sum: 7286259)
  Executed   : 187600   (Average: 38.76 Max: 2019 Sum: 7280385 Ratio:  99.92%)
  Bounded    : 215      (Average: 27.32 Max:  77 Sum:   5874 Ratio:   0.08%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6983298  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 7.68s
Memory:		 1120MB (+64MB)
UNKNOWN
Iteration Time:	 7.75s

Iteration 23
Queue:		 [(4,20,2,True), (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,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 24
Time         : 412.707s (Solving: 382.03s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 412.532s

Choices      : 8449542  (Domain: 8449506)
Conflicts    : 198102   (Analyzed: 198101)
Restarts     : 2017     (Average: 98.22 Last: 142)
Model-Level  : 1007.0  
Problems     : 24       (Average Length: 40.33 Splits: 0)
Lemmas       : 198101   (Deleted: 183390)
  Binary     : 1114     (Ratio:   0.56%)
  Ternary    : 697      (Ratio:   0.35%)
  Conflict   : 198101   (Average Length: 1459.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 198101   (Average: 37.68 Max: 2019 Sum: 7465344)
  Executed   : 197881   (Average: 37.65 Max: 2019 Sum: 7459085 Ratio:  99.92%)
  Bounded    : 220      (Average: 28.45 Max:  77 Sum:   6259 Ratio:   0.08%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6983098  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 12.77s
Memory:		 1120MB (+0MB)
UNKNOWN
Iteration Time:	 12.83s

Iteration 24
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,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 25
Time         : 426.465s (Solving: 395.58s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 426.296s

Choices      : 8777529  (Domain: 8777493)
Conflicts    : 208196   (Analyzed: 208195)
Restarts     : 2117     (Average: 98.34 Last: 142)
Model-Level  : 1007.0  
Problems     : 25       (Average Length: 41.80 Splits: 0)
Lemmas       : 208195   (Deleted: 192927)
  Binary     : 1148     (Ratio:   0.55%)
  Ternary    : 715      (Ratio:   0.34%)
  Conflict   : 208195   (Average Length: 1470.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 208195   (Average: 37.23 Max: 2019 Sum: 7751324)
  Executed   : 207973   (Average: 37.20 Max: 2019 Sum: 7744911 Ratio:  99.92%)
  Bounded    : 222      (Average: 28.89 Max:  77 Sum:   6413 Ratio:   0.08%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6982627  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 13.68s
Memory:		 1120MB (+0MB)
UNKNOWN
Iteration Time:	 13.77s

Iteration 25
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,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 26
Time         : 448.869s (Solving: 417.76s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 448.708s

Choices      : 9369102  (Domain: 9369066)
Conflicts    : 219596   (Analyzed: 219595)
Restarts     : 2217     (Average: 99.05 Last: 142)
Model-Level  : 1007.0  
Problems     : 26       (Average Length: 43.15 Splits: 0)
Lemmas       : 219595   (Deleted: 202576)
  Binary     : 1186     (Ratio:   0.54%)
  Ternary    : 756      (Ratio:   0.34%)
  Conflict   : 219595   (Average Length: 1438.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 219595   (Average: 37.74 Max: 2019 Sum: 8287736)
  Executed   : 219369   (Average: 37.71 Max: 2019 Sum: 8281015 Ratio:  99.92%)
  Bounded    : 226      (Average: 29.74 Max:  77 Sum:   6721 Ratio:   0.08%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6982593  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 22.33s
Memory:		 1120MB (+0MB)
UNKNOWN
Iteration Time:	 22.42s

Iteration 26
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,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 27
Time         : 475.847s (Solving: 444.54s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 475.696s

Choices      : 9932708  (Domain: 9932672)
Conflicts    : 229988   (Analyzed: 229987)
Restarts     : 2317     (Average: 99.26 Last: 142)
Model-Level  : 1007.0  
Problems     : 27       (Average Length: 44.41 Splits: 0)
Lemmas       : 229987   (Deleted: 213407)
  Binary     : 1190     (Ratio:   0.52%)
  Ternary    : 768      (Ratio:   0.33%)
  Conflict   : 229987   (Average Length: 1489.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 229987   (Average: 38.24 Max: 2019 Sum: 8793590)
  Executed   : 229761   (Average: 38.21 Max: 2019 Sum: 8786869 Ratio:  99.92%)
  Bounded    : 226      (Average: 29.74 Max:  77 Sum:   6721 Ratio:   0.08%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6980908  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 26.91s
Memory:		 1120MB (+0MB)
UNKNOWN
Iteration Time:	 26.99s

Iteration 27
Queue:		 [(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,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 28
Time         : 505.054s (Solving: 473.54s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 504.916s

Choices      : 10525367 (Domain: 10525331)
Conflicts    : 240239   (Analyzed: 240238)
Restarts     : 2417     (Average: 99.40 Last: 142)
Model-Level  : 1007.0  
Problems     : 28       (Average Length: 45.57 Splits: 0)
Lemmas       : 240238   (Deleted: 223328)
  Binary     : 1209     (Ratio:   0.50%)
  Ternary    : 775      (Ratio:   0.32%)
  Conflict   : 240238   (Average Length: 1522.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 240238   (Average: 38.83 Max: 2170 Sum: 9329448)
  Executed   : 240012   (Average: 38.81 Max: 2170 Sum: 9322727 Ratio:  99.93%)
  Bounded    : 226      (Average: 29.74 Max:  77 Sum:   6721 Ratio:   0.07%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6980908  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 29.14s
Memory:		 1120MB (+0MB)
UNKNOWN
Iteration Time:	 29.22s

Iteration 28
Queue:		 [(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,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 29
Time         : 538.795s (Solving: 507.07s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 538.672s

Choices      : 11163981 (Domain: 11163945)
Conflicts    : 252015   (Analyzed: 252014)
Restarts     : 2517     (Average: 100.12 Last: 142)
Model-Level  : 1007.0  
Problems     : 29       (Average Length: 46.66 Splits: 0)
Lemmas       : 252014   (Deleted: 233055)
  Binary     : 1232     (Ratio:   0.49%)
  Ternary    : 802      (Ratio:   0.32%)
  Conflict   : 252014   (Average Length: 1513.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 252014   (Average: 39.26 Max: 2170 Sum: 9895211)
  Executed   : 251788   (Average: 39.24 Max: 2170 Sum: 9888490 Ratio:  99.93%)
  Bounded    : 226      (Average: 29.74 Max:  77 Sum:   6721 Ratio:   0.07%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6980908  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 33.68s
Memory:		 1120MB (+0MB)
UNKNOWN
Iteration Time:	 33.76s

Iteration 29
Queue:		 [(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,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 30
Time         : 578.658s (Solving: 546.75s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 578.552s

Choices      : 11881968 (Domain: 11881932)
Conflicts    : 263901   (Analyzed: 263900)
Restarts     : 2617     (Average: 100.84 Last: 142)
Model-Level  : 1007.0  
Problems     : 30       (Average Length: 47.67 Splits: 0)
Lemmas       : 263900   (Deleted: 244036)
  Binary     : 1262     (Ratio:   0.48%)
  Ternary    : 825      (Ratio:   0.31%)
  Conflict   : 263900   (Average Length: 1501.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 263900   (Average: 39.93 Max: 2170 Sum: 10536347)
  Executed   : 263672   (Average: 39.90 Max: 2170 Sum: 10529472 Ratio:  99.93%)
  Bounded    : 228      (Average: 30.15 Max:  77 Sum:   6875 Ratio:   0.07%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6980908  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 39.81s
Memory:		 1120MB (+0MB)
UNKNOWN
Iteration Time:	 39.88s

Iteration 30
Queue:		 [(11,55,1,True), (12,60,1,True), (13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 31
Time         : 621.483s (Solving: 589.35s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 621.396s

Choices      : 12604920 (Domain: 12604884)
Conflicts    : 275425   (Analyzed: 275424)
Restarts     : 2717     (Average: 101.37 Last: 142)
Model-Level  : 1007.0  
Problems     : 31       (Average Length: 48.61 Splits: 0)
Lemmas       : 275424   (Deleted: 255365)
  Binary     : 1296     (Ratio:   0.47%)
  Ternary    : 839      (Ratio:   0.30%)
  Conflict   : 275424   (Average Length: 1482.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 275424   (Average: 40.60 Max: 2170 Sum: 11182279)
  Executed   : 275194   (Average: 40.57 Max: 2170 Sum: 11175250 Ratio:  99.94%)
  Bounded    : 230      (Average: 30.56 Max:  77 Sum:   7029 Ratio:   0.06%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6979914  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 42.75s
Memory:		 1120MB (+0MB)
UNKNOWN
Iteration Time:	 42.85s

Iteration 31
Queue:		 [(12,60,1,True), (13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 32
Time         : 670.991s (Solving: 638.68s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 670.928s

Choices      : 13661554 (Domain: 13661518)
Conflicts    : 285541   (Analyzed: 285540)
Restarts     : 2817     (Average: 101.36 Last: 142)
Model-Level  : 1007.0  
Problems     : 32       (Average Length: 49.50 Splits: 0)
Lemmas       : 285540   (Deleted: 264345)
  Binary     : 1315     (Ratio:   0.46%)
  Ternary    : 893      (Ratio:   0.31%)
  Conflict   : 285540   (Average Length: 1508.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 285540   (Average: 42.43 Max: 3735 Sum: 12115191)
  Executed   : 285309   (Average: 42.40 Max: 3735 Sum: 12108085 Ratio:  99.94%)
  Bounded    : 231      (Average: 30.76 Max:  77 Sum:   7106 Ratio:   0.06%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6979814  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 49.47s
Memory:		 1120MB (+0MB)
UNKNOWN
Iteration Time:	 49.53s

Iteration 32
Queue:		 [(13,65,1,True), (14,70,1,True), (15,75,1,True), (16,80,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 33
Time         : 715.389s (Solving: 682.86s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 715.344s

Choices      : 15168047 (Domain: 15168011)
Conflicts    : 295997   (Analyzed: 295996)
Restarts     : 2917     (Average: 101.47 Last: 142)
Model-Level  : 1007.0  
Problems     : 33       (Average Length: 50.33 Splits: 0)
Lemmas       : 295996   (Deleted: 273607)
  Binary     : 1349     (Ratio:   0.46%)
  Ternary    : 961      (Ratio:   0.32%)
  Conflict   : 295996   (Average Length: 1506.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 295996   (Average: 45.65 Max: 5358 Sum: 13513453)
  Executed   : 295763   (Average: 45.63 Max: 5358 Sum: 13506193 Ratio:  99.95%)
  Bounded    : 233      (Average: 31.16 Max:  77 Sum:   7260 Ratio:   0.05%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6979764  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 44.33s
Memory:		 1120MB (+0MB)
UNKNOWN
Iteration Time:	 44.42s

Iteration 33
Queue:		 [(14,70,1,True), (15,75,1,True), (16,80,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 34
Time         : 768.899s (Solving: 736.17s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 768.880s

Choices      : 16303579 (Domain: 16303543)
Conflicts    : 306197   (Analyzed: 306196)
Restarts     : 3017     (Average: 101.49 Last: 142)
Model-Level  : 1007.0  
Problems     : 34       (Average Length: 51.12 Splits: 0)
Lemmas       : 306196   (Deleted: 283975)
  Binary     : 1373     (Ratio:   0.45%)
  Ternary    : 965      (Ratio:   0.32%)
  Conflict   : 306196   (Average Length: 1533.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 306196   (Average: 47.46 Max: 5796 Sum: 14531538)
  Executed   : 305963   (Average: 47.43 Max: 5796 Sum: 14524278 Ratio:  99.95%)
  Bounded    : 233      (Average: 31.16 Max:  77 Sum:   7260 Ratio:   0.05%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6979688  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 53.46s
Memory:		 1120MB (+0MB)
UNKNOWN
Iteration Time:	 53.54s

Iteration 34
Queue:		 [(15,75,1,True), (16,80,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 35
Time         : 839.315s (Solving: 806.39s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 839.328s

Choices      : 18271645 (Domain: 18271609)
Conflicts    : 316851   (Analyzed: 316850)
Restarts     : 3117     (Average: 101.65 Last: 228)
Model-Level  : 1007.0  
Problems     : 35       (Average Length: 51.86 Splits: 0)
Lemmas       : 316850   (Deleted: 293231)
  Binary     : 1380     (Ratio:   0.44%)
  Ternary    : 979      (Ratio:   0.31%)
  Conflict   : 316850   (Average Length: 1548.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 316850   (Average: 51.70 Max: 7699 Sum: 16380687)
  Executed   : 316617   (Average: 51.68 Max: 7699 Sum: 16373427 Ratio:  99.96%)
  Bounded    : 233      (Average: 31.16 Max:  77 Sum:   7260 Ratio:   0.04%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 728482   (Eliminated:    0 Frozen: 643837)
Constraints  : 6979688  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 70.36s
Memory:		 1120MB (+0MB)
UNKNOWN
Iteration Time:	 70.45s

Iteration 35
Queue:		 [(16,80,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 75
Expected Memory: 1202.0MB
Grounding...	 [('step', [76]), ('step', [77]), ('step', [78]), ('step', [79]), ('step', [80]), ('check', [80])]
Grounding Time:	 1.24s
Memory:		 1124MB (+4MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 36
Time         : 883.729s (Solving: 848.64s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 883.760s

Choices      : 19163512 (Domain: 19163476)
Conflicts    : 327137   (Analyzed: 327136)
Restarts     : 3217     (Average: 101.69 Last: 228)
Model-Level  : 1007.0  
Problems     : 36       (Average Length: 52.69 Splits: 0)
Lemmas       : 327136   (Deleted: 303625)
  Binary     : 1386     (Ratio:   0.42%)
  Ternary    : 984      (Ratio:   0.30%)
  Conflict   : 327136   (Average Length: 1573.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 327136   (Average: 52.31 Max: 7699 Sum: 17113775)
  Executed   : 326903   (Average: 52.29 Max: 7699 Sum: 17106515 Ratio:  99.96%)
  Bounded    : 233      (Average: 31.16 Max:  77 Sum:   7260 Ratio:   0.04%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 777778   (Eliminated:    0 Frozen: 689237)
Constraints  : 7480448  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 42.44s
Memory:		 1159MB (+35MB)
UNKNOWN
Iteration Time:	 44.44s

Iteration 36
Queue:		 [(17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 80
Expected Memory: 1241.0MB
Grounding...	 [('step', [81]), ('step', [82]), ('step', [83]), ('step', [84]), ('step', [85]), ('check', [85])]
Grounding Time:	 1.24s
Memory:		 1170MB (+11MB)
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 37
Time         : 886.442s (Solving: 849.16s 1st Model: 0.80s Unsat: 0.08s)
CPU Time     : 886.456s

Choices      : 19174753 (Domain: 19174717)
Conflicts    : 327231   (Analyzed: 327230)
Restarts     : 3217     (Average: 101.72 Last: 228)
Model-Level  : 1007.0  
Problems     : 37       (Average Length: 53.62 Splits: 0)
Lemmas       : 327230   (Deleted: 303625)
  Binary     : 1386     (Ratio:   0.42%)
  Ternary    : 984      (Ratio:   0.30%)
  Conflict   : 327230   (Average Length: 1573.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 327230   (Average: 52.32 Max: 7699 Sum: 17120211)
  Executed   : 326997   (Average: 52.30 Max: 7699 Sum: 17112951 Ratio:  99.96%)
  Bounded    : 233      (Average: 31.16 Max:  77 Sum:   7260 Ratio:   0.04%)

Rules        : 550442   (Original: 550407)
Atoms        : 169180  
Bodies       : 257347   (Original: 257311)
  Count      : 573      (Original: 577)
Equivalences : 131585   (Atom=Atom: 37 Body=Body: 0 Other: 131548)
Tight        : Yes
Variables    : 827074   (Eliminated:    0 Frozen: 734637)
Constraints  : 7981208  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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


