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-95.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-95.pddl
Parsing...
Parsing: [0.020s CPU, 0.017s wall-clock]
Normalizing task... [0.000s CPU, 0.001s wall-clock]
Instantiating...
Generating Datalog program... [0.000s CPU, 0.006s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.010s CPU, 0.009s wall-clock]
Preparing model... [0.010s CPU, 0.014s wall-clock]
Generated 21 rules.
Computing model... [0.820s CPU, 0.818s wall-clock]
7005 relevant atoms
4653 auxiliary atoms
11658 final queue length
20592 total queue pushes
Completing instantiation... [1.480s CPU, 1.488s wall-clock]
Instantiating: [2.340s CPU, 2.346s 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.007s wall-clock]
Instantiating groups... [0.150s CPU, 0.145s wall-clock]
Collecting mutex groups... [0.010s CPU, 0.018s wall-clock]
Choosing groups...
48 uncovered facts
Choosing groups: [0.100s CPU, 0.092s wall-clock]
Building translation key... [0.030s CPU, 0.030s wall-clock]
Computing fact groups: [0.540s CPU, 0.544s wall-clock]
Building STRIPS to SAS dictionary... [0.020s CPU, 0.016s wall-clock]
Building dictionary for full mutex groups... [0.030s CPU, 0.031s 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.080s CPU, 0.076s wall-clock]
Translating task: [1.750s CPU, 1.750s wall-clock]
6580 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
94 propositions removed
Detecting unreachable propositions: [1.040s CPU, 1.041s wall-clock]
Reordering and filtering variables...
95 of 95 variables necessary.
48 of 95 mutex groups necessary.
4418 of 4418 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [0.550s CPU, 0.557s wall-clock]
Translator variables: 95
Translator derived variables: 0
Translator facts: 2352
Translator goal facts: 46
Translator mutex groups: 48
Translator total mutex groups size: 2304
Translator operators: 4418
Translator axioms: 0
Translator task size: 37791
Translator peak memory: 59416 KB
Writing output... [0.660s CPU, 0.686s wall-clock]
Done! [7.080s CPU, 7.119s wall-clock]
planner.py version 0.0.1

Time:	 1.29s
Memory: 129MB

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

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

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

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

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        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 30412    (Eliminated:    0 Frozen: 9592)
Constraints  : 7168     (Binary:  92.2% Ternary:   4.5% Other:   3.3%)

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

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

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

Models       : 0
Calls        : 3
Time         : 3.319s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 3.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        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 61223    (Eliminated:    0 Frozen: 19667)
Constraints  : 45092    (Binary:  94.0% Ternary:   4.3% Other:   1.8%)

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

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

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

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

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        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 92804    (Eliminated:    0 Frozen: 30222)
Constraints  : 138216   (Binary:  94.6% Ternary:   4.2% Other:   1.2%)

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

[endof: stats after solve call]
Solving Time:	 0.06s
Memory:		 293MB (+15MB)
UNSAT
Iteration Time:	 0.99s

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

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

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        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 125555   (Eliminated:    0 Frozen: 41258)
Constraints  : 311011   (Binary:  95.0% Ternary:   4.1% Other:   0.9%)

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

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

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

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

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        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 159696   (Eliminated:    0 Frozen: 52632)
Constraints  : 554606   (Binary:  95.1% Ternary:   4.2% Other:   0.7%)

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

[endof: stats after solve call]
Solving Time:	 0.05s
Memory:		 378MB (+25MB)
UNSAT
Iteration Time:	 1.21s

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

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

