INFO     Running translator.
INFO     translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-1.pddl']
INFO     translator arguments: []
INFO     translator time limit: None
INFO     translator memory limit: None
INFO     callstring: /home/pluehne/.usr/bin/python /home/wv/bin/linux/64/fast-downward-10997/builds/release64/bin/translate/translate.py /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/barman-sequential-satisficing/instances/instance-1.pddl
Parsing...
Parsing: [0.040s CPU, 0.048s wall-clock]
Normalizing task... [0.010s CPU, 0.004s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.012s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.060s CPU, 0.059s wall-clock]
Preparing model... [0.030s CPU, 0.029s wall-clock]
Generated 115 rules.
Computing model... [0.330s CPU, 0.338s wall-clock]
2025 relevant atoms
2105 auxiliary atoms
4130 final queue length
7122 total queue pushes
Completing instantiation... [0.600s CPU, 0.600s wall-clock]
Instantiating: [1.040s CPU, 1.043s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.110s CPU, 0.107s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.000s CPU, 0.006s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.000s wall-clock]
Choosing groups...
207 uncovered facts
Choosing groups: [0.000s CPU, 0.001s wall-clock]
Building translation key... [0.010s CPU, 0.008s wall-clock]
Computing fact groups: [0.140s CPU, 0.138s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.002s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.002s wall-clock]
Building mutex information...
Building mutex information: [0.010s CPU, 0.002s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.030s CPU, 0.034s wall-clock]
Translating task: [0.650s CPU, 0.658s wall-clock]
2326 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
3 propositions removed
Detecting unreachable propositions: [0.310s CPU, 0.311s wall-clock]
Reordering and filtering variables...
210 of 210 variables necessary.
11 of 14 mutex groups necessary.
1390 of 1390 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.210s CPU, 0.206s wall-clock]
Translator variables: 210
Translator derived variables: 0
Translator facts: 441
Translator goal facts: 9
Translator mutex groups: 11
Translator total mutex groups size: 33
Translator operators: 1390
Translator axioms: 0
Translator task size: 13333
Translator peak memory: 43980 KB
Writing output... [0.270s CPU, 0.296s wall-clock]
Done! [2.710s CPU, 2.739s wall-clock]
planner.py version 0.0.1

Time:	 0.61s
Memory: 86MB

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

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

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

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

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

