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 | 927.643 | 927.917 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb |
MD5SUM | d36c8f083b4352ee7b6379767e1c28ad |
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 | 56.3044 |
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 | 727 |
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-2703734-1278549866.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.09/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.13 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.95 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.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/nlp/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/objpscostdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.14 c # [type: real, range: [0,1], default: 0.01] 0.09/0.14 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/oneopt/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/pscostdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c heuristics/rens/freq = -1 0.09/0.14 c 0.09/0.14 c # minimum percentage of integer variables that have to be fixable 0.09/0.14 c # [type: real, range: [0,1], default: 0.5] 0.09/0.14 c heuristics/rens/minfixingrate = 0.3 0.09/0.14 c 0.09/0.14 c # number of nodes added to the contingent of the total nodes 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.14 c heuristics/rens/nodesofs = 2000 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/rootsoldiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.14 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/rounding/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/shifting/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/simplerounding/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c heuristics/trivial/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/trysol/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/veclendiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/zirounding/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c separating/cmir/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c separating/flowcover/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c separating/rapidlearning/freq = 0 0.09/0.14 c 0.09/0.14 c ----------------------------------------------------------------------------------------------- 0.09/0.14 c start solving 0.09/0.14 c 0.09/0.16 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.16 c 0.1s| 1 | 0 | 76 | - |3488k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.50/0.53 c 0.5s| 1 | 0 | 102 | - |3906k| 0 | 46 | 231 |2612 | 231 |2456 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf 0.70/0.80 c 0.7s| 1 | 0 | 113 | - |4304k| 0 | 49 | 231 |2612 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.09 c 1.0s| 1 | 0 | 126 | - |4717k| 0 | 50 | 231 |2612 | 231 |2461 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.38 c 1.3s| 1 | 0 | 160 | - |5148k| 0 | 55 | 231 |2612 | 231 |2463 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 1.59/1.69 c 1.6s| 1 | 0 | 183 | - |5613k| 0 | 50 | 231 |2612 | 231 |2465 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 2.20/2.23 c 2.2s| 1 | 2 | 183 | - |5614k| 0 | 50 | 231 |2612 | 231 |2465 | 22 | 0 | 10 | 0.000000e+00 | -- | Inf 139.45/139.59 c 140s| 10000 | 18 |252309 | 25.2 |7409k| 38 | - | 231 |6369 | 231 |2455 | 22 |5844 |2302 | 0.000000e+00 | -- | Inf 244.52/244.61 c 245s| 20000 | 34 |516718 | 25.8 |9052k| 46 | 33 | 231 |9840 | 231 |2455 | 22 | 12k|2645 | 0.000000e+00 | -- | Inf 361.38/361.52 c 361s| 30000 | 10 |795898 | 26.5 | 10M| 46 | 47 | 231 | 13k| 231 |2455 | 22 | 18k|3262 | 0.000000e+00 | -- | Inf 478.35/478.53 c 478s| 40000 | 67 | 1076k| 26.9 | 11M| 46 | - | 231 | 16k| 231 |2455 | 22 | 25k|3793 | 0.000000e+00 | -- | Inf 588.92/589.18 c 589s| 50000 | 136 | 1335k| 26.7 | 13M| 46 | 28 | 231 | 19k| 231 |2455 | 22 | 31k|4295 | 0.000000e+00 | -- | Inf 711.58/711.87 c 712s| 60000 | 103 | 1632k| 27.2 | 12M| 48 | 29 | 231 | 17k| 231 |2455 | 22 | 38k|4663 | 0.000000e+00 | -- | Inf 832.46/832.73 c 833s| 70000 | 56 | 1921k| 27.5 | 13M| 48 | - | 231 | 19k| 231 |2455 | 22 | 45k|5075 | 0.000000e+00 | -- | Inf 927.52/927.86 c 927.52/927.86 c SCIP Status : problem is solved [infeasible] 927.52/927.86 c Solving Time (sec) : 927.81 927.52/927.86 c Solving Nodes : 77763 927.52/927.86 c Primal Bound : +1.00000000000000e+20 (0 solutions) 927.52/927.86 c Dual Bound : +1.00000000000000e+20 927.52/927.86 c Gap : 0.00 % 927.52/927.86 s UNSATISFIABLE 927.52/927.86 c SCIP Status : problem is solved [infeasible] 927.52/927.86 c Solving Time : 927.81 927.52/927.86 c Original Problem : 927.52/927.86 c Problem name : HOME/instance-2703734-1278549866.opb 927.52/927.86 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 927.52/927.86 c Constraints : 2707 initial, 2707 maximal 927.52/927.86 c Presolved Problem : 927.52/927.86 c Problem name : t_HOME/instance-2703734-1278549866.opb 927.52/927.86 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 927.52/927.86 c Constraints : 2443 initial, 21870 maximal 927.52/927.86 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 927.52/927.86 c trivial : 0.00 0 0 0 0 0 0 0 0 927.52/927.86 c dualfix : 0.00 0 0 0 0 0 0 0 0 927.52/927.86 c boundshift : 0.00 0 0 0 0 0 0 0 0 927.52/927.86 c inttobinary : 0.00 0 0 0 0 0 0 0 0 927.52/927.86 c implics : 0.00 0 0 0 0 0 0 0 0 927.52/927.86 c probing : 0.00 0 0 0 0 0 0 0 0 927.52/927.86 c knapsack : 0.00 0 0 0 0 0 0 0 0 927.52/927.86 c setppc : 0.00 0 0 0 0 0 121 0 0 927.52/927.86 c linear : 0.03 0 0 0 0 0 143 0 0 927.52/927.86 c logicor : 0.03 0 0 0 0 0 0 0 0 927.52/927.86 c root node : - 21 - - 21 - - - - 927.52/927.86 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 927.52/927.86 c integral : 0 0 0 40512 0 173 2236 0 0 78170 927.52/927.86 c knapsack : 1 5 301046 0 0 455 130594 0 0 0 927.52/927.86 c setppc : 22 5 300771 0 0 1347 420192 0 0 0 927.52/927.86 c linear : 0+ 5 246548 0 0 7 4717 4 0 0 927.52/927.86 c logicor : 2420+ 5 143740 0 0 381 480288 0 0 0 927.52/927.86 c countsols : 0 0 0 0 0 0 0 0 0 0 927.52/927.86 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 927.52/927.86 c integral : 92.59 0.00 0.00 92.59 0.00 927.52/927.86 c knapsack : 1.98 0.00 1.98 0.00 0.00 927.52/927.86 c setppc : 4.40 0.00 4.40 0.00 0.00 927.52/927.86 c linear : 1.26 0.00 1.26 0.00 0.00 927.52/927.86 c logicor : 36.62 0.00 36.62 0.00 0.00 927.52/927.86 c countsols : 0.00 0.00 0.00 0.00 0.00 927.52/927.86 c Propagators : Time Calls Cutoffs DomReds 927.52/927.86 c vbounds : 0.15 1 0 0 927.52/927.86 c rootredcost : 0.18 0 0 0 927.52/927.86 c pseudoobj : 0.10 0 0 0 927.52/927.86 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 927.52/927.86 c propagation : 0.18 2190 2184 11367 21.5 43 19.3 - 927.52/927.86 c infeasible LP : 15.13 36717 36215 226129 31.8 130 19.4 0 927.52/927.86 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 927.52/927.86 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 927.52/927.86 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 927.52/927.86 c applied globally : - - - 48977 18.9 - - - 927.52/927.86 c applied locally : - - - 1425 33.9 - - - 927.52/927.86 c Separators : Time Calls Cutoffs DomReds Cuts Conss 927.52/927.86 c cut pool : 0.00 4 - - 49 - (maximal pool size: 608) 927.52/927.86 c redcost : 0.35 39323 0 0 0 0 927.52/927.86 c impliedbounds : 0.00 5 0 0 0 0 927.52/927.86 c intobj : 0.00 0 0 0 0 0 927.52/927.86 c cgmip : 0.00 0 0 0 0 0 927.52/927.86 c gomory : 0.85 5 0 0 888 0 927.52/927.86 c strongcg : 0.39 5 0 0 2500 0 927.52/927.86 c cmir : 0.00 0 0 0 0 0 927.52/927.86 c flowcover : 0.00 0 0 0 0 0 927.52/927.86 c clique : 0.00 5 0 0 0 0 927.52/927.86 c zerohalf : 0.00 0 0 0 0 0 927.52/927.86 c mcf : 0.00 1 0 0 0 0 927.52/927.86 c rapidlearning : 0.24 1 0 0 0 169 927.52/927.86 c Pricers : Time Calls Vars 927.52/927.86 c problem variables: 0.00 0 0 927.52/927.86 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 927.52/927.86 c relpscost : 92.48 40512 173 2236 0 0 78170 927.52/927.86 c pscost : 0.00 0 0 0 0 0 0 927.52/927.86 c inference : 0.00 0 0 0 0 0 0 927.52/927.86 c mostinf : 0.00 0 0 0 0 0 0 927.52/927.86 c leastinf : 0.00 0 0 0 0 0 0 927.52/927.86 c fullstrong : 0.00 0 0 0 0 0 0 927.52/927.86 c allfullstrong : 0.00 0 0 0 0 0 0 927.52/927.86 c random : 0.00 0 0 0 0 0 0 927.52/927.86 c Primal Heuristics : Time Calls Found 927.52/927.86 c LP solutions : 0.00 - 0 927.52/927.86 c pseudo solutions : 0.00 - 0 927.52/927.86 c trivial : 0.00 1 0 927.52/927.86 c simplerounding : 0.00 0 0 927.52/927.86 c zirounding : 0.00 0 0 927.52/927.86 c rounding : 0.00 0 0 927.52/927.86 c shifting : 0.00 0 0 927.52/927.86 c intshifting : 0.00 0 0 927.52/927.86 c oneopt : 0.00 0 0 927.52/927.86 c twoopt : 0.00 0 0 927.52/927.86 c fixandinfer : 0.00 0 0 927.52/927.86 c feaspump : 0.00 0 0 927.52/927.86 c coefdiving : 0.00 0 0 927.52/927.86 c pscostdiving : 0.00 0 0 927.52/927.86 c fracdiving : 0.00 0 0 927.52/927.86 c veclendiving : 0.00 0 0 927.52/927.86 c intdiving : 0.00 0 0 927.52/927.86 c actconsdiving : 0.00 0 0 927.52/927.86 c objpscostdiving : 0.00 0 0 927.52/927.86 c rootsoldiving : 0.00 0 0 927.52/927.86 c linesearchdiving : 0.00 0 0 927.52/927.86 c guideddiving : 0.00 0 0 927.52/927.86 c octane : 0.00 0 0 927.52/927.86 c rens : 0.00 0 0 927.52/927.86 c rins : 0.00 0 0 927.52/927.86 c localbranching : 0.00 0 0 927.52/927.86 c mutation : 0.00 0 0 927.52/927.86 c crossover : 0.00 0 0 927.52/927.86 c dins : 0.00 0 0 927.52/927.86 c undercover : 0.00 0 0 927.52/927.86 c nlp : 0.00 0 0 927.52/927.86 c trysol : 0.00 0 0 927.52/927.86 c LP : Time Calls Iterations Iter/call Iter/sec 927.52/927.86 c primal LP : 0.00 0 0 0.00 - 927.52/927.86 c dual LP : 699.22 77038 2148331 27.89 3072.45 927.52/927.86 c lex dual LP : 0.00 0 0 0.00 - 927.52/927.86 c barrier LP : 0.00 0 0 0.00 - 927.52/927.86 c diving/probing LP: 0.00 0 0 0.00 - 927.52/927.86 c strong branching : 90.84 5394 273794 50.76 3013.98 927.52/927.86 c (at root node) : - 10 1517 151.70 - 927.52/927.86 c conflict analysis: 0.00 0 0 0.00 - 927.52/927.86 c B&B Tree : 927.52/927.86 c number of runs : 1 927.52/927.86 c nodes : 77763 927.52/927.86 c nodes (total) : 77763 927.52/927.86 c nodes left : 0 927.52/927.86 c max depth : 53 927.52/927.86 c max depth (total): 53 927.52/927.86 c backtracks : 9366 (12.0%) 927.52/927.86 c delayed cutoffs : 408 927.52/927.86 c repropagations : 125584 (150492 domain reductions, 402 cutoffs) 927.52/927.86 c avg switch length: 4.82 927.52/927.86 c switching time : 31.25 927.52/927.86 c Solution : 927.52/927.86 c Solutions found : 0 (0 improvements) 927.52/927.86 c Primal Bound : infeasible 927.52/927.86 c Dual Bound : - 927.52/927.86 c Gap : 0.00 % 927.52/927.86 c Root Dual Bound : +0.00000000000000e+00 927.52/927.86 c Root Iterations : 183 927.61/927.91 c Time complete: 927.64.
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-2703734-1278549866/watcher-2703734-1278549866 -o /tmp/evaluation-result-2703734-1278549866/solver-2703734-1278549866 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703734-1278549866.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 0.94 3/106 29024 /proc/meminfo: memFree=1589564/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=7904 CPUtime=0 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 1043 0 0 0 0 0 0 0 20 0 1 0 23189925 8093696 954 1992294400 4194304 8395647 140733747451248 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29024/statm: 1976 963 365 1026 0 946 0 [startup+0.038264 s] /proc/loadavg: 1.00 1.00 0.94 3/106 29024 /proc/meminfo: memFree=1589564/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=11284 CPUtime=0.03 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 2123 0 0 0 3 0 0 0 20 0 1 0 23189925 11554816 2034 1992294400 4194304 8395647 140733747451248 18446744073709551615 7382031 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29024/statm: 2821 2034 390 1026 0 1791 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11284 [startup+0.101271 s] /proc/loadavg: 1.00 1.00 0.94 3/106 29024 /proc/meminfo: memFree=1589564/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=19272 CPUtime=0.09 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 4206 0 0 0 8 1 0 0 20 0 1 0 23189925 19734528 3763 1992294400 4194304 8395647 140733747451248 18446744073709551615 4288144 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 4818 3763 474 1026 0 3788 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19272 [startup+0.3013 s] /proc/loadavg: 1.00 1.00 0.94 3/106 29024 /proc/meminfo: memFree=1589564/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=33116 CPUtime=0.29 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 7821 0 0 0 27 2 0 0 20 0 1 0 23189925 33910784 7340 1992294400 4194304 8395647 140733747451248 18446744073709551615 6345875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 8279 7340 601 1026 0 7249 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33116 [startup+0.701356 s] /proc/loadavg: 1.00 1.00 0.94 3/106 29024 /proc/meminfo: memFree=1589564/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=37464 CPUtime=0.7 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 8777 0 0 0 65 5 0 0 20 0 1 0 23189925 38363136 8267 1992294400 4194304 8395647 140733747451248 18446744073709551615 6198096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9366 8267 625 1026 0 8336 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 37464 [startup+1.50147 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29025 /proc/meminfo: memFree=1558804/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=37464 CPUtime=1.49 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 8858 0 0 0 144 5 0 0 22 0 1 0 23189925 38363136 8344 1992294400 4194304 8395647 140733747451248 18446744073709551615 6197322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9366 8344 621 1026 0 8336 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37464 [startup+3.1017 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29025 /proc/meminfo: memFree=1558308/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=37464 CPUtime=3.09 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 8861 0 0 0 302 7 0 0 25 0 1 0 23189925 38363136 8347 1992294400 4194304 8395647 140733747451248 18446744073709551615 6697232 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9366 8347 624 1026 0 8336 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37464 [startup+6.30115 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29026 /proc/meminfo: memFree=1557936/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=37464 CPUtime=6.29 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 8861 0 0 0 619 10 0 0 25 0 1 0 23189925 38363136 8347 1992294400 4194304 8395647 140733747451248 18446744073709551615 6697266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9366 8347 624 1026 0 8336 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37464 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29026 /proc/meminfo: memFree=1557936/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=37464 CPUtime=12.69 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 8862 0 0 0 1253 16 0 0 25 0 1 0 23189925 38363136 8348 1992294400 4194304 8395647 140733747451248 18446744073709551615 6449569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9366 8348 625 1026 0 8336 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37464 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29026 /proc/meminfo: memFree=1557936/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=37464 CPUtime=25.48 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 8864 0 0 0 2518 30 0 0 25 0 1 0 23189925 38363136 8350 1992294400 4194304 8395647 140733747451248 18446744073709551615 6439000 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9366 8350 627 1026 0 8336 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37464 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29027 /proc/meminfo: memFree=1557936/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=37464 CPUtime=51.07 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 8865 0 0 0 5052 55 0 0 25 0 1 0 23189925 38363136 8351 1992294400 4194304 8395647 140733747451248 18446744073709551615 6723555 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9366 8351 627 1026 0 8336 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37464 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29029 /proc/meminfo: memFree=1557936/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=37464 CPUtime=102.27 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 8865 0 0 0 10122 105 0 0 25 0 1 0 23189925 38363136 8351 1992294400 4194304 8395647 140733747451248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9366 8351 627 1026 0 8336 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 37464 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29030 /proc/meminfo: memFree=1557812/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=37464 CPUtime=162.25 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 8865 0 0 0 16062 163 0 0 25 0 1 0 23189925 38363136 8351 1992294400 4194304 8395647 140733747451248 18446744073709551615 6746669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9366 8351 627 1026 0 8336 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 37464 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29031 /proc/meminfo: memFree=1557068/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=37464 CPUtime=222.23 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 9118 0 0 0 22001 222 0 0 25 0 1 0 23189925 38363136 8604 1992294400 4194304 8395647 140733747451248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9366 8604 627 1026 0 8336 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 37464 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29033 /proc/meminfo: memFree=1557068/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=37464 CPUtime=282.21 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 9119 0 0 0 27941 280 0 0 25 0 1 0 23189925 38363136 8605 1992294400 4194304 8395647 140733747451248 18446744073709551615 6697095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9366 8605 627 1026 0 8336 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 37464 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29035 /proc/meminfo: memFree=1557068/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=37464 CPUtime=342.19 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 9120 0 0 0 33880 339 0 0 25 0 1 0 23189925 38363136 8606 1992294400 4194304 8395647 140733747451248 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9366 8606 628 1026 0 8336 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 37464 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29036 /proc/meminfo: memFree=1556944/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=38048 CPUtime=402.17 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 9156 0 0 0 39818 399 0 0 25 0 1 0 23189925 38961152 8642 1992294400 4194304 8395647 140733747451248 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9512 8642 628 1026 0 8482 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 38048 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29038 /proc/meminfo: memFree=1556324/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=38208 CPUtime=462.16 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 9269 0 0 0 45763 453 0 0 25 0 1 0 23189925 39124992 8755 1992294400 4194304 8395647 140733747451248 18446744073709551615 4658507 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9552 8755 628 1026 0 8522 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 38208 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29039 /proc/meminfo: memFree=1554712/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=39812 CPUtime=522.14 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 9687 0 0 0 51697 517 0 0 25 0 1 0 23189925 40767488 9173 1992294400 4194304 8395647 140733747451248 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 9953 9173 628 1026 0 8923 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 39812 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29041 /proc/meminfo: memFree=1552852/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=41620 CPUtime=582.12 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10121 0 0 0 57633 579 0 0 25 0 1 0 23189925 42618880 9607 1992294400 4194304 8395647 140733747451248 18446744073709551615 6586884 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 10405 9607 628 1026 0 9375 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 41620 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29043 /proc/meminfo: memFree=1551860/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=42716 CPUtime=642.11 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10352 0 0 0 63573 638 0 0 25 0 1 0 23189925 43741184 9838 1992294400 4194304 8395647 140733747451248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 10679 9838 628 1026 0 9649 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 42716 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29044 /proc/meminfo: memFree=1551240/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=43076 CPUtime=702.08 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10487 0 0 0 69510 698 0 0 25 0 1 0 23189925 44109824 9973 1992294400 4194304 8395647 140733747451248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 10769 9973 628 1026 0 9739 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 43076 [startup+762.308 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29046 /proc/meminfo: memFree=1550992/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=43460 CPUtime=762.07 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10544 0 0 0 75449 758 0 0 25 0 1 0 23189925 44503040 10030 1992294400 4194304 8395647 140733747451248 18446744073709551615 6585824 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 10865 10030 628 1026 0 9835 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 43460 [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29047 /proc/meminfo: memFree=1550868/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=43460 CPUtime=822.05 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10565 0 0 0 81386 819 0 0 25 0 1 0 23189925 44503040 10051 1992294400 4194304 8395647 140733747451248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 10865 10051 628 1026 0 9835 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 43460 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29049 /proc/meminfo: memFree=1550496/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=43732 CPUtime=882.03 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10656 0 0 0 87325 878 0 0 25 0 1 0 23189925 44781568 10142 1992294400 4194304 8395647 140733747451248 18446744073709551615 6746662 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 10933 10142 628 1026 0 9903 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 43732 Solver just ended. Dumping a history of the last processes samples [startup+895.901 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29049 /proc/meminfo: memFree=1550496/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=43732 CPUtime=895.63 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10666 0 0 0 88672 891 0 0 25 0 1 0 23189925 44781568 10152 1992294400 4194304 8395647 140733747451248 18446744073709551615 6723802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 10933 10152 628 1026 0 9903 0 Current children cumulated CPU time (s) 895.63 Current children cumulated vsize (KiB) 43732 [startup+908.701 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29050 /proc/meminfo: memFree=1550496/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=43732 CPUtime=908.42 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10666 0 0 0 89939 903 0 0 25 0 1 0 23189925 44781568 10152 1992294400 4194304 8395647 140733747451248 18446744073709551615 6697419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 10933 10152 628 1026 0 9903 0 Current children cumulated CPU time (s) 908.42 Current children cumulated vsize (KiB) 43732 [startup+921.501 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29050 /proc/meminfo: memFree=1550372/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=43732 CPUtime=921.22 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10668 0 0 0 91207 915 0 0 25 0 1 0 23189925 44781568 10154 1992294400 4194304 8395647 140733747451248 18446744073709551615 6697266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 10933 10154 628 1026 0 9903 0 Current children cumulated CPU time (s) 921.22 Current children cumulated vsize (KiB) 43732 [startup+924.701 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29050 /proc/meminfo: memFree=1550372/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=43732 CPUtime=924.42 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10669 0 0 0 91524 918 0 0 25 0 1 0 23189925 44781568 10155 1992294400 4194304 8395647 140733747451248 18446744073709551615 6723581 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 10933 10155 628 1026 0 9903 0 Current children cumulated CPU time (s) 924.42 Current children cumulated vsize (KiB) 43732 [startup+926.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29050 /proc/meminfo: memFree=1550372/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=44196 CPUtime=926.01 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10709 0 0 0 91682 919 0 0 25 0 1 0 23189925 45256704 10195 1992294400 4194304 8395647 140733747451248 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 11049 10195 628 1026 0 10019 0 Current children cumulated CPU time (s) 926.01 Current children cumulated vsize (KiB) 44196 [startup+927.102 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29050 /proc/meminfo: memFree=1550372/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=44196 CPUtime=926.82 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10724 0 0 0 91762 920 0 0 25 0 1 0 23189925 45256704 10210 1992294400 4194304 8395647 140733747451248 18446744073709551615 6574289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 11049 10210 628 1026 0 10019 0 Current children cumulated CPU time (s) 926.82 Current children cumulated vsize (KiB) 44196 [startup+927.502 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29051 /proc/meminfo: memFree=1550124/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=44196 CPUtime=927.22 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10724 0 0 0 91802 920 0 0 25 0 1 0 23189925 45256704 10210 1992294400 4194304 8395647 140733747451248 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29024/statm: 11049 10210 628 1026 0 10019 0 Current children cumulated CPU time (s) 927.22 Current children cumulated vsize (KiB) 44196 [startup+927.902 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29051 /proc/meminfo: memFree=1550124/2059040 swapFree=4165008/4192956 [pid=29024] ppid=29022 vsize=44196 CPUtime=927.61 /proc/29024/stat : 29024 (pbscip.linux.x8) R 29022 29024 28566 0 -1 4202496 10726 0 0 0 91841 920 0 0 25 0 1 0 23189925 45256704 10212 1992294400 4194304 8395647 140733747451248 18446744073709551615 6345797 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29024/statm: 11049 10212 630 1026 0 10019 0 Current children cumulated CPU time (s) 927.61 Current children cumulated vsize (KiB) 44196 Child status: 0 Real time (s): 927.917 CPU time (s): 927.643 CPU user time (s): 918.43 CPU system time (s): 9.2126 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 44196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 918.43 system time used= 9.2126 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10729 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 2333 runsolver used 1.53477 second user time and 4.37933 second system time The end
Begin job on node049 at 2010-07-08 02:44:26 IDJOB=2703734 IDBENCH=1357 IDSOLVER=1213 FILE ID=node049/2703734-1278549866 PBS_JOBID= 11239492 Free space on /tmp= 62484 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.1900552288.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-2703734-1278549866/watcher-2703734-1278549866 -o /tmp/evaluation-result-2703734-1278549866/solver-2703734-1278549866 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703734-1278549866.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d36c8f083b4352ee7b6379767e1c28ad RANDOM SEED=948474908 node049.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.266 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.53 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.266 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1590092 kB Buffers: 61376 kB Cached: 283968 kB SwapCached: 1172 kB Active: 144096 kB Inactive: 234356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1590092 kB SwapTotal: 4192956 kB SwapFree: 4165008 kB Dirty: 10436 kB Writeback: 0 kB AnonPages: 31868 kB Mapped: 14440 kB Slab: 68300 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181796 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62472 MiB End job on node049 at 2010-07-08 02:59:54