Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1800.08 | 1800.55 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb |
MD5SUM | 07abcf74f2aa8e328290ac3dd6aefa51 |
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 | 208.517 |
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 | 661 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE] 0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-2666895-1276285976.opb> 0.00/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.05 c problem read 0.00/0.05 c No objective function, only one solution is needed. 0.00/0.05 c presolving settings loaded 0.00/0.07 c presolving: 0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.14 c presolving (3 rounds): 0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.14 c 242 implications, 22 cliques 0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.14 c 1 constraints of type <knapsack> 0.09/0.14 c 22 constraints of type <setppc> 0.09/0.14 c 2541 constraints of type <logicor> 0.09/0.14 c transformed objective value is always integral (scale: 1) 0.09/0.14 c Presolving Time: 0.07 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.96 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.54 c 0.4s| 1 | 0 | 103 | - |3890k| 0 | 41 | 231 |2670 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.75 c 0.6s| 1 | 0 | 127 | - |4500k| 0 | 47 | 231 |2670 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.00/1.08 c 1.0s| 1 | 0 | 171 | - |4552k| 0 | 52 | 231 |2670 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.46 c 1.3s| 1 | 0 | 179 | - |4553k| 0 | 54 | 231 |2670 | 231 |2586 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf 1.79/1.84 c 1.7s| 1 | 0 | 183 | - |4553k| 0 | 54 | 231 |2670 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 2.59/2.63 c 2.5s| 1 | 2 | 183 | - |4554k| 0 | 54 | 231 |2670 | 231 |2587 | 23 | 0 | 10 | 0.000000e+00 | -- | Inf 142.86/142.95 c 140s| 10000 | 72 |236649 | 23.6 |6412k| 35 | 26 | 231 |6402 | 231 |2578 | 23 |5605 |2187 | 0.000000e+00 | -- | Inf 244.43/244.51 c 239s| 20000 | 99 |476628 | 23.8 |7740k| 39 | 37 | 231 |9190 | 231 |2578 | 23 | 11k|2281 | 0.000000e+00 | -- | Inf 356.10/356.24 c 349s| 30000 | 150 |717683 | 23.9 |9120k| 39 | 34 | 231 | 11k| 231 |2578 | 23 | 17k|2838 | 0.000000e+00 | -- | Inf 468.97/469.14 c 460s| 40000 | 138 |961798 | 24.0 |8231k| 42 | 31 | 231 |8714 | 231 |2578 | 23 | 24k|3477 | 0.000000e+00 | -- | Inf 572.23/572.45 c 561s| 50000 | 179 | 1193k| 23.9 |9125k| 42 | 28 | 231 | 10k| 231 |2578 | 23 | 30k|3882 | 0.000000e+00 | -- | Inf 684.01/684.21 c 670s| 60000 | 186 | 1444k| 24.1 |9589k| 42 | 44 | 231 | 11k| 231 |2578 | 23 | 36k|4280 | 0.000000e+00 | -- | Inf 783.88/784.19 c 768s| 70000 | 283 | 1665k| 23.8 | 10M| 50 | 22 | 231 | 12k| 231 |2578 | 23 | 41k|4628 | 0.000000e+00 | -- | Inf 886.55/886.89 c 869s| 80000 | 226 | 1889k| 23.6 | 10M| 55 | 39 | 231 | 12k| 231 |2578 | 23 | 47k|5003 | 0.000000e+00 | -- | Inf 996.72/997.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 996.72/997.05 c 976s| 90000 | 310 | 2143k| 23.8 | 10M| 55 | - | 231 | 11k| 231 |2578 | 23 | 53k|5303 | 0.000000e+00 | -- | Inf 1106.31/1106.67 c 1084s|100000 | 425 | 2393k| 23.9 | 11M| 55 | 43 | 231 | 13k| 231 |2578 | 23 | 59k|5608 | 0.000000e+00 | -- | Inf 1216.18/1216.57 c 1192s|110000 | 542 | 2648k| 24.1 | 12M| 55 | 29 | 231 | 14k| 231 |2578 | 23 | 64k|5862 | 0.000000e+00 | -- | Inf 1322.64/1323.08 c 1296s|120000 | 536 | 2894k| 24.1 | 11M| 55 | 34 | 231 | 11k| 231 |2578 | 23 | 70k|6062 | 0.000000e+00 | -- | Inf 1428.31/1428.70 c 1400s|130000 | 535 | 3139k| 24.2 | 10M| 56 | - | 231 |8658 | 231 |2578 | 23 | 75k|6327 | 0.000000e+00 | -- | Inf 1531.18/1531.69 c 1501s|140000 | 481 | 3380k| 24.1 |9987k| 57 | 40 | 231 |7290 | 231 |2578 | 23 | 81k|6541 | 0.000000e+00 | -- | Inf 1634.76/1635.24 c 1602s|150000 | 453 | 3623k| 24.2 | 10M| 57 | - | 231 |8236 | 231 |2578 | 23 | 87k|6764 | 0.000000e+00 | -- | Inf 1738.13/1738.62 c 1703s|160000 | 441 | 3864k| 24.2 | 10M| 57 | - | 231 |9995 | 231 |2578 | 23 | 93k|6950 | 0.000000e+00 | -- | Inf 1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.03/1800.51 c 1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.51 c Solving Time (sec) : 1763.76 1800.03/1800.51 c Solving Nodes : 165937 1800.03/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.03/1800.51 c Dual Bound : +0.00000000000000e+00 1800.03/1800.51 c Gap : infinite 1800.03/1800.51 s UNKNOWN 1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt] 1800.03/1800.51 c Solving Time : 1763.76 1800.03/1800.51 c Original Problem : 1800.03/1800.51 c Problem name : HOME/instance-2666895-1276285976.opb 1800.03/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.03/1800.51 c Constraints : 2707 initial, 2707 maximal 1800.03/1800.51 c Presolved Problem : 1800.03/1800.51 c Problem name : t_HOME/instance-2666895-1276285976.opb 1800.03/1800.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.03/1800.51 c Constraints : 2564 initial, 15483 maximal 1800.03/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.03/1800.51 c trivial : 0.01 0 0 0 0 0 0 0 0 1800.03/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.51 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.51 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.03/1800.51 c linear : 0.02 0 0 0 0 0 143 0 0 1800.03/1800.51 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.03/1800.51 c root node : - 0 - - 0 - - - - 1800.03/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.03/1800.51 c integral : 0 0 0 85603 0 265 2585 0 0 167590 1800.03/1800.51 c knapsack : 1 5 603932 0 0 1913 345543 0 0 0 1800.03/1800.51 c setppc : 22 5 602550 0 0 4022 855072 0 0 0 1800.03/1800.51 c linear : 0+ 5 132975 0 0 3 4792 0 0 0 1800.03/1800.51 c logicor : 2541+ 5 318767 0 0 1661 1187386 0 0 0 1800.03/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.03/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.03/1800.51 c integral : 122.95 0.00 0.00 122.95 0.00 1800.03/1800.51 c knapsack : 5.46 0.00 5.46 0.00 0.00 1800.03/1800.51 c setppc : 7.13 0.00 7.13 0.00 0.00 1800.03/1800.51 c linear : 0.49 0.00 0.49 0.00 0.00 1800.03/1800.51 c logicor : 58.93 0.00 58.93 0.00 0.00 1800.03/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds 1800.03/1800.51 c vbounds : 0.34 1 0 0 1800.03/1800.51 c rootredcost : 0.33 0 0 0 1800.03/1800.51 c pseudoobj : 0.31 0 0 0 1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.03/1800.51 c propagation : 0.66 7599 7568 43699 25.1 122 23.9 - 1800.03/1800.51 c infeasible LP : 32.69 75518 70541 459017 37.1 378 19.9 0 1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.03/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.03/1800.51 c applied globally : - - - 86454 20.2 - - - 1800.03/1800.51 c applied locally : - - - 9989 34.5 - - - 1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.03/1800.51 c cut pool : 0.00 4 - - 71 - (maximal pool size: 345) 1800.03/1800.51 c redcost : 0.95 84166 0 0 0 0 1800.03/1800.51 c impliedbounds : 0.00 5 0 0 0 0 1800.03/1800.51 c intobj : 0.00 0 0 0 0 0 1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0 1800.03/1800.51 c gomory : 0.75 5 0 0 1275 0 1800.03/1800.51 c strongcg : 0.59 5 0 0 1306 0 1800.03/1800.51 c cmir : 0.00 0 0 0 0 0 1800.03/1800.51 c flowcover : 0.00 0 0 0 0 0 1800.03/1800.51 c clique : 0.00 5 0 0 0 0 1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0 1800.03/1800.51 c mcf : 0.00 1 0 0 0 0 1800.03/1800.51 c rapidlearning : 0.22 1 0 0 0 106 1800.03/1800.51 c Pricers : Time Calls Vars 1800.03/1800.51 c problem variables: 0.00 0 0 1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.03/1800.51 c relpscost : 122.63 85603 265 2585 0 0 167590 1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0 1800.03/1800.51 c inference : 0.00 0 0 0 0 0 0 1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0 1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0 1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0 1800.03/1800.51 c random : 0.00 0 0 0 0 0 0 1800.03/1800.51 c Primal Heuristics : Time Calls Found 1800.03/1800.51 c LP solutions : 0.00 - 0 1800.03/1800.51 c pseudo solutions : 0.00 - 0 1800.03/1800.51 c trivial : 0.00 1 0 1800.03/1800.51 c simplerounding : 0.00 0 0 1800.03/1800.51 c zirounding : 0.00 0 0 1800.03/1800.51 c rounding : 0.00 0 0 1800.03/1800.51 c shifting : 0.00 0 0 1800.03/1800.51 c intshifting : 0.00 0 0 1800.03/1800.51 c oneopt : 0.00 0 0 1800.03/1800.51 c twoopt : 0.00 0 0 1800.03/1800.51 c fixandinfer : 0.00 0 0 1800.03/1800.51 c feaspump : 0.00 0 0 1800.03/1800.51 c coefdiving : 0.00 0 0 1800.03/1800.51 c pscostdiving : 0.00 0 0 1800.03/1800.51 c fracdiving : 0.00 0 0 1800.03/1800.51 c veclendiving : 0.00 0 0 1800.03/1800.51 c intdiving : 0.00 0 0 1800.03/1800.51 c actconsdiving : 0.00 0 0 1800.03/1800.51 c objpscostdiving : 0.00 0 0 1800.03/1800.51 c rootsoldiving : 0.00 0 0 1800.03/1800.51 c linesearchdiving : 0.00 0 0 1800.03/1800.51 c guideddiving : 0.00 0 0 1800.03/1800.51 c octane : 0.00 0 0 1800.03/1800.51 c rens : 0.00 0 0 1800.03/1800.51 c rins : 0.00 0 0 1800.03/1800.51 c localbranching : 0.00 0 0 1800.03/1800.51 c mutation : 0.00 0 0 1800.03/1800.51 c crossover : 0.00 0 0 1800.03/1800.51 c dins : 0.00 0 0 1800.03/1800.51 c undercover : 0.00 0 0 1800.03/1800.51 c nlp : 0.00 0 0 1800.03/1800.51 c trysol : 0.00 0 0 1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec 1800.03/1800.51 c primal LP : 0.01 0 0 0.00 0.00 1800.03/1800.51 c dual LP : 1389.57 160681 4010740 24.96 2886.32 1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 - 1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 - 1800.03/1800.51 c diving/probing LP: 0.00 0 0 0.00 - 1800.03/1800.51 c strong branching : 119.33 7046 334663 47.50 2804.52 1800.03/1800.51 c (at root node) : - 10 1936 193.60 - 1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 - 1800.03/1800.51 c B&B Tree : 1800.03/1800.51 c number of runs : 1 1800.03/1800.51 c nodes : 165937 1800.03/1800.51 c nodes (total) : 165937 1800.03/1800.51 c nodes left : 407 1800.03/1800.51 c max depth : 57 1800.03/1800.51 c max depth (total): 57 1800.03/1800.51 c backtracks : 21564 (13.0%) 1800.03/1800.51 c delayed cutoffs : 1247 1800.03/1800.51 c repropagations : 221107 (325095 domain reductions, 1240 cutoffs) 1800.03/1800.51 c avg switch length: 4.62 1800.03/1800.51 c switching time : 53.48 1800.03/1800.51 c Solution : 1800.03/1800.51 c Solutions found : 0 (0 improvements) 1800.03/1800.51 c Primal Bound : - 1800.03/1800.51 c Dual Bound : +0.00000000000000e+00 1800.03/1800.51 c Gap : infinite 1800.03/1800.51 c Root Dual Bound : +0.00000000000000e+00 1800.03/1800.51 c Root Iterations : 183 1800.03/1800.55 c Time complete: 1800.07.
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-2666895-1276285976/watcher-2666895-1276285976 -o /tmp/evaluation-result-2666895-1276285976/solver-2666895-1276285976 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666895-1276285976.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5199 /proc/meminfo: memFree=1560680/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=7724 CPUtime=0 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 1032 0 0 0 0 0 0 0 20 0 1 0 4201514 7909376 952 1992294400 4194304 8223781 140733505293408 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5199/statm: 1931 962 348 984 0 944 0 [startup+0.0915871 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5199 /proc/meminfo: memFree=1560680/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=15932 CPUtime=0.08 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 3651 0 0 0 7 1 0 0 20 0 1 0 4201514 16314368 2950 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 3983 2950 441 984 0 2996 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 15932 [startup+0.101588 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5199 /proc/meminfo: memFree=1560680/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=16380 CPUtime=0.09 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 3774 0 0 0 8 1 0 0 20 0 1 0 4201514 16773120 3073 1992294400 4194304 8223781 140733505293408 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 4095 3078 443 984 0 3108 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16380 [startup+0.301608 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5199 /proc/meminfo: memFree=1560680/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=30632 CPUtime=0.29 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 10038 0 0 0 25 4 0 0 20 0 1 0 4201514 31367168 6701 1992294400 4194304 8223781 140733505293408 18446744073709551615 4213700 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 7658 6701 569 984 0 6671 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30632 [startup+0.701646 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5199 /proc/meminfo: memFree=1560680/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=27108 CPUtime=0.69 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 13010 0 0 0 62 7 0 0 21 0 1 0 4201514 27758592 5945 1992294400 4194304 8223781 140733505293408 18446744073709551615 6054126 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 6777 5945 583 984 0 5790 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27108 [startup+1.50172 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5200 /proc/meminfo: memFree=1538600/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=27440 CPUtime=1.49 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 13079 0 0 0 141 8 0 0 23 0 1 0 4201514 28098560 6014 1992294400 4194304 8223781 140733505293408 18446744073709551615 6043589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 6860 6014 583 984 0 5873 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27440 [startup+3.10188 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5200 /proc/meminfo: memFree=1538352/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=27852 CPUtime=3.09 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 13305 0 0 0 300 9 0 0 25 0 1 0 4201514 28520448 6090 1992294400 4194304 8223781 140733505293408 18446744073709551615 6559794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 6963 6090 584 984 0 5976 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27852 [startup+6.30119 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5200 /proc/meminfo: memFree=1537980/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=27552 CPUtime=6.29 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 13527 0 0 0 618 11 0 0 25 0 1 0 4201514 28213248 6065 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 6888 6065 584 984 0 5901 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27552 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5200 /proc/meminfo: memFree=1537856/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=27552 CPUtime=12.69 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 13534 0 0 0 1253 16 0 0 25 0 1 0 4201514 28213248 6068 1992294400 4194304 8223781 140733505293408 18446744073709551615 6444631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 6888 6068 586 984 0 5901 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27552 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5200 /proc/meminfo: memFree=1537856/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=27552 CPUtime=25.48 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 13566 0 0 0 2518 30 0 0 25 0 1 0 4201514 28213248 6068 1992294400 4194304 8223781 140733505293408 18446744073709551615 6448531 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 6888 6068 586 984 0 5901 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27552 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5200 /proc/meminfo: memFree=1537732/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=27720 CPUtime=51.07 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 27644 0 0 0 5040 67 0 0 25 0 1 0 4201514 28385280 6096 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 6930 6096 587 984 0 5943 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 27720 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5202 /proc/meminfo: memFree=1536492/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=28456 CPUtime=102.27 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 141182 0 0 0 10039 188 0 0 25 0 1 0 4201514 29138944 6295 1992294400 4194304 8223781 140733505293408 18446744073709551615 6559800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 7114 6295 587 984 0 6127 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28456 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5204 /proc/meminfo: memFree=1535376/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=29696 CPUtime=162.24 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 276922 0 0 0 15895 329 0 0 25 0 1 0 4201514 30408704 6590 1992294400 4194304 8223781 140733505293408 18446744073709551615 6569884 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 7424 6590 587 984 0 6437 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 29696 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5206 /proc/meminfo: memFree=1534012/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=31424 CPUtime=222.24 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 366848 0 0 0 21766 458 0 0 25 0 1 0 4201514 32178176 6995 1992294400 4194304 8223781 140733505293408 18446744073709551615 6604249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 7815 6994 587 984 0 6828 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 31424 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5208 /proc/meminfo: memFree=1533144/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=32256 CPUtime=282.22 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 485521 0 0 0 27631 591 0 0 25 0 1 0 4201514 33030144 7243 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 8064 7243 587 984 0 7077 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 32256 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5208 /proc/meminfo: memFree=1531656/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=33532 CPUtime=342.21 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 575496 0 0 0 33514 707 0 0 25 0 1 0 4201514 34336768 7561 1992294400 4194304 8223781 140733505293408 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 8383 7561 587 984 0 7396 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 33532 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5210 /proc/meminfo: memFree=1530912/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=33940 CPUtime=402.19 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 657219 0 0 0 39391 828 0 0 25 0 1 0 4201514 34754560 7657 1992294400 4194304 8223781 140733505293408 18446744073709551615 6569863 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 8485 7657 587 984 0 7498 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 33940 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 5212 /proc/meminfo: memFree=1530912/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=33940 CPUtime=462.17 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 684517 0 0 0 45283 934 0 0 25 0 1 0 4201514 34754560 7659 1992294400 4194304 8223781 140733505293408 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 8485 7659 587 984 0 7498 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 33940 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5223 /proc/meminfo: memFree=1530168/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=33940 CPUtime=522.14 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 732023 0 0 0 51172 1042 0 0 25 0 1 0 4201514 34754560 7659 1992294400 4194304 8223781 140733505293408 18446744073709551615 6568506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 8485 7659 587 984 0 7498 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 33940 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5225 /proc/meminfo: memFree=1530044/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=34488 CPUtime=582.13 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 833757 0 0 0 57047 1166 0 0 25 0 1 0 4201514 35315712 7768 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 8622 7768 587 984 0 7635 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 34488 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5225 /proc/meminfo: memFree=1529672/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=34952 CPUtime=642.12 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 956613 0 0 0 62916 1296 0 0 25 0 1 0 4201514 35790848 7876 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 8738 7876 587 984 0 7751 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 34952 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5233 /proc/meminfo: memFree=1528680/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=36200 CPUtime=882.06 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 1281421 0 0 0 86418 1788 0 0 25 0 1 0 4201514 37068800 8184 1992294400 4194304 8223781 140733505293408 18446744073709551615 5908957 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9050 8184 601 984 0 8063 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 36200 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5233 /proc/meminfo: memFree=1528680/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=35876 CPUtime=942.03 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 1389011 0 0 0 92281 1922 0 0 25 0 1 0 4201514 36737024 8104 1992294400 4194304 8223781 140733505293408 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 8969 8104 587 984 0 7982 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 35876 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5235 /proc/meminfo: memFree=1528680/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=35944 CPUtime=1002.02 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 1516540 0 0 0 98143 2059 0 0 25 0 1 0 4201514 36806656 8111 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 8986 8111 587 984 0 7999 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 35944 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5237 /proc/meminfo: memFree=1527936/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=36572 CPUtime=1062.01 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 1581802 0 0 0 104030 2171 0 0 25 0 1 0 4201514 37449728 8277 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9143 8277 587 984 0 8156 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 36572 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5239 /proc/meminfo: memFree=1527192/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=37880 CPUtime=1121.99 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 1650659 0 0 0 109905 2294 0 0 25 0 1 0 4201514 38789120 8587 1992294400 4194304 8223781 140733505293408 18446744073709551615 6569329 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9470 8587 587 984 0 8483 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 37880 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5241 /proc/meminfo: memFree=1525580/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=39080 CPUtime=1181.98 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 1696647 0 0 0 115805 2393 0 0 25 0 1 0 4201514 40017920 8878 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9770 8878 587 984 0 8783 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 39080 [startup+1242.3 s] /proc/loadavg: 1.08 1.02 1.01 2/107 5244 /proc/meminfo: memFree=1524464/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=39220 CPUtime=1241.96 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 1713879 0 0 0 121714 2482 0 0 25 0 1 0 4201514 40161280 8910 1992294400 4194304 8223781 140733505293408 18446744073709551615 5926522 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9805 8910 587 984 0 8818 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 39220 [startup+1302.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 5246 /proc/meminfo: memFree=1524464/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=39220 CPUtime=1301.95 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 1756604 0 0 0 127601 2594 0 0 25 0 1 0 4201514 40161280 8910 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9805 8910 587 984 0 8818 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 39220 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 5248 /proc/meminfo: memFree=1524464/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=39220 CPUtime=1361.93 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 1816998 0 0 0 133480 2713 0 0 25 0 1 0 4201514 40161280 8910 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9805 8910 587 984 0 8818 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 39220 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5250 /proc/meminfo: memFree=1524464/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=39440 CPUtime=1421.92 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 1882803 0 0 0 139368 2824 0 0 25 0 1 0 4201514 40386560 8942 1992294400 4194304 8223781 140733505293408 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9860 8942 587 984 0 8873 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 39440 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5252 /proc/meminfo: memFree=1524588/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=39220 CPUtime=1481.9 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 1960178 0 0 0 145239 2951 0 0 25 0 1 0 4201514 40161280 8910 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9805 8910 587 984 0 8818 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 39220 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5252 /proc/meminfo: memFree=1524588/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=39220 CPUtime=1541.88 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 2053783 0 0 0 151111 3077 0 0 25 0 1 0 4201514 40161280 8910 1992294400 4194304 8223781 140733505293408 18446744073709551615 6599072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9805 8910 587 984 0 8818 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 39220 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5254 /proc/meminfo: memFree=1524588/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=39220 CPUtime=1601.87 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 2151032 0 0 0 156982 3205 0 0 25 0 1 0 4201514 40161280 8910 1992294400 4194304 8223781 140733505293408 18446744073709551615 5957329 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9805 8910 587 984 0 8818 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 39220 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5256 /proc/meminfo: memFree=1524712/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=39340 CPUtime=1661.86 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 2248102 0 0 0 162849 3337 0 0 25 0 1 0 4201514 40284160 8924 1992294400 4194304 8223781 140733505293408 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9835 8924 587 984 0 8848 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 39340 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5258 /proc/meminfo: memFree=1524712/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=39440 CPUtime=1721.85 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 2350880 0 0 0 168721 3464 0 0 25 0 1 0 4201514 40386560 8954 1992294400 4194304 8223781 140733505293408 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9940 8963 587 984 0 8953 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 39440 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5260 /proc/meminfo: memFree=1524340/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=39440 CPUtime=1781.83 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 2431764 0 0 0 174598 3585 0 0 25 0 1 0 4201514 40386560 8958 1992294400 4194304 8223781 140733505293408 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9860 8958 587 984 0 8873 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 39440 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5260 /proc/meminfo: memFree=1524340/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=39564 CPUtime=1800.03 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 2454507 0 0 0 176380 3623 0 0 25 0 1 0 4201514 40513536 8988 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9891 8988 587 984 0 8904 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 39564 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5260 /proc/meminfo: memFree=1524340/2059040 swapFree=4192956/4192956 [pid=5199] ppid=5197 vsize=39564 CPUtime=1800.03 /proc/5199/stat : 5199 (pbscip.linux.x8) R 5197 5199 4839 0 -1 4202496 2454507 0 0 0 176380 3623 0 0 25 0 1 0 4201514 40513536 8988 1992294400 4194304 8223781 140733505293408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5199/statm: 9891 8988 587 984 0 8904 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 39564 Child status: 0 Real time (s): 1800.55 CPU time (s): 1800.08 CPU user time (s): 1763.84 CPU system time (s): 36.2395 CPU usage (%): 99.9739 Max. virtual memory (cumulated for all children) (KiB): 40616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1763.84 system time used= 36.2395 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2454556 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 22441 runsolver used 3.10253 second user time and 8.38472 second system time The end
Begin job on node004 at 2010-06-11 21:52:56 IDJOB=2666895 IDBENCH=1282 IDSOLVER=1169 FILE ID=node004/2666895-1276285976 PBS_JOBID= 11173111 Free space on /tmp= 62532 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900577940.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-2666895-1276285976/watcher-2666895-1276285976 -o /tmp/evaluation-result-2666895-1276285976/solver-2666895-1276285976 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666895-1276285976.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 07abcf74f2aa8e328290ac3dd6aefa51 RANDOM SEED=1356268624 node004.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1561084 kB Buffers: 59496 kB Cached: 312024 kB SwapCached: 0 kB Active: 171364 kB Inactive: 259504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1561084 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4632 kB Writeback: 0 kB AnonPages: 59312 kB Mapped: 15468 kB Slab: 45224 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182572 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62528 MiB End job on node004 at 2010-06-11 22:22:59