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-11.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-11.pddl
Parsing...
Parsing: [0.050s CPU, 0.127s wall-clock]
Normalizing task... [0.000s CPU, 0.004s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.015s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.060s CPU, 0.067s wall-clock]
Preparing model... [0.040s CPU, 0.035s wall-clock]
Generated 115 rules.
Computing model... [0.460s CPU, 0.463s wall-clock]
2784 relevant atoms
2893 auxiliary atoms
5677 final queue length
9793 total queue pushes
Completing instantiation... [0.870s CPU, 0.862s wall-clock]
Instantiating: [1.450s CPU, 1.449s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.130s CPU, 0.127s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.000s CPU, 0.009s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.001s wall-clock]
Choosing groups...
292 uncovered facts
Choosing groups: [0.000s CPU, 0.002s wall-clock]
Building translation key... [0.010s CPU, 0.011s wall-clock]
Computing fact groups: [0.170s CPU, 0.172s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.002s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.005s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.003s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.050s CPU, 0.046s wall-clock]
Translating task: [0.890s CPU, 0.890s wall-clock]
3276 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
3 propositions removed
Detecting unreachable propositions: [0.440s CPU, 0.434s wall-clock]
Reordering and filtering variables...
295 of 295 variables necessary.
14 of 17 mutex groups necessary.
1958 of 1958 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.300s CPU, 0.305s wall-clock]
Translator variables: 295
Translator derived variables: 0
Translator facts: 617
Translator goal facts: 12
Translator mutex groups: 14
Translator total mutex groups size: 42
Translator operators: 1958
Translator axioms: 0
Translator task size: 18764
Translator peak memory: 47052 KB
Writing output... [0.380s CPU, 0.414s wall-clock]
Done! [3.730s CPU, 3.843s wall-clock]
planner.py version 0.0.1

Time:	 0.77s
Memory: 101MB

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

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

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

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

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

