INFO     Running translator.
INFO     translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-85.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-2000/domains/blocks-strips-typed/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-85.pddl
Parsing...
Parsing: [0.020s CPU, 0.025s wall-clock]
Normalizing task... [0.000s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.008s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.012s wall-clock]
Preparing model... [0.020s CPU, 0.017s wall-clock]
Generated 21 rules.
Computing model... [0.680s CPU, 0.677s wall-clock]
5630 relevant atoms
3738 auxiliary atoms
9368 final queue length
16514 total queue pushes
Completing instantiation... [1.200s CPU, 1.196s wall-clock]
Instantiating: [1.920s CPU, 1.919s wall-clock]
Computing fact groups...
Finding invariants...
10 initial candidates
Finding invariants: [0.030s CPU, 0.026s wall-clock]
Checking invariant weight... [0.000s CPU, 0.007s wall-clock]
Instantiating groups... [0.070s CPU, 0.070s wall-clock]
Collecting mutex groups... [0.020s CPU, 0.015s wall-clock]
Choosing groups...
43 uncovered facts
Choosing groups: [0.070s CPU, 0.072s wall-clock]
Building translation key... [0.020s CPU, 0.023s wall-clock]
Computing fact groups: [0.390s CPU, 0.393s wall-clock]
Building STRIPS to SAS dictionary... [0.020s CPU, 0.013s wall-clock]
Building dictionary for full mutex groups... [0.020s CPU, 0.024s wall-clock]
Building mutex information...
Building mutex information: [0.050s CPU, 0.043s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.050s CPU, 0.059s wall-clock]
Translating task: [1.440s CPU, 1.450s wall-clock]
5250 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
84 propositions removed
Detecting unreachable propositions: [0.760s CPU, 0.755s wall-clock]
Reordering and filtering variables...
85 of 85 variables necessary.
43 of 85 mutex groups necessary.
3528 of 3528 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.440s CPU, 0.438s wall-clock]
Translator variables: 85
Translator derived variables: 0
Translator facts: 1892
Translator goal facts: 41
Translator mutex groups: 43
Translator total mutex groups size: 1849
Translator operators: 3528
Translator axioms: 0
Translator task size: 30201
Translator peak memory: 54628 KB
Writing output... [0.520s CPU, 0.547s wall-clock]
Done! [5.640s CPU, 5.672s wall-clock]
planner.py version 0.0.1

Time:	 1.03s
Memory: 113MB

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

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

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

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

