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-9.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-9.pddl
Parsing...
Parsing: [0.040s CPU, 0.049s wall-clock]
Normalizing task... [0.000s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.013s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.022s wall-clock]
Preparing model... [0.040s CPU, 0.044s wall-clock]
Generated 46 rules.
Computing model... [1.820s CPU, 1.816s wall-clock]
15867 relevant atoms
7332 auxiliary atoms
23199 final queue length
50043 total queue pushes
Completing instantiation... [5.290s CPU, 5.283s wall-clock]
Instantiating: [7.210s CPU, 7.202s wall-clock]
Computing fact groups...
Finding invariants...
12 initial candidates
Finding invariants: [0.090s CPU, 0.085s wall-clock]
Checking invariant weight... [0.000s CPU, 0.004s wall-clock]
Instantiating groups... [0.080s CPU, 0.078s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.007s wall-clock]
Choosing groups...
0 uncovered facts
Choosing groups: [0.020s CPU, 0.021s wall-clock]
Building translation key... [0.020s CPU, 0.014s wall-clock]
Computing fact groups: [0.270s CPU, 0.266s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.007s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.005s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.007s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.230s CPU, 0.232s wall-clock]
Translating task: [4.360s CPU, 4.369s wall-clock]
0 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
46 propositions removed
Detecting unreachable propositions: [2.280s CPU, 2.270s wall-clock]
Reordering and filtering variables...
46 of 46 variables necessary.
0 of 46 mutex groups necessary.
14124 of 14124 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.670s CPU, 0.667s wall-clock]
Translator variables: 46
Translator derived variables: 0
Translator facts: 1150
Translator goal facts: 36
Translator mutex groups: 0
Translator total mutex groups size: 0
Translator operators: 14124
Translator axioms: 0
Translator task size: 85076
Translator peak memory: 91596 KB
Writing output... [1.490s CPU, 1.608s wall-clock]
Done! [16.530s CPU, 16.643s wall-clock]
planner.py version 0.0.1

Time:	 3.53s
Memory: 284MB

