Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1800.09 | 1801.08 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb |
MD5SUM | 9a7dcf907234f84f0d33881f56632ec3 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 109.527 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 625 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.04 c SCIP version 1.1.0.7 0.00/0.04 c LP-Solver Clp 1.8.2 0.00/0.04 c user parameter file <scip.set> not found - using default parameters 0.00/0.04 c read problem <HOME/instance-1868379-1245123176.opb> 0.00/0.04 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c start presolving problem 0.00/0.05 c presolving: 0.00/0.09 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.10 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.11 c presolving (3 rounds): 0.09/0.11 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.11 c 242 implications, 22 cliques 0.09/0.11 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.11 c 1 constraints of type <knapsack> 0.09/0.11 c 22 constraints of type <setppc> 0.09/0.11 c 2541 constraints of type <logicor> 0.09/0.11 c transformed objective value is always integral (scale: 1) 0.09/0.12 c Presolving Time: 0.05 0.09/0.12 c SATUNSAT-LIN 0.09/0.12 c ----------------------------------------------------------------------------------------------- 0.09/0.12 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.12 c separating/flowcover/freq = c -1 0.09/0.12 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.12 c separating/cmir/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/veclendiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/veclendiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/veclendiving/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.12 c heuristics/simplerounding/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/shifting/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.12 c heuristics/rounding/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/rootsoldiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.12 c heuristics/rootsoldiving/maxlpiterquot = c 0.015 0.09/0.12 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.12 c heuristics/rootsoldiving/freq = c -1 0.09/0.12 c # number of nodes added to the contingent of the total nodes 0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.12 c heuristics/rens/nodesofs = c 2000 0.09/0.12 c # minimum percentage of integer variables that have to be fixable 0.09/0.12 c # [type: real, range: [0,1], default: 0.5] 0.09/0.12 c heuristics/rens/minfixingrate = c 0.3 0.09/0.12 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.12 c heuristics/rens/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/pscostdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/pscostdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/pscostdiving/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.12 c heuristics/oneopt/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/objpscostdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.12 c # [type: real, range: [0,1], default: 0.01] 0.09/0.12 c heuristics/objpscostdiving/maxlpiterquot = c 0.015 0.09/0.12 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.12 c heuristics/objpscostdiving/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/linesearchdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/linesearchdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/linesearchdiving/freq = c -1 0.09/0.12 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/intshifting/freq = c -1 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/intdiving/maxlpiterquot = c 0.075 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/guideddiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/guideddiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/guideddiving/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/fracdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/fracdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/fracdiving/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/feaspump/maxlpiterofs = c 2000 0.09/0.12 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.12 c heuristics/feaspump/freq = c -1 0.09/0.12 c # minimum percentage of integer variables that have to be fixed 0.09/0.12 c # [type: real, range: [0,1], default: 0.666] 0.09/0.12 c heuristics/crossover/minfixingrate = c 0.5 0.09/0.12 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.12 c # [type: real, range: [0,1], default: 0.1] 0.09/0.12 c heuristics/crossover/nodesquot = c 0.15 0.09/0.12 c # number of nodes without incumbent change that heuristic should wait 0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.12 c heuristics/crossover/nwaitingnodes = c 100 0.09/0.12 c # number of nodes added to the contingent of the total nodes 0.09/0.12 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.12 c heuristics/crossover/nodesofs = c 750 0.09/0.12 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.12 c heuristics/crossover/freq = c -1 0.09/0.12 c # additional number of allowed LP iterations 0.09/0.12 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.12 c heuristics/coefdiving/maxlpiterofs = c 1500 0.09/0.12 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.12 c heuristics/coefdiving/maxlpiterquot = c 0.075 0.09/0.12 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.12 c heuristics/coefdiving/freq = c -1 0.09/0.12 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c presolving/probing/maxrounds = c 0 0.09/0.12 c # should presolving try to simplify knapsacks 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/knapsack/simplifyinequalities = c TRUE 0.09/0.12 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.12 c constraints/knapsack/disaggregation = c FALSE 0.09/0.12 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c constraints/knapsack/maxnumcardlift = c 0 0.09/0.12 c # should presolving try to simplify inequalities 0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.12 c constraints/linear/simplifyinequalities = c TRUE 0.09/0.12 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c separating/maxroundsroot = c 5 0.09/0.12 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.12 c separating/maxrounds = c 1 0.09/0.12 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.12 c limits/solutions = c 1 0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/memory = c 1620 0.09/0.12 c # maximal time in seconds to run 0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.12 c limits/time = c 1791 0.09/0.12 c # frequency for displaying node information lines 0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.12 c display/freq = c 10000 0.09/0.12 c ----------------------------------------------------------------------------------------------- 0.09/0.12 c start solving problem 0.09/0.12 c 0.09/0.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.14 c 0.1s| 1 | 0 | 61 |3513k| 0 | 34 | 231 |2564 |2564 | 231 |2564 | 0 | 0 | 0 | 1.100000e+01 | -- | Inf 0.19/0.26 c 0.2s| 1 | 0 | 83 |3774k| 0 | 34 | 231 |2564 |2564 | 231 |2570 | 6 | 0 | 0 | 1.100000e+01 | -- | Inf 0.39/0.45 c 0.4s| 1 | 0 | 119 |4203k| 0 | 41 | 231 |2564 |2564 | 231 |2575 | 11 | 0 | 0 | 1.100000e+01 | -- | Inf 0.69/0.74 c 0.7s| 1 | 0 | 226 |4219k| 0 | 45 | 231 |2564 |2564 | 231 |2580 | 16 | 0 | 0 | 1.100000e+01 | -- | Inf 0.89/1.00 c 0.9s| 1 | 0 | 437 |4289k| 0 | 32 | 231 |2564 |2564 | 231 |2587 | 23 | 0 | 0 | 1.100000e+01 | -- | Inf 1.09/1.14 c 1.1s| 1 | 0 | 516 |4628k| 0 | 38 | 231 |2564 |2564 | 231 |2589 | 25 | 0 | 0 | 1.100000e+01 | -- | Inf 2.09/2.10 c 2.0s| 1 | 2 | 516 |4629k| 0 | 38 | 231 |2564 |2564 | 231 |2589 | 25 | 0 | 20 | 1.100000e+01 | -- | Inf 118.52/118.61 c 118s| 10000 | 1750 |330414 |8921k| 59 | 24 | 231 |3008 |1002 | 231 |2572 | 25 |1119 |2497 | 1.400000e+01 | -- | Inf 194.89/195.01 c 194s| 20000 | 2745 |599823 | 11M| 60 | 26 | 231 |3044 |1048 | 231 |2572 | 25 |2683 |2685 | 1.500000e+01 | -- | Inf 277.03/277.27 c 275s| 30000 | 3519 |868321 | 13M| 62 | - | 231 |3119 | 895 | 231 |2572 | 25 |3776 |3374 | 1.500000e+01 | -- | Inf 358.19/358.40 c 356s| 40000 | 4359 | 1137k| 15M| 65 | 30 | 231 |2992 |1107 | 231 |2572 | 25 |4905 |3897 | 1.500000e+01 | -- | Inf 441.64/441.94 c 439s| 50000 | 5206 | 1413k| 17M| 65 | 27 | 231 |2860 |1313 | 231 |2572 | 25 |5569 |4396 | 1.500000e+01 | -- | Inf 520.20/520.54 c 517s| 60000 | 5915 | 1669k| 19M| 65 | - | 231 |3139 |1110 | 231 |2572 | 25 |6597 |4840 | 1.500000e+01 | -- | Inf 591.87/592.21 c 589s| 70000 | 6231 | 1894k| 20M| 65 | 19 | 231 |3463 | 899 | 231 |2572 | 25 |8521 |5247 | 1.600000e+01 | -- | Inf 663.53/663.96 c 660s| 80000 | 6612 | 2119k| 21M| 65 | 24 | 231 |3346 |1404 | 231 |2572 | 25 | 10k|5623 | 1.600000e+01 | -- | Inf 735.70/736.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 735.70/736.14 c 732s| 90000 | 7023 | 2347k| 22M| 65 | - | 231 |3305 |1244 | 231 |2572 | 25 | 11k|5910 | 1.600000e+01 | -- | Inf 807.97/808.48 c 804s|100000 | 7346 | 2572k| 23M| 65 | 36 | 231 |3176 |1183 | 231 |2572 | 25 | 12k|6266 | 1.600000e+01 | -- | Inf 881.33/881.86 c 877s|110000 | 7648 | 2804k| 24M| 65 | - | 231 |3119 | 802 | 231 |2572 | 25 | 13k|6577 | 1.600000e+01 | -- | Inf 955.39/955.97 c 950s|120000 | 7994 | 3042k| 25M| 65 | - | 231 |2976 | 992 | 231 |2572 | 25 | 14k|6872 | 1.600000e+01 | -- | Inf 1029.25/1029.90 c 1024s|130000 | 8172 | 3271k| 26M| 65 | - | 231 |3065 | 600 | 231 |2572 | 25 | 14k|7230 | 1.600000e+01 | -- | Inf 1094.51/1095.18 c 1089s|140000 | 8054 | 3459k| 26M| 65 | - | 231 |3531 | 987 | 231 |2572 | 25 | 17k|7476 | 1.600000e+01 | -- | Inf 1158.37/1159.00 c 1152s|150000 | 7904 | 3640k| 26M| 65 | - | 231 |3555 | 967 | 231 |2572 | 25 | 18k|7684 | 1.700000e+01 | -- | Inf 1222.72/1223.45 c 1216s|160000 | 7728 | 3823k| 26M| 65 | - | 231 |3600 |1226 | 231 |2572 | 25 | 20k|7905 | 1.700000e+01 | -- | Inf 1286.49/1287.26 c 1280s|170000 | 7588 | 4004k| 26M| 65 | 26 | 231 |3650 |1107 | 231 |2572 | 25 | 22k|8109 | 1.700000e+01 | -- | Inf 1353.23/1354.00 c 1346s|180000 | 7437 | 4197k| 26M| 65 | - | 231 |3401 |1115 | 231 |2572 | 25 | 23k|8331 | 1.700000e+01 | -- | Inf 1419.70/1420.52 c 1412s|190000 | 7231 | 4390k| 26M| 65 | - | 231 |3381 |1382 | 231 |2572 | 25 | 24k|8554 | 1.700000e+01 | -- | Inf 1488.07/1488.95 c 1481s|200000 | 7022 | 4590k| 26M| 65 | - | 231 |3157 |1181 | 231 |2572 | 25 | 25k|8760 | 1.700000e+01 | -- | Inf 1556.74/1557.65 c 1549s|210000 | 6849 | 4791k| 25M| 65 | - | 231 |3121 |1268 | 231 |2572 | 25 | 26k|8963 | 1.700000e+01 | -- | Inf 1625.60/1626.51 c 1617s|220000 | 6282 | 4986k| 24M| 65 | 26 | 231 |3112 | 728 | 231 |2572 | 25 | 26k|9245 | 1.700000e+01 | -- | Inf 1683.37/1684.38 c 1675s|230000 | 5325 | 5127k| 22M| 65 | - | 231 |3606 | 957 | 231 |2572 | 25 | 28k|9516 | 1.800000e+01 | -- | Inf 1743.33/1744.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1743.33/1744.38 c 1735s|240000 | 4425 | 5279k| 19M| 65 | 12 | 231 |3442 | 663 | 231 |2572 | 25 | 29k|9715 | 1.800000e+01 | -- | Inf 1800.00/1801.00 c 1800.00/1801.00 c SCIP Status : solving was interrupted [user interrupt] 1800.00/1801.01 c Solving Time (sec) : 1790.90 1800.00/1801.01 c Solving Nodes : 249048 1800.00/1801.01 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.00/1801.01 c Dual Bound : +1.80000000000000e+01 1800.00/1801.01 c Gap : infinite 1800.00/1801.01 c NODE 249048 1800.00/1801.01 c DUAL BOUND 18 1800.00/1801.01 c PRIMAL BOUND 1e+20 1800.00/1801.01 c GAP 1e+20 1800.00/1801.01 s UNKNOWN 1800.00/1801.01 c SCIP Status : solving was interrupted [user interrupt] 1800.00/1801.01 c Solving Time : 1790.90 1800.00/1801.01 c Original Problem : 1800.00/1801.01 c Problem name : HOME/instance-1868379-1245123176.opb 1800.00/1801.01 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.00/1801.01 c Constraints : 2707 initial, 2707 maximal 1800.00/1801.01 c Presolved Problem : 1800.00/1801.01 c Problem name : t_HOME/instance-1868379-1245123176.opb 1800.00/1801.01 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.00/1801.01 c Constraints : 2564 initial, 3791 maximal 1800.00/1801.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.00/1801.01 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.00/1801.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.00/1801.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.00/1801.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.00/1801.01 c implics : 0.00 0 0 0 0 0 0 0 0 1800.00/1801.01 c probing : 0.00 0 0 0 0 0 0 0 0 1800.00/1801.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.00/1801.01 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.00/1801.01 c linear : 0.02 0 0 0 0 0 143 0 0 1800.00/1801.01 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.00/1801.01 c root node : - 0 - - 0 - - - - 1800.00/1801.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.00/1801.01 c integral : 0 0 0 129406 0 475 3983 0 0 253556 1800.00/1801.01 c knapsack : 1 5 524501 0 0 2103 477478 0 0 0 1800.00/1801.01 c setppc : 22 5 523194 0 0 6264 1162447 0 0 0 1800.00/1801.01 c logicor : 2541+ 5 467068 0 0 2655 1631750 0 0 0 1800.00/1801.01 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.00/1801.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.00/1801.01 c integral : 103.80 0.00 0.00 103.80 0.00 1800.00/1801.01 c knapsack : 2.03 0.00 2.03 0.00 0.00 1800.00/1801.01 c setppc : 5.64 0.00 5.64 0.00 0.00 1800.00/1801.01 c logicor : 35.21 0.00 35.21 0.00 0.00 1800.00/1801.01 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.00/1801.01 c Propagators : Time Calls Cutoffs DomReds 1800.00/1801.01 c rootredcost : 0.25 0 0 0 1800.00/1801.01 c pseudoobj : 6.93 525304 0 0 1800.00/1801.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.00/1801.01 c propagation : 0.88 11022 11022 65758 19.3 107 17.2 - 1800.00/1801.01 c infeasible LP : 4.27 111678 0 0 0.0 0 0.0 0 1800.00/1801.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.00/1801.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.00/1801.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.00/1801.01 c applied globally : - - - 30191 16.7 - - - 1800.00/1801.01 c applied locally : - - - 45 33.1 - - - 1800.00/1801.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.00/1801.01 c cut pool : 0.00 4 - - 12 - (maximal pool size: 451) 1800.00/1801.01 c redcost : 2.07 127398 0 0 0 0 1800.00/1801.01 c impliedbounds : 0.00 5 0 0 0 0 1800.00/1801.01 c intobj : 0.00 0 0 0 0 0 1800.00/1801.01 c gomory : 0.44 5 0 0 2448 0 1800.00/1801.01 c strongcg : 0.38 5 0 0 2449 0 1800.00/1801.01 c cmir : 0.00 0 0 0 0 0 1800.00/1801.01 c flowcover : 0.00 0 0 0 0 0 1800.00/1801.01 c clique : 0.00 5 0 0 0 0 1800.00/1801.01 c zerohalf : 0.00 0 0 0 0 0 1800.00/1801.01 c mcf : 0.00 1 0 0 0 0 1800.00/1801.01 c Pricers : Time Calls Vars 1800.00/1801.01 c problem variables: 0.00 0 0 1800.00/1801.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.00/1801.01 c relpscost : 103.47 129406 475 3983 0 0 253556 1800.00/1801.01 c pscost : 0.00 0 0 0 0 0 0 1800.00/1801.01 c inference : 0.00 0 0 0 0 0 0 1800.00/1801.01 c mostinf : 0.00 0 0 0 0 0 0 1800.00/1801.01 c leastinf : 0.00 0 0 0 0 0 0 1800.00/1801.01 c fullstrong : 0.00 0 0 0 0 0 0 1800.00/1801.01 c allfullstrong : 0.00 0 0 0 0 0 0 1800.00/1801.01 c random : 0.00 0 0 0 0 0 0 1800.00/1801.01 c Primal Heuristics : Time Calls Found 1800.00/1801.01 c LP solutions : 0.00 - 0 1800.00/1801.01 c pseudo solutions : 0.00 - 0 1800.00/1801.01 c simplerounding : 0.00 0 0 1800.00/1801.01 c rounding : 0.00 0 0 1800.00/1801.01 c shifting : 0.00 0 0 1800.00/1801.01 c intshifting : 0.00 0 0 1800.00/1801.01 c oneopt : 0.00 0 0 1800.00/1801.01 c fixandinfer : 0.00 0 0 1800.00/1801.01 c feaspump : 0.00 0 0 1800.00/1801.01 c coefdiving : 0.00 0 0 1800.00/1801.01 c pscostdiving : 0.00 0 0 1800.00/1801.01 c fracdiving : 0.00 0 0 1800.00/1801.01 c veclendiving : 0.00 0 0 1800.00/1801.01 c intdiving : 0.00 0 0 1800.00/1801.01 c actconsdiving : 0.00 0 0 1800.00/1801.01 c objpscostdiving : 0.00 0 0 1800.00/1801.01 c rootsoldiving : 0.00 0 0 1800.00/1801.01 c linesearchdiving : 0.00 0 0 1800.00/1801.01 c guideddiving : 0.00 0 0 1800.00/1801.01 c octane : 0.00 0 0 1800.00/1801.01 c rens : 0.00 0 0 1800.00/1801.01 c rins : 0.00 0 0 1800.00/1801.01 c localbranching : 0.00 0 0 1800.00/1801.01 c mutation : 0.00 0 0 1800.00/1801.01 c crossover : 0.00 0 0 1800.00/1801.01 c dins : 0.00 0 0 1800.00/1801.01 c LP : Time Calls Iterations Iter/call Iter/sec 1800.00/1801.01 c primal LP : 0.01 0 0 0.00 0.00 1800.00/1801.01 c dual LP : 1510.39 240663 5422727 22.53 3590.28 1800.00/1801.01 c barrier LP : 0.00 0 0 0.00 - 1800.00/1801.01 c diving/probing LP: 0.00 0 0 0.00 - 1800.00/1801.01 c strong branching : 99.05 9977 430427 43.14 4345.55 1800.00/1801.01 c (at root node) : - 20 3641 182.05 - 1800.00/1801.01 c conflict analysis: 0.00 0 0 0.00 - 1800.00/1801.01 c B&B Tree : 1800.00/1801.01 c number of runs : 1 1800.00/1801.01 c nodes : 249048 1800.00/1801.01 c nodes (total) : 249048 1800.00/1801.01 c nodes left : 3604 1800.00/1801.01 c max depth : 65 1800.00/1801.01 c max depth (total): 65 1800.00/1801.01 c backtracks : 29682 (11.9%) 1800.00/1801.01 c delayed cutoffs : 905 1800.00/1801.01 c repropagations : 22136 (77848 domain reductions, 905 cutoffs) 1800.00/1801.01 c avg switch length: 5.68 1800.00/1801.01 c switching time : 40.73 1800.00/1801.01 c Solution : 1800.00/1801.01 c Solutions found : 0 (0 improvements) 1800.00/1801.01 c Primal Bound : - 1800.00/1801.01 c Dual Bound : +1.80000000000000e+01 1800.00/1801.01 c Gap : infinite 1800.00/1801.01 c Root Dual Bound : +1.10000000000000e+01 1800.00/1801.07 c Time complete: 1800.07.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868379-1245123176/watcher-1868379-1245123176 -o /tmp/evaluation-result-1868379-1245123176/solver-1868379-1245123176 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868379-1245123176.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/64 6963 /proc/meminfo: memFree=825328/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=7616 CPUtime=0 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 665 0 0 0 0 0 0 0 18 0 1 0 65050599 7798784 649 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0 /proc/6963/statm: 1904 659 353 1256 0 643 0 [startup+0.099063 s] /proc/loadavg: 0.99 0.98 0.99 3/64 6963 /proc/meminfo: memFree=825328/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=18752 CPUtime=0.08 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 3851 0 0 0 7 1 0 0 18 0 1 0 65050599 19202048 3481 1992294400 4194304 9342243 548682068736 18446744073709551615 4989184 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 4688 3482 475 1256 0 3427 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 18752 [startup+0.101063 s] /proc/loadavg: 0.99 0.98 0.99 3/64 6963 /proc/meminfo: memFree=825328/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=18752 CPUtime=0.09 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 3854 0 0 0 7 2 0 0 18 0 1 0 65050599 19202048 3484 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 4688 3484 477 1256 0 3427 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18752 [startup+0.301102 s] /proc/loadavg: 0.99 0.98 0.99 3/64 6963 /proc/meminfo: memFree=825328/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=26512 CPUtime=0.29 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 5589 0 0 0 26 3 0 0 18 0 1 0 65050599 27148288 5219 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 6628 5219 649 1256 0 5367 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26512 [startup+0.701183 s] /proc/loadavg: 0.99 0.98 0.99 3/64 6963 /proc/meminfo: memFree=825328/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=28764 CPUtime=0.69 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 6086 0 0 0 66 3 0 0 20 0 1 0 65050599 29454336 5716 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 7191 5716 649 1256 0 5930 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28764 [startup+1.50134 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=803560/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=32996 CPUtime=1.48 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 6780 0 0 0 144 4 0 0 25 0 1 0 65050599 33787904 6410 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 8249 6410 654 1256 0 6988 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 32996 [startup+3.10166 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=801960/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=33316 CPUtime=3.08 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 7094 0 0 0 303 5 0 0 25 0 1 0 65050599 34115584 6462 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 8329 6462 670 1256 0 7068 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33316 [startup+6.3013 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=801704/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=33052 CPUtime=6.28 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 8590 0 0 0 621 7 0 0 25 0 1 0 65050599 33845248 6578 1992294400 4194304 9342243 548682068736 18446744073709551615 6978062 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 8263 6578 674 1256 0 7002 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 33052 [startup+12.7016 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=801256/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=33672 CPUtime=12.68 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 11518 0 0 0 1256 12 0 0 25 0 1 0 65050599 34480128 6586 1992294400 4194304 9342243 548682068736 18446744073709551615 6018048 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 8418 6586 674 1256 0 7157 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33672 [startup+25.5012 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=801064/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=31948 CPUtime=25.47 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 22408 0 0 0 2526 21 0 0 25 0 1 0 65050599 32714752 6665 1992294400 4194304 9342243 548682068736 18446744073709551615 6976512 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 7987 6665 678 1256 0 6726 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 31948 [startup+51.1013 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=799912/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=32880 CPUtime=51.06 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 38797 0 0 0 5065 41 0 0 25 0 1 0 65050599 33669120 6938 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 8220 6938 678 1256 0 6959 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 32880 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=796968/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=36428 CPUtime=102.23 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 51227 0 0 0 10155 68 0 0 25 0 1 0 65050599 37302272 7716 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 9107 7716 678 1256 0 7846 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 36428 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=794152/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=39500 CPUtime=162.2 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 56922 0 0 0 16120 100 0 0 25 0 1 0 65050599 40448000 8416 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 9875 8416 678 1256 0 8614 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 39500 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=792552/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=39924 CPUtime=222.16 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 68290 0 0 0 22083 133 0 0 25 0 1 0 65050599 40882176 8751 1992294400 4194304 9342243 548682068736 18446744073709551615 6887674 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 9981 8751 678 1256 0 8720 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 39924 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=791144/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=42232 CPUtime=282.13 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 79200 0 0 0 28049 164 0 0 25 0 1 0 65050599 43245568 9141 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 10558 9141 678 1256 0 9297 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 42232 [startup+342.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=788264/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=46676 CPUtime=342.1 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 83970 0 0 0 34015 195 0 0 25 0 1 0 65050599 47796224 9878 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 11669 9878 678 1256 0 10408 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 46676 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=787560/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=45432 CPUtime=402.07 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 89409 0 0 0 39981 226 0 0 25 0 1 0 65050599 46522368 10033 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 11358 10033 678 1256 0 10097 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 45432 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=784744/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=49856 CPUtime=462.03 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 102041 0 0 0 45944 259 0 0 25 0 1 0 65050599 51052544 10751 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 12464 10751 678 1256 0 11203 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 49856 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=784488/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=48104 CPUtime=522 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 106425 0 0 0 51915 285 0 0 25 0 1 0 65050599 49258496 10781 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 12026 10781 678 1256 0 10765 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 48104 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=782888/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=51752 CPUtime=581.98 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 116745 0 0 0 57881 317 0 0 25 0 1 0 65050599 52994048 11226 1992294400 4194304 9342243 548682068736 18446744073709551615 6220925 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 12938 11226 678 1256 0 11677 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 51752 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=781032/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=53328 CPUtime=641.95 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 119564 0 0 0 63852 343 0 0 25 0 1 0 65050599 54607872 11686 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 13332 11686 678 1256 0 12071 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 53328 [startup+702.302 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=777512/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=57428 CPUtime=821.85 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 129157 0 0 0 81758 427 0 0 25 0 1 0 65050599 58806272 12574 1992294400 4194304 9342243 548682068736 18446744073709551615 6038320 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14357 12574 678 1256 0 13096 0 Current children cumulated CPU time (s) 821.85 Current children cumulated vsize (KiB) 57428 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=777000/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=57928 CPUtime=881.83 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 133343 0 0 0 87725 458 0 0 25 0 1 0 65050599 59318272 12720 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14482 12720 678 1256 0 13221 0 Current children cumulated CPU time (s) 881.83 Current children cumulated vsize (KiB) 57928 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=776808/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=57300 CPUtime=941.79 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 136591 0 0 0 93693 486 0 0 25 0 1 0 65050599 58675200 12752 1992294400 4194304 9342243 548682068736 18446744073709551615 7288845 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14325 12752 678 1256 0 13064 0 Current children cumulated CPU time (s) 941.79 Current children cumulated vsize (KiB) 57300 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=775784/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=58160 CPUtime=1001.76 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 138976 0 0 0 99661 515 0 0 25 0 1 0 65050599 59555840 13002 1992294400 4194304 9342243 548682068736 18446744073709551615 6240193 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14540 13002 678 1256 0 13279 0 Current children cumulated CPU time (s) 1001.76 Current children cumulated vsize (KiB) 58160 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=775144/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=58488 CPUtime=1061.73 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 141669 0 0 0 105629 544 0 0 25 0 1 0 65050599 59891712 13172 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14622 13172 678 1256 0 13361 0 Current children cumulated CPU time (s) 1061.73 Current children cumulated vsize (KiB) 58488 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=774120/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=60576 CPUtime=1121.69 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 145953 0 0 0 111594 575 0 0 25 0 1 0 65050599 62029824 13429 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 15144 13429 678 1256 0 13883 0 Current children cumulated CPU time (s) 1121.69 Current children cumulated vsize (KiB) 60576 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=774184/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=59408 CPUtime=1181.65 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 148605 0 0 0 117559 606 0 0 25 0 1 0 65050599 60833792 13402 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14852 13402 678 1256 0 13591 0 Current children cumulated CPU time (s) 1181.65 Current children cumulated vsize (KiB) 59408 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6964 /proc/meminfo: memFree=774056/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=59416 CPUtime=1241.61 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 151253 0 0 0 123524 637 0 0 25 0 1 0 65050599 60841984 13396 1992294400 4194304 9342243 548682068736 18446744073709551615 6059579 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14854 13396 678 1256 0 13593 0 Current children cumulated CPU time (s) 1241.61 Current children cumulated vsize (KiB) 59416 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6966 /proc/meminfo: memFree=773480/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=60852 CPUtime=1301.56 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 153173 0 0 0 129489 667 0 0 25 0 1 0 65050599 62312448 13539 1992294400 4194304 9342243 548682068736 18446744073709551615 7288952 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 15213 13539 678 1256 0 13952 0 Current children cumulated CPU time (s) 1301.56 Current children cumulated vsize (KiB) 60852 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6966 /proc/meminfo: memFree=773480/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=59892 CPUtime=1361.52 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 155890 0 0 0 135458 694 0 0 25 0 1 0 65050599 61329408 13531 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14973 13531 678 1256 0 13712 0 Current children cumulated CPU time (s) 1361.52 Current children cumulated vsize (KiB) 59892 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6966 /proc/meminfo: memFree=773480/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=59888 CPUtime=1421.5 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 158887 0 0 0 141427 723 0 0 25 0 1 0 65050599 61325312 13531 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14972 13531 678 1256 0 13711 0 Current children cumulated CPU time (s) 1421.5 Current children cumulated vsize (KiB) 59888 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6966 /proc/meminfo: memFree=773480/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=60856 CPUtime=1481.46 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 161889 0 0 0 147394 752 0 0 25 0 1 0 65050599 62316544 13554 1992294400 4194304 9342243 548682068736 18446744073709551615 6059573 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 15214 13554 678 1256 0 13953 0 Current children cumulated CPU time (s) 1481.46 Current children cumulated vsize (KiB) 60856 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6966 /proc/meminfo: memFree=773352/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=59900 CPUtime=1541.43 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 164822 0 0 0 153364 779 0 0 25 0 1 0 65050599 61337600 13541 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14975 13541 678 1256 0 13714 0 Current children cumulated CPU time (s) 1541.43 Current children cumulated vsize (KiB) 59900 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6966 /proc/meminfo: memFree=773352/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=59892 CPUtime=1601.41 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 168968 0 0 0 159332 809 0 0 25 0 1 0 65050599 61329408 13508 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14973 13508 678 1256 0 13712 0 Current children cumulated CPU time (s) 1601.41 Current children cumulated vsize (KiB) 59892 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6966 /proc/meminfo: memFree=773416/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=59880 CPUtime=1661.37 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 171646 0 0 0 165298 839 0 0 25 0 1 0 65050599 61317120 13529 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14970 13529 678 1256 0 13709 0 Current children cumulated CPU time (s) 1661.37 Current children cumulated vsize (KiB) 59880 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6972 /proc/meminfo: memFree=773352/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=61056 CPUtime=1721.34 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 179778 0 0 0 171264 870 0 0 25 0 1 0 65050599 62521344 13550 1992294400 4194304 9342243 548682068736 18446744073709551615 6935812 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 15264 13550 678 1256 0 14003 0 Current children cumulated CPU time (s) 1721.34 Current children cumulated vsize (KiB) 61056 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6972 /proc/meminfo: memFree=773480/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=59936 CPUtime=1781.31 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 182254 0 0 0 177233 898 0 0 25 0 1 0 65050599 61374464 13533 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14984 13533 678 1256 0 13723 0 Current children cumulated CPU time (s) 1781.31 Current children cumulated vsize (KiB) 59936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801 s] /proc/loadavg: 0.99 0.98 0.99 2/65 6972 /proc/meminfo: memFree=773544/2055920 swapFree=4192952/4192956 [pid=6963] ppid=6961 vsize=59896 CPUtime=1800 /proc/6963/stat : 6963 (pbscip.linux.x8) R 6961 6963 5563 0 -1 4194304 184908 0 0 0 179093 907 0 0 25 0 1 0 65050599 61333504 13536 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 0 0 0 /proc/6963/statm: 14974 13536 678 1256 0 13713 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 59896 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1801.08 CPU time (s): 1800.09 CPU user time (s): 1791 CPU system time (s): 9.08762 CPU usage (%): 99.9449 Max. virtual memory (cumulated for all children) (KiB): 62252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791 system time used= 9.08762 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 184918 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 4379 runsolver used 1.46678 second user time and 5.09722 second system time The end
Begin job on node33 at 2009-06-16 05:32:56 IDJOB=1868379 IDBENCH=1356 IDSOLVER=684 FILE ID=node33/1868379-1245123176 PBS_JOBID= 9363667 Free space on /tmp= 65952 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868379-1245123176/watcher-1868379-1245123176 -o /tmp/evaluation-result-1868379-1245123176/solver-1868379-1245123176 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868379-1245123176.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9a7dcf907234f84f0d33881f56632ec3 RANDOM SEED=1835755775 node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 825744 kB Buffers: 82100 kB Cached: 1056352 kB SwapCached: 4 kB Active: 60792 kB Inactive: 1091568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 825744 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 11808 kB Writeback: 0 kB Mapped: 23692 kB Slab: 63768 kB Committed_AS: 111036 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 65940 MiB End job on node33 at 2009-06-16 06:02:59