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-8.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-8.pddl
Parsing...
Parsing: [0.040s CPU, 0.058s wall-clock]
Normalizing task... [0.000s CPU, 0.003s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.011s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.050s CPU, 0.054s wall-clock]
Preparing model... [0.030s CPU, 0.027s wall-clock]
Generated 115 rules.
Computing model... [0.370s CPU, 0.377s wall-clock]
2300 relevant atoms
2393 auxiliary atoms
4693 final queue length
8087 total queue pushes
Completing instantiation... [0.690s CPU, 0.681s wall-clock]
Instantiating: [1.160s CPU, 1.156s wall-clock]
Computing fact groups...
Finding invariants...
24 initial candidates
Finding invariants: [0.120s CPU, 0.118s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.000s CPU, 0.007s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.001s wall-clock]
Choosing groups...
238 uncovered facts
Choosing groups: [0.000s CPU, 0.001s wall-clock]
Building translation key... [0.010s CPU, 0.009s wall-clock]
Computing fact groups: [0.150s CPU, 0.154s wall-clock]
Building STRIPS to SAS dictionary... [0.010s 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.000s CPU, 0.003s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.040s CPU, 0.039s wall-clock]
Translating task: [0.720s CPU, 0.725s wall-clock]
2672 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
3 propositions removed
Detecting unreachable propositions: [0.360s CPU, 0.354s wall-clock]
Reordering and filtering variables...
241 of 241 variables necessary.
12 of 15 mutex groups necessary.
1596 of 1596 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.240s CPU, 0.240s wall-clock]
Translator variables: 241
Translator derived variables: 0
Translator facts: 505
Translator goal facts: 10
Translator mutex groups: 12
Translator total mutex groups size: 36
Translator operators: 1596
Translator axioms: 0
Translator task size: 15302
Translator peak memory: 45004 KB
Writing output... [0.250s CPU, 0.276s wall-clock]
Done! [2.960s CPU, 3.003s wall-clock]
planner.py version 0.0.1

Time:	 0.64s
Memory: 91MB

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

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

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

Models       : 1+
Calls        : 2
Time         : 1.135s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 1.044s