Iteration 1
Queue:		 [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
Grounded Until:	 0
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 1
Time         : 4.073s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.548s

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

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

Iteration 2
Queue:		 [(1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
Grounded Until:	 0
Expected Memory: 356MB
Grounding...	 [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])]
Grounding Time:	 1.16s
Memory:		 356MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

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

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        : 257000  
Atoms        : 257000  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 67107    (Eliminated:    0 Frozen: 4587)
Constraints  : 153431   (Binary:  97.3% Ternary:   1.3% Other:   1.5%)

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

[endof: stats after solve call]
Solving Time:	 0.18s
Memory:		 370MB (+14MB)
UNSAT
Iteration Time:	 2.04s

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

Models       : 0+
Calls        : 3
Time         : 11.133s (Solving: 3.03s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 10.612s

Choices      : 87217    (Domain: 87217)
Conflicts    : 10708    (Analyzed: 10708)
Restarts     : 100      (Average: 107.08 Last: 139)
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 10708    (Deleted: 6052)
  Binary     : 275      (Ratio:   2.57%)
  Ternary    : 146      (Ratio:   1.36%)
  Conflict   : 10708    (Average Length:  507.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 10708    (Average:  7.53 Max: 353 Sum:  80601)
  Executed   : 10699    (Average:  7.52 Max: 353 Sum:  80548 Ratio:  99.93%)
  Bounded    : 9        (Average:  5.89 Max:  12 Sum:     53 Ratio:   0.07%)

Rules        : 257000  
Atoms        : 257000  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 148040   (Eliminated:    0 Frozen: 10178)
Constraints  : 779864   (Binary:  98.0% Ternary:   1.0% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 3.10s
Memory:		 425MB (+42MB)
UNKNOWN
Iteration Time:	 5.05s

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

Models       : 0+
Calls        : 4
Time         : 18.577s (Solving: 8.51s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 18.060s

Choices      : 309977   (Domain: 309977)
Conflicts    : 22003    (Analyzed: 22003)
Restarts     : 200      (Average: 110.02 Last: 139)
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 22003    (Deleted: 18017)
  Binary     : 441      (Ratio:   2.00%)
  Ternary    : 293      (Ratio:   1.33%)
  Conflict   : 22003    (Average Length:  540.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 22003    (Average: 12.06 Max: 767 Sum: 265320)
  Executed   : 21991    (Average: 12.06 Max: 767 Sum: 265264 Ratio:  99.98%)
  Bounded    : 12       (Average:  4.67 Max:  12 Sum:     56 Ratio:   0.02%)

Rules        : 257000  
Atoms        : 257000  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 230401   (Eliminated:    0 Frozen: 15853)
Constraints  : 1421513  (Binary:  98.0% Ternary:   0.9% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 5.57s
Memory:		 501MB (+54MB)
UNKNOWN
Iteration Time:	 7.46s

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

Models       : 0+
Calls        : 5
Time         : 29.549s (Solving: 17.49s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 29.036s

Choices      : 760087   (Domain: 760087)
Conflicts    : 33016    (Analyzed: 33016)
Restarts     : 300      (Average: 110.05 Last: 139)
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 33016    (Deleted: 26297)
  Binary     : 637      (Ratio:   1.93%)
  Ternary    : 431      (Ratio:   1.31%)
  Conflict   : 33016    (Average Length:  528.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 33016    (Average: 19.44 Max: 1329 Sum: 641922)
  Executed   : 32990    (Average: 19.44 Max: 1329 Sum: 641747 Ratio:  99.97%)
  Bounded    : 26       (Average:  6.73 Max:  22 Sum:    175 Ratio:   0.03%)

Rules        : 257000  
Atoms        : 257000  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 312762   (Eliminated:    0 Frozen: 21528)
Constraints  : 2063198  (Binary:  98.1% Ternary:   0.9% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 9.08s
Memory:		 555MB (+28MB)
UNKNOWN
Iteration Time:	 10.99s

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

Models       : 1+
Calls        : 6
Time         : 37.208s (Solving: 22.67s 1st Model: 5.14s Unsat: 0.00s)
CPU Time     : 36.700s

Choices      : 1032382  (Domain: 1032346)
Conflicts    : 37474    (Analyzed: 37474)
Restarts     : 340      (Average: 110.22 Last: 139)
Model-Level  : 2021.0  
Problems     : 6        (Average Length: 14.50 Splits: 0)
Lemmas       : 37474    (Deleted: 31797)
  Binary     : 659      (Ratio:   1.76%)
  Ternary    : 446      (Ratio:   1.19%)
  Conflict   : 37474    (Average Length:  524.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 37474    (Average: 23.32 Max: 1801 Sum: 873745)
  Executed   : 37443    (Average: 23.31 Max: 1801 Sum: 873435 Ratio:  99.96%)
  Bounded    : 31       (Average: 10.00 Max:  27 Sum:    310 Ratio:   0.04%)

Rules        : 257000  
Atoms        : 257000  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 395123   (Eliminated:    0 Frozen: 27203)
Constraints  : 2704838  (Binary:  98.1% Ternary:   0.9% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 5.29s
Memory:		 687MB (+72MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 5.84s
Memory:		 810MB (+123MB)
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 7
Time         : 83.750s (Solving: 65.83s 1st Model: 5.14s Unsat: 0.00s)
CPU Time     : 83.264s

Choices      : 2487512  (Domain: 2487476)
Conflicts    : 47018    (Analyzed: 47018)
Restarts     : 440      (Average: 106.86 Last: 139)
Model-Level  : 2021.0  
Problems     : 7        (Average Length: 16.29 Splits: 0)
Lemmas       : 47018    (Deleted: 39444)
  Binary     : 755      (Ratio:   1.61%)
  Ternary    : 524      (Ratio:   1.11%)
  Conflict   : 47018    (Average Length:  534.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 47018    (Average: 48.40 Max: 2126 Sum: 2275729)
  Executed   : 46960    (Average: 48.38 Max: 2126 Sum: 2274690 Ratio:  99.95%)
  Bounded    : 58       (Average: 17.91 Max:  27 Sum:   1039 Ratio:   0.05%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 397447   (Eliminated:    0 Frozen: 326054)
Constraints  : 3587480  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 43.82s
Memory:		 762MB (+-48MB)
UNKNOWN
Iteration Time:	 57.34s

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

Models       : 0+
Calls        : 8
Time         : 111.766s (Solving: 90.76s 1st Model: 5.14s Unsat: 0.00s)
CPU Time     : 111.292s

Choices      : 3468680  (Domain: 3468644)
Conflicts    : 56530    (Analyzed: 56530)
Restarts     : 540      (Average: 104.69 Last: 139)
Model-Level  : 2021.0  
Problems     : 8        (Average Length: 18.25 Splits: 0)
Lemmas       : 56530    (Deleted: 48894)
  Binary     : 899      (Ratio:   1.59%)
  Ternary    : 627      (Ratio:   1.11%)
  Conflict   : 56530    (Average Length:  531.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 56530    (Average: 57.31 Max: 2126 Sum: 3239636)
  Executed   : 56401    (Average: 57.25 Max: 2126 Sum: 3236325 Ratio:  99.90%)
  Bounded    : 129      (Average: 25.67 Max:  32 Sum:   3311 Ratio:   0.10%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 480268   (Eliminated:    0 Frozen: 402579)
Constraints  : 4435970  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 25.06s
Memory:		 864MB (+76MB)
UNKNOWN
Iteration Time:	 28.04s

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         : 121.385s (Solving: 100.23s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 120.916s

Choices      : 3676622  (Domain: 3676586)
Conflicts    : 65014    (Analyzed: 65013)
Restarts     : 627      (Average: 103.69 Last: 139)
Model-Level  : 2021.0  
Problems     : 9        (Average Length: 19.78 Splits: 0)
Lemmas       : 65013    (Deleted: 54464)
  Binary     : 1028     (Ratio:   1.58%)
  Ternary    : 768      (Ratio:   1.18%)
  Conflict   : 65013    (Average Length:  503.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 65013    (Average: 53.00 Max: 2126 Sum: 3445472)
  Executed   : 64811    (Average: 52.91 Max: 2126 Sum: 3439887 Ratio:  99.84%)
  Bounded    : 202      (Average: 27.65 Max:  32 Sum:   5585 Ratio:   0.16%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 480268   (Eliminated:    0 Frozen: 402579)
Constraints  : 4399379  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 9.55s
Memory:		 864MB (+0MB)
UNSAT
Iteration Time:	 9.63s

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         : 143.459s (Solving: 122.14s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 143.000s

Choices      : 4494365  (Domain: 4494329)
Conflicts    : 75254    (Analyzed: 75253)
Restarts     : 727      (Average: 103.51 Last: 139)
Model-Level  : 2021.0  
Problems     : 10       (Average Length: 21.00 Splits: 0)
Lemmas       : 75253    (Deleted: 62834)
  Binary     : 1133     (Ratio:   1.51%)
  Ternary    : 922      (Ratio:   1.23%)
  Conflict   : 75253    (Average Length:  491.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 75253    (Average: 56.46 Max: 2126 Sum: 4248458)
  Executed   : 75039    (Average: 56.38 Max: 2126 Sum: 4242489 Ratio:  99.86%)
  Bounded    : 214      (Average: 27.89 Max:  32 Sum:   5969 Ratio:   0.14%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 480268   (Eliminated:    0 Frozen: 402579)
Constraints  : 4361745  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 22.00s
Memory:		 864MB (+0MB)
UNKNOWN
Iteration Time:	 22.09s

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         : 166.359s (Solving: 144.90s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 165.912s

Choices      : 5083632  (Domain: 5083596)
Conflicts    : 85057    (Analyzed: 85056)
Restarts     : 827      (Average: 102.85 Last: 139)
Model-Level  : 2021.0  
Problems     : 11       (Average Length: 22.00 Splits: 0)
Lemmas       : 85056    (Deleted: 72040)
  Binary     : 1184     (Ratio:   1.39%)
  Ternary    : 1049     (Ratio:   1.23%)
  Conflict   : 85056    (Average Length:  514.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 85056    (Average: 56.43 Max: 2126 Sum: 4799656)
  Executed   : 84830    (Average: 56.35 Max: 2126 Sum: 4793303 Ratio:  99.87%)
  Bounded    : 226      (Average: 28.11 Max:  32 Sum:   6353 Ratio:   0.13%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 480268   (Eliminated:    0 Frozen: 402579)
Constraints  : 4345051  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 22.86s
Memory:		 864MB (+0MB)
UNKNOWN
Iteration Time:	 22.91s

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         : 205.500s (Solving: 183.92s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 205.072s

Choices      : 6546827  (Domain: 6546791)
Conflicts    : 95585    (Analyzed: 95584)
Restarts     : 927      (Average: 103.11 Last: 139)
Model-Level  : 2021.0  
Problems     : 12       (Average Length: 22.83 Splits: 0)
Lemmas       : 95584    (Deleted: 81037)
  Binary     : 1251     (Ratio:   1.31%)
  Ternary    : 1110     (Ratio:   1.16%)
  Conflict   : 95584    (Average Length:  515.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 95584    (Average: 65.07 Max: 2662 Sum: 6219347)
  Executed   : 95342    (Average: 64.99 Max: 2662 Sum: 6212482 Ratio:  99.89%)
  Bounded    : 242      (Average: 28.37 Max:  32 Sum:   6865 Ratio:   0.11%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 480268   (Eliminated:    0 Frozen: 402579)
Constraints  : 4341535  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 39.12s
Memory:		 864MB (+0MB)
UNKNOWN
Iteration Time:	 39.16s

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         : 257.574s (Solving: 235.88s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 257.168s

Choices      : 7951880  (Domain: 7951844)
Conflicts    : 106266   (Analyzed: 106265)
Restarts     : 1027     (Average: 103.47 Last: 185)
Model-Level  : 2021.0  
Problems     : 13       (Average Length: 23.54 Splits: 0)
Lemmas       : 106265   (Deleted: 90658)
  Binary     : 1341     (Ratio:   1.26%)
  Ternary    : 1212     (Ratio:   1.14%)
  Conflict   : 106265   (Average Length:  549.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 106265   (Average: 71.32 Max: 4003 Sum: 7578684)
  Executed   : 106020   (Average: 71.25 Max: 4003 Sum: 7571723 Ratio:  99.91%)
  Bounded    : 245      (Average: 28.41 Max:  32 Sum:   6961 Ratio:   0.09%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 480268   (Eliminated:    0 Frozen: 402579)
Constraints  : 4336183  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 52.06s
Memory:		 864MB (+0MB)
UNKNOWN
Iteration Time:	 52.10s

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

Models       : 0+
Calls        : 14
Time         : 288.818s (Solving: 263.95s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 288.424s

Choices      : 8638349  (Domain: 8638313)
Conflicts    : 115712   (Analyzed: 115711)
Restarts     : 1127     (Average: 102.67 Last: 185)
Model-Level  : 2021.0  
Problems     : 14       (Average Length: 24.50 Splits: 0)
Lemmas       : 115711   (Deleted: 100606)
  Binary     : 1390     (Ratio:   1.20%)
  Ternary    : 1269     (Ratio:   1.10%)
  Conflict   : 115711   (Average Length:  570.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 115711   (Average: 71.20 Max: 4003 Sum: 8238116)
  Executed   : 115452   (Average: 71.13 Max: 4003 Sum: 8230637 Ratio:  99.91%)
  Bounded    : 259      (Average: 28.88 Max:  37 Sum:   7479 Ratio:   0.09%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 563089   (Eliminated:    0 Frozen: 479104)
Constraints  : 5184220  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 28.22s
Memory:		 957MB (+93MB)
UNKNOWN
Iteration Time:	 31.27s

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

Models       : 0+
Calls        : 15
Time         : 318.415s (Solving: 290.30s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 318.032s

Choices      : 9514132  (Domain: 9514096)
Conflicts    : 124943   (Analyzed: 124942)
Restarts     : 1227     (Average: 101.83 Last: 185)
Model-Level  : 2021.0  
Problems     : 15       (Average Length: 25.67 Splits: 0)
Lemmas       : 124942   (Deleted: 110752)
  Binary     : 1398     (Ratio:   1.12%)
  Ternary    : 1272     (Ratio:   1.02%)
  Conflict   : 124942   (Average Length:  699.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 124942   (Average: 72.21 Max: 4003 Sum: 9021648)
  Executed   : 124683   (Average: 72.15 Max: 4003 Sum: 9014169 Ratio:  99.92%)
  Bounded    : 259      (Average: 28.88 Max:  37 Sum:   7479 Ratio:   0.08%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 645910   (Eliminated:    0 Frozen: 555629)
Constraints  : 6034213  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 26.52s
Memory:		 1010MB (+45MB)
UNKNOWN
Iteration Time:	 29.62s

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

Models       : 0+
Calls        : 16
Time         : 374.519s (Solving: 343.02s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 374.164s

Choices      : 10559120 (Domain: 10559084)
Conflicts    : 135479   (Analyzed: 135478)
Restarts     : 1327     (Average: 102.09 Last: 185)
Model-Level  : 2021.0  
Problems     : 16       (Average Length: 27.00 Splits: 0)
Lemmas       : 135478   (Deleted: 118810)
  Binary     : 1418     (Ratio:   1.05%)
  Ternary    : 1277     (Ratio:   0.94%)
  Conflict   : 135478   (Average Length:  787.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 135478   (Average: 73.68 Max: 4003 Sum: 9981491)
  Executed   : 135219   (Average: 73.62 Max: 4003 Sum: 9974012 Ratio:  99.93%)
  Bounded    : 259      (Average: 28.88 Max:  37 Sum:   7479 Ratio:   0.07%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 728731   (Eliminated:    0 Frozen: 632154)
Constraints  : 6885448  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 52.91s
Memory:		 1092MB (+50MB)
UNKNOWN
Iteration Time:	 56.14s

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: 1224.0MB
Grounding...	 [('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('check', [50])]
Grounding Time:	 2.20s
Memory:		 1119MB (+27MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 17
Time         : 423.096s (Solving: 388.15s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 422.760s

Choices      : 11568928 (Domain: 11568892)
Conflicts    : 145088   (Analyzed: 145087)
Restarts     : 1427     (Average: 101.67 Last: 185)
Model-Level  : 2021.0  
Problems     : 17       (Average Length: 28.47 Splits: 0)
Lemmas       : 145087   (Deleted: 128568)
  Binary     : 1464     (Ratio:   1.01%)
  Ternary    : 1331     (Ratio:   0.92%)
  Conflict   : 145087   (Average Length:  788.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 145087   (Average: 75.46 Max: 4003 Sum: 10947941)
  Executed   : 144791   (Average: 75.39 Max: 4003 Sum: 10938538 Ratio:  99.91%)
  Bounded    : 296      (Average: 31.77 Max:  52 Sum:   9403 Ratio:   0.09%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 811552   (Eliminated:    0 Frozen: 708679)
Constraints  : 7736683  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 45.34s
Memory:		 1268MB (+149MB)
UNKNOWN
Iteration Time:	 48.61s

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: 1444.0MB
Grounding...	 [('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('check', [55])]
Grounding Time:	 2.84s
Memory:		 1337MB (+69MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 18
Time         : 481.867s (Solving: 442.82s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 481.556s

Choices      : 13219120 (Domain: 13219084)
Conflicts    : 154923   (Analyzed: 154922)
Restarts     : 1527     (Average: 101.46 Last: 185)
Model-Level  : 2021.0  
Problems     : 18       (Average Length: 30.06 Splits: 0)
Lemmas       : 154922   (Deleted: 138806)
  Binary     : 1481     (Ratio:   0.96%)
  Ternary    : 1335     (Ratio:   0.86%)
  Conflict   : 154922   (Average Length:  919.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 154922   (Average: 80.88 Max: 4003 Sum: 12530863)
  Executed   : 154624   (Average: 80.82 Max: 4003 Sum: 12521346 Ratio:  99.92%)
  Bounded    : 298      (Average: 31.94 Max:  57 Sum:   9517 Ratio:   0.08%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 894373   (Eliminated:    0 Frozen: 785204)
Constraints  : 8580495  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 54.88s
Memory:		 1398MB (+61MB)
UNKNOWN
Iteration Time:	 58.80s

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

Models       : 0+
Calls        : 19
Time         : 529.949s (Solving: 487.48s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 529.660s

Choices      : 14731892 (Domain: 14731856)
Conflicts    : 164084   (Analyzed: 164083)
Restarts     : 1627     (Average: 100.85 Last: 185)
Model-Level  : 2021.0  
Problems     : 19       (Average Length: 31.74 Splits: 0)
Lemmas       : 164083   (Deleted: 147967)
  Binary     : 1488     (Ratio:   0.91%)
  Ternary    : 1344     (Ratio:   0.82%)
  Conflict   : 164083   (Average Length:  982.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 164083   (Average: 84.81 Max: 4504 Sum: 13915771)
  Executed   : 163783   (Average: 84.75 Max: 4504 Sum: 13906130 Ratio:  99.93%)
  Bounded    : 300      (Average: 32.14 Max:  62 Sum:   9641 Ratio:   0.07%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 977194   (Eliminated:    0 Frozen: 861729)
Constraints  : 9430716  (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 44.89s
Memory:		 1469MB (+54MB)
UNKNOWN
Iteration Time:	 48.11s

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

Models       : 0+
Calls        : 20
Time         : 579.353s (Solving: 533.40s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 579.084s

Choices      : 16212630 (Domain: 16212594)
Conflicts    : 174007   (Analyzed: 174006)
Restarts     : 1727     (Average: 100.76 Last: 185)
Model-Level  : 2021.0  
Problems     : 20       (Average Length: 33.50 Splits: 0)
Lemmas       : 174006   (Deleted: 155904)
  Binary     : 1543     (Ratio:   0.89%)
  Ternary    : 1391     (Ratio:   0.80%)
  Conflict   : 174006   (Average Length:  968.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 174006   (Average: 87.94 Max: 4504 Sum: 15302824)
  Executed   : 173688   (Average: 87.88 Max: 4504 Sum: 15291977 Ratio:  99.93%)
  Bounded    : 318      (Average: 34.11 Max:  67 Sum:  10847 Ratio:   0.07%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 1060015  (Eliminated:    0 Frozen: 938254)
Constraints  : 10281930 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 46.16s
Memory:		 1552MB (+57MB)
UNKNOWN
Iteration Time:	 49.44s

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

Models       : 0+
Calls        : 21
Time         : 609.153s (Solving: 559.66s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 608.896s

Choices      : 17337738 (Domain: 17337702)
Conflicts    : 183039   (Analyzed: 183038)
Restarts     : 1827     (Average: 100.19 Last: 185)
Model-Level  : 2021.0  
Problems     : 21       (Average Length: 35.33 Splits: 0)
Lemmas       : 183038   (Deleted: 165385)
  Binary     : 1596     (Ratio:   0.87%)
  Ternary    : 1410     (Ratio:   0.77%)
  Conflict   : 183038   (Average Length:  945.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 183038   (Average: 88.12 Max: 4914 Sum: 16129519)
  Executed   : 182709   (Average: 88.06 Max: 4914 Sum: 16117880 Ratio:  99.93%)
  Bounded    : 329      (Average: 35.38 Max:  72 Sum:  11639 Ratio:   0.07%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 1142836  (Eliminated:    0 Frozen: 1014779)
Constraints  : 11123725 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 26.51s
Memory:		 1623MB (+55MB)
UNKNOWN
Iteration Time:	 29.82s

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

Models       : 0+
Calls        : 22
Time         : 654.106s (Solving: 600.98s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 653.868s

Choices      : 18844258 (Domain: 18844222)
Conflicts    : 192222   (Analyzed: 192221)
Restarts     : 1927     (Average: 99.75 Last: 185)
Model-Level  : 2021.0  
Problems     : 22       (Average Length: 37.23 Splits: 0)
Lemmas       : 192221   (Deleted: 174266)
  Binary     : 1625     (Ratio:   0.85%)
  Ternary    : 1437     (Ratio:   0.75%)
  Conflict   : 192221   (Average Length:  964.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 192221   (Average: 91.01 Max: 4914 Sum: 17493087)
  Executed   : 191887   (Average: 90.94 Max: 4914 Sum: 17481063 Ratio:  99.93%)
  Bounded    : 334      (Average: 36.00 Max:  77 Sum:  12024 Ratio:   0.07%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 1225657  (Eliminated:    0 Frozen: 1091304)
Constraints  : 11974839 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 41.58s
Memory:		 1766MB (+105MB)
UNKNOWN
Iteration Time:	 44.98s

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         : 670.218s (Solving: 616.77s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 669.988s

Choices      : 18899736 (Domain: 18899700)
Conflicts    : 201699   (Analyzed: 201698)
Restarts     : 2027     (Average: 99.51 Last: 185)
Model-Level  : 2021.0  
Problems     : 23       (Average Length: 38.96 Splits: 0)
Lemmas       : 201698   (Deleted: 184740)
  Binary     : 1674     (Ratio:   0.83%)
  Ternary    : 1457     (Ratio:   0.72%)
  Conflict   : 201698   (Average Length: 1045.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 201698   (Average: 86.93 Max: 4914 Sum: 17533053)
  Executed   : 201364   (Average: 86.87 Max: 4914 Sum: 17521029 Ratio:  99.93%)
  Bounded    : 334      (Average: 36.00 Max:  77 Sum:  12024 Ratio:   0.07%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 1225657  (Eliminated:    0 Frozen: 1091304)
Constraints  : 11974675 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 15.99s
Memory:		 1766MB (+0MB)
UNKNOWN
Iteration Time:	 16.12s

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         : 691.430s (Solving: 637.67s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 691.212s

Choices      : 19365712 (Domain: 19365676)
Conflicts    : 211800   (Analyzed: 211799)
Restarts     : 2127     (Average: 99.58 Last: 210)
Model-Level  : 2021.0  
Problems     : 24       (Average Length: 40.54 Splits: 0)
Lemmas       : 211799   (Deleted: 191563)
  Binary     : 1728     (Ratio:   0.82%)
  Ternary    : 1545     (Ratio:   0.73%)
  Conflict   : 211799   (Average Length: 1018.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 211799   (Average: 84.79 Max: 4914 Sum: 17958041)
  Executed   : 211457   (Average: 84.73 Max: 4914 Sum: 17945401 Ratio:  99.93%)
  Bounded    : 342      (Average: 36.96 Max:  77 Sum:  12640 Ratio:   0.07%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 1225657  (Eliminated:    0 Frozen: 1091304)
Constraints  : 11974675 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 21.10s
Memory:		 1766MB (+0MB)
UNKNOWN
Iteration Time:	 21.23s

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         : 727.506s (Solving: 673.44s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 727.300s

Choices      : 20328058 (Domain: 20328022)
Conflicts    : 221519   (Analyzed: 221518)
Restarts     : 2227     (Average: 99.47 Last: 210)
Model-Level  : 2021.0  
Problems     : 25       (Average Length: 42.00 Splits: 0)
Lemmas       : 221518   (Deleted: 200894)
  Binary     : 1816     (Ratio:   0.82%)
  Ternary    : 1602     (Ratio:   0.72%)
  Conflict   : 221518   (Average Length: 1020.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 221518   (Average: 85.23 Max: 4914 Sum: 18879783)
  Executed   : 221174   (Average: 85.17 Max: 4914 Sum: 18866989 Ratio:  99.93%)
  Bounded    : 344      (Average: 37.19 Max:  77 Sum:  12794 Ratio:   0.07%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 1225657  (Eliminated:    0 Frozen: 1091304)
Constraints  : 11973373 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 35.99s
Memory:		 1766MB (+0MB)
UNKNOWN
Iteration Time:	 36.09s

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         : 776.642s (Solving: 722.26s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 776.456s

Choices      : 21645662 (Domain: 21645626)
Conflicts    : 231481   (Analyzed: 231480)
Restarts     : 2327     (Average: 99.48 Last: 210)
Model-Level  : 2021.0  
Problems     : 26       (Average Length: 43.35 Splits: 0)
Lemmas       : 231480   (Deleted: 209738)
  Binary     : 1917     (Ratio:   0.83%)
  Ternary    : 1678     (Ratio:   0.72%)
  Conflict   : 231480   (Average Length: 1010.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 231480   (Average: 87.02 Max: 4914 Sum: 20144430)
  Executed   : 231131   (Average: 86.97 Max: 4914 Sum: 20131251 Ratio:  99.93%)
  Bounded    : 349      (Average: 37.76 Max:  77 Sum:  13179 Ratio:   0.07%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 1225657  (Eliminated:    0 Frozen: 1091304)
Constraints  : 11973176 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 49.04s
Memory:		 1766MB (+0MB)
UNKNOWN
Iteration Time:	 49.16s

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         : 835.623s (Solving: 780.89s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 835.464s

Choices      : 23545677 (Domain: 23545641)
Conflicts    : 242183   (Analyzed: 242182)
Restarts     : 2427     (Average: 99.79 Last: 210)
Model-Level  : 2021.0  
Problems     : 27       (Average Length: 44.59 Splits: 0)
Lemmas       : 242182   (Deleted: 219101)
  Binary     : 1955     (Ratio:   0.81%)
  Ternary    : 1713     (Ratio:   0.71%)
  Conflict   : 242182   (Average Length: 1007.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 242182   (Average: 90.73 Max: 4914 Sum: 21972092)
  Executed   : 241831   (Average: 90.67 Max: 4914 Sum: 21958759 Ratio:  99.94%)
  Bounded    : 351      (Average: 37.99 Max:  77 Sum:  13333 Ratio:   0.06%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 1225657  (Eliminated:    0 Frozen: 1091304)
Constraints  : 11972889 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 58.87s
Memory:		 1766MB (+0MB)
UNKNOWN
Iteration Time:	 59.01s

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

INTERRUPTED  : 1

Models       : 0+
Calls        : 28
Time         : 878.142s (Solving: 823.11s 1st Model: 5.14s Unsat: 9.47s)
CPU Time     : 877.980s

Choices      : 24838442 (Domain: 24838406)
Conflicts    : 248277   (Analyzed: 248276)
Restarts     : 2483     (Average: 99.99 Last: 210)
Model-Level  : 2021.0  
Problems     : 28       (Average Length: 45.75 Splits: 0)
Lemmas       : 248276   (Deleted: 225565)
  Binary     : 1984     (Ratio:   0.80%)
  Ternary    : 1734     (Ratio:   0.70%)
  Conflict   : 248276   (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    : 248276   (Average: 93.49 Max: 4914 Sum: 23210123)
  Executed   : 247925   (Average: 93.43 Max: 4914 Sum: 23196790 Ratio:  99.94%)
  Bounded    : 351      (Average: 37.99 Max:  77 Sum:  13333 Ratio:   0.06%)

Rules        : 1166358  (Original: 1166256)
Atoms        : 287395  
Bodies       : 590733   (Original: 590630)
  Count      : 1081     (Original: 1089)
Equivalences : 298994   (Atom=Atom: 39 Body=Body: 0 Other: 298955)
Tight        : Yes
Variables    : 1225657  (Eliminated:    0 Frozen: 1091304)
Constraints  : 11972807 (Binary:  98.5% Ternary:   0.7% Other:   0.8%)

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


