Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1800.07 | 1800.66 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900667195.opb |
MD5SUM | 80da336e36371770b02ed1fca93b5c11 |
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 | 184.282 |
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 | 655 |
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.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2666991-1276304628.opb> 0.01/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.01/0.05 c problem read 0.01/0.05 c No objective function, only one solution is needed. 0.01/0.05 c presolving settings loaded 0.01/0.07 c presolving: 0.09/0.12 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.13 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.15 c presolving (3 rounds): 0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.15 c 242 implications, 22 cliques 0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.06 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.53 c 0.4s| 1 | 0 | 102 | - |3971k| 0 | 43 | 231 |2742 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.70 c 0.6s| 1 | 0 | 119 | - |4540k| 0 | 45 | 231 |2742 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.07 c 0.9s| 1 | 0 | 135 | - |4892k| 0 | 51 | 231 |2742 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.41 c 1.3s| 1 | 0 | 161 | - |4922k| 0 | 51 | 231 |2742 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 1.69/1.79 c 1.6s| 1 | 0 | 181 | - |4930k| 0 | 54 | 231 |2742 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 2.49/2.53 c 2.4s| 1 | 2 | 181 | - |4930k| 0 | 54 | 231 |2742 | 231 |2587 | 23 | 0 | 10 | 0.000000e+00 | -- | Inf 145.04/145.12 c 142s| 10000 | 95 |239519 | 23.9 |6631k| 33 | 39 | 231 |5758 | 231 |2578 | 23 |5378 |2244 | 0.000000e+00 | -- | Inf 247.31/247.40 c 242s| 20000 | 121 |482067 | 24.1 |7801k| 39 | 36 | 231 |8128 | 231 |2578 | 23 | 11k|2326 | 0.000000e+00 | -- | Inf 354.97/355.13 c 347s| 30000 | 151 |709785 | 23.7 |8109k| 43 | - | 231 |8120 | 0 | 0 | 23 | 16k|2992 | 0.000000e+00 | -- | Inf 463.94/464.14 c 454s| 40000 | 175 |949269 | 23.7 |8523k| 44 | - | 231 |8423 | 231 |2578 | 23 | 22k|3495 | 0.000000e+00 | -- | Inf 573.20/573.49 c 561s| 50000 | 199 | 1194k| 23.9 |8862k| 45 | 18 | 231 |8988 | 231 |2578 | 23 | 27k|3927 | 0.000000e+00 | -- | Inf 682.37/682.64 c 667s| 60000 | 262 | 1437k| 24.0 | 10M| 45 | - | 231 | 11k| 231 |2578 | 23 | 33k|4290 | 0.000000e+00 | -- | Inf 791.33/791.65 c 774s| 70000 | 250 | 1680k| 24.0 |9338k| 47 | 37 | 231 |8717 | 231 |2578 | 23 | 39k|4648 | 0.000000e+00 | -- | Inf 899.60/899.95 c 880s| 80000 | 275 | 1926k| 24.1 |9542k| 51 | - | 231 |8861 | 231 |2578 | 23 | 45k|4969 | 0.000000e+00 | -- | Inf 1008.27/1008.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1008.27/1008.67 c 986s| 90000 | 268 | 2171k| 24.1 |9306k| 51 | 43 | 231 |8201 | 231 |2578 | 23 | 50k|5351 | 0.000000e+00 | -- | Inf 1115.72/1116.14 c 1092s|100000 | 271 | 2416k| 24.2 |9473k| 52 | - | 231 |8393 | 231 |2578 | 23 | 56k|5698 | 0.000000e+00 | -- | Inf 1225.29/1225.71 c 1199s|110000 | 240 | 2673k| 24.3 | 10M| 54 | - | 231 | 10k| 231 |2578 | 23 | 62k|5924 | 0.000000e+00 | -- | Inf 1332.25/1332.77 c 1303s|120000 | 235 | 2914k| 24.3 |9811k| 54 | 21 | 231 |9355 | 231 |2578 | 23 | 67k|6248 | 0.000000e+00 | -- | Inf 1439.22/1439.77 c 1408s|130000 | 263 | 3164k| 24.3 | 10M| 54 | 44 | 231 | 11k| 231 |2578 | 23 | 72k|6466 | 0.000000e+00 | -- | Inf 1547.29/1547.81 c 1514s|140000 | 263 | 3408k| 24.3 |9896k| 54 | - | 231 |8973 | 231 |2578 | 23 | 78k|6736 | 0.000000e+00 | -- | Inf 1658.25/1658.82 c 1622s|150000 | 236 | 3667k| 24.5 |9956k| 54 | 31 | 231 |9146 | 231 |2578 | 23 | 83k|6938 | 0.000000e+00 | -- | Inf 1764.71/1765.38 c 1727s|160000 | 198 | 3914k| 24.5 |9554k| 54 | - | 231 |8416 | 231 |2578 | 23 | 89k|7162 | 0.000000e+00 | -- | Inf 1800.02/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.02/1800.62 c 1800.02/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.62 c Solving Time (sec) : 1761.34 1800.02/1800.62 c Solving Nodes : 163338 1800.02/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.02/1800.62 c Dual Bound : +0.00000000000000e+00 1800.02/1800.62 c Gap : infinite 1800.02/1800.62 s UNKNOWN 1800.02/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.02/1800.62 c Solving Time : 1761.34 1800.02/1800.62 c Original Problem : 1800.02/1800.62 c Problem name : HOME/instance-2666991-1276304628.opb 1800.02/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.62 c Constraints : 2707 initial, 2707 maximal 1800.02/1800.62 c Presolved Problem : 1800.02/1800.62 c Problem name : t_HOME/instance-2666991-1276304628.opb 1800.02/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.02/1800.62 c Constraints : 2564 initial, 12154 maximal 1800.02/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.02/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.02/1800.62 c linear : 0.02 0 0 0 0 0 143 0 0 1800.02/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.02/1800.62 c root node : - 0 - - 0 - - - - 1800.02/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.02/1800.62 c integral : 0 0 0 84065 0 295 2780 0 0 164372 1800.02/1800.62 c knapsack : 1 5 597847 0 0 1256 223225 0 0 0 1800.02/1800.62 c setppc : 22 5 596911 0 0 3013 809162 0 0 0 1800.02/1800.62 c linear : 0+ 5 280933 0 0 5 4518 0 0 0 1800.02/1800.62 c logicor : 2541+ 5 307172 0 0 1066 1128921 0 0 0 1800.02/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.02/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.02/1800.62 c integral : 126.66 0.00 0.00 126.66 0.00 1800.02/1800.62 c knapsack : 5.44 0.00 5.44 0.00 0.00 1800.02/1800.62 c setppc : 9.07 0.00 9.07 0.00 0.00 1800.02/1800.62 c linear : 1.70 0.02 1.68 0.00 0.00 1800.02/1800.62 c logicor : 51.29 0.00 51.29 0.00 0.00 1800.02/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.02/1800.62 c Propagators : Time Calls Cutoffs DomReds 1800.02/1800.62 c vbounds : 0.42 1 0 0 1800.02/1800.62 c rootredcost : 0.49 0 0 0 1800.02/1800.62 c pseudoobj : 0.25 0 0 0 1800.02/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.02/1800.62 c propagation : 0.52 5340 5331 32956 24.9 61 20.3 - 1800.02/1800.62 c infeasible LP : 34.43 76333 71303 492789 36.9 417 17.0 0 1800.02/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.02/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.02/1800.62 c applied globally : - - - 86841 19.8 - - - 1800.02/1800.62 c applied locally : - - - 4107 33.2 - - - 1800.02/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.02/1800.62 c cut pool : 0.00 4 - - 78 - (maximal pool size: 402) 1800.02/1800.62 c redcost : 0.71 82577 0 0 0 0 1800.02/1800.62 c impliedbounds : 0.00 5 0 0 0 0 1800.02/1800.62 c intobj : 0.00 0 0 0 0 0 1800.02/1800.62 c cgmip : 0.00 0 0 0 0 0 1800.02/1800.62 c gomory : 0.68 5 0 0 1108 0 1800.02/1800.62 c strongcg : 0.61 5 0 0 1645 0 1800.02/1800.62 c cmir : 0.00 0 0 0 0 0 1800.02/1800.62 c flowcover : 0.00 0 0 0 0 0 1800.02/1800.62 c clique : 0.00 5 0 0 0 0 1800.02/1800.62 c zerohalf : 0.00 0 0 0 0 0 1800.02/1800.62 c mcf : 0.00 1 0 0 0 0 1800.02/1800.62 c rapidlearning : 0.19 1 0 0 0 178 1800.02/1800.62 c Pricers : Time Calls Vars 1800.02/1800.62 c problem variables: 0.00 0 0 1800.02/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.02/1800.62 c relpscost : 126.47 84065 295 2780 0 0 164372 1800.02/1800.62 c pscost : 0.00 0 0 0 0 0 0 1800.02/1800.62 c inference : 0.00 0 0 0 0 0 0 1800.02/1800.62 c mostinf : 0.00 0 0 0 0 0 0 1800.02/1800.62 c leastinf : 0.00 0 0 0 0 0 0 1800.02/1800.62 c fullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0 1800.02/1800.62 c random : 0.00 0 0 0 0 0 0 1800.02/1800.62 c Primal Heuristics : Time Calls Found 1800.02/1800.62 c LP solutions : 0.00 - 0 1800.02/1800.62 c pseudo solutions : 0.00 - 0 1800.02/1800.62 c trivial : 0.00 1 0 1800.02/1800.62 c simplerounding : 0.00 0 0 1800.02/1800.62 c zirounding : 0.00 0 0 1800.02/1800.62 c rounding : 0.00 0 0 1800.02/1800.62 c shifting : 0.00 0 0 1800.02/1800.62 c intshifting : 0.00 0 0 1800.02/1800.62 c oneopt : 0.00 0 0 1800.02/1800.62 c twoopt : 0.00 0 0 1800.02/1800.62 c fixandinfer : 0.00 0 0 1800.02/1800.62 c feaspump : 0.00 0 0 1800.02/1800.62 c coefdiving : 0.00 0 0 1800.02/1800.62 c pscostdiving : 0.00 0 0 1800.02/1800.62 c fracdiving : 0.00 0 0 1800.02/1800.62 c veclendiving : 0.00 0 0 1800.02/1800.62 c intdiving : 0.00 0 0 1800.02/1800.62 c actconsdiving : 0.00 0 0 1800.02/1800.62 c objpscostdiving : 0.00 0 0 1800.02/1800.62 c rootsoldiving : 0.00 0 0 1800.02/1800.62 c linesearchdiving : 0.00 0 0 1800.02/1800.62 c guideddiving : 0.00 0 0 1800.02/1800.62 c octane : 0.00 0 0 1800.02/1800.62 c rens : 0.00 0 0 1800.02/1800.62 c rins : 0.00 0 0 1800.02/1800.62 c localbranching : 0.00 0 0 1800.02/1800.62 c mutation : 0.00 0 0 1800.02/1800.62 c crossover : 0.00 0 0 1800.02/1800.62 c dins : 0.00 0 0 1800.02/1800.62 c undercover : 0.00 0 0 1800.02/1800.62 c nlp : 0.00 0 0 1800.02/1800.62 c trysol : 0.00 0 0 1800.02/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec 1800.02/1800.62 c primal LP : 0.01 0 0 0.00 0.00 1800.02/1800.62 c dual LP : 1391.37 159935 3998592 25.00 2873.85 1800.02/1800.62 c lex dual LP : 0.00 0 0 0.00 - 1800.02/1800.62 c barrier LP : 0.00 0 0 0.00 - 1800.02/1800.62 c diving/probing LP: 0.00 0 0 0.00 - 1800.02/1800.62 c strong branching : 122.79 7197 341464 47.45 2780.88 1800.02/1800.62 c (at root node) : - 10 1782 178.20 - 1800.02/1800.62 c conflict analysis: 0.00 0 0 0.00 - 1800.02/1800.62 c B&B Tree : 1800.02/1800.62 c number of runs : 1 1800.02/1800.62 c nodes : 163338 1800.02/1800.62 c nodes (total) : 163338 1800.02/1800.62 c nodes left : 205 1800.02/1800.62 c max depth : 54 1800.02/1800.62 c max depth (total): 54 1800.02/1800.62 c backtracks : 20270 (12.4%) 1800.02/1800.62 c delayed cutoffs : 830 1800.02/1800.62 c repropagations : 228505 (277334 domain reductions, 816 cutoffs) 1800.02/1800.62 c avg switch length: 4.67 1800.02/1800.62 c switching time : 51.22 1800.02/1800.62 c Solution : 1800.02/1800.62 c Solutions found : 0 (0 improvements) 1800.02/1800.62 c Primal Bound : - 1800.02/1800.62 c Dual Bound : +0.00000000000000e+00 1800.02/1800.62 c Gap : infinite 1800.02/1800.62 c Root Dual Bound : +0.00000000000000e+00 1800.02/1800.62 c Root Iterations : 181 1800.02/1800.65 c Time complete: 1800.06.
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-2666991-1276304628/watcher-2666991-1276304628 -o /tmp/evaluation-result-2666991-1276304628/solver-2666991-1276304628 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666991-1276304628.opb -t 1800 -m 1800 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: 1.00 1.00 1.00 3/106 8869 /proc/meminfo: memFree=1431088/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=7724 CPUtime=0 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 1040 0 0 0 0 0 0 0 20 0 1 0 6064229 7909376 960 1992294400 4194304 8223781 140735693967168 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8869/statm: 1931 969 348 984 0 944 0 [startup+0.024807 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8869 /proc/meminfo: memFree=1431088/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=9648 CPUtime=0.01 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 1705 0 0 0 1 0 0 0 20 0 1 0 6064229 9879552 1624 1992294400 4194304 8223781 140735693967168 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8869/statm: 2412 1624 363 984 0 1425 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9648 [startup+0.10082 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8869 /proc/meminfo: memFree=1431088/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=16232 CPUtime=0.09 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 3719 0 0 0 7 2 0 0 20 0 1 0 6064229 16621568 3017 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 4058 3017 443 984 0 3071 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16232 [startup+0.300855 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8869 /proc/meminfo: memFree=1431088/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=30168 CPUtime=0.29 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 9907 0 0 0 25 4 0 0 20 0 1 0 6064229 30892032 6569 1992294400 4194304 8223781 140735693967168 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 7542 6577 570 984 0 6555 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30168 [startup+0.700923 s] /proc/loadavg: 1.00 1.00 1.00 3/106 8869 /proc/meminfo: memFree=1431088/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=27276 CPUtime=0.69 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 13029 0 0 0 60 9 0 0 21 0 1 0 6064229 27930624 5963 1992294400 4194304 8223781 140735693967168 18446744073709551615 6540846 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 6833 5971 583 984 0 5846 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27276 [startup+1.50106 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8870 /proc/meminfo: memFree=1408760/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=29736 CPUtime=1.49 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 13653 0 0 0 139 10 0 0 23 0 1 0 6064229 30449664 6582 1992294400 4194304 8223781 140735693967168 18446744073709551615 6044178 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 7434 6582 583 984 0 6447 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29736 [startup+3.10133 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8870 /proc/meminfo: memFree=1406280/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=30300 CPUtime=3.09 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 14826 0 0 0 297 12 0 0 25 0 1 0 6064229 31027200 6653 1992294400 4194304 8223781 140735693967168 18446744073709551615 6569487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 7575 6653 584 984 0 6588 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30300 [startup+6.30088 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8870 /proc/meminfo: memFree=1405908/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=29848 CPUtime=6.29 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 18845 0 0 0 612 17 0 0 25 0 1 0 6064229 30564352 6622 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 7462 6622 584 984 0 6475 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29848 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8870 /proc/meminfo: memFree=1405784/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=29952 CPUtime=12.69 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 33096 0 0 0 1241 28 0 0 25 0 1 0 6064229 30670848 6635 1992294400 4194304 8223781 140735693967168 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 7488 6635 586 984 0 6501 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29952 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8872 /proc/meminfo: memFree=1405784/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=29848 CPUtime=25.48 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 59782 0 0 0 2497 51 0 0 25 0 1 0 6064229 30564352 6625 1992294400 4194304 8223781 140735693967168 18446744073709551615 6569642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 7462 6625 586 984 0 6475 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29848 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8872 /proc/meminfo: memFree=1405412/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=30428 CPUtime=51.06 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 113360 0 0 0 5004 102 0 0 25 0 1 0 6064229 31158272 6746 1992294400 4194304 8223781 140735693967168 18446744073709551615 6592935 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 7607 6746 587 984 0 6620 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 30428 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8874 /proc/meminfo: memFree=1404420/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=31404 CPUtime=102.26 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 216094 0 0 0 10002 224 0 0 25 0 1 0 6064229 32157696 7014 1992294400 4194304 8223781 140735693967168 18446744073709551615 6569375 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 7851 7014 587 984 0 6864 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 31404 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8874 /proc/meminfo: memFree=1403676/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=32200 CPUtime=162.23 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 336630 0 0 0 15864 359 0 0 25 0 1 0 6064229 32972800 7201 1992294400 4194304 8223781 140735693967168 18446744073709551615 6559810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 8050 7201 587 984 0 7063 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 32200 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8876 /proc/meminfo: memFree=1402932/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=32932 CPUtime=222.21 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 455510 0 0 0 21725 496 0 0 25 0 1 0 6064229 33722368 7375 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 8233 7375 587 984 0 7246 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 32932 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8878 /proc/meminfo: memFree=1401320/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=34572 CPUtime=282.2 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 575329 0 0 0 27584 636 0 0 25 0 1 0 6064229 35401728 7777 1992294400 4194304 8223781 140735693967168 18446744073709551615 6569487 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 8643 7777 587 984 0 7656 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 34572 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8880 /proc/meminfo: memFree=1400948/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=34744 CPUtime=342.18 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 686906 0 0 0 33449 769 0 0 25 0 1 0 6064229 35577856 7848 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 8686 7848 587 984 0 7699 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 34744 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8882 /proc/meminfo: memFree=1400824/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=34856 CPUtime=402.15 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 772863 0 0 0 39322 893 0 0 25 0 1 0 6064229 35692544 7876 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 8714 7876 587 984 0 7727 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 34856 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8882 /proc/meminfo: memFree=1400080/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=35232 CPUtime=462.13 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 854781 0 0 0 45197 1016 0 0 25 0 1 0 6064229 36077568 7969 1992294400 4194304 8223781 140735693967168 18446744073709551615 6592765 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 8808 7969 587 984 0 7821 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 35232 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8884 /proc/meminfo: memFree=1400080/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=35588 CPUtime=522.12 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 968680 0 0 0 51061 1151 0 0 25 0 1 0 6064229 36442112 8036 1992294400 4194304 8223781 140735693967168 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 8897 8036 589 984 0 7910 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 35588 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8886 /proc/meminfo: memFree=1399956/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=35708 CPUtime=582.1 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 1092017 0 0 0 56929 1281 0 0 25 0 1 0 6064229 36564992 8063 1992294400 4194304 8223781 140735693967168 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 8927 8063 589 984 0 7940 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 35708 [startup+642.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 8891 /proc/meminfo: memFree=1398096/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=36668 CPUtime=642.08 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 1204140 0 0 0 62796 1412 0 0 25 0 1 0 6064229 37548032 8327 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9167 8327 587 984 0 8180 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 36668 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8895 /proc/meminfo: memFree=1397228/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=37356 CPUtime=822.02 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 1535744 0 0 0 80393 1809 0 0 25 0 1 0 6064229 38252544 8501 1992294400 4194304 8223781 140735693967168 18446744073709551615 6592935 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9339 8501 587 984 0 8352 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 37356 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8897 /proc/meminfo: memFree=1397228/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=37356 CPUtime=882 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 1664161 0 0 0 86253 1947 0 0 25 0 1 0 6064229 38252544 8501 1992294400 4194304 8223781 140735693967168 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9339 8501 587 984 0 8352 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 37356 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8899 /proc/meminfo: memFree=1396732/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=37952 CPUtime=941.98 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 1729663 0 0 0 92140 2058 0 0 25 0 1 0 6064229 38862848 8630 1992294400 4194304 8223781 140735693967168 18446744073709551615 6598962 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9536 8631 587 984 0 8549 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 37952 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8901 /proc/meminfo: memFree=1396732/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=38072 CPUtime=1001.96 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 1796377 0 0 0 98026 2170 0 0 25 0 1 0 6064229 38985728 8660 1992294400 4194304 8223781 140735693967168 18446744073709551615 6436955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9518 8660 587 984 0 8531 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 38072 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8901 /proc/meminfo: memFree=1396732/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=37840 CPUtime=1061.95 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 1867721 0 0 0 103910 2285 0 0 25 0 1 0 6064229 38748160 8622 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9460 8622 587 984 0 8473 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 37840 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8903 /proc/meminfo: memFree=1396732/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=38092 CPUtime=1121.92 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 1950465 0 0 0 109782 2410 0 0 25 0 1 0 6064229 39006208 8660 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9523 8660 587 984 0 8536 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 38092 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8905 /proc/meminfo: memFree=1396608/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=37980 CPUtime=1181.9 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 2067417 0 0 0 115645 2545 0 0 25 0 1 0 6064229 38891520 8657 1992294400 4194304 8223781 140735693967168 18446744073709551615 6505830 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9495 8657 587 984 0 8508 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 37980 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8907 /proc/meminfo: memFree=1396236/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=38232 CPUtime=1241.88 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 2188895 0 0 0 121514 2674 0 0 25 0 1 0 6064229 39149568 8719 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9558 8719 587 984 0 8571 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 38232 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8909 /proc/meminfo: memFree=1396236/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=38328 CPUtime=1301.87 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 2325928 0 0 0 127373 2814 0 0 25 0 1 0 6064229 39247872 8729 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9582 8729 587 984 0 8595 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 38328 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8909 /proc/meminfo: memFree=1396112/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=38352 CPUtime=1361.84 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 2457440 0 0 0 133228 2956 0 0 25 0 1 0 6064229 39272448 8750 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9588 8750 587 984 0 8601 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 38352 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8911 /proc/meminfo: memFree=1395740/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=39288 CPUtime=1421.83 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 2556596 0 0 0 139097 3086 0 0 25 0 1 0 6064229 40230912 8943 1992294400 4194304 8223781 140735693967168 18446744073709551615 6251377 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9822 8943 587 984 0 8835 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 39288 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8913 /proc/meminfo: memFree=1395492/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=39116 CPUtime=1481.81 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 2659388 0 0 0 144971 3210 0 0 25 0 1 0 6064229 40054784 8907 1992294400 4194304 8223781 140735693967168 18446744073709551615 6568212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9779 8907 587 984 0 8792 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 39116 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8915 /proc/meminfo: memFree=1395368/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=39244 CPUtime=1541.79 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 2767818 0 0 0 150845 3334 0 0 25 0 1 0 6064229 40185856 8941 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9811 8941 587 984 0 8824 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 39244 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8917 /proc/meminfo: memFree=1395368/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=38960 CPUtime=1601.77 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 2884454 0 0 0 156712 3465 0 0 25 0 1 0 6064229 39895040 8890 1992294400 4194304 8223781 140735693967168 18446744073709551615 6567727 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9740 8890 587 984 0 8753 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 38960 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8917 /proc/meminfo: memFree=1395120/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=39520 CPUtime=1661.74 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 2982998 0 0 0 162584 3590 0 0 25 0 1 0 6064229 40468480 8989 1992294400 4194304 8223781 140735693967168 18446744073709551615 6003852 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9880 8989 600 984 0 8893 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 39520 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8919 /proc/meminfo: memFree=1394996/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=39416 CPUtime=1721.73 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 3066119 0 0 0 168465 3708 0 0 25 0 1 0 6064229 40361984 8983 1992294400 4194304 8223781 140735693967168 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9854 8983 587 984 0 8867 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 39416 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8921 /proc/meminfo: memFree=1394996/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=39292 CPUtime=1781.71 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 3152192 0 0 0 174342 3829 0 0 25 0 1 0 6064229 40235008 8953 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9823 8953 587 984 0 8836 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 39292 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8921 /proc/meminfo: memFree=1394996/2059040 swapFree=4192956/4192956 [pid=8869] ppid=8867 vsize=39292 CPUtime=1800.02 /proc/8869/stat : 8869 (pbscip.linux.x8) R 8867 8869 8018 0 -1 4202496 3177148 0 0 0 176138 3864 0 0 25 0 1 0 6064229 40235008 8953 1992294400 4194304 8223781 140735693967168 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8869/statm: 9823 8953 587 984 0 8836 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 39292 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): 1800.66 CPU time (s): 1800.07 CPU user time (s): 1761.42 CPU system time (s): 38.6521 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 40160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1761.42 system time used= 38.6521 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3177157 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= 2 involuntary context switches= 3181 runsolver used 2.95755 second user time and 8.5317 second system time The end
Begin job on node014 at 2010-06-12 03:03:48 IDJOB=2666991 IDBENCH=1338 IDSOLVER=1169 FILE ID=node014/2666991-1276304628 PBS_JOBID= 11173123 Free space on /tmp= 62460 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900667195.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666991-1276304628/watcher-2666991-1276304628 -o /tmp/evaluation-result-2666991-1276304628/solver-2666991-1276304628 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666991-1276304628.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 80da336e36371770b02ed1fca93b5c11 RANDOM SEED=1208556942 node014.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1431492 kB Buffers: 82600 kB Cached: 402560 kB SwapCached: 0 kB Active: 183804 kB Inactive: 361132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1431492 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4608 kB Writeback: 8 kB AnonPages: 59640 kB Mapped: 15344 kB Slab: 60804 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181720 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62456 MiB End job on node014 at 2010-06-12 03:33:51