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 | 1476.94 | 1477.3 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb |
MD5SUM | a7f9415d82387c85347e0216376f3dfd |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 47.1258 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 695 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.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-2703588-1278548956.opb> 0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.05 c problem read 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c presolving settings loaded 0.04/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.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.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.49/0.53 c 0.5s| 1 | 0 | 104 | - |3963k| 0 | 45 | 231 |2656 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.80 c 0.8s| 1 | 0 | 129 | - |4308k| 0 | 50 | 231 |2656 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 0.99/1.08 c 1.0s| 1 | 0 | 178 | - |4684k| 0 | 51 | 231 |2656 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.47 c 1.4s| 1 | 0 | 189 | - |4977k| 0 | 50 | 231 |2656 | 231 |2462 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 1.79/1.87 c 1.8s| 1 | 0 | 208 | - |5009k| 0 | 56 | 231 |2656 | 231 |2463 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 2.59/2.63 c 2.6s| 1 | 2 | 208 | - |5010k| 0 | 56 | 231 |2656 | 231 |2463 | 20 | 0 | 9 | 0.000000e+00 | -- | Inf 148.55/148.62 c 149s| 10000 | 31 |271191 | 27.1 |6888k| 45 | 40 | 231 |6428 | 231 |2454 | 20 |5495 |2085 | 0.000000e+00 | -- | Inf 256.02/256.12 c 256s| 20000 | 32 |539004 | 26.9 |8348k| 45 | - | 231 |9798 | 0 | 0 | 20 | 12k|2433 | 0.000000e+00 | -- | Inf 363.69/363.86 c 364s| 30000 | 77 |797196 | 26.6 |9627k| 45 | 17 | 231 | 12k| 231 |2454 | 20 | 18k|2943 | 0.000000e+00 | -- | Inf 468.87/469.07 c 469s| 40000 | 157 | 1038k| 26.0 | 11M| 45 | 33 | 231 | 15k| 231 |2454 | 20 | 24k|3553 | 0.000000e+00 | -- | Inf 580.14/580.35 c 580s| 50000 | 218 | 1299k| 26.0 | 12M| 48 | - | 231 | 18k| 231 |2454 | 20 | 30k|3966 | 0.000000e+00 | -- | Inf 690.52/690.73 c 691s| 60000 | 218 | 1558k| 26.0 | 12M| 48 | - | 231 | 18k| 231 |2454 | 20 | 36k|4349 | 0.000000e+00 | -- | Inf 801.60/801.82 c 802s| 70000 | 208 | 1818k| 26.0 | 12M| 51 | 35 | 231 | 16k| 231 |2454 | 20 | 42k|4754 | 0.000000e+00 | -- | Inf 913.57/913.80 c 914s| 80000 | 188 | 2084k| 26.1 | 12M| 51 | 43 | 231 | 16k| 231 |2454 | 20 | 48k|5182 | 0.000000e+00 | -- | Inf 1028.25/1028.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1028.25/1028.52 c 1028s| 90000 | 191 | 2359k| 26.2 | 12M| 51 | - | 231 | 17k| 231 |2454 | 20 | 54k|5497 | 0.000000e+00 | -- | Inf 1141.01/1141.38 c 1141s|100000 | 122 | 2633k| 26.3 | 12M| 52 | - | 231 | 17k| 231 |2454 | 20 | 60k|5744 | 0.000000e+00 | -- | Inf 1244.48/1244.83 c 1245s|110000 | 131 | 2881k| 26.2 | 13M| 55 | - | 231 | 18k| 231 |2454 | 20 | 65k|6137 | 0.000000e+00 | -- | Inf 1351.06/1351.42 c 1351s|120000 | 83 | 3138k| 26.2 | 12M| 59 | 23 | 231 | 17k| 231 |2454 | 20 | 70k|6334 | 0.000000e+00 | -- | Inf 1462.24/1462.65 c 1463s|130000 | 6 | 3404k| 26.2 | 10M| 59 | - | 231 | 13k| 231 |2454 | 20 | 76k|6635 | 0.000000e+00 | -- | Inf 1476.84/1477.25 c 1476.84/1477.25 c SCIP Status : problem is solved [infeasible] 1476.84/1477.25 c Solving Time (sec) : 1477.20 1476.84/1477.25 c Solving Nodes : 131331 1476.84/1477.25 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1476.84/1477.25 c Dual Bound : +1.00000000000000e+20 1476.84/1477.25 c Gap : 0.00 % 1476.84/1477.25 s UNSATISFIABLE 1476.84/1477.25 c SCIP Status : problem is solved [infeasible] 1476.84/1477.25 c Solving Time : 1477.20 1476.84/1477.25 c Original Problem : 1476.84/1477.25 c Problem name : HOME/instance-2703588-1278548956.opb 1476.84/1477.25 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1476.84/1477.25 c Constraints : 2707 initial, 2707 maximal 1476.84/1477.25 c Presolved Problem : 1476.84/1477.25 c Problem name : t_HOME/instance-2703588-1278548956.opb 1476.84/1477.25 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1476.84/1477.25 c Constraints : 2443 initial, 18653 maximal 1476.84/1477.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1476.84/1477.25 c trivial : 0.00 0 0 0 0 0 0 0 0 1476.84/1477.25 c dualfix : 0.00 0 0 0 0 0 0 0 0 1476.84/1477.25 c boundshift : 0.00 0 0 0 0 0 0 0 0 1476.84/1477.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1476.84/1477.25 c implics : 0.00 0 0 0 0 0 0 0 0 1476.84/1477.25 c probing : 0.00 0 0 0 0 0 0 0 0 1476.84/1477.25 c knapsack : 0.00 0 0 0 0 0 0 0 0 1476.84/1477.25 c setppc : 0.00 0 0 0 0 0 121 0 0 1476.84/1477.25 c linear : 0.03 0 0 0 0 0 143 0 0 1476.84/1477.25 c logicor : 0.03 0 0 0 0 0 0 0 0 1476.84/1477.25 c root node : - 1 - - 1 - - - - 1476.84/1477.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1476.84/1477.25 c integral : 0 0 0 67860 0 236 2801 0 0 132160 1476.84/1477.25 c knapsack : 1 5 492597 0 0 897 234557 2 0 0 1476.84/1477.25 c setppc : 22 5 492051 0 0 2712 687885 0 0 0 1476.84/1477.25 c linear : 0+ 5 211052 0 0 5 4195 1 0 0 1476.84/1477.25 c logicor : 2420+ 5 247304 0 0 920 861424 0 0 0 1476.84/1477.25 c countsols : 0 0 0 0 0 0 0 0 0 0 1476.84/1477.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1476.84/1477.25 c integral : 121.30 0.00 0.00 121.30 0.00 1476.84/1477.25 c knapsack : 4.07 0.00 4.07 0.00 0.00 1476.84/1477.25 c setppc : 9.10 0.00 9.10 0.00 0.00 1476.84/1477.25 c linear : 0.98 0.00 0.98 0.00 0.00 1476.84/1477.25 c logicor : 61.80 0.00 61.80 0.00 0.00 1476.84/1477.25 c countsols : 0.00 0.00 0.00 0.00 0.00 1476.84/1477.25 c Propagators : Time Calls Cutoffs DomReds 1476.84/1477.25 c vbounds : 0.24 1 0 0 1476.84/1477.25 c rootredcost : 0.26 0 0 0 1476.84/1477.25 c pseudoobj : 0.19 0 0 0 1476.84/1477.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1476.84/1477.25 c propagation : 0.38 4534 4520 24808 24.1 72 22.1 - 1476.84/1477.25 c infeasible LP : 24.77 61296 58368 374164 36.8 315 17.9 0 1476.84/1477.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1476.84/1477.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1476.84/1477.25 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1476.84/1477.25 c applied globally : - - - 68550 19.9 - - - 1476.84/1477.25 c applied locally : - - - 8580 35.7 - - - 1476.84/1477.25 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1476.84/1477.25 c cut pool : 0.00 4 - - 9 - (maximal pool size: 424) 1476.84/1477.25 c redcost : 0.63 66406 0 0 0 0 1476.84/1477.25 c impliedbounds : 0.00 5 0 0 0 0 1476.84/1477.25 c intobj : 0.00 0 0 0 0 0 1476.84/1477.25 c cgmip : 0.00 0 0 0 0 0 1476.84/1477.25 c gomory : 0.82 5 0 0 795 0 1476.84/1477.25 c strongcg : 0.58 5 0 0 1782 0 1476.84/1477.25 c cmir : 0.00 0 0 0 0 0 1476.84/1477.25 c flowcover : 0.00 0 0 0 0 0 1476.84/1477.25 c clique : 0.00 5 0 0 0 0 1476.84/1477.25 c zerohalf : 0.00 0 0 0 0 0 1476.84/1477.25 c mcf : 0.00 1 0 0 0 0 1476.84/1477.25 c rapidlearning : 0.24 1 0 0 0 213 1476.84/1477.25 c Pricers : Time Calls Vars 1476.84/1477.25 c problem variables: 0.00 0 0 1476.84/1477.25 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1476.84/1477.25 c relpscost : 121.11 67860 236 2801 0 0 132160 1476.84/1477.25 c pscost : 0.00 0 0 0 0 0 0 1476.84/1477.25 c inference : 0.00 0 0 0 0 0 0 1476.84/1477.25 c mostinf : 0.00 0 0 0 0 0 0 1476.84/1477.25 c leastinf : 0.00 0 0 0 0 0 0 1476.84/1477.25 c fullstrong : 0.00 0 0 0 0 0 0 1476.84/1477.25 c allfullstrong : 0.00 0 0 0 0 0 0 1476.84/1477.25 c random : 0.00 0 0 0 0 0 0 1476.84/1477.25 c Primal Heuristics : Time Calls Found 1476.84/1477.25 c LP solutions : 0.00 - 0 1476.84/1477.25 c pseudo solutions : 0.00 - 0 1476.84/1477.25 c trivial : 0.00 1 0 1476.84/1477.25 c simplerounding : 0.00 0 0 1476.84/1477.25 c zirounding : 0.00 0 0 1476.84/1477.25 c rounding : 0.00 0 0 1476.84/1477.25 c shifting : 0.00 0 0 1476.84/1477.25 c intshifting : 0.00 0 0 1476.84/1477.25 c oneopt : 0.00 0 0 1476.84/1477.25 c twoopt : 0.00 0 0 1476.84/1477.25 c fixandinfer : 0.00 0 0 1476.84/1477.25 c feaspump : 0.00 0 0 1476.84/1477.25 c coefdiving : 0.00 0 0 1476.84/1477.25 c pscostdiving : 0.00 0 0 1476.84/1477.25 c fracdiving : 0.00 0 0 1476.84/1477.25 c veclendiving : 0.00 0 0 1476.84/1477.25 c intdiving : 0.00 0 0 1476.84/1477.25 c actconsdiving : 0.00 0 0 1476.84/1477.25 c objpscostdiving : 0.00 0 0 1476.84/1477.25 c rootsoldiving : 0.00 0 0 1476.84/1477.25 c linesearchdiving : 0.00 0 0 1476.84/1477.25 c guideddiving : 0.00 0 0 1476.84/1477.25 c octane : 0.00 0 0 1476.84/1477.25 c rens : 0.00 0 0 1476.84/1477.25 c rins : 0.00 0 0 1476.84/1477.25 c localbranching : 0.00 0 0 1476.84/1477.25 c mutation : 0.00 0 0 1476.84/1477.25 c crossover : 0.00 0 0 1476.84/1477.25 c dins : 0.00 0 0 1476.84/1477.25 c undercover : 0.00 0 0 1476.84/1477.25 c nlp : 0.00 0 0 1476.84/1477.25 c trysol : 0.00 0 0 1476.84/1477.25 c LP : Time Calls Iterations Iter/call Iter/sec 1476.84/1477.25 c primal LP : 0.00 0 0 0.00 - 1476.84/1477.25 c dual LP : 1123.36 128828 3440408 26.71 3062.61 1476.84/1477.25 c lex dual LP : 0.00 0 0 0.00 - 1476.84/1477.25 c barrier LP : 0.00 0 0 0.00 - 1476.84/1477.25 c diving/probing LP: 0.00 0 0 0.00 - 1476.84/1477.25 c strong branching : 118.47 6681 352538 52.77 2975.77 1476.84/1477.25 c (at root node) : - 9 1774 197.11 - 1476.84/1477.25 c conflict analysis: 0.00 0 0 0.00 - 1476.84/1477.25 c B&B Tree : 1476.84/1477.25 c number of runs : 1 1476.84/1477.25 c nodes : 131331 1476.84/1477.25 c nodes (total) : 131331 1476.84/1477.25 c nodes left : 0 1476.84/1477.25 c max depth : 59 1476.84/1477.25 c max depth (total): 59 1476.84/1477.25 c backtracks : 16172 (12.3%) 1476.84/1477.25 c delayed cutoffs : 830 1476.84/1477.25 c repropagations : 193782 (256387 domain reductions, 815 cutoffs) 1476.84/1477.25 c avg switch length: 4.69 1476.84/1477.25 c switching time : 56.93 1476.84/1477.25 c Solution : 1476.84/1477.25 c Solutions found : 0 (0 improvements) 1476.84/1477.25 c Primal Bound : infeasible 1476.84/1477.25 c Dual Bound : - 1476.84/1477.25 c Gap : 0.00 % 1476.84/1477.25 c Root Dual Bound : +0.00000000000000e+00 1476.84/1477.25 c Root Iterations : 208 1476.84/1477.29 c Time complete: 1476.92.
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-2703588-1278548956/watcher-2703588-1278548956 -o /tmp/evaluation-result-2703588-1278548956/solver-2703588-1278548956 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703588-1278548956.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.90 3/106 27063 /proc/meminfo: memFree=1696092/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=7904 CPUtime=0 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 1087 0 0 0 0 0 0 0 20 0 1 0 23109303 8093696 998 1992294400 4194304 8395647 140733969635584 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27063/statm: 1976 1006 365 1026 0 946 0 [startup+0.058421 s] /proc/loadavg: 0.99 0.97 0.90 3/106 27063 /proc/meminfo: memFree=1696092/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=13080 CPUtime=0.04 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 2824 0 0 0 4 0 0 0 20 0 1 0 23109303 13393920 2381 1992294400 4194304 8395647 140733969635584 18446744073709551615 7382127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 3270 2393 405 1026 0 2240 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13080 [startup+0.101424 s] /proc/loadavg: 0.99 0.97 0.90 3/106 27063 /proc/meminfo: memFree=1696092/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=19272 CPUtime=0.09 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 4206 0 0 0 8 1 0 0 20 0 1 0 23109303 19734528 3763 1992294400 4194304 8395647 140733969635584 18446744073709551615 5093790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 4818 3763 474 1026 0 3788 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19272 [startup+0.301443 s] /proc/loadavg: 0.99 0.97 0.90 3/106 27063 /proc/meminfo: memFree=1696092/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=33116 CPUtime=0.29 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 7821 0 0 0 27 2 0 0 20 0 1 0 23109303 33910784 7340 1992294400 4194304 8395647 140733969635584 18446744073709551615 6349002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 8279 7345 601 1026 0 7249 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33116 [startup+0.700473 s] /proc/loadavg: 0.99 0.97 0.90 3/106 27063 /proc/meminfo: memFree=1696092/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=0.69 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 8793 0 0 0 64 5 0 0 20 0 1 0 23109303 38445056 8283 1992294400 4194304 8395647 140733969635584 18446744073709551615 6201586 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8283 625 1026 0 8356 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 37544 [startup+1.50054 s] /proc/loadavg: 0.99 0.97 0.90 2/107 27064 /proc/meminfo: memFree=1665208/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=1.49 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 8797 0 0 0 143 6 0 0 22 0 1 0 23109303 38445056 8283 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8283 621 1026 0 8356 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37544 [startup+3.10067 s] /proc/loadavg: 0.99 0.97 0.90 2/107 27064 /proc/meminfo: memFree=1664960/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=3.09 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 8832 0 0 0 302 7 0 0 25 0 1 0 23109303 38445056 8318 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8318 624 1026 0 8356 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37544 [startup+6.30093 s] /proc/loadavg: 0.99 0.97 0.90 2/107 27064 /proc/meminfo: memFree=1664340/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=6.29 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 8858 0 0 0 619 10 0 0 25 0 1 0 23109303 38445056 8344 1992294400 4194304 8395647 140733969635584 18446744073709551615 6701805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8344 624 1026 0 8356 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37544 [startup+12.7014 s] /proc/loadavg: 1.15 1.00 0.91 2/107 27064 /proc/meminfo: memFree=1664340/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=12.69 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 8878 0 0 0 1254 15 0 0 25 0 1 0 23109303 38445056 8364 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8364 625 1026 0 8356 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37544 [startup+25.5015 s] /proc/loadavg: 1.12 1.00 0.91 2/107 27065 /proc/meminfo: memFree=1664340/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=25.49 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 8878 0 0 0 2521 28 0 0 25 0 1 0 23109303 38445056 8364 1992294400 4194304 8395647 140733969635584 18446744073709551615 6585873 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8364 625 1026 0 8356 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37544 [startup+51.1016 s] /proc/loadavg: 1.08 1.00 0.91 2/107 27066 /proc/meminfo: memFree=1664340/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=51.07 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 8881 0 0 0 5055 52 0 0 25 0 1 0 23109303 38445056 8367 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8367 627 1026 0 8356 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37544 [startup+102.309 s] /proc/loadavg: 1.08 1.01 0.92 2/107 27067 /proc/meminfo: memFree=1664340/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=102.26 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 8881 0 0 0 10124 102 0 0 25 0 1 0 23109303 38445056 8367 1992294400 4194304 8395647 140733969635584 18446744073709551615 6697271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8367 627 1026 0 8356 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 37544 [startup+162.302 s] /proc/loadavg: 1.14 1.04 0.93 2/107 27068 /proc/meminfo: memFree=1664340/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=162.24 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 8881 0 0 0 16063 161 0 0 25 0 1 0 23109303 38445056 8367 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8367 627 1026 0 8356 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 37544 [startup+222.301 s] /proc/loadavg: 1.09 1.04 0.93 2/107 27070 /proc/meminfo: memFree=1664340/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=222.23 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 8881 0 0 0 22003 220 0 0 25 0 1 0 23109303 38445056 8367 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8367 627 1026 0 8356 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 37544 [startup+282.301 s] /proc/loadavg: 1.03 1.03 0.93 2/107 27072 /proc/meminfo: memFree=1663348/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=282.22 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 9113 0 0 0 27943 279 0 0 25 0 1 0 23109303 38445056 8599 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8599 627 1026 0 8356 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 37544 [startup+342.301 s] /proc/loadavg: 1.01 1.03 0.93 2/107 27073 /proc/meminfo: memFree=1663224/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=342.2 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 9135 0 0 0 33886 334 0 0 25 0 1 0 23109303 38445056 8621 1992294400 4194304 8395647 140733969635584 18446744073709551615 6698218 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8621 627 1026 0 8356 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 37544 [startup+402.302 s] /proc/loadavg: 1.00 1.02 0.93 2/107 27075 /proc/meminfo: memFree=1663224/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=402.18 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 9136 0 0 0 39829 389 0 0 25 0 1 0 23109303 38445056 8622 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8622 627 1026 0 8356 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 37544 [startup+462.302 s] /proc/loadavg: 1.00 1.01 0.93 2/107 27076 /proc/meminfo: memFree=1663224/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=37544 CPUtime=462.17 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 9136 0 0 0 45767 450 0 0 25 0 1 0 23109303 38445056 8622 1992294400 4194304 8395647 140733969635584 18446744073709551615 6697060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9386 8622 627 1026 0 8356 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 37544 [startup+522.301 s] /proc/loadavg: 1.00 1.01 0.93 2/107 27078 /proc/meminfo: memFree=1662108/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=38944 CPUtime=522.16 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 9430 0 0 0 51706 510 0 0 25 0 1 0 23109303 39878656 8916 1992294400 4194304 8395647 140733969635584 18446744073709551615 6723944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 9736 8916 627 1026 0 8706 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 38944 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 27080 /proc/meminfo: memFree=1660868/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=40020 CPUtime=582.14 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 9731 0 0 0 57645 569 0 0 25 0 1 0 23109303 40980480 9213 1992294400 4194304 8395647 140733969635584 18446744073709551615 6697266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10005 9213 627 1026 0 8975 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 40020 [startup+642.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 27081 /proc/meminfo: memFree=1660496/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=40400 CPUtime=642.14 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 9821 0 0 0 63585 629 0 0 25 0 1 0 23109303 41369600 9303 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10100 9303 627 1026 0 9070 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 40400 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1659628/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=41356 CPUtime=882.07 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10129 0 0 0 87342 865 0 0 25 0 1 0 23109303 42348544 9611 1992294400 4194304 8395647 140733969635584 18446744073709551615 6741018 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10339 9611 725 1026 0 9309 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 41356 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.93 2/107 27089 /proc/meminfo: memFree=1659504/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=41356 CPUtime=942.06 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10159 0 0 0 93283 923 0 0 25 0 1 0 23109303 42348544 9641 1992294400 4194304 8395647 140733969635584 18446744073709551615 6723594 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10339 9641 725 1026 0 9309 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 41356 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 27091 /proc/meminfo: memFree=1659380/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=41356 CPUtime=1002.05 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10159 0 0 0 99223 982 0 0 25 0 1 0 23109303 42348544 9641 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10339 9641 725 1026 0 9309 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 41356 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 27092 /proc/meminfo: memFree=1659132/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=41520 CPUtime=1062.03 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10205 0 0 0 105162 1041 0 0 25 0 1 0 23109303 42516480 9687 1992294400 4194304 8395647 140733969635584 18446744073709551615 6697262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10380 9687 725 1026 0 9350 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 41520 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 27094 /proc/meminfo: memFree=1658884/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=41864 CPUtime=1122.02 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10274 0 0 0 111099 1103 0 0 25 0 1 0 23109303 42868736 9756 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10466 9756 725 1026 0 9436 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 41864 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 27096 /proc/meminfo: memFree=1658760/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=42072 CPUtime=1182 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10277 0 0 0 117037 1163 0 0 25 0 1 0 23109303 43081728 9759 1992294400 4194304 8395647 140733969635584 18446744073709551615 6583716 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10518 9759 725 1026 0 9488 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 42072 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 27097 /proc/meminfo: memFree=1658512/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=42072 CPUtime=1241.99 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10300 0 0 0 122976 1223 0 0 25 0 1 0 23109303 43081728 9782 1992294400 4194304 8395647 140733969635584 18446744073709551615 4785932 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10518 9782 725 1026 0 9488 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 42072 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 27099 /proc/meminfo: memFree=1658512/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=42072 CPUtime=1301.98 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10300 0 0 0 128920 1278 0 0 25 0 1 0 23109303 43081728 9782 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10518 9782 725 1026 0 9488 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 42072 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/107 27100 /proc/meminfo: memFree=1658388/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=42072 CPUtime=1361.96 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10301 0 0 0 134862 1334 0 0 25 0 1 0 23109303 43081728 9783 1992294400 4194304 8395647 140733969635584 18446744073709551615 5089490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10518 9783 725 1026 0 9488 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 42072 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/107 27102 /proc/meminfo: memFree=1658264/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=42072 CPUtime=1421.95 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10349 0 0 0 140805 1390 0 0 25 0 1 0 23109303 43081728 9831 1992294400 4194304 8395647 140733969635584 18446744073709551615 6697060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10518 9831 725 1026 0 9488 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 42072 Solver just ended. Dumping a history of the last processes samples [startup+1433.5 s] /proc/loadavg: 1.00 1.00 0.93 2/107 27102 /proc/meminfo: memFree=1658264/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=42072 CPUtime=1433.14 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10349 0 0 0 141914 1400 0 0 25 0 1 0 23109303 43081728 9831 1992294400 4194304 8395647 140733969635584 18446744073709551615 6693807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10518 9831 725 1026 0 9488 0 Current children cumulated CPU time (s) 1433.14 Current children cumulated vsize (KiB) 42072 [startup+1459.1 s] /proc/loadavg: 1.00 1.00 0.93 2/107 27103 /proc/meminfo: memFree=1658016/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=42464 CPUtime=1458.74 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10403 0 0 0 144449 1425 0 0 25 0 1 0 23109303 43483136 9885 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10616 9885 726 1026 0 9586 0 Current children cumulated CPU time (s) 1458.74 Current children cumulated vsize (KiB) 42464 [startup+1465.5 s] /proc/loadavg: 1.07 1.02 0.94 2/107 27103 /proc/meminfo: memFree=1658016/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=42464 CPUtime=1465.14 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10409 0 0 0 145083 1431 0 0 25 0 1 0 23109303 43483136 9891 1992294400 4194304 8395647 140733969635584 18446744073709551615 6697271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10616 9891 726 1026 0 9586 0 Current children cumulated CPU time (s) 1465.14 Current children cumulated vsize (KiB) 42464 [startup+1471.9 s] /proc/loadavg: 1.07 1.02 0.94 2/107 27103 /proc/meminfo: memFree=1657892/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=42464 CPUtime=1471.53 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10414 0 0 0 145716 1437 0 0 25 0 1 0 23109303 43483136 9896 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10616 9896 726 1026 0 9586 0 Current children cumulated CPU time (s) 1471.53 Current children cumulated vsize (KiB) 42464 [startup+1475.11 s] /proc/loadavg: 1.06 1.02 0.94 2/107 27104 /proc/meminfo: memFree=1657644/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=43072 CPUtime=1474.74 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10489 0 0 0 146032 1442 0 0 25 0 1 0 23109303 44105728 9971 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10768 9971 726 1026 0 9738 0 Current children cumulated CPU time (s) 1474.74 Current children cumulated vsize (KiB) 43072 [startup+1475.9 s] /proc/loadavg: 1.06 1.02 0.94 2/107 27104 /proc/meminfo: memFree=1657644/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=43072 CPUtime=1475.53 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10489 0 0 0 146110 1443 0 0 25 0 1 0 23109303 44105728 9971 1992294400 4194304 8395647 140733969635584 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10768 9971 726 1026 0 9738 0 Current children cumulated CPU time (s) 1475.53 Current children cumulated vsize (KiB) 43072 [startup+1476.7 s] /proc/loadavg: 1.06 1.02 0.94 2/107 27104 /proc/meminfo: memFree=1657644/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=43072 CPUtime=1476.33 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10489 0 0 0 146189 1444 0 0 25 0 1 0 23109303 44105728 9971 1992294400 4194304 8395647 140733969635584 18446744073709551615 6585873 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10768 9971 726 1026 0 9738 0 Current children cumulated CPU time (s) 1476.33 Current children cumulated vsize (KiB) 43072 [startup+1477.1 s] /proc/loadavg: 1.06 1.02 0.94 2/107 27104 /proc/meminfo: memFree=1657644/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=43072 CPUtime=1476.74 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10489 0 0 0 146229 1445 0 0 25 0 1 0 23109303 44105728 9971 1992294400 4194304 8395647 140733969635584 18446744073709551615 6698252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10768 9971 726 1026 0 9738 0 Current children cumulated CPU time (s) 1476.74 Current children cumulated vsize (KiB) 43072 [startup+1477.2 s] /proc/loadavg: 1.06 1.02 0.94 2/107 27104 /proc/meminfo: memFree=1657644/2059040 swapFree=4139412/4192956 [pid=27063] ppid=27061 vsize=43072 CPUtime=1476.84 /proc/27063/stat : 27063 (pbscip.linux.x8) R 27061 27063 25904 0 -1 4202496 10489 0 0 0 146239 1445 0 0 25 0 1 0 23109303 44105728 9971 1992294400 4194304 8395647 140733969635584 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27063/statm: 10768 9971 726 1026 0 9738 0 Current children cumulated CPU time (s) 1476.84 Current children cumulated vsize (KiB) 43072 Child status: 0 Real time (s): 1477.3 CPU time (s): 1476.94 CPU user time (s): 1462.48 CPU system time (s): 14.4608 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 43072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1462.48 system time used= 14.4608 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10492 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= 4 involuntary context switches= 2850 runsolver used 2.39164 second user time and 7.02393 second system time The end
Begin job on node003 at 2010-07-08 02:29:16 IDJOB=2703588 IDBENCH=1312 IDSOLVER=1213 FILE ID=node003/2703588-1278548956 PBS_JOBID= 11239527 Free space on /tmp= 62572 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.1900669797.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703588-1278548956/watcher-2703588-1278548956 -o /tmp/evaluation-result-2703588-1278548956/solver-2703588-1278548956 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703588-1278548956.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a7f9415d82387c85347e0216376f3dfd RANDOM SEED=927280195 node003.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.224 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.44 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.224 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1696620 kB Buffers: 60728 kB Cached: 211204 kB SwapCached: 9064 kB Active: 156624 kB Inactive: 131244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1696620 kB SwapTotal: 4192956 kB SwapFree: 4139412 kB Dirty: 10456 kB Writeback: 4 kB AnonPages: 11492 kB Mapped: 11868 kB Slab: 52584 kB PageTables: 4236 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179924 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= 62560 MiB End job on node003 at 2010-07-08 02:53:53