Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | UNSAT | 1411.13 | 1411.51 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb |
MD5SUM | 40d0bcc4171e4a5907ae30e54ba56b80 |
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 | 50.2884 |
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 | 701 |
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] 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-2704112-1278549056.opb> 0.03/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.03/0.05 c problem read 0.03/0.05 c No objective function, only one solution is needed. 0.03/0.05 c presolving settings loaded 0.03/0.06 c presolving: 0.03/0.10 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.11 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.12 c (round 3) 0 del vars, 264 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.13 c presolving (4 rounds): 0.09/0.13 c 0 deleted vars, 264 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.13 c 242 implications, 22 cliques 0.09/0.13 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints 0.09/0.13 c 1 constraints of type <knapsack> 0.09/0.13 c 22 constraints of type <setppc> 0.09/0.13 c 2420 constraints of type <logicor> 0.09/0.13 c transformed objective value is always integral (scale: 1) 0.09/0.13 c Presolving Time: 0.07 0.09/0.13 c - non default parameters ---------------------------------------------------------------------- 0.09/0.13 c # SCIP version 1.2.1.3 0.09/0.13 c 0.09/0.13 c # frequency for displaying node information lines 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.13 c display/freq = 10000 0.09/0.13 c 0.09/0.13 c # maximal time in seconds to run 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.13 c limits/time = 1789.96 0.09/0.13 c 0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.13 c limits/memory = 1620 0.09/0.13 c 0.09/0.13 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c limits/solutions = 1 0.09/0.13 c 0.09/0.13 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.13 c separating/maxrounds = 1 0.09/0.13 c 0.09/0.13 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c separating/maxroundsroot = 5 0.09/0.13 c 0.09/0.13 c # default clock type (1: CPU user seconds, 2: wall clock time) 0.09/0.13 c # [type: int, range: [1,2], default: 1] 0.09/0.13 c timing/clocktype = 2 0.09/0.13 c 0.09/0.13 c # should presolving try to simplify inequalities 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/linear/simplifyinequalities = TRUE 0.09/0.13 c 0.09/0.13 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/indicator/addCouplingCons = TRUE 0.09/0.13 c 0.09/0.13 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.13 c constraints/knapsack/disaggregation = FALSE 0.09/0.13 c 0.09/0.13 c # should presolving try to simplify knapsacks 0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.13 c 0.09/0.13 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c presolving/probing/maxrounds = 0 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/coefdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.13 c heuristics/crossover/freq = -1 0.09/0.13 c 0.09/0.13 c # number of nodes added to the contingent of the total nodes 0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.13 c heuristics/crossover/nodesofs = 750 0.09/0.13 c 0.09/0.13 c # number of nodes without incumbent change that heuristic should wait 0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.13 c heuristics/crossover/nwaitingnodes = 100 0.09/0.13 c 0.09/0.13 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.13 c # [type: real, range: [0,1], default: 0.1] 0.09/0.13 c heuristics/crossover/nodesquot = 0.15 0.09/0.13 c 0.09/0.13 c # minimum percentage of integer variables that have to be fixed 0.09/0.13 c # [type: real, range: [0,1], default: 0.666] 0.09/0.13 c heuristics/crossover/minfixingrate = 0.5 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.13 c heuristics/feaspump/freq = -1 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/fracdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/guideddiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/intshifting/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/linesearchdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/nlp/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.13 c heuristics/objpscostdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.13 c # [type: real, range: [0,1], default: 0.01] 0.09/0.13 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/oneopt/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/pscostdiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.13 c heuristics/rens/freq = -1 0.09/0.13 c 0.09/0.13 c # minimum percentage of integer variables that have to be fixable 0.09/0.13 c # [type: real, range: [0,1], default: 0.5] 0.09/0.13 c heuristics/rens/minfixingrate = 0.3 0.09/0.13 c 0.09/0.13 c # number of nodes added to the contingent of the total nodes 0.09/0.13 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.13 c heuristics/rens/nodesofs = 2000 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.13 c heuristics/rootsoldiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.13 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/rounding/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/shifting/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/simplerounding/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.13 c heuristics/trivial/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/trysol/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.13 c heuristics/veclendiving/freq = -1 0.09/0.13 c 0.09/0.13 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.13 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.13 c 0.09/0.13 c # additional number of allowed LP iterations 0.09/0.13 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.13 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.13 c 0.09/0.13 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.13 c heuristics/zirounding/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.13 c separating/cmir/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.13 c separating/flowcover/freq = -1 0.09/0.13 c 0.09/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.13 c separating/rapidlearning/freq = 0 0.09/0.13 c 0.09/0.13 c ----------------------------------------------------------------------------------------------- 0.09/0.13 c start solving 0.09/0.13 c 0.09/0.15 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.15 c 0.1s| 1 | 0 | 76 | - |3488k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.39/0.49 c 0.4s| 1 | 0 | 104 | - |3921k| 0 | 45 | 231 |2618 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.74 c 0.7s| 1 | 0 | 130 | - |4270k| 0 | 50 | 231 |2618 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.00 c 1.0s| 1 | 0 | 150 | - |4612k| 0 | 51 | 231 |2618 | 231 |2461 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 1.19/1.29 c 1.2s| 1 | 0 | 167 | - |4999k| 0 | 53 | 231 |2618 | 231 |2462 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 1.69/1.70 c 1.7s| 1 | 0 | 192 | - |5330k| 0 | 63 | 231 |2618 | 231 |2464 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 2.29/2.36 c 2.3s| 1 | 2 | 192 | - |5330k| 0 | 63 | 231 |2618 | 231 |2464 | 21 | 0 | 9 | 0.000000e+00 | -- | Inf 127.57/127.66 c 128s| 10000 | 42 |241705 | 24.2 |7370k| 34 | 29 | 231 |6891 | 231 |2453 | 21 |6243 |2233 | 0.000000e+00 | -- | Inf 220.03/220.14 c 220s| 20000 | 55 |489092 | 24.4 |8176k| 41 | 27 | 231 |8547 | 231 |2453 | 21 | 12k|2473 | 0.000000e+00 | -- | Inf 320.91/321.08 c 321s| 30000 | 105 |746429 | 24.9 |8381k| 43 | 40 | 231 |7818 | 231 |2453 | 21 | 18k|2978 | 0.000000e+00 | -- | Inf 428.37/428.57 c 429s| 40000 | 115 | 1024k| 25.6 |8919k| 44 | - | 231 |8874 | 231 |2453 | 21 | 25k|3499 | 0.000000e+00 | -- | Inf 530.35/530.51 c 530s| 50000 | 100 | 1288k| 25.8 |9242k| 49 | - | 231 |9610 | 231 |2453 | 21 | 31k|3969 | 0.000000e+00 | -- | Inf 625.52/625.76 c 626s| 60000 | 113 | 1535k| 25.6 | 10M| 49 | 29 | 231 | 11k| 231 |2453 | 21 | 37k|4375 | 0.000000e+00 | -- | Inf 728.39/728.69 c 729s| 70000 | 149 | 1803k| 25.8 | 11M| 49 | 42 | 231 | 13k| 231 |2453 | 21 | 43k|4784 | 0.000000e+00 | -- | Inf 831.16/831.41 c 831s| 80000 | 200 | 2072k| 25.9 | 11M| 59 | - | 231 | 12k| 231 |2453 | 21 | 49k|5135 | 0.000000e+00 | -- | Inf 931.74/932.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 931.74/932.09 c 932s| 90000 | 163 | 2337k| 26.0 | 10M| 59 | 41 | 231 | 11k| 231 |2453 | 21 | 55k|5428 | 0.000000e+00 | -- | Inf 1031.71/1032.01 c 1032s|100000 | 136 | 2603k| 26.0 | 10M| 59 | 46 | 231 | 11k| 231 |2453 | 21 | 61k|5695 | 0.000000e+00 | -- | Inf 1131.19/1131.50 c 1131s|110000 | 121 | 2863k| 26.0 | 10M| 59 | 48 | 231 | 11k| 231 |2453 | 21 | 68k|6020 | 0.000000e+00 | -- | Inf 1231.57/1231.90 c 1232s|120000 | 64 | 3132k| 26.1 |9982k| 59 | 41 | 231 |9818 | 231 |2453 | 21 | 74k|6296 | 0.000000e+00 | -- | Inf 1332.53/1332.96 c 1333s|130000 | 42 | 3404k| 26.2 | 10M| 59 | 27 | 231 | 11k| 231 |2453 | 21 | 80k|6540 | 0.000000e+00 | -- | Inf 1411.01/1411.47 c 1411.01/1411.47 c SCIP Status : problem is solved [infeasible] 1411.01/1411.47 c Solving Time (sec) : 1411.42 1411.01/1411.47 c Solving Nodes : 137738 1411.01/1411.47 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1411.01/1411.47 c Dual Bound : +1.00000000000000e+20 1411.01/1411.47 c Gap : 0.00 % 1411.01/1411.47 s UNSATISFIABLE 1411.01/1411.47 c SCIP Status : problem is solved [infeasible] 1411.01/1411.47 c Solving Time : 1411.42 1411.01/1411.47 c Original Problem : 1411.01/1411.47 c Problem name : HOME/instance-2704112-1278549056.opb 1411.01/1411.47 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1411.01/1411.47 c Constraints : 2707 initial, 2707 maximal 1411.01/1411.47 c Presolved Problem : 1411.01/1411.47 c Problem name : t_HOME/instance-2704112-1278549056.opb 1411.01/1411.47 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1411.01/1411.47 c Constraints : 2443 initial, 14121 maximal 1411.01/1411.47 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1411.01/1411.47 c trivial : 0.00 0 0 0 0 0 0 0 0 1411.01/1411.47 c dualfix : 0.00 0 0 0 0 0 0 0 0 1411.01/1411.47 c boundshift : 0.00 0 0 0 0 0 0 0 0 1411.01/1411.47 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1411.01/1411.47 c implics : 0.00 0 0 0 0 0 0 0 0 1411.01/1411.47 c probing : 0.00 0 0 0 0 0 0 0 0 1411.01/1411.47 c knapsack : 0.00 0 0 0 0 0 0 0 0 1411.01/1411.47 c setppc : 0.00 0 0 0 0 0 121 0 0 1411.01/1411.47 c linear : 0.03 0 0 0 0 0 143 0 0 1411.01/1411.47 c logicor : 0.03 0 0 0 0 0 0 0 0 1411.01/1411.47 c root node : - 2 - - 2 - - - - 1411.01/1411.47 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1411.01/1411.47 c integral : 0 0 0 71240 0 248 2622 0 0 138896 1411.01/1411.47 c knapsack : 1 5 520086 0 0 1211 315419 0 0 0 1411.01/1411.47 c setppc : 22 5 519279 0 0 3537 734618 0 0 0 1411.01/1411.47 c linear : 0+ 5 358635 0 0 9 5360 2 0 0 1411.01/1411.47 c logicor : 2420+ 5 264022 0 0 1267 947894 0 0 0 1411.01/1411.47 c countsols : 0 0 0 0 0 0 0 0 0 0 1411.01/1411.47 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1411.01/1411.47 c integral : 107.11 0.00 0.00 107.11 0.00 1411.01/1411.47 c knapsack : 4.21 0.00 4.21 0.00 0.00 1411.01/1411.47 c setppc : 7.68 0.00 7.68 0.00 0.00 1411.01/1411.47 c linear : 1.61 0.00 1.61 0.00 0.00 1411.01/1411.47 c logicor : 46.93 0.00 46.92 0.00 0.00 1411.01/1411.47 c countsols : 0.00 0.00 0.00 0.00 0.00 1411.01/1411.47 c Propagators : Time Calls Cutoffs DomReds 1411.01/1411.47 c vbounds : 0.23 1 0 0 1411.01/1411.47 c rootredcost : 0.26 0 0 0 1411.01/1411.47 c pseudoobj : 0.18 0 0 0 1411.01/1411.47 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1411.01/1411.47 c propagation : 0.50 6024 6008 33600 23.6 94 19.9 - 1411.01/1411.47 c infeasible LP : 24.59 63150 60685 395912 35.3 330 17.5 0 1411.01/1411.47 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1411.01/1411.47 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1411.01/1411.47 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1411.01/1411.47 c applied globally : - - - 79289 19.8 - - - 1411.01/1411.47 c applied locally : - - - 6094 34.7 - - - 1411.01/1411.47 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1411.01/1411.47 c cut pool : 0.00 4 - - 11 - (maximal pool size: 513) 1411.01/1411.47 c redcost : 0.58 69801 0 0 0 0 1411.01/1411.47 c impliedbounds : 0.00 5 0 0 0 0 1411.01/1411.47 c intobj : 0.00 0 0 0 0 0 1411.01/1411.47 c cgmip : 0.00 0 0 0 0 0 1411.01/1411.47 c gomory : 0.79 5 0 0 799 0 1411.01/1411.47 c strongcg : 0.49 5 0 0 2234 0 1411.01/1411.47 c cmir : 0.00 0 0 0 0 0 1411.01/1411.47 c flowcover : 0.00 0 0 0 0 0 1411.01/1411.47 c clique : 0.00 5 0 0 0 0 1411.01/1411.47 c zerohalf : 0.00 0 0 0 0 0 1411.01/1411.47 c mcf : 0.00 1 0 0 0 0 1411.01/1411.47 c rapidlearning : 0.21 1 0 0 0 175 1411.01/1411.47 c Pricers : Time Calls Vars 1411.01/1411.47 c problem variables: 0.00 0 0 1411.01/1411.47 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1411.01/1411.47 c relpscost : 106.95 71240 248 2622 0 0 138896 1411.01/1411.47 c pscost : 0.00 0 0 0 0 0 0 1411.01/1411.47 c inference : 0.00 0 0 0 0 0 0 1411.01/1411.47 c mostinf : 0.00 0 0 0 0 0 0 1411.01/1411.47 c leastinf : 0.00 0 0 0 0 0 0 1411.01/1411.47 c fullstrong : 0.00 0 0 0 0 0 0 1411.01/1411.47 c allfullstrong : 0.00 0 0 0 0 0 0 1411.01/1411.47 c random : 0.00 0 0 0 0 0 0 1411.01/1411.47 c Primal Heuristics : Time Calls Found 1411.01/1411.47 c LP solutions : 0.00 - 0 1411.01/1411.47 c pseudo solutions : 0.00 - 0 1411.01/1411.47 c trivial : 0.00 1 0 1411.01/1411.47 c simplerounding : 0.00 0 0 1411.01/1411.47 c zirounding : 0.00 0 0 1411.01/1411.47 c rounding : 0.00 0 0 1411.01/1411.47 c shifting : 0.00 0 0 1411.01/1411.47 c intshifting : 0.00 0 0 1411.01/1411.47 c oneopt : 0.00 0 0 1411.01/1411.47 c twoopt : 0.00 0 0 1411.01/1411.47 c fixandinfer : 0.00 0 0 1411.01/1411.47 c feaspump : 0.00 0 0 1411.01/1411.47 c coefdiving : 0.00 0 0 1411.01/1411.47 c pscostdiving : 0.00 0 0 1411.01/1411.47 c fracdiving : 0.00 0 0 1411.01/1411.47 c veclendiving : 0.00 0 0 1411.01/1411.47 c intdiving : 0.00 0 0 1411.01/1411.47 c actconsdiving : 0.00 0 0 1411.01/1411.47 c objpscostdiving : 0.00 0 0 1411.01/1411.47 c rootsoldiving : 0.00 0 0 1411.01/1411.47 c linesearchdiving : 0.00 0 0 1411.01/1411.47 c guideddiving : 0.00 0 0 1411.01/1411.47 c octane : 0.00 0 0 1411.01/1411.47 c rens : 0.00 0 0 1411.01/1411.47 c rins : 0.00 0 0 1411.01/1411.47 c localbranching : 0.00 0 0 1411.01/1411.47 c mutation : 0.00 0 0 1411.01/1411.47 c crossover : 0.00 0 0 1411.01/1411.47 c dins : 0.00 0 0 1411.01/1411.47 c undercover : 0.00 0 0 1411.01/1411.47 c nlp : 0.00 0 0 1411.01/1411.47 c trysol : 0.00 0 0 1411.01/1411.47 c LP : Time Calls Iterations Iter/call Iter/sec 1411.01/1411.47 c primal LP : 0.00 0 0 0.00 - 1411.01/1411.47 c dual LP : 1103.57 134064 3615754 26.97 3276.42 1411.01/1411.47 c lex dual LP : 0.00 0 0 0.00 - 1411.01/1411.47 c barrier LP : 0.00 0 0 0.00 - 1411.01/1411.47 c diving/probing LP: 0.00 0 0 0.00 - 1411.01/1411.47 c strong branching : 104.27 6707 333279 49.69 3196.19 1411.01/1411.47 c (at root node) : - 9 1720 191.11 - 1411.01/1411.47 c conflict analysis: 0.00 0 0 0.00 - 1411.01/1411.47 c B&B Tree : 1411.01/1411.47 c number of runs : 1 1411.01/1411.47 c nodes : 137738 1411.01/1411.47 c nodes (total) : 137738 1411.01/1411.47 c nodes left : 0 1411.01/1411.47 c max depth : 59 1411.01/1411.47 c max depth (total): 59 1411.01/1411.47 c backtracks : 17689 (12.8%) 1411.01/1411.47 c delayed cutoffs : 1159 1411.01/1411.47 c repropagations : 200499 (309255 domain reductions, 1132 cutoffs) 1411.01/1411.47 c avg switch length: 4.62 1411.01/1411.47 c switching time : 45.63 1411.01/1411.47 c Solution : 1411.01/1411.47 c Solutions found : 0 (0 improvements) 1411.01/1411.47 c Primal Bound : infeasible 1411.01/1411.47 c Dual Bound : - 1411.01/1411.47 c Gap : 0.00 % 1411.01/1411.47 c Root Dual Bound : +0.00000000000000e+00 1411.01/1411.47 c Root Iterations : 192 1411.11/1411.50 c Time complete: 1411.12.
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-2704112-1278549056/watcher-2704112-1278549056 -o /tmp/evaluation-result-2704112-1278549056/solver-2704112-1278549056 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704112-1278549056.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/105 27982 /proc/meminfo: memFree=1844204/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=7904 CPUtime=0 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 1147 0 0 0 0 0 0 0 25 0 1 0 23113980 8093696 1060 1992294400 4194304 8395647 140734903731184 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27982/statm: 1976 1068 365 1026 0 946 0 [startup+0.0445771 s] /proc/loadavg: 1.00 1.00 1.00 3/105 27982 /proc/meminfo: memFree=1844204/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=11520 CPUtime=0.03 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 2186 0 0 0 3 0 0 0 25 0 1 0 23113980 11796480 2098 1992294400 4194304 8395647 140734903731184 18446744073709551615 7370222 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27982/statm: 2880 2098 390 1026 0 1850 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11520 [startup+0.101583 s] /proc/loadavg: 1.00 1.00 1.00 3/105 27982 /proc/meminfo: memFree=1844204/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=19272 CPUtime=0.09 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 4211 0 0 0 9 0 0 0 25 0 1 0 23113980 19734528 3769 1992294400 4194304 8395647 140734903731184 18446744073709551615 4483023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 4818 3769 480 1026 0 3788 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19272 [startup+0.301604 s] /proc/loadavg: 1.00 1.00 1.00 3/105 27982 /proc/meminfo: memFree=1844204/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=35640 CPUtime=0.29 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 8223 0 0 0 27 2 0 0 25 0 1 0 23113980 36495360 7743 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 8910 7743 601 1026 0 7880 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35640 [startup+0.70165 s] /proc/loadavg: 1.00 1.00 1.00 3/105 27982 /proc/meminfo: memFree=1844204/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=0.69 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 8775 0 0 0 65 4 0 0 25 0 1 0 23113980 38436864 8267 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8267 626 1026 0 8354 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37536 [startup+1.50174 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27983 /proc/meminfo: memFree=1813320/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=1.5 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 8857 0 0 0 144 6 0 0 25 0 1 0 23113980 38436864 8344 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8344 621 1026 0 8354 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 37536 [startup+3.10192 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27983 /proc/meminfo: memFree=1812824/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=3.09 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 8860 0 0 0 302 7 0 0 25 0 1 0 23113980 38436864 8347 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8347 624 1026 0 8354 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37536 [startup+6.30128 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27983 /proc/meminfo: memFree=1812452/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=6.29 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 8860 0 0 0 618 11 0 0 25 0 1 0 23113980 38436864 8347 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8347 624 1026 0 8354 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37536 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27983 /proc/meminfo: memFree=1812452/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=12.69 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 8861 0 0 0 1251 18 0 0 25 0 1 0 23113980 38436864 8348 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8348 625 1026 0 8354 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37536 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27984 /proc/meminfo: memFree=1812452/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=25.48 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 8862 0 0 0 2513 35 0 0 25 0 1 0 23113980 38436864 8349 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8349 626 1026 0 8354 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37536 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27985 /proc/meminfo: memFree=1812452/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=51.08 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 8864 0 0 0 5044 64 0 0 25 0 1 0 23113980 38436864 8351 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8351 627 1026 0 8354 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 37536 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27986 /proc/meminfo: memFree=1812452/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=102.27 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 8864 0 0 0 10110 117 0 0 25 0 1 0 23113980 38436864 8351 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8351 627 1026 0 8354 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 37536 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27987 /proc/meminfo: memFree=1812204/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=162.25 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 8951 0 0 0 16047 178 0 0 25 0 1 0 23113980 38436864 8438 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8438 627 1026 0 8354 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 37536 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27989 /proc/meminfo: memFree=1811584/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=222.23 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9119 0 0 0 21983 240 0 0 25 0 1 0 23113980 38436864 8606 1992294400 4194304 8395647 140734903731184 18446744073709551615 6120611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8606 627 1026 0 8354 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 37536 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27991 /proc/meminfo: memFree=1811584/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=282.22 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9119 0 0 0 27921 301 0 0 25 0 1 0 23113980 38436864 8606 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8606 627 1026 0 8354 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 37536 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27993 /proc/meminfo: memFree=1811584/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=342.2 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9119 0 0 0 33852 368 0 0 25 0 1 0 23113980 38436864 8606 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8606 627 1026 0 8354 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 37536 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27994 /proc/meminfo: memFree=1811584/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=402.18 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9119 0 0 0 39787 431 0 0 25 0 1 0 23113980 38436864 8606 1992294400 4194304 8395647 140734903731184 18446744073709551615 6721251 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8606 627 1026 0 8354 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 37536 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27995 /proc/meminfo: memFree=1811584/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=462.17 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9119 0 0 0 45723 494 0 0 25 0 1 0 23113980 38436864 8606 1992294400 4194304 8395647 140734903731184 18446744073709551615 6622139 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8606 627 1026 0 8354 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 37536 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27997 /proc/meminfo: memFree=1811584/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=37536 CPUtime=522.16 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9119 0 0 0 51660 556 0 0 25 0 1 0 23113980 38436864 8606 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9384 8606 627 1026 0 8354 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 37536 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 27999 /proc/meminfo: memFree=1811088/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=38124 CPUtime=582.14 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9232 0 0 0 57596 618 0 0 25 0 1 0 23113980 39038976 8719 1992294400 4194304 8395647 140734903731184 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9531 8719 627 1026 0 8501 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 38124 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28001 /proc/meminfo: memFree=1810716/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=38440 CPUtime=642.13 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9331 0 0 0 63533 680 0 0 25 0 1 0 23113980 39362560 8818 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9610 8818 627 1026 0 8580 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 38440 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1809476/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=39696 CPUtime=762.1 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9573 0 0 0 75403 807 0 0 25 0 1 0 23113980 40648704 9060 1992294400 4194304 8395647 140734903731184 18446744073709551615 6391404 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9924 9060 627 1026 0 8894 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 39696 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28005 /proc/meminfo: memFree=1809352/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=39696 CPUtime=822.07 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9623 0 0 0 81337 870 0 0 25 0 1 0 23113980 40648704 9110 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 9924 9110 627 1026 0 8894 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 39696 [startup+882.302 s] /proc/loadavg: 1.07 1.02 1.00 2/106 28007 /proc/meminfo: memFree=1808980/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=40028 CPUtime=882.06 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9697 0 0 0 87273 933 0 0 25 0 1 0 23113980 40988672 9184 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10007 9184 627 1026 0 8977 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 40028 [startup+942.301 s] /proc/loadavg: 1.06 1.03 1.00 2/106 28009 /proc/meminfo: memFree=1808856/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=40308 CPUtime=942.04 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9749 0 0 0 93207 997 0 0 25 0 1 0 23113980 41275392 9236 1992294400 4194304 8395647 140734903731184 18446744073709551615 7382020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10077 9236 627 1026 0 9047 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 40308 [startup+1002.3 s] /proc/loadavg: 1.08 1.03 1.00 2/106 28010 /proc/meminfo: memFree=1808732/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=40308 CPUtime=1002.02 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9762 0 0 0 99141 1061 0 0 25 0 1 0 23113980 41275392 9249 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10077 9249 627 1026 0 9047 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 40308 [startup+1062.3 s] /proc/loadavg: 1.03 1.03 1.00 2/106 28011 /proc/meminfo: memFree=1808484/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=40728 CPUtime=1062.01 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9861 0 0 0 105074 1127 0 0 25 0 1 0 23113980 41705472 9348 1992294400 4194304 8395647 140734903731184 18446744073709551615 6697363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10182 9348 627 1026 0 9152 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 40728 [startup+1122.3 s] /proc/loadavg: 1.01 1.02 1.00 2/106 28013 /proc/meminfo: memFree=1807864/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=41232 CPUtime=1121.99 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 9969 0 0 0 111012 1187 0 0 25 0 1 0 23113980 42221568 9456 1992294400 4194304 8395647 140734903731184 18446744073709551615 6693368 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10308 9456 627 1026 0 9278 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 41232 [startup+1182.3 s] /proc/loadavg: 1.05 1.03 1.00 2/106 28015 /proc/meminfo: memFree=1807492/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=41232 CPUtime=1181.97 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 10026 0 0 0 116943 1254 0 0 25 0 1 0 23113980 42221568 9513 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10308 9513 627 1026 0 9278 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 41232 [startup+1242.3 s] /proc/loadavg: 1.06 1.04 1.00 3/106 28017 /proc/meminfo: memFree=1807244/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=41232 CPUtime=1241.96 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 10026 0 0 0 122878 1318 0 0 25 0 1 0 23113980 42221568 9513 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10308 9513 627 1026 0 9278 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 41232 [startup+1302.3 s] /proc/loadavg: 1.06 1.04 1.00 2/106 28018 /proc/meminfo: memFree=1807120/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=41232 CPUtime=1301.95 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 10027 0 0 0 128808 1387 0 0 25 0 1 0 23113980 42221568 9514 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10308 9514 628 1026 0 9278 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 41232 [startup+1362.3 s] /proc/loadavg: 1.06 1.05 1.00 2/106 28019 /proc/meminfo: memFree=1807120/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=41232 CPUtime=1361.92 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 10027 0 0 0 134742 1450 0 0 25 0 1 0 23113980 42221568 9514 1992294400 4194304 8395647 140734903731184 18446744073709551615 6697045 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10308 9514 628 1026 0 9278 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 41232 Solver just ended. Dumping a history of the last processes samples [startup+1382.3 s] /proc/loadavg: 1.11 1.06 1.00 2/106 28020 /proc/meminfo: memFree=1807120/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=41232 CPUtime=1381.92 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 10027 0 0 0 136719 1473 0 0 25 0 1 0 23113980 42221568 9514 1992294400 4194304 8395647 140734903731184 18446744073709551615 4706433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10308 9514 628 1026 0 9278 0 Current children cumulated CPU time (s) 1381.92 Current children cumulated vsize (KiB) 41232 [startup+1395.1 s] /proc/loadavg: 1.08 1.05 1.00 2/106 28021 /proc/meminfo: memFree=1807120/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=41232 CPUtime=1394.72 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 10027 0 0 0 137986 1486 0 0 25 0 1 0 23113980 42221568 9514 1992294400 4194304 8395647 140734903731184 18446744073709551615 6697376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10308 9514 628 1026 0 9278 0 Current children cumulated CPU time (s) 1394.72 Current children cumulated vsize (KiB) 41232 [startup+1401.5 s] /proc/loadavg: 1.08 1.05 1.00 2/106 28021 /proc/meminfo: memFree=1807120/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=41232 CPUtime=1401.12 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 10027 0 0 0 138619 1493 0 0 25 0 1 0 23113980 42221568 9514 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10308 9514 628 1026 0 9278 0 Current children cumulated CPU time (s) 1401.12 Current children cumulated vsize (KiB) 41232 [startup+1407.9 s] /proc/loadavg: 1.07 1.05 1.00 2/106 28021 /proc/meminfo: memFree=1807120/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=41232 CPUtime=1407.51 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 10027 0 0 0 139253 1498 0 0 25 0 1 0 23113980 42221568 9514 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10308 9514 628 1026 0 9278 0 Current children cumulated CPU time (s) 1407.51 Current children cumulated vsize (KiB) 41232 [startup+1409.5 s] /proc/loadavg: 1.07 1.05 1.00 2/106 28021 /proc/meminfo: memFree=1807120/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=41232 CPUtime=1409.11 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 10027 0 0 0 139410 1501 0 0 25 0 1 0 23113980 42221568 9514 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10308 9514 628 1026 0 9278 0 Current children cumulated CPU time (s) 1409.11 Current children cumulated vsize (KiB) 41232 [startup+1410.3 s] /proc/loadavg: 1.06 1.05 1.00 2/106 28021 /proc/meminfo: memFree=1807120/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=41232 CPUtime=1409.91 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 10027 0 0 0 139490 1501 0 0 25 0 1 0 23113980 42221568 9514 1992294400 4194304 8395647 140734903731184 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10308 9514 628 1026 0 9278 0 Current children cumulated CPU time (s) 1409.91 Current children cumulated vsize (KiB) 41232 [startup+1411.1 s] /proc/loadavg: 1.06 1.05 1.00 2/106 28021 /proc/meminfo: memFree=1807120/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=41232 CPUtime=1410.71 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 10027 0 0 0 139569 1502 0 0 25 0 1 0 23113980 42221568 9514 1992294400 4194304 8395647 140734903731184 18446744073709551615 6696973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27982/statm: 10308 9514 628 1026 0 9278 0 Current children cumulated CPU time (s) 1410.71 Current children cumulated vsize (KiB) 41232 [startup+1411.5 s] /proc/loadavg: 1.06 1.05 1.00 2/106 28021 /proc/meminfo: memFree=1807120/2059040 swapFree=4097784/4192956 [pid=27982] ppid=27980 vsize=40204 CPUtime=1411.11 /proc/27982/stat : 27982 (pbscip.linux.x8) R 27980 27982 27113 0 -1 4202496 10029 0 0 0 139609 1502 0 0 18 0 1 0 23113980 41168896 9002 1992294400 4194304 8395647 140734903731184 18446744073709551615 7435351 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27982/statm: 9794 9002 630 1026 0 8764 0 Current children cumulated CPU time (s) 1411.11 Current children cumulated vsize (KiB) 40204 Child status: 0 Real time (s): 1411.51 CPU time (s): 1411.13 CPU user time (s): 1396.1 CPU system time (s): 15.0317 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 41232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1396.1 system time used= 15.0317 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10032 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= 3 involuntary context switches= 14884 runsolver used 2.38364 second user time and 6.61199 second system time The end
Begin job on node088 at 2010-07-08 02:30:56 IDJOB=2704112 IDBENCH=1314 IDSOLVER=1213 FILE ID=node088/2704112-1278549056 PBS_JOBID= 11239475 Free space on /tmp= 62504 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 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.1900573901.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-2704112-1278549056/watcher-2704112-1278549056 -o /tmp/evaluation-result-2704112-1278549056/solver-2704112-1278549056 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704112-1278549056.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 40d0bcc4171e4a5907ae30e54ba56b80 RANDOM SEED=1728985072 node088.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.245 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.49 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.245 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 : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1844732 kB Buffers: 5856 kB Cached: 104140 kB SwapCached: 48440 kB Active: 69012 kB Inactive: 91356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1844732 kB SwapTotal: 4192956 kB SwapFree: 4097784 kB Dirty: 10420 kB Writeback: 0 kB AnonPages: 10564 kB Mapped: 6964 kB Slab: 32280 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178820 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= 62496 MiB End job on node088 at 2010-07-08 02:54:28