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 | UNSAT | 1374.97 | 1375.38 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb |
MD5SUM | a7f9415d82387c85347e0216376f3dfd |
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 | 47.1258 |
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 | 695 |
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-2666896-1276295811.opb> 0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.05 c problem read 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c presolving settings loaded 0.00/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.07 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.54 c 0.4s| 1 | 0 | 115 | - |3987k| 0 | 44 | 231 |2754 | 231 |2578 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.82 c 0.7s| 1 | 0 | 164 | - |4518k| 0 | 46 | 231 |2754 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 1.10/1.18 c 1.1s| 1 | 0 | 231 | - |4836k| 0 | 54 | 231 |2754 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 1.49/1.57 c 1.4s| 1 | 0 | 266 | - |4873k| 0 | 58 | 231 |2754 | 231 |2588 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 1.89/1.99 c 1.8s| 1 | 0 | 296 | - |5083k| 0 | 61 | 231 |2754 | 231 |2589 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf 2.89/2.97 c 2.8s| 1 | 2 | 296 | - |5084k| 0 | 61 | 231 |2754 | 231 |2589 | 25 | 0 | 10 | 0.000000e+00 | -- | Inf 158.25/158.36 c 155s| 10000 | 131 |257904 | 25.8 |7326k| 45 | - | 231 |6355 | 0 | 0 | 25 |6342 |2007 | 0.000000e+00 | -- | Inf 271.71/271.87 c 266s| 20000 | 147 |517340 | 25.9 |8270k| 47 | - | 231 |8253 | 231 |2579 | 25 | 12k|2415 | 0.000000e+00 | -- | Inf 382.28/382.48 c 374s| 30000 | 213 |767149 | 25.6 |9152k| 48 | - | 231 |9366 | 231 |2579 | 25 | 19k|2822 | 0.000000e+00 | -- | Inf 500.54/500.70 c 490s| 40000 | 239 | 1032k| 25.8 |8954k| 50 | 22 | 231 |8072 | 231 |2579 | 25 | 26k|3362 | 0.000000e+00 | -- | Inf 608.72/608.95 c 596s| 50000 | 231 | 1278k| 25.6 |9211k| 51 | - | 231 |8555 | 231 |2579 | 25 | 32k|3745 | 0.000000e+00 | -- | Inf 724.98/725.21 c 709s| 60000 | 266 | 1547k| 25.8 |9437k| 57 | - | 231 |8678 | 231 |2579 | 25 | 38k|4141 | 0.000000e+00 | -- | Inf 838.75/839.07 c 821s| 70000 | 252 | 1810k| 25.9 |9630k| 57 | - | 231 |9141 | 231 |2579 | 25 | 44k|4515 | 0.000000e+00 | -- | Inf 954.61/954.93 c 934s| 80000 | 214 | 2077k| 26.0 |9607k| 57 | - | 231 |8980 | 231 |2579 | 25 | 51k|4855 | 0.000000e+00 | -- | Inf 1066.98/1067.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1066.98/1067.34 c 1045s| 90000 | 167 | 2341k| 26.0 |9351k| 60 | - | 231 |8522 | 231 |2579 | 25 | 57k|5122 | 0.000000e+00 | -- | Inf 1177.76/1178.11 c 1153s|100000 | 136 | 2597k| 26.0 |9753k| 65 | - | 231 |9769 | 231 |2579 | 25 | 63k|5449 | 0.000000e+00 | -- | Inf 1295.71/1296.19 c 1269s|110000 | 43 | 2872k| 26.1 |9276k| 65 | 48 | 231 |9557 | 231 |2579 | 25 | 69k|5789 | 0.000000e+00 | -- | Inf 1374.89/1375.35 c 1374.89/1375.35 c SCIP Status : problem is solved [infeasible] 1374.89/1375.35 c Solving Time (sec) : 1346.35 1374.89/1375.35 c Solving Nodes : 116612 1374.89/1375.35 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1374.89/1375.35 c Dual Bound : +1.00000000000000e+20 1374.89/1375.35 c Gap : 0.00 % 1374.89/1375.35 s UNSATISFIABLE 1374.89/1375.35 c SCIP Status : problem is solved [infeasible] 1374.89/1375.35 c Solving Time : 1346.35 1374.89/1375.35 c Original Problem : 1374.89/1375.35 c Problem name : HOME/instance-2666896-1276295811.opb 1374.89/1375.35 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1374.89/1375.35 c Constraints : 2707 initial, 2707 maximal 1374.89/1375.35 c Presolved Problem : 1374.89/1375.35 c Problem name : t_HOME/instance-2666896-1276295811.opb 1374.89/1375.35 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1374.89/1375.35 c Constraints : 2564 initial, 10406 maximal 1374.89/1375.35 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1374.89/1375.35 c trivial : 0.00 0 0 0 0 0 0 0 0 1374.89/1375.35 c dualfix : 0.00 0 0 0 0 0 0 0 0 1374.89/1375.35 c boundshift : 0.00 0 0 0 0 0 0 0 0 1374.89/1375.35 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1374.89/1375.35 c implics : 0.00 0 0 0 0 0 0 0 0 1374.89/1375.35 c probing : 0.00 0 0 0 0 0 0 0 0 1374.89/1375.35 c knapsack : 0.00 0 0 0 0 0 0 0 0 1374.89/1375.35 c setppc : 0.00 0 0 0 0 0 0 0 0 1374.89/1375.35 c linear : 0.04 0 0 0 0 0 143 0 0 1374.89/1375.35 c logicor : 0.03 0 0 0 0 0 0 0 0 1374.89/1375.35 c root node : - 2 - - 2 - - - - 1374.89/1375.35 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1374.89/1375.35 c integral : 0 0 0 60229 0 220 2436 0 0 117390 1374.89/1375.35 c knapsack : 1 5 458401 0 0 831 235693 0 0 0 1374.89/1375.35 c setppc : 22 5 457942 0 0 2868 623115 0 0 0 1374.89/1375.35 c linear : 0+ 5 258998 0 0 26 4063 3 0 0 1374.89/1375.35 c logicor : 2541+ 5 219357 0 0 1034 765338 0 0 0 1374.89/1375.35 c countsols : 0 0 0 0 0 0 0 0 0 0 1374.89/1375.35 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1374.89/1375.35 c integral : 118.37 0.00 0.00 118.37 0.00 1374.89/1375.35 c knapsack : 4.07 0.00 4.07 0.00 0.00 1374.89/1375.35 c setppc : 8.45 0.00 8.45 0.00 0.00 1374.89/1375.35 c linear : 1.56 0.00 1.56 0.00 0.00 1374.89/1375.35 c logicor : 36.06 0.00 36.06 0.00 0.00 1374.89/1375.35 c countsols : 0.00 0.00 0.00 0.00 0.00 1374.89/1375.35 c Propagators : Time Calls Cutoffs DomReds 1374.89/1375.35 c vbounds : 0.25 1 0 0 1374.89/1375.35 c rootredcost : 0.30 0 0 0 1374.89/1375.35 c pseudoobj : 0.17 0 0 0 1374.89/1375.35 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1374.89/1375.35 c propagation : 0.49 4759 4752 25277 23.6 91 22.1 - 1374.89/1375.35 c infeasible LP : 23.10 53706 52197 329078 35.5 286 18.9 0 1374.89/1375.35 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1374.89/1375.35 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1374.89/1375.35 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1374.89/1375.35 c applied globally : - - - 68096 20.2 - - - 1374.89/1375.35 c applied locally : - - - 6610 34.4 - - - 1374.89/1375.35 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1374.89/1375.35 c cut pool : 0.00 4 - - 10 - (maximal pool size: 416) 1374.89/1375.35 c redcost : 0.64 58990 0 0 0 0 1374.89/1375.35 c impliedbounds : 0.00 5 0 0 0 0 1374.89/1375.35 c intobj : 0.00 0 0 0 0 0 1374.89/1375.35 c cgmip : 0.00 0 0 0 0 0 1374.89/1375.35 c gomory : 0.82 5 0 0 881 0 1374.89/1375.35 c strongcg : 0.63 5 0 0 1788 0 1374.89/1375.35 c cmir : 0.00 0 0 0 0 0 1374.89/1375.35 c flowcover : 0.00 0 0 0 0 0 1374.89/1375.35 c clique : 0.00 5 0 0 0 0 1374.89/1375.35 c zerohalf : 0.00 0 0 0 0 0 1374.89/1375.35 c mcf : 0.00 1 0 0 0 0 1374.89/1375.35 c rapidlearning : 0.22 1 0 0 0 190 1374.89/1375.35 c Pricers : Time Calls Vars 1374.89/1375.35 c problem variables: 0.00 0 0 1374.89/1375.35 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1374.89/1375.35 c relpscost : 118.25 60229 220 2436 0 0 117390 1374.89/1375.35 c pscost : 0.00 0 0 0 0 0 0 1374.89/1375.35 c inference : 0.00 0 0 0 0 0 0 1374.89/1375.35 c mostinf : 0.00 0 0 0 0 0 0 1374.89/1375.35 c leastinf : 0.00 0 0 0 0 0 0 1374.89/1375.35 c fullstrong : 0.00 0 0 0 0 0 0 1374.89/1375.35 c allfullstrong : 0.00 0 0 0 0 0 0 1374.89/1375.35 c random : 0.00 0 0 0 0 0 0 1374.89/1375.35 c Primal Heuristics : Time Calls Found 1374.89/1375.35 c LP solutions : 0.00 - 0 1374.89/1375.35 c pseudo solutions : 0.00 - 0 1374.89/1375.35 c trivial : 0.00 1 0 1374.89/1375.35 c simplerounding : 0.00 0 0 1374.89/1375.35 c zirounding : 0.00 0 0 1374.89/1375.35 c rounding : 0.00 0 0 1374.89/1375.35 c shifting : 0.00 0 0 1374.89/1375.35 c intshifting : 0.00 0 0 1374.89/1375.35 c oneopt : 0.00 0 0 1374.89/1375.35 c twoopt : 0.00 0 0 1374.89/1375.35 c fixandinfer : 0.00 0 0 1374.89/1375.35 c feaspump : 0.00 0 0 1374.89/1375.35 c coefdiving : 0.00 0 0 1374.89/1375.35 c pscostdiving : 0.00 0 0 1374.89/1375.35 c fracdiving : 0.00 0 0 1374.89/1375.35 c veclendiving : 0.00 0 0 1374.89/1375.35 c intdiving : 0.00 0 0 1374.89/1375.35 c actconsdiving : 0.00 0 0 1374.89/1375.35 c objpscostdiving : 0.00 0 0 1374.89/1375.35 c rootsoldiving : 0.00 0 0 1374.89/1375.35 c linesearchdiving : 0.00 0 0 1374.89/1375.35 c guideddiving : 0.00 0 0 1374.89/1375.35 c octane : 0.00 0 0 1374.89/1375.35 c rens : 0.00 0 0 1374.89/1375.35 c rins : 0.00 0 0 1374.89/1375.35 c localbranching : 0.00 0 0 1374.89/1375.35 c mutation : 0.00 0 0 1374.89/1375.35 c crossover : 0.00 0 0 1374.89/1375.35 c dins : 0.00 0 0 1374.89/1375.35 c undercover : 0.00 0 0 1374.89/1375.35 c nlp : 0.00 0 0 1374.89/1375.35 c trysol : 0.00 0 0 1374.89/1375.35 c LP : Time Calls Iterations Iter/call Iter/sec 1374.89/1375.35 c primal LP : 0.00 0 0 0.00 - 1374.89/1375.35 c dual LP : 1050.28 113642 3054524 26.88 2908.29 1374.89/1375.35 c lex dual LP : 0.00 0 0 0.00 - 1374.89/1375.35 c barrier LP : 0.00 0 0 0.00 - 1374.89/1375.35 c diving/probing LP: 0.00 0 0 0.00 - 1374.89/1375.35 c strong branching : 115.84 5979 323303 54.07 2790.94 1374.89/1375.35 c (at root node) : - 10 2218 221.80 - 1374.89/1375.35 c conflict analysis: 0.00 0 0 0.00 - 1374.89/1375.35 c B&B Tree : 1374.89/1375.35 c number of runs : 1 1374.89/1375.35 c nodes : 116612 1374.89/1375.35 c nodes (total) : 116612 1374.89/1375.35 c nodes left : 0 1374.89/1375.35 c max depth : 65 1374.89/1375.35 c max depth (total): 65 1374.89/1375.35 c backtracks : 13466 (11.5%) 1374.89/1375.35 c delayed cutoffs : 779 1374.89/1375.35 c repropagations : 191251 (227323 domain reductions, 768 cutoffs) 1374.89/1375.35 c avg switch length: 5.17 1374.89/1375.35 c switching time : 39.57 1374.89/1375.35 c Solution : 1374.89/1375.35 c Solutions found : 0 (0 improvements) 1374.89/1375.35 c Primal Bound : infeasible 1374.89/1375.35 c Dual Bound : - 1374.89/1375.35 c Gap : 0.00 % 1374.89/1375.35 c Root Dual Bound : +0.00000000000000e+00 1374.89/1375.35 c Root Iterations : 296 1374.89/1375.37 c Time complete: 1374.96.
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-2666896-1276295811/watcher-2666896-1276295811 -o /tmp/evaluation-result-2666896-1276295811/solver-2666896-1276295811 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666896-1276295811.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: 0.92 0.98 0.99 2/106 5783 /proc/meminfo: memFree=1550456/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=7724 CPUtime=0 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 1102 0 0 0 0 0 0 0 20 0 1 0 5185014 7909376 1022 1992294400 4194304 8223781 140736809072304 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5783/statm: 1931 1032 348 984 0 944 0 [startup+0.0904981 s] /proc/loadavg: 0.92 0.98 0.99 2/106 5783 /proc/meminfo: memFree=1550456/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=15936 CPUtime=0.08 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 3653 0 0 0 7 1 0 0 20 0 1 0 5185014 16318464 2952 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 3984 2952 441 984 0 2997 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 15936 [startup+0.1005 s] /proc/loadavg: 0.92 0.98 0.99 2/106 5783 /proc/meminfo: memFree=1550456/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=16236 CPUtime=0.09 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 3716 0 0 0 8 1 0 0 20 0 1 0 5185014 16625664 3015 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 4059 3015 443 984 0 3072 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16236 [startup+0.300519 s] /proc/loadavg: 0.92 0.98 0.99 2/106 5783 /proc/meminfo: memFree=1550456/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=29952 CPUtime=0.29 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 9853 0 0 0 26 3 0 0 20 0 1 0 5185014 30670848 6516 1992294400 4194304 8223781 140736809072304 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 7488 6516 570 984 0 6501 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29952 [startup+0.700557 s] /proc/loadavg: 0.92 0.98 0.99 2/106 5783 /proc/meminfo: memFree=1550456/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=27220 CPUtime=0.69 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 13043 0 0 0 63 6 0 0 21 0 1 0 5185014 27873280 5978 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 6805 5978 583 984 0 5818 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27220 [startup+1.50063 s] /proc/loadavg: 0.92 0.98 0.99 2/107 5784 /proc/meminfo: memFree=1528252/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=27460 CPUtime=1.49 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 13092 0 0 0 141 8 0 0 23 0 1 0 5185014 28119040 6027 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 6865 6027 583 984 0 5878 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27460 [startup+3.10079 s] /proc/loadavg: 0.92 0.98 0.99 2/107 5784 /proc/meminfo: memFree=1527260/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=28800 CPUtime=3.09 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 14470 0 0 0 299 10 0 0 25 0 1 0 5185014 29491200 6318 1992294400 4194304 8223781 140736809072304 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 7200 6318 584 984 0 6213 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28800 [startup+6.30109 s] /proc/loadavg: 0.93 0.98 0.99 2/107 5784 /proc/meminfo: memFree=1526516/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=28552 CPUtime=6.29 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 18870 0 0 0 614 15 0 0 25 0 1 0 5185014 29237248 6289 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 7138 6289 586 984 0 6151 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28552 [startup+12.7007 s] /proc/loadavg: 0.93 0.98 0.99 2/107 5784 /proc/meminfo: memFree=1526392/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=28500 CPUtime=12.68 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 28748 0 0 0 1243 25 0 0 25 0 1 0 5185014 29184000 6282 1992294400 4194304 8223781 140736809072304 18446744073709551615 6560171 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 7125 6282 586 984 0 6138 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28500 [startup+25.5009 s] /proc/loadavg: 0.95 0.98 0.99 2/107 5784 /proc/meminfo: memFree=1526516/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=28552 CPUtime=25.48 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 49893 0 0 0 2504 44 0 0 25 0 1 0 5185014 29237248 6288 1992294400 4194304 8223781 140736809072304 18446744073709551615 6611810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 7138 6288 586 984 0 6151 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28552 [startup+51.1004 s] /proc/loadavg: 0.96 0.98 0.99 2/107 5786 /proc/meminfo: memFree=1526392/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=29096 CPUtime=51.07 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 99121 0 0 0 5012 95 0 0 25 0 1 0 5185014 29794304 6408 1992294400 4194304 8223781 140736809072304 18446744073709551615 6591930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 7274 6408 587 984 0 6287 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29096 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 5786 /proc/meminfo: memFree=1524904/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=30104 CPUtime=102.26 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 203962 0 0 0 10014 212 0 0 25 0 1 0 5185014 30826496 6683 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 7526 6683 587 984 0 6539 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 30104 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5788 /proc/meminfo: memFree=1523788/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=31508 CPUtime=162.24 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 318428 0 0 0 15877 347 0 0 25 0 1 0 5185014 32264192 7002 1992294400 4194304 8223781 140736809072304 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 7877 7002 591 984 0 6890 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 31508 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5790 /proc/meminfo: memFree=1523292/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=31640 CPUtime=222.22 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 454737 0 0 0 21734 488 0 0 25 0 1 0 5185014 32399360 7062 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 7910 7062 587 984 0 6923 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 31640 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5792 /proc/meminfo: memFree=1521928/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=33092 CPUtime=282.21 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 551094 0 0 0 27604 617 0 0 25 0 1 0 5185014 33886208 7411 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 8273 7411 587 984 0 7286 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 33092 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5792 /proc/meminfo: memFree=1521680/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=33596 CPUtime=342.19 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 667270 0 0 0 33465 754 0 0 25 0 1 0 5185014 34402304 7533 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 8399 7533 587 984 0 7412 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 33596 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5794 /proc/meminfo: memFree=1520192/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=34760 CPUtime=402.17 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 761934 0 0 0 39335 882 0 0 25 0 1 0 5185014 35594240 7804 1992294400 4194304 8223781 140736809072304 18446744073709551615 6568212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 8690 7804 587 984 0 7703 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 34760 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5796 /proc/meminfo: memFree=1519820/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=34864 CPUtime=462.16 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 859648 0 0 0 45214 1002 0 0 25 0 1 0 5185014 35700736 7869 1992294400 4194304 8223781 140736809072304 18446744073709551615 6612559 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 8716 7869 587 984 0 7729 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 34864 [startup+522.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5798 /proc/meminfo: memFree=1519696/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=35092 CPUtime=522.14 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 955183 0 0 0 51086 1128 0 0 25 0 1 0 5185014 35934208 7926 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 8773 7926 587 984 0 7786 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 35092 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5800 /proc/meminfo: memFree=1519696/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=35148 CPUtime=582.13 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 1050278 0 0 0 56956 1257 0 0 25 0 1 0 5185014 35991552 7932 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 8787 7932 587 984 0 7800 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 35148 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5800 /proc/meminfo: memFree=1519572/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=35148 CPUtime=642.11 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 1149117 0 0 0 62824 1387 0 0 25 0 1 0 5185014 35991552 7919 1992294400 4194304 8223781 140736809072304 18446744073709551615 4208913 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 8787 7919 587 984 0 7800 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 35148 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5802 /proc/meminfo: memFree=1518952/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=35444 CPUtime=702.08 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 1249365 0 0 0 68698 1510 0 0 25 0 1 0 5185014 36294656 8014 1992294400 4194304 8223781 140736809072304 18446744073709551615 6569748 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 8861 8014 587 984 0 7874 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 35444 [startup+762.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5804 /proc/meminfo: memFree=1518828/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=35560 CPUtime=762.08 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 1320727 0 0 0 74578 1630 0 0 25 0 1 0 5185014 36413440 8015 1992294400 4194304 8223781 140736809072304 18446744073709551615 6568470 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 8890 8015 587 984 0 7903 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 35560 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5806 /proc/meminfo: memFree=1518828/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=35444 CPUtime=822.06 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 1418096 0 0 0 80444 1762 0 0 25 0 1 0 5185014 36294656 8014 1992294400 4194304 8223781 140736809072304 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 8861 8014 587 984 0 7874 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 35444 [startup+882.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5808 /proc/meminfo: memFree=1518704/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=35680 CPUtime=882.04 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 1541641 0 0 0 86309 1895 0 0 25 0 1 0 5185014 36536320 8047 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 8920 8047 587 984 0 7933 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 35680 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5808 /proc/meminfo: memFree=1518704/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=35948 CPUtime=942.02 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 1616639 0 0 0 92192 2010 0 0 25 0 1 0 5185014 36810752 8137 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 8987 8137 587 984 0 8000 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 35948 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5810 /proc/meminfo: memFree=1518456/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=36088 CPUtime=1002 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 1655989 0 0 0 98084 2116 0 0 25 0 1 0 5185014 36954112 8172 1992294400 4194304 8223781 140736809072304 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 9022 8172 587 984 0 8035 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 36088 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5812 /proc/meminfo: memFree=1518456/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=36200 CPUtime=1061.98 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 1691543 0 0 0 103974 2224 0 0 25 0 1 0 5185014 37068800 8173 1992294400 4194304 8223781 140736809072304 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 9050 8173 587 984 0 8063 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 36200 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5814 /proc/meminfo: memFree=1517960/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=36264 CPUtime=1121.97 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 1731419 0 0 0 109869 2328 0 0 25 0 1 0 5185014 37134336 8197 1992294400 4194304 8223781 140736809072304 18446744073709551615 6592222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 9066 8197 587 984 0 8079 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 36264 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5816 /proc/meminfo: memFree=1517960/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=36548 CPUtime=1181.95 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 1847358 0 0 0 115734 2461 0 0 25 0 1 0 5185014 37425152 8258 1992294400 4194304 8223781 140736809072304 18446744073709551615 6569884 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 9137 8258 587 984 0 8150 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 36548 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5816 /proc/meminfo: memFree=1517464/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=36540 CPUtime=1241.92 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 1955971 0 0 0 121603 2589 0 0 25 0 1 0 5185014 37416960 8266 1992294400 4194304 8223781 140736809072304 18446744073709551615 6599135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 9217 8274 587 984 0 8230 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 36540 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5818 /proc/meminfo: memFree=1517464/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=36564 CPUtime=1301.92 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 2059790 0 0 0 127477 2715 0 0 25 0 1 0 5185014 37441536 8261 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 9141 8261 587 984 0 8154 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 36564 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5820 /proc/meminfo: memFree=1517216/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=36820 CPUtime=1361.89 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 2128447 0 0 0 133358 2831 0 0 25 0 1 0 5185014 37703680 8327 1992294400 4194304 8223781 140736809072304 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 9205 8327 587 984 0 8218 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 36820 Solver just ended. Dumping a history of the last processes samples [startup+1363.1 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5820 /proc/meminfo: memFree=1517216/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=36776 CPUtime=1362.7 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 2129780 0 0 0 133437 2833 0 0 25 0 1 0 5185014 37658624 8323 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 9194 8323 587 984 0 8207 0 Current children cumulated CPU time (s) 1362.7 Current children cumulated vsize (KiB) 36776 [startup+1369.51 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5820 /proc/meminfo: memFree=1517216/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=37024 CPUtime=1369.1 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 2135460 0 0 0 134067 2843 0 0 25 0 1 0 5185014 37912576 8383 1992294400 4194304 8223781 140736809072304 18446744073709551615 6569691 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 9256 8383 587 984 0 8269 0 Current children cumulated CPU time (s) 1369.1 Current children cumulated vsize (KiB) 37024 [startup+1372.7 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5820 /proc/meminfo: memFree=1517216/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=37024 CPUtime=1372.3 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 2139239 0 0 0 134381 2849 0 0 25 0 1 0 5185014 37912576 8376 1992294400 4194304 8223781 140736809072304 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 9256 8376 587 984 0 8269 0 Current children cumulated CPU time (s) 1372.3 Current children cumulated vsize (KiB) 37024 [startup+1374.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5820 /proc/meminfo: memFree=1517216/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=36904 CPUtime=1373.89 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 2141166 0 0 0 134537 2852 0 0 25 0 1 0 5185014 37789696 8372 1992294400 4194304 8223781 140736809072304 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 9226 8372 587 984 0 8239 0 Current children cumulated CPU time (s) 1373.89 Current children cumulated vsize (KiB) 36904 [startup+1375.1 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5820 /proc/meminfo: memFree=1517216/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=36904 CPUtime=1374.69 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 2141733 0 0 0 134616 2853 0 0 25 0 1 0 5185014 37789696 8372 1992294400 4194304 8223781 140736809072304 18446744073709551615 6444696 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 9226 8372 587 984 0 8239 0 Current children cumulated CPU time (s) 1374.69 Current children cumulated vsize (KiB) 36904 [startup+1375.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 5820 /proc/meminfo: memFree=1517216/2059040 swapFree=4192956/4192956 [pid=5783] ppid=5781 vsize=36904 CPUtime=1374.89 /proc/5783/stat : 5783 (pbscip.linux.x8) R 5781 5783 5592 0 -1 4202496 2141878 0 0 0 134635 2854 0 0 25 0 1 0 5185014 37789696 8372 1992294400 4194304 8223781 140736809072304 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5783/statm: 9226 8372 587 984 0 8239 0 Current children cumulated CPU time (s) 1374.89 Current children cumulated vsize (KiB) 36904 Child status: 0 Real time (s): 1375.38 CPU time (s): 1374.97 CPU user time (s): 1346.43 CPU system time (s): 28.5457 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 37936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1346.43 system time used= 28.5457 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2141946 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= 1 involuntary context switches= 18569 runsolver used 2.24666 second user time and 6.52001 second system time The end
Begin job on node004 at 2010-06-12 00:36:51 IDJOB=2666896 IDBENCH=1312 IDSOLVER=1169 FILE ID=node004/2666896-1276295811 PBS_JOBID= 11173125 Free space on /tmp= 62532 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.1900669797.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-2666896-1276295811/watcher-2666896-1276295811 -o /tmp/evaluation-result-2666896-1276295811/solver-2666896-1276295811 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666896-1276295811.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a7f9415d82387c85347e0216376f3dfd RANDOM SEED=2108760116 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1550984 kB Buffers: 68976 kB Cached: 312324 kB SwapCached: 0 kB Active: 171724 kB Inactive: 268876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1550984 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4592 kB Writeback: 0 kB AnonPages: 59388 kB Mapped: 15408 kB Slab: 45708 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182572 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= 62528 MiB End job on node004 at 2010-06-12 00:59:47