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-91.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-91.pddl
Parsing...
Parsing: [0.010s CPU, 0.016s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.006s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.010s wall-clock]
Preparing model... [0.010s CPU, 0.012s wall-clock]
Generated 21 rules.
Computing model... [0.750s CPU, 0.747s wall-clock]
6437 relevant atoms
4275 auxiliary atoms
10712 final queue length
18904 total queue pushes
Completing instantiation... [1.370s CPU, 1.369s wall-clock]
Instantiating: [2.160s CPU, 2.153s wall-clock]
Computing fact groups...
Finding invariants...
10 initial candidates
Finding invariants: [0.020s CPU, 0.021s wall-clock]
Checking invariant weight... [0.000s CPU, 0.006s wall-clock]
Instantiating groups... [0.080s CPU, 0.077s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.017s wall-clock]
Choosing groups...
46 uncovered facts
Choosing groups: [0.090s CPU, 0.089s wall-clock]
Building translation key... [0.030s CPU, 0.026s wall-clock]
Computing fact groups: [0.440s CPU, 0.440s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.012s wall-clock]
Building dictionary for full mutex groups... [0.090s CPU, 0.091s wall-clock]
Building mutex information...
Building mutex information: [0.040s CPU, 0.045s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.070s CPU, 0.069s wall-clock]
Translating task: [1.610s CPU, 1.604s wall-clock]
6030 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
90 propositions removed
Detecting unreachable propositions: [0.970s CPU, 0.965s wall-clock]
Reordering and filtering variables...
91 of 91 variables necessary.
46 of 91 mutex groups necessary.
4050 of 4050 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.500s CPU, 0.508s wall-clock]
Translator variables: 91
Translator derived variables: 0
Translator facts: 2162
Translator goal facts: 44
Translator mutex groups: 46
Translator total mutex groups size: 2116
Translator operators: 4050
Translator axioms: 0
Translator task size: 34653
Translator peak memory: 57480 KB
Writing output... [0.620s CPU, 0.671s wall-clock]
Done! [6.530s CPU, 6.579s wall-clock]
planner.py version 0.0.1

Time:	 1.17s
Memory: 123MB

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

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

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

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

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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 27943    (Eliminated:    0 Frozen: 8689)
Constraints  : 3503     (Binary:  90.3% Ternary:   5.0% Other:   4.7%)

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

[endof: stats after solve call]
Solving Time:	 0.05s
Memory:		 212MB (+9MB)
UNSAT
Iteration Time:	 0.77s

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

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

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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 56139    (Eliminated:    0 Frozen: 17839)
Constraints  : 29742    (Binary:  93.5% Ternary:   4.4% Other:   2.1%)

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

[endof: stats after solve call]
Solving Time:	 0.05s
Memory:		 247MB (+10MB)
UNSAT
Iteration Time:	 0.89s

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

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

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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 84984    (Eliminated:    0 Frozen: 27404)
Constraints  : 95651    (Binary:  94.3% Ternary:   4.3% Other:   1.4%)

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

[endof: stats after solve call]
Solving Time:	 0.05s
Memory:		 276MB (+12MB)
UNSAT
Iteration Time:	 0.88s

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

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