Choices      : 87       (Domain: 79)
Conflicts    : 41       (Analyzed: 40)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 40       (Deleted: 0)
  Binary     : 5        (Ratio:  12.50%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 40       (Average Length:    8.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 40       (Average:  2.20 Max:  11 Sum:     88)
  Executed   : 39       (Average:  2.17 Max:  11 Sum:     87 Ratio:  98.86%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   1.14%)

Rules        : 38518   
Atoms        : 38518   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 10322    (Eliminated:    0 Frozen: 10322)
Constraints  : 36431    (Binary:  95.0% Ternary:   3.5% Other:   1.5%)

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

[endof: stats after solve call]
Solving Time:	 0.10s
Memory:		 160MB (+2MB)
UNSAT
Iteration Time:	 0.33s

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

Models       : 1+
Calls        : 3
Time         : 1.462s (Solving: 0.01s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 1.368s

Choices      : 546      (Domain: 516)
Conflicts    : 62       (Analyzed: 61)
Restarts     : 0       
Model-Level  : 220.0   
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 61       (Deleted: 0)
  Binary     : 16       (Ratio:  26.23%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 61       (Average Length:   20.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 61       (Average:  5.56 Max:  62 Sum:    339)
  Executed   : 60       (Average:  5.54 Max:  62 Sum:    338 Ratio:  99.71%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   0.29%)

Rules        : 38518   
Atoms        : 38518   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 22613    (Eliminated:    0 Frozen: 22613)
Constraints  : 136846   (Binary:  95.5% Ternary:   3.2% Other:   1.2%)

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

[endof: stats after solve call]
Solving Time:	 0.17s
Memory:		 171MB (+7MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 0.65s
Memory:		 191MB (+20MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 4
Time         : 2.231s (Solving: 0.50s 1st Model: 0.00s Unsat: 0.49s)
CPU Time     : 2.140s

Choices      : 17589    (Domain: 13532)
Conflicts    : 2398     (Analyzed: 2396)
Restarts     : 13       (Average: 184.31 Last: 318)
Model-Level  : 220.0   
Problems     : 4        (Average Length: 8.25 Splits: 0)
Lemmas       : 2396     (Deleted: 0)
  Binary     : 305      (Ratio:  12.73%)
  Ternary    : 104      (Ratio:   4.34%)
  Conflict   : 2396     (Average Length:   61.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2396     (Average:  7.23 Max: 110 Sum:  17312)
  Executed   : 2378     (Average:  7.16 Max: 110 Sum:  17162 Ratio:  99.13%)
  Bounded    : 18       (Average:  8.33 Max:  12 Sum:    150 Ratio:   0.87%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 34656    (Eliminated: 8994 Frozen: 25662)
Constraints  : 195011   (Binary:  88.9% Ternary:   7.3% Other:   3.8%)

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

[endof: stats after solve call]
Solving Time:	 0.62s
Memory:		 188MB (+-3MB)
UNSAT
Iteration Time:	 1.70s

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

Models       : 0+
Calls        : 5
Time         : 12.327s (Solving: 9.80s 1st Model: 0.00s Unsat: 0.49s)
CPU Time     : 12.240s

Choices      : 177150   (Domain: 153887)
Conflicts    : 30584    (Analyzed: 30582)
Restarts     : 113      (Average: 270.64 Last: 318)
Model-Level  : 220.0   
Problems     : 5        (Average Length: 10.00 Splits: 0)
Lemmas       : 30582    (Deleted: 17870)
  Binary     : 1537     (Ratio:   5.03%)
  Ternary    : 425      (Ratio:   1.39%)
  Conflict   : 30582    (Average Length:  315.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 30582    (Average:  5.65 Max: 322 Sum: 172796)
  Executed   : 30554    (Average:  5.64 Max: 322 Sum: 172491 Ratio:  99.82%)
  Bounded    : 28       (Average: 10.89 Max:  17 Sum:    305 Ratio:   0.18%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 57232    (Eliminated: 8994 Frozen: 40708)
Constraints  : 358818   (Binary:  90.3% Ternary:   6.8% Other:   2.8%)

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

[endof: stats after solve call]
Solving Time:	 9.63s
Memory:		 213MB (+18MB)
UNKNOWN
Iteration Time:	 10.11s

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

Models       : 0+
Calls        : 6
Time         : 24.662s (Solving: 21.35s 1st Model: 0.00s Unsat: 0.49s)
CPU Time     : 24.584s

Choices      : 404521   (Domain: 368688)
Conflicts    : 58743    (Analyzed: 58741)
Restarts     : 213      (Average: 275.78 Last: 318)
Model-Level  : 220.0   
Problems     : 6        (Average Length: 12.00 Splits: 0)
Lemmas       : 58741    (Deleted: 43644)
  Binary     : 2840     (Ratio:   4.83%)
  Ternary    : 654      (Ratio:   1.11%)
  Conflict   : 58741    (Average Length:  339.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 58741    (Average:  6.68 Max: 322 Sum: 392114)
  Executed   : 58708    (Average:  6.67 Max: 322 Sum: 391723 Ratio:  99.90%)
  Bounded    : 33       (Average: 11.85 Max:  18 Sum:    391 Ratio:   0.10%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 79808    (Eliminated: 8994 Frozen: 63284)
Constraints  : 527314   (Binary:  90.8% Ternary:   6.7% Other:   2.5%)

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

[endof: stats after solve call]
Solving Time:	 11.88s
Memory:		 225MB (+12MB)
UNKNOWN
Iteration Time:	 12.35s

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

Models       : 0+
Calls        : 7
Time         : 39.393s (Solving: 35.28s 1st Model: 0.00s Unsat: 0.49s)
CPU Time     : 39.324s

Choices      : 618393   (Domain: 561441)
Conflicts    : 86898    (Analyzed: 86896)
Restarts     : 313      (Average: 277.62 Last: 318)
Model-Level  : 220.0   
Problems     : 7        (Average Length: 14.14 Splits: 0)
Lemmas       : 86896    (Deleted: 69919)
  Binary     : 4049     (Ratio:   4.66%)
  Ternary    : 851      (Ratio:   0.98%)
  Conflict   : 86896    (Average Length:  409.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 86896    (Average:  6.81 Max: 403 Sum: 591797)
  Executed   : 86855    (Average:  6.80 Max: 403 Sum: 591216 Ratio:  99.90%)
  Bounded    : 41       (Average: 14.17 Max:  27 Sum:    581 Ratio:   0.10%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 102384   (Eliminated: 8994 Frozen: 85860)
Constraints  : 700359   (Binary:  91.0% Ternary:   6.7% Other:   2.4%)

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

[endof: stats after solve call]
Solving Time:	 14.27s
Memory:		 244MB (+16MB)
UNKNOWN
Iteration Time:	 14.74s

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

Models       : 0+
Calls        : 8
Time         : 53.035s (Solving: 48.11s 1st Model: 0.00s Unsat: 0.49s)
CPU Time     : 52.968s

Choices      : 831345   (Domain: 766699)
Conflicts    : 115065   (Analyzed: 115063)
Restarts     : 413      (Average: 278.60 Last: 318)
Model-Level  : 220.0   
Problems     : 8        (Average Length: 16.38 Splits: 0)
Lemmas       : 115063   (Deleted: 96796)
  Binary     : 4991     (Ratio:   4.34%)
  Ternary    : 990      (Ratio:   0.86%)
  Conflict   : 115063   (Average Length:  440.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 115063   (Average:  6.89 Max: 403 Sum: 792364)
  Executed   : 115018   (Average:  6.88 Max: 403 Sum: 791669 Ratio:  99.91%)
  Bounded    : 45       (Average: 15.44 Max:  32 Sum:    695 Ratio:   0.09%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 124960   (Eliminated: 8994 Frozen: 108436)
Constraints  : 870378   (Binary:  91.1% Ternary:   6.6% Other:   2.3%)

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

[endof: stats after solve call]
Solving Time:	 13.17s
Memory:		 259MB (+13MB)
UNKNOWN
Iteration Time:	 13.65s

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

Models       : 0
Calls        : 9
Time         : 53.842s (Solving: 48.87s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 53.776s

Choices      : 842689   (Domain: 778043)
Conflicts    : 116879   (Analyzed: 116876)
Restarts     : 424      (Average: 275.65 Last: 318)
Model-Level  : 220.0   
Problems     : 9        (Average Length: 18.11 Splits: 0)
Lemmas       : 116876   (Deleted: 96796)
  Binary     : 5109     (Ratio:   4.37%)
  Ternary    : 1008     (Ratio:   0.86%)
  Conflict   : 116876   (Average Length:  437.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 116876   (Average:  6.88 Max: 403 Sum: 803528)
  Executed   : 116822   (Average:  6.87 Max: 403 Sum: 802673 Ratio:  99.89%)
  Bounded    : 54       (Average: 15.83 Max:  32 Sum:    855 Ratio:   0.11%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 124960   (Eliminated: 8994 Frozen: 115966)
Constraints  : 868859   (Binary:  91.1% Ternary:   6.6% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 0.79s
Memory:		 259MB (+0MB)
UNSAT
Iteration Time:	 0.81s

Iteration 9
Queue:		 [(4,20,1,True), (5,25,1,True), (6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 10
Time         : 64.169s (Solving: 59.16s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 64.108s

Choices      : 975316   (Domain: 910670)
Conflicts    : 145048   (Analyzed: 145045)
Restarts     : 524      (Average: 276.80 Last: 318)
Model-Level  : 220.0   
Problems     : 10       (Average Length: 19.50 Splits: 0)
Lemmas       : 145045   (Deleted: 125456)
  Binary     : 5513     (Ratio:   3.80%)
  Ternary    : 1081     (Ratio:   0.75%)
  Conflict   : 145045   (Average Length:  428.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 145045   (Average:  6.40 Max: 403 Sum: 928361)
  Executed   : 144983   (Average:  6.39 Max: 403 Sum: 927410 Ratio:  99.90%)
  Bounded    : 62       (Average: 15.34 Max:  32 Sum:    951 Ratio:   0.10%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 124960   (Eliminated: 8994 Frozen: 115966)
Constraints  : 865833   (Binary:  91.2% Ternary:   6.6% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 10.31s
Memory:		 259MB (+0MB)
UNKNOWN
Iteration Time:	 10.33s

Iteration 10
Queue:		 [(5,25,1,True), (6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 11
Time         : 80.308s (Solving: 75.26s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 80.256s

Choices      : 1161061  (Domain: 1092202)
Conflicts    : 173220   (Analyzed: 173217)
Restarts     : 624      (Average: 277.59 Last: 318)
Model-Level  : 220.0   
Problems     : 11       (Average Length: 20.64 Splits: 0)
Lemmas       : 173217   (Deleted: 152747)
  Binary     : 6206     (Ratio:   3.58%)
  Ternary    : 1145     (Ratio:   0.66%)
  Conflict   : 173217   (Average Length:  450.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 173217   (Average:  6.37 Max: 403 Sum: 1102912)
  Executed   : 173152   (Average:  6.36 Max: 403 Sum: 1101870 Ratio:  99.91%)
  Bounded    : 65       (Average: 16.03 Max:  32 Sum:   1042 Ratio:   0.09%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 124960   (Eliminated: 8994 Frozen: 115966)
Constraints  : 860805   (Binary:  91.2% Ternary:   6.6% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 16.14s
Memory:		 259MB (+0MB)
UNKNOWN
Iteration Time:	 16.15s

Iteration 11
Queue:		 [(6,30,1,True), (7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 12
Time         : 96.079s (Solving: 90.99s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 96.032s

Choices      : 1386637  (Domain: 1311234)
Conflicts    : 201365   (Analyzed: 201362)
Restarts     : 724      (Average: 278.12 Last: 318)
Model-Level  : 220.0   
Problems     : 12       (Average Length: 21.58 Splits: 0)
Lemmas       : 201362   (Deleted: 179799)
  Binary     : 7099     (Ratio:   3.53%)
  Ternary    : 1239     (Ratio:   0.62%)
  Conflict   : 201362   (Average Length:  490.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 201362   (Average:  6.52 Max: 403 Sum: 1312026)
  Executed   : 201296   (Average:  6.51 Max: 403 Sum: 1310957 Ratio:  99.92%)
  Bounded    : 66       (Average: 16.20 Max:  32 Sum:   1069 Ratio:   0.08%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 124960   (Eliminated: 8994 Frozen: 115966)
Constraints  : 860791   (Binary:  91.2% Ternary:   6.6% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 15.76s
Memory:		 259MB (+0MB)
UNKNOWN
Iteration Time:	 15.78s

Iteration 12
Queue:		 [(7,35,0,True), (8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 30
Expected Memory: 284.0MB
Grounding...	 [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])]
Grounding Time:	 0.38s
Memory:		 260MB (+1MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 13
Time         : 111.068s (Solving: 105.07s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 111.028s

Choices      : 1584669  (Domain: 1507940)
Conflicts    : 229542   (Analyzed: 229539)
Restarts     : 824      (Average: 278.57 Last: 318)
Model-Level  : 220.0   
Problems     : 13       (Average Length: 22.77 Splits: 0)
Lemmas       : 229539   (Deleted: 207009)
  Binary     : 7735     (Ratio:   3.37%)
  Ternary    : 1307     (Ratio:   0.57%)
  Conflict   : 229539   (Average Length:  508.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 229539   (Average:  6.52 Max: 403 Sum: 1495461)
  Executed   : 229473   (Average:  6.51 Max: 403 Sum: 1494392 Ratio:  99.93%)
  Bounded    : 66       (Average: 16.20 Max:  32 Sum:   1069 Ratio:   0.07%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 147536   (Eliminated: 8994 Frozen: 131012)
Constraints  : 1033836  (Binary:  91.2% Ternary:   6.6% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 14.44s
Memory:		 344MB (+84MB)
UNKNOWN
Iteration Time:	 15.01s

Iteration 13
Queue:		 [(8,40,0,True), (9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 35
Expected Memory: 429.0MB
Grounding...	 [('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('check', [40])]
Grounding Time:	 0.39s
Memory:		 357MB (+13MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 14
Time         : 127.036s (Solving: 120.11s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 127.000s

Choices      : 1836177  (Domain: 1757919)
Conflicts    : 257740   (Analyzed: 257737)
Restarts     : 924      (Average: 278.94 Last: 318)
Model-Level  : 220.0   
Problems     : 14       (Average Length: 24.14 Splits: 0)
Lemmas       : 257737   (Deleted: 234150)
  Binary     : 8486     (Ratio:   3.29%)
  Ternary    : 1449     (Ratio:   0.56%)
  Conflict   : 257737   (Average Length:  515.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 257737   (Average:  6.71 Max: 403 Sum: 1729556)
  Executed   : 257671   (Average:  6.71 Max: 403 Sum: 1728487 Ratio:  99.94%)
  Bounded    : 66       (Average: 16.20 Max:  32 Sum:   1069 Ratio:   0.06%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 170112   (Eliminated: 8994 Frozen: 153588)
Constraints  : 1206881  (Binary:  91.3% Ternary:   6.6% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 15.40s
Memory:		 365MB (+8MB)
UNKNOWN
Iteration Time:	 15.98s

Iteration 14
Queue:		 [(9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True)]
Grounded Until:	 40
Expected Memory: 450.0MB
Grounding...	 [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time:	 0.33s
Memory:		 368MB (+3MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 15
Time         : 141.409s (Solving: 133.61s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 141.376s

Choices      : 2030847  (Domain: 1952317)
Conflicts    : 285935   (Analyzed: 285932)
Restarts     : 1024     (Average: 279.23 Last: 318)
Model-Level  : 220.0   
Problems     : 15       (Average Length: 25.67 Splits: 0)
Lemmas       : 285932   (Deleted: 261355)
  Binary     : 8818     (Ratio:   3.08%)
  Ternary    : 1497     (Ratio:   0.52%)
  Conflict   : 285932   (Average Length:  520.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 285932   (Average:  6.67 Max: 403 Sum: 1907543)
  Executed   : 285866   (Average:  6.67 Max: 403 Sum: 1906474 Ratio:  99.94%)
  Bounded    : 66       (Average: 16.20 Max:  32 Sum:   1069 Ratio:   0.06%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 192688   (Eliminated: 8994 Frozen: 176164)
Constraints  : 1379926  (Binary:  91.3% Ternary:   6.6% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 13.86s
Memory:		 382MB (+14MB)
UNKNOWN
Iteration Time:	 14.39s

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

Models       : 0+
Calls        : 16
Time         : 154.351s (Solving: 145.68s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 154.324s

Choices      : 2195921  (Domain: 2117257)
Conflicts    : 314126   (Analyzed: 314123)
Restarts     : 1124     (Average: 279.47 Last: 318)
Model-Level  : 220.0   
Problems     : 16       (Average Length: 27.31 Splits: 0)
Lemmas       : 314123   (Deleted: 288959)
  Binary     : 9063     (Ratio:   2.89%)
  Ternary    : 1542     (Ratio:   0.49%)
  Conflict   : 314123   (Average Length:  522.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 314123   (Average:  6.55 Max: 403 Sum: 2057157)
  Executed   : 314056   (Average:  6.55 Max: 403 Sum: 2056036 Ratio:  99.95%)
  Bounded    : 67       (Average: 16.73 Max:  52 Sum:   1121 Ratio:   0.05%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 215264   (Eliminated: 8994 Frozen: 198740)
Constraints  : 1552971  (Binary:  91.3% Ternary:   6.6% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 12.44s
Memory:		 411MB (+29MB)
UNKNOWN
Iteration Time:	 12.96s

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

Models       : 0+
Calls        : 17
Time         : 170.935s (Solving: 161.35s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 170.916s

Choices      : 2446413  (Domain: 2367514)
Conflicts    : 342361   (Analyzed: 342358)
Restarts     : 1224     (Average: 279.70 Last: 318)
Model-Level  : 220.0   
Problems     : 17       (Average Length: 29.06 Splits: 0)
Lemmas       : 342358   (Deleted: 316184)
  Binary     : 9464     (Ratio:   2.76%)
  Ternary    : 1588     (Ratio:   0.46%)
  Conflict   : 342358   (Average Length:  535.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 342358   (Average:  6.68 Max: 403 Sum: 2288467)
  Executed   : 342291   (Average:  6.68 Max: 403 Sum: 2287346 Ratio:  99.95%)
  Bounded    : 67       (Average: 16.73 Max:  52 Sum:   1121 Ratio:   0.05%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 237840   (Eliminated: 8994 Frozen: 221316)
Constraints  : 1726002  (Binary:  91.4% Ternary:   6.6% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 16.04s
Memory:		 421MB (+10MB)
UNKNOWN
Iteration Time:	 16.60s

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

Models       : 0+
Calls        : 18
Time         : 184.316s (Solving: 173.79s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 184.300s

Choices      : 2678261  (Domain: 2597082)
Conflicts    : 370580   (Analyzed: 370577)
Restarts     : 1324     (Average: 279.89 Last: 318)
Model-Level  : 220.0   
Problems     : 18       (Average Length: 30.89 Splits: 0)
Lemmas       : 370577   (Deleted: 343567)
  Binary     : 9836     (Ratio:   2.65%)
  Ternary    : 1656     (Ratio:   0.45%)
  Conflict   : 370577   (Average Length:  527.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 370577   (Average:  6.75 Max: 403 Sum: 2502669)
  Executed   : 370508   (Average:  6.75 Max: 403 Sum: 2501424 Ratio:  99.95%)
  Bounded    : 69       (Average: 18.04 Max:  62 Sum:   1245 Ratio:   0.05%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 260416   (Eliminated: 8994 Frozen: 243892)
Constraints  : 1899047  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 12.82s
Memory:		 436MB (+15MB)
UNKNOWN
Iteration Time:	 13.39s

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

Models       : 0+
Calls        : 19
Time         : 198.148s (Solving: 186.71s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 198.136s

Choices      : 2895644  (Domain: 2814029)
Conflicts    : 398735   (Analyzed: 398732)
Restarts     : 1424     (Average: 280.01 Last: 318)
Model-Level  : 220.0   
Problems     : 19       (Average Length: 32.79 Splits: 0)
Lemmas       : 398732   (Deleted: 371032)
  Binary     : 10140    (Ratio:   2.54%)
  Ternary    : 1701     (Ratio:   0.43%)
  Conflict   : 398732   (Average Length:  528.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 398732   (Average:  6.77 Max: 403 Sum: 2700695)
  Executed   : 398663   (Average:  6.77 Max: 403 Sum: 2699450 Ratio:  99.95%)
  Bounded    : 69       (Average: 18.04 Max:  62 Sum:   1245 Ratio:   0.05%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 282992   (Eliminated: 8994 Frozen: 266468)
Constraints  : 2072065  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 13.30s
Memory:		 454MB (+18MB)
UNKNOWN
Iteration Time:	 13.85s

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

Models       : 0+
Calls        : 20
Time         : 217.181s (Solving: 204.79s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 217.180s

Choices      : 3411208  (Domain: 3317373)
Conflicts    : 426887   (Analyzed: 426884)
Restarts     : 1524     (Average: 280.11 Last: 318)
Model-Level  : 220.0   
Problems     : 20       (Average Length: 34.75 Splits: 0)
Lemmas       : 426884   (Deleted: 397344)
  Binary     : 11129    (Ratio:   2.61%)
  Ternary    : 1838     (Ratio:   0.43%)
  Conflict   : 426884   (Average Length:  541.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 426884   (Average:  7.45 Max: 417 Sum: 3182197)
  Executed   : 426815   (Average:  7.45 Max: 417 Sum: 3180952 Ratio:  99.96%)
  Bounded    : 69       (Average: 18.04 Max:  62 Sum:   1245 Ratio:   0.04%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 305568   (Eliminated: 8994 Frozen: 289044)
Constraints  : 2245110  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.46s
Memory:		 488MB (+34MB)
UNKNOWN
Iteration Time:	 19.05s

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

Models       : 0+
Calls        : 21
Time         : 237.030s (Solving: 223.69s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 237.040s

Choices      : 3721838  (Domain: 3627278)
Conflicts    : 455031   (Analyzed: 455028)
Restarts     : 1624     (Average: 280.19 Last: 318)
Model-Level  : 220.0   
Problems     : 21       (Average Length: 36.76 Splits: 0)
Lemmas       : 455028   (Deleted: 424900)
  Binary     : 11497    (Ratio:   2.53%)
  Ternary    : 1888     (Ratio:   0.41%)
  Conflict   : 455028   (Average Length:  567.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 455028   (Average:  7.62 Max: 492 Sum: 3465257)
  Executed   : 454959   (Average:  7.61 Max: 492 Sum: 3464012 Ratio:  99.96%)
  Bounded    : 69       (Average: 18.04 Max:  62 Sum:   1245 Ratio:   0.04%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 328144   (Eliminated: 8994 Frozen: 311620)
Constraints  : 2418155  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.28s
Memory:		 501MB (+13MB)
UNKNOWN
Iteration Time:	 19.87s

Iteration 21
Queue:		 [(16,80,0,True)]
Grounded Until:	 75
Expected Memory: 586.0MB
Grounding...	 [('step', [76]), ('step', [77]), ('step', [78]), ('step', [79]), ('step', [80]), ('check', [80])]
Grounding Time:	 0.48s
Memory:		 516MB (+15MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 22
Time         : 251.471s (Solving: 237.01s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 251.488s

Choices      : 3976125  (Domain: 3881030)
Conflicts    : 483216   (Analyzed: 483213)
Restarts     : 1724     (Average: 280.29 Last: 318)
Model-Level  : 220.0   
Problems     : 22       (Average Length: 38.82 Splits: 0)
Lemmas       : 483213   (Deleted: 452610)
  Binary     : 11731    (Ratio:   2.43%)
  Ternary    : 1915     (Ratio:   0.40%)
  Conflict   : 483213   (Average Length:  560.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 483213   (Average:  7.65 Max: 492 Sum: 3694747)
  Executed   : 483143   (Average:  7.64 Max: 492 Sum: 3693420 Ratio:  99.96%)
  Bounded    : 70       (Average: 18.96 Max:  82 Sum:   1327 Ratio:   0.04%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 334196)
Constraints  : 2591200  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 13.71s
Memory:		 529MB (+13MB)
UNKNOWN
Iteration Time:	 14.46s

Iteration 22
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,1,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 80
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 23
Time         : 263.497s (Solving: 248.95s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 263.520s

Choices      : 4099660  (Domain: 4004565)
Conflicts    : 511395   (Analyzed: 511392)
Restarts     : 1824     (Average: 280.37 Last: 318)
Model-Level  : 220.0   
Problems     : 23       (Average Length: 40.70 Splits: 0)
Lemmas       : 511392   (Deleted: 479908)
  Binary     : 11851    (Ratio:   2.32%)
  Ternary    : 1972     (Ratio:   0.39%)
  Conflict   : 511392   (Average Length:  550.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 511392   (Average:  7.45 Max: 492 Sum: 3812316)
  Executed   : 511320   (Average:  7.45 Max: 492 Sum: 3810912 Ratio:  99.96%)
  Bounded    : 72       (Average: 19.50 Max:  82 Sum:   1404 Ratio:   0.04%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 341726)
Constraints  : 2591183  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 12.00s
Memory:		 529MB (+0MB)
UNKNOWN
Iteration Time:	 12.03s

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

Models       : 0+
Calls        : 24
Time         : 282.141s (Solving: 267.51s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 282.172s

Choices      : 4211650  (Domain: 4116555)
Conflicts    : 539553   (Analyzed: 539550)
Restarts     : 1924     (Average: 280.43 Last: 318)
Model-Level  : 220.0   
Problems     : 24       (Average Length: 42.42 Splits: 0)
Lemmas       : 539550   (Deleted: 507286)
  Binary     : 11953    (Ratio:   2.22%)
  Ternary    : 2017     (Ratio:   0.37%)
  Conflict   : 539550   (Average Length:  557.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 539550   (Average:  7.26 Max: 492 Sum: 3915983)
  Executed   : 539476   (Average:  7.25 Max: 492 Sum: 3914421 Ratio:  99.96%)
  Bounded    : 74       (Average: 21.11 Max:  82 Sum:   1562 Ratio:   0.04%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 341726)
Constraints  : 2591183  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.62s
Memory:		 529MB (+0MB)
UNKNOWN
Iteration Time:	 18.65s

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

Models       : 0+
Calls        : 25
Time         : 297.016s (Solving: 282.28s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 297.052s

Choices      : 4383237  (Domain: 4288139)
Conflicts    : 567760   (Analyzed: 567757)
Restarts     : 2024     (Average: 280.51 Last: 318)
Model-Level  : 220.0   
Problems     : 25       (Average Length: 44.00 Splits: 0)
Lemmas       : 567757   (Deleted: 534866)
  Binary     : 12195    (Ratio:   2.15%)
  Ternary    : 2047     (Ratio:   0.36%)
  Conflict   : 567757   (Average Length:  572.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 567757   (Average:  7.17 Max: 492 Sum: 4072371)
  Executed   : 567682   (Average:  7.17 Max: 492 Sum: 4070727 Ratio:  99.96%)
  Bounded    : 75       (Average: 21.92 Max:  82 Sum:   1644 Ratio:   0.04%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 341726)
Constraints  : 2591166  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 14.84s
Memory:		 529MB (+0MB)
UNKNOWN
Iteration Time:	 14.88s

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

Models       : 0+
Calls        : 26
Time         : 313.555s (Solving: 298.74s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 313.596s

Choices      : 4603033  (Domain: 4507188)
Conflicts    : 595948   (Analyzed: 595945)
Restarts     : 2124     (Average: 280.58 Last: 318)
Model-Level  : 220.0   
Problems     : 26       (Average Length: 45.46 Splits: 0)
Lemmas       : 595945   (Deleted: 560999)
  Binary     : 12649    (Ratio:   2.12%)
  Ternary    : 2101     (Ratio:   0.35%)
  Conflict   : 595945   (Average Length:  585.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 595945   (Average:  7.17 Max: 492 Sum: 4272134)
  Executed   : 595870   (Average:  7.17 Max: 492 Sum: 4270490 Ratio:  99.96%)
  Bounded    : 75       (Average: 21.92 Max:  82 Sum:   1644 Ratio:   0.04%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 341726)
Constraints  : 2591152  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 16.51s
Memory:		 529MB (+0MB)
UNKNOWN
Iteration Time:	 16.55s

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

Models       : 0+
Calls        : 27
Time         : 328.143s (Solving: 313.25s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 328.192s

Choices      : 4819248  (Domain: 4720572)
Conflicts    : 624123   (Analyzed: 624120)
Restarts     : 2224     (Average: 280.63 Last: 318)
Model-Level  : 220.0   
Problems     : 27       (Average Length: 46.81 Splits: 0)
Lemmas       : 624120   (Deleted: 589374)
  Binary     : 13001    (Ratio:   2.08%)
  Ternary    : 2138     (Ratio:   0.34%)
  Conflict   : 624120   (Average Length:  595.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 624120   (Average:  7.16 Max: 492 Sum: 4467696)
  Executed   : 624045   (Average:  7.16 Max: 492 Sum: 4466052 Ratio:  99.96%)
  Bounded    : 75       (Average: 21.92 Max:  82 Sum:   1644 Ratio:   0.04%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 341726)
Constraints  : 2591152  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 14.56s
Memory:		 529MB (+0MB)
UNKNOWN
Iteration Time:	 14.60s

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

Models       : 0+
Calls        : 28
Time         : 343.998s (Solving: 329.03s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 344.056s

Choices      : 5067922  (Domain: 4968097)
Conflicts    : 652329   (Analyzed: 652326)
Restarts     : 2324     (Average: 280.69 Last: 318)
Model-Level  : 220.0   
Problems     : 28       (Average Length: 48.07 Splits: 0)
Lemmas       : 652326   (Deleted: 616635)
  Binary     : 13452    (Ratio:   2.06%)
  Ternary    : 2207     (Ratio:   0.34%)
  Conflict   : 652326   (Average Length:  600.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 652326   (Average:  7.20 Max: 492 Sum: 4696909)
  Executed   : 652251   (Average:  7.20 Max: 492 Sum: 4695265 Ratio:  99.96%)
  Bounded    : 75       (Average: 21.92 Max:  82 Sum:   1644 Ratio:   0.04%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 341726)
Constraints  : 2591152  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 15.83s
Memory:		 529MB (+0MB)
UNKNOWN
Iteration Time:	 15.86s

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

Models       : 0+
Calls        : 29
Time         : 360.105s (Solving: 345.05s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 360.172s

Choices      : 5281635  (Domain: 5180549)
Conflicts    : 680527   (Analyzed: 680524)
Restarts     : 2424     (Average: 280.74 Last: 318)
Model-Level  : 220.0   
Problems     : 29       (Average Length: 49.24 Splits: 0)
Lemmas       : 680524   (Deleted: 644020)
  Binary     : 13688    (Ratio:   2.01%)
  Ternary    : 2265     (Ratio:   0.33%)
  Conflict   : 680524   (Average Length:  606.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 680524   (Average:  7.19 Max: 492 Sum: 4889921)
  Executed   : 680449   (Average:  7.18 Max: 492 Sum: 4888277 Ratio:  99.97%)
  Bounded    : 75       (Average: 21.92 Max:  82 Sum:   1644 Ratio:   0.03%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 341726)
Constraints  : 2591152  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

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

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

Models       : 0+
Calls        : 30
Time         : 377.110s (Solving: 361.94s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 377.184s

Choices      : 5496700  (Domain: 5395206)
Conflicts    : 708749   (Analyzed: 708746)
Restarts     : 2524     (Average: 280.80 Last: 318)
Model-Level  : 220.0   
Problems     : 30       (Average Length: 50.33 Splits: 0)
Lemmas       : 708746   (Deleted: 671484)
  Binary     : 14024    (Ratio:   1.98%)
  Ternary    : 2310     (Ratio:   0.33%)
  Conflict   : 708746   (Average Length:  617.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 708746   (Average:  7.17 Max: 492 Sum: 5082821)
  Executed   : 708671   (Average:  7.17 Max: 492 Sum: 5081177 Ratio:  99.97%)
  Bounded    : 75       (Average: 21.92 Max:  82 Sum:   1644 Ratio:   0.03%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 341726)
Constraints  : 2591152  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 16.97s
Memory:		 529MB (+0MB)
UNKNOWN
Iteration Time:	 17.01s

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

Models       : 0+
Calls        : 31
Time         : 393.570s (Solving: 378.32s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 393.652s

Choices      : 5754005  (Domain: 5650151)
Conflicts    : 736959   (Analyzed: 736956)
Restarts     : 2624     (Average: 280.85 Last: 318)
Model-Level  : 220.0   
Problems     : 31       (Average Length: 51.35 Splits: 0)
Lemmas       : 736956   (Deleted: 698852)
  Binary     : 14364    (Ratio:   1.95%)
  Ternary    : 2344     (Ratio:   0.32%)
  Conflict   : 736956   (Average Length:  621.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 736956   (Average:  7.22 Max: 492 Sum: 5317385)
  Executed   : 736881   (Average:  7.21 Max: 492 Sum: 5315741 Ratio:  99.97%)
  Bounded    : 75       (Average: 21.92 Max:  82 Sum:   1644 Ratio:   0.03%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 341726)
Constraints  : 2591152  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 16.44s
Memory:		 529MB (+0MB)
UNKNOWN
Iteration Time:	 16.47s

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

Models       : 0+
Calls        : 32
Time         : 409.670s (Solving: 394.33s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 409.760s

Choices      : 6076957  (Domain: 5964869)
Conflicts    : 765137   (Analyzed: 765134)
Restarts     : 2724     (Average: 280.89 Last: 318)
Model-Level  : 220.0   
Problems     : 32       (Average Length: 52.31 Splits: 0)
Lemmas       : 765134   (Deleted: 726334)
  Binary     : 14860    (Ratio:   1.94%)
  Ternary    : 2461     (Ratio:   0.32%)
  Conflict   : 765134   (Average Length:  623.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 765134   (Average:  7.33 Max: 492 Sum: 5609897)
  Executed   : 765059   (Average:  7.33 Max: 492 Sum: 5608253 Ratio:  99.97%)
  Bounded    : 75       (Average: 21.92 Max:  82 Sum:   1644 Ratio:   0.03%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 341726)
Constraints  : 2591152  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 16.07s
Memory:		 529MB (+0MB)
UNKNOWN
Iteration Time:	 16.11s

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

Models       : 0+
Calls        : 33
Time         : 427.877s (Solving: 412.45s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 427.976s

Choices      : 6334870  (Domain: 6221888)
Conflicts    : 793307   (Analyzed: 793304)
Restarts     : 2824     (Average: 280.92 Last: 318)
Model-Level  : 220.0   
Problems     : 33       (Average Length: 53.21 Splits: 0)
Lemmas       : 793304   (Deleted: 753215)
  Binary     : 15152    (Ratio:   1.91%)
  Ternary    : 2499     (Ratio:   0.32%)
  Conflict   : 793304   (Average Length:  635.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 793304   (Average:  7.36 Max: 492 Sum: 5835593)
  Executed   : 793229   (Average:  7.35 Max: 492 Sum: 5833949 Ratio:  99.97%)
  Bounded    : 75       (Average: 21.92 Max:  82 Sum:   1644 Ratio:   0.03%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 341726)
Constraints  : 2591152  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.18s
Memory:		 529MB (+0MB)
UNKNOWN
Iteration Time:	 18.22s

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

Models       : 0+
Calls        : 34
Time         : 444.869s (Solving: 429.34s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 444.976s

Choices      : 6719842  (Domain: 6605324)
Conflicts    : 821488   (Analyzed: 821485)
Restarts     : 2924     (Average: 280.95 Last: 318)
Model-Level  : 220.0   
Problems     : 34       (Average Length: 54.06 Splits: 0)
Lemmas       : 821485   (Deleted: 780690)
  Binary     : 15608    (Ratio:   1.90%)
  Ternary    : 2542     (Ratio:   0.31%)
  Conflict   : 821485   (Average Length:  637.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 821485   (Average:  7.53 Max: 492 Sum: 6187315)
  Executed   : 821410   (Average:  7.53 Max: 492 Sum: 6185671 Ratio:  99.97%)
  Bounded    : 75       (Average: 21.92 Max:  82 Sum:   1644 Ratio:   0.03%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 341726)
Constraints  : 2591152  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 16.96s
Memory:		 529MB (+0MB)
UNKNOWN
Iteration Time:	 17.00s

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

Models       : 0+
Calls        : 35
Time         : 461.674s (Solving: 446.07s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 461.788s

Choices      : 7124518  (Domain: 7004382)
Conflicts    : 849681   (Analyzed: 849678)
Restarts     : 3024     (Average: 280.98 Last: 318)
Model-Level  : 220.0   
Problems     : 35       (Average Length: 54.86 Splits: 0)
Lemmas       : 849678   (Deleted: 807743)
  Binary     : 16200    (Ratio:   1.91%)
  Ternary    : 2621     (Ratio:   0.31%)
  Conflict   : 849678   (Average Length:  639.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 849678   (Average:  7.72 Max: 492 Sum: 6561070)
  Executed   : 849603   (Average:  7.72 Max: 492 Sum: 6559426 Ratio:  99.97%)
  Bounded    : 75       (Average: 21.92 Max:  82 Sum:   1644 Ratio:   0.03%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 350720   (Eliminated: 8994 Frozen: 341726)
Constraints  : 2591152  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 16.78s
Memory:		 529MB (+0MB)
UNKNOWN
Iteration Time:	 16.81s

Iteration 35
Queue:		 [(17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 80
Expected Memory: 614.0MB
Grounding...	 [('step', [81]), ('step', [82]), ('step', [83]), ('step', [84]), ('step', [85]), ('check', [85])]
Grounding Time:	 0.32s
Memory:		 529MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 36
Time         : 476.755s (Solving: 460.18s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 476.876s

Choices      : 7313052  (Domain: 7192633)
Conflicts    : 877873   (Analyzed: 877870)
Restarts     : 3124     (Average: 281.01 Last: 318)
Model-Level  : 220.0   
Problems     : 36       (Average Length: 55.75 Splits: 0)
Lemmas       : 877870   (Deleted: 835304)
  Binary     : 16389    (Ratio:   1.87%)
  Ternary    : 2652     (Ratio:   0.30%)
  Conflict   : 877870   (Average Length:  632.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 877870   (Average:  7.66 Max: 492 Sum: 6726932)
  Executed   : 877794   (Average:  7.66 Max: 492 Sum: 6725201 Ratio:  99.97%)
  Bounded    : 76       (Average: 22.78 Max:  87 Sum:   1731 Ratio:   0.03%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 373296   (Eliminated: 8994 Frozen: 356772)
Constraints  : 2764197  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 14.51s
Memory:		 538MB (+9MB)
UNKNOWN
Iteration Time:	 15.09s

Iteration 36
Queue:		 [(18,90,0,True), (19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 85
Expected Memory: 623.0MB
Grounding...	 [('step', [86]), ('step', [87]), ('step', [88]), ('step', [89]), ('step', [90]), ('check', [90])]
Grounding Time:	 0.32s
Memory:		 538MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 37
Time         : 492.646s (Solving: 475.10s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 492.776s

Choices      : 7543579  (Domain: 7422806)
Conflicts    : 906091   (Analyzed: 906088)
Restarts     : 3224     (Average: 281.04 Last: 318)
Model-Level  : 220.0   
Problems     : 37       (Average Length: 56.73 Splits: 0)
Lemmas       : 906088   (Deleted: 861856)
  Binary     : 16627    (Ratio:   1.84%)
  Ternary    : 2674     (Ratio:   0.30%)
  Conflict   : 906088   (Average Length:  627.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 906088   (Average:  7.65 Max: 492 Sum: 6930488)
  Executed   : 906012   (Average:  7.65 Max: 492 Sum: 6928757 Ratio:  99.98%)
  Bounded    : 76       (Average: 22.78 Max:  87 Sum:   1731 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 395872   (Eliminated: 8994 Frozen: 379348)
Constraints  : 2937225  (Binary:  91.4% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 15.31s
Memory:		 553MB (+15MB)
UNKNOWN
Iteration Time:	 15.91s

Iteration 37
Queue:		 [(19,95,0,True), (20,100,0,True), (21,105,0,True)]
Grounded Until:	 90
Expected Memory: 638.0MB
Grounding...	 [('step', [91]), ('step', [92]), ('step', [93]), ('step', [94]), ('step', [95]), ('check', [95])]
Grounding Time:	 0.35s
Memory:		 553MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 38
Time         : 515.207s (Solving: 496.63s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 515.344s

Choices      : 7864028  (Domain: 7742499)
Conflicts    : 934328   (Analyzed: 934325)
Restarts     : 3324     (Average: 281.08 Last: 318)
Model-Level  : 220.0   
Problems     : 38       (Average Length: 57.79 Splits: 0)
Lemmas       : 934325   (Deleted: 890431)
  Binary     : 16898    (Ratio:   1.81%)
  Ternary    : 2707     (Ratio:   0.29%)
  Conflict   : 934325   (Average Length:  641.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 934325   (Average:  7.72 Max: 502 Sum: 7217485)
  Executed   : 934249   (Average:  7.72 Max: 502 Sum: 7215754 Ratio:  99.98%)
  Bounded    : 76       (Average: 22.78 Max:  87 Sum:   1731 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 418448   (Eliminated: 8994 Frozen: 401924)
Constraints  : 3110270  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 610MB
Max. Length  : 90 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 21.93s
Memory:		 575MB (+22MB)
UNKNOWN
Iteration Time:	 22.58s

Iteration 38
Queue:		 [(20,100,0,True), (21,105,0,True)]
Grounded Until:	 95
Expected Memory: 660.0MB
Grounding...	 [('step', [96]), ('step', [97]), ('step', [98]), ('step', [99]), ('step', [100]), ('check', [100])]
Grounding Time:	 0.32s
Memory:		 575MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 39
Time         : 530.822s (Solving: 511.23s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 530.968s

Choices      : 8025904  (Domain: 7904375)
Conflicts    : 962510   (Analyzed: 962507)
Restarts     : 3424     (Average: 281.11 Last: 318)
Model-Level  : 220.0   
Problems     : 39       (Average Length: 58.92 Splits: 0)
Lemmas       : 962507   (Deleted: 914503)
  Binary     : 16996    (Ratio:   1.77%)
  Ternary    : 2731     (Ratio:   0.28%)
  Conflict   : 962507   (Average Length:  635.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 962507   (Average:  7.64 Max: 502 Sum: 7351600)
  Executed   : 962431   (Average:  7.64 Max: 502 Sum: 7349869 Ratio:  99.98%)
  Bounded    : 76       (Average: 22.78 Max:  87 Sum:   1731 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 441024   (Eliminated: 8994 Frozen: 424500)
Constraints  : 3283315  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 629MB
Max. Length  : 95 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 15.00s
Memory:		 628MB (+53MB)
UNKNOWN
Iteration Time:	 15.63s

Iteration 39
Queue:		 [(21,105,0,True)]
Grounded Until:	 100
Expected Memory: 713.0MB
Grounding...	 [('step', [101]), ('step', [102]), ('step', [103]), ('step', [104]), ('step', [105]), ('check', [105])]
Grounding Time:	 0.32s
Memory:		 628MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 40
Time         : 547.953s (Solving: 527.34s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 548.104s

Choices      : 8252168  (Domain: 8130468)
Conflicts    : 990726   (Analyzed: 990723)
Restarts     : 3524     (Average: 281.14 Last: 318)
Model-Level  : 220.0   
Problems     : 40       (Average Length: 60.12 Splits: 0)
Lemmas       : 990723   (Deleted: 946110)
  Binary     : 17130    (Ratio:   1.73%)
  Ternary    : 2755     (Ratio:   0.28%)
  Conflict   : 990723   (Average Length:  634.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 990723   (Average:  7.62 Max: 502 Sum: 7547906)
  Executed   : 990647   (Average:  7.62 Max: 502 Sum: 7546175 Ratio:  99.98%)
  Bounded    : 76       (Average: 22.78 Max:  87 Sum:   1731 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 447076)
Constraints  : 3456360  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 684MB
Max. Length  : 100 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 16.52s
Memory:		 630MB (+2MB)
UNKNOWN
Iteration Time:	 17.15s

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

Models       : 0+
Calls        : 41
Time         : 559.828s (Solving: 539.10s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 559.984s

Choices      : 8403336  (Domain: 8281636)
Conflicts    : 1018944  (Analyzed: 1018941)
Restarts     : 3624     (Average: 281.16 Last: 318)
Model-Level  : 220.0   
Problems     : 41       (Average Length: 61.27 Splits: 0)
Lemmas       : 1018941  (Deleted: 969622)
  Binary     : 17434    (Ratio:   1.71%)
  Ternary    : 2817     (Ratio:   0.28%)
  Conflict   : 1018941  (Average Length:  629.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1018941  (Average:  7.55 Max: 502 Sum: 7692892)
  Executed   : 1018864  (Average:  7.55 Max: 502 Sum: 7691060 Ratio:  99.98%)
  Bounded    : 77       (Average: 23.79 Max: 101 Sum:   1832 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456360  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 684MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 11.84s
Memory:		 630MB (+0MB)
UNKNOWN
Iteration Time:	 11.88s

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

Models       : 0+
Calls        : 42
Time         : 577.415s (Solving: 556.59s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 577.580s

Choices      : 8511308  (Domain: 8389608)
Conflicts    : 1047146  (Analyzed: 1047143)
Restarts     : 3724     (Average: 281.19 Last: 318)
Model-Level  : 220.0   
Problems     : 42       (Average Length: 62.36 Splits: 0)
Lemmas       : 1047143  (Deleted: 1000852)
  Binary     : 17564    (Ratio:   1.68%)
  Ternary    : 2863     (Ratio:   0.27%)
  Conflict   : 1047143  (Average Length:  631.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1047143  (Average:  7.44 Max: 502 Sum: 7793023)
  Executed   : 1047065  (Average:  7.44 Max: 502 Sum: 7791084 Ratio:  99.98%)
  Bounded    : 78       (Average: 24.86 Max: 107 Sum:   1939 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456360  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 684MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 17.56s
Memory:		 630MB (+0MB)
UNKNOWN
Iteration Time:	 17.60s

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

Models       : 0+
Calls        : 43
Time         : 595.129s (Solving: 574.19s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 595.304s

Choices      : 8676769  (Domain: 8555069)
Conflicts    : 1075312  (Analyzed: 1075309)
Restarts     : 3824     (Average: 281.20 Last: 318)
Model-Level  : 220.0   
Problems     : 43       (Average Length: 63.40 Splits: 0)
Lemmas       : 1075309  (Deleted: 1028491)
  Binary     : 17673    (Ratio:   1.64%)
  Ternary    : 2877     (Ratio:   0.27%)
  Conflict   : 1075309  (Average Length:  641.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1075309  (Average:  7.39 Max: 502 Sum: 7941267)
  Executed   : 1075231  (Average:  7.38 Max: 502 Sum: 7939328 Ratio:  99.98%)
  Bounded    : 78       (Average: 24.86 Max: 107 Sum:   1939 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456346  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 684MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 17.68s
Memory:		 630MB (+0MB)
UNKNOWN
Iteration Time:	 17.73s

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

Models       : 0+
Calls        : 44
Time         : 613.616s (Solving: 592.54s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 613.800s

Choices      : 8863894  (Domain: 8741939)
Conflicts    : 1103514  (Analyzed: 1103511)
Restarts     : 3924     (Average: 281.22 Last: 318)
Model-Level  : 220.0   
Problems     : 44       (Average Length: 64.39 Splits: 0)
Lemmas       : 1103511  (Deleted: 1056084)
  Binary     : 17857    (Ratio:   1.62%)
  Ternary    : 2903     (Ratio:   0.26%)
  Conflict   : 1103511  (Average Length:  652.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1103511  (Average:  7.35 Max: 502 Sum: 8107367)
  Executed   : 1103433  (Average:  7.35 Max: 502 Sum: 8105428 Ratio:  99.98%)
  Bounded    : 78       (Average: 24.86 Max: 107 Sum:   1939 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456346  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 684MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 18.44s
Memory:		 630MB (+0MB)
UNKNOWN
Iteration Time:	 18.50s

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

Models       : 0+
Calls        : 45
Time         : 629.636s (Solving: 608.46s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 629.828s

Choices      : 9059000  (Domain: 8936525)
Conflicts    : 1131691  (Analyzed: 1131688)
Restarts     : 4024     (Average: 281.23 Last: 318)
Model-Level  : 220.0   
Problems     : 45       (Average Length: 65.33 Splits: 0)
Lemmas       : 1131688  (Deleted: 1083811)
  Binary     : 18050    (Ratio:   1.59%)
  Ternary    : 2942     (Ratio:   0.26%)
  Conflict   : 1131688  (Average Length:  655.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1131688  (Average:  7.32 Max: 502 Sum: 8280797)
  Executed   : 1131610  (Average:  7.32 Max: 502 Sum: 8278858 Ratio:  99.98%)
  Bounded    : 78       (Average: 24.86 Max: 107 Sum:   1939 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456346  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 684MB
Max. Length  : 105 steps
Models       : 1

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

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

Models       : 0+
Calls        : 46
Time         : 645.773s (Solving: 624.47s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 645.972s

Choices      : 9294008  (Domain: 9170680)
Conflicts    : 1159878  (Analyzed: 1159875)
Restarts     : 4124     (Average: 281.25 Last: 318)
Model-Level  : 220.0   
Problems     : 46       (Average Length: 66.24 Splits: 0)
Lemmas       : 1159875  (Deleted: 1111177)
  Binary     : 18450    (Ratio:   1.59%)
  Ternary    : 2988     (Ratio:   0.26%)
  Conflict   : 1159875  (Average Length:  657.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1159875  (Average:  7.32 Max: 502 Sum: 8489656)
  Executed   : 1159796  (Average:  7.32 Max: 502 Sum: 8487610 Ratio:  99.98%)
  Bounded    : 79       (Average: 25.90 Max: 107 Sum:   2046 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456346  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 684MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 16.10s
Memory:		 630MB (+0MB)
UNKNOWN
Iteration Time:	 16.15s

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

Models       : 0+
Calls        : 47
Time         : 662.085s (Solving: 640.68s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 662.292s

Choices      : 9503624  (Domain: 9380098)
Conflicts    : 1188062  (Analyzed: 1188059)
Restarts     : 4224     (Average: 281.26 Last: 318)
Model-Level  : 220.0   
Problems     : 47       (Average Length: 67.11 Splits: 0)
Lemmas       : 1188059  (Deleted: 1138517)
  Binary     : 18687    (Ratio:   1.57%)
  Ternary    : 3017     (Ratio:   0.25%)
  Conflict   : 1188059  (Average Length:  658.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1188059  (Average:  7.30 Max: 502 Sum: 8670902)
  Executed   : 1187980  (Average:  7.30 Max: 502 Sum: 8668856 Ratio:  99.98%)
  Bounded    : 79       (Average: 25.90 Max: 107 Sum:   2046 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456329  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 684MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 16.28s
Memory:		 630MB (+0MB)
UNKNOWN
Iteration Time:	 16.32s

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

Models       : 0+
Calls        : 48
Time         : 679.679s (Solving: 658.14s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 679.892s

Choices      : 9709789  (Domain: 9586155)
Conflicts    : 1216288  (Analyzed: 1216285)
Restarts     : 4324     (Average: 281.29 Last: 318)
Model-Level  : 220.0   
Problems     : 48       (Average Length: 67.94 Splits: 0)
Lemmas       : 1216285  (Deleted: 1166262)
  Binary     : 18917    (Ratio:   1.56%)
  Ternary    : 3040     (Ratio:   0.25%)
  Conflict   : 1216285  (Average Length:  660.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1216285  (Average:  7.28 Max: 502 Sum: 8854081)
  Executed   : 1216206  (Average:  7.28 Max: 502 Sum: 8852035 Ratio:  99.98%)
  Bounded    : 79       (Average: 25.90 Max: 107 Sum:   2046 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456329  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 684MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 17.55s
Memory:		 630MB (+0MB)
UNKNOWN
Iteration Time:	 17.60s

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

Models       : 0+
Calls        : 49
Time         : 695.991s (Solving: 674.32s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 696.208s

Choices      : 9957356  (Domain: 9833083)
Conflicts    : 1244489  (Analyzed: 1244486)
Restarts     : 4424     (Average: 281.30 Last: 318)
Model-Level  : 220.0   
Problems     : 49       (Average Length: 68.73 Splits: 0)
Lemmas       : 1244486  (Deleted: 1193740)
  Binary     : 19121    (Ratio:   1.54%)
  Ternary    : 3073     (Ratio:   0.25%)
  Conflict   : 1244486  (Average Length:  662.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1244486  (Average:  7.29 Max: 502 Sum: 9074614)
  Executed   : 1244407  (Average:  7.29 Max: 502 Sum: 9072568 Ratio:  99.98%)
  Bounded    : 79       (Average: 25.90 Max: 107 Sum:   2046 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456329  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 684MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 16.27s
Memory:		 630MB (+0MB)
UNKNOWN
Iteration Time:	 16.32s

Iteration 49
Queue:		 [(13,65,2,True), (14,70,2,False), (15,75,2,False), (16,80,2,False), (17,85,1,True), (18,90,1,True), (19,95,1,True), (20,100,1,True), (21,105,1,True), (22,110,0,True), (23,115,0,True)]
Grounded Until:	 105
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 50
Time         : 714.241s (Solving: 692.47s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 714.464s

Choices      : 10273132 (Domain: 10144093)
Conflicts    : 1272680  (Analyzed: 1272677)
Restarts     : 4524     (Average: 281.32 Last: 318)
Model-Level  : 220.0   
Problems     : 50       (Average Length: 69.50 Splits: 0)
Lemmas       : 1272677  (Deleted: 1217406)
  Binary     : 19750    (Ratio:   1.55%)
  Ternary    : 3176     (Ratio:   0.25%)
  Conflict   : 1272677  (Average Length:  670.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1272677  (Average:  7.35 Max: 502 Sum: 9354821)
  Executed   : 1272598  (Average:  7.35 Max: 502 Sum: 9352775 Ratio:  99.98%)
  Bounded    : 79       (Average: 25.90 Max: 107 Sum:   2046 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456329  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 684MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 18.22s
Memory:		 630MB (+0MB)
UNKNOWN
Iteration Time:	 18.26s

Iteration 50
Queue:		 [(17,85,1,True), (18,90,1,True), (19,95,1,True), (20,100,1,True), (21,105,1,True), (22,110,0,True), (23,115,0,True)]
Grounded Until:	 105
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 51
Time         : 731.652s (Solving: 709.76s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 731.884s

Choices      : 10471667 (Domain: 10342473)
Conflicts    : 1300912  (Analyzed: 1300909)
Restarts     : 4624     (Average: 281.34 Last: 318)
Model-Level  : 220.0   
Problems     : 51       (Average Length: 70.24 Splits: 0)
Lemmas       : 1300909  (Deleted: 1248245)
  Binary     : 19875    (Ratio:   1.53%)
  Ternary    : 3192     (Ratio:   0.25%)
  Conflict   : 1300909  (Average Length:  670.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1300909  (Average:  7.32 Max: 502 Sum: 9527266)
  Executed   : 1300830  (Average:  7.32 Max: 502 Sum: 9525220 Ratio:  99.98%)
  Bounded    : 79       (Average: 25.90 Max: 107 Sum:   2046 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456329  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 758MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 17.37s
Memory:		 694MB (+64MB)
UNKNOWN
Iteration Time:	 17.42s

Iteration 51
Queue:		 [(18,90,1,True), (19,95,1,True), (20,100,1,True), (21,105,1,True), (22,110,0,True), (23,115,0,True)]
Grounded Until:	 105
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 52
Time         : 749.546s (Solving: 727.55s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 749.788s

Choices      : 10890689 (Domain: 10758375)
Conflicts    : 1329074  (Analyzed: 1329071)
Restarts     : 4724     (Average: 281.34 Last: 318)
Model-Level  : 220.0   
Problems     : 52       (Average Length: 70.94 Splits: 0)
Lemmas       : 1329071  (Deleted: 1275625)
  Binary     : 20279    (Ratio:   1.53%)
  Ternary    : 3278     (Ratio:   0.25%)
  Conflict   : 1329071  (Average Length:  668.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1329071  (Average:  7.45 Max: 502 Sum: 9906287)
  Executed   : 1328992  (Average:  7.45 Max: 502 Sum: 9904241 Ratio:  99.98%)
  Bounded    : 79       (Average: 25.90 Max: 107 Sum:   2046 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456329  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 758MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 17.87s
Memory:		 694MB (+0MB)
UNKNOWN
Iteration Time:	 17.90s

Iteration 52
Queue:		 [(19,95,1,True), (20,100,1,True), (21,105,1,True), (22,110,0,True), (23,115,0,True)]
Grounded Until:	 105
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 53
Time         : 766.732s (Solving: 744.64s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 766.980s

Choices      : 11140640 (Domain: 11008262)
Conflicts    : 1357279  (Analyzed: 1357276)
Restarts     : 4824     (Average: 281.36 Last: 318)
Model-Level  : 220.0   
Problems     : 53       (Average Length: 71.62 Splits: 0)
Lemmas       : 1357276  (Deleted: 1303269)
  Binary     : 20436    (Ratio:   1.51%)
  Ternary    : 3304     (Ratio:   0.24%)
  Conflict   : 1357276  (Average Length:  665.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1357276  (Average:  7.46 Max: 502 Sum: 10127326)
  Executed   : 1357197  (Average:  7.46 Max: 502 Sum: 10125280 Ratio:  99.98%)
  Bounded    : 79       (Average: 25.90 Max: 107 Sum:   2046 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456329  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 758MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 17.16s
Memory:		 694MB (+0MB)
UNKNOWN
Iteration Time:	 17.20s

Iteration 53
Queue:		 [(20,100,1,True), (21,105,1,True), (22,110,0,True), (23,115,0,True)]
Grounded Until:	 105
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 54
Time         : 785.109s (Solving: 762.90s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 785.364s

Choices      : 11640525 (Domain: 11500900)
Conflicts    : 1385446  (Analyzed: 1385443)
Restarts     : 4924     (Average: 281.37 Last: 318)
Model-Level  : 220.0   
Problems     : 54       (Average Length: 72.28 Splits: 0)
Lemmas       : 1385443  (Deleted: 1330105)
  Binary     : 21149    (Ratio:   1.53%)
  Ternary    : 3425     (Ratio:   0.25%)
  Conflict   : 1385443  (Average Length:  665.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1385443  (Average:  7.64 Max: 550 Sum: 10583232)
  Executed   : 1385364  (Average:  7.64 Max: 550 Sum: 10581186 Ratio:  99.98%)
  Bounded    : 79       (Average: 25.90 Max: 107 Sum:   2046 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456329  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 758MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 18.35s
Memory:		 694MB (+0MB)
UNKNOWN
Iteration Time:	 18.39s

Iteration 54
Queue:		 [(21,105,1,True), (22,110,0,True), (23,115,0,True)]
Grounded Until:	 105
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 55
Time         : 803.721s (Solving: 781.40s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 803.984s

Choices      : 12027312 (Domain: 11887435)
Conflicts    : 1413655  (Analyzed: 1413652)
Restarts     : 5024     (Average: 281.38 Last: 318)
Model-Level  : 220.0   
Problems     : 55       (Average Length: 72.91 Splits: 0)
Lemmas       : 1413652  (Deleted: 1357432)
  Binary     : 21529    (Ratio:   1.52%)
  Ternary    : 3480     (Ratio:   0.25%)
  Conflict   : 1413652  (Average Length:  666.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1413652  (Average:  7.73 Max: 576 Sum: 10930930)
  Executed   : 1413573  (Average:  7.73 Max: 576 Sum: 10928884 Ratio:  99.98%)
  Bounded    : 79       (Average: 25.90 Max: 107 Sum:   2046 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 463600   (Eliminated: 8994 Frozen: 454606)
Constraints  : 3456329  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 758MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 18.58s
Memory:		 694MB (+0MB)
UNKNOWN
Iteration Time:	 18.62s

Iteration 55
Queue:		 [(22,110,0,True), (23,115,0,True)]
Grounded Until:	 105
Expected Memory: 779.0MB
Grounding...	 [('step', [106]), ('step', [107]), ('step', [108]), ('step', [109]), ('step', [110]), ('check', [110])]
Grounding Time:	 0.35s
Memory:		 694MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 56
Time         : 821.591s (Solving: 798.19s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 821.860s

Choices      : 12261310 (Domain: 12121321)
Conflicts    : 1441871  (Analyzed: 1441868)
Restarts     : 5124     (Average: 281.40 Last: 318)
Model-Level  : 220.0   
Problems     : 56       (Average Length: 73.61 Splits: 0)
Lemmas       : 1441868  (Deleted: 1385280)
  Binary     : 21635    (Ratio:   1.50%)
  Ternary    : 3500     (Ratio:   0.24%)
  Conflict   : 1441868  (Average Length:  662.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1441868  (Average:  7.72 Max: 576 Sum: 11136131)
  Executed   : 1441789  (Average:  7.72 Max: 576 Sum: 11134085 Ratio:  99.98%)
  Bounded    : 79       (Average: 25.90 Max: 107 Sum:   2046 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 486176   (Eliminated: 8994 Frozen: 469652)
Constraints  : 3629374  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 758MB
Max. Length  : 105 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 17.21s
Memory:		 712MB (+18MB)
UNKNOWN
Iteration Time:	 17.89s

Iteration 56
Queue:		 [(23,115,0,True)]
Grounded Until:	 110
Expected Memory: 797.0MB
Grounding...	 [('step', [111]), ('step', [112]), ('step', [113]), ('step', [114]), ('step', [115]), ('check', [115])]
Grounding Time:	 0.32s
Memory:		 712MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 57
Time         : 839.163s (Solving: 814.73s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 839.440s

Choices      : 12469376 (Domain: 12329347)
Conflicts    : 1470090  (Analyzed: 1470087)
Restarts     : 5224     (Average: 281.41 Last: 318)
Model-Level  : 220.0   
Problems     : 57       (Average Length: 74.37 Splits: 0)
Lemmas       : 1470087  (Deleted: 1413155)
  Binary     : 21733    (Ratio:   1.48%)
  Ternary    : 3525     (Ratio:   0.24%)
  Conflict   : 1470087  (Average Length:  658.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1470087  (Average:  7.69 Max: 576 Sum: 11311670)
  Executed   : 1470008  (Average:  7.69 Max: 576 Sum: 11309624 Ratio:  99.98%)
  Bounded    : 79       (Average: 25.90 Max: 107 Sum:   2046 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 508752   (Eliminated: 8994 Frozen: 492228)
Constraints  : 3802419  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 774MB
Max. Length  : 110 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 16.95s
Memory:		 715MB (+3MB)
UNKNOWN
Iteration Time:	 17.59s

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

Models       : 0+
Calls        : 58
Time         : 853.544s (Solving: 828.97s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 853.828s

Choices      : 12573478 (Domain: 12433449)
Conflicts    : 1498320  (Analyzed: 1498317)
Restarts     : 5324     (Average: 281.43 Last: 318)
Model-Level  : 220.0   
Problems     : 58       (Average Length: 75.10 Splits: 0)
Lemmas       : 1498317  (Deleted: 1440842)
  Binary     : 21848    (Ratio:   1.46%)
  Ternary    : 3564     (Ratio:   0.24%)
  Conflict   : 1498317  (Average Length:  655.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1498317  (Average:  7.62 Max: 576 Sum: 11409815)
  Executed   : 1498238  (Average:  7.61 Max: 576 Sum: 11407769 Ratio:  99.98%)
  Bounded    : 79       (Average: 25.90 Max: 107 Sum:   2046 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 508752   (Eliminated: 8994 Frozen: 499758)
Constraints  : 3802419  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 774MB
Max. Length  : 115 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 14.34s
Memory:		 721MB (+6MB)
UNKNOWN
Iteration Time:	 14.39s

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

Models       : 0+
Calls        : 59
Time         : 877.503s (Solving: 852.82s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 877.796s

Choices      : 12683528 (Domain: 12543499)
Conflicts    : 1526473  (Analyzed: 1526470)
Restarts     : 5424     (Average: 281.43 Last: 318)
Model-Level  : 220.0   
Problems     : 59       (Average Length: 75.81 Splits: 0)
Lemmas       : 1526470  (Deleted: 1468495)
  Binary     : 21936    (Ratio:   1.44%)
  Ternary    : 3598     (Ratio:   0.24%)
  Conflict   : 1526470  (Average Length:  656.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1526470  (Average:  7.54 Max: 576 Sum: 11511596)
  Executed   : 1526390  (Average:  7.54 Max: 576 Sum: 11509433 Ratio:  99.98%)
  Bounded    : 80       (Average: 27.04 Max: 117 Sum:   2163 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 508752   (Eliminated: 8994 Frozen: 499758)
Constraints  : 3802419  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 774MB
Max. Length  : 115 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 23.93s
Memory:		 721MB (+0MB)
UNKNOWN
Iteration Time:	 23.97s

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

INTERRUPTED  : 1

Models       : 0+
Calls        : 60
Time         : 895.900s (Solving: 871.07s 1st Model: 0.00s Unsat: 1.25s)
CPU Time     : 896.180s

Choices      : 12854211 (Domain: 12714182)
Conflicts    : 1554729  (Analyzed: 1554726)
Restarts     : 5524     (Average: 281.45 Last: 318)
Model-Level  : 220.0   
Problems     : 60       (Average Length: 76.50 Splits: 0)
Lemmas       : 1554726  (Deleted: 1496316)
  Binary     : 22064    (Ratio:   1.42%)
  Ternary    : 3631     (Ratio:   0.23%)
  Conflict   : 1554726  (Average Length:  665.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1554726  (Average:  7.50 Max: 576 Sum: 11664750)
  Executed   : 1554646  (Average:  7.50 Max: 576 Sum: 11662587 Ratio:  99.98%)
  Bounded    : 80       (Average: 27.04 Max: 117 Sum:   2163 Ratio:   0.02%)

Rules        : 94633    (Original: 86538)
Atoms        : 45958   
Bodies       : 40710    (Original: 32614)
  Count      : 627      (Original: 1526)
Equivalences : 10279    (Atom=Atom: 62 Body=Body: 0 Other: 10217)
Tight        : Yes
Variables    : 508752   (Eliminated: 8994 Frozen: 499758)
Constraints  : 3802405  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

Memory Peak  : 774MB
Max. Length  : 115 steps
Models       : 1


