INFO     Running translator.
INFO     translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/instances/instance-1.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-2011/domains/tidybot-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/instances/instance-1.pddl
Parsing...
Parsing: [0.100s CPU, 0.157s wall-clock]
Normalizing task... [0.010s CPU, 0.009s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.019s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.230s CPU, 0.228s wall-clock]
Preparing model... [0.060s CPU, 0.066s wall-clock]
Generated 400 rules.
Computing model... [6.590s CPU, 6.592s wall-clock]
30957 relevant atoms
32175 auxiliary atoms
63132 final queue length
162423 total queue pushes
Completing instantiation... [17.970s CPU, 17.953s wall-clock]
Instantiating: [24.940s CPU, 24.932s wall-clock]
Computing fact groups...
Finding invariants...
41 initial candidates
Finding invariants: [0.620s CPU, 0.615s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.000s CPU, 0.001s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.000s wall-clock]
Choosing groups...
379 uncovered facts
Choosing groups: [0.000s CPU, 0.001s wall-clock]
Building translation key... [0.010s CPU, 0.015s wall-clock]
Computing fact groups: [0.660s CPU, 0.662s wall-clock]
Building STRIPS to SAS dictionary... [0.010s CPU, 0.004s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.003s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.003s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [1.120s CPU, 1.113s wall-clock]
Translating task: [21.180s CPU, 21.169s wall-clock]
81379 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
0 operators removed
0 axioms removed
2 propositions removed
Detecting unreachable propositions: [10.430s CPU, 10.425s wall-clock]
Reordering and filtering variables...
381 of 381 variables necessary.
1 of 3 mutex groups necessary.
30393 of 30393 operators necessary.
0 of 0 axiom rules necessary.
Reordering and filtering variables: [6.930s CPU, 6.926s wall-clock]
Translator variables: 381
Translator derived variables: 0
Translator facts: 765
Translator goal facts: 4
Translator mutex groups: 1
Translator total mutex groups size: 2
Translator operators: 30393
Translator axioms: 0
Translator task size: 365306
Translator peak memory: 231240 KB
Writing output... [6.110s CPU, 6.555s wall-clock]
Done! [71.020s CPU, 71.494s wall-clock]
planner.py version 0.0.1

Time:	 17.14s
Memory: 1140MB

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

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

[endof: stats after solve call]
Solving Time:	 0.09s
Memory:		 1212MB (+72MB)
UNSAT
Iteration Time:	 0.09s

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

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

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        : 1004033 
Atoms        : 1004033 
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 68552    (Eliminated:    0 Frozen:    0)
Constraints  : 10273    (Binary:  95.5% Ternary:   2.5% Other:   2.0%)

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

[endof: stats after solve call]
Solving Time:	 0.30s
Memory:		 1214MB (+2MB)
UNSAT
Iteration Time:	 4.56s

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

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

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        : 1004033 
Atoms        : 1004033 
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 138281   (Eliminated:    0 Frozen:    0)
Constraints  : 201695   (Binary:  98.4% Ternary:   0.8% Other:   0.8%)

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

[endof: stats after solve call]
Solving Time:	 0.34s
Memory:		 1217MB (+3MB)
UNSAT
Iteration Time:	 4.38s

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

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

Choices      : 16       (Domain: 16)
Conflicts    : 2        (Analyzed: 1)
Restarts     : 0       
Problems     : 4        (Average Length: 9.50 Splits: 0)
Lemmas       : 1        (Deleted: 0)
  Binary     : 1        (Ratio: 100.00%)
  Ternary    : 0        (Ratio:   0.00%)
  Conflict   : 1        (Average Length:    2.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 1        (Average: 17.00 Max:  17 Sum:     17)
  Executed   : 0        (Average: 16.00 Max:  16 Sum:     16 Ratio:  94.12%)
  Bounded    : 1        (Average:  1.00 Max:   1 Sum:      1 Ratio:   5.88%)

Rules        : 1004033 
Atoms        : 1004033 
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 212436   (Eliminated:    0 Frozen:    0)
Constraints  : 916722   (Binary:  99.1% Ternary:   0.5% Other:   0.5%)

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

[endof: stats after solve call]
Solving Time:	 0.28s
Memory:		 1219MB (+2MB)
UNSAT
Iteration Time:	 5.33s

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

Models       : 1+
Calls        : 5
Time         : 39.187s (Solving: 0.11s 1st Model: 0.08s Unsat: 0.00s)
CPU Time     : 36.000s

Choices      : 3677     (Domain: 1575)
Conflicts    : 131      (Analyzed: 130)
Restarts     : 0       
Model-Level  : 822.0   
Problems     : 5        (Average Length: 12.00 Splits: 0)
Lemmas       : 130      (Deleted: 0)
  Binary     : 15       (Ratio:  11.54%)
  Ternary    : 10       (Ratio:   7.69%)
  Conflict   : 130      (Average Length:   62.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 130      (Average: 22.48 Max: 463 Sum:   2922)
  Executed   : 127      (Average: 22.13 Max: 463 Sum:   2877 Ratio:  98.46%)
  Bounded    : 3        (Average: 15.00 Max:  22 Sum:     45 Ratio:   1.54%)

Rules        : 1004033 
Atoms        : 1004033 
Bodies       : 1        (Original: 0)
Tight        : Yes
Variables    : 295917   (Eliminated:    0 Frozen:    0)
Constraints  : 2264541  (Binary:  99.3% Ternary:   0.3% Other:   0.3%)

Memory Peak  : 1276MB
Max. Length  : 15 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 0.24s
Memory:		 1242MB (+23MB)
SAT
Testing...
NOT SERIALIZABLE
Testing Time:	 21.29s
Memory:		 1955MB (+713MB)
Solving...
[start: stats after solve call]

Models       : 0
Calls        : 6
Time         : 63.527s (Solving: 17.92s 1st Model: 0.08s Unsat: 17.82s)
CPU Time     : 60.348s

Choices      : 13938    (Domain: 8715)
Conflicts    : 2836     (Analyzed: 2834)
Restarts     : 32       (Average: 88.56 Last: 129)
Model-Level  : 822.0   
Problems     : 6        (Average Length: 13.67 Splits: 0)
Lemmas       : 2834     (Deleted: 971)
  Binary     : 110      (Ratio:   3.88%)
  Ternary    : 56       (Ratio:   1.98%)
  Conflict   : 2834     (Average Length:  947.6 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 2834     (Average:  4.87 Max: 463 Sum:  13792)
  Executed   : 2793     (Average:  4.56 Max: 463 Sum:  12930 Ratio:  93.75%)
  Bounded    : 41       (Average: 21.02 Max:  22 Sum:    862 Ratio:   6.25%)

Rules        : 1704870  (Original: 1704098)
Atoms        : 1064086 
Bodies       : 403661   (Original: 402959)
  Count      : 3725     (Original: 3830)
Equivalences : 131936   (Atom=Atom: 101 Body=Body: 0 Other: 131835)
Tight        : Yes
Variables    : 304386   (Eliminated:    0 Frozen: 131531)
Constraints  : 2921658  (Binary:  99.2% Ternary:   0.3% Other:   0.5%)

Memory Peak  : 2012MB
Max. Length  : 15 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 18.35s
Memory:		 1955MB (+0MB)
UNSAT
Iteration Time:	 44.18s

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

Models       : 0+
Calls        : 7
Time         : 139.580s (Solving: 86.56s 1st Model: 0.08s Unsat: 17.82s)
CPU Time     : 136.432s

Choices      : 47827    (Domain: 26843)
Conflicts    : 11360    (Analyzed: 11358)
Restarts     : 132      (Average: 86.05 Last: 129)
Model-Level  : 822.0   
Problems     : 7        (Average Length: 15.57 Splits: 0)
Lemmas       : 11358    (Deleted: 6797)
  Binary     : 149      (Ratio:   1.31%)
  Ternary    : 76       (Ratio:   0.67%)
  Conflict   : 11358    (Average Length: 2297.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 11358    (Average:  3.91 Max: 1620 Sum:  44377)
  Executed   : 11303    (Average:  3.80 Max: 1620 Sum:  43155 Ratio:  97.25%)
  Bounded    : 55       (Average: 22.22 Max:  27 Sum:   1222 Ratio:   2.75%)

Rules        : 1704870  (Original: 1704098)
Atoms        : 1064086 
Bodies       : 403661   (Original: 402959)
  Count      : 3725     (Original: 3830)
Equivalences : 131936   (Atom=Atom: 101 Body=Body: 0 Other: 131835)
Tight        : Yes
Variables    : 392552   (Eliminated:    0 Frozen: 209586)
Constraints  : 4649602  (Binary:  99.3% Ternary:   0.2% Other:   0.5%)

Memory Peak  : 2012MB
Max. Length  : 20 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 68.82s
Memory:		 1944MB (+-11MB)
UNKNOWN
Iteration Time:	 76.10s

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

Models       : 0+
Calls        : 8
Time         : 251.023s (Solving: 190.48s 1st Model: 0.08s Unsat: 17.82s)
CPU Time     : 247.924s

Choices      : 70409    (Domain: 48703)
Conflicts    : 20878    (Analyzed: 20876)
Restarts     : 232      (Average: 89.98 Last: 129)
Model-Level  : 822.0   
Problems     : 8        (Average Length: 17.62 Splits: 0)
Lemmas       : 20876    (Deleted: 17307)
  Binary     : 161      (Ratio:   0.77%)
  Ternary    : 82       (Ratio:   0.39%)
  Conflict   : 20876    (Average Length: 2527.3 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 20876    (Average:  2.98 Max: 1620 Sum:  62144)
  Executed   : 20821    (Average:  2.92 Max: 1620 Sum:  60922 Ratio:  98.03%)
  Bounded    : 55       (Average: 22.22 Max:  27 Sum:   1222 Ratio:   1.97%)

Rules        : 1704870  (Original: 1704098)
Atoms        : 1064086 
Bodies       : 403661   (Original: 402959)
  Count      : 3725     (Original: 3830)
Equivalences : 131936   (Atom=Atom: 101 Body=Body: 0 Other: 131835)
Tight        : Yes
Variables    : 480718   (Eliminated:    0 Frozen: 287641)
Constraints  : 6419099  (Binary:  99.3% Ternary:   0.2% Other:   0.4%)

Memory Peak  : 2075MB
Max. Length  : 25 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 104.14s
Memory:		 2011MB (+67MB)
UNKNOWN
Iteration Time:	 111.50s

Iteration 8
Queue:		 [(5,25,1,True), (6,30,1,True), (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), (14,70,0,True), (15,75,0,True), (16,80,0,True), (17,85,0,True), (18,90,0,True)]
Grounded Until:	 30
Blocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 9
Time         : 325.775s (Solving: 265.08s 1st Model: 0.08s Unsat: 17.82s)
CPU Time     : 322.708s

Choices      : 112641   (Domain: 65092)
Conflicts    : 29233    (Analyzed: 29231)
Restarts     : 332      (Average: 88.05 Last: 129)
Model-Level  : 822.0   
Problems     : 9        (Average Length: 19.22 Splits: 0)
Lemmas       : 29231    (Deleted: 24557)
  Binary     : 205      (Ratio:   0.70%)
  Ternary    : 93       (Ratio:   0.32%)
  Conflict   : 29231    (Average Length: 2731.4 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 29231    (Average:  3.44 Max: 4120 Sum: 100473)
  Executed   : 29173    (Average:  3.39 Max: 4120 Sum:  99155 Ratio:  98.69%)
  Bounded    : 58       (Average: 22.72 Max:  32 Sum:   1318 Ratio:   1.31%)

Rules        : 1704870  (Original: 1704098)
Atoms        : 1064086 
Bodies       : 403661   (Original: 402959)
  Count      : 3725     (Original: 3830)
Equivalences : 131936   (Atom=Atom: 101 Body=Body: 0 Other: 131835)
Tight        : Yes
Variables    : 480718   (Eliminated:    0 Frozen: 287641)
Constraints  : 6419099  (Binary:  99.3% Ternary:   0.2% Other:   0.4%)

Memory Peak  : 2075MB
Max. Length  : 30 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 74.72s
Memory:		 2020MB (+9MB)
UNKNOWN
Iteration Time:	 74.79s

Iteration 9
Queue:		 [(6,30,1,True), (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), (14,70,0,True), (15,75,0,True), (16,80,0,True), (17,85,0,True), (18,90,0,True)]
Grounded Until:	 30
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 10
Time         : 432.211s (Solving: 371.37s 1st Model: 0.08s Unsat: 17.82s)
CPU Time     : 429.188s

Choices      : 130378   (Domain: 82743)
Conflicts    : 38348    (Analyzed: 38346)
Restarts     : 432      (Average: 88.76 Last: 129)
Model-Level  : 822.0   
Problems     : 10       (Average Length: 20.50 Splits: 0)
Lemmas       : 38346    (Deleted: 35078)
  Binary     : 224      (Ratio:   0.58%)
  Ternary    : 95       (Ratio:   0.25%)
  Conflict   : 38346    (Average Length: 2619.7 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 38346    (Average:  2.98 Max: 4120 Sum: 114415)
  Executed   : 38288    (Average:  2.95 Max: 4120 Sum: 113097 Ratio:  98.85%)
  Bounded    : 58       (Average: 22.72 Max:  32 Sum:   1318 Ratio:   1.15%)

Rules        : 1704870  (Original: 1704098)
Atoms        : 1064086 
Bodies       : 403661   (Original: 402959)
  Count      : 3725     (Original: 3830)
Equivalences : 131936   (Atom=Atom: 101 Body=Body: 0 Other: 131835)
Tight        : Yes
Variables    : 480718   (Eliminated:    0 Frozen: 287641)
Constraints  : 6418829  (Binary:  99.3% Ternary:   0.2% Other:   0.4%)

Memory Peak  : 2075MB
Max. Length  : 30 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 106.42s
Memory:		 2020MB (+0MB)
UNKNOWN
Iteration Time:	 106.49s

Iteration 10
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), (14,70,0,True), (15,75,0,True), (16,80,0,True), (17,85,0,True), (18,90,0,True)]
Grounded Until:	 30
Expected Memory: 2087.0MB
Grounding...	 [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])]
Grounding Time:	 7.38s
Memory:		 2020MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 11
Time         : 532.427s (Solving: 462.43s 1st Model: 0.08s Unsat: 17.82s)
CPU Time     : 529.448s

Choices      : 149111   (Domain: 101364)
Conflicts    : 46439    (Analyzed: 46437)
Restarts     : 532      (Average: 87.29 Last: 129)
Model-Level  : 822.0   
Problems     : 11       (Average Length: 22.00 Splits: 0)
Lemmas       : 46437    (Deleted: 41994)
  Binary     : 233      (Ratio:   0.50%)
  Ternary    : 99       (Ratio:   0.21%)
  Conflict   : 46437    (Average Length: 2727.5 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 46437    (Average:  2.73 Max: 4120 Sum: 126830)
  Executed   : 46379    (Average:  2.70 Max: 4120 Sum: 125512 Ratio:  98.96%)
  Bounded    : 58       (Average: 22.72 Max:  32 Sum:   1318 Ratio:   1.04%)

Rules        : 1704870  (Original: 1704098)
Atoms        : 1064086 
Bodies       : 403661   (Original: 402959)
  Count      : 3725     (Original: 3830)
Equivalences : 131936   (Atom=Atom: 101 Body=Body: 0 Other: 131835)
Tight        : Yes
Variables    : 568884   (Eliminated:    0 Frozen: 365696)
Constraints  : 8188539  (Binary:  99.4% Ternary:   0.2% Other:   0.4%)

Memory Peak  : 2075MB
Max. Length  : 30 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 91.30s
Memory:		 2023MB (+3MB)
UNKNOWN
Iteration Time:	 100.27s

Iteration 11
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), (14,70,0,True), (15,75,0,True), (16,80,0,True), (17,85,0,True), (18,90,0,True)]
Grounded Until:	 35
Expected Memory: 2090.0MB
Grounding...	 [('step', [36]), ('step', [37]), ('step', [38]), ('step', [39]), ('step', [40]), ('check', [40])]
Grounding Time:	 5.62s
Memory:		 2023MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 12
Time         : 625.766s (Solving: 548.31s 1st Model: 0.08s Unsat: 17.82s)
CPU Time     : 622.824s

Choices      : 175648   (Domain: 127553)
Conflicts    : 55319    (Analyzed: 55317)
Restarts     : 632      (Average: 87.53 Last: 129)
Model-Level  : 822.0   
Problems     : 12       (Average Length: 23.67 Splits: 0)
Lemmas       : 55317    (Deleted: 52260)
  Binary     : 242      (Ratio:   0.44%)
  Ternary    : 101      (Ratio:   0.18%)
  Conflict   : 55317    (Average Length: 2952.1 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 55317    (Average:  2.63 Max: 4120 Sum: 145758)
  Executed   : 55259    (Average:  2.61 Max: 4120 Sum: 144440 Ratio:  99.10%)
  Bounded    : 58       (Average: 22.72 Max:  32 Sum:   1318 Ratio:   0.90%)

Rules        : 1704870  (Original: 1704098)
Atoms        : 1064086 
Bodies       : 403661   (Original: 402959)
  Count      : 3725     (Original: 3830)
Equivalences : 131936   (Atom=Atom: 101 Body=Body: 0 Other: 131835)
Tight        : Yes
Variables    : 657050   (Eliminated:    0 Frozen: 443751)
Constraints  : 9958249  (Binary:  99.4% Ternary:   0.2% Other:   0.4%)

Memory Peak  : 2109MB
Max. Length  : 35 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 86.14s
Memory:		 2109MB (+86MB)
UNKNOWN
Iteration Time:	 93.39s

Iteration 12
Queue:		 [(9,45,0,True), (10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True), (17,85,0,True), (18,90,0,True)]
Grounded Until:	 40
Expected Memory: 2195.0MB
Grounding...	 [('step', [41]), ('step', [42]), ('step', [43]), ('step', [44]), ('step', [45]), ('check', [45])]
Grounding Time:	 5.65s
Memory:		 2109MB (+0MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 13
Time         : 705.152s (Solving: 620.17s 1st Model: 0.08s Unsat: 17.82s)
CPU Time     : 702.244s

Choices      : 207178   (Domain: 158890)
Conflicts    : 64287    (Analyzed: 64285)
Restarts     : 732      (Average: 87.82 Last: 129)
Model-Level  : 822.0   
Problems     : 13       (Average Length: 25.46 Splits: 0)
Lemmas       : 64285    (Deleted: 61216)
  Binary     : 249      (Ratio:   0.39%)
  Ternary    : 102      (Ratio:   0.16%)
  Conflict   : 64285    (Average Length: 3250.0 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 64285    (Average:  2.62 Max: 4120 Sum: 168368)
  Executed   : 64227    (Average:  2.60 Max: 4120 Sum: 167050 Ratio:  99.22%)
  Bounded    : 58       (Average: 22.72 Max:  32 Sum:   1318 Ratio:   0.78%)

Rules        : 1704870  (Original: 1704098)
Atoms        : 1064086 
Bodies       : 403661   (Original: 402959)
  Count      : 3725     (Original: 3830)
Equivalences : 131936   (Atom=Atom: 101 Body=Body: 0 Other: 131835)
Tight        : Yes
Variables    : 745216   (Eliminated:    0 Frozen: 521806)
Constraints  : 11727959 (Binary:  99.4% Ternary:   0.2% Other:   0.4%)

Memory Peak  : 2200MB
Max. Length  : 40 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 72.14s
Memory:		 2121MB (+12MB)
UNKNOWN
Iteration Time:	 79.43s

Iteration 13
Queue:		 [(10,50,0,True), (11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True), (17,85,0,True), (18,90,0,True)]
Grounded Until:	 45
Expected Memory: 2207.0MB
Grounding...	 [('step', [46]), ('step', [47]), ('step', [48]), ('step', [49]), ('step', [50]), ('check', [50])]
Grounding Time:	 5.75s
Memory:		 2195MB (+74MB)
Unblocking actions...
Solving...
[start: stats after solve call]

Models       : 0+
Calls        : 14
Time         : 789.518s (Solving: 696.79s 1st Model: 0.08s Unsat: 17.82s)
CPU Time     : 786.648s

Choices      : 252152   (Domain: 202101)
Conflicts    : 73934    (Analyzed: 73932)
Restarts     : 832      (Average: 88.86 Last: 129)
Model-Level  : 822.0   
Problems     : 14       (Average Length: 27.36 Splits: 0)
Lemmas       : 73932    (Deleted: 70170)
  Binary     : 256      (Ratio:   0.35%)
  Ternary    : 103      (Ratio:   0.14%)
  Conflict   : 73932    (Average Length: 3823.9 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 73932    (Average:  2.74 Max: 4120 Sum: 202770)
  Executed   : 73874    (Average:  2.72 Max: 4120 Sum: 201452 Ratio:  99.35%)
  Bounded    : 58       (Average: 22.72 Max:  32 Sum:   1318 Ratio:   0.65%)

Rules        : 1704870  (Original: 1704098)
Atoms        : 1064086 
Bodies       : 403661   (Original: 402959)
  Count      : 3725     (Original: 3830)
Equivalences : 131936   (Atom=Atom: 101 Body=Body: 0 Other: 131835)
Tight        : Yes
Variables    : 833382   (Eliminated:    0 Frozen: 599861)
Constraints  : 13497669 (Binary:  99.4% Ternary:   0.2% Other:   0.4%)

Memory Peak  : 2342MB
Max. Length  : 45 steps
Models       : 1

[endof: stats after solve call]
Solving Time:	 76.94s
Memory:		 2317MB (+122MB)
UNKNOWN
Iteration Time:	 84.42s

Iteration 14
Queue:		 [(11,55,0,True), (12,60,0,True), (13,65,0,True), (14,70,0,True), (15,75,0,True), (16,80,0,True), (17,85,0,True), (18,90,0,True)]
Grounded Until:	 50
Expected Memory: 2513.0MB
Grounding...	 [('step', [51]), ('step', [52]), ('step', [53]), ('step', [54]), ('step', [55]), ('check', [55])]
Grounding Time:	 5.80s
Memory:		 2361MB (+44MB)
Unblocking actions...
Solving...
*** Info : (planner): INTERRUPTED by signal!
UNKNOWN

INTERRUPTED  : 1

Models       : 0+
Calls        : 15
Time         : 882.258s (Solving: 781.64s 1st Model: 0.08s Unsat: 17.82s)
CPU Time     : 879.404s

Choices      : 283180   (Domain: 233068)
Conflicts    : 82367    (Analyzed: 82365)
Restarts     : 932      (Average: 88.37 Last: 129)
Model-Level  : 822.0   
Problems     : 15       (Average Length: 29.33 Splits: 0)
Lemmas       : 82365    (Deleted: 77472)
  Binary     : 258      (Ratio:   0.31%)
  Ternary    : 105      (Ratio:   0.13%)
  Conflict   : 82365    (Average Length: 3642.2 Ratio: 100.00%) 
  Loop       : 0        (Average Length:    0.0 Ratio:   0.00%) 
  Other      : 0        (Average Length:    0.0 Ratio:   0.00%) 
Backjumps    : 82365    (Average:  2.70 Max: 4120 Sum: 222655)
  Executed   : 82307    (Average:  2.69 Max: 4120 Sum: 221337 Ratio:  99.41%)
  Bounded    : 58       (Average: 22.72 Max:  32 Sum:   1318 Ratio:   0.59%)

Rules        : 1704870  (Original: 1704098)
Atoms        : 1064086 
Bodies       : 403661   (Original: 402959)
  Count      : 3725     (Original: 3830)
Equivalences : 131936   (Atom=Atom: 101 Body=Body: 0 Other: 131835)
Tight        : Yes
Variables    : 921548   (Eliminated:    0 Frozen: 677916)
Constraints  : 15267379 (Binary:  99.4% Ternary:   0.2% Other:   0.4%)

Memory Peak  : 2503MB
Max. Length  : 50 steps
Models       : 1


