INFO Running translator. INFO translator input: ['/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl', '/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-6.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/parking-sequential-satisficing/domain.pddl /home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-6.pddl Parsing... Parsing: [0.020s CPU, 0.039s wall-clock] Normalizing task... [0.000s CPU, 0.002s wall-clock] Instantiating... Generating Datalog program... [0.010s CPU, 0.007s wall-clock] Normalizing Datalog program... Normalizing Datalog program: [0.010s CPU, 0.016s wall-clock] Preparing model... [0.020s CPU, 0.015s wall-clock] Generated 32 rules. Computing model... [3.130s CPU, 3.127s wall-clock] 33917 relevant atoms 3770 auxiliary atoms 37687 final queue length 109988 total queue pushes Completing instantiation... [12.720s CPU, 12.721s wall-clock] Instantiating: [15.920s CPU, 15.921s wall-clock] Computing fact groups... Finding invariants... 12 initial candidates Finding invariants: [0.040s CPU, 0.052s wall-clock] Checking invariant weight... [0.000s CPU, 0.004s wall-clock] Instantiating groups... [0.050s CPU, 0.051s wall-clock] Collecting mutex groups... [0.010s CPU, 0.007s wall-clock] Choosing groups... 61 uncovered facts Choosing groups: [0.030s CPU, 0.032s wall-clock] Building translation key... [0.020s CPU, 0.013s wall-clock] Computing fact groups: [0.220s CPU, 0.221s wall-clock] Building STRIPS to SAS dictionary... [0.000s CPU, 0.006s wall-clock] Building dictionary for full mutex groups... [0.020s CPU, 0.015s wall-clock] Building mutex information... Building mutex information: [0.020s CPU, 0.020s wall-clock] Translating task... Processing axioms... Simplifying axioms... [0.000s CPU, 0.000s wall-clock] Processing axioms: [0.620s CPU, 0.620s wall-clock] Translating task: [13.730s CPU, 13.725s wall-clock] 38592 effect conditions simplified 0 implied preconditions added Detecting unreachable propositions... 0 operators removed 0 axioms removed 24 propositions removed Detecting unreachable propositions: [6.950s CPU, 6.941s wall-clock] Reordering and filtering variables... 85 of 85 variables necessary. 37 of 61 mutex groups necessary. 31104 of 31104 operators necessary. 0 of 0 axiom rules necessary. Reordering and filtering variables: [2.720s CPU, 2.719s wall-clock] Translator variables: 85 Translator derived variables: 0 Translator facts: 1010 Translator goal facts: 24 Translator mutex groups: 37 Translator total mutex groups size: 925 Translator operators: 31104 Translator axioms: 0 Translator task size: 253756 Translator peak memory: 186360 KB Writing output... [4.410s CPU, 4.720s wall-clock] Done! [44.520s CPU, 44.828s wall-clock] planner.py version 0.0.1 Time: 10.11s Memory: 650MB 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 : 11.449s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s) CPU Time : 10.160s 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 : 742111 Atoms : 742111 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 : 786MB Max. Length : 0 steps Models : 0 [endof: stats after solve call] Solving Time: 0.06s Memory: 722MB (+72MB) UNSAT Iteration Time: 0.06s 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: 722MB Grounding... [('step', [1]), ('step', [2]), ('step', [3]), ('step', [4]), ('step', [5]), ('check', [5])] Grounding Time: 3.98s Memory: 722MB (+0MB) Unblocking actions... Solving... [start: stats after solve call] Models : 0+ Calls : 2 Time : 22.463s (Solving: 4.60s 1st Model: 0.00s Unsat: 0.00s) CPU Time : 21.180s Choices : 82500 (Domain: 82500) Conflicts : 10236 (Analyzed: 10236) Restarts : 100 (Average: 102.36 Last: 71) Problems : 2 (Average Length: 4.50 Splits: 0) Lemmas : 10236 (Deleted: 5777) Binary : 218 (Ratio: 2.13%) Ternary : 617 (Ratio: 6.03%) Conflict : 10236 (Average Length: 537.3 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 10236 (Average: 7.65 Max: 151 Sum: 78352) Executed : 10194 (Average: 7.64 Max: 151 Sum: 78166 Ratio: 99.76%) Bounded : 42 (Average: 4.43 Max: 7 Sum: 186 Ratio: 0.24%) Rules : 742111 Atoms : 742111 Bodies : 1 (Original: 0) Tight : Yes Variables : 133928 (Eliminated: 0 Frozen: 4075) Constraints : 947641 (Binary: 99.3% Ternary: 0.3% Other: 0.4%) Memory Peak : 786MB Max. Length : 0 steps Models : 0 [endof: stats after solve call] Solving Time: 4.94s Memory: 752MB (+30MB) UNKNOWN Iteration Time: 11.02s 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: 782.0MB Grounding... [('step', [6]), ('step', [7]), ('step', [8]), ('step', [9]), ('step', [10]), ('check', [10])] Grounding Time: 3.78s Memory: 834MB (+82MB) Unblocking actions... Solving... [start: stats after solve call] Models : 0+ Calls : 3 Time : 42.692s (Solving: 19.37s 1st Model: 0.00s Unsat: 0.00s) CPU Time : 41.420s Choices : 437461 (Domain: 437461) Conflicts : 21123 (Analyzed: 21123) Restarts : 200 (Average: 105.61 Last: 74) Problems : 3 (Average Length: 7.00 Splits: 0) Lemmas : 21123 (Deleted: 15284) Binary : 304 (Ratio: 1.44%) Ternary : 883 (Ratio: 4.18%) Conflict : 21123 (Average Length: 929.2 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 21123 (Average: 19.29 Max: 1072 Sum: 407411) Executed : 21072 (Average: 19.27 Max: 1072 Sum: 407128 Ratio: 99.93%) Bounded : 51 (Average: 5.55 Max: 12 Sum: 283 Ratio: 0.07%) Rules : 742111 Atoms : 742111 Bodies : 1 (Original: 0) Tight : Yes Variables : 299984 (Eliminated: 0 Frozen: 8700) Constraints : 2912450 (Binary: 99.4% Ternary: 0.3% Other: 0.3%) Memory Peak : 914MB Max. Length : 5 steps Models : 0 [endof: stats after solve call] Solving Time: 14.95s Memory: 904MB (+70MB) UNKNOWN Iteration Time: 20.25s Iteration 4 Queue: [(3,15,0,True), (4,20,0,True), (5,25,0,True), (6,30,0,True)] Grounded Until: 10 Expected Memory: 1056.0MB Grounding... [('step', [11]), ('step', [12]), ('step', [13]), ('step', [14]), ('step', [15]), ('check', [15])] Grounding Time: 4.60s Memory: 1060MB (+156MB) Unblocking actions... Solving... [start: stats after solve call] Models : 0+ Calls : 4 Time : 70.929s (Solving: 41.12s 1st Model: 0.00s Unsat: 0.00s) CPU Time : 69.668s Choices : 1042998 (Domain: 1042998) Conflicts : 31539 (Analyzed: 31539) Restarts : 300 (Average: 105.13 Last: 101) Problems : 4 (Average Length: 9.50 Splits: 0) Lemmas : 31539 (Deleted: 25826) Binary : 334 (Ratio: 1.06%) Ternary : 917 (Ratio: 2.91%) Conflict : 31539 (Average Length: 1879.7 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 31539 (Average: 29.03 Max: 1641 Sum: 915530) Executed : 31487 (Average: 29.02 Max: 1641 Sum: 915230 Ratio: 99.97%) Bounded : 52 (Average: 5.77 Max: 17 Sum: 300 Ratio: 0.03%) Rules : 742111 Atoms : 742111 Bodies : 1 (Original: 0) Tight : Yes Variables : 466040 (Eliminated: 0 Frozen: 13325) Constraints : 4877447 (Binary: 99.4% Ternary: 0.3% Other: 0.3%) Memory Peak : 1288MB Max. Length : 10 steps Models : 0 [endof: stats after solve call] Solving Time: 21.97s Memory: 1224MB (+164MB) UNKNOWN Iteration Time: 28.26s Iteration 5 Queue: [(4,20,0,True), (5,25,0,True), (6,30,0,True)] Grounded Until: 15 Expected Memory: 1544.0MB Grounding... [('step', [16]), ('step', [17]), ('step', [18]), ('step', [19]), ('step', [20]), ('check', [20])] Grounding Time: 3.96s Memory: 1321MB (+97MB) Unblocking actions... Solving... [start: stats after solve call] Models : 1+ Calls : 5 Time : 81.271s (Solving: 45.47s 1st Model: 4.30s Unsat: 0.00s) CPU Time : 80.012s Choices : 1232930 (Domain: 1232930) Conflicts : 33334 (Analyzed: 33334) Restarts : 316 (Average: 105.49 Last: 134) Model-Level : 761.0 Problems : 5 (Average Length: 12.00 Splits: 0) Lemmas : 33334 (Deleted: 25826) Binary : 345 (Ratio: 1.03%) Ternary : 939 (Ratio: 2.82%) Conflict : 33334 (Average Length: 1847.3 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 33334 (Average: 32.76 Max: 1838 Sum: 1092005) Executed : 33282 (Average: 32.75 Max: 1838 Sum: 1091705 Ratio: 99.97%) Bounded : 52 (Average: 5.77 Max: 17 Sum: 300 Ratio: 0.03%) Rules : 742111 Atoms : 742111 Bodies : 1 (Original: 0) Tight : Yes Variables : 632096 (Eliminated: 0 Frozen: 17950) Constraints : 6842541 (Binary: 99.4% Ternary: 0.3% Other: 0.3%) Memory Peak : 1512MB Max. Length : 15 steps Models : 1 [endof: stats after solve call] Solving Time: 4.60s Memory: 1448MB (+127MB) SAT Testing... NOT SERIALIZABLE Testing Time: 16.05s Memory: 1781MB (+333MB) Solving... [start: stats after solve call] Models : 0+ Calls : 6 Time : 165.946s (Solving: 120.94s 1st Model: 4.30s Unsat: 0.00s) CPU Time : 164.724s Choices : 2341257 (Domain: 2341257) Conflicts : 43133 (Analyzed: 43133) Restarts : 416 (Average: 103.69 Last: 233) Model-Level : 761.0 Problems : 6 (Average Length: 13.67 Splits: 0) Lemmas : 43133 (Deleted: 37706) Binary : 370 (Ratio: 0.86%) Ternary : 979 (Ratio: 2.27%) Conflict : 43133 (Average Length: 3038.2 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 43133 (Average: 49.09 Max: 2832 Sum: 2117285) Executed : 43081 (Average: 49.08 Max: 2832 Sum: 2116985 Ratio: 99.99%) Bounded : 52 (Average: 5.77 Max: 17 Sum: 300 Ratio: 0.01%) Rules : 2771613 (Original: 2771459) Atoms : 808066 Bodies : 1419234 (Original: 1419079) Count : 1584 (Original: 1595) Equivalences : 544069 (Atom=Atom: 61 Body=Body: 0 Other: 544008) Tight : Yes Variables : 635453 (Eliminated: 0 Frozen: 561864) Constraints : 8811462 (Binary: 99.5% Ternary: 0.2% Other: 0.3%) Memory Peak : 1858MB Max. Length : 15 steps Models : 1 [endof: stats after solve call] Solving Time: 76.97s Memory: 1781MB (+0MB) UNKNOWN Iteration Time: 103.37s Iteration 6 Queue: [(5,25,0,True), (6,30,0,True)] Grounded Until: 20 Expected Memory: 2101.0MB Grounding... [('step', [21]), ('step', [22]), ('step', [23]), ('step', [24]), ('step', [25]), ('check', [25])] Grounding Time: 7.34s Memory: 1786MB (+5MB) Unblocking actions... Solving... [start: stats after solve call] Models : 0+ Calls : 7 Time : 279.765s (Solving: 224.82s 1st Model: 4.30s Unsat: 0.00s) CPU Time : 278.592s Choices : 3326464 (Domain: 3326464) Conflicts : 52897 (Analyzed: 52897) Restarts : 516 (Average: 102.51 Last: 233) Model-Level : 761.0 Problems : 7 (Average Length: 15.57 Splits: 0) Lemmas : 52897 (Deleted: 47520) Binary : 388 (Ratio: 0.73%) Ternary : 1004 (Ratio: 1.90%) Conflict : 52897 (Average Length: 3583.8 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 52897 (Average: 56.95 Max: 2848 Sum: 3012677) Executed : 52845 (Average: 56.95 Max: 2848 Sum: 3012377 Ratio: 99.99%) Bounded : 52 (Average: 5.77 Max: 17 Sum: 300 Ratio: 0.01%) Rules : 2771613 (Original: 2771459) Atoms : 808066 Bodies : 1419234 (Original: 1419079) Count : 1584 (Original: 1595) Equivalences : 544069 (Atom=Atom: 61 Body=Body: 0 Other: 544008) Tight : Yes Variables : 802359 (Eliminated: 0 Frozen: 722434) Constraints : 11341002 (Binary: 99.5% Ternary: 0.2% Other: 0.3%) Memory Peak : 1925MB Max. Length : 20 steps Models : 1 [endof: stats after solve call] Solving Time: 104.24s Memory: 1898MB (+112MB) UNKNOWN Iteration Time: 113.88s Iteration 7 Queue: [(6,30,0,True)] Grounded Until: 25 Expected Memory: 2218.0MB Grounding... [('step', [26]), ('step', [27]), ('step', [28]), ('step', [29]), ('step', [30]), ('check', [30])] Grounding Time: 8.95s Memory: 2111MB (+213MB) Unblocking actions... Solving... [start: stats after solve call] Models : 0+ Calls : 8 Time : 388.653s (Solving: 322.03s 1st Model: 4.30s Unsat: 0.00s) CPU Time : 387.528s Choices : 4266957 (Domain: 4266957) Conflicts : 62741 (Analyzed: 62741) Restarts : 616 (Average: 101.85 Last: 233) Model-Level : 761.0 Problems : 8 (Average Length: 17.62 Splits: 0) Lemmas : 62741 (Deleted: 57197) Binary : 411 (Ratio: 0.66%) Ternary : 1015 (Ratio: 1.62%) Conflict : 62741 (Average Length: 3906.5 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 62741 (Average: 61.40 Max: 2966 Sum: 3852415) Executed : 62689 (Average: 61.40 Max: 2966 Sum: 3852115 Ratio: 99.99%) Bounded : 52 (Average: 5.77 Max: 17 Sum: 300 Ratio: 0.01%) Rules : 2771613 (Original: 2771459) Atoms : 808066 Bodies : 1419234 (Original: 1419079) Count : 1584 (Original: 1595) Equivalences : 544069 (Atom=Atom: 61 Body=Body: 0 Other: 544008) Tight : Yes Variables : 969265 (Eliminated: 0 Frozen: 883004) Constraints : 13870542 (Binary: 99.5% Ternary: 0.2% Other: 0.3%) Memory Peak : 2264MB Max. Length : 25 steps Models : 1 [endof: stats after solve call] Solving Time: 97.61s Memory: 2194MB (+83MB) UNKNOWN Iteration Time: 108.95s Iteration 8 Queue: [(1,5,1,True), (2,10,1,True), (3,15,1,True), (4,20,1,True), (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)] Grounded Until: 30 Blocking actions... Solving... [start: stats after solve call] Models : 0 Calls : 9 Time : 389.718s (Solving: 322.78s 1st Model: 4.30s Unsat: 0.74s) CPU Time : 388.592s Choices : 4270316 (Domain: 4270316) Conflicts : 63485 (Analyzed: 63484) Restarts : 624 (Average: 101.74 Last: 233) Model-Level : 761.0 Problems : 9 (Average Length: 19.22 Splits: 0) Lemmas : 63484 (Deleted: 57197) Binary : 423 (Ratio: 0.67%) Ternary : 1024 (Ratio: 1.61%) Conflict : 63484 (Average Length: 3874.1 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 63484 (Average: 60.74 Max: 2966 Sum: 3855729) Executed : 63427 (Average: 60.73 Max: 2966 Sum: 3855424 Ratio: 99.99%) Bounded : 57 (Average: 5.35 Max: 17 Sum: 305 Ratio: 0.01%) Rules : 2771613 (Original: 2771459) Atoms : 808066 Bodies : 1419234 (Original: 1419079) Count : 1584 (Original: 1595) Equivalences : 544069 (Atom=Atom: 61 Body=Body: 0 Other: 544008) Tight : Yes Variables : 969265 (Eliminated: 0 Frozen: 883004) Constraints : 13870542 (Binary: 99.5% Ternary: 0.2% Other: 0.3%) Memory Peak : 2264MB Max. Length : 30 steps Models : 1 [endof: stats after solve call] Solving Time: 0.94s Memory: 2210MB (+16MB) UNSAT Iteration Time: 1.08s Iteration 9 Queue: [(2,10,1,True), (3,15,1,True), (4,20,1,True), (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)] Grounded Until: 30 Unblocking actions... Solving... [start: stats after solve call] Models : 0+ Calls : 10 Time : 426.609s (Solving: 359.38s 1st Model: 4.30s Unsat: 0.74s) CPU Time : 425.500s Choices : 4554444 (Domain: 4554444) Conflicts : 73703 (Analyzed: 73702) Restarts : 724 (Average: 101.80 Last: 233) Model-Level : 761.0 Problems : 10 (Average Length: 20.50 Splits: 0) Lemmas : 73702 (Deleted: 67491) Binary : 497 (Ratio: 0.67%) Ternary : 1130 (Ratio: 1.53%) Conflict : 73702 (Average Length: 3726.1 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 73702 (Average: 55.81 Max: 2966 Sum: 4113029) Executed : 73643 (Average: 55.80 Max: 2966 Sum: 4112691 Ratio: 99.99%) Bounded : 59 (Average: 5.73 Max: 32 Sum: 338 Ratio: 0.01%) Rules : 2771613 (Original: 2771459) Atoms : 808066 Bodies : 1419234 (Original: 1419079) Count : 1584 (Original: 1595) Equivalences : 544069 (Atom=Atom: 61 Body=Body: 0 Other: 544008) Tight : Yes Variables : 969265 (Eliminated: 0 Frozen: 883004) Constraints : 13870542 (Binary: 99.5% Ternary: 0.2% Other: 0.3%) Memory Peak : 2264MB Max. Length : 30 steps Models : 1 [endof: stats after solve call] Solving Time: 36.79s Memory: 2210MB (+0MB) UNKNOWN Iteration Time: 36.91s Iteration 10 Queue: [(3,15,1,True), (4,20,1,True), (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)] Grounded Until: 30 Unblocking actions... Solving... [start: stats after solve call] Models : 0+ Calls : 11 Time : 485.479s (Solving: 418.00s 1st Model: 4.30s Unsat: 0.74s) CPU Time : 484.396s Choices : 5205438 (Domain: 5205438) Conflicts : 83324 (Analyzed: 83323) Restarts : 824 (Average: 101.12 Last: 233) Model-Level : 761.0 Problems : 11 (Average Length: 21.55 Splits: 0) Lemmas : 83323 (Deleted: 77465) Binary : 518 (Ratio: 0.62%) Ternary : 1178 (Ratio: 1.41%) Conflict : 83323 (Average Length: 3673.8 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 83323 (Average: 56.43 Max: 2966 Sum: 4701520) Executed : 83264 (Average: 56.42 Max: 2966 Sum: 4701182 Ratio: 99.99%) Bounded : 59 (Average: 5.73 Max: 32 Sum: 338 Ratio: 0.01%) Rules : 2771613 (Original: 2771459) Atoms : 808066 Bodies : 1419234 (Original: 1419079) Count : 1584 (Original: 1595) Equivalences : 544069 (Atom=Atom: 61 Body=Body: 0 Other: 544008) Tight : Yes Variables : 969265 (Eliminated: 0 Frozen: 883004) Constraints : 13870526 (Binary: 99.5% Ternary: 0.2% Other: 0.3%) Memory Peak : 2264MB Max. Length : 30 steps Models : 1 [endof: stats after solve call] Solving Time: 58.81s Memory: 2210MB (+0MB) UNKNOWN Iteration Time: 58.90s Iteration 11 Queue: [(4,20,1,True), (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)] Grounded Until: 30 Unblocking actions... Solving... [start: stats after solve call] Models : 0+ Calls : 12 Time : 564.460s (Solving: 496.70s 1st Model: 4.30s Unsat: 0.74s) CPU Time : 563.408s Choices : 6246965 (Domain: 6246965) Conflicts : 92801 (Analyzed: 92800) Restarts : 924 (Average: 100.43 Last: 233) Model-Level : 761.0 Problems : 12 (Average Length: 22.42 Splits: 0) Lemmas : 92800 (Deleted: 86990) Binary : 547 (Ratio: 0.59%) Ternary : 1193 (Ratio: 1.29%) Conflict : 92800 (Average Length: 3646.4 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 92800 (Average: 61.26 Max: 2966 Sum: 5684807) Executed : 92739 (Average: 61.25 Max: 2966 Sum: 5684405 Ratio: 99.99%) Bounded : 61 (Average: 6.59 Max: 32 Sum: 402 Ratio: 0.01%) Rules : 2771613 (Original: 2771459) Atoms : 808066 Bodies : 1419234 (Original: 1419079) Count : 1584 (Original: 1595) Equivalences : 544069 (Atom=Atom: 61 Body=Body: 0 Other: 544008) Tight : Yes Variables : 969265 (Eliminated: 0 Frozen: 883004) Constraints : 13870526 (Binary: 99.5% Ternary: 0.2% Other: 0.3%) Memory Peak : 2264MB Max. Length : 30 steps Models : 1 [endof: stats after solve call] Solving Time: 78.91s Memory: 2210MB (+0MB) UNKNOWN Iteration Time: 79.02s Iteration 12 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)] Grounded Until: 30 Unblocking actions... Solving... [start: stats after solve call] Models : 0+ Calls : 13 Time : 666.628s (Solving: 598.60s 1st Model: 4.30s Unsat: 0.74s) CPU Time : 665.620s Choices : 8013158 (Domain: 8013158) Conflicts : 102285 (Analyzed: 102284) Restarts : 1024 (Average: 99.89 Last: 233) Model-Level : 761.0 Problems : 13 (Average Length: 23.15 Splits: 0) Lemmas : 102284 (Deleted: 96391) Binary : 556 (Ratio: 0.54%) Ternary : 1203 (Ratio: 1.18%) Conflict : 102284 (Average Length: 3805.1 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 102284 (Average: 71.82 Max: 4220 Sum: 7346534) Executed : 102222 (Average: 71.82 Max: 4220 Sum: 7346100 Ratio: 99.99%) Bounded : 62 (Average: 7.00 Max: 32 Sum: 434 Ratio: 0.01%) Rules : 2771613 (Original: 2771459) Atoms : 808066 Bodies : 1419234 (Original: 1419079) Count : 1584 (Original: 1595) Equivalences : 544069 (Atom=Atom: 61 Body=Body: 0 Other: 544008) Tight : Yes Variables : 969265 (Eliminated: 0 Frozen: 883004) Constraints : 13870496 (Binary: 99.5% Ternary: 0.2% Other: 0.3%) Memory Peak : 2264MB Max. Length : 30 steps Models : 1 [endof: stats after solve call] Solving Time: 102.11s Memory: 2210MB (+0MB) UNKNOWN Iteration Time: 102.22s Iteration 13 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)] Grounded Until: 30 Unblocking actions... Solving... [start: stats after solve call] Models : 0+ Calls : 14 Time : 794.504s (Solving: 726.22s 1st Model: 4.30s Unsat: 0.74s) CPU Time : 793.552s Choices : 9699153 (Domain: 9699153) Conflicts : 112473 (Analyzed: 112472) Restarts : 1124 (Average: 100.06 Last: 233) Model-Level : 761.0 Problems : 14 (Average Length: 23.79 Splits: 0) Lemmas : 112472 (Deleted: 105696) Binary : 624 (Ratio: 0.55%) Ternary : 1242 (Ratio: 1.10%) Conflict : 112472 (Average Length: 3824.2 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 112472 (Average: 79.40 Max: 4325 Sum: 8929737) Executed : 112410 (Average: 79.39 Max: 4325 Sum: 8929303 Ratio: 100.00%) Bounded : 62 (Average: 7.00 Max: 32 Sum: 434 Ratio: 0.00%) Rules : 2771613 (Original: 2771459) Atoms : 808066 Bodies : 1419234 (Original: 1419079) Count : 1584 (Original: 1595) Equivalences : 544069 (Atom=Atom: 61 Body=Body: 0 Other: 544008) Tight : Yes Variables : 969265 (Eliminated: 0 Frozen: 883004) Constraints : 13870480 (Binary: 99.5% Ternary: 0.2% Other: 0.3%) Memory Peak : 2264MB Max. Length : 30 steps Models : 1 [endof: stats after solve call] Solving Time: 127.84s Memory: 2210MB (+0MB) UNKNOWN Iteration Time: 127.94s Iteration 14 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)] Grounded Until: 30 Expected Memory: 2530.0MB Grounding... [('step', [31]), ('step', [32]), ('step', [33]), ('step', [34]), ('step', [35]), ('check', [35])] Grounding Time: 7.32s Memory: 2317MB (+107MB) Unblocking actions... Solving... *** Info : (planner): INTERRUPTED by signal! UNKNOWN INTERRUPTED : 1 Models : 0+ Calls : 15 Time : 844.622s (Solving: 766.20s 1st Model: 4.30s Unsat: 0.74s) CPU Time : 843.628s Choices : 10315665 (Domain: 10315665) Conflicts : 114605 (Analyzed: 114604) Restarts : 1145 (Average: 100.09 Last: 233) Model-Level : 761.0 Problems : 15 (Average Length: 24.67 Splits: 0) Lemmas : 114604 (Deleted: 108609) Binary : 627 (Ratio: 0.55%) Ternary : 1242 (Ratio: 1.08%) Conflict : 114604 (Average Length: 3836.6 Ratio: 100.00%) Loop : 0 (Average Length: 0.0 Ratio: 0.00%) Other : 0 (Average Length: 0.0 Ratio: 0.00%) Backjumps : 114604 (Average: 83.01 Max: 4325 Sum: 9512877) Executed : 114542 (Average: 83.00 Max: 4325 Sum: 9512443 Ratio: 100.00%) Bounded : 62 (Average: 7.00 Max: 32 Sum: 434 Ratio: 0.00%) Rules : 2771613 (Original: 2771459) Atoms : 808066 Bodies : 1419234 (Original: 1419079) Count : 1584 (Original: 1595) Equivalences : 544069 (Atom=Atom: 61 Body=Body: 0 Other: 544008) Tight : Yes Variables : 1136171 (Eliminated: 0 Frozen: 1043574) Constraints : 16400020 (Binary: 99.5% Ternary: 0.2% Other: 0.3%) Memory Peak : 2516MB Max. Length : 30 steps Models : 1