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-73.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-73.pddl
Parsing...
Parsing: [0.020s CPU, 0.082s wall-clock]
Normalizing task... [0.000s CPU, 0.002s wall-clock]
Instantiating...
Generating Datalog program... [0.000s CPU, 0.007s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.020s CPU, 0.012s wall-clock]
Preparing model... [0.010s CPU, 0.015s wall-clock]
Generated 21 rules.
Computing model... [0.500s CPU, 0.500s wall-clock]
4178 relevant atoms
2772 auxiliary atoms
6950 final queue length
12209 total queue pushes
Completing instantiation... [0.890s CPU, 0.888s wall-clock]
Instantiating: [1.430s CPU, 1.429s wall-clock]
Computing fact groups...
Finding invariants...
10 initial candidates
Finding invariants: [0.020s CPU, 0.025s wall-clock]
Checking invariant weight... [0.010s CPU, 0.005s wall-clock]
Instantiating groups... [0.050s CPU, 0.052s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.011s wall-clock]
Choosing groups...
37 uncovered facts
Choosing groups: [0.060s CPU, 0.055s wall-clock]
Building translation key... [0.020s CPU, 0.017s wall-clock]
Computing fact groups: [0.290s CPU, 0.290s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.008s wall-clock]
Building dictionary for full mutex groups... [0.010s CPU, 0.018s wall-clock]
Building mutex information...
Building mutex information: [0.040s CPU, 0.032s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [0.040s CPU, 0.044s wall-clock]
Translating task: [1.010s CPU, 1.019s wall-clock]
3852 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
72 propositions removed
Detecting unreachable propositions: [0.620s CPU, 0.617s wall-clock]
Reordering and filtering variables...
73 of 73 variables necessary.
37 of 73 mutex groups necessary.
2592 of 2592 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.320s CPU, 0.318s wall-clock]
Translator variables: 73
Translator derived variables: 0
Translator facts: 1406
Translator goal facts: 35
Translator mutex groups: 37
Translator total mutex groups size: 1369
Translator operators: 2592
Translator axioms: 0
Translator task size: 22215
Translator peak memory: 49612 KB
Writing output... [0.430s CPU, 0.450s wall-clock]
Done! [4.220s CPU, 4.309s wall-clock]
planner.py version 0.0.1

Time:	 0.77s
Memory: 96MB

Iteration 1
Queue:		 [(0,0,0,True), (1,5,0,True), (2,10,0,True), (3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)]
Grounded Until:	 0
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 1
Time         : 0.871s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.776s

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

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

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

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

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

[endof: stats after solve call]
Solving Time:	 0.18s
Memory:		 180MB (+6MB)
UNSAT
Iteration Time:	 0.61s

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

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

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        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 36839    (Eliminated:    0 Frozen: 36839)
Constraints  : 60137    (Binary:  94.3% Ternary:   4.2% Other:   1.5%)

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

[endof: stats after solve call]
Solving Time:	 0.24s
Memory:		 203MB (+8MB)
UNSAT
Iteration Time:	 0.75s

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

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

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        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 56363    (Eliminated:    0 Frozen: 56363)
Constraints  : 152439   (Binary:  94.6% Ternary:   4.2% Other:   1.1%)

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

[endof: stats after solve call]
Solving Time:	 0.31s
Memory:		 222MB (+10MB)
UNSAT
Iteration Time:	 0.84s

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

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

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        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 76462    (Eliminated:    0 Frozen: 76462)
Constraints  : 281741   (Binary:  94.8% Ternary:   4.2% Other:   1.0%)

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

[endof: stats after solve call]
Solving Time:	 0.41s
Memory:		 249MB (+12MB)
UNSAT
Iteration Time:	 1.03s

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

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