Choices      : 0       
Conflicts    : 1        (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        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 194700   (Eliminated:    0 Frozen: 64152)
Constraints  : 831632   (Binary:  95.1% Ternary:   4.2% Other:   0.7%)

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

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

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

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

Choices      : 0       
Conflicts    : 2        (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        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 229751   (Eliminated:    0 Frozen: 75672)
Constraints  : 1109212  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.07s
Memory:		 437MB (+10MB)
UNSAT
Iteration Time:	 1.06s

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

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

Choices      : 0       
Conflicts    : 3        (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        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 264802   (Eliminated:    0 Frozen: 87192)
Constraints  : 1386792  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.09s
Memory:		 490MB (+33MB)
UNSAT
Iteration Time:	 1.10s

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

Models       : 0
Calls        : 10
Time         : 11.162s (Solving: 0.06s 1st Model: 0.00s Unsat: 0.06s)
CPU Time     : 10.976s

Choices      : 0       
Conflicts    : 4        (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        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 299853   (Eliminated:    0 Frozen: 98712)
Constraints  : 1664372  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.10s
Memory:		 530MB (+7MB)
UNSAT
Iteration Time:	 1.49s

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

Models       : 0
Calls        : 11
Time         : 12.289s (Solving: 0.09s 1st Model: 0.00s Unsat: 0.09s)
CPU Time     : 12.104s

Choices      : 0       
Conflicts    : 5        (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        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 334904   (Eliminated:    0 Frozen: 110232)
Constraints  : 1941952  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.11s
Memory:		 564MB (+10MB)
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: 617.0MB
Grounding...	 [('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('check', [55])]
Grounding Time:	 0.66s
Memory:		 584MB (+20MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 12
Time         : 13.444s (Solving: 0.12s 1st Model: 0.00s Unsat: 0.12s)
CPU Time     : 13.260s

Choices      : 0       
Conflicts    : 6        (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        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 369955   (Eliminated:    0 Frozen: 121752)
Constraints  : 2219532  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.13s
Memory:		 635MB (+51MB)
UNSAT
Iteration Time:	 1.17s

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

Models       : 0
Calls        : 13
Time         : 14.658s (Solving: 0.16s 1st Model: 0.00s Unsat: 0.16s)
CPU Time     : 14.476s

Choices      : 0       
Conflicts    : 7        (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        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 405006   (Eliminated:    0 Frozen: 133272)
Constraints  : 2497112  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.14s
Memory:		 657MB (+20MB)
UNSAT
Iteration Time:	 1.23s

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

Models       : 0
Calls        : 14
Time         : 15.905s (Solving: 0.21s 1st Model: 0.00s Unsat: 0.21s)
CPU Time     : 15.724s

Choices      : 0       
Conflicts    : 8        (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        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 440057   (Eliminated:    0 Frozen: 144792)
Constraints  : 2774692  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.15s
Memory:		 682MB (+10MB)
UNSAT
Iteration Time:	 1.26s

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

Models       : 0
Calls        : 15
Time         : 17.211s (Solving: 0.29s 1st Model: 0.00s Unsat: 0.29s)
CPU Time     : 17.032s

Choices      : 51       (Domain: 51)
Conflicts    : 19       (Analyzed: 10)
Restarts     : 0       
Problems     : 15       (Average Length: 37.00 Splits: 0)
Lemmas       : 10       (Deleted: 0)
  Binary     : 0        (Ratio:   0.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 10       (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    : 10       (Average: 77.10 Max:  80 Sum:    771)
  Executed   : 0        (Average:  5.10 Max:   8 Sum:     51 Ratio:   6.61%)
  Bounded    : 10       (Average: 72.00 Max:  72 Sum:    720 Ratio:  93.39%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 475108   (Eliminated:    0 Frozen: 156312)
Constraints  : 3052272  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.19s
Memory:		 717MB (+15MB)
UNSAT
Iteration Time:	 1.32s

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

Models       : 0
Calls        : 16
Time         : 18.676s (Solving: 0.43s 1st Model: 0.00s Unsat: 0.43s)
CPU Time     : 18.496s

Choices      : 219      (Domain: 219)
Conflicts    : 47       (Analyzed: 37)
Restarts     : 0       
Problems     : 16       (Average Length: 39.50 Splits: 0)
Lemmas       : 37       (Deleted: 0)
  Binary     : 1        (Ratio:   2.70%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 37       (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    : 37       (Average: 79.51 Max:  85 Sum:   2942)
  Executed   : 0        (Average:  5.92 Max:   8 Sum:    219 Ratio:   7.44%)
  Bounded    : 37       (Average: 73.59 Max:  77 Sum:   2723 Ratio:  92.56%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 510159   (Eliminated:    0 Frozen: 167832)
Constraints  : 3233398  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.26s
Memory:		 752MB (+23MB)
UNSAT
Iteration Time:	 1.48s

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

Models       : 0
Calls        : 17
Time         : 20.313s (Solving: 0.69s 1st Model: 0.00s Unsat: 0.69s)
CPU Time     : 20.132s

Choices      : 598      (Domain: 598)
Conflicts    : 104      (Analyzed: 93)
Restarts     : 0       
Problems     : 17       (Average Length: 42.00 Splits: 0)
Lemmas       : 93       (Deleted: 0)
  Binary     : 2        (Ratio:   2.15%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 93       (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    : 93       (Average: 84.22 Max:  91 Sum:   7832)
  Executed   : 0        (Average:  6.43 Max:   9 Sum:    598 Ratio:   7.64%)
  Bounded    : 93       (Average: 77.78 Max:  82 Sum:   7234 Ratio:  92.36%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 545210   (Eliminated:    0 Frozen: 179352)
Constraints  : 3390968  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 0.38s
Memory:		 827MB (+64MB)
UNSAT
Iteration Time:	 1.65s

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

Models       : 0
Calls        : 18
Time         : 23.073s (Solving: 2.07s 1st Model: 0.00s Unsat: 2.07s)
CPU Time     : 22.892s

Choices      : 2459     (Domain: 2459)
Conflicts    : 638      (Analyzed: 626)
Restarts     : 7        (Average: 89.43 Last: 56)
Problems     : 18       (Average Length: 44.50 Splits: 0)
Lemmas       : 626      (Deleted: 0)
  Binary     : 8        (Ratio:   1.28%)
  Ternary    : 3        (Ratio:   0.48%)
  Conflict   : 626      (Average Length: 2240.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 626      (Average: 21.94 Max: 160 Sum:  13736)
  Executed   : 484      (Average:  3.90 Max: 160 Sum:   2443 Ratio:  17.79%)
  Bounded    : 142      (Average: 79.53 Max:  87 Sum:  11293 Ratio:  82.21%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 580261   (Eliminated:    0 Frozen: 190872)
Constraints  : 3493086  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 1.51s
Memory:		 831MB (+4MB)
UNSAT
Iteration Time:	 2.78s

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

Models       : 0
Calls        : 19
Time         : 28.280s (Solving: 5.85s 1st Model: 0.00s Unsat: 5.85s)
CPU Time     : 28.100s

Choices      : 9908     (Domain: 9908)
Conflicts    : 2112     (Analyzed: 2099)
Restarts     : 24       (Average: 87.46 Last: 56)
Problems     : 19       (Average Length: 47.00 Splits: 0)
Lemmas       : 2099     (Deleted: 0)
  Binary     : 34       (Ratio:   1.62%)
  Ternary    : 9        (Ratio:   0.43%)
  Conflict   : 2099     (Average Length: 2683.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2099     (Average: 11.47 Max: 184 Sum:  24086)
  Executed   : 1922     (Average:  4.70 Max: 184 Sum:   9867 Ratio:  40.97%)
  Bounded    : 177      (Average: 80.33 Max:  92 Sum:  14219 Ratio:  59.03%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 615312   (Eliminated:    0 Frozen: 202392)
Constraints  : 3589035  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 3.92s
Memory:		 855MB (+18MB)
UNSAT
Iteration Time:	 5.23s

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

Models       : 0
Calls        : 20
Time         : 54.252s (Solving: 29.73s 1st Model: 0.00s Unsat: 29.73s)
CPU Time     : 54.052s

Choices      : 103828   (Domain: 103828)
Conflicts    : 8003     (Analyzed: 7989)
Restarts     : 87       (Average: 91.83 Last: 56)
Problems     : 20       (Average Length: 49.50 Splits: 0)
Lemmas       : 7989     (Deleted: 3932)
  Binary     : 63       (Ratio:   0.79%)
  Ternary    : 9        (Ratio:   0.11%)
  Conflict   : 7989     (Average Length: 2320.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 7989     (Average: 14.64 Max: 296 Sum: 116959)
  Executed   : 7808     (Average: 12.85 Max: 296 Sum: 102640 Ratio:  87.76%)
  Bounded    : 181      (Average: 79.11 Max:  97 Sum:  14319 Ratio:  12.24%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 650363   (Eliminated:    0 Frozen: 213912)
Constraints  : 3865891  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 24.00s
Memory:		 935MB (+18MB)
UNSAT
Iteration Time:	 25.96s

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

Models       : 0
Calls        : 21
Time         : 96.259s (Solving: 70.01s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 96.064s

Choices      : 201271   (Domain: 201271)
Conflicts    : 15213    (Analyzed: 15198)
Restarts     : 166      (Average: 91.55 Last: 56)
Problems     : 21       (Average Length: 52.00 Splits: 0)
Lemmas       : 15198    (Deleted: 11635)
  Binary     : 93       (Ratio:   0.61%)
  Ternary    : 9        (Ratio:   0.06%)
  Conflict   : 15198    (Average Length: 4422.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 15198    (Average: 13.86 Max: 337 Sum: 210637)
  Executed   : 15014    (Average: 12.92 Max: 337 Sum: 196315 Ratio:  93.20%)
  Bounded    : 184      (Average: 77.84 Max:  97 Sum:  14322 Ratio:   6.80%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 685414   (Eliminated:    0 Frozen: 225432)
Constraints  : 4143446  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 40.47s
Memory:		 1091MB (+144MB)
UNSAT
Iteration Time:	 42.03s

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

Models       : 0+
Calls        : 22
Time         : 144.722s (Solving: 117.04s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 144.548s

Choices      : 326372   (Domain: 326372)
Conflicts    : 24336    (Analyzed: 24321)
Restarts     : 266      (Average: 91.43 Last: 112)
Problems     : 22       (Average Length: 54.50 Splits: 0)
Lemmas       : 24321    (Deleted: 21072)
  Binary     : 151      (Ratio:   0.62%)
  Ternary    : 9        (Ratio:   0.04%)
  Conflict   : 24321    (Average Length: 7771.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 24321    (Average: 13.45 Max: 351 Sum: 327091)
  Executed   : 24133    (Average: 12.86 Max: 351 Sum: 312765 Ratio:  95.62%)
  Bounded    : 188      (Average: 76.20 Max:  97 Sum:  14326 Ratio:   4.38%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 720465   (Eliminated:    0 Frozen: 236952)
Constraints  : 4421026  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 47.22s
Memory:		 1191MB (+88MB)
UNKNOWN
Iteration Time:	 48.50s

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

Models       : 0+
Calls        : 23
Time         : 200.409s (Solving: 171.22s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 200.224s

Choices      : 483923   (Domain: 483923)
Conflicts    : 33116    (Analyzed: 33101)
Restarts     : 366      (Average: 90.44 Last: 163)
Problems     : 23       (Average Length: 57.00 Splits: 0)
Lemmas       : 33101    (Deleted: 30096)
  Binary     : 195      (Ratio:   0.59%)
  Ternary    : 14       (Ratio:   0.04%)
  Conflict   : 33101    (Average Length: 9831.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 33101    (Average: 14.34 Max: 428 Sum: 474704)
  Executed   : 32910    (Average: 13.91 Max: 428 Sum: 460375 Ratio:  96.98%)
  Bounded    : 191      (Average: 75.02 Max:  97 Sum:  14329 Ratio:   3.02%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 755516   (Eliminated:    0 Frozen: 248472)
Constraints  : 4698606  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 54.37s
Memory:		 1290MB (+95MB)
UNKNOWN
Iteration Time:	 55.69s

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

Models       : 0+
Calls        : 24
Time         : 265.954s (Solving: 235.28s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 265.800s

Choices      : 833622   (Domain: 833622)
Conflicts    : 42705    (Analyzed: 42690)
Restarts     : 466      (Average: 91.61 Last: 163)
Problems     : 24       (Average Length: 59.50 Splits: 0)
Lemmas       : 42690    (Deleted: 38825)
  Binary     : 235      (Ratio:   0.55%)
  Ternary    : 14       (Ratio:   0.03%)
  Conflict   : 42690    (Average Length: 11148.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 42690    (Average: 18.90 Max: 1433 Sum: 806859)
  Executed   : 42496    (Average: 18.56 Max: 1433 Sum: 792527 Ratio:  98.22%)
  Bounded    : 194      (Average: 73.88 Max:  97 Sum:  14332 Ratio:   1.78%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 790567   (Eliminated:    0 Frozen: 259992)
Constraints  : 4976186  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 64.27s
Memory:		 1360MB (+58MB)
UNKNOWN
Iteration Time:	 65.59s

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

Models       : 0+
Calls        : 25
Time         : 330.668s (Solving: 298.45s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 330.464s

Choices      : 1176116  (Domain: 1176116)
Conflicts    : 51958    (Analyzed: 51943)
Restarts     : 566      (Average: 91.77 Last: 163)
Problems     : 25       (Average Length: 62.00 Splits: 0)
Lemmas       : 51943    (Deleted: 48237)
  Binary     : 289      (Ratio:   0.56%)
  Ternary    : 15       (Ratio:   0.03%)
  Conflict   : 51943    (Average Length: 12440.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 51943    (Average: 21.22 Max: 2481 Sum: 1102184)
  Executed   : 51747    (Average: 20.94 Max: 2481 Sum: 1087850 Ratio:  98.70%)
  Bounded    : 196      (Average: 73.13 Max:  97 Sum:  14334 Ratio:   1.30%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 825618   (Eliminated:    0 Frozen: 271512)
Constraints  : 5253766  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 63.34s
Memory:		 1394MB (+22MB)
UNKNOWN
Iteration Time:	 64.68s

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

Models       : 0+
Calls        : 26
Time         : 407.184s (Solving: 373.33s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 406.944s

Choices      : 1536900  (Domain: 1536900)
Conflicts    : 61490    (Analyzed: 61475)
Restarts     : 666      (Average: 92.30 Last: 163)
Problems     : 26       (Average Length: 64.50 Splits: 0)
Lemmas       : 61475    (Deleted: 57360)
  Binary     : 395      (Ratio:   0.64%)
  Ternary    : 16       (Ratio:   0.03%)
  Conflict   : 61475    (Average Length: 13836.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 61475    (Average: 23.38 Max: 3314 Sum: 1437558)
  Executed   : 61272    (Average: 23.15 Max: 3314 Sum: 1423217 Ratio:  99.00%)
  Bounded    : 203      (Average: 70.65 Max:  97 Sum:  14341 Ratio:   1.00%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 860669   (Eliminated:    0 Frozen: 283032)
Constraints  : 5531346  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 75.06s
Memory:		 1493MB (+87MB)
UNKNOWN
Iteration Time:	 76.49s

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

Models       : 0+
Calls        : 27
Time         : 456.792s (Solving: 421.34s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 456.572s

Choices      : 2422589  (Domain: 2422589)
Conflicts    : 70135    (Analyzed: 70120)
Restarts     : 766      (Average: 91.54 Last: 163)
Problems     : 27       (Average Length: 67.00 Splits: 0)
Lemmas       : 70120    (Deleted: 66731)
  Binary     : 458      (Ratio:   0.65%)
  Ternary    : 16       (Ratio:   0.02%)
  Conflict   : 70120    (Average Length: 14006.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 70120    (Average: 28.72 Max: 6066 Sum: 2014111)
  Executed   : 69911    (Average: 28.52 Max: 6066 Sum: 1999764 Ratio:  99.29%)
  Bounded    : 209      (Average: 68.65 Max:  97 Sum:  14347 Ratio:   0.71%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 895720   (Eliminated:    0 Frozen: 294552)
Constraints  : 5808926  (Binary:  95.2% Ternary:   4.2% Other:   0.6%)

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

[endof: stats after solve call]
Solving Time:	 48.26s
Memory:		 1465MB (+-40MB)
UNKNOWN
Iteration Time:	 49.64s

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

Models       : 0+
Calls        : 28
Time         : 519.948s (Solving: 482.88s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 519.756s

Choices      : 3588018  (Domain: 3588018)
Conflicts    : 79692    (Analyzed: 79677)
Restarts     : 866      (Average: 92.01 Last: 163)
Problems     : 28       (Average Length: 69.50 Splits: 0)
Lemmas       : 79677    (Deleted: 75185)
  Binary     : 659      (Ratio:   0.83%)
  Ternary    : 17       (Ratio:   0.02%)
  Conflict   : 79677    (Average Length: 14538.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 79677    (Average: 37.02 Max: 13147 Sum: 2949593)
  Executed   : 79455    (Average: 36.84 Max: 13147 Sum: 2935233 Ratio:  99.51%)
  Bounded    : 222      (Average: 64.68 Max:  97 Sum:  14360 Ratio:   0.49%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 930771   (Eliminated:    0 Frozen: 306072)
Constraints  : 6086506  (Binary:  95.2% Ternary:   4.2% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 61.77s
Memory:		 1563MB (+88MB)
UNKNOWN
Iteration Time:	 63.20s

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

Models       : 0+
Calls        : 29
Time         : 567.366s (Solving: 530.02s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 567.144s

Choices      : 3702902  (Domain: 3702902)
Conflicts    : 88966    (Analyzed: 88951)
Restarts     : 966      (Average: 92.08 Last: 163)
Problems     : 29       (Average Length: 71.83 Splits: 0)
Lemmas       : 88951    (Deleted: 84565)
  Binary     : 675      (Ratio:   0.76%)
  Ternary    : 27       (Ratio:   0.03%)
  Conflict   : 88951    (Average Length: 13969.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 88951    (Average: 34.36 Max: 13147 Sum: 3056331)
  Executed   : 88729    (Average: 34.20 Max: 13147 Sum: 3041971 Ratio:  99.53%)
  Bounded    : 222      (Average: 64.68 Max:  97 Sum:  14360 Ratio:   0.47%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 930771   (Eliminated:    0 Frozen: 306072)
Constraints  : 6086506  (Binary:  95.2% Ternary:   4.2% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 47.27s
Memory:		 1563MB (+0MB)
UNKNOWN
Iteration Time:	 47.39s

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

Models       : 0+
Calls        : 30
Time         : 629.262s (Solving: 591.67s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 628.972s

Choices      : 3869777  (Domain: 3869777)
Conflicts    : 97946    (Analyzed: 97931)
Restarts     : 1066     (Average: 91.87 Last: 163)
Problems     : 30       (Average Length: 74.00 Splits: 0)
Lemmas       : 97931    (Deleted: 93828)
  Binary     : 685      (Ratio:   0.70%)
  Ternary    : 28       (Ratio:   0.03%)
  Conflict   : 97931    (Average Length: 14085.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 97931    (Average: 32.82 Max: 13147 Sum: 3213886)
  Executed   : 97709    (Average: 32.67 Max: 13147 Sum: 3199526 Ratio:  99.55%)
  Bounded    : 222      (Average: 64.68 Max:  97 Sum:  14360 Ratio:   0.45%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 930771   (Eliminated:    0 Frozen: 306072)
Constraints  : 6086506  (Binary:  95.2% Ternary:   4.2% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 61.74s
Memory:		 1563MB (+0MB)
UNKNOWN
Iteration Time:	 61.83s

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

Models       : 0+
Calls        : 31
Time         : 695.627s (Solving: 657.76s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 695.364s

Choices      : 4051837  (Domain: 4051837)
Conflicts    : 107438   (Analyzed: 107423)
Restarts     : 1166     (Average: 92.13 Last: 163)
Problems     : 31       (Average Length: 76.03 Splits: 0)
Lemmas       : 107423   (Deleted: 102751)
  Binary     : 703      (Ratio:   0.65%)
  Ternary    : 28       (Ratio:   0.03%)
  Conflict   : 107423   (Average Length: 14479.8 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 107423   (Average: 31.46 Max: 13147 Sum: 3379175)
  Executed   : 107201   (Average: 31.32 Max: 13147 Sum: 3364815 Ratio:  99.58%)
  Bounded    : 222      (Average: 64.68 Max:  97 Sum:  14360 Ratio:   0.42%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 930771   (Eliminated:    0 Frozen: 306072)
Constraints  : 6086506  (Binary:  95.2% Ternary:   4.2% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 66.27s
Memory:		 1563MB (+0MB)
UNKNOWN
Iteration Time:	 66.40s

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

Models       : 0+
Calls        : 32
Time         : 766.235s (Solving: 728.09s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 765.892s

Choices      : 4249355  (Domain: 4249355)
Conflicts    : 116852   (Analyzed: 116837)
Restarts     : 1266     (Average: 92.29 Last: 166)
Problems     : 32       (Average Length: 77.94 Splits: 0)
Lemmas       : 116837   (Deleted: 112168)
  Binary     : 745      (Ratio:   0.64%)
  Ternary    : 36       (Ratio:   0.03%)
  Conflict   : 116837   (Average Length: 14950.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 116837   (Average: 30.39 Max: 13147 Sum: 3550502)
  Executed   : 116614   (Average: 30.27 Max: 13147 Sum: 3536141 Ratio:  99.60%)
  Bounded    : 223      (Average: 64.40 Max:  97 Sum:  14361 Ratio:   0.40%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 930771   (Eliminated:    0 Frozen: 306072)
Constraints  : 6086506  (Binary:  95.2% Ternary:   4.2% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 70.41s
Memory:		 1563MB (+0MB)
UNKNOWN
Iteration Time:	 70.53s

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

Models       : 0+
Calls        : 33
Time         : 821.731s (Solving: 783.29s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 821.412s

Choices      : 4568018  (Domain: 4568018)
Conflicts    : 126226   (Analyzed: 126211)
Restarts     : 1366     (Average: 92.39 Last: 166)
Problems     : 33       (Average Length: 79.73 Splits: 0)
Lemmas       : 126211   (Deleted: 121463)
  Binary     : 769      (Ratio:   0.61%)
  Ternary    : 42       (Ratio:   0.03%)
  Conflict   : 126211   (Average Length: 15279.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 126211   (Average: 29.60 Max: 13147 Sum: 3735310)
  Executed   : 125987   (Average: 29.48 Max: 13147 Sum: 3720948 Ratio:  99.62%)
  Bounded    : 224      (Average: 64.12 Max:  97 Sum:  14362 Ratio:   0.38%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 930771   (Eliminated:    0 Frozen: 306072)
Constraints  : 6086506  (Binary:  95.2% Ternary:   4.2% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 55.38s
Memory:		 1563MB (+0MB)
UNKNOWN
Iteration Time:	 55.52s

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

Models       : 0+
Calls        : 34
Time         : 881.841s (Solving: 843.14s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 881.544s

Choices      : 4827004  (Domain: 4827004)
Conflicts    : 134905   (Analyzed: 134890)
Restarts     : 1466     (Average: 92.01 Last: 166)
Problems     : 34       (Average Length: 81.41 Splits: 0)
Lemmas       : 134890   (Deleted: 130768)
  Binary     : 783      (Ratio:   0.58%)
  Ternary    : 43       (Ratio:   0.03%)
  Conflict   : 134890   (Average Length: 15802.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 134890   (Average: 28.81 Max: 13147 Sum: 3886528)
  Executed   : 134665   (Average: 28.71 Max: 13147 Sum: 3872165 Ratio:  99.63%)
  Bounded    : 225      (Average: 63.84 Max:  97 Sum:  14363 Ratio:   0.37%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 930771   (Eliminated:    0 Frozen: 306072)
Constraints  : 6086506  (Binary:  95.2% Ternary:   4.2% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 60.03s
Memory:		 1563MB (+0MB)
UNKNOWN
Iteration Time:	 60.14s

Iteration 35
Queue:		 [(27,135,1,True), (28,140,0,True), (29,145,0,True), (30,150,0,True), (31,155,0,True), (32,160,0,True), (33,165,0,True), (34,170,0,True)]
Grounded Until:	 135
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 35
Time         : 891.329s (Solving: 852.37s 1st Model: 0.00s Unsat: 70.01s)
CPU Time     : 891.020s

Choices      : 4912230  (Domain: 4912230)
Conflicts    : 136534   (Analyzed: 136519)
Restarts     : 1482     (Average: 92.12 Last: 166)
Problems     : 35       (Average Length: 83.00 Splits: 0)
Lemmas       : 136519   (Deleted: 130768)
  Binary     : 800      (Ratio:   0.59%)
  Ternary    : 44       (Ratio:   0.03%)
  Conflict   : 136519   (Average Length: 15810.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 136519   (Average: 28.87 Max: 13147 Sum: 3941795)
  Executed   : 136293   (Average: 28.77 Max: 13147 Sum: 3927431 Ratio:  99.64%)
  Bounded    : 226      (Average: 63.56 Max:  97 Sum:  14364 Ratio:   0.36%)

Rules        : 115781  
Atoms        : 115781  
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 930771   (Eliminated:    0 Frozen: 306072)
Constraints  : 6086506  (Binary:  95.2% Ternary:   4.2% Other:   0.5%)

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


