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-94.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-94.pddl
Parsing...
Parsing: [0.010s CPU, 0.016s wall-clock]
Normalizing task... [0.010s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.010s CPU, 0.006s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.000s CPU, 0.010s wall-clock]
Preparing model... [0.010s CPU, 0.013s wall-clock]
Generated 21 rules.
Computing model... [0.790s CPU, 0.783s wall-clock]
6718 relevant atoms
4462 auxiliary atoms
11180 final queue length
19738 total queue pushes
Completing instantiation... [1.420s CPU, 1.422s wall-clock]
Instantiating: [2.240s CPU, 2.243s wall-clock]
Computing fact groups...
Finding invariants...
10 initial candidates
Finding invariants: [0.030s CPU, 0.029s wall-clock]
Checking invariant weight... [0.010s CPU, 0.007s wall-clock]
Instantiating groups... [0.080s CPU, 0.083s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.018s wall-clock]
Choosing groups...
47 uncovered facts
Choosing groups: [0.090s CPU, 0.087s wall-clock]
Building translation key... [0.030s CPU, 0.029s wall-clock]
Computing fact groups: [0.470s CPU, 0.466s wall-clock]
Building STRIPS to SAS dictionary... [0.070s CPU, 0.075s wall-clock]
Building dictionary for full mutex groups... [0.030s CPU, 0.030s wall-clock]
Building mutex information...
Building mutex information: [0.050s CPU, 0.049s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.070s CPU, 0.070s wall-clock]
Translating task: [1.670s CPU, 1.666s wall-clock]
6302 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
92 propositions removed
Detecting unreachable propositions: [1.000s CPU, 1.001s wall-clock]
Reordering and filtering variables...
93 of 93 variables necessary.
47 of 93 mutex groups necessary.
4232 of 4232 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.520s CPU, 0.528s wall-clock]
Translator variables: 93
Translator derived variables: 0
Translator facts: 2256
Translator goal facts: 45
Translator mutex groups: 47
Translator total mutex groups size: 2209
Translator operators: 4232
Translator axioms: 0
Translator task size: 36205
Translator peak memory: 58212 KB
Writing output... [0.610s CPU, 0.649s wall-clock]
Done! [6.760s CPU, 6.801s wall-clock]
planner.py version 0.0.1

Time:	 1.23s
Memory: 126MB

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

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

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

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

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        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 29161    (Eliminated:    0 Frozen: 29161)
Constraints  : 3370     (Binary:  90.1% Ternary:   5.2% Other:   4.7%)

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

[endof: stats after solve call]
Solving Time:	 0.42s
Memory:		 220MB (+11MB)
UNSAT
Iteration Time:	 1.17s

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

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

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        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 58527    (Eliminated:    0 Frozen: 58527)
Constraints  : 19272    (Binary:  92.5% Ternary:   4.8% Other:   2.7%)

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