Choices      : 0       
Conflicts    : 0        (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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 114407   (Eliminated:    0 Frozen: 37200)
Constraints  : 194853   (Binary:  94.6% Ternary:   4.3% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 0.05s
Memory:		 308MB (+18MB)
UNSAT
Iteration Time:	 0.94s

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

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

Choices      : 0       
Conflicts    : 0        (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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 144425   (Eliminated:    0 Frozen: 47226)
Constraints  : 332305   (Binary:  94.8% Ternary:   4.3% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 0.06s
Memory:		 351MB (+21MB)
UNSAT
Iteration Time:	 1.13s

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

Models       : 0
Calls        : 7
Time         : 6.889s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 6.732s

Choices      : 0       
Conflicts    : 0        (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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 175138   (Eliminated:    0 Frozen: 57482)
Constraints  : 514257   (Binary:  94.9% Ternary:   4.2% Other:   0.9%)

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

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

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

Models       : 0
Calls        : 8
Time         : 7.896s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 7.740s

Choices      : 0       
Conflicts    : 1        (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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 206646   (Eliminated:    0 Frozen: 67968)
Constraints  : 746426   (Binary:  95.0% Ternary:   4.2% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 0.06s
Memory:		 403MB (+9MB)
UNSAT
Iteration Time:	 1.02s

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

Models       : 0
Calls        : 9
Time         : 8.868s (Solving: 0.01s 1st Model: 0.00s Unsat: 0.01s)
CPU Time     : 8.712s

Choices      : 0       
Conflicts    : 2        (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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 238857   (Eliminated:    0 Frozen: 78548)
Constraints  : 1000946  (Binary:  95.1% Ternary:   4.2% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 0.07s
Memory:		 456MB (+34MB)
UNSAT
Iteration Time:	 0.98s

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

Models       : 0
Calls        : 10
Time         : 9.864s (Solving: 0.02s 1st Model: 0.00s Unsat: 0.02s)
CPU Time     : 9.708s

Choices      : 0       
Conflicts    : 3        (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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 271068   (Eliminated:    0 Frozen: 89128)
Constraints  : 1255466  (Binary:  95.1% Ternary:   4.2% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 0.08s
Memory:		 470MB (+13MB)
UNSAT
Iteration Time:	 1.01s

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

Models       : 0
Calls        : 11
Time         : 11.228s (Solving: 0.04s 1st Model: 0.00s Unsat: 0.04s)
CPU Time     : 11.072s

Choices      : 0       
Conflicts    : 4        (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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 303279   (Eliminated:    0 Frozen: 99708)
Constraints  : 1509986  (Binary:  95.1% Ternary:   4.2% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 0.09s
Memory:		 521MB (+10MB)
UNSAT
Iteration Time:	 1.38s

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

Models       : 0
Calls        : 12
Time         : 12.254s (Solving: 0.06s 1st Model: 0.00s Unsat: 0.06s)
CPU Time     : 12.100s

Choices      : 0       
Conflicts    : 5        (Analyzed: 0)
Restarts     : 0       
Problems     : 12       (Average Length: 29.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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 335490   (Eliminated:    0 Frozen: 110288)
Constraints  : 1764506  (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.10s
Memory:		 579MB (+40MB)
UNSAT
Iteration Time:	 1.04s

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

Models       : 0
Calls        : 13
Time         : 13.318s (Solving: 0.10s 1st Model: 0.00s Unsat: 0.10s)
CPU Time     : 13.168s

Choices      : 0       
Conflicts    : 6        (Analyzed: 0)
Restarts     : 0       
Problems     : 13       (Average Length: 32.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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 367701   (Eliminated:    0 Frozen: 120868)
Constraints  : 2019026  (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.12s
Memory:		 601MB (+21MB)
UNSAT
Iteration Time:	 1.07s

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

Models       : 0
Calls        : 14
Time         : 14.425s (Solving: 0.15s 1st Model: 0.00s Unsat: 0.15s)
CPU Time     : 14.276s

Choices      : 0       
Conflicts    : 7        (Analyzed: 0)
Restarts     : 0       
Problems     : 14       (Average Length: 34.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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 399912   (Eliminated:    0 Frozen: 131448)
Constraints  : 2273546  (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.14s
Memory:		 632MB (+14MB)
UNSAT
Iteration Time:	 1.12s

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

Models       : 0
Calls        : 15
Time         : 15.571s (Solving: 0.18s 1st Model: 0.00s Unsat: 0.18s)
CPU Time     : 15.424s

Choices      : 0       
Conflicts    : 8        (Analyzed: 0)
Restarts     : 0       
Problems     : 15       (Average Length: 37.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        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 432123   (Eliminated:    0 Frozen: 142028)
Constraints  : 2528066  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.13s
Memory:		 662MB (+14MB)
UNSAT
Iteration Time:	 1.16s

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

Models       : 0
Calls        : 16
Time         : 16.744s (Solving: 0.22s 1st Model: 0.00s Unsat: 0.22s)
CPU Time     : 16.596s

Choices      : 3        (Domain: 3)
Conflicts    : 11       (Analyzed: 2)
Restarts     : 0       
Problems     : 16       (Average Length: 39.50 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: 40.50 Max:  79 Sum:     81)
  Executed   : 0        (Average:  1.50 Max:   2 Sum:      3 Ratio:   3.70%)
  Bounded    : 2        (Average: 39.00 Max:  77 Sum:     78 Ratio:  96.30%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 464334   (Eliminated:    0 Frozen: 152608)
Constraints  : 2782586  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.15s
Memory:		 693MB (+16MB)
UNSAT
Iteration Time:	 1.19s

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

Models       : 0
Calls        : 17
Time         : 17.963s (Solving: 0.29s 1st Model: 0.00s Unsat: 0.29s)
CPU Time     : 17.816s

Choices      : 74       (Domain: 74)
Conflicts    : 33       (Analyzed: 23)
Restarts     : 0       
Problems     : 17       (Average Length: 42.00 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: 77.96 Max:  88 Sum:   1793)
  Executed   : 0        (Average:  3.22 Max:   6 Sum:     74 Ratio:   4.13%)
  Bounded    : 23       (Average: 74.74 Max:  82 Sum:   1719 Ratio:  95.87%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 496545   (Eliminated:    0 Frozen: 163188)
Constraints  : 3021594  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.17s
Memory:		 761MB (+58MB)
UNSAT
Iteration Time:	 1.23s

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

Models       : 0
Calls        : 18
Time         : 19.293s (Solving: 0.42s 1st Model: 0.00s Unsat: 0.42s)
CPU Time     : 19.148s

Choices      : 245      (Domain: 245)
Conflicts    : 80       (Analyzed: 69)
Restarts     : 0       
Problems     : 18       (Average Length: 44.50 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: 85.22 Max:  93 Sum:   5880)
  Executed   : 0        (Average:  3.55 Max:   6 Sum:    245 Ratio:   4.17%)
  Bounded    : 69       (Average: 81.67 Max:  87 Sum:   5635 Ratio:  95.83%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 528756   (Eliminated:    0 Frozen: 173768)
Constraints  : 3171706  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.25s
Memory:		 769MB (+8MB)
UNSAT
Iteration Time:	 1.34s

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

Models       : 0
Calls        : 19
Time         : 20.814s (Solving: 0.68s 1st Model: 0.00s Unsat: 0.68s)
CPU Time     : 20.668s

Choices      : 516      (Domain: 516)
Conflicts    : 152      (Analyzed: 140)
Restarts     : 1        (Average: 140.00 Last: 46)
Problems     : 19       (Average Length: 47.00 Splits: 0)
Lemmas       : 140      (Deleted: 0)
  Binary     : 4        (Ratio:   2.86%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 140      (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    : 140      (Average: 89.94 Max:  98 Sum:  12592)
  Executed   : 0        (Average:  3.69 Max:   6 Sum:    516 Ratio:   4.10%)
  Bounded    : 140      (Average: 86.26 Max:  92 Sum:  12076 Ratio:  95.90%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 560967   (Eliminated:    0 Frozen: 184348)
Constraints  : 3281664  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.39s
Memory:		 796MB (+21MB)
UNSAT
Iteration Time:	 1.54s

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

Models       : 0
Calls        : 20
Time         : 22.557s (Solving: 1.12s 1st Model: 0.00s Unsat: 1.12s)
CPU Time     : 22.412s

Choices      : 887      (Domain: 887)
Conflicts    : 249      (Analyzed: 236)
Restarts     : 2        (Average: 118.00 Last: 46)
Problems     : 20       (Average Length: 49.50 Splits: 0)
Lemmas       : 236      (Deleted: 0)
  Binary     : 5        (Ratio:   2.12%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 236      (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    : 236      (Average: 93.98 Max: 103 Sum:  22179)
  Executed   : 0        (Average:  3.76 Max:   6 Sum:    887 Ratio:   4.00%)
  Bounded    : 236      (Average: 90.22 Max:  97 Sum:  21292 Ratio:  96.00%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 593178   (Eliminated:    0 Frozen: 194928)
Constraints  : 3357722  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.57s
Memory:		 824MB (+20MB)
UNSAT
Iteration Time:	 1.76s

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

Models       : 0
Calls        : 21
Time         : 24.559s (Solving: 1.78s 1st Model: 0.00s Unsat: 1.78s)
CPU Time     : 24.412s

Choices      : 1358     (Domain: 1358)
Conflicts    : 371      (Analyzed: 357)
Restarts     : 4        (Average: 89.25 Last: 46)
Problems     : 21       (Average Length: 52.00 Splits: 0)
Lemmas       : 357      (Deleted: 0)
  Binary     : 6        (Ratio:   1.68%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 357      (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    : 357      (Average: 97.73 Max: 108 Sum:  34891)
  Executed   : 0        (Average:  3.80 Max:   6 Sum:   1358 Ratio:   3.89%)
  Bounded    : 357      (Average: 93.93 Max: 102 Sum:  33533 Ratio:  96.11%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 625389   (Eliminated:    0 Frozen: 205508)
Constraints  : 3406630  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.80s
Memory:		 846MB (+20MB)
UNSAT
Iteration Time:	 2.02s

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: 914.0MB
Grounding...	 [('step', [101]), ('step', [102]), ('step', [103]), ('step', [104]), ('step', [105]), ('check', [105])]
Grounding Time:	 1.36s
Memory:		 898MB (+52MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 22
Time         : 27.193s (Solving: 2.32s 1st Model: 0.00s Unsat: 2.32s)
CPU Time     : 27.048s

Choices      : 1419     (Domain: 1419)
Conflicts    : 409      (Analyzed: 394)
Restarts     : 4        (Average: 98.50 Last: 46)
Problems     : 22       (Average Length: 54.50 Splits: 0)
Lemmas       : 394      (Deleted: 0)
  Binary     : 12       (Ratio:   3.05%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 394      (Average Length:  547.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 394      (Average: 88.71 Max: 108 Sum:  34953)
  Executed   : 36       (Average:  3.60 Max:  12 Sum:   1419 Ratio:   4.06%)
  Bounded    : 358      (Average: 93.67 Max: 102 Sum:  33534 Ratio:  95.94%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 657600   (Eliminated:    0 Frozen: 216088)
Constraints  : 3437263  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.68s
Memory:		 922MB (+24MB)
UNSAT
Iteration Time:	 2.66s

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: 998.0MB
Grounding...	 [('step', [106]), ('step', [107]), ('step', [108]), ('step', [109]), ('step', [110]), ('check', [110])]
Grounding Time:	 0.62s
Memory:		 925MB (+3MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 23
Time         : 41.445s (Solving: 15.29s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 41.304s

Choices      : 35944    (Domain: 35944)
Conflicts    : 3589     (Analyzed: 3573)
Restarts     : 36       (Average: 99.25 Last: 46)
Problems     : 23       (Average Length: 57.00 Splits: 0)
Lemmas       : 3573     (Deleted: 964)
  Binary     : 32       (Ratio:   0.90%)
  Ternary    : 5        (Ratio:   0.14%)
  Conflict   : 3573     (Average Length: 3679.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 3573     (Average: 22.69 Max: 676 Sum:  81088)
  Executed   : 3100     (Average:  9.77 Max: 676 Sum:  34902 Ratio:  43.04%)
  Bounded    : 473      (Average: 97.64 Max: 112 Sum:  46186 Ratio:  56.96%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 689811   (Eliminated:    0 Frozen: 226668)
Constraints  : 3691783  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 13.12s
Memory:		 946MB (+21MB)
UNSAT
Iteration Time:	 14.28s

Iteration 24
Queue:		 [(23,115,0,True), (24,120,0,True), (25,125,0,True), (26,130,0,True), (27,135,0,True)]
Grounded Until:	 110
Expected Memory: 1022.0MB
Grounding...	 [('step', [111]), ('step', [112]), ('step', [113]), ('step', [114]), ('step', [115]), ('check', [115])]
Grounding Time:	 0.61s
Memory:		 950MB (+4MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 24
Time         : 108.937s (Solving: 81.44s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 108.828s

Choices      : 150728   (Domain: 150728)
Conflicts    : 13215    (Analyzed: 13199)
Restarts     : 136      (Average: 97.05 Last: 62)
Problems     : 24       (Average Length: 59.50 Splits: 0)
Lemmas       : 13199    (Deleted: 9384)
  Binary     : 67       (Ratio:   0.51%)
  Ternary    : 6        (Ratio:   0.05%)
  Conflict   : 13199    (Average Length: 5266.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 13199    (Average: 14.89 Max: 993 Sum: 196518)
  Executed   : 12697    (Average: 11.18 Max: 993 Sum: 147519 Ratio:  75.07%)
  Bounded    : 502      (Average: 97.61 Max: 117 Sum:  48999 Ratio:  24.93%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 722022   (Eliminated:    0 Frozen: 237248)
Constraints  : 3918302  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 66.35s
Memory:		 1067MB (+117MB)
UNKNOWN
Iteration Time:	 67.54s

Iteration 25
Queue:		 [(24,120,0,True), (25,125,0,True), (26,130,0,True), (27,135,0,True)]
Grounded Until:	 115
Expected Memory: 1188.0MB
Grounding...	 [('step', [116]), ('step', [117]), ('step', [118]), ('step', [119]), ('step', [120]), ('check', [120])]
Grounding Time:	 0.62s
Memory:		 1068MB (+1MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 25
Time         : 155.582s (Solving: 126.75s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 155.492s

Choices      : 329781   (Domain: 329781)
Conflicts    : 21666    (Analyzed: 21650)
Restarts     : 236      (Average: 91.74 Last: 75)
Problems     : 25       (Average Length: 62.00 Splits: 0)
Lemmas       : 21650    (Deleted: 16480)
  Binary     : 177      (Ratio:   0.82%)
  Ternary    : 7        (Ratio:   0.03%)
  Conflict   : 21650    (Average Length: 6951.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 21650    (Average: 16.70 Max: 1977 Sum: 361556)
  Executed   : 21143    (Average: 14.44 Max: 1977 Sum: 312552 Ratio:  86.45%)
  Bounded    : 507      (Average: 96.65 Max: 117 Sum:  49004 Ratio:  13.55%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 754233   (Eliminated:    0 Frozen: 247828)
Constraints  : 4172222  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 45.50s
Memory:		 1162MB (+94MB)
UNKNOWN
Iteration Time:	 46.69s

Iteration 26
Queue:		 [(25,125,0,True), (26,130,0,True), (27,135,0,True)]
Grounded Until:	 120
Expected Memory: 1283.0MB
Grounding...	 [('step', [121]), ('step', [122]), ('step', [123]), ('step', [124]), ('step', [125]), ('check', [125])]
Grounding Time:	 0.63s
Memory:		 1178MB (+16MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 26
Time         : 214.750s (Solving: 184.47s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 214.688s

Choices      : 740017   (Domain: 740017)
Conflicts    : 30631    (Analyzed: 30615)
Restarts     : 336      (Average: 91.12 Last: 134)
Problems     : 26       (Average Length: 64.50 Splits: 0)
Lemmas       : 30615    (Deleted: 27060)
  Binary     : 218      (Ratio:   0.71%)
  Ternary    : 7        (Ratio:   0.02%)
  Conflict   : 30615    (Average Length: 7386.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 30615    (Average: 24.47 Max: 2156 Sum: 749199)
  Executed   : 30104    (Average: 22.87 Max: 2156 Sum: 700191 Ratio:  93.46%)
  Bounded    : 511      (Average: 95.91 Max: 117 Sum:  49008 Ratio:   6.54%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 786444   (Eliminated:    0 Frozen: 258408)
Constraints  : 4426742  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 57.95s
Memory:		 1260MB (+82MB)
UNKNOWN
Iteration Time:	 59.21s

Iteration 27
Queue:		 [(26,130,0,True), (27,135,0,True)]
Grounded Until:	 125
Expected Memory: 1381.0MB
Grounding...	 [('step', [126]), ('step', [127]), ('step', [128]), ('step', [129]), ('step', [130]), ('check', [130])]
Grounding Time:	 0.63s
Memory:		 1273MB (+13MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 27
Time         : 254.573s (Solving: 222.90s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 254.528s

Choices      : 1440306  (Domain: 1440306)
Conflicts    : 39867    (Analyzed: 39851)
Restarts     : 436      (Average: 91.40 Last: 134)
Problems     : 27       (Average Length: 67.00 Splits: 0)
Lemmas       : 39851    (Deleted: 35914)
  Binary     : 387      (Ratio:   0.97%)
  Ternary    : 7        (Ratio:   0.02%)
  Conflict   : 39851    (Average Length: 8550.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 39851    (Average: 32.80 Max: 5005 Sum: 1306997)
  Executed   : 39333    (Average: 31.57 Max: 5005 Sum: 1257982 Ratio:  96.25%)
  Bounded    : 518      (Average: 94.62 Max: 117 Sum:  49015 Ratio:   3.75%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 818655   (Eliminated:    0 Frozen: 268988)
Constraints  : 4681262  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 38.63s
Memory:		 1303MB (+30MB)
UNKNOWN
Iteration Time:	 39.85s

Iteration 28
Queue:		 [(27,135,0,True)]
Grounded Until:	 130
Expected Memory: 1424.0MB
Grounding...	 [('step', [131]), ('step', [132]), ('step', [133]), ('step', [134]), ('step', [135]), ('check', [135])]
Grounding Time:	 0.66s
Memory:		 1303MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 28
Time         : 293.155s (Solving: 260.02s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 293.124s

Choices      : 2568704  (Domain: 2568704)
Conflicts    : 48069    (Analyzed: 48053)
Restarts     : 536      (Average: 89.65 Last: 134)
Problems     : 28       (Average Length: 69.50 Splits: 0)
Lemmas       : 48053    (Deleted: 42712)
  Binary     : 466      (Ratio:   0.97%)
  Ternary    : 7        (Ratio:   0.01%)
  Conflict   : 48053    (Average Length: 9311.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 48053    (Average: 44.01 Max: 9498 Sum: 2114950)
  Executed   : 47527    (Average: 42.99 Max: 9498 Sum: 2065927 Ratio:  97.68%)
  Bounded    : 526      (Average: 93.20 Max: 117 Sum:  49023 Ratio:   2.32%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 850866   (Eliminated:    0 Frozen: 279568)
Constraints  : 4935782  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 37.34s
Memory:		 1333MB (+30MB)
UNKNOWN
Iteration Time:	 38.61s

Iteration 29
Queue:		 [(23,115,1,True), (24,120,1,True), (25,125,1,True), (26,130,1,True), (27,135,1,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True), (33,165,0,True), (34,170,0,True), (35,175,0,True), (36,180,0,True)]
Grounded Until:	 135
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 29
Time         : 347.903s (Solving: 314.51s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 347.896s

Choices      : 2739261  (Domain: 2739261)
Conflicts    : 57575    (Analyzed: 57559)
Restarts     : 636      (Average: 90.50 Last: 134)
Problems     : 29       (Average Length: 71.83 Splits: 0)
Lemmas       : 57559    (Deleted: 53005)
  Binary     : 468      (Ratio:   0.81%)
  Ternary    : 10       (Ratio:   0.02%)
  Conflict   : 57559    (Average Length: 8654.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 57559    (Average: 39.63 Max: 9498 Sum: 2280788)
  Executed   : 57029    (Average: 38.76 Max: 9498 Sum: 2231217 Ratio:  97.83%)
  Bounded    : 530      (Average: 93.53 Max: 137 Sum:  49571 Ratio:   2.17%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 850866   (Eliminated:    0 Frozen: 279568)
Constraints  : 4935782  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1429MB
Max. Length  : 135 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 54.66s
Memory:		 1339MB (+6MB)
UNKNOWN
Iteration Time:	 54.78s

Iteration 30
Queue:		 [(24,120,1,True), (25,125,1,True), (26,130,1,True), (27,135,1,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True), (33,165,0,True), (34,170,0,True), (35,175,0,True), (36,180,0,True)]
Grounded Until:	 135
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 30
Time         : 405.249s (Solving: 371.64s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 405.268s

Choices      : 2986494  (Domain: 2986494)
Conflicts    : 66948    (Analyzed: 66932)
Restarts     : 736      (Average: 90.94 Last: 134)
Problems     : 30       (Average Length: 74.00 Splits: 0)
Lemmas       : 66932    (Deleted: 62527)
  Binary     : 475      (Ratio:   0.71%)
  Ternary    : 10       (Ratio:   0.01%)
  Conflict   : 66932    (Average Length: 8305.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 66932    (Average: 37.64 Max: 9498 Sum: 2519289)
  Executed   : 66402    (Average: 36.90 Max: 9498 Sum: 2469718 Ratio:  98.03%)
  Bounded    : 530      (Average: 93.53 Max: 137 Sum:  49571 Ratio:   1.97%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 850866   (Eliminated:    0 Frozen: 279568)
Constraints  : 4935682  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1429MB
Max. Length  : 135 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 57.29s
Memory:		 1339MB (+0MB)
UNKNOWN
Iteration Time:	 57.37s

Iteration 31
Queue:		 [(25,125,1,True), (26,130,1,True), (27,135,1,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True), (33,165,0,True), (34,170,0,True), (35,175,0,True), (36,180,0,True)]
Grounded Until:	 135
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 31
Time         : 440.148s (Solving: 406.31s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 440.180s

Choices      : 3448531  (Domain: 3448531)
Conflicts    : 75042    (Analyzed: 75026)
Restarts     : 836      (Average: 89.74 Last: 134)
Problems     : 31       (Average Length: 76.03 Splits: 0)
Lemmas       : 75026    (Deleted: 69454)
  Binary     : 637      (Ratio:   0.85%)
  Ternary    : 14       (Ratio:   0.02%)
  Conflict   : 75026    (Average Length: 8687.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 75026    (Average: 38.02 Max: 9498 Sum: 2852860)
  Executed   : 74494    (Average: 37.36 Max: 9498 Sum: 2803287 Ratio:  98.26%)
  Bounded    : 532      (Average: 93.18 Max: 137 Sum:  49573 Ratio:   1.74%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 850866   (Eliminated:    0 Frozen: 279568)
Constraints  : 4935682  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1429MB
Max. Length  : 135 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 34.82s
Memory:		 1339MB (+0MB)
UNKNOWN
Iteration Time:	 34.92s

Iteration 32
Queue:		 [(26,130,1,True), (27,135,1,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True), (33,165,0,True), (34,170,0,True), (35,175,0,True), (36,180,0,True)]
Grounded Until:	 135
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 32
Time         : 472.245s (Solving: 438.18s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 472.288s

Choices      : 4161455  (Domain: 4161455)
Conflicts    : 83555    (Analyzed: 83539)
Restarts     : 936      (Average: 89.25 Last: 134)
Problems     : 32       (Average Length: 77.94 Splits: 0)
Lemmas       : 83539    (Deleted: 77217)
  Binary     : 698      (Ratio:   0.84%)
  Ternary    : 14       (Ratio:   0.02%)
  Conflict   : 83539    (Average Length: 8985.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 83539    (Average: 40.50 Max: 9498 Sum: 3383024)
  Executed   : 83001    (Average: 39.90 Max: 9498 Sum: 3333445 Ratio:  98.53%)
  Bounded    : 538      (Average: 92.15 Max: 137 Sum:  49579 Ratio:   1.47%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 850866   (Eliminated:    0 Frozen: 279568)
Constraints  : 4935682  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1429MB
Max. Length  : 135 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 32.02s
Memory:		 1339MB (+0MB)
UNKNOWN
Iteration Time:	 32.11s

Iteration 33
Queue:		 [(27,135,1,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True), (33,165,0,True), (34,170,0,True), (35,175,0,True), (36,180,0,True)]
Grounded Until:	 135
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 33
Time         : 503.335s (Solving: 469.01s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 503.392s

Choices      : 4862187  (Domain: 4862187)
Conflicts    : 91872    (Analyzed: 91856)
Restarts     : 1036     (Average: 88.66 Last: 134)
Problems     : 33       (Average Length: 79.73 Splits: 0)
Lemmas       : 91856    (Deleted: 85568)
  Binary     : 724      (Ratio:   0.79%)
  Ternary    : 14       (Ratio:   0.02%)
  Conflict   : 91856    (Average Length: 9107.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 91856    (Average: 42.25 Max: 9498 Sum: 3880544)
  Executed   : 91317    (Average: 41.71 Max: 9498 Sum: 3830964 Ratio:  98.72%)
  Bounded    : 539      (Average: 91.99 Max: 137 Sum:  49580 Ratio:   1.28%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 850866   (Eliminated:    0 Frozen: 279568)
Constraints  : 4935682  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1429MB
Max. Length  : 135 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 30.99s
Memory:		 1339MB (+0MB)
UNKNOWN
Iteration Time:	 31.11s

Iteration 34
Queue:		 [(28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True), (33,165,0,True), (34,170,0,True), (35,175,0,True), (36,180,0,True)]
Grounded Until:	 135
Expected Memory: 1460.0MB
Grounding...	 [('step', [136]), ('step', [137]), ('step', [138]), ('step', [139]), ('step', [140]), ('check', [140])]
Grounding Time:	 0.63s
Memory:		 1342MB (+3MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 34
Time         : 545.482s (Solving: 509.67s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 545.556s

Choices      : 5939250  (Domain: 5939250)
Conflicts    : 100982   (Analyzed: 100966)
Restarts     : 1136     (Average: 88.88 Last: 134)
Problems     : 34       (Average Length: 81.56 Splits: 0)
Lemmas       : 100966   (Deleted: 96054)
  Binary     : 868      (Ratio:   0.86%)
  Ternary    : 16       (Ratio:   0.02%)
  Conflict   : 100966   (Average Length: 9334.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 100966   (Average: 46.14 Max: 10031 Sum: 4658735)
  Executed   : 100419   (Average: 45.65 Max: 10031 Sum: 4609147 Ratio:  98.94%)
  Bounded    : 547      (Average: 90.65 Max: 137 Sum:  49588 Ratio:   1.06%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 883077   (Eliminated:    0 Frozen: 290148)
Constraints  : 5190202  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1473MB
Max. Length  : 135 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 40.89s
Memory:		 1369MB (+27MB)
UNKNOWN
Iteration Time:	 42.18s

Iteration 35
Queue:		 [(29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True), (33,165,0,True), (34,170,0,True), (35,175,0,True), (36,180,0,True)]
Grounded Until:	 140
Expected Memory: 1490.0MB
Grounding...	 [('step', [141]), ('step', [142]), ('step', [143]), ('step', [144]), ('step', [145]), ('check', [145])]
Grounding Time:	 0.68s
Memory:		 1369MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 35
Time         : 580.408s (Solving: 543.09s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 580.496s

Choices      : 7230000  (Domain: 7230000)
Conflicts    : 109609   (Analyzed: 109593)
Restarts     : 1236     (Average: 88.67 Last: 134)
Problems     : 35       (Average Length: 83.43 Splits: 0)
Lemmas       : 109593   (Deleted: 105074)
  Binary     : 982      (Ratio:   0.90%)
  Ternary    : 17       (Ratio:   0.02%)
  Conflict   : 109593   (Average Length: 9325.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 109593   (Average: 51.54 Max: 13651 Sum: 5648433)
  Executed   : 109038   (Average: 51.09 Max: 13651 Sum: 5598837 Ratio:  99.12%)
  Bounded    : 555      (Average: 89.36 Max: 137 Sum:  49596 Ratio:   0.88%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 915288   (Eliminated:    0 Frozen: 300728)
Constraints  : 5444722  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1505MB
Max. Length  : 140 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 33.63s
Memory:		 1399MB (+30MB)
UNKNOWN
Iteration Time:	 34.96s

Iteration 36
Queue:		 [(30,150,0,True), (31,155,0,True), (32,160,0,True), (33,165,0,True), (34,170,0,True), (35,175,0,True), (36,180,0,True)]
Grounded Until:	 145
Expected Memory: 1520.0MB
Grounding...	 [('step', [146]), ('step', [147]), ('step', [148]), ('step', [149]), ('step', [150]), ('check', [150])]
Grounding Time:	 0.63s
Memory:		 1399MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 36
Time         : 618.305s (Solving: 579.50s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 618.408s

Choices      : 8530126  (Domain: 8530126)
Conflicts    : 118951   (Analyzed: 118935)
Restarts     : 1336     (Average: 89.02 Last: 134)
Problems     : 36       (Average Length: 85.33 Splits: 0)
Lemmas       : 118935   (Deleted: 113540)
  Binary     : 1083     (Ratio:   0.91%)
  Ternary    : 17       (Ratio:   0.01%)
  Conflict   : 118935   (Average Length: 9305.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 118935   (Average: 56.14 Max: 17840 Sum: 6676785)
  Executed   : 118372   (Average: 55.72 Max: 17840 Sum: 6627181 Ratio:  99.26%)
  Bounded    : 563      (Average: 88.11 Max: 137 Sum:  49604 Ratio:   0.74%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 947499   (Eliminated:    0 Frozen: 311308)
Constraints  : 5699242  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1534MB
Max. Length  : 145 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 36.63s
Memory:		 1424MB (+25MB)
UNKNOWN
Iteration Time:	 37.93s

Iteration 37
Queue:		 [(31,155,0,True), (32,160,0,True), (33,165,0,True), (34,170,0,True), (35,175,0,True), (36,180,0,True)]
Grounded Until:	 150
Expected Memory: 1545.0MB
Grounding...	 [('step', [151]), ('step', [152]), ('step', [153]), ('step', [154]), ('step', [155]), ('check', [155])]
Grounding Time:	 0.63s
Memory:		 1424MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 37
Time         : 657.325s (Solving: 617.00s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 657.444s

Choices      : 9523980  (Domain: 9523980)
Conflicts    : 127375   (Analyzed: 127359)
Restarts     : 1436     (Average: 88.69 Last: 134)
Problems     : 37       (Average Length: 87.27 Splits: 0)
Lemmas       : 127359   (Deleted: 120433)
  Binary     : 1159     (Ratio:   0.91%)
  Ternary    : 17       (Ratio:   0.01%)
  Conflict   : 127359   (Average Length: 9461.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 127359   (Average: 58.41 Max: 22747 Sum: 7438765)
  Executed   : 126787   (Average: 58.02 Max: 22747 Sum: 7389152 Ratio:  99.33%)
  Bounded    : 572      (Average: 86.74 Max: 137 Sum:  49613 Ratio:   0.67%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 979710   (Eliminated:    0 Frozen: 321888)
Constraints  : 5953762  (Binary:  95.2% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1566MB
Max. Length  : 150 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 37.73s
Memory:		 1451MB (+27MB)
UNKNOWN
Iteration Time:	 39.05s

Iteration 38
Queue:		 [(32,160,0,True), (33,165,0,True), (34,170,0,True), (35,175,0,True), (36,180,0,True)]
Grounded Until:	 155
Expected Memory: 1572.0MB
Grounding...	 [('step', [156]), ('step', [157]), ('step', [158]), ('step', [159]), ('step', [160]), ('check', [160])]
Grounding Time:	 0.63s
Memory:		 1451MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 38
Time         : 699.606s (Solving: 657.74s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 699.740s

Choices      : 10696076 (Domain: 10696076)
Conflicts    : 136466   (Analyzed: 136450)
Restarts     : 1536     (Average: 88.83 Last: 134)
Problems     : 38       (Average Length: 89.24 Splits: 0)
Lemmas       : 136450   (Deleted: 130931)
  Binary     : 1207     (Ratio:   0.88%)
  Ternary    : 17       (Ratio:   0.01%)
  Conflict   : 136450   (Average Length: 9580.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 136450   (Average: 61.22 Max: 24139 Sum: 8353144)
  Executed   : 135872   (Average: 60.85 Max: 24139 Sum: 8303525 Ratio:  99.41%)
  Bounded    : 578      (Average: 85.85 Max: 137 Sum:  49619 Ratio:   0.59%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1011921  (Eliminated:    0 Frozen: 332468)
Constraints  : 6208282  (Binary:  95.2% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1598MB
Max. Length  : 155 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 40.98s
Memory:		 1480MB (+29MB)
UNKNOWN
Iteration Time:	 42.32s

Iteration 39
Queue:		 [(33,165,0,True), (34,170,0,True), (35,175,0,True), (36,180,0,True)]
Grounded Until:	 160
Expected Memory: 1601.0MB
Grounding...	 [('step', [161]), ('step', [162]), ('step', [163]), ('step', [164]), ('step', [165]), ('check', [165])]
Grounding Time:	 0.64s
Memory:		 1480MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 39
Time         : 738.019s (Solving: 694.60s 1st Model: 0.00s Unsat: 15.29s)
CPU Time     : 738.172s

Choices      : 12388603 (Domain: 12388603)
Conflicts    : 144457   (Analyzed: 144441)
Restarts     : 1636     (Average: 88.29 Last: 134)
Problems     : 39       (Average Length: 91.23 Splits: 0)
Lemmas       : 144441   (Deleted: 137574)
  Binary     : 1289     (Ratio:   0.89%)
  Ternary    : 17       (Ratio:   0.01%)
  Conflict   : 144441   (Average Length: 9555.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 144441   (Average: 67.58 Max: 25128 Sum: 9761607)
  Executed   : 143858   (Average: 67.24 Max: 25128 Sum: 9711983 Ratio:  99.49%)
  Bounded    : 583      (Average: 85.12 Max: 137 Sum:  49624 Ratio:   0.51%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1044132  (Eliminated:    0 Frozen: 343048)
Constraints  : 6462802  (Binary:  95.2% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1627MB
Max. Length  : 160 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 37.09s
Memory:		 1505MB (+25MB)
UNKNOWN
Iteration Time:	 38.44s

Iteration 40
Queue:		 [(34,170,0,True), (35,175,0,True), (36,180,0,True)]
Grounded Until:	 165
Expected Memory: 1626.0MB
Grounding...	 [('step', [166]), ('step', [167]), ('step', [168]), ('step', [169]), ('step', [170]), ('check', [170])]
Grounding Time:	 0.64s
Memory:		 1505MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 1+
Calls        : 40
Time         : 744.225s (Solving: 699.18s 1st Model: 4.50s Unsat: 15.29s)
CPU Time     : 744.384s

Choices      : 12825072 (Domain: 12825072)
Conflicts    : 145337   (Analyzed: 145321)
Restarts     : 1646     (Average: 88.29 Last: 134)
Model-Level  : 13018.0 
Problems     : 40       (Average Length: 93.25 Splits: 0)
Lemmas       : 145321   (Deleted: 137574)
  Binary     : 1308     (Ratio:   0.90%)
  Ternary    : 18       (Ratio:   0.01%)
  Conflict   : 145321   (Average Length: 9532.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 145321   (Average: 69.82 Max: 29827 Sum: 10146315)
  Executed   : 144735   (Average: 69.48 Max: 29827 Sum: 10096688 Ratio:  99.51%)
  Bounded    : 586      (Average: 84.69 Max: 137 Sum:  49627 Ratio:   0.49%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1076343  (Eliminated:    0 Frozen: 353628)
Constraints  : 6717322  (Binary:  95.2% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1657MB
Max. Length  : 165 steps
Models       : 1

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

Models       : 1+
Calls        : 40
Time         : 744.225s (Solving: 699.18s 1st Model: 4.50s Unsat: 15.29s)
CPU Time     : 744.384s

Choices      : 12825072 (Domain: 12825072)
Conflicts    : 145337   (Analyzed: 145321)
Restarts     : 1646     (Average: 88.29 Last: 134)
Model-Level  : 13018.0 
Problems     : 40       (Average Length: 93.25 Splits: 0)
Lemmas       : 145321   (Deleted: 137574)
  Binary     : 1308     (Ratio:   0.90%)
  Ternary    : 18       (Ratio:   0.01%)
  Conflict   : 145321   (Average Length: 9532.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 145321   (Average: 69.82 Max: 29827 Sum: 10146315)
  Executed   : 144735   (Average: 69.48 Max: 29827 Sum: 10096688 Ratio:  99.51%)
  Bounded    : 586      (Average: 84.69 Max: 137 Sum:  49627 Ratio:   0.49%)

Rules        : 106173  
Atoms        : 106173  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1076343  (Eliminated:    0 Frozen: 353628)
Constraints  : 6717322  (Binary:  95.2% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1657MB
Max. Length  : 170 steps
Sol. Length  : 170 steps
Models       : 1


