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-63.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-63.pddl
Parsing...
Parsing: [0.020s CPU, 0.015s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.000s CPU, 0.005s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.009s wall-clock]
Preparing model... [0.010s CPU, 0.009s wall-clock]
Generated 21 rules.
Computing model... [0.360s CPU, 0.362s wall-clock]
3133 relevant atoms
2077 auxiliary atoms
5210 final queue length
9119 total queue pushes
Completing instantiation... [0.640s CPU, 0.636s wall-clock]
Instantiating: [1.020s CPU, 1.025s wall-clock]
Computing fact groups...
Finding invariants...
10 initial candidates
Finding invariants: [0.020s CPU, 0.021s wall-clock]
Checking invariant weight... [0.010s CPU, 0.004s wall-clock]
Instantiating groups... [0.030s CPU, 0.039s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.008s wall-clock]
Choosing groups...
32 uncovered facts
Choosing groups: [0.060s CPU, 0.069s wall-clock]
Building translation key... [0.010s CPU, 0.014s wall-clock]
Computing fact groups: [0.250s CPU, 0.247s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.006s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.013s wall-clock]
Building mutex information...
Building mutex information: [0.020s CPU, 0.022s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.030s CPU, 0.032s wall-clock]
Translating task: [0.750s CPU, 0.754s wall-clock]
2852 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
62 propositions removed
Detecting unreachable propositions: [0.420s CPU, 0.414s wall-clock]
Reordering and filtering variables...
63 of 63 variables necessary.
32 of 63 mutex groups necessary.
1922 of 1922 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.230s CPU, 0.234s wall-clock]
Translator variables: 63
Translator derived variables: 0
Translator facts: 1056
Translator goal facts: 30
Translator mutex groups: 32
Translator total mutex groups size: 1024
Translator operators: 1922
Translator axioms: 0
Translator task size: 16495
Translator peak memory: 46284 KB
Writing output... [0.270s CPU, 0.294s wall-clock]
Done! [3.040s CPU, 3.060s wall-clock]
planner.py version 0.0.1

Time:	 0.55s
Memory: 84MB

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

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

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

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

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        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 13625    (Eliminated:    0 Frozen: 13625)
Constraints  : 7446     (Binary:  92.6% Ternary:   4.2% Other:   3.2%)

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

[endof: stats after solve call]
Solving Time:	 0.11s
Memory:		 164MB (+4MB)
UNSAT
Iteration Time:	 0.42s

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

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

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        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 27759    (Eliminated:    0 Frozen: 27759)
Constraints  : 50679    (Binary:  94.1% Ternary:   4.3% Other:   1.6%)

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

[endof: stats after solve call]
Solving Time:	 0.15s
Memory:		 182MB (+5MB)
UNSAT
Iteration Time:	 0.52s

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

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

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        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 42456    (Eliminated:    0 Frozen: 42456)
Constraints  : 123781   (Binary:  94.4% Ternary:   4.3% Other:   1.3%)

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