Choices      : 177      (Domain: 80)
Conflicts    : 2        (Analyzed: 2)
Restarts     : 0       
Model-Level  : 171.0   
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 2        (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 2        (Average Length:   25.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2        (Average:  6.50 Max:  12 Sum:     13)
  Executed   : 2        (Average:  6.50 Max:  12 Sum:     13 Ratio: 100.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)

Rules        : 44183   
Atoms        : 44183   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 11842    (Eliminated:    0 Frozen: 11842)
Constraints  : 40811    (Binary:  95.1% Ternary:   3.4% Other:   1.4%)

Memory Peak  : 227MB
Max. Length  : 0 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 0.13s
Memory:		 165MB (+2MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 0.62s
Memory:		 188MB (+23MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 3
Time         : 1.249s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 1.160s

Choices      : 186      (Domain: 85)
Conflicts    : 9        (Analyzed: 8)
Restarts     : 0       
Model-Level  : 171.0   
Problems     : 3        (Average Length: 5.33 Splits: 0)
Lemmas       : 8        (Deleted: 0)
  Binary     : 1        (Ratio:  12.50%)
  Ternary    : 2        (Ratio:  25.00%)
  Conflict   : 8        (Average Length:    9.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 8        (Average:  2.88 Max:  12 Sum:     23)
  Executed   : 7        (Average:  2.75 Max:  12 Sum:     22 Ratio:  95.65%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   4.35%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 14564    (Eliminated: 1674 Frozen: 12890)
Constraints  : 56795    (Binary:  90.2% Ternary:   5.9% Other:   3.9%)

Memory Peak  : 227MB
Max. Length  : 0 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 0.03s
Memory:		 188MB (+0MB)
UNSAT
Iteration Time:	 1.06s

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

Models       : 0
Calls        : 4
Time         : 2.523s (Solving: 0.43s 1st Model: 0.00s Unsat: 0.42s)
CPU Time     : 2.436s

Choices      : 13723    (Domain: 10248)
Conflicts    : 1699     (Analyzed: 1697)
Restarts     : 8        (Average: 212.12 Last: 383)
Model-Level  : 171.0   
Problems     : 4        (Average Length: 7.00 Splits: 0)
Lemmas       : 1697     (Deleted: 0)
  Binary     : 187      (Ratio:  11.02%)
  Ternary    : 194      (Ratio:  11.43%)
  Conflict   : 1697     (Average Length:   18.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1697     (Average:  8.07 Max: 151 Sum:  13693)
  Executed   : 1666     (Average:  7.88 Max: 151 Sum:  13365 Ratio:  97.60%)
  Bounded    : 31       (Average: 10.58 Max:  12 Sum:    328 Ratio:   2.40%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 40960    (Eliminated: 1674 Frozen: 30181)
Constraints  : 257865   (Binary:  91.2% Ternary:   6.5% Other:   2.3%)

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

[endof: stats after solve call]
Solving Time:	 0.81s
Memory:		 199MB (+11MB)
UNSAT
Iteration Time:	 1.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: 210.0MB
Grounding...	 [('step', [11]), ('step', [12]), ('step', [13]), ('step', [14]), ('step', [15]), ('check', [15])]
Grounding Time:	 0.39s
Memory:		 205MB (+6MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 5
Time         : 7.959s (Solving: 4.93s 1st Model: 0.00s Unsat: 4.93s)
CPU Time     : 7.876s

Choices      : 86115    (Domain: 57072)
Conflicts    : 11914    (Analyzed: 11911)
Restarts     : 43       (Average: 277.00 Last: 597)
Model-Level  : 171.0   
Problems     : 5        (Average Length: 9.00 Splits: 0)
Lemmas       : 11911    (Deleted: 4762)
  Binary     : 898      (Ratio:   7.54%)
  Ternary    : 549      (Ratio:   4.61%)
  Conflict   : 11911    (Average Length:  123.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 11911    (Average:  7.07 Max: 305 Sum:  84216)
  Executed   : 11862    (Average:  7.02 Max: 305 Sum:  83603 Ratio:  99.27%)
  Bounded    : 49       (Average: 12.51 Max:  17 Sum:    613 Ratio:   0.73%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 67356    (Eliminated: 1674 Frozen: 56577)
Constraints  : 444219   (Binary:  91.4% Ternary:   6.5% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 4.90s
Memory:		 220MB (+15MB)
UNSAT
Iteration Time:	 5.45s

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

Models       : 0+
Calls        : 6
Time         : 27.991s (Solving: 24.01s 1st Model: 0.00s Unsat: 4.93s)
CPU Time     : 27.920s

Choices      : 288800   (Domain: 230462)
Conflicts    : 39127    (Analyzed: 39124)
Restarts     : 143      (Average: 273.59 Last: 597)
Model-Level  : 171.0   
Problems     : 6        (Average Length: 11.17 Splits: 0)
Lemmas       : 39124    (Deleted: 20646)
  Binary     : 2126     (Ratio:   5.43%)
  Ternary    : 984      (Ratio:   2.52%)
  Conflict   : 39124    (Average Length:  355.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 39124    (Average:  7.05 Max: 380 Sum: 275951)
  Executed   : 39062    (Average:  7.03 Max: 380 Sum: 275073 Ratio:  99.68%)
  Bounded    : 62       (Average: 14.16 Max:  22 Sum:    878 Ratio:   0.32%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 93752    (Eliminated: 1674 Frozen: 82973)
Constraints  : 623425   (Binary:  91.5% Ternary:   6.5% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 19.51s
Memory:		 242MB (+19MB)
UNKNOWN
Iteration Time:	 20.05s

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

Models       : 0+
Calls        : 7
Time         : 81.254s (Solving: 76.29s 1st Model: 0.00s Unsat: 4.93s)
CPU Time     : 81.208s

Choices      : 702056   (Domain: 592991)
Conflicts    : 101396   (Analyzed: 101393)
Restarts     : 243      (Average: 417.26 Last: 597)
Model-Level  : 171.0   
Problems     : 7        (Average Length: 13.43 Splits: 0)
Lemmas       : 101393   (Deleted: 70139)
  Binary     : 3852     (Ratio:   3.80%)
  Ternary    : 1340     (Ratio:   1.32%)
  Conflict   : 101393   (Average Length:  769.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 101393   (Average:  6.64 Max: 380 Sum: 673157)
  Executed   : 101322   (Average:  6.63 Max: 380 Sum: 672047 Ratio:  99.84%)
  Bounded    : 71       (Average: 15.63 Max:  27 Sum:   1110 Ratio:   0.16%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 120148   (Eliminated: 1674 Frozen: 109369)
Constraints  : 818019   (Binary:  91.5% Ternary:   6.5% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 52.72s
Memory:		 322MB (+78MB)
UNKNOWN
Iteration Time:	 53.30s

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

Models       : 0+
Calls        : 8
Time         : 144.830s (Solving: 138.73s 1st Model: 0.00s Unsat: 4.93s)
CPU Time     : 144.812s

Choices      : 1228148  (Domain: 1098710)
Conflicts    : 168520   (Analyzed: 168517)
Restarts     : 343      (Average: 491.30 Last: 597)
Model-Level  : 171.0   
Problems     : 8        (Average Length: 15.75 Splits: 0)
Lemmas       : 168517   (Deleted: 128923)
  Binary     : 5704     (Ratio:   3.38%)
  Ternary    : 1857     (Ratio:   1.10%)
  Conflict   : 168517   (Average Length:  954.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 168517   (Average:  7.00 Max: 380 Sum: 1179114)
  Executed   : 168440   (Average:  6.99 Max: 380 Sum: 1177826 Ratio:  99.89%)
  Bounded    : 77       (Average: 16.73 Max:  32 Sum:   1288 Ratio:   0.11%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 146544   (Eliminated: 1674 Frozen: 135765)
Constraints  : 1019020  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 62.91s
Memory:		 418MB (+87MB)
UNKNOWN
Iteration Time:	 63.62s

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

Models       : 0
Calls        : 9
Time         : 174.411s (Solving: 168.22s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 174.404s

Choices      : 1387893  (Domain: 1258455)
Conflicts    : 208230   (Analyzed: 208226)
Restarts     : 428      (Average: 486.51 Last: 6627)
Model-Level  : 171.0   
Problems     : 9        (Average Length: 17.56 Splits: 0)
Lemmas       : 208226   (Deleted: 178729)
  Binary     : 6242     (Ratio:   3.00%)
  Ternary    : 1924     (Ratio:   0.92%)
  Conflict   : 208226   (Average Length:  926.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 208226   (Average:  6.40 Max: 380 Sum: 1331732)
  Executed   : 208145   (Average:  6.39 Max: 380 Sum: 1330347 Ratio:  99.90%)
  Bounded    : 81       (Average: 17.10 Max:  32 Sum:   1385 Ratio:   0.10%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 146544   (Eliminated: 1674 Frozen: 144870)
Constraints  : 1018992  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 29.54s
Memory:		 418MB (+0MB)
UNSAT
Iteration Time:	 29.60s

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

Models       : 0+
Calls        : 10
Time         : 190.595s (Solving: 184.36s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 190.596s

Choices      : 1484911  (Domain: 1355473)
Conflicts    : 230775   (Analyzed: 230771)
Restarts     : 528      (Average: 437.07 Last: 6627)
Model-Level  : 171.0   
Problems     : 10       (Average Length: 19.00 Splits: 0)
Lemmas       : 230771   (Deleted: 205735)
  Binary     : 6413     (Ratio:   2.78%)
  Ternary    : 1959     (Ratio:   0.85%)
  Conflict   : 230771   (Average Length:  897.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 230771   (Average:  6.15 Max: 380 Sum: 1419081)
  Executed   : 230687   (Average:  6.14 Max: 380 Sum: 1417606 Ratio:  99.90%)
  Bounded    : 84       (Average: 17.56 Max:  32 Sum:   1475 Ratio:   0.10%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 146544   (Eliminated: 1674 Frozen: 144870)
Constraints  : 1018951  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 16.17s
Memory:		 418MB (+0MB)
UNKNOWN
Iteration Time:	 16.20s

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

Models       : 0+
Calls        : 11
Time         : 262.550s (Solving: 256.26s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 262.584s

Choices      : 1853074  (Domain: 1722835)
Conflicts    : 290022   (Analyzed: 290018)
Restarts     : 628      (Average: 461.81 Last: 6627)
Model-Level  : 171.0   
Problems     : 11       (Average Length: 20.18 Splits: 0)
Lemmas       : 290018   (Deleted: 256121)
  Binary     : 6932     (Ratio:   2.39%)
  Ternary    : 2083     (Ratio:   0.72%)
  Conflict   : 290018   (Average Length:  980.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 290018   (Average:  6.10 Max: 380 Sum: 1768260)
  Executed   : 289933   (Average:  6.09 Max: 380 Sum: 1766756 Ratio:  99.91%)
  Bounded    : 85       (Average: 17.69 Max:  32 Sum:   1504 Ratio:   0.09%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 146544   (Eliminated: 1674 Frozen: 144870)
Constraints  : 1018937  (Binary:  91.5% Ternary:   6.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 71.96s
Memory:		 418MB (+0MB)
UNKNOWN
Iteration Time:	 71.99s

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

Models       : 0+
Calls        : 12
Time         : 350.000s (Solving: 342.71s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 350.072s

Choices      : 2467886  (Domain: 2313720)
Conflicts    : 396832   (Analyzed: 396828)
Restarts     : 728      (Average: 545.09 Last: 6627)
Model-Level  : 171.0   
Problems     : 12       (Average Length: 21.58 Splits: 0)
Lemmas       : 396828   (Deleted: 346731)
  Binary     : 8962     (Ratio:   2.26%)
  Ternary    : 2393     (Ratio:   0.60%)
  Conflict   : 396828   (Average Length: 1017.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 396828   (Average:  5.95 Max: 380 Sum: 2359408)
  Executed   : 396743   (Average:  5.94 Max: 380 Sum: 2357904 Ratio:  99.94%)
  Bounded    : 85       (Average: 17.69 Max:  32 Sum:   1504 Ratio:   0.06%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 172940   (Eliminated: 1674 Frozen: 162161)
Constraints  : 1220007  (Binary:  91.5% Ternary:   6.6% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 86.92s
Memory:		 432MB (+14MB)
UNKNOWN
Iteration Time:	 87.50s

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

Models       : 0+
Calls        : 13
Time         : 394.944s (Solving: 386.61s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 395.032s

Choices      : 2970779  (Domain: 2808408)
Conflicts    : 461184   (Analyzed: 461180)
Restarts     : 828      (Average: 556.98 Last: 6627)
Model-Level  : 171.0   
Problems     : 13       (Average Length: 23.15 Splits: 0)
Lemmas       : 461180   (Deleted: 415917)
  Binary     : 10261    (Ratio:   2.22%)
  Ternary    : 2563     (Ratio:   0.56%)
  Conflict   : 461180   (Average Length: 1010.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 461180   (Average:  6.15 Max: 380 Sum: 2836160)
  Executed   : 461093   (Average:  6.15 Max: 380 Sum: 2834575 Ratio:  99.94%)
  Bounded    : 87       (Average: 18.22 Max:  42 Sum:   1585 Ratio:   0.06%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 199336   (Eliminated: 1674 Frozen: 188557)
Constraints  : 1421077  (Binary:  91.5% Ternary:   6.6% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 44.37s
Memory:		 452MB (+18MB)
UNKNOWN
Iteration Time:	 44.97s

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

Models       : 0+
Calls        : 14
Time         : 444.022s (Solving: 434.62s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 444.132s

Choices      : 3463313  (Domain: 3293537)
Conflicts    : 530086   (Analyzed: 530082)
Restarts     : 928      (Average: 571.21 Last: 6627)
Model-Level  : 171.0   
Problems     : 14       (Average Length: 24.86 Splits: 0)
Lemmas       : 530082   (Deleted: 478614)
  Binary     : 11752    (Ratio:   2.22%)
  Ternary    : 2766     (Ratio:   0.52%)
  Conflict   : 530082   (Average Length: 1010.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 530082   (Average:  6.23 Max: 380 Sum: 3302615)
  Executed   : 529995   (Average:  6.23 Max: 380 Sum: 3301030 Ratio:  99.95%)
  Bounded    : 87       (Average: 18.22 Max:  42 Sum:   1585 Ratio:   0.05%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 225732   (Eliminated: 1674 Frozen: 214953)
Constraints  : 1622133  (Binary:  91.5% Ternary:   6.6% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 48.48s
Memory:		 480MB (+28MB)
UNKNOWN
Iteration Time:	 49.11s

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

Models       : 0+
Calls        : 15
Time         : 489.805s (Solving: 479.34s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 489.932s

Choices      : 3995393  (Domain: 3810682)
Conflicts    : 596713   (Analyzed: 596709)
Restarts     : 1028     (Average: 580.46 Last: 6627)
Model-Level  : 171.0   
Problems     : 15       (Average Length: 26.67 Splits: 0)
Lemmas       : 596709   (Deleted: 544515)
  Binary     : 13820    (Ratio:   2.32%)
  Ternary    : 3099     (Ratio:   0.52%)
  Conflict   : 596709   (Average Length: 1005.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 596709   (Average:  6.38 Max: 380 Sum: 3804346)
  Executed   : 596622   (Average:  6.37 Max: 380 Sum: 3802761 Ratio:  99.96%)
  Bounded    : 87       (Average: 18.22 Max:  42 Sum:   1585 Ratio:   0.04%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 252128   (Eliminated: 1674 Frozen: 241349)
Constraints  : 1823203  (Binary:  91.4% Ternary:   6.6% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 45.20s
Memory:		 495MB (+15MB)
UNKNOWN
Iteration Time:	 45.82s

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

Models       : 0+
Calls        : 16
Time         : 529.423s (Solving: 517.81s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 529.564s

Choices      : 4462433  (Domain: 4275116)
Conflicts    : 652586   (Analyzed: 652582)
Restarts     : 1128     (Average: 578.53 Last: 6627)
Model-Level  : 171.0   
Problems     : 16       (Average Length: 28.56 Splits: 0)
Lemmas       : 652582   (Deleted: 607539)
  Binary     : 14678    (Ratio:   2.25%)
  Ternary    : 3218     (Ratio:   0.49%)
  Conflict   : 652582   (Average Length:  994.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 652582   (Average:  6.51 Max: 380 Sum: 4246155)
  Executed   : 652494   (Average:  6.50 Max: 380 Sum: 4244513 Ratio:  99.96%)
  Bounded    : 88       (Average: 18.66 Max:  57 Sum:   1642 Ratio:   0.04%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 278524   (Eliminated: 1674 Frozen: 267745)
Constraints  : 2024273  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 38.96s
Memory:		 512MB (+17MB)
UNKNOWN
Iteration Time:	 39.65s

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

Models       : 0+
Calls        : 17
Time         : 568.886s (Solving: 556.13s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 569.044s

Choices      : 4941919  (Domain: 4752816)
Conflicts    : 701408   (Analyzed: 701404)
Restarts     : 1228     (Average: 571.18 Last: 6627)
Model-Level  : 171.0   
Problems     : 17       (Average Length: 30.53 Splits: 0)
Lemmas       : 701404   (Deleted: 645116)
  Binary     : 15641    (Ratio:   2.23%)
  Ternary    : 3319     (Ratio:   0.47%)
  Conflict   : 701404   (Average Length:  989.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 701404   (Average:  6.69 Max: 380 Sum: 4695079)
  Executed   : 701316   (Average:  6.69 Max: 380 Sum: 4693437 Ratio:  99.97%)
  Bounded    : 88       (Average: 18.66 Max:  57 Sum:   1642 Ratio:   0.03%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 304920   (Eliminated: 1674 Frozen: 294141)
Constraints  : 2225329  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 38.79s
Memory:		 529MB (+17MB)
UNKNOWN
Iteration Time:	 39.49s

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

Models       : 0+
Calls        : 18
Time         : 627.958s (Solving: 614.09s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 628.144s

Choices      : 5700761  (Domain: 5502984)
Conflicts    : 782184   (Analyzed: 782180)
Restarts     : 1328     (Average: 588.99 Last: 6627)
Model-Level  : 171.0   
Problems     : 18       (Average Length: 32.56 Splits: 0)
Lemmas       : 782180   (Deleted: 723392)
  Binary     : 17237    (Ratio:   2.20%)
  Ternary    : 3672     (Ratio:   0.47%)
  Conflict   : 782180   (Average Length:  987.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 782180   (Average:  6.93 Max: 739 Sum: 5420723)
  Executed   : 782090   (Average:  6.93 Max: 739 Sum: 5418947 Ratio:  99.97%)
  Bounded    : 90       (Average: 19.73 Max:  67 Sum:   1776 Ratio:   0.03%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 331316   (Eliminated: 1674 Frozen: 320537)
Constraints  : 2426399  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 58.44s
Memory:		 570MB (+40MB)
UNKNOWN
Iteration Time:	 59.11s

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

Models       : 0+
Calls        : 19
Time         : 673.723s (Solving: 658.57s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 673.928s

Choices      : 6195873  (Domain: 5997999)
Conflicts    : 838323   (Analyzed: 838319)
Restarts     : 1428     (Average: 587.06 Last: 6627)
Model-Level  : 171.0   
Problems     : 19       (Average Length: 34.63 Splits: 0)
Lemmas       : 838319   (Deleted: 783406)
  Binary     : 18072    (Ratio:   2.16%)
  Ternary    : 3775     (Ratio:   0.45%)
  Conflict   : 838319   (Average Length:  992.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 838319   (Average:  7.01 Max: 739 Sum: 5874602)
  Executed   : 838229   (Average:  7.01 Max: 739 Sum: 5872826 Ratio:  99.97%)
  Bounded    : 90       (Average: 19.73 Max:  67 Sum:   1776 Ratio:   0.03%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 357712   (Eliminated: 1674 Frozen: 346933)
Constraints  : 2627448  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 44.97s
Memory:		 597MB (+14MB)
UNKNOWN
Iteration Time:	 45.79s

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

Models       : 0+
Calls        : 20
Time         : 724.584s (Solving: 708.32s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 724.812s

Choices      : 6942584  (Domain: 6735945)
Conflicts    : 908249   (Analyzed: 908245)
Restarts     : 1528     (Average: 594.40 Last: 6627)
Model-Level  : 171.0   
Problems     : 20       (Average Length: 36.75 Splits: 0)
Lemmas       : 908245   (Deleted: 836026)
  Binary     : 19510    (Ratio:   2.15%)
  Ternary    : 4053     (Ratio:   0.45%)
  Conflict   : 908245   (Average Length:  988.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 908245   (Average:  7.25 Max: 739 Sum: 6586190)
  Executed   : 908155   (Average:  7.25 Max: 739 Sum: 6584414 Ratio:  99.97%)
  Bounded    : 90       (Average: 19.73 Max:  67 Sum:   1776 Ratio:   0.03%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 384108   (Eliminated: 1674 Frozen: 373329)
Constraints  : 2828518  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 50.24s
Memory:		 610MB (+13MB)
UNKNOWN
Iteration Time:	 50.89s

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

Models       : 0+
Calls        : 21
Time         : 778.668s (Solving: 761.25s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 778.920s

Choices      : 7640780  (Domain: 7429070)
Conflicts    : 980128   (Analyzed: 980124)
Restarts     : 1628     (Average: 602.04 Last: 6627)
Model-Level  : 171.0   
Problems     : 21       (Average Length: 38.90 Splits: 0)
Lemmas       : 980124   (Deleted: 919311)
  Binary     : 20812    (Ratio:   2.12%)
  Ternary    : 4214     (Ratio:   0.43%)
  Conflict   : 980124   (Average Length:  991.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 980124   (Average:  7.39 Max: 739 Sum: 7247262)
  Executed   : 980034   (Average:  7.39 Max: 739 Sum: 7245486 Ratio:  99.98%)
  Bounded    : 90       (Average: 19.73 Max:  67 Sum:   1776 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 410504   (Eliminated: 1674 Frozen: 399725)
Constraints  : 3029588  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 53.43s
Memory:		 627MB (+17MB)
UNKNOWN
Iteration Time:	 54.12s

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

Models       : 0+
Calls        : 22
Time         : 847.466s (Solving: 828.89s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 847.748s

Choices      : 8487400  (Domain: 8273504)
Conflicts    : 1070490  (Analyzed: 1070486)
Restarts     : 1728     (Average: 619.49 Last: 6627)
Model-Level  : 171.0   
Problems     : 22       (Average Length: 41.09 Splits: 0)
Lemmas       : 1070486  (Deleted: 1006891)
  Binary     : 22210    (Ratio:   2.07%)
  Ternary    : 4398     (Ratio:   0.41%)
  Conflict   : 1070486  (Average Length:  987.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1070486  (Average:  7.52 Max: 739 Sum: 8055249)
  Executed   : 1070394  (Average:  7.52 Max: 739 Sum: 8053299 Ratio:  99.98%)
  Bounded    : 92       (Average: 21.20 Max:  87 Sum:   1950 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 426121)
Constraints  : 3230658  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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

[endof: stats after solve call]
Solving Time:	 68.15s
Memory:		 645MB (+18MB)
UNKNOWN
Iteration Time:	 68.84s

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

INTERRUPTED  : 1

Models       : 0+
Calls        : 23
Time         : 894.630s (Solving: 875.93s 1st Model: 0.00s Unsat: 34.42s)
CPU Time     : 894.920s

Choices      : 8634385  (Domain: 8420489)
Conflicts    : 1107935  (Analyzed: 1107931)
Restarts     : 1817     (Average: 609.76 Last: 6627)
Model-Level  : 171.0   
Problems     : 23       (Average Length: 43.09 Splits: 0)
Lemmas       : 1107931  (Deleted: 1042315)
  Binary     : 22311    (Ratio:   2.01%)
  Ternary    : 4432     (Ratio:   0.40%)
  Conflict   : 1107931  (Average Length:  997.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1107931  (Average:  7.39 Max: 739 Sum: 8192040)
  Executed   : 1107839  (Average:  7.39 Max: 739 Sum: 8190090 Ratio:  99.98%)
  Bounded    : 92       (Average: 21.20 Max:  87 Sum:   1950 Ratio:   0.02%)

Rules        : 62994    (Original: 61599)
Atoms        : 50308   
Bodies       : 11595    (Original: 10199)
  Count      : 252      (Original: 531)
Equivalences : 3261     (Atom=Atom: 62 Body=Body: 0 Other: 3199)
Tight        : Yes
Variables    : 436900   (Eliminated: 1674 Frozen: 435226)
Constraints  : 3230630  (Binary:  91.4% Ternary:   6.7% Other:   1.9%)

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