Choices      : 0       
Conflicts    : 1        (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        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 97235    (Eliminated:    0 Frozen: 97235)
Constraints  : 442660   (Binary:  94.9% Ternary:   4.3% Other:   0.9%)

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

[endof: stats after solve call]
Solving Time:	 0.52s
Memory:		 272MB (+14MB)
UNSAT
Iteration Time:	 1.04s

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

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

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

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

[endof: stats after solve call]
Solving Time:	 0.54s
Memory:		 291MB (+11MB)
UNSAT
Iteration Time:	 1.07s

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

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

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

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

[endof: stats after solve call]
Solving Time:	 0.54s
Memory:		 318MB (+18MB)
UNSAT
Iteration Time:	 1.10s

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

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

Choices      : 0       
Conflicts    : 4        (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        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 159983   (Eliminated:    0 Frozen: 159983)
Constraints  : 932035   (Binary:  95.0% Ternary:   4.3% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 0.55s
Memory:		 350MB (+15MB)
UNSAT
Iteration Time:	 1.26s

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

Models       : 0
Calls        : 10
Time         : 9.623s (Solving: 0.05s 1st Model: 0.00s Unsat: 0.05s)
CPU Time     : 9.532s

Choices      : 0       
Conflicts    : 5        (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        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 180899   (Eliminated:    0 Frozen: 180899)
Constraints  : 1095160  (Binary:  95.0% Ternary:   4.3% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 0.56s
Memory:		 366MB (+12MB)
UNSAT
Iteration Time:	 1.11s

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

Models       : 0
Calls        : 11
Time         : 10.753s (Solving: 0.07s 1st Model: 0.00s Unsat: 0.07s)
CPU Time     : 10.664s

Choices      : 0       
Conflicts    : 6        (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        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 201815   (Eliminated:    0 Frozen: 201815)
Constraints  : 1258285  (Binary:  95.0% Ternary:   4.3% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 0.56s
Memory:		 386MB (+12MB)
UNSAT
Iteration Time:	 1.14s

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

Models       : 0
Calls        : 12
Time         : 11.917s (Solving: 0.10s 1st Model: 0.00s Unsat: 0.10s)
CPU Time     : 11.828s

Choices      : 143      (Domain: 143)
Conflicts    : 18       (Analyzed: 11)
Restarts     : 0       
Problems     : 12       (Average Length: 29.50 Splits: 0)
Lemmas       : 11       (Deleted: 0)
  Binary     : 1        (Ratio:   9.09%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 11       (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    : 11       (Average: 64.91 Max:  85 Sum:    714)
  Executed   : 0        (Average: 13.00 Max:  28 Sum:    143 Ratio:  20.03%)
  Bounded    : 11       (Average: 51.91 Max:  57 Sum:    571 Ratio:  79.97%)

Rules        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 222731   (Eliminated:    0 Frozen: 222731)
Constraints  : 1421410  (Binary:  95.0% Ternary:   4.3% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 0.57s
Memory:		 422MB (+26MB)
UNSAT
Iteration Time:	 1.17s

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

Models       : 0
Calls        : 13
Time         : 13.191s (Solving: 0.18s 1st Model: 0.00s Unsat: 0.18s)
CPU Time     : 13.104s

Choices      : 466      (Domain: 466)
Conflicts    : 50       (Analyzed: 42)
Restarts     : 0       
Problems     : 13       (Average Length: 32.00 Splits: 0)
Lemmas       : 42       (Deleted: 0)
  Binary     : 13       (Ratio:  30.95%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 42       (Average Length:   71.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 42       (Average: 24.71 Max:  85 Sum:   1038)
  Executed   : 30       (Average: 11.10 Max:  33 Sum:    466 Ratio:  44.89%)
  Bounded    : 12       (Average: 47.67 Max:  57 Sum:    572 Ratio:  55.11%)

Rules        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 243647   (Eliminated:    0 Frozen: 243647)
Constraints  : 1489324  (Binary:  95.0% Ternary:   4.3% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 0.65s
Memory:		 440MB (+18MB)
UNSAT
Iteration Time:	 1.29s

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

Models       : 0
Calls        : 14
Time         : 14.714s (Solving: 0.53s 1st Model: 0.00s Unsat: 0.53s)
CPU Time     : 14.624s

Choices      : 2875     (Domain: 2875)
Conflicts    : 166      (Analyzed: 157)
Restarts     : 1        (Average: 157.00 Last: 31)
Problems     : 14       (Average Length: 34.50 Splits: 0)
Lemmas       : 157      (Deleted: 0)
  Binary     : 24       (Ratio:  15.29%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 157      (Average Length:  747.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 157      (Average: 23.22 Max: 260 Sum:   3645)
  Executed   : 140      (Average: 18.28 Max: 260 Sum:   2870 Ratio:  78.74%)
  Bounded    : 17       (Average: 45.59 Max:  67 Sum:    775 Ratio:  21.26%)

Rules        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 264563   (Eliminated:    0 Frozen: 264563)
Constraints  : 1652449  (Binary:  95.0% Ternary:   4.3% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 0.91s
Memory:		 455MB (+15MB)
UNSAT
Iteration Time:	 1.54s

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

Models       : 0
Calls        : 15
Time         : 20.308s (Solving: 4.85s 1st Model: 0.00s Unsat: 4.85s)
CPU Time     : 20.220s

Choices      : 34974    (Domain: 34974)
Conflicts    : 2804     (Analyzed: 2794)
Restarts     : 15       (Average: 186.27 Last: 217)
Problems     : 15       (Average Length: 37.00 Splits: 0)
Lemmas       : 2794     (Deleted: 0)
  Binary     : 73       (Ratio:   2.61%)
  Ternary    : 2        (Ratio:   0.07%)
  Conflict   : 2794     (Average Length: 3493.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2794     (Average: 12.06 Max: 459 Sum:  33687)
  Executed   : 2746     (Average: 11.06 Max: 459 Sum:  30902 Ratio:  91.73%)
  Bounded    : 48       (Average: 58.02 Max:  72 Sum:   2785 Ratio:   8.27%)

Rules        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 285479   (Eliminated:    0 Frozen: 285479)
Constraints  : 1728499  (Binary:  94.9% Ternary:   4.3% Other:   0.7%)

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

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

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

Models       : 0+
Calls        : 16
Time         : 98.486s (Solving: 81.79s 1st Model: 0.00s Unsat: 4.85s)
CPU Time     : 98.432s

Choices      : 225283   (Domain: 225283)
Conflicts    : 31015    (Analyzed: 31005)
Restarts     : 115      (Average: 269.61 Last: 217)
Problems     : 16       (Average Length: 39.50 Splits: 0)
Lemmas       : 31005    (Deleted: 19869)
  Binary     : 323      (Ratio:   1.04%)
  Ternary    : 4        (Ratio:   0.01%)
  Conflict   : 31005    (Average Length: 4398.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 31005    (Average:  6.43 Max: 857 Sum: 199222)
  Executed   : 30942    (Average:  6.31 Max: 857 Sum: 195593 Ratio:  98.18%)
  Bounded    : 63       (Average: 57.60 Max:  77 Sum:   3629 Ratio:   1.82%)

Rules        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 306395   (Eliminated:    0 Frozen: 306395)
Constraints  : 1890949  (Binary:  94.9% Ternary:   4.3% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 77.56s
Memory:		 746MB (+272MB)
UNKNOWN
Iteration Time:	 78.22s

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

Models       : 0+
Calls        : 17
Time         : 195.255s (Solving: 176.90s 1st Model: 0.00s Unsat: 4.85s)
CPU Time     : 195.240s

Choices      : 552613   (Domain: 552613)
Conflicts    : 59225    (Analyzed: 59215)
Restarts     : 215      (Average: 275.42 Last: 217)
Problems     : 17       (Average Length: 42.00 Splits: 0)
Lemmas       : 59215    (Deleted: 47139)
  Binary     : 553      (Ratio:   0.93%)
  Ternary    : 6        (Ratio:   0.01%)
  Conflict   : 59215    (Average Length: 5832.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 59215    (Average:  7.77 Max: 1869 Sum: 459953)
  Executed   : 59146    (Average:  7.71 Max: 1869 Sum: 456318 Ratio:  99.21%)
  Bounded    : 69       (Average: 52.68 Max:  77 Sum:   3635 Ratio:   0.79%)

Rules        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 327311   (Eliminated:    0 Frozen: 327311)
Constraints  : 2050930  (Binary:  95.0% Ternary:   4.3% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 95.76s
Memory:		 1002MB (+230MB)
UNKNOWN
Iteration Time:	 96.82s

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

Models       : 0+
Calls        : 18
Time         : 308.354s (Solving: 288.65s 1st Model: 0.00s Unsat: 4.85s)
CPU Time     : 308.384s

Choices      : 983045   (Domain: 983045)
Conflicts    : 87492    (Analyzed: 87482)
Restarts     : 315      (Average: 277.72 Last: 217)
Problems     : 18       (Average Length: 44.50 Splits: 0)
Lemmas       : 87482    (Deleted: 74973)
  Binary     : 792      (Ratio:   0.91%)
  Ternary    : 7        (Ratio:   0.01%)
  Conflict   : 87482    (Average Length: 7232.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 87482    (Average:  9.20 Max: 2865 Sum: 804735)
  Executed   : 87405    (Average:  9.16 Max: 2865 Sum: 801092 Ratio:  99.55%)
  Bounded    : 77       (Average: 47.31 Max:  77 Sum:   3643 Ratio:   0.45%)

Rules        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 348227   (Eliminated:    0 Frozen: 348227)
Constraints  : 2214055  (Binary:  95.0% Ternary:   4.3% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 112.44s
Memory:		 1212MB (+210MB)
UNKNOWN
Iteration Time:	 113.16s

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

Models       : 0+
Calls        : 19
Time         : 433.903s (Solving: 412.78s 1st Model: 0.00s Unsat: 4.85s)
CPU Time     : 433.984s

Choices      : 1489443  (Domain: 1489443)
Conflicts    : 115756   (Analyzed: 115746)
Restarts     : 415      (Average: 278.91 Last: 217)
Problems     : 19       (Average Length: 47.00 Splits: 0)
Lemmas       : 115746   (Deleted: 102864)
  Binary     : 1003     (Ratio:   0.87%)
  Ternary    : 8        (Ratio:   0.01%)
  Conflict   : 115746   (Average Length: 7839.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 115746   (Average: 10.00 Max: 3685 Sum: 1157273)
  Executed   : 115655   (Average:  9.97 Max: 3685 Sum: 1153616 Ratio:  99.68%)
  Bounded    : 91       (Average: 40.19 Max:  77 Sum:   3657 Ratio:   0.32%)

Rules        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 369143   (Eliminated:    0 Frozen: 369143)
Constraints  : 2377180  (Binary:  95.0% Ternary:   4.3% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 124.85s
Memory:		 1352MB (+140MB)
UNKNOWN
Iteration Time:	 125.61s

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

Models       : 0+
Calls        : 20
Time         : 542.323s (Solving: 519.78s 1st Model: 0.00s Unsat: 4.85s)
CPU Time     : 542.448s

Choices      : 2277206  (Domain: 2277206)
Conflicts    : 144058   (Analyzed: 144048)
Restarts     : 515      (Average: 279.70 Last: 217)
Problems     : 20       (Average Length: 49.50 Splits: 0)
Lemmas       : 144048   (Deleted: 130786)
  Binary     : 1204     (Ratio:   0.84%)
  Ternary    : 13       (Ratio:   0.01%)
  Conflict   : 144048   (Average Length: 8364.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 144048   (Average: 11.97 Max: 5094 Sum: 1723666)
  Executed   : 143940   (Average: 11.94 Max: 5094 Sum: 1719992 Ratio:  99.79%)
  Bounded    : 108      (Average: 34.02 Max:  77 Sum:   3674 Ratio:   0.21%)

Rules        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 390059   (Eliminated:    0 Frozen: 390059)
Constraints  : 2540305  (Binary:  95.0% Ternary:   4.3% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 107.72s
Memory:		 1374MB (+18MB)
UNKNOWN
Iteration Time:	 108.48s

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

Models       : 0+
Calls        : 21
Time         : 654.930s (Solving: 630.94s 1st Model: 0.00s Unsat: 4.85s)
CPU Time     : 655.100s

Choices      : 3309650  (Domain: 3309650)
Conflicts    : 172241   (Analyzed: 172231)
Restarts     : 615      (Average: 280.05 Last: 217)
Problems     : 21       (Average Length: 52.00 Splits: 0)
Lemmas       : 172231   (Deleted: 158573)
  Binary     : 1434     (Ratio:   0.83%)
  Ternary    : 27       (Ratio:   0.02%)
  Conflict   : 172231   (Average Length: 9010.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 172231   (Average: 14.28 Max: 7223 Sum: 2459665)
  Executed   : 172107   (Average: 14.26 Max: 7223 Sum: 2455975 Ratio:  99.85%)
  Bounded    : 124      (Average: 29.76 Max:  77 Sum:   3690 Ratio:   0.15%)

Rules        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 410975   (Eliminated:    0 Frozen: 410975)
Constraints  : 2703430  (Binary:  95.0% Ternary:   4.3% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 111.89s
Memory:		 1587MB (+211MB)
UNKNOWN
Iteration Time:	 112.67s

Iteration 22
Queue:		 [(15,75,1,True), (16,80,1,True), (17,85,1,True), (18,90,1,True), (19,95,1,True), (20,100,1,True), (21,105,0,True), (22,110,0,True), (23,115,0,True), (24,120,0,True), (25,125,0,True), (26,130,0,True), (27,135,0,True), (28,140,0,True)]
Grounded Until:	 100
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 22
Time         : 680.711s (Solving: 656.53s 1st Model: 0.00s Unsat: 30.43s)
CPU Time     : 680.892s

Choices      : 3389952  (Domain: 3389952)
Conflicts    : 181284   (Analyzed: 181273)
Restarts     : 652      (Average: 278.03 Last: 217)
Problems     : 22       (Average Length: 54.27 Splits: 0)
Lemmas       : 181273   (Deleted: 158573)
  Binary     : 1505     (Ratio:   0.83%)
  Ternary    : 27       (Ratio:   0.01%)
  Conflict   : 181273   (Average Length: 8760.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 181273   (Average: 13.94 Max: 7223 Sum: 2527006)
  Executed   : 181144   (Average: 13.92 Max: 7223 Sum: 2523210 Ratio:  99.85%)
  Bounded    : 129      (Average: 29.43 Max: 102 Sum:   3796 Ratio:   0.15%)

Rules        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 410975   (Eliminated:    0 Frozen: 410975)
Constraints  : 2703430  (Binary:  95.0% Ternary:   4.3% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 25.67s
Memory:		 1587MB (+0MB)
UNSAT
Iteration Time:	 25.79s

Iteration 23
Queue:		 [(16,80,1,True), (17,85,1,True), (18,90,1,True), (19,95,1,True), (20,100,1,True), (21,105,0,True), (22,110,0,True), (23,115,0,True), (24,120,0,True), (25,125,0,True), (26,130,0,True), (27,135,0,True), (28,140,0,True)]
Grounded Until:	 100
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 23
Time         : 815.940s (Solving: 791.52s 1st Model: 0.00s Unsat: 30.43s)
CPU Time     : 816.180s

Choices      : 3627629  (Domain: 3627629)
Conflicts    : 209499   (Analyzed: 209488)
Restarts     : 752      (Average: 278.57 Last: 217)
Problems     : 23       (Average Length: 56.35 Splits: 0)
Lemmas       : 209488   (Deleted: 194866)
  Binary     : 1593     (Ratio:   0.76%)
  Ternary    : 29       (Ratio:   0.01%)
  Conflict   : 209488   (Average Length: 8759.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 209488   (Average: 13.01 Max: 7223 Sum: 2725029)
  Executed   : 209356   (Average: 12.99 Max: 7223 Sum: 2721230 Ratio:  99.86%)
  Bounded    : 132      (Average: 28.78 Max: 102 Sum:   3799 Ratio:   0.14%)

Rules        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 410975   (Eliminated:    0 Frozen: 410975)
Constraints  : 2703405  (Binary:  95.0% Ternary:   4.3% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 135.13s
Memory:		 1587MB (+0MB)
UNKNOWN
Iteration Time:	 135.29s

Iteration 24
Queue:		 [(17,85,1,True), (18,90,1,True), (19,95,1,True), (20,100,1,True), (21,105,0,True), (22,110,0,True), (23,115,0,True), (24,120,0,True), (25,125,0,True), (26,130,0,True), (27,135,0,True), (28,140,0,True)]
Grounded Until:	 100
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 24
Time         : 893.844s (Solving: 869.25s 1st Model: 0.00s Unsat: 30.43s)
CPU Time     : 894.100s

Choices      : 3777154  (Domain: 3777154)
Conflicts    : 229051   (Analyzed: 229040)
Restarts     : 817      (Average: 280.34 Last: 217)
Problems     : 24       (Average Length: 58.25 Splits: 0)
Lemmas       : 229040   (Deleted: 211042)
  Binary     : 1691     (Ratio:   0.74%)
  Ternary    : 31       (Ratio:   0.01%)
  Conflict   : 229040   (Average Length: 8540.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 229040   (Average: 12.49 Max: 7223 Sum: 2861088)
  Executed   : 228904   (Average: 12.48 Max: 7223 Sum: 2857285 Ratio:  99.87%)
  Bounded    : 136      (Average: 27.96 Max: 102 Sum:   3803 Ratio:   0.13%)

Rules        : 68095   
Atoms        : 68095   
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 410975   (Eliminated:    0 Frozen: 410975)
Constraints  : 2703405  (Binary:  95.0% Ternary:   4.3% Other:   0.7%)

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