Choices      : 0       
Conflicts    : 0        (Analyzed: 0)
Restarts     : 0       
Problems     : 2        (Average Length: 4.50 Splits: 0)
Lemmas       : 0        (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 0        (Average:  0.00 Max:   0 Sum:      0)
  Executed   : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio: 100.00%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 24461    (Eliminated:    0 Frozen: 7942)
Constraints  : 23434    (Binary:  94.5% Ternary:   3.7% Other:   1.8%)

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

[endof: stats after solve call]
Solving Time:	 0.04s
Memory:		 202MB (+9MB)
UNSAT
Iteration Time:	 0.67s

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

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

Choices      : 0       
Conflicts    : 0        (Analyzed: 0)
Restarts     : 0       
Problems     : 3        (Average Length: 7.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        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 50263    (Eliminated:    0 Frozen: 16666)
Constraints  : 136047   (Binary:  95.0% Ternary:   4.0% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 0.03s
Memory:		 228MB (+8MB)
UNSAT
Iteration Time:	 0.71s

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

Models       : 0
Calls        : 4
Time         : 3.350s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.240s

Choices      : 0       
Conflicts    : 0        (Analyzed: 0)
Restarts     : 0       
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 0        (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 0        (Average:  0.00 Max:   0 Sum:      0)
  Executed   : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio: 100.00%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 77442    (Eliminated:    0 Frozen: 25737)
Constraints  : 317542   (Binary:  95.1% Ternary:   4.1% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 0.04s
Memory:		 259MB (+10MB)
UNSAT
Iteration Time:	 0.83s

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

Models       : 0
Calls        : 5
Time         : 4.090s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.980s

Choices      : 0       
Conflicts    : 1        (Analyzed: 0)
Restarts     : 0       
Problems     : 5        (Average Length: 12.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        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 105451   (Eliminated:    0 Frozen: 34981)
Constraints  : 536763   (Binary:  95.1% Ternary:   4.2% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 0.04s
Memory:		 294MB (+15MB)
UNSAT
Iteration Time:	 0.75s

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

Models       : 0
Calls        : 6
Time         : 4.875s (Solving: 0.01s 1st Model: 0.00s Unsat: 0.01s)
CPU Time     : 4.768s

Choices      : 0       
Conflicts    : 2        (Analyzed: 0)
Restarts     : 0       
Problems     : 6        (Average Length: 14.50 Splits: 0)
Lemmas       : 0        (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 0        (Average:  0.00 Max:   0 Sum:      0)
  Executed   : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio: 100.00%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 133627   (Eliminated:    0 Frozen: 44226)
Constraints  : 758568   (Binary:  95.1% Ternary:   4.2% Other:   0.7%)

Memory Peak  : 325MB
Max. Length  : 20 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 0.05s
Memory:		 325MB (+19MB)
UNSAT
Iteration Time:	 0.79s

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

Models       : 0
Calls        : 7
Time         : 5.818s (Solving: 0.03s 1st Model: 0.00s Unsat: 0.03s)
CPU Time     : 5.708s

Choices      : 0       
Conflicts    : 3        (Analyzed: 0)
Restarts     : 0       
Problems     : 7        (Average Length: 17.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        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 161803   (Eliminated:    0 Frozen: 53471)
Constraints  : 980373   (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

Memory Peak  : 372MB
Max. Length  : 25 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 0.06s
Memory:		 358MB (+10MB)
UNSAT
Iteration Time:	 0.95s

Iteration 8
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)]
Grounded Until:	 30
Expected Memory: 393.0MB
Grounding...	 [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])]
Grounding Time:	 0.50s
Memory:		 374MB (+16MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 8
Time         : 6.641s (Solving: 0.06s 1st Model: 0.00s Unsat: 0.06s)
CPU Time     : 6.532s

Choices      : 0       
Conflicts    : 4        (Analyzed: 0)
Restarts     : 0       
Problems     : 8        (Average Length: 19.50 Splits: 0)
Lemmas       : 0        (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 0        (Average:  0.00 Max:   0 Sum:      0)
  Executed   : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio: 100.00%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 189979   (Eliminated:    0 Frozen: 62716)
Constraints  : 1202178  (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

Memory Peak  : 400MB
Max. Length  : 30 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 0.08s
Memory:		 399MB (+25MB)
UNSAT
Iteration Time:	 0.83s

Iteration 9
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)]
Grounded Until:	 35
Expected Memory: 440.0MB
Grounding...	 [('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('check', [40])]
Grounding Time:	 0.53s
Memory:		 410MB (+11MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 9
Time         : 7.507s (Solving: 0.08s 1st Model: 0.00s Unsat: 0.08s)
CPU Time     : 7.396s

Choices      : 0       
Conflicts    : 5        (Analyzed: 0)
Restarts     : 0       
Problems     : 9        (Average Length: 22.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        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 218155   (Eliminated:    0 Frozen: 71961)
Constraints  : 1423983  (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

Memory Peak  : 439MB
Max. Length  : 35 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 0.09s
Memory:		 418MB (+8MB)
UNSAT
Iteration Time:	 0.88s

Iteration 10
Queue:		 [(9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True)]
Grounded Until:	 40
Expected Memory: 459.0MB
Grounding...	 [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time:	 0.54s
Memory:		 434MB (+16MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 10
Time         : 8.423s (Solving: 0.12s 1st Model: 0.00s Unsat: 0.12s)
CPU Time     : 8.312s

Choices      : 0       
Conflicts    : 6        (Analyzed: 0)
Restarts     : 0       
Problems     : 10       (Average Length: 24.50 Splits: 0)
Lemmas       : 0        (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 0        (Average:  0.00 Max:   0 Sum:      0)
  Executed   : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio:   0.00%)
  Bounded    : 0        (Average:  0.00 Max:   0 Sum:      0 Ratio: 100.00%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 246331   (Eliminated:    0 Frozen: 81206)
Constraints  : 1645788  (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

Memory Peak  : 472MB
Max. Length  : 40 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 0.11s
Memory:		 451MB (+17MB)
UNSAT
Iteration Time:	 0.93s

Iteration 11
Queue:		 [(10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True)]
Grounded Until:	 45
Expected Memory: 492.0MB
Grounding...	 [('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('check', [50])]
Grounding Time:	 0.54s
Memory:		 461MB (+10MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 11
Time         : 9.354s (Solving: 0.16s 1st Model: 0.00s Unsat: 0.16s)
CPU Time     : 9.244s

Choices      : 0       
Conflicts    : 7        (Analyzed: 0)
Restarts     : 0       
Problems     : 11       (Average Length: 27.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        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 274507   (Eliminated:    0 Frozen: 90451)
Constraints  : 1867593  (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

Memory Peak  : 499MB
Max. Length  : 45 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 0.11s
Memory:		 471MB (+10MB)
UNSAT
Iteration Time:	 0.94s

Iteration 12
Queue:		 [(11,55,0,True), (12,60,0,True), (13,65,0,True)]
Grounded Until:	 50
Expected Memory: 512.0MB
Grounding...	 [('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('check', [55])]
Grounding Time:	 0.55s
Memory:		 483MB (+12MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 12
Time         : 10.327s (Solving: 0.22s 1st Model: 0.00s Unsat: 0.22s)
CPU Time     : 10.220s

Choices      : 42       (Domain: 42)
Conflicts    : 17       (Analyzed: 9)
Restarts     : 0       
Problems     : 12       (Average Length: 29.50 Splits: 0)
Lemmas       : 9        (Deleted: 0)
  Binary     : 3        (Ratio:  33.33%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 9        (Average Length:    1.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 9        (Average: 43.00 Max:  64 Sum:    387)
  Executed   : 0        (Average:  4.67 Max:   7 Sum:     42 Ratio:  10.85%)
  Bounded    : 9        (Average: 38.33 Max:  57 Sum:    345 Ratio:  89.15%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 302683   (Eliminated:    0 Frozen: 99696)
Constraints  : 2089398  (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

Memory Peak  : 525MB
Max. Length  : 50 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 0.13s
Memory:		 519MB (+36MB)
UNSAT
Iteration Time:	 0.98s

Iteration 13
Queue:		 [(12,60,0,True), (13,65,0,True)]
Grounded Until:	 55
Expected Memory: 567.0MB
Grounding...	 [('step', [56]), ('step', [57]), ('step', [58]), ('step', [59]), ('step', [60]), ('check', [60])]
Grounding Time:	 0.87s
Memory:		 544MB (+25MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 13
Time         : 11.682s (Solving: 0.30s 1st Model: 0.00s Unsat: 0.30s)
CPU Time     : 11.576s

Choices      : 156      (Domain: 156)
Conflicts    : 41       (Analyzed: 32)
Restarts     : 0       
Problems     : 13       (Average Length: 32.00 Splits: 0)
Lemmas       : 32       (Deleted: 0)
  Binary     : 6        (Ratio:  18.75%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 32       (Average Length:  206.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 32       (Average: 35.06 Max:  72 Sum:   1122)
  Executed   : 12       (Average:  4.88 Max:  72 Sum:    156 Ratio:  13.90%)
  Bounded    : 20       (Average: 48.30 Max:  62 Sum:    966 Ratio:  86.10%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 330859   (Eliminated:    0 Frozen: 108941)
Constraints  : 2284976  (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

Memory Peak  : 591MB
Max. Length  : 55 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 0.17s
Memory:		 560MB (+16MB)
UNSAT
Iteration Time:	 1.37s

Iteration 14
Queue:		 [(13,65,0,True)]
Grounded Until:	 60
Expected Memory: 608.0MB
Grounding...	 [('step', [61]), ('step', [62]), ('step', [63]), ('step', [64]), ('step', [65]), ('check', [65])]
Grounding Time:	 0.53s
Memory:		 570MB (+10MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 14
Time         : 12.845s (Solving: 0.51s 1st Model: 0.00s Unsat: 0.51s)
CPU Time     : 12.740s

Choices      : 351      (Domain: 351)
Conflicts    : 123      (Analyzed: 113)
Restarts     : 1        (Average: 113.00 Last: 23)
Problems     : 14       (Average Length: 34.50 Splits: 0)
Lemmas       : 113      (Deleted: 0)
  Binary     : 10       (Ratio:   8.85%)
  Ternary    : 2        (Ratio:   1.77%)
  Conflict   : 113      (Average Length:  760.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 113      (Average: 17.59 Max:  80 Sum:   1988)
  Executed   : 82       (Average:  3.11 Max:  80 Sum:    351 Ratio:  17.66%)
  Bounded    : 31       (Average: 52.81 Max:  67 Sum:   1637 Ratio:  82.34%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 359035   (Eliminated:    0 Frozen: 118186)
Constraints  : 2472070  (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

Memory Peak  : 626MB
Max. Length  : 60 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 0.29s
Memory:		 586MB (+16MB)
UNSAT
Iteration Time:	 1.18s

Iteration 15
Queue:		 [(14,70,0,True), (15,75,0,True), (16,80,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 65
Expected Memory: 634.0MB
Grounding...	 [('step', [66]), ('step', [67]), ('step', [68]), ('step', [69]), ('step', [70]), ('check', [70])]
Grounding Time:	 0.52s
Memory:		 598MB (+12MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 15
Time         : 16.373s (Solving: 3.07s 1st Model: 0.00s Unsat: 3.07s)
CPU Time     : 16.268s

Choices      : 6664     (Domain: 6664)
Conflicts    : 1458     (Analyzed: 1447)
Restarts     : 15       (Average: 96.47 Last: 23)
Problems     : 15       (Average Length: 37.00 Splits: 0)
Lemmas       : 1447     (Deleted: 0)
  Binary     : 29       (Ratio:   2.00%)
  Ternary    : 3        (Ratio:   0.21%)
  Conflict   : 1447     (Average Length: 1831.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1447     (Average:  7.20 Max: 159 Sum:  10413)
  Executed   : 1383     (Average:  4.57 Max: 159 Sum:   6614 Ratio:  63.52%)
  Bounded    : 64       (Average: 59.36 Max:  72 Sum:   3799 Ratio:  36.48%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 387211   (Eliminated:    0 Frozen: 127431)
Constraints  : 2607991  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 653MB
Max. Length  : 65 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 2.65s
Memory:		 613MB (+15MB)
UNSAT
Iteration Time:	 3.54s

Iteration 16
Queue:		 [(15,75,0,True), (16,80,0,True), (17,85,0,True), (18,90,0,True), (19,95,0,True), (20,100,0,True)]
Grounded Until:	 70
Expected Memory: 661.0MB
Grounding...	 [('step', [71]), ('step', [72]), ('step', [73]), ('step', [74]), ('step', [75]), ('check', [75])]
Grounding Time:	 0.52s
Memory:		 627MB (+14MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 16
Time         : 31.754s (Solving: 17.48s 1st Model: 0.00s Unsat: 17.48s)
CPU Time     : 31.656s

Choices      : 87162    (Domain: 87162)
Conflicts    : 6762     (Analyzed: 6750)
Restarts     : 78       (Average: 86.54 Last: 43)
Problems     : 16       (Average Length: 39.50 Splits: 0)
Lemmas       : 6750     (Deleted: 3543)
  Binary     : 50       (Ratio:   0.74%)
  Ternary    : 3        (Ratio:   0.04%)
  Conflict   : 6750     (Average Length: 3046.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 6750     (Average: 13.29 Max: 321 Sum:  89727)
  Executed   : 6680     (Average: 12.71 Max: 321 Sum:  85772 Ratio:  95.59%)
  Bounded    : 70       (Average: 56.50 Max:  76 Sum:   3955 Ratio:   4.41%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 415387   (Eliminated:    0 Frozen: 136676)
Constraints  : 2829071  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 685MB
Max. Length  : 70 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 14.52s
Memory:		 641MB (+14MB)
UNSAT
Iteration Time:	 15.40s

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

Models       : 0
Calls        : 17
Time         : 51.336s (Solving: 36.01s 1st Model: 0.00s Unsat: 36.01s)
CPU Time     : 51.244s

Choices      : 128763   (Domain: 128763)
Conflicts    : 12286    (Analyzed: 12273)
Restarts     : 141      (Average: 87.04 Last: 84)
Problems     : 17       (Average Length: 42.00 Splits: 0)
Lemmas       : 12273    (Deleted: 8375)
  Binary     : 105      (Ratio:   0.86%)
  Ternary    : 4        (Ratio:   0.03%)
  Conflict   : 12273    (Average Length: 4337.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 12273    (Average: 10.55 Max: 321 Sum: 129421)
  Executed   : 12193    (Average: 10.22 Max: 321 Sum: 125456 Ratio:  96.94%)
  Bounded    : 80       (Average: 49.56 Max:  76 Sum:   3965 Ratio:   3.06%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 443563   (Eliminated:    0 Frozen: 145921)
Constraints  : 3050876  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 830MB
Max. Length  : 75 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 18.66s
Memory:		 766MB (+116MB)
UNSAT
Iteration Time:	 19.61s

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

Models       : 0+
Calls        : 18
Time         : 83.945s (Solving: 67.54s 1st Model: 0.00s Unsat: 36.01s)
CPU Time     : 83.868s

Choices      : 201284   (Domain: 201284)
Conflicts    : 21381    (Analyzed: 21368)
Restarts     : 241      (Average: 88.66 Last: 84)
Problems     : 18       (Average Length: 44.50 Splits: 0)
Lemmas       : 21368    (Deleted: 18262)
  Binary     : 181      (Ratio:   0.85%)
  Ternary    : 7        (Ratio:   0.03%)
  Conflict   : 21368    (Average Length: 6114.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 21368    (Average:  9.18 Max: 321 Sum: 196212)
  Executed   : 21277    (Average:  9.00 Max: 321 Sum: 192236 Ratio:  97.97%)
  Bounded    : 91       (Average: 43.69 Max:  76 Sum:   3976 Ratio:   2.03%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 471739   (Eliminated:    0 Frozen: 155166)
Constraints  : 3272681  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 965MB
Max. Length  : 80 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 31.67s
Memory:		 901MB (+135MB)
UNKNOWN
Iteration Time:	 32.64s

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

Models       : 0
Calls        : 19
Time         : 107.470s (Solving: 90.01s 1st Model: 0.00s Unsat: 58.48s)
CPU Time     : 107.404s

Choices      : 319032   (Domain: 319032)
Conflicts    : 28802    (Analyzed: 28788)
Restarts     : 326      (Average: 88.31 Last: 84)
Problems     : 19       (Average Length: 47.00 Splits: 0)
Lemmas       : 28788    (Deleted: 25008)
  Binary     : 309      (Ratio:   1.07%)
  Ternary    : 14       (Ratio:   0.05%)
  Conflict   : 28788    (Average Length: 6393.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 28788    (Average:  9.92 Max: 2756 Sum: 285712)
  Executed   : 28680    (Average:  9.79 Max: 2756 Sum: 281719 Ratio:  98.60%)
  Bounded    : 108      (Average: 36.97 Max:  76 Sum:   3993 Ratio:   1.40%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 499915   (Eliminated:    0 Frozen: 164411)
Constraints  : 3494486  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 980MB
Max. Length  : 85 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 22.61s
Memory:		 924MB (+17MB)
UNSAT
Iteration Time:	 23.55s

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

Models       : 0+
Calls        : 20
Time         : 141.700s (Solving: 123.16s 1st Model: 0.00s Unsat: 58.48s)
CPU Time     : 141.648s

Choices      : 467867   (Domain: 467867)
Conflicts    : 38034    (Analyzed: 38020)
Restarts     : 426      (Average: 89.25 Last: 84)
Problems     : 20       (Average Length: 49.50 Splits: 0)
Lemmas       : 38020    (Deleted: 34448)
  Binary     : 387      (Ratio:   1.02%)
  Ternary    : 21       (Ratio:   0.06%)
  Conflict   : 38020    (Average Length: 6325.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 38020    (Average: 11.23 Max: 4491 Sum: 427113)
  Executed   : 37902    (Average: 11.13 Max: 4491 Sum: 423110 Ratio:  99.06%)
  Bounded    : 118      (Average: 33.92 Max:  76 Sum:   4003 Ratio:   0.94%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 528091   (Eliminated:    0 Frozen: 173656)
Constraints  : 3716291  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1009MB
Max. Length  : 90 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 33.30s
Memory:		 954MB (+23MB)
UNKNOWN
Iteration Time:	 34.26s

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

Models       : 0+
Calls        : 21
Time         : 180.547s (Solving: 160.90s 1st Model: 0.00s Unsat: 58.48s)
CPU Time     : 180.512s

Choices      : 784750   (Domain: 784750)
Conflicts    : 47373    (Analyzed: 47359)
Restarts     : 526      (Average: 90.04 Last: 121)
Problems     : 21       (Average Length: 52.00 Splits: 0)
Lemmas       : 47359    (Deleted: 43516)
  Binary     : 522      (Ratio:   1.10%)
  Ternary    : 25       (Ratio:   0.05%)
  Conflict   : 47359    (Average Length: 6929.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 47359    (Average: 15.53 Max: 5118 Sum: 735533)
  Executed   : 47231    (Average: 15.45 Max: 5118 Sum: 731520 Ratio:  99.45%)
  Bounded    : 128      (Average: 31.35 Max:  76 Sum:   4013 Ratio:   0.55%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 556267   (Eliminated:    0 Frozen: 182901)
Constraints  : 3938096  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1039MB
Max. Length  : 95 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 37.89s
Memory:		 977MB (+19MB)
UNKNOWN
Iteration Time:	 38.88s

Iteration 22
Queue:		 [(19,95,1,True), (20,100,1,True), (21,105,0,True), (22,110,0,True), (23,115,0,True), (24,120,0,True), (25,125,0,True), (26,130,0,True), (27,135,0,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True)]
Grounded Until:	 100
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 22
Time         : 209.438s (Solving: 189.63s 1st Model: 0.00s Unsat: 58.48s)
CPU Time     : 209.412s

Choices      : 907927   (Domain: 907927)
Conflicts    : 55921    (Analyzed: 55907)
Restarts     : 626      (Average: 89.31 Last: 121)
Problems     : 22       (Average Length: 54.27 Splits: 0)
Lemmas       : 55907    (Deleted: 50453)
  Binary     : 591      (Ratio:   1.06%)
  Ternary    : 36       (Ratio:   0.06%)
  Conflict   : 55907    (Average Length: 6604.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 55907    (Average: 15.22 Max: 5118 Sum: 851135)
  Executed   : 55776    (Average: 15.15 Max: 5118 Sum: 847119 Ratio:  99.53%)
  Bounded    : 131      (Average: 30.66 Max:  76 Sum:   4016 Ratio:   0.47%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 556267   (Eliminated:    0 Frozen: 182901)
Constraints  : 3938096  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1039MB
Max. Length  : 100 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 28.84s
Memory:		 980MB (+3MB)
UNKNOWN
Iteration Time:	 28.91s

Iteration 23
Queue:		 [(20,100,1,True), (21,105,0,True), (22,110,0,True), (23,115,0,True), (24,120,0,True), (25,125,0,True), (26,130,0,True), (27,135,0,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True)]
Grounded Until:	 100
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 23
Time         : 240.828s (Solving: 220.84s 1st Model: 0.00s Unsat: 58.48s)
CPU Time     : 240.816s

Choices      : 978263   (Domain: 978263)
Conflicts    : 63924    (Analyzed: 63910)
Restarts     : 726      (Average: 88.03 Last: 121)
Problems     : 23       (Average Length: 56.35 Splits: 0)
Lemmas       : 63910    (Deleted: 58513)
  Binary     : 616      (Ratio:   0.96%)
  Ternary    : 47       (Ratio:   0.07%)
  Conflict   : 63910    (Average Length: 6609.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 63910    (Average: 14.27 Max: 5118 Sum: 912142)
  Executed   : 63778    (Average: 14.21 Max: 5118 Sum: 908125 Ratio:  99.56%)
  Bounded    : 132      (Average: 30.43 Max:  76 Sum:   4017 Ratio:   0.44%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 556267   (Eliminated:    0 Frozen: 182901)
Constraints  : 3938096  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1039MB
Max. Length  : 100 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 31.32s
Memory:		 980MB (+0MB)
UNKNOWN
Iteration Time:	 31.41s

Iteration 24
Queue:		 [(21,105,0,True), (22,110,0,True), (23,115,0,True), (24,120,0,True), (25,125,0,True), (26,130,0,True), (27,135,0,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True)]
Grounded Until:	 100
Expected Memory: 1115.0MB
Grounding...	 [('step', [101]), ('step', [102]), ('step', [103]), ('step', [104]), ('step', [105]), ('check', [105])]
Grounding Time:	 0.55s
Memory:		 987MB (+7MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 24
Time         : 278.499s (Solving: 257.36s 1st Model: 0.00s Unsat: 58.48s)
CPU Time     : 278.504s

Choices      : 1260827  (Domain: 1260827)
Conflicts    : 73002    (Analyzed: 72988)
Restarts     : 826      (Average: 88.36 Last: 121)
Problems     : 24       (Average Length: 58.46 Splits: 0)
Lemmas       : 72988    (Deleted: 68634)
  Binary     : 720      (Ratio:   0.99%)
  Ternary    : 51       (Ratio:   0.07%)
  Conflict   : 72988    (Average Length: 6977.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 72988    (Average: 15.70 Max: 5290 Sum: 1145986)
  Executed   : 72842    (Average: 15.65 Max: 5290 Sum: 1141955 Ratio:  99.65%)
  Bounded    : 146      (Average: 27.61 Max:  76 Sum:   4031 Ratio:   0.35%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 584443   (Eliminated:    0 Frozen: 192146)
Constraints  : 4159901  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1073MB
Max. Length  : 100 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 36.68s
Memory:		 1006MB (+19MB)
UNKNOWN
Iteration Time:	 37.70s

Iteration 25
Queue:		 [(22,110,0,True), (23,115,0,True), (24,120,0,True), (25,125,0,True), (26,130,0,True), (27,135,0,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True)]
Grounded Until:	 105
Expected Memory: 1141.0MB
Grounding...	 [('step', [106]), ('step', [107]), ('step', [108]), ('step', [109]), ('step', [110]), ('check', [110])]
Grounding Time:	 0.56s
Memory:		 1009MB (+3MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 25
Time         : 322.089s (Solving: 299.79s 1st Model: 0.00s Unsat: 58.48s)
CPU Time     : 322.112s

Choices      : 1795873  (Domain: 1795873)
Conflicts    : 81648    (Analyzed: 81634)
Restarts     : 926      (Average: 88.16 Last: 121)
Problems     : 25       (Average Length: 60.60 Splits: 0)
Lemmas       : 81634    (Deleted: 77555)
  Binary     : 847      (Ratio:   1.04%)
  Ternary    : 67       (Ratio:   0.08%)
  Conflict   : 81634    (Average Length: 7338.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 81634    (Average: 20.32 Max: 10482 Sum: 1658432)
  Executed   : 81481    (Average: 20.27 Max: 10482 Sum: 1654394 Ratio:  99.76%)
  Bounded    : 153      (Average: 26.39 Max:  76 Sum:   4038 Ratio:   0.24%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 612619   (Eliminated:    0 Frozen: 201391)
Constraints  : 4381706  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1098MB
Max. Length  : 105 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 42.60s
Memory:		 1028MB (+19MB)
UNKNOWN
Iteration Time:	 43.62s

Iteration 26
Queue:		 [(23,115,0,True), (24,120,0,True), (25,125,0,True), (26,130,0,True), (27,135,0,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True)]
Grounded Until:	 110
Expected Memory: 1163.0MB
Grounding...	 [('step', [111]), ('step', [112]), ('step', [113]), ('step', [114]), ('step', [115]), ('check', [115])]
Grounding Time:	 0.57s
Memory:		 1031MB (+3MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 26
Time         : 364.585s (Solving: 341.09s 1st Model: 0.00s Unsat: 58.48s)
CPU Time     : 364.628s

Choices      : 2218118  (Domain: 2218118)
Conflicts    : 91366    (Analyzed: 91352)
Restarts     : 1026     (Average: 89.04 Last: 121)
Problems     : 26       (Average Length: 62.77 Splits: 0)
Lemmas       : 91352    (Deleted: 86055)
  Binary     : 958      (Ratio:   1.05%)
  Ternary    : 83       (Ratio:   0.09%)
  Conflict   : 91352    (Average Length: 7681.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 91352    (Average: 22.17 Max: 16824 Sum: 2025008)
  Executed   : 91191    (Average: 22.12 Max: 16824 Sum: 2020962 Ratio:  99.80%)
  Bounded    : 161      (Average: 25.13 Max:  76 Sum:   4046 Ratio:   0.20%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 640795   (Eliminated:    0 Frozen: 210636)
Constraints  : 4603511  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1123MB
Max. Length  : 110 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 41.47s
Memory:		 1106MB (+75MB)
UNKNOWN
Iteration Time:	 42.53s

Iteration 27
Queue:		 [(24,120,0,True), (25,125,0,True), (26,130,0,True), (27,135,0,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True)]
Grounded Until:	 115
Expected Memory: 1241.0MB
Grounding...	 [('step', [116]), ('step', [117]), ('step', [118]), ('step', [119]), ('step', [120]), ('check', [120])]
Grounding Time:	 1.26s
Memory:		 1157MB (+51MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 27
Time         : 406.657s (Solving: 381.25s 1st Model: 0.00s Unsat: 58.48s)
CPU Time     : 406.716s

Choices      : 2810849  (Domain: 2810849)
Conflicts    : 100791   (Analyzed: 100777)
Restarts     : 1126     (Average: 89.50 Last: 142)
Problems     : 27       (Average Length: 64.96 Splits: 0)
Lemmas       : 100777   (Deleted: 95444)
  Binary     : 1097     (Ratio:   1.09%)
  Ternary    : 91       (Ratio:   0.09%)
  Conflict   : 100777   (Average Length: 7931.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 100777   (Average: 25.41 Max: 22817 Sum: 2560623)
  Executed   : 100607   (Average: 25.37 Max: 22817 Sum: 2556568 Ratio:  99.84%)
  Bounded    : 170      (Average: 23.85 Max:  76 Sum:   4055 Ratio:   0.16%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 668971   (Eliminated:    0 Frozen: 219881)
Constraints  : 4825316  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1238MB
Max. Length  : 115 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 40.34s
Memory:		 1160MB (+3MB)
UNKNOWN
Iteration Time:	 42.10s

Iteration 28
Queue:		 [(25,125,0,True), (26,130,0,True), (27,135,0,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True)]
Grounded Until:	 120
Expected Memory: 1295.0MB
Grounding...	 [('step', [121]), ('step', [122]), ('step', [123]), ('step', [124]), ('step', [125]), ('check', [125])]
Grounding Time:	 0.52s
Memory:		 1160MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 28
Time         : 453.458s (Solving: 426.86s 1st Model: 0.00s Unsat: 58.48s)
CPU Time     : 453.536s

Choices      : 4586392  (Domain: 4586392)
Conflicts    : 109466   (Analyzed: 109452)
Restarts     : 1226     (Average: 89.28 Last: 142)
Problems     : 28       (Average Length: 67.18 Splits: 0)
Lemmas       : 109452   (Deleted: 104515)
  Binary     : 1355     (Ratio:   1.24%)
  Ternary    : 96       (Ratio:   0.09%)
  Conflict   : 109452   (Average Length: 8712.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 109452   (Average: 37.16 Max: 29323 Sum: 4067574)
  Executed   : 109273   (Average: 37.13 Max: 29323 Sum: 4063510 Ratio:  99.90%)
  Bounded    : 179      (Average: 22.70 Max:  76 Sum:   4064 Ratio:   0.10%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 697147   (Eliminated:    0 Frozen: 229126)
Constraints  : 5047121  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1361MB
Max. Length  : 120 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 45.80s
Memory:		 1297MB (+137MB)
UNKNOWN
Iteration Time:	 46.83s

Iteration 29
Queue:		 [(26,130,0,True), (27,135,0,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True)]
Grounded Until:	 125
Expected Memory: 1434.0MB
Grounding...	 [('step', [126]), ('step', [127]), ('step', [128]), ('step', [129]), ('step', [130]), ('check', [130])]
Grounding Time:	 0.53s
Memory:		 1307MB (+10MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 29
Time         : 496.174s (Solving: 468.35s 1st Model: 0.00s Unsat: 58.48s)
CPU Time     : 496.268s

Choices      : 6620500  (Domain: 6620500)
Conflicts    : 118014   (Analyzed: 118000)
Restarts     : 1326     (Average: 88.99 Last: 142)
Problems     : 29       (Average Length: 69.41 Splits: 0)
Lemmas       : 118000   (Deleted: 110819)
  Binary     : 1468     (Ratio:   1.24%)
  Ternary    : 98       (Ratio:   0.08%)
  Conflict   : 118000   (Average Length: 9225.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 118000   (Average: 46.88 Max: 34416 Sum: 5532253)
  Executed   : 117813   (Average: 46.85 Max: 34416 Sum: 5528181 Ratio:  99.93%)
  Bounded    : 187      (Average: 21.78 Max:  76 Sum:   4072 Ratio:   0.07%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 725323   (Eliminated:    0 Frozen: 238371)
Constraints  : 5268926  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1409MB
Max. Length  : 125 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 41.69s
Memory:		 1328MB (+21MB)
UNKNOWN
Iteration Time:	 42.75s

Iteration 30
Queue:		 [(27,135,0,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True)]
Grounded Until:	 130
Expected Memory: 1465.0MB
Grounding...	 [('step', [131]), ('step', [132]), ('step', [133]), ('step', [134]), ('step', [135]), ('check', [135])]
Grounding Time:	 0.53s
Memory:		 1329MB (+1MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 30
Time         : 544.817s (Solving: 515.64s 1st Model: 0.00s Unsat: 58.48s)
CPU Time     : 544.932s

Choices      : 10322383 (Domain: 10322383)
Conflicts    : 126706   (Analyzed: 126692)
Restarts     : 1426     (Average: 88.84 Last: 142)
Problems     : 30       (Average Length: 71.67 Splits: 0)
Lemmas       : 126692   (Deleted: 121197)
  Binary     : 1614     (Ratio:   1.27%)
  Ternary    : 99       (Ratio:   0.08%)
  Conflict   : 126692   (Average Length: 9733.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 126692   (Average: 66.36 Max: 36566 Sum: 8407631)
  Executed   : 126499   (Average: 66.33 Max: 36566 Sum: 8403553 Ratio:  99.95%)
  Bounded    : 193      (Average: 21.13 Max:  76 Sum:   4078 Ratio:   0.05%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 753499   (Eliminated:    0 Frozen: 247616)
Constraints  : 5490731  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1444MB
Max. Length  : 130 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 47.53s
Memory:		 1362MB (+33MB)
UNKNOWN
Iteration Time:	 48.68s

Iteration 31
Queue:		 [(28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True)]
Grounded Until:	 135
Expected Memory: 1499.0MB
Grounding...	 [('step', [136]), ('step', [137]), ('step', [138]), ('step', [139]), ('step', [140]), ('check', [140])]
Grounding Time:	 0.54s
Memory:		 1368MB (+6MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 1+
Calls        : 31
Time         : 547.234s (Solving: 516.80s 1st Model: 1.08s Unsat: 58.48s)
CPU Time     : 547.348s

Choices      : 10588901 (Domain: 10588901)
Conflicts    : 126793   (Analyzed: 126779)
Restarts     : 1427     (Average: 88.84 Last: 142)
Model-Level  : 46336.0 
Problems     : 31       (Average Length: 73.94 Splits: 0)
Lemmas       : 126779   (Deleted: 121197)
  Binary     : 1619     (Ratio:   1.28%)
  Ternary    : 99       (Ratio:   0.08%)
  Conflict   : 126779   (Average Length: 9727.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 126779   (Average: 68.06 Max: 46814 Sum: 8627956)
  Executed   : 126585   (Average: 68.02 Max: 46814 Sum: 8623877 Ratio:  99.95%)
  Bounded    : 194      (Average: 21.03 Max:  76 Sum:   4079 Ratio:   0.05%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 781675   (Eliminated:    0 Frozen: 256861)
Constraints  : 5712536  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1486MB
Max. Length  : 135 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 1.34s
Memory:		 1394MB (+26MB)
SAT
Testing...
SERIALIZABLE
Testing Time:	 0.96s
Memory:		 1406MB (+12MB)
Answer: 1
occurs(action(("unstack","z","e")),1) occurs(action(("put-down","z")),2) occurs(action(("unstack","q","g")),3) occurs(action(("put-down","q")),4) occurs(action(("unstack","g","f1")),5) occurs(action(("stack","g","z")),6) occurs(action(("unstack","f1","p")),7) occurs(action(("put-down","f1")),8) occurs(action(("unstack","p","m1")),9) occurs(action(("stack","p","f1")),10) occurs(action(("unstack","m1","a")),11) occurs(action(("stack","m1","d1")),12) occurs(action(("unstack","a","l1")),13) occurs(action(("put-down","a")),14) occurs(action(("unstack","o1","i")),15) occurs(action(("put-down","o1")),16) occurs(action(("unstack","i","n")),17) occurs(action(("put-down","i")),18) occurs(action(("unstack","n","a1")),19) occurs(action(("stack","n","m1")),20) occurs(action(("unstack","a1","c")),21) occurs(action(("stack","a1","q")),22) occurs(action(("unstack","c","h")),23) occurs(action(("put-down","c")),24) occurs(action(("unstack","h","r")),25) occurs(action(("stack","h","c")),26) occurs(action(("unstack","r","g1")),27) occurs(action(("stack","r","a")),28) occurs(action(("unstack","g1","h1")),29) occurs(action(("stack","g1","r")),30) occurs(action(("unstack","l1","x")),31) occurs(action(("stack","l1","i")),32) occurs(action(("unstack","h1","w")),33) occurs(action(("put-down","h1")),34) occurs(action(("unstack","w","v")),35) occurs(action(("stack","w","h1")),36) occurs(action(("unstack","v","y")),37) occurs(action(("put-down","v")),38) occurs(action(("unstack","y","m")),39) occurs(action(("stack","y","o1")),40) occurs(action(("unstack","m","j1")),41) occurs(action(("put-down","m")),42) occurs(action(("unstack","j1","b1")),43) occurs(action(("stack","j1","g1")),44) occurs(action(("unstack","e","c1")),45) occurs(action(("put-down","e")),46) occurs(action(("unstack","c1","o")),47) occurs(action(("stack","c1","j1")),48) occurs(action(("unstack","o","e1")),49) occurs(action(("put-down","o")),50) occurs(action(("unstack","e1","d")),51) occurs(action(("stack","e1","c1")),52) occurs(action(("unstack","g","z")),53) occurs(action(("stack","g","e1")),54) occurs(action(("unstack","n","m1")),55) occurs(action(("stack","n","g")),56) occurs(action(("unstack","m1","d1")),57) occurs(action(("stack","m1","n")),58) occurs(action(("pick-up","v")),59) occurs(action(("stack","v","m1")),60) occurs(action(("unstack","x","l")),61) occurs(action(("stack","x","d")),62) occurs(action(("pick-up","z")),63) occurs(action(("stack","z","v")),64) occurs(action(("unstack","i1","k1")),65) occurs(action(("stack","i1","e")),66) occurs(action(("unstack","k1","s")),67) occurs(action(("stack","k1","z")),68) occurs(action(("unstack","y","o1")),69) occurs(action(("stack","y","k1")),70) occurs(action(("unstack","x","d")),71) occurs(action(("stack","x","y")),72) occurs(action(("unstack","l1","i")),73) occurs(action(("stack","l1","x")),74) occurs(action(("unstack","p","f1")),75) occurs(action(("stack","p","l1")),76) occurs(action(("unstack","h","c")),77) occurs(action(("stack","h","p")),78) occurs(action(("pick-up","d")),79) occurs(action(("stack","d","h")),80) occurs(action(("unstack","l","b")),81) occurs(action(("put-down","l")),82) occurs(action(("pick-up","b")),83) occurs(action(("stack","b","d")),84) occurs(action(("pick-up","f1")),85) occurs(action(("stack","f1","b")),86) occurs(action(("pick-up","c")),87) occurs(action(("stack","c","f1")),88) occurs(action(("unstack","w","h1")),89) occurs(action(("stack","w","c")),90) occurs(action(("unstack","b1","u")),91) occurs(action(("stack","b1","w")),92) occurs(action(("unstack","a1","q")),93) occurs(action(("stack","a1","b1")),94) occurs(action(("pick-up","h1")),95) occurs(action(("stack","h1","a1")),96) occurs(action(("unstack","s","f")),97) occurs(action(("stack","s","h1")),98) occurs(action(("unstack","f","t")),99) occurs(action(("stack","f","j")),100) occurs(action(("pick-up","t")),101) occurs(action(("stack","t","s")),102) occurs(action(("pick-up","i")),103) occurs(action(("stack","i","t")),104) occurs(action(("unstack","f","j")),105) occurs(action(("stack","f","i")),106) occurs(action(("pick-up","m")),107) occurs(action(("stack","m","f")),108) occurs(action(("unstack","d1","n1")),109) occurs(action(("stack","d1","u")),110) occurs(action(("unstack","n1","p1")),111) occurs(action(("put-down","n1")),112) occurs(action(("pick-up","p1")),113) occurs(action(("stack","p1","m")),114) occurs(action(("unstack","i1","e")),115) occurs(action(("stack","i1","p1")),116) occurs(action(("unstack","d1","u")),117) occurs(action(("stack","d1","i1")),118) occurs(action(("pick-up","o1")),119) occurs(action(("stack","o1","d1")),120) occurs(action(("unstack","j","k")),121) occurs(action(("stack","j","n1")),122) occurs(action(("pick-up","k")),123) occurs(action(("stack","k","o1")),124) occurs(action(("pick-up","q")),125) occurs(action(("stack","q","k")),126) occurs(action(("pick-up","l")),127) occurs(action(("stack","l","q")),128) occurs(action(("unstack","j","n1")),129) occurs(action(("stack","j","l")),130) occurs(action(("pick-up","u")),131) occurs(action(("stack","u","j")),132) occurs(action(("pick-up","n1")),133) occurs(action(("stack","n1","u")),134) occurs(action(("pick-up","e")),135) occurs(action(("stack","e","n1")),136) occurs(action(("pick-up","o")),137) occurs(action(("put-down","o")),138) occurs(action(("pick-up","o")),139) occurs(action(("stack","o","e")),140)
SATISFIABLE

Models       : 1+
Calls        : 31
Time         : 547.234s (Solving: 516.80s 1st Model: 1.08s Unsat: 58.48s)
CPU Time     : 547.348s

Choices      : 10588901 (Domain: 10588901)
Conflicts    : 126793   (Analyzed: 126779)
Restarts     : 1427     (Average: 88.84 Last: 142)
Model-Level  : 46336.0 
Problems     : 31       (Average Length: 73.94 Splits: 0)
Lemmas       : 126779   (Deleted: 121197)
  Binary     : 1619     (Ratio:   1.28%)
  Ternary    : 99       (Ratio:   0.08%)
  Conflict   : 126779   (Average Length: 9727.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 126779   (Average: 68.06 Max: 46814 Sum: 8627956)
  Executed   : 126585   (Average: 68.02 Max: 46814 Sum: 8623877 Ratio:  99.95%)
  Bounded    : 194      (Average: 21.03 Max:  76 Sum:   4079 Ratio:   0.05%)

Rules        : 92548   
Atoms        : 92548   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 781675   (Eliminated:    0 Frozen: 256861)
Constraints  : 5712536  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1486MB
Max. Length  : 140 steps
Sol. Length  : 140 steps
Models       : 1