[endof: stats after solve call]
Solving Time:	 0.20s
Memory:		 196MB (+7MB)
UNSAT
Iteration Time:	 0.57s

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

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

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        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 57668    (Eliminated:    0 Frozen: 57668)
Constraints  : 229754   (Binary:  94.6% Ternary:   4.3% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 0.27s
Memory:		 214MB (+10MB)
UNSAT
Iteration Time:	 0.66s

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

Models       : 0
Calls        : 6
Time         : 3.549s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.476s

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        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 73359    (Eliminated:    0 Frozen: 73359)
Constraints  : 350854   (Binary:  94.7% Ternary:   4.3% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 0.32s
Memory:		 236MB (+10MB)
UNSAT
Iteration Time:	 0.77s

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

Models       : 0
Calls        : 7
Time         : 4.242s (Solving: 0.01s 1st Model: 0.00s Unsat: 0.01s)
CPU Time     : 4.168s

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        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 89050    (Eliminated:    0 Frozen: 89050)
Constraints  : 471954   (Binary:  94.7% Ternary:   4.3% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 0.33s
Memory:		 249MB (+7MB)
UNSAT
Iteration Time:	 0.70s

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

Models       : 0
Calls        : 8
Time         : 4.958s (Solving: 0.02s 1st Model: 0.00s Unsat: 0.02s)
CPU Time     : 4.884s

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        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 104741   (Eliminated:    0 Frozen: 104741)
Constraints  : 593054   (Binary:  94.8% Ternary:   4.3% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 0.33s
Memory:		 274MB (+16MB)
UNSAT
Iteration Time:	 0.72s

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

Models       : 0
Calls        : 9
Time         : 5.689s (Solving: 0.03s 1st Model: 0.00s Unsat: 0.03s)
CPU Time     : 5.616s

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        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 120432   (Eliminated:    0 Frozen: 120432)
Constraints  : 714154   (Binary:  94.8% Ternary:   4.3% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 0.34s
Memory:		 284MB (+7MB)
UNSAT
Iteration Time:	 0.74s

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

Models       : 0
Calls        : 10
Time         : 6.442s (Solving: 0.04s 1st Model: 0.00s Unsat: 0.04s)
CPU Time     : 6.368s

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        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 136123   (Eliminated:    0 Frozen: 136123)
Constraints  : 835254   (Binary:  94.8% Ternary:   4.3% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 0.35s
Memory:		 297MB (+7MB)
UNSAT
Iteration Time:	 0.76s

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

Models       : 0
Calls        : 11
Time         : 7.217s (Solving: 0.06s 1st Model: 0.00s Unsat: 0.06s)
CPU Time     : 7.144s

Choices      : 4        (Domain: 4)
Conflicts    : 9        (Analyzed: 2)
Restarts     : 0       
Problems     : 11       (Average Length: 27.00 Splits: 0)
Lemmas       : 2        (Deleted: 0)
  Binary     : 1        (Ratio:  50.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 2        (Average Length:    1.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: 28.50 Max:  55 Sum:     57)
  Executed   : 0        (Average:  2.00 Max:   3 Sum:      4 Ratio:   7.02%)
  Bounded    : 2        (Average: 26.50 Max:  52 Sum:     53 Ratio:  92.98%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 151814   (Eliminated:    0 Frozen: 151814)
Constraints  : 956354   (Binary:  94.8% Ternary:   4.3% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 0.35s
Memory:		 313MB (+9MB)
UNSAT
Iteration Time:	 0.78s

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

Models       : 0
Calls        : 12
Time         : 8.169s (Solving: 0.09s 1st Model: 0.00s Unsat: 0.09s)
CPU Time     : 8.096s

Choices      : 75       (Domain: 75)
Conflicts    : 31       (Analyzed: 23)
Restarts     : 0       
Problems     : 12       (Average Length: 29.50 Splits: 0)
Lemmas       : 23       (Deleted: 0)
  Binary     : 2        (Ratio:   8.70%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 23       (Average Length:    1.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 23       (Average: 55.17 Max:  63 Sum:   1269)
  Executed   : 0        (Average:  3.26 Max:   6 Sum:     75 Ratio:   5.91%)
  Bounded    : 23       (Average: 51.91 Max:  57 Sum:   1194 Ratio:  94.09%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 167505   (Eliminated:    0 Frozen: 167505)
Constraints  : 1072316  (Binary:  94.8% Ternary:   4.3% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 0.36s
Memory:		 353MB (+23MB)
UNSAT
Iteration Time:	 0.96s

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

Models       : 0
Calls        : 13
Time         : 9.050s (Solving: 0.17s 1st Model: 0.00s Unsat: 0.17s)
CPU Time     : 8.976s

Choices      : 246      (Domain: 246)
Conflicts    : 78       (Analyzed: 69)
Restarts     : 0       
Problems     : 13       (Average Length: 32.00 Splits: 0)
Lemmas       : 69       (Deleted: 0)
  Binary     : 3        (Ratio:   4.35%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 69       (Average Length:    1.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 69       (Average: 61.32 Max:  68 Sum:   4231)
  Executed   : 0        (Average:  3.57 Max:   6 Sum:    246 Ratio:   5.81%)
  Bounded    : 69       (Average: 57.75 Max:  62 Sum:   3985 Ratio:  94.19%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 183196   (Eliminated:    0 Frozen: 183196)
Constraints  : 1148374  (Binary:  94.8% Ternary:   4.4% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 0.43s
Memory:		 361MB (+8MB)
UNSAT
Iteration Time:	 0.89s

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

Models       : 0
Calls        : 14
Time         : 10.026s (Solving: 0.32s 1st Model: 0.00s Unsat: 0.32s)
CPU Time     : 9.952s

Choices      : 486      (Domain: 486)
Conflicts    : 135      (Analyzed: 125)
Restarts     : 0       
Problems     : 14       (Average Length: 34.50 Splits: 0)
Lemmas       : 125      (Deleted: 0)
  Binary     : 4        (Ratio:   3.20%)
  Ternary    : 1        (Ratio:   0.80%)
  Conflict   : 125      (Average Length:    1.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 125      (Average: 64.72 Max:  73 Sum:   8090)
  Executed   : 1        (Average:  3.89 Max:  73 Sum:    486 Ratio:   6.01%)
  Bounded    : 124      (Average: 61.32 Max:  67 Sum:   7604 Ratio:  93.99%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 198887   (Eliminated:    0 Frozen: 198887)
Constraints  : 1196807  (Binary:  94.8% Ternary:   4.4% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 0.50s
Memory:		 375MB (+10MB)
UNSAT
Iteration Time:	 0.98s

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: 415.0MB
Grounding...	 [('step', [66]), ('step', [67]), ('step', [68]), ('step', [69]), ('step', [70]), ('check', [70])]
Grounding Time:	 0.28s
Memory:		 379MB (+4MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 15
Time         : 11.300s (Solving: 0.76s 1st Model: 0.00s Unsat: 0.76s)
CPU Time     : 11.228s

Choices      : 897      (Domain: 897)
Conflicts    : 289      (Analyzed: 278)
Restarts     : 1        (Average: 278.00 Last: 56)
Problems     : 15       (Average Length: 37.00 Splits: 0)
Lemmas       : 278      (Deleted: 0)
  Binary     : 16       (Ratio:   5.76%)
  Ternary    : 1        (Ratio:   0.36%)
  Conflict   : 278      (Average Length: 1217.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 278      (Average: 31.33 Max: 103 Sum:   8711)
  Executed   : 148      (Average:  3.20 Max: 103 Sum:    889 Ratio:  10.21%)
  Bounded    : 130      (Average: 60.17 Max:  72 Sum:   7822 Ratio:  89.79%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 214578   (Eliminated:    0 Frozen: 214578)
Constraints  : 1245143  (Binary:  94.7% Ternary:   4.4% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 0.80s
Memory:		 389MB (+10MB)
UNSAT
Iteration Time:	 1.28s

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: 429.0MB
Grounding...	 [('step', [71]), ('step', [72]), ('step', [73]), ('step', [74]), ('step', [75]), ('check', [75])]
Grounding Time:	 0.31s
Memory:		 392MB (+3MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 16
Time         : 13.013s (Solving: 1.61s 1st Model: 0.00s Unsat: 1.61s)
CPU Time     : 12.940s

Choices      : 4327     (Domain: 4327)
Conflicts    : 754      (Analyzed: 742)
Restarts     : 4        (Average: 185.50 Last: 64)
Problems     : 16       (Average Length: 39.50 Splits: 0)
Lemmas       : 742      (Deleted: 0)
  Binary     : 47       (Ratio:   6.33%)
  Ternary    : 1        (Ratio:   0.13%)
  Conflict   : 742      (Average Length: 1286.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 742      (Average: 16.70 Max: 167 Sum:  12392)
  Executed   : 600      (Average:  5.68 Max: 167 Sum:   4211 Ratio:  33.98%)
  Bounded    : 142      (Average: 57.61 Max:  77 Sum:   8181 Ratio:  66.02%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 230269   (Eliminated:    0 Frozen: 230269)
Constraints  : 1357482  (Binary:  94.8% Ternary:   4.4% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 1.21s
Memory:		 409MB (+17MB)
UNSAT
Iteration Time:	 1.73s

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: 449.0MB
Grounding...	 [('step', [76]), ('step', [77]), ('step', [78]), ('step', [79]), ('step', [80]), ('check', [80])]
Grounding Time:	 0.28s
Memory:		 409MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 17
Time         : 35.359s (Solving: 23.12s 1st Model: 0.00s Unsat: 23.12s)
CPU Time     : 35.296s

Choices      : 86802    (Domain: 86802)
Conflicts    : 8818     (Analyzed: 8805)
Restarts     : 35       (Average: 251.57 Last: 64)
Problems     : 17       (Average Length: 42.00 Splits: 0)
Lemmas       : 8805     (Deleted: 0)
  Binary     : 82       (Ratio:   0.93%)
  Ternary    : 2        (Ratio:   0.02%)
  Conflict   : 8805     (Average Length: 2156.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 8805     (Average: 10.50 Max: 333 Sum:  92441)
  Executed   : 8657     (Average:  9.57 Max: 333 Sum:  84254 Ratio:  91.14%)
  Bounded    : 148      (Average: 55.32 Max:  77 Sum:   8187 Ratio:   8.86%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 245960   (Eliminated:    0 Frozen: 245960)
Constraints  : 1478507  (Binary:  94.8% Ternary:   4.4% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 21.87s
Memory:		 500MB (+91MB)
UNSAT
Iteration Time:	 22.36s

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

Models       : 0
Calls        : 18
Time         : 83.023s (Solving: 69.91s 1st Model: 0.00s Unsat: 69.91s)
CPU Time     : 82.980s

Choices      : 201395   (Domain: 201395)
Conflicts    : 27038    (Analyzed: 27024)
Restarts     : 97       (Average: 278.60 Last: 2072)
Problems     : 18       (Average Length: 44.50 Splits: 0)
Lemmas       : 27024    (Deleted: 13974)
  Binary     : 105      (Ratio:   0.39%)
  Ternary    : 2        (Ratio:   0.01%)
  Conflict   : 27024    (Average Length: 2201.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 27024    (Average:  7.53 Max: 734 Sum: 203439)
  Executed   : 26871    (Average:  7.22 Max: 734 Sum: 195247 Ratio:  95.97%)
  Bounded    : 153      (Average: 53.54 Max:  77 Sum:   8192 Ratio:   4.03%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 261651   (Eliminated:    0 Frozen: 261651)
Constraints  : 1599607  (Binary:  94.8% Ternary:   4.4% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 47.20s
Memory:		 574MB (+74MB)
UNSAT
Iteration Time:	 47.70s

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

Models       : 0+
Calls        : 19
Time         : 158.303s (Solving: 144.29s 1st Model: 0.00s Unsat: 69.91s)
CPU Time     : 158.292s

Choices      : 529738   (Domain: 529738)
Conflicts    : 55291    (Analyzed: 55277)
Restarts     : 197      (Average: 280.59 Last: 2072)
Problems     : 19       (Average Length: 47.00 Splits: 0)
Lemmas       : 55277    (Deleted: 43587)
  Binary     : 191      (Ratio:   0.35%)
  Ternary    : 2        (Ratio:   0.00%)
  Conflict   : 55277    (Average Length: 2988.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 55277    (Average:  9.45 Max: 1026 Sum: 522240)
  Executed   : 55119    (Average:  9.30 Max: 1026 Sum: 514043 Ratio:  98.43%)
  Bounded    : 158      (Average: 51.88 Max:  77 Sum:   8197 Ratio:   1.57%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 277342   (Eliminated:    0 Frozen: 277342)
Constraints  : 1720707  (Binary:  94.8% Ternary:   4.4% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 74.79s
Memory:		 711MB (+137MB)
UNKNOWN
Iteration Time:	 75.32s

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

Models       : 0+
Calls        : 20
Time         : 235.471s (Solving: 220.53s 1st Model: 0.00s Unsat: 69.91s)
CPU Time     : 235.492s

Choices      : 782147   (Domain: 782147)
Conflicts    : 83653    (Analyzed: 83639)
Restarts     : 297      (Average: 281.61 Last: 2072)
Problems     : 20       (Average Length: 49.50 Splits: 0)
Lemmas       : 83639    (Deleted: 71652)
  Binary     : 320      (Ratio:   0.38%)
  Ternary    : 5        (Ratio:   0.01%)
  Conflict   : 83639    (Average Length: 3102.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 83639    (Average:  9.17 Max: 1669 Sum: 766864)
  Executed   : 83463    (Average:  9.07 Max: 1669 Sum: 758553 Ratio:  98.92%)
  Bounded    : 176      (Average: 47.22 Max:  97 Sum:   8311 Ratio:   1.08%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 293033   (Eliminated:    0 Frozen: 293033)
Constraints  : 1841807  (Binary:  94.8% Ternary:   4.4% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 76.68s
Memory:		 725MB (+13MB)
UNKNOWN
Iteration Time:	 77.21s

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

Models       : 0
Calls        : 21
Time         : 277.295s (Solving: 261.41s 1st Model: 0.00s Unsat: 110.79s)
CPU Time     : 277.332s

Choices      : 1355773  (Domain: 1355773)
Conflicts    : 97282    (Analyzed: 97267)
Restarts     : 356      (Average: 273.22 Last: 2072)
Problems     : 21       (Average Length: 52.00 Splits: 0)
Lemmas       : 97267    (Deleted: 87476)
  Binary     : 442      (Ratio:   0.45%)
  Ternary    : 5        (Ratio:   0.01%)
  Conflict   : 97267    (Average Length: 3142.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 97267    (Average: 13.74 Max: 2758 Sum: 1336734)
  Executed   : 97068    (Average: 13.66 Max: 2758 Sum: 1328400 Ratio:  99.38%)
  Bounded    : 199      (Average: 41.88 Max:  97 Sum:   8334 Ratio:   0.62%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 308724   (Eliminated:    0 Frozen: 308724)
Constraints  : 1962882  (Binary:  94.8% Ternary:   4.4% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 41.29s
Memory:		 738MB (+13MB)
UNSAT
Iteration Time:	 41.85s

Iteration 22
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)]
Grounded Until:	 100
Expected Memory: 875.0MB
Grounding...	 [('step', [101]), ('step', [102]), ('step', [103]), ('step', [104]), ('step', [105]), ('check', [105])]
Grounding Time:	 0.29s
Memory:		 738MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 22
Time         : 381.102s (Solving: 364.27s 1st Model: 0.00s Unsat: 110.79s)
CPU Time     : 381.180s

Choices      : 1937409  (Domain: 1937409)
Conflicts    : 125541   (Analyzed: 125526)
Restarts     : 456      (Average: 275.28 Last: 2072)
Problems     : 22       (Average Length: 54.50 Splits: 0)
Lemmas       : 125526   (Deleted: 113374)
  Binary     : 478      (Ratio:   0.38%)
  Ternary    : 5        (Ratio:   0.00%)
  Conflict   : 125526   (Average Length: 3743.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 125526   (Average: 15.23 Max: 7150 Sum: 1911928)
  Executed   : 125320   (Average: 15.16 Max: 7150 Sum: 1903587 Ratio:  99.56%)
  Bounded    : 206      (Average: 40.49 Max:  97 Sum:   8341 Ratio:   0.44%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 324415   (Eliminated:    0 Frozen: 324415)
Constraints  : 2083982  (Binary:  94.8% Ternary:   4.4% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 103.30s
Memory:		 882MB (+144MB)
UNKNOWN
Iteration Time:	 103.86s

Iteration 23
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)]
Grounded Until:	 105
Expected Memory: 1026.0MB
Grounding...	 [('step', [106]), ('step', [107]), ('step', [108]), ('step', [109]), ('step', [110]), ('check', [110])]
Grounding Time:	 0.62s
Memory:		 907MB (+25MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 1+
Calls        : 23
Time         : 397.771s (Solving: 379.62s 1st Model: 15.32s Unsat: 110.79s)
CPU Time     : 397.856s

Choices      : 2254495  (Domain: 2254495)
Conflicts    : 130489   (Analyzed: 130474)
Restarts     : 482      (Average: 270.69 Last: 2072)
Model-Level  : 4205.0  
Problems     : 23       (Average Length: 57.00 Splits: 0)
Lemmas       : 130474   (Deleted: 113374)
  Binary     : 608      (Ratio:   0.47%)
  Ternary    : 9        (Ratio:   0.01%)
  Conflict   : 130474   (Average Length: 3762.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 130474   (Average: 16.98 Max: 7150 Sum: 2215879)
  Executed   : 130261   (Average: 16.92 Max: 7150 Sum: 2207531 Ratio:  99.62%)
  Bounded    : 213      (Average: 39.19 Max:  97 Sum:   8348 Ratio:   0.38%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 340106   (Eliminated:    0 Frozen: 340106)
Constraints  : 2205082  (Binary:  94.8% Ternary:   4.4% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 15.78s
Memory:		 918MB (+11MB)
SAT
Testing...
SERIALIZABLE
Testing Time:	 0.49s
Memory:		 925MB (+7MB)
Answer: 1
occurs(action(("unstack","j","e")),1) occurs(action(("put-down","j")),2) occurs(action(("unstack","y","a1")),3) occurs(action(("put-down","y")),4) occurs(action(("unstack","e","i")),5) occurs(action(("put-down","e")),6) occurs(action(("unstack","i","u")),7) occurs(action(("put-down","i")),8) occurs(action(("unstack","a1","h")),9) occurs(action(("put-down","a1")),10) occurs(action(("unstack","h","d")),11) occurs(action(("put-down","h")),12) occurs(action(("unstack","d","f")),13) occurs(action(("put-down","d")),14) occurs(action(("unstack","f","r")),15) occurs(action(("put-down","f")),16) occurs(action(("unstack","r","w")),17) occurs(action(("put-down","r")),18) occurs(action(("unstack","w","t")),19) occurs(action(("put-down","w")),20) occurs(action(("unstack","t","q")),21) occurs(action(("stack","t","r")),22) occurs(action(("unstack","q","g")),23) occurs(action(("stack","q","a1")),24) occurs(action(("unstack","g","l")),25) occurs(action(("put-down","g")),26) occurs(action(("unstack","l","v")),27) occurs(action(("stack","l","t")),28) occurs(action(("unstack","v","o")),29) occurs(action(("put-down","v")),30) occurs(action(("unstack","o","n")),31) occurs(action(("stack","o","v")),32) occurs(action(("unstack","n","d1")),33) occurs(action(("stack","n","d")),34) occurs(action(("unstack","d1","e1")),35) occurs(action(("stack","d1","f")),36) occurs(action(("unstack","e1","b")),37) occurs(action(("put-down","e1")),38) occurs(action(("unstack","c1","x")),39) occurs(action(("stack","c1","e")),40) occurs(action(("unstack","x","s")),41) occurs(action(("put-down","x")),42) occurs(action(("unstack","s","k")),43) occurs(action(("stack","s","y")),44) occurs(action(("unstack","k","z")),45) occurs(action(("stack","k","e1")),46) occurs(action(("unstack","u","p")),47) occurs(action(("stack","u","k")),48) occurs(action(("pick-up","x")),49) occurs(action(("stack","x","u")),50) occurs(action(("pick-up","j")),51) occurs(action(("stack","j","x")),52) occurs(action(("unstack","b","b1")),53) occurs(action(("stack","b","j")),54) occurs(action(("pick-up","h")),55) occurs(action(("stack","h","b")),56) occurs(action(("unstack","z","c")),57) occurs(action(("stack","z","h")),58) occurs(action(("unstack","q","a1")),59) occurs(action(("stack","q","z")),60) occurs(action(("unstack","o","v")),61) occurs(action(("stack","o","q")),62) occurs(action(("pick-up","v")),63) occurs(action(("stack","v","o")),64) occurs(action(("unstack","b1","m")),65) occurs(action(("stack","b1","g")),66) occurs(action(("pick-up","m")),67) occurs(action(("stack","m","v")),68) occurs(action(("unstack","s","y")),69) occurs(action(("stack","s","m")),70) occurs(action(("unstack","b1","g")),71) occurs(action(("stack","b1","s")),72) occurs(action(("unstack","c","a")),73) occurs(action(("stack","c","g")),74) occurs(action(("pick-up","a")),75) occurs(action(("stack","a","b1")),76) occurs(action(("pick-up","p")),77) occurs(action(("stack","p","a")),78) occurs(action(("unstack","c1","e")),79) occurs(action(("stack","c1","p")),80) occurs(action(("unstack","l","t")),81) occurs(action(("stack","l","c1")),82) occurs(action(("pick-up","e")),83) occurs(action(("stack","e","l")),84) occurs(action(("unstack","d1","f")),85) occurs(action(("stack","d1","e")),86) occurs(action(("unstack","n","d")),87) occurs(action(("stack","n","d1")),88) occurs(action(("pick-up","y")),89) occurs(action(("stack","y","n")),90) occurs(action(("pick-up","a1")),91) occurs(action(("stack","a1","y")),92) occurs(action(("pick-up","f")),93) occurs(action(("stack","f","a1")),94) occurs(action(("pick-up","i")),95) occurs(action(("stack","i","f")),96) occurs(action(("unstack","c","g")),97) occurs(action(("stack","c","i")),98) occurs(action(("unstack","t","r")),99) occurs(action(("stack","t","c")),100) occurs(action(("pick-up","w")),101) occurs(action(("stack","w","t")),102) occurs(action(("pick-up","d")),103) occurs(action(("stack","d","w")),104) occurs(action(("pick-up","g")),105) occurs(action(("stack","g","d")),106) occurs(action(("pick-up","r")),107) occurs(action(("put-down","r")),108) occurs(action(("pick-up","r")),109) occurs(action(("stack","r","g")),110)
SATISFIABLE

Models       : 1+
Calls        : 23
Time         : 397.771s (Solving: 379.62s 1st Model: 15.32s Unsat: 110.79s)
CPU Time     : 397.856s

Choices      : 2254495  (Domain: 2254495)
Conflicts    : 130489   (Analyzed: 130474)
Restarts     : 482      (Average: 270.69 Last: 2072)
Model-Level  : 4205.0  
Problems     : 23       (Average Length: 57.00 Splits: 0)
Lemmas       : 130474   (Deleted: 113374)
  Binary     : 608      (Ratio:   0.47%)
  Ternary    : 9        (Ratio:   0.01%)
  Conflict   : 130474   (Average Length: 3762.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 130474   (Average: 16.98 Max: 7150 Sum: 2215879)
  Executed   : 130261   (Average: 16.92 Max: 7150 Sum: 2207531 Ratio:  99.62%)
  Bounded    : 213      (Average: 39.19 Max:  97 Sum:   8348 Ratio:   0.38%)

Rules        : 50580   
Atoms        : 50580   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 340106   (Eliminated:    0 Frozen: 340106)
Constraints  : 2205082  (Binary:  94.8% Ternary:   4.4% Other:   0.8%)

Memory Peak  : 953MB
Max. Length  : 110 steps
Sol. Length  : 110 steps
Models       : 1