Choices      : 110      (Domain: 102)
Conflicts    : 54       (Analyzed: 53)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 53       (Deleted: 0)
  Binary     : 5        (Ratio:   9.43%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 53       (Average Length:   19.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 53       (Average:  2.09 Max:  10 Sum:    111)
  Executed   : 52       (Average:  2.08 Max:  10 Sum:    110 Ratio:  99.10%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   0.90%)

Rules        : 54149   
Atoms        : 54149   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 14506    (Eliminated:    0 Frozen: 14506)
Constraints  : 48947    (Binary:  95.2% Ternary:   3.3% Other:   1.4%)

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

[endof: stats after solve call]
Solving Time:	 0.18s
Memory:		 176MB (+3MB)
UNSAT
Iteration Time:	 0.53s

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

Models       : 1+
Calls        : 3
Time         : 2.212s (Solving: 0.08s 1st Model: 0.07s Unsat: 0.00s)
CPU Time     : 2.064s

Choices      : 3470     (Domain: 2904)
Conflicts    : 499      (Analyzed: 498)
Restarts     : 3        (Average: 166.00 Last: 53)
Model-Level  : 185.0   
Problems     : 3        (Average Length: 7.00 Splits: 0)
Lemmas       : 498      (Deleted: 0)
  Binary     : 55       (Ratio:  11.04%)
  Ternary    : 12       (Ratio:   2.41%)
  Conflict   : 498      (Average Length:  203.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 498      (Average:  6.41 Max:  75 Sum:   3190)
  Executed   : 497      (Average:  6.40 Max:  75 Sum:   3189 Ratio:  99.97%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   0.03%)

Rules        : 54149   
Atoms        : 54149   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 31792    (Eliminated:    0 Frozen: 31792)
Constraints  : 190267   (Binary:  95.6% Ternary:   3.2% Other:   1.2%)

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

[endof: stats after solve call]
Solving Time:	 0.37s
Memory:		 192MB (+9MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 0.90s
Memory:		 221MB (+29MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 4
Time         : 3.042s (Solving: 0.49s 1st Model: 0.07s Unsat: 0.41s)
CPU Time     : 2.892s

Choices      : 12387    (Domain: 10958)
Conflicts    : 1504     (Analyzed: 1502)
Restarts     : 9        (Average: 166.89 Last: 199)
Model-Level  : 185.0   
Problems     : 4        (Average Length: 8.25 Splits: 0)
Lemmas       : 1502     (Deleted: 0)
  Binary     : 276      (Ratio:  18.38%)
  Ternary    : 144      (Ratio:   9.59%)
  Conflict   : 1502     (Average Length:  158.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1502     (Average:  7.99 Max: 131 Sum:  12008)
  Executed   : 1495     (Average:  7.97 Max: 131 Sum:  11968 Ratio:  99.67%)
  Bounded    : 7        (Average:  5.71 Max:  12 Sum:     40 Ratio:   0.33%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 49760    (Eliminated: 13782 Frozen: 35978)
Constraints  : 273156   (Binary:  88.4% Ternary:   7.7% Other:   3.8%)

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

[endof: stats after solve call]
Solving Time:	 0.62s
Memory:		 217MB (+-4MB)
UNSAT
Iteration Time:	 2.28s

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

Models       : 0+
Calls        : 5
Time         : 16.065s (Solving: 12.28s 1st Model: 0.07s Unsat: 0.41s)
CPU Time     : 15.920s

Choices      : 184138   (Domain: 140285)
Conflicts    : 29682    (Analyzed: 29680)
Restarts     : 109      (Average: 272.29 Last: 200)
Model-Level  : 185.0   
Problems     : 5        (Average Length: 10.00 Splits: 0)
Lemmas       : 29680    (Deleted: 17041)
  Binary     : 1579     (Ratio:   5.32%)
  Ternary    : 427      (Ratio:   1.44%)
  Conflict   : 29680    (Average Length:  584.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 29680    (Average:  6.00 Max: 409 Sum: 178099)
  Executed   : 29661    (Average:  5.99 Max: 409 Sum: 177860 Ratio:  99.87%)
  Bounded    : 19       (Average: 12.58 Max:  17 Sum:    239 Ratio:   0.13%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 82706    (Eliminated: 13782 Frozen: 57194)
Constraints  : 518929   (Binary:  89.9% Ternary:   7.3% Other:   2.9%)

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

[endof: stats after solve call]
Solving Time:	 12.36s
Memory:		 246MB (+22MB)
UNKNOWN
Iteration Time:	 13.03s

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

Models       : 0+
Calls        : 6
Time         : 32.434s (Solving: 27.44s 1st Model: 0.07s Unsat: 0.41s)
CPU Time     : 32.296s

Choices      : 439437   (Domain: 363333)
Conflicts    : 57817    (Analyzed: 57815)
Restarts     : 209      (Average: 276.63 Last: 200)
Model-Level  : 185.0   
Problems     : 6        (Average Length: 12.00 Splits: 0)
Lemmas       : 57815    (Deleted: 42693)
  Binary     : 2770     (Ratio:   4.79%)
  Ternary    : 654      (Ratio:   1.13%)
  Conflict   : 57815    (Average Length:  681.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 57815    (Average:  7.31 Max: 409 Sum: 422457)
  Executed   : 57787    (Average:  7.30 Max: 409 Sum: 422026 Ratio:  99.90%)
  Bounded    : 28       (Average: 15.39 Max:  22 Sum:    431 Ratio:   0.10%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 115652   (Eliminated: 13782 Frozen: 90140)
Constraints  : 762652   (Binary:  90.4% Ternary:   7.1% Other:   2.5%)

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

[endof: stats after solve call]
Solving Time:	 15.75s
Memory:		 335MB (+86MB)
UNKNOWN
Iteration Time:	 16.39s

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

Models       : 0+
Calls        : 7
Time         : 53.129s (Solving: 46.80s 1st Model: 0.07s Unsat: 0.41s)
CPU Time     : 53.000s

Choices      : 772049   (Domain: 674635)
Conflicts    : 86013    (Analyzed: 86011)
Restarts     : 309      (Average: 278.35 Last: 209)
Model-Level  : 185.0   
Problems     : 7        (Average Length: 14.14 Splits: 0)
Lemmas       : 86011    (Deleted: 68639)
  Binary     : 4420     (Ratio:   5.14%)
  Ternary    : 998      (Ratio:   1.16%)
  Conflict   : 86011    (Average Length:  755.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 86011    (Average:  8.66 Max: 409 Sum: 744496)
  Executed   : 85964    (Average:  8.64 Max: 409 Sum: 743558 Ratio:  99.87%)
  Bounded    : 47       (Average: 19.96 Max:  27 Sum:    938 Ratio:   0.13%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 148598   (Eliminated: 13782 Frozen: 123086)
Constraints  : 1004390  (Binary:  90.7% Ternary:   7.0% Other:   2.3%)

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

[endof: stats after solve call]
Solving Time:	 19.95s
Memory:		 361MB (+18MB)
UNKNOWN
Iteration Time:	 20.71s

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

Models       : 0+
Calls        : 8
Time         : 71.603s (Solving: 64.02s 1st Model: 0.07s Unsat: 0.41s)
CPU Time     : 71.484s

Choices      : 1011643  (Domain: 905506)
Conflicts    : 114192   (Analyzed: 114190)
Restarts     : 409      (Average: 279.19 Last: 209)
Model-Level  : 185.0   
Problems     : 8        (Average Length: 16.38 Splits: 0)
Lemmas       : 114190   (Deleted: 94610)
  Binary     : 5207     (Ratio:   4.56%)
  Ternary    : 1089     (Ratio:   0.95%)
  Conflict   : 114190   (Average Length:  754.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 114190   (Average:  8.50 Max: 409 Sum: 970720)
  Executed   : 114142   (Average:  8.49 Max: 409 Sum: 969750 Ratio:  99.90%)
  Bounded    : 48       (Average: 20.21 Max:  32 Sum:    970 Ratio:   0.10%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 181544   (Eliminated: 13782 Frozen: 156032)
Constraints  : 1231707  (Binary:  90.9% Ternary:   6.9% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 17.81s
Memory:		 391MB (+25MB)
UNKNOWN
Iteration Time:	 18.49s

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         : 71.985s (Solving: 64.35s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 71.868s

Choices      : 1014971  (Domain: 908834)
Conflicts    : 114637   (Analyzed: 114634)
Restarts     : 412      (Average: 278.24 Last: 209)
Model-Level  : 185.0   
Problems     : 9        (Average Length: 18.11 Splits: 0)
Lemmas       : 114634   (Deleted: 94610)
  Binary     : 5224     (Ratio:   4.56%)
  Ternary    : 1094     (Ratio:   0.95%)
  Conflict   : 114634   (Average Length:  751.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 114634   (Average:  8.50 Max: 409 Sum: 973972)
  Executed   : 114584   (Average:  8.49 Max: 409 Sum: 972969 Ratio:  99.90%)
  Bounded    : 50       (Average: 20.06 Max:  32 Sum:   1003 Ratio:   0.10%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 181544   (Eliminated: 13782 Frozen: 167762)
Constraints  : 1229914  (Binary:  90.9% Ternary:   6.9% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 0.36s
Memory:		 391MB (+0MB)
UNSAT
Iteration Time:	 0.38s

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         : 94.992s (Solving: 87.31s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 94.884s

Choices      : 1165591  (Domain: 1059454)
Conflicts    : 142856   (Analyzed: 142853)
Restarts     : 512      (Average: 279.01 Last: 209)
Model-Level  : 185.0   
Problems     : 10       (Average Length: 19.50 Splits: 0)
Lemmas       : 142853   (Deleted: 122118)
  Binary     : 5644     (Ratio:   3.95%)
  Ternary    : 1186     (Ratio:   0.83%)
  Conflict   : 142853   (Average Length:  710.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 142853   (Average:  7.84 Max: 409 Sum: 1119891)
  Executed   : 142799   (Average:  7.83 Max: 409 Sum: 1118796 Ratio:  99.90%)
  Bounded    : 54       (Average: 20.28 Max:  32 Sum:   1095 Ratio:   0.10%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 181544   (Eliminated: 13782 Frozen: 167762)
Constraints  : 1228118  (Binary:  90.9% Ternary:   6.9% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 23.00s
Memory:		 391MB (+0MB)
UNKNOWN
Iteration Time:	 23.02s

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         : 114.178s (Solving: 106.43s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 114.080s

Choices      : 1415226  (Domain: 1300245)
Conflicts    : 171042   (Analyzed: 171039)
Restarts     : 612      (Average: 279.48 Last: 209)
Model-Level  : 185.0   
Problems     : 11       (Average Length: 20.64 Splits: 0)
Lemmas       : 171039   (Deleted: 149294)
  Binary     : 6444     (Ratio:   3.77%)
  Ternary    : 1279     (Ratio:   0.75%)
  Conflict   : 171039   (Average Length:  664.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 171039   (Average:  7.94 Max: 409 Sum: 1358688)
  Executed   : 170972   (Average:  7.94 Max: 409 Sum: 1357210 Ratio:  99.89%)
  Bounded    : 67       (Average: 22.06 Max:  32 Sum:   1478 Ratio:   0.11%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 181544   (Eliminated: 13782 Frozen: 167762)
Constraints  : 1226311  (Binary:  90.9% Ternary:   6.9% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 19.16s
Memory:		 391MB (+0MB)
UNKNOWN
Iteration Time:	 19.20s

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         : 129.382s (Solving: 121.57s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 129.292s

Choices      : 1682210  (Domain: 1557565)
Conflicts    : 199241   (Analyzed: 199238)
Restarts     : 712      (Average: 279.83 Last: 209)
Model-Level  : 185.0   
Problems     : 12       (Average Length: 21.58 Splits: 0)
Lemmas       : 199238   (Deleted: 176055)
  Binary     : 7174     (Ratio:   3.60%)
  Ternary    : 1383     (Ratio:   0.69%)
  Conflict   : 199238   (Average Length:  616.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 199238   (Average:  8.11 Max: 419 Sum: 1615533)
  Executed   : 199162   (Average:  8.10 Max: 419 Sum: 1613801 Ratio:  99.89%)
  Bounded    : 76       (Average: 22.79 Max:  32 Sum:   1732 Ratio:   0.11%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 181544   (Eliminated: 13782 Frozen: 167762)
Constraints  : 1226224  (Binary:  90.9% Ternary:   6.9% Other:   2.2%)

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

[endof: stats after solve call]
Solving Time:	 15.18s
Memory:		 391MB (+0MB)
UNKNOWN
Iteration Time:	 15.21s

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

Models       : 0+
Calls        : 13
Time         : 146.656s (Solving: 137.56s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 146.576s

Choices      : 1907858  (Domain: 1777700)
Conflicts    : 227444   (Analyzed: 227441)
Restarts     : 812      (Average: 280.10 Last: 209)
Model-Level  : 185.0   
Problems     : 13       (Average Length: 22.77 Splits: 0)
Lemmas       : 227441   (Deleted: 203391)
  Binary     : 7589     (Ratio:   3.34%)
  Ternary    : 1407     (Ratio:   0.62%)
  Conflict   : 227441   (Average Length:  593.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 227441   (Average:  8.03 Max: 419 Sum: 1827464)
  Executed   : 227364   (Average:  8.03 Max: 419 Sum: 1825700 Ratio:  99.90%)
  Bounded    : 77       (Average: 22.91 Max:  32 Sum:   1764 Ratio:   0.10%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 214490   (Eliminated: 13782 Frozen: 188978)
Constraints  : 1469409  (Binary:  91.0% Ternary:   6.9% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 16.59s
Memory:		 413MB (+20MB)
UNKNOWN
Iteration Time:	 17.29s

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

Models       : 0+
Calls        : 14
Time         : 163.151s (Solving: 152.74s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 163.076s

Choices      : 2204321  (Domain: 2060372)
Conflicts    : 255729   (Analyzed: 255726)
Restarts     : 912      (Average: 280.40 Last: 209)
Model-Level  : 185.0   
Problems     : 14       (Average Length: 24.14 Splits: 0)
Lemmas       : 255726   (Deleted: 230581)
  Binary     : 8042     (Ratio:   3.14%)
  Ternary    : 1512     (Ratio:   0.59%)
  Conflict   : 255726   (Average Length:  570.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 255726   (Average:  8.25 Max: 419 Sum: 2110334)
  Executed   : 255648   (Average:  8.25 Max: 419 Sum: 2108531 Ratio:  99.91%)
  Bounded    : 78       (Average: 23.12 Max:  39 Sum:   1803 Ratio:   0.09%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 247436   (Eliminated: 13782 Frozen: 221924)
Constraints  : 1718994  (Binary:  91.0% Ternary:   6.9% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 15.78s
Memory:		 436MB (+22MB)
UNKNOWN
Iteration Time:	 16.51s

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

Models       : 0+
Calls        : 15
Time         : 180.872s (Solving: 169.13s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 180.804s

Choices      : 2459801  (Domain: 2311549)
Conflicts    : 283923   (Analyzed: 283920)
Restarts     : 1012     (Average: 280.55 Last: 209)
Model-Level  : 185.0   
Problems     : 15       (Average Length: 25.67 Splits: 0)
Lemmas       : 283920   (Deleted: 257905)
  Binary     : 8235     (Ratio:   2.90%)
  Ternary    : 1542     (Ratio:   0.54%)
  Conflict   : 283920   (Average Length:  554.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 283920   (Average:  8.28 Max: 419 Sum: 2349729)
  Executed   : 283841   (Average:  8.27 Max: 419 Sum: 2347879 Ratio:  99.92%)
  Bounded    : 79       (Average: 23.42 Max:  47 Sum:   1850 Ratio:   0.08%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 280382   (Eliminated: 13782 Frozen: 254870)
Constraints  : 1968579  (Binary:  91.1% Ternary:   6.9% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 17.00s
Memory:		 470MB (+34MB)
UNKNOWN
Iteration Time:	 17.74s

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

Models       : 0+
Calls        : 16
Time         : 197.496s (Solving: 184.40s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 197.436s

Choices      : 2668942  (Domain: 2519499)
Conflicts    : 312107   (Analyzed: 312104)
Restarts     : 1112     (Average: 280.67 Last: 209)
Model-Level  : 185.0   
Problems     : 16       (Average Length: 27.31 Splits: 0)
Lemmas       : 312104   (Deleted: 285605)
  Binary     : 8414     (Ratio:   2.70%)
  Ternary    : 1566     (Ratio:   0.50%)
  Conflict   : 312104   (Average Length:  544.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 312104   (Average:  8.15 Max: 419 Sum: 2543743)
  Executed   : 312025   (Average:  8.14 Max: 419 Sum: 2541893 Ratio:  99.93%)
  Bounded    : 79       (Average: 23.42 Max:  47 Sum:   1850 Ratio:   0.07%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 313328   (Eliminated: 13782 Frozen: 287816)
Constraints  : 2218150  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 15.88s
Memory:		 491MB (+21MB)
UNKNOWN
Iteration Time:	 16.64s

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

Models       : 0+
Calls        : 17
Time         : 216.540s (Solving: 201.92s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 216.488s

Choices      : 3050632  (Domain: 2895657)
Conflicts    : 340294   (Analyzed: 340291)
Restarts     : 1212     (Average: 280.77 Last: 209)
Model-Level  : 185.0   
Problems     : 17       (Average Length: 29.06 Splits: 0)
Lemmas       : 340291   (Deleted: 312992)
  Binary     : 8670     (Ratio:   2.55%)
  Ternary    : 1606     (Ratio:   0.47%)
  Conflict   : 340291   (Average Length:  548.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 340291   (Average:  8.54 Max: 419 Sum: 2905646)
  Executed   : 340212   (Average:  8.53 Max: 419 Sum: 2903796 Ratio:  99.94%)
  Bounded    : 79       (Average: 23.42 Max:  47 Sum:   1850 Ratio:   0.06%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 346274   (Eliminated: 13782 Frozen: 320762)
Constraints  : 2467735  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.14s
Memory:		 524MB (+23MB)
UNKNOWN
Iteration Time:	 19.06s

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: 613.0MB
Grounding...	 [('step', [56]), ('step', [57]), ('step', [58]), ('step', [59]), ('step', [60]), ('check', [60])]
Grounding Time:	 0.45s
Memory:		 524MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 18
Time         : 236.006s (Solving: 220.01s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 235.964s

Choices      : 3409024  (Domain: 3250382)
Conflicts    : 368497   (Analyzed: 368494)
Restarts     : 1312     (Average: 280.86 Last: 209)
Model-Level  : 185.0   
Problems     : 18       (Average Length: 30.89 Splits: 0)
Lemmas       : 368494   (Deleted: 340308)
  Binary     : 8933     (Ratio:   2.42%)
  Ternary    : 1641     (Ratio:   0.45%)
  Conflict   : 368494   (Average Length:  542.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 368494   (Average:  8.80 Max: 559 Sum: 3244478)
  Executed   : 368415   (Average:  8.80 Max: 559 Sum: 3242628 Ratio:  99.94%)
  Bounded    : 79       (Average: 23.42 Max:  47 Sum:   1850 Ratio:   0.06%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 379220   (Eliminated: 13782 Frozen: 353708)
Constraints  : 2717320  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.71s
Memory:		 574MB (+50MB)
UNKNOWN
Iteration Time:	 19.48s

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

Models       : 0+
Calls        : 19
Time         : 254.828s (Solving: 237.44s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 254.792s

Choices      : 3811405  (Domain: 3646725)
Conflicts    : 396690   (Analyzed: 396687)
Restarts     : 1412     (Average: 280.94 Last: 209)
Model-Level  : 185.0   
Problems     : 19       (Average Length: 32.79 Splits: 0)
Lemmas       : 396687   (Deleted: 367880)
  Binary     : 9131     (Ratio:   2.30%)
  Ternary    : 1671     (Ratio:   0.42%)
  Conflict   : 396687   (Average Length:  538.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 396687   (Average:  9.14 Max: 646 Sum: 3625016)
  Executed   : 396608   (Average:  9.13 Max: 646 Sum: 3623166 Ratio:  99.95%)
  Bounded    : 79       (Average: 23.42 Max:  47 Sum:   1850 Ratio:   0.05%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 412166   (Eliminated: 13782 Frozen: 386654)
Constraints  : 2966905  (Binary:  91.1% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 18.07s
Memory:		 587MB (+13MB)
UNKNOWN
Iteration Time:	 18.84s

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

Models       : 0+
Calls        : 20
Time         : 272.458s (Solving: 253.65s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 272.428s

Choices      : 4112446  (Domain: 3944749)
Conflicts    : 424862   (Analyzed: 424859)
Restarts     : 1512     (Average: 280.99 Last: 209)
Model-Level  : 185.0   
Problems     : 20       (Average Length: 34.75 Splits: 0)
Lemmas       : 424859   (Deleted: 395544)
  Binary     : 9260     (Ratio:   2.18%)
  Ternary    : 1706     (Ratio:   0.40%)
  Conflict   : 424859   (Average Length:  534.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 424859   (Average:  9.19 Max: 738 Sum: 3904680)
  Executed   : 424779   (Average:  9.19 Max: 738 Sum: 3902762 Ratio:  99.95%)
  Bounded    : 80       (Average: 23.98 Max:  68 Sum:   1918 Ratio:   0.05%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 445112   (Eliminated: 13782 Frozen: 419600)
Constraints  : 3216490  (Binary:  91.2% Ternary:   6.9% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 16.85s
Memory:		 608MB (+21MB)
UNKNOWN
Iteration Time:	 17.65s

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

Models       : 0+
Calls        : 21
Time         : 294.846s (Solving: 274.61s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 294.824s

Choices      : 4724125  (Domain: 4550653)
Conflicts    : 453043   (Analyzed: 453040)
Restarts     : 1612     (Average: 281.04 Last: 209)
Model-Level  : 185.0   
Problems     : 21       (Average Length: 36.76 Splits: 0)
Lemmas       : 453040   (Deleted: 422958)
  Binary     : 9632     (Ratio:   2.13%)
  Ternary    : 1751     (Ratio:   0.39%)
  Conflict   : 453040   (Average Length:  546.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 453040   (Average:  9.91 Max: 738 Sum: 4490639)
  Executed   : 452960   (Average:  9.91 Max: 738 Sum: 4488721 Ratio:  99.96%)
  Bounded    : 80       (Average: 23.98 Max:  68 Sum:   1918 Ratio:   0.04%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 478058   (Eliminated: 13782 Frozen: 452546)
Constraints  : 3466075  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.60s
Memory:		 631MB (+23MB)
UNKNOWN
Iteration Time:	 22.41s

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

Models       : 0+
Calls        : 22
Time         : 316.071s (Solving: 294.34s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 316.060s

Choices      : 5325253  (Domain: 5146326)
Conflicts    : 481245   (Analyzed: 481242)
Restarts     : 1712     (Average: 281.10 Last: 209)
Model-Level  : 185.0   
Problems     : 22       (Average Length: 38.82 Splits: 0)
Lemmas       : 481242   (Deleted: 450317)
  Binary     : 9879     (Ratio:   2.05%)
  Ternary    : 1794     (Ratio:   0.37%)
  Conflict   : 481242   (Average Length:  544.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 481242   (Average: 10.52 Max: 738 Sum: 5063906)
  Executed   : 481161   (Average: 10.52 Max: 738 Sum: 5061906 Ratio:  99.96%)
  Bounded    : 81       (Average: 24.69 Max:  82 Sum:   2000 Ratio:   0.04%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 485492)
Constraints  : 3715660  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.38s
Memory:		 654MB (+23MB)
UNKNOWN
Iteration Time:	 21.25s

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         : 331.514s (Solving: 309.65s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 331.508s

Choices      : 5438762  (Domain: 5259835)
Conflicts    : 509465   (Analyzed: 509462)
Restarts     : 1812     (Average: 281.16 Last: 209)
Model-Level  : 185.0   
Problems     : 23       (Average Length: 40.70 Splits: 0)
Lemmas       : 509462   (Deleted: 477712)
  Binary     : 9984     (Ratio:   1.96%)
  Ternary    : 1825     (Ratio:   0.36%)
  Conflict   : 509462   (Average Length:  529.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 509462   (Average: 10.15 Max: 738 Sum: 5169157)
  Executed   : 509378   (Average: 10.14 Max: 738 Sum: 5166911 Ratio:  99.96%)
  Bounded    : 84       (Average: 26.74 Max:  82 Sum:   2246 Ratio:   0.04%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3715646  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 15.40s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 15.45s

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         : 356.547s (Solving: 334.54s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 356.552s

Choices      : 5583252  (Domain: 5403911)
Conflicts    : 537669   (Analyzed: 537666)
Restarts     : 1912     (Average: 281.21 Last: 209)
Model-Level  : 185.0   
Problems     : 24       (Average Length: 42.42 Splits: 0)
Lemmas       : 537666   (Deleted: 505185)
  Binary     : 10179    (Ratio:   1.89%)
  Ternary    : 1859     (Ratio:   0.35%)
  Conflict   : 537666   (Average Length:  541.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 537666   (Average:  9.86 Max: 738 Sum: 5303122)
  Executed   : 537581   (Average:  9.86 Max: 738 Sum: 5300794 Ratio:  99.96%)
  Bounded    : 85       (Average: 27.39 Max:  82 Sum:   2328 Ratio:   0.04%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3715600  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.99s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 25.05s

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         : 378.204s (Solving: 356.09s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 378.220s

Choices      : 5833720  (Domain: 5642351)
Conflicts    : 565906   (Analyzed: 565903)
Restarts     : 2012     (Average: 281.26 Last: 209)
Model-Level  : 185.0   
Problems     : 25       (Average Length: 44.00 Splits: 0)
Lemmas       : 565903   (Deleted: 532483)
  Binary     : 10614    (Ratio:   1.88%)
  Ternary    : 1914     (Ratio:   0.34%)
  Conflict   : 565903   (Average Length:  574.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 565903   (Average:  9.78 Max: 738 Sum: 5533514)
  Executed   : 565818   (Average:  9.77 Max: 738 Sum: 5531186 Ratio:  99.96%)
  Bounded    : 85       (Average: 27.39 Max:  82 Sum:   2328 Ratio:   0.04%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3715583  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.63s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 21.67s

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         : 397.591s (Solving: 375.36s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 397.612s

Choices      : 6114080  (Domain: 5914935)
Conflicts    : 594168   (Analyzed: 594165)
Restarts     : 2112     (Average: 281.33 Last: 209)
Model-Level  : 185.0   
Problems     : 26       (Average Length: 45.46 Splits: 0)
Lemmas       : 594165   (Deleted: 559802)
  Binary     : 10847    (Ratio:   1.83%)
  Ternary    : 1961     (Ratio:   0.33%)
  Conflict   : 594165   (Average Length:  587.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 594165   (Average:  9.76 Max: 738 Sum: 5799030)
  Executed   : 594078   (Average:  9.76 Max: 738 Sum: 5796543 Ratio:  99.96%)
  Bounded    : 87       (Average: 28.59 Max:  82 Sum:   2487 Ratio:   0.04%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3715583  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 19.35s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 19.40s

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         : 419.308s (Solving: 396.96s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 419.340s

Choices      : 6498791  (Domain: 6290238)
Conflicts    : 622406   (Analyzed: 622403)
Restarts     : 2212     (Average: 281.38 Last: 209)
Model-Level  : 185.0   
Problems     : 27       (Average Length: 46.81 Splits: 0)
Lemmas       : 622403   (Deleted: 587097)
  Binary     : 11172    (Ratio:   1.79%)
  Ternary    : 2007     (Ratio:   0.32%)
  Conflict   : 622403   (Average Length:  612.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 622403   (Average:  9.90 Max: 738 Sum: 6163097)
  Executed   : 622316   (Average:  9.90 Max: 738 Sum: 6160610 Ratio:  99.96%)
  Bounded    : 87       (Average: 28.59 Max:  82 Sum:   2487 Ratio:   0.04%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3715569  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 21.68s
Memory:		 654MB (+0MB)
UNKNOWN
Iteration Time:	 21.73s

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         : 442.345s (Solving: 419.85s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 442.384s

Choices      : 6855502  (Domain: 6631381)
Conflicts    : 650572   (Analyzed: 650569)
Restarts     : 2312     (Average: 281.39 Last: 209)
Model-Level  : 185.0   
Problems     : 28       (Average Length: 48.07 Splits: 0)
Lemmas       : 650569   (Deleted: 612813)
  Binary     : 11961    (Ratio:   1.84%)
  Ternary    : 2151     (Ratio:   0.33%)
  Conflict   : 650569   (Average Length:  650.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 650569   (Average:  9.98 Max: 738 Sum: 6492456)
  Executed   : 650481   (Average:  9.98 Max: 738 Sum: 6489887 Ratio:  99.96%)
  Bounded    : 88       (Average: 29.19 Max:  82 Sum:   2569 Ratio:   0.04%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3715569  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.98s
Memory:		 718MB (+64MB)
UNKNOWN
Iteration Time:	 23.05s

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         : 467.016s (Solving: 444.40s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 467.068s

Choices      : 7402446  (Domain: 7171636)
Conflicts    : 678755   (Analyzed: 678752)
Restarts     : 2412     (Average: 281.41 Last: 209)
Model-Level  : 185.0   
Problems     : 29       (Average Length: 49.24 Splits: 0)
Lemmas       : 678752   (Deleted: 640660)
  Binary     : 12648    (Ratio:   1.86%)
  Ternary    : 2271     (Ratio:   0.33%)
  Conflict   : 678752   (Average Length:  660.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 678752   (Average: 10.34 Max: 738 Sum: 7017482)
  Executed   : 678664   (Average: 10.34 Max: 738 Sum: 7014913 Ratio:  99.96%)
  Bounded    : 88       (Average: 29.19 Max:  82 Sum:   2569 Ratio:   0.04%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3715555  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.64s
Memory:		 718MB (+0MB)
UNKNOWN
Iteration Time:	 24.69s

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         : 492.997s (Solving: 470.26s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 493.056s

Choices      : 7853110  (Domain: 7618382)
Conflicts    : 706929   (Analyzed: 706926)
Restarts     : 2512     (Average: 281.42 Last: 209)
Model-Level  : 185.0   
Problems     : 30       (Average Length: 50.33 Splits: 0)
Lemmas       : 706926   (Deleted: 667701)
  Binary     : 13153    (Ratio:   1.86%)
  Ternary    : 2357     (Ratio:   0.33%)
  Conflict   : 706926   (Average Length:  678.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 706926   (Average: 10.53 Max: 738 Sum: 7441269)
  Executed   : 706838   (Average: 10.52 Max: 738 Sum: 7438700 Ratio:  99.97%)
  Bounded    : 88       (Average: 29.19 Max:  82 Sum:   2569 Ratio:   0.03%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3715555  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 25.94s
Memory:		 718MB (+0MB)
UNKNOWN
Iteration Time:	 25.99s

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         : 515.553s (Solving: 492.71s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 515.620s

Choices      : 8236795  (Domain: 7999843)
Conflicts    : 735154   (Analyzed: 735151)
Restarts     : 2612     (Average: 281.45 Last: 209)
Model-Level  : 185.0   
Problems     : 31       (Average Length: 51.35 Splits: 0)
Lemmas       : 735151   (Deleted: 695068)
  Binary     : 13525    (Ratio:   1.84%)
  Ternary    : 2409     (Ratio:   0.33%)
  Conflict   : 735151   (Average Length:  685.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 735151   (Average: 10.61 Max: 738 Sum: 7803074)
  Executed   : 735061   (Average: 10.61 Max: 738 Sum: 7800341 Ratio:  99.96%)
  Bounded    : 90       (Average: 30.37 Max:  82 Sum:   2733 Ratio:   0.04%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3715555  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.53s
Memory:		 718MB (+0MB)
UNKNOWN
Iteration Time:	 22.57s

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         : 542.531s (Solving: 519.54s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 542.612s

Choices      : 8669158  (Domain: 8431195)
Conflicts    : 763376   (Analyzed: 763373)
Restarts     : 2712     (Average: 281.48 Last: 209)
Model-Level  : 185.0   
Problems     : 32       (Average Length: 52.31 Splits: 0)
Lemmas       : 763373   (Deleted: 722554)
  Binary     : 13871    (Ratio:   1.82%)
  Ternary    : 2454     (Ratio:   0.32%)
  Conflict   : 763373   (Average Length:  705.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 763373   (Average: 10.75 Max: 738 Sum: 8209441)
  Executed   : 763283   (Average: 10.75 Max: 738 Sum: 8206708 Ratio:  99.97%)
  Bounded    : 90       (Average: 30.37 Max:  82 Sum:   2733 Ratio:   0.03%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3715522  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

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

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         : 567.502s (Solving: 544.37s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 567.592s

Choices      : 9196128  (Domain: 8952686)
Conflicts    : 791588   (Analyzed: 791585)
Restarts     : 2812     (Average: 281.50 Last: 209)
Model-Level  : 185.0   
Problems     : 33       (Average Length: 53.21 Splits: 0)
Lemmas       : 791585   (Deleted: 749928)
  Binary     : 14300    (Ratio:   1.81%)
  Ternary    : 2509     (Ratio:   0.32%)
  Conflict   : 791585   (Average Length:  715.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 791585   (Average: 11.00 Max: 738 Sum: 8708545)
  Executed   : 791495   (Average: 11.00 Max: 738 Sum: 8705812 Ratio:  99.97%)
  Bounded    : 90       (Average: 30.37 Max:  82 Sum:   2733 Ratio:   0.03%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3715522  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.92s
Memory:		 718MB (+0MB)
UNKNOWN
Iteration Time:	 24.98s

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         : 595.636s (Solving: 572.38s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 595.736s

Choices      : 10070375 (Domain: 9815353)
Conflicts    : 819803   (Analyzed: 819800)
Restarts     : 2912     (Average: 281.52 Last: 209)
Model-Level  : 185.0   
Problems     : 34       (Average Length: 54.06 Splits: 0)
Lemmas       : 819800   (Deleted: 776032)
  Binary     : 15266    (Ratio:   1.86%)
  Ternary    : 2670     (Ratio:   0.33%)
  Conflict   : 819800   (Average Length:  736.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 819800   (Average: 11.64 Max: 738 Sum: 9540723)
  Executed   : 819710   (Average: 11.63 Max: 738 Sum: 9537990 Ratio:  99.97%)
  Bounded    : 90       (Average: 30.37 Max:  82 Sum:   2733 Ratio:   0.03%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3715522  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 28.10s
Memory:		 718MB (+0MB)
UNKNOWN
Iteration Time:	 28.15s

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         : 625.308s (Solving: 601.92s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 625.420s

Choices      : 10590186 (Domain: 10332292)
Conflicts    : 848029   (Analyzed: 848026)
Restarts     : 3012     (Average: 281.55 Last: 209)
Model-Level  : 185.0   
Problems     : 35       (Average Length: 54.86 Splits: 0)
Lemmas       : 848026   (Deleted: 803362)
  Binary     : 15737    (Ratio:   1.86%)
  Ternary    : 2721     (Ratio:   0.32%)
  Conflict   : 848026   (Average Length:  764.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 848026   (Average: 11.83 Max: 738 Sum: 10029033)
  Executed   : 847936   (Average: 11.82 Max: 738 Sum: 10026300 Ratio:  99.97%)
  Bounded    : 90       (Average: 30.37 Max:  82 Sum:   2733 Ratio:   0.03%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 511004   (Eliminated: 13782 Frozen: 497222)
Constraints  : 3715522  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 29.63s
Memory:		 718MB (+0MB)
UNKNOWN
Iteration Time:	 29.69s

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: 807.0MB
Grounding...	 [('step', [81]), ('step', [82]), ('step', [83]), ('step', [84]), ('step', [85]), ('check', [85])]
Grounding Time:	 0.46s
Memory:		 718MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 36
Time         : 646.388s (Solving: 621.49s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 646.508s

Choices      : 10837621 (Domain: 10579479)
Conflicts    : 876298   (Analyzed: 876295)
Restarts     : 3112     (Average: 281.59 Last: 209)
Model-Level  : 185.0   
Problems     : 36       (Average Length: 55.75 Splits: 0)
Lemmas       : 876295   (Deleted: 831272)
  Binary     : 15894    (Ratio:   1.81%)
  Ternary    : 2750     (Ratio:   0.31%)
  Conflict   : 876295   (Average Length:  765.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 876295   (Average: 11.70 Max: 738 Sum: 10253959)
  Executed   : 876205   (Average: 11.70 Max: 738 Sum: 10251226 Ratio:  99.97%)
  Bounded    : 90       (Average: 30.37 Max:  82 Sum:   2733 Ratio:   0.03%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 543950   (Eliminated: 13782 Frozen: 518438)
Constraints  : 3965107  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.24s
Memory:		 738MB (+20MB)
UNKNOWN
Iteration Time:	 21.10s

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

Models       : 0+
Calls        : 37
Time         : 669.460s (Solving: 643.04s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 669.588s

Choices      : 11103218 (Domain: 10844107)
Conflicts    : 904507   (Analyzed: 904504)
Restarts     : 3212     (Average: 281.60 Last: 209)
Model-Level  : 185.0   
Problems     : 37       (Average Length: 56.73 Splits: 0)
Lemmas       : 904504   (Deleted: 858892)
  Binary     : 16088    (Ratio:   1.78%)
  Ternary    : 2782     (Ratio:   0.31%)
  Conflict   : 904504   (Average Length:  777.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 904504   (Average: 11.60 Max: 824 Sum: 10492055)
  Executed   : 904414   (Average: 11.60 Max: 824 Sum: 10489322 Ratio:  99.97%)
  Bounded    : 90       (Average: 30.37 Max:  82 Sum:   2733 Ratio:   0.03%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 576896   (Eliminated: 13782 Frozen: 551384)
Constraints  : 4214692  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.21s
Memory:		 808MB (+70MB)
UNKNOWN
Iteration Time:	 23.09s

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

Models       : 0+
Calls        : 38
Time         : 694.437s (Solving: 666.47s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 694.572s

Choices      : 11527322 (Domain: 11267171)
Conflicts    : 932697   (Analyzed: 932694)
Restarts     : 3312     (Average: 281.61 Last: 209)
Model-Level  : 185.0   
Problems     : 38       (Average Length: 57.79 Splits: 0)
Lemmas       : 932694   (Deleted: 886455)
  Binary     : 16389    (Ratio:   1.76%)
  Ternary    : 2829     (Ratio:   0.30%)
  Conflict   : 932694   (Average Length:  777.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 932694   (Average: 11.67 Max: 841 Sum: 10887965)
  Executed   : 932604   (Average: 11.67 Max: 841 Sum: 10885232 Ratio:  99.97%)
  Bounded    : 90       (Average: 30.37 Max:  82 Sum:   2733 Ratio:   0.03%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 609842   (Eliminated: 13782 Frozen: 584330)
Constraints  : 4464277  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.10s
Memory:		 826MB (+18MB)
UNKNOWN
Iteration Time:	 25.00s

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

Models       : 0+
Calls        : 39
Time         : 717.561s (Solving: 688.05s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 717.704s

Choices      : 11878477 (Domain: 11617991)
Conflicts    : 960944   (Analyzed: 960941)
Restarts     : 3412     (Average: 281.64 Last: 209)
Model-Level  : 185.0   
Problems     : 39       (Average Length: 58.92 Splits: 0)
Lemmas       : 960941   (Deleted: 914196)
  Binary     : 16607    (Ratio:   1.73%)
  Ternary    : 2861     (Ratio:   0.30%)
  Conflict   : 960941   (Average Length:  775.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 960941   (Average: 11.67 Max: 841 Sum: 11210372)
  Executed   : 960851   (Average: 11.66 Max: 841 Sum: 11207639 Ratio:  99.98%)
  Bounded    : 90       (Average: 30.37 Max:  82 Sum:   2733 Ratio:   0.02%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 642788   (Eliminated: 13782 Frozen: 617276)
Constraints  : 4713862  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 22.25s
Memory:		 831MB (+5MB)
UNKNOWN
Iteration Time:	 23.14s

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

Models       : 0+
Calls        : 40
Time         : 739.408s (Solving: 708.32s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 739.564s

Choices      : 12122656 (Domain: 11862070)
Conflicts    : 989175   (Analyzed: 989172)
Restarts     : 3512     (Average: 281.65 Last: 209)
Model-Level  : 185.0   
Problems     : 40       (Average Length: 60.12 Splits: 0)
Lemmas       : 989172   (Deleted: 941894)
  Binary     : 16772    (Ratio:   1.70%)
  Ternary    : 2890     (Ratio:   0.29%)
  Conflict   : 989172   (Average Length:  774.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 989172   (Average: 11.55 Max: 957 Sum: 11427175)
  Executed   : 989082   (Average: 11.55 Max: 957 Sum: 11424442 Ratio:  99.98%)
  Bounded    : 90       (Average: 30.37 Max:  82 Sum:   2733 Ratio:   0.02%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 675734   (Eliminated: 13782 Frozen: 650222)
Constraints  : 4963447  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 20.95s
Memory:		 847MB (+16MB)
UNKNOWN
Iteration Time:	 21.87s

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         : 754.843s (Solving: 723.59s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 755.004s

Choices      : 12217935 (Domain: 11957349)
Conflicts    : 1017430  (Analyzed: 1017427)
Restarts     : 3612     (Average: 281.68 Last: 209)
Model-Level  : 185.0   
Problems     : 41       (Average Length: 61.27 Splits: 0)
Lemmas       : 1017427  (Deleted: 969424)
  Binary     : 16826    (Ratio:   1.65%)
  Ternary    : 2944     (Ratio:   0.29%)
  Conflict   : 1017427  (Average Length:  779.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1017427  (Average: 11.32 Max: 957 Sum: 11513671)
  Executed   : 1017337  (Average: 11.31 Max: 957 Sum: 11510938 Ratio:  99.98%)
  Bounded    : 90       (Average: 30.37 Max:  82 Sum:   2733 Ratio:   0.02%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 675734   (Eliminated: 13782 Frozen: 661952)
Constraints  : 4963447  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 15.37s
Memory:		 847MB (+0MB)
UNKNOWN
Iteration Time:	 15.45s

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         : 792.646s (Solving: 761.22s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 792.824s

Choices      : 12340495 (Domain: 12079909)
Conflicts    : 1045569  (Analyzed: 1045566)
Restarts     : 3712     (Average: 281.67 Last: 209)
Model-Level  : 185.0   
Problems     : 42       (Average Length: 62.36 Splits: 0)
Lemmas       : 1045566  (Deleted: 993726)
  Binary     : 16937    (Ratio:   1.62%)
  Ternary    : 2971     (Ratio:   0.28%)
  Conflict   : 1045566  (Average Length:  796.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1045566  (Average: 11.12 Max: 957 Sum: 11622882)
  Executed   : 1045475  (Average: 11.11 Max: 957 Sum: 11620042 Ratio:  99.98%)
  Bounded    : 91       (Average: 31.21 Max: 107 Sum:   2840 Ratio:   0.02%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 675734   (Eliminated: 13782 Frozen: 661952)
Constraints  : 4963447  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 37.75s
Memory:		 847MB (+0MB)
UNKNOWN
Iteration Time:	 37.82s

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         : 819.234s (Solving: 787.65s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 819.424s

Choices      : 12544407 (Domain: 12283821)
Conflicts    : 1073762  (Analyzed: 1073759)
Restarts     : 3812     (Average: 281.68 Last: 209)
Model-Level  : 185.0   
Problems     : 43       (Average Length: 63.40 Splits: 0)
Lemmas       : 1073759  (Deleted: 1024929)
  Binary     : 17143    (Ratio:   1.60%)
  Ternary    : 2998     (Ratio:   0.28%)
  Conflict   : 1073759  (Average Length:  816.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1073759  (Average: 11.00 Max: 957 Sum: 11806990)
  Executed   : 1073668  (Average: 10.99 Max: 957 Sum: 11804150 Ratio:  99.98%)
  Bounded    : 91       (Average: 31.21 Max: 107 Sum:   2840 Ratio:   0.02%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 675734   (Eliminated: 13782 Frozen: 661952)
Constraints  : 4963430  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 26.54s
Memory:		 847MB (+0MB)
UNKNOWN
Iteration Time:	 26.60s

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         : 843.249s (Solving: 811.50s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 843.448s

Choices      : 12767924 (Domain: 12504332)
Conflicts    : 1102000  (Analyzed: 1101997)
Restarts     : 3912     (Average: 281.70 Last: 209)
Model-Level  : 185.0   
Problems     : 44       (Average Length: 64.39 Splits: 0)
Lemmas       : 1101997  (Deleted: 1048588)
  Binary     : 17585    (Ratio:   1.60%)
  Ternary    : 3044     (Ratio:   0.28%)
  Conflict   : 1101997  (Average Length:  835.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1101997  (Average: 10.89 Max: 957 Sum: 12004100)
  Executed   : 1101906  (Average: 10.89 Max: 957 Sum: 12001260 Ratio:  99.98%)
  Bounded    : 91       (Average: 31.21 Max: 107 Sum:   2840 Ratio:   0.02%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 675734   (Eliminated: 13782 Frozen: 661952)
Constraints  : 4963430  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.95s
Memory:		 847MB (+0MB)
UNKNOWN
Iteration Time:	 24.03s

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         : 867.067s (Solving: 835.14s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 867.276s

Choices      : 13009145 (Domain: 12742170)
Conflicts    : 1130215  (Analyzed: 1130212)
Restarts     : 4012     (Average: 281.71 Last: 209)
Model-Level  : 185.0   
Problems     : 45       (Average Length: 65.33 Splits: 0)
Lemmas       : 1130212  (Deleted: 1079374)
  Binary     : 18053    (Ratio:   1.60%)
  Ternary    : 3117     (Ratio:   0.28%)
  Conflict   : 1130212  (Average Length:  847.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1130212  (Average: 10.82 Max: 957 Sum: 12224488)
  Executed   : 1130121  (Average: 10.81 Max: 957 Sum: 12221648 Ratio:  99.98%)
  Bounded    : 91       (Average: 31.21 Max: 107 Sum:   2840 Ratio:   0.02%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 675734   (Eliminated: 13782 Frozen: 661952)
Constraints  : 4963430  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 23.76s
Memory:		 847MB (+0MB)
UNKNOWN
Iteration Time:	 23.83s

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         : 891.715s (Solving: 859.63s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 891.936s

Choices      : 13305142 (Domain: 13036511)
Conflicts    : 1158428  (Analyzed: 1158425)
Restarts     : 4112     (Average: 281.72 Last: 209)
Model-Level  : 185.0   
Problems     : 46       (Average Length: 66.24 Splits: 0)
Lemmas       : 1158425  (Deleted: 1106991)
  Binary     : 18443    (Ratio:   1.59%)
  Ternary    : 3163     (Ratio:   0.27%)
  Conflict   : 1158425  (Average Length:  859.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1158425  (Average: 10.79 Max: 957 Sum: 12495812)
  Executed   : 1158332  (Average: 10.78 Max: 957 Sum: 12492758 Ratio:  99.98%)
  Bounded    : 93       (Average: 32.84 Max: 107 Sum:   3054 Ratio:   0.02%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 675734   (Eliminated: 13782 Frozen: 661952)
Constraints  : 4963430  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 24.59s
Memory:		 847MB (+0MB)
UNKNOWN
Iteration Time:	 24.66s

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

INTERRUPTED  : 1

Models       : 0+
Calls        : 47
Time         : 893.592s (Solving: 861.32s 1st Model: 0.07s Unsat: 0.75s)
CPU Time     : 893.800s

Choices      : 13327097 (Domain: 13058456)
Conflicts    : 1160493  (Analyzed: 1160490)
Restarts     : 4125     (Average: 281.33 Last: 209)
Model-Level  : 185.0   
Problems     : 47       (Average Length: 67.11 Splits: 0)
Lemmas       : 1160490  (Deleted: 1106991)
  Binary     : 18456    (Ratio:   1.59%)
  Ternary    : 3166     (Ratio:   0.27%)
  Conflict   : 1160490  (Average Length:  859.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1160490  (Average: 10.78 Max: 957 Sum: 12515321)
  Executed   : 1160397  (Average: 10.78 Max: 957 Sum: 12512267 Ratio:  99.98%)
  Bounded    : 93       (Average: 32.84 Max: 107 Sum:   3054 Ratio:   0.02%)

Rules        : 133879   (Original: 121419)
Atoms        : 64617   
Bodies       : 58138    (Original: 45677)
  Count      : 786      (Original: 2108)
Equivalences : 14175    (Atom=Atom: 77 Body=Body: 0 Other: 14098)
Tight        : Yes
Variables    : 675734   (Eliminated: 13782 Frozen: 661952)
Constraints  : 4963394  (Binary:  91.2% Ternary:   6.9% Other:   1.9%)

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