[endof: stats after solve call]
Solving Time:	 0.44s
Memory:		 254MB (+10MB)
UNSAT
Iteration Time:	 1.33s

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

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

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        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 88148    (Eliminated:    0 Frozen: 88148)
Constraints  : 52174    (Binary:  93.4% Ternary:   4.6% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 0.46s
Memory:		 285MB (+16MB)
UNSAT
Iteration Time:	 1.34s

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

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

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        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 118124   (Eliminated:    0 Frozen: 118124)
Constraints  : 108326   (Binary:  94.0% Ternary:   4.5% Other:   1.6%)

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

[endof: stats after solve call]
Solving Time:	 0.50s
Memory:		 314MB (+18MB)
UNSAT
Iteration Time:	 1.44s

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

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

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        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 148555   (Eliminated:    0 Frozen: 148555)
Constraints  : 193978   (Binary:  94.3% Ternary:   4.4% Other:   1.3%)

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

[endof: stats after solve call]
Solving Time:	 0.57s
Memory:		 357MB (+22MB)
UNSAT
Iteration Time:	 1.67s

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

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

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

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

[endof: stats after solve call]
Solving Time:	 0.66s
Memory:		 384MB (+16MB)
UNSAT
Iteration Time:	 1.64s

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

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

Choices      : 0       
Conflicts    : 0        (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        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 211182   (Eliminated:    0 Frozen: 211182)
Constraints  : 478782   (Binary:  94.7% Ternary:   4.3% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 0.80s
Memory:		 413MB (+16MB)
UNSAT
Iteration Time:	 2.03s

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

Models       : 0
Calls        : 9
Time         : 14.000s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 13.844s

Choices      : 0       
Conflicts    : 0        (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        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 243578   (Eliminated:    0 Frozen: 243578)
Constraints  : 690434   (Binary:  94.9% Ternary:   4.3% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 0.99s
Memory:		 461MB (+38MB)
UNSAT
Iteration Time:	 2.04s

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.65s
Memory:		 461MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 10
Time         : 16.281s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 16.124s

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

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

[endof: stats after solve call]
Solving Time:	 1.23s
Memory:		 480MB (+19MB)
UNSAT
Iteration Time:	 2.29s

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

Models       : 0
Calls        : 11
Time         : 18.843s (Solving: 0.01s 1st Model: 0.00s Unsat: 0.01s)
CPU Time     : 18.688s

Choices      : 0       
Conflicts    : 2        (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        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 310445   (Eliminated:    0 Frozen: 310445)
Constraints  : 1214933  (Binary:  95.0% Ternary:   4.2% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 1.27s
Memory:		 533MB (+19MB)
UNSAT
Iteration Time:	 2.57s

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

Models       : 0
Calls        : 12
Time         : 21.084s (Solving: 0.03s 1st Model: 0.00s Unsat: 0.03s)
CPU Time     : 20.928s

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

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

[endof: stats after solve call]
Solving Time:	 1.28s
Memory:		 594MB (+51MB)
UNSAT
Iteration Time:	 2.25s

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

Models       : 0
Calls        : 13
Time         : 23.360s (Solving: 0.05s 1st Model: 0.00s Unsat: 0.05s)
CPU Time     : 23.204s

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

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

[endof: stats after solve call]
Solving Time:	 1.29s
Memory:		 616MB (+22MB)
UNSAT
Iteration Time:	 2.29s

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

Models       : 0
Calls        : 14
Time         : 25.676s (Solving: 0.08s 1st Model: 0.00s Unsat: 0.08s)
CPU Time     : 25.520s

Choices      : 0       
Conflicts    : 5        (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        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 411293   (Eliminated:    0 Frozen: 411293)
Constraints  : 2012708  (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.30s
Memory:		 650MB (+22MB)
UNSAT
Iteration Time:	 2.33s

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

Models       : 0
Calls        : 15
Time         : 28.026s (Solving: 0.11s 1st Model: 0.00s Unsat: 0.11s)
CPU Time     : 27.872s

Choices      : 0       
Conflicts    : 6        (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        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 444909   (Eliminated:    0 Frozen: 444909)
Constraints  : 2278633  (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.31s
Memory:		 681MB (+23MB)
UNSAT
Iteration Time:	 2.36s

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

Models       : 0
Calls        : 16
Time         : 30.401s (Solving: 0.15s 1st Model: 0.00s Unsat: 0.15s)
CPU Time     : 30.248s

Choices      : 0       
Conflicts    : 7        (Analyzed: 0)
Restarts     : 0       
Problems     : 16       (Average Length: 39.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        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 478525   (Eliminated:    0 Frozen: 478525)
Constraints  : 2544558  (Binary:  95.1% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.33s
Memory:		 710MB (+25MB)
UNSAT
Iteration Time:	 2.39s

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

Models       : 0
Calls        : 17
Time         : 32.829s (Solving: 0.19s 1st Model: 0.00s Unsat: 0.19s)
CPU Time     : 32.676s

Choices      : 0       
Conflicts    : 8        (Analyzed: 0)
Restarts     : 0       
Problems     : 17       (Average Length: 42.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        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 512141   (Eliminated:    0 Frozen: 512141)
Constraints  : 2810483  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.34s
Memory:		 788MB (+74MB)
UNSAT
Iteration Time:	 2.44s

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

Models       : 0
Calls        : 18
Time         : 35.266s (Solving: 0.23s 1st Model: 0.00s Unsat: 0.23s)
CPU Time     : 35.112s

Choices      : 0       
Conflicts    : 9        (Analyzed: 0)
Restarts     : 0       
Problems     : 18       (Average Length: 44.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        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 545757   (Eliminated:    0 Frozen: 545757)
Constraints  : 3076408  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.35s
Memory:		 809MB (+21MB)
UNSAT
Iteration Time:	 2.45s

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

Models       : 0
Calls        : 19
Time         : 37.734s (Solving: 0.27s 1st Model: 0.00s Unsat: 0.27s)
CPU Time     : 37.584s

Choices      : 3        (Domain: 3)
Conflicts    : 12       (Analyzed: 2)
Restarts     : 0       
Problems     : 19       (Average Length: 47.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: 48.00 Max:  94 Sum:     96)
  Executed   : 0        (Average:  1.50 Max:   2 Sum:      3 Ratio:   3.12%)
  Bounded    : 2        (Average: 46.50 Max:  92 Sum:     93 Ratio:  96.88%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 579373   (Eliminated:    0 Frozen: 579373)
Constraints  : 3342333  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.35s
Memory:		 823MB (+14MB)
UNSAT
Iteration Time:	 2.48s

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

Models       : 0
Calls        : 20
Time         : 40.307s (Solving: 0.36s 1st Model: 0.00s Unsat: 0.36s)
CPU Time     : 40.156s

Choices      : 74       (Domain: 74)
Conflicts    : 34       (Analyzed: 23)
Restarts     : 0       
Problems     : 20       (Average Length: 49.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: 91.65 Max: 103 Sum:   2108)
  Executed   : 0        (Average:  3.22 Max:   6 Sum:     74 Ratio:   3.51%)
  Bounded    : 23       (Average: 88.43 Max:  97 Sum:   2034 Ratio:  96.49%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 612989   (Eliminated:    0 Frozen: 612989)
Constraints  : 3604857  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.41s
Memory:		 855MB (+28MB)
UNSAT
Iteration Time:	 2.59s

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

Models       : 0
Calls        : 21
Time         : 43.681s (Solving: 0.52s 1st Model: 0.00s Unsat: 0.52s)
CPU Time     : 43.532s

Choices      : 245      (Domain: 245)
Conflicts    : 81       (Analyzed: 69)
Restarts     : 0       
Problems     : 21       (Average Length: 52.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: 99.57 Max: 108 Sum:   6870)
  Executed   : 0        (Average:  3.55 Max:   6 Sum:    245 Ratio:   3.57%)
  Bounded    : 69       (Average: 96.01 Max: 102 Sum:   6625 Ratio:  96.43%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 646605   (Eliminated:    0 Frozen: 646605)
Constraints  : 3821675  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.49s
Memory:		 931MB (+26MB)
UNSAT
Iteration Time:	 3.39s

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

Models       : 0
Calls        : 22
Time         : 46.534s (Solving: 0.86s 1st Model: 0.00s Unsat: 0.86s)
CPU Time     : 46.384s

Choices      : 516      (Domain: 516)
Conflicts    : 153      (Analyzed: 140)
Restarts     : 0       
Problems     : 22       (Average Length: 54.50 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: 104.51 Max: 113 Sum:  14632)
  Executed   : 0        (Average:  3.69 Max:   6 Sum:    516 Ratio:   3.53%)
  Bounded    : 140      (Average: 100.83 Max: 107 Sum:  14116 Ratio:  96.47%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 680221   (Eliminated:    0 Frozen: 680221)
Constraints  : 3989593  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.68s
Memory:		 961MB (+30MB)
UNSAT
Iteration Time:	 2.87s

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

Models       : 0
Calls        : 23
Time         : 49.692s (Solving: 1.43s 1st Model: 0.00s Unsat: 1.43s)
CPU Time     : 49.544s

Choices      : 887      (Domain: 887)
Conflicts    : 250      (Analyzed: 236)
Restarts     : 0       
Problems     : 23       (Average Length: 57.00 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: 108.66 Max: 118 Sum:  25644)
  Executed   : 0        (Average:  3.76 Max:   6 Sum:    887 Ratio:   3.46%)
  Bounded    : 236      (Average: 104.90 Max: 112 Sum:  24757 Ratio:  96.54%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 713837   (Eliminated:    0 Frozen: 713837)
Constraints  : 4114861  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.92s
Memory:		 989MB (+28MB)
UNSAT
Iteration Time:	 3.18s

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: 1067.0MB
Grounding...	 [('step', [111]), ('step', [112]), ('step', [113]), ('step', [114]), ('step', [115]), ('check', [115])]
Grounding Time:	 0.66s
Memory:		 989MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 24
Time         : 53.206s (Solving: 2.24s 1st Model: 0.00s Unsat: 2.24s)
CPU Time     : 53.060s

Choices      : 1358     (Domain: 1358)
Conflicts    : 372      (Analyzed: 357)
Restarts     : 0       
Problems     : 24       (Average Length: 59.50 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: 112.48 Max: 123 Sum:  40156)
  Executed   : 0        (Average:  3.80 Max:   6 Sum:   1358 Ratio:   3.38%)
  Bounded    : 357      (Average: 108.68 Max: 117 Sum:  38798 Ratio:  96.62%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 747453   (Eliminated:    0 Frozen: 747453)
Constraints  : 4203729  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 2.19s
Memory:		 1062MB (+73MB)
UNSAT
Iteration Time:	 3.53s

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

Models       : 0
Calls        : 25
Time         : 57.057s (Solving: 3.38s 1st Model: 0.00s Unsat: 3.38s)
CPU Time     : 56.912s

Choices      : 1929     (Domain: 1929)
Conflicts    : 519      (Analyzed: 503)
Restarts     : 0       
Problems     : 25       (Average Length: 62.00 Splits: 0)
Lemmas       : 503      (Deleted: 0)
  Binary     : 7        (Ratio:   1.39%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 503      (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    : 503      (Average: 116.14 Max: 128 Sum:  58418)
  Executed   : 0        (Average:  3.83 Max:   6 Sum:   1929 Ratio:   3.30%)
  Bounded    : 503      (Average: 112.30 Max: 122 Sum:  56489 Ratio:  96.70%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 781069   (Eliminated:    0 Frozen: 781069)
Constraints  : 4262447  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 2.53s
Memory:		 1101MB (+39MB)
UNSAT
Iteration Time:	 3.87s

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

Models       : 0
Calls        : 26
Time         : 61.326s (Solving: 4.91s 1st Model: 0.00s Unsat: 4.91s)
CPU Time     : 61.180s

Choices      : 2600     (Domain: 2600)
Conflicts    : 691      (Analyzed: 674)
Restarts     : 0       
Problems     : 26       (Average Length: 64.50 Splits: 0)
Lemmas       : 674      (Deleted: 0)
  Binary     : 8        (Ratio:   1.19%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 674      (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    : 674      (Average: 119.70 Max: 133 Sum:  80680)
  Executed   : 0        (Average:  3.86 Max:   6 Sum:   2600 Ratio:   3.22%)
  Bounded    : 674      (Average: 115.85 Max: 127 Sum:  78080 Ratio:  96.78%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 814685   (Eliminated:    0 Frozen: 814685)
Constraints  : 4297265  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 2.92s
Memory:		 1122MB (+21MB)
UNSAT
Iteration Time:	 4.29s

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

Models       : 0
Calls        : 27
Time         : 65.708s (Solving: 6.48s 1st Model: 0.00s Unsat: 6.48s)
CPU Time     : 65.564s

Choices      : 3293     (Domain: 3293)
Conflicts    : 850      (Analyzed: 832)
Restarts     : 0       
Problems     : 27       (Average Length: 67.00 Splits: 0)
Lemmas       : 832      (Deleted: 0)
  Binary     : 11       (Ratio:   1.32%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 832      (Average Length:    1.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 832      (Average: 122.24 Max: 138 Sum: 101703)
  Executed   : 2        (Average:  3.96 Max: 138 Sum:   3293 Ratio:   3.24%)
  Bounded    : 830      (Average: 118.57 Max: 132 Sum:  98410 Ratio:  96.76%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 848301   (Eliminated:    0 Frozen: 848301)
Constraints  : 4314433  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 2.98s
Memory:		 1146MB (+24MB)
UNSAT
Iteration Time:	 4.40s

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

Models       : 0
Calls        : 28
Time         : 68.797s (Solving: 6.74s 1st Model: 0.00s Unsat: 6.74s)
CPU Time     : 68.656s

Choices      : 5334     (Domain: 5334)
Conflicts    : 867      (Analyzed: 848)
Restarts     : 0       
Problems     : 28       (Average Length: 69.50 Splits: 0)
Lemmas       : 848      (Deleted: 0)
  Binary     : 21       (Ratio:   2.48%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 848      (Average Length:    6.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 848      (Average: 122.34 Max: 574 Sum: 103746)
  Executed   : 16       (Average:  6.29 Max: 574 Sum:   5334 Ratio:   5.14%)
  Bounded    : 832      (Average: 118.28 Max: 132 Sum:  98412 Ratio:  94.86%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 881917   (Eliminated:    0 Frozen: 881917)
Constraints  : 4372942  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.67s
Memory:		 1177MB (+31MB)
UNSAT
Iteration Time:	 3.11s

Iteration 29
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)]
Grounded Until:	 135
Expected Memory: 1255.0MB
Grounding...	 [('step', [136]), ('step', [137]), ('step', [138]), ('step', [139]), ('step', [140]), ('check', [140])]
Grounding Time:	 0.73s
Memory:		 1177MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 29
Time         : 71.899s (Solving: 7.05s 1st Model: 0.00s Unsat: 7.05s)
CPU Time     : 71.760s

Choices      : 12979    (Domain: 12979)
Conflicts    : 881      (Analyzed: 861)
Restarts     : 0       
Problems     : 29       (Average Length: 72.00 Splits: 0)
Lemmas       : 861      (Deleted: 0)
  Binary     : 31       (Ratio:   3.60%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 861      (Average Length:   13.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 861      (Average: 129.38 Max: 2220 Sum: 111393)
  Executed   : 27       (Average: 15.07 Max: 2220 Sum:  12979 Ratio:  11.65%)
  Bounded    : 834      (Average: 118.00 Max: 132 Sum:  98414 Ratio:  88.35%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 915533   (Eliminated:    0 Frozen: 915533)
Constraints  : 4638867  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.71s
Memory:		 1208MB (+31MB)
UNSAT
Iteration Time:	 3.12s

Iteration 30
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)]
Grounded Until:	 140
Expected Memory: 1286.0MB
Grounding...	 [('step', [141]), ('step', [142]), ('step', [143]), ('step', [144]), ('step', [145]), ('check', [145])]
Grounding Time:	 0.66s
Memory:		 1208MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 30
Time         : 74.999s (Solving: 7.43s 1st Model: 0.00s Unsat: 7.43s)
CPU Time     : 74.860s

Choices      : 31117    (Domain: 31117)
Conflicts    : 903      (Analyzed: 882)
Restarts     : 0       
Problems     : 30       (Average Length: 74.50 Splits: 0)
Lemmas       : 882      (Deleted: 0)
  Binary     : 41       (Ratio:   4.65%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 882      (Average Length:   61.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 882      (Average: 146.86 Max: 5038 Sum: 129533)
  Executed   : 46       (Average: 35.28 Max: 5038 Sum:  31117 Ratio:  24.02%)
  Bounded    : 836      (Average: 117.72 Max: 132 Sum:  98416 Ratio:  75.98%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 949149   (Eliminated:    0 Frozen: 949149)
Constraints  : 4904792  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.78s
Memory:		 1235MB (+27MB)
UNSAT
Iteration Time:	 3.12s

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

Models       : 0
Calls        : 31
Time         : 78.246s (Solving: 7.94s 1st Model: 0.00s Unsat: 7.94s)
CPU Time     : 78.108s

Choices      : 59177    (Domain: 59177)
Conflicts    : 925      (Analyzed: 903)
Restarts     : 0       
Problems     : 31       (Average Length: 77.00 Splits: 0)
Lemmas       : 903      (Deleted: 0)
  Binary     : 51       (Ratio:   5.65%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 903      (Average Length:   95.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 903      (Average: 174.52 Max: 7345 Sum: 157595)
  Executed   : 65       (Average: 65.53 Max: 7345 Sum:  59177 Ratio:  37.55%)
  Bounded    : 838      (Average: 117.44 Max: 132 Sum:  98418 Ratio:  62.45%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 982765   (Eliminated:    0 Frozen: 982765)
Constraints  : 5170717  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.92s
Memory:		 1267MB (+32MB)
UNSAT
Iteration Time:	 3.26s

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

Models       : 0
Calls        : 32
Time         : 81.645s (Solving: 8.55s 1st Model: 0.00s Unsat: 8.55s)
CPU Time     : 81.508s

Choices      : 95766    (Domain: 95766)
Conflicts    : 948      (Analyzed: 925)
Restarts     : 0       
Problems     : 32       (Average Length: 79.50 Splits: 0)
Lemmas       : 925      (Deleted: 0)
  Binary     : 61       (Ratio:   6.59%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 925      (Average Length:  141.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 925      (Average: 209.93 Max: 9466 Sum: 194186)
  Executed   : 85       (Average: 103.53 Max: 9466 Sum:  95766 Ratio:  49.32%)
  Bounded    : 840      (Average: 117.17 Max: 132 Sum:  98420 Ratio:  50.68%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1016381  (Eliminated:    0 Frozen: 1016381)
Constraints  : 5436642  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 2.03s
Memory:		 1292MB (+25MB)
UNSAT
Iteration Time:	 3.42s

Iteration 33
Queue:		 [(32,160,0,True), (33,165,0,True), (34,170,0,True)]
Grounded Until:	 155
Expected Memory: 1370.0MB
Grounding...	 [('step', [156]), ('step', [157]), ('step', [158]), ('step', [159]), ('step', [160]), ('check', [160])]
Grounding Time:	 0.67s
Memory:		 1292MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 33
Time         : 85.130s (Solving: 9.25s 1st Model: 0.00s Unsat: 9.25s)
CPU Time     : 84.996s

Choices      : 133029   (Domain: 133029)
Conflicts    : 971      (Analyzed: 947)
Restarts     : 0       
Problems     : 33       (Average Length: 82.00 Splits: 0)
Lemmas       : 947      (Deleted: 0)
  Binary     : 71       (Ratio:   7.50%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 947      (Average Length:  177.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 947      (Average: 244.40 Max: 9466 Sum: 231451)
  Executed   : 105      (Average: 140.47 Max: 9466 Sum: 133029 Ratio:  57.48%)
  Bounded    : 842      (Average: 116.89 Max: 132 Sum:  98422 Ratio:  42.52%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1049997  (Eliminated:    0 Frozen: 1049997)
Constraints  : 5702567  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 2.13s
Memory:		 1321MB (+29MB)
UNSAT
Iteration Time:	 3.50s

Iteration 34
Queue:		 [(33,165,0,True), (34,170,0,True)]
Grounded Until:	 160
Expected Memory: 1399.0MB
Grounding...	 [('step', [161]), ('step', [162]), ('step', [163]), ('step', [164]), ('step', [165]), ('check', [165])]
Grounding Time:	 0.67s
Memory:		 1321MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 34
Time         : 88.699s (Solving: 10.02s 1st Model: 0.00s Unsat: 10.02s)
CPU Time     : 88.568s

Choices      : 170534   (Domain: 170534)
Conflicts    : 994      (Analyzed: 969)
Restarts     : 0       
Problems     : 34       (Average Length: 84.50 Splits: 0)
Lemmas       : 969      (Deleted: 0)
  Binary     : 81       (Ratio:   8.36%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 969      (Average Length:  200.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 969      (Average: 277.56 Max: 10481 Sum: 268958)
  Executed   : 125      (Average: 175.99 Max: 10481 Sum: 170534 Ratio:  63.41%)
  Bounded    : 844      (Average: 116.62 Max: 132 Sum:  98424 Ratio:  36.59%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1083613  (Eliminated:    0 Frozen: 1083613)
Constraints  : 5968492  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 2.19s
Memory:		 1349MB (+28MB)
UNSAT
Iteration Time:	 3.58s

Iteration 35
Queue:		 [(34,170,0,True)]
Grounded Until:	 165
Expected Memory: 1427.0MB
Grounding...	 [('step', [166]), ('step', [167]), ('step', [168]), ('step', [169]), ('step', [170]), ('check', [170])]
Grounding Time:	 0.68s
Memory:		 1349MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 35
Time         : 92.395s (Solving: 10.88s 1st Model: 0.00s Unsat: 10.88s)
CPU Time     : 92.264s

Choices      : 210727   (Domain: 210727)
Conflicts    : 1019     (Analyzed: 993)
Restarts     : 0       
Problems     : 35       (Average Length: 87.00 Splits: 0)
Lemmas       : 993      (Deleted: 0)
  Binary     : 91       (Ratio:   9.16%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 993      (Average Length:  229.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 993      (Average: 311.33 Max: 11934 Sum: 309153)
  Executed   : 147      (Average: 212.21 Max: 11934 Sum: 210727 Ratio:  68.16%)
  Bounded    : 846      (Average: 116.34 Max: 132 Sum:  98426 Ratio:  31.84%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1117229  (Eliminated:    0 Frozen: 1117229)
Constraints  : 6234417  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 1504MB
Max. Length  : 165 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 2.29s
Memory:		 1373MB (+24MB)
UNSAT
Iteration Time:	 3.71s

Iteration 36
Queue:		 [(35,175,0,True), (36,180,0,True), (37,185,0,True), (38,190,0,True), (39,195,0,True), (40,200,0,True), (41,205,0,True)]
Grounded Until:	 170
Expected Memory: 1451.0MB
Grounding...	 [('step', [171]), ('step', [172]), ('step', [173]), ('step', [174]), ('step', [175]), ('check', [175])]
Grounding Time:	 0.69s
Memory:		 1375MB (+2MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 36
Time         : 208.558s (Solving: 124.15s 1st Model: 0.00s Unsat: 124.15s)
CPU Time     : 208.476s

Choices      : 1866726  (Domain: 1866726)
Conflicts    : 7723     (Analyzed: 7696)
Restarts     : 25       (Average: 307.84 Last: 190)
Problems     : 36       (Average Length: 89.50 Splits: 0)
Lemmas       : 7696     (Deleted: 0)
  Binary     : 147      (Ratio:   1.91%)
  Ternary    : 11       (Ratio:   0.14%)
  Conflict   : 7696     (Average Length: 93041.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 7696     (Average: 254.75 Max: 17527 Sum: 1960567)
  Executed   : 6837     (Average: 241.70 Max: 17527 Sum: 1860100 Ratio:  94.88%)
  Bounded    : 859      (Average: 116.96 Max: 177 Sum: 100467 Ratio:   5.12%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1150845  (Eliminated:    0 Frozen: 1150845)
Constraints  : 6500342  (Binary:  95.1% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 4306MB
Max. Length  : 170 steps
Models       : 0

[endof: stats after solve call]
Solving Time:	 114.75s
Memory:		 4242MB (+2867MB)
UNSAT
Iteration Time:	 116.23s

Iteration 37
Queue:		 [(36,180,0,True), (37,185,0,True), (38,190,0,True), (39,195,0,True), (40,200,0,True), (41,205,0,True)]
Grounded Until:	 175
Expected Memory: 7111.0MB
Grounding...	 [('step', [176]), ('step', [177]), ('step', [178]), ('step', [179]), ('step', [180]), ('check', [180])]
Grounding Time:	 0.69s
Memory:		 4242MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 1+
Calls        : 37
Time         : 213.465s (Solving: 125.18s 1st Model: 0.92s Unsat: 124.15s)
CPU Time     : 213.384s

Choices      : 2108852  (Domain: 2108852)
Conflicts    : 7747     (Analyzed: 7720)
Restarts     : 25       (Average: 308.80 Last: 190)
Model-Level  : 63359.0 
Problems     : 37       (Average Length: 92.00 Splits: 0)
Lemmas       : 7720     (Deleted: 0)
  Binary     : 147      (Ratio:   1.90%)
  Ternary    : 11       (Ratio:   0.14%)
  Conflict   : 7720     (Average Length: 92758.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 7720     (Average: 277.14 Max: 64076 Sum: 2139517)
  Executed   : 6860     (Average: 264.13 Max: 64076 Sum: 2039049 Ratio:  95.30%)
  Bounded    : 860      (Average: 116.82 Max: 177 Sum: 100468 Ratio:   4.70%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1184461  (Eliminated:    0 Frozen: 1184461)
Constraints  : 6766042  (Binary:  95.2% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 4387MB
Max. Length  : 175 steps
Models       : 1

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

Models       : 1+
Calls        : 37
Time         : 213.465s (Solving: 125.18s 1st Model: 0.92s Unsat: 124.15s)
CPU Time     : 213.384s

Choices      : 2108852  (Domain: 2108852)
Conflicts    : 7747     (Analyzed: 7720)
Restarts     : 25       (Average: 308.80 Last: 190)
Model-Level  : 63359.0 
Problems     : 37       (Average Length: 92.00 Splits: 0)
Lemmas       : 7720     (Deleted: 0)
  Binary     : 147      (Ratio:   1.90%)
  Ternary    : 11       (Ratio:   0.14%)
  Conflict   : 7720     (Average Length: 92758.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 7720     (Average: 277.14 Max: 64076 Sum: 2139517)
  Executed   : 6860     (Average: 264.13 Max: 64076 Sum: 2039049 Ratio:  95.30%)
  Bounded    : 860      (Average: 116.82 Max: 177 Sum: 100468 Ratio:   4.70%)

Rules        : 110924  
Atoms        : 110924  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 1184461  (Eliminated:    0 Frozen: 1184461)
Constraints  : 6766042  (Binary:  95.2% Ternary:   4.3% Other:   0.6%)

Memory Peak  : 4387MB
Max. Length  : 180 steps
Sol. Length  : 180 steps
Models       : 1


