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.14 | 1800.7 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb |
MD5SUM | 8485c5b622ae9efcb86cc93d1fd8b600 |
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 | 203.568 |
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 | 697 |
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-2667285-1276300621.opb> 0.00/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.06 c problem read 0.00/0.06 c No objective function, only one solution is needed. 0.00/0.06 c presolving settings loaded 0.00/0.07 c presolving: 0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.15 c presolving (3 rounds): 0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.15 c 242 implications, 22 cliques 0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.07 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 86 | - |3551k| 0 | 37 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.53 c 0.4s| 1 | 0 | 104 | - |3940k| 0 | 41 | 231 |2716 | 231 |2577 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.70 c 0.6s| 1 | 0 | 116 | - |4665k| 0 | 44 | 231 |2716 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 0.89/0.98 c 0.8s| 1 | 0 | 136 | - |5055k| 0 | 47 | 231 |2716 | 231 |2581 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 1.19/1.27 c 1.1s| 1 | 0 | 170 | - |5578k| 0 | 53 | 231 |2716 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.69/1.73 c 1.6s| 1 | 0 | 205 | - |5734k| 0 | 52 | 231 |2716 | 231 |2590 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf 2.49/2.51 c 2.4s| 1 | 2 | 205 | - |5734k| 0 | 52 | 231 |2716 | 231 |2590 | 26 | 0 | 10 | 0.000000e+00 | -- | Inf 139.65/139.77 c 137s| 10000 | 69 |229833 | 23.0 |7667k| 39 | 37 | 231 |6499 | 231 |2577 | 26 |6005 |2206 | 0.000000e+00 | -- | Inf 240.30/240.49 c 235s| 20000 | 91 |464678 | 23.2 |8432k| 42 | - | 231 |7702 | 231 |2577 | 26 | 11k|2416 | 0.000000e+00 | -- | Inf 350.37/350.57 c 343s| 30000 | 70 |707473 | 23.6 |8687k| 42 | 37 | 231 |8241 | 231 |2577 | 26 | 17k|2933 | 0.000000e+00 | -- | Inf 462.75/462.94 c 453s| 40000 | 55 |954304 | 23.9 |9043k| 46 | 28 | 231 |8780 | 231 |2577 | 26 | 23k|3513 | 0.000000e+00 | -- | Inf 575.91/576.16 c 564s| 50000 | 63 | 1211k| 24.2 |9868k| 46 | 23 | 231 | 10k| 231 |2577 | 26 | 29k|3898 | 0.000000e+00 | -- | Inf 687.37/687.68 c 673s| 60000 | 101 | 1463k| 24.4 | 11M| 50 | 41 | 231 | 13k| 231 |2577 | 26 | 35k|4313 | 0.000000e+00 | -- | Inf 797.74/798.03 c 782s| 70000 | 94 | 1711k| 24.5 | 10M| 50 | 43 | 231 | 11k| 231 |2577 | 26 | 40k|4693 | 0.000000e+00 | -- | Inf 905.81/906.16 c 887s| 80000 | 164 | 1956k| 24.5 | 11M| 50 | - | 231 | 12k| 231 |2577 | 26 | 46k|5026 | 0.000000e+00 | -- | Inf 1018.68/1019.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1018.68/1019.06 c 998s| 90000 | 176 | 2212k| 24.6 | 11M| 51 | - | 231 | 13k| 231 |2577 | 26 | 52k|5324 | 0.000000e+00 | -- | Inf 1123.04/1123.48 c 1100s|100000 | 155 | 2449k| 24.5 | 11M| 55 | 35 | 231 | 12k| 231 |2577 | 26 | 58k|5563 | 0.000000e+00 | -- | Inf 1230.91/1231.31 c 1206s|110000 | 160 | 2694k| 24.5 | 11M| 55 | 34 | 231 | 11k| 231 |2577 | 26 | 64k|5888 | 0.000000e+00 | -- | Inf 1338.98/1339.48 c 1312s|120000 | 192 | 2945k| 24.5 | 11M| 57 | 42 | 231 | 11k| 231 |2577 | 26 | 69k|6108 | 0.000000e+00 | -- | Inf 1446.24/1446.79 c 1418s|130000 | 224 | 3194k| 24.6 | 11M| 57 | 40 | 231 | 11k| 231 |2577 | 26 | 75k|6358 | 0.000000e+00 | -- | Inf 1554.31/1554.86 c 1523s|140000 | 211 | 3443k| 24.6 | 11M| 57 | - | 231 | 10k| 231 |2577 | 26 | 80k|6621 | 0.000000e+00 | -- | Inf 1660.28/1660.89 c 1627s|150000 | 213 | 3695k| 24.6 | 12M| 57 | 46 | 231 | 12k| 231 |2577 | 26 | 86k|6791 | 0.000000e+00 | -- | Inf 1771.05/1771.60 c 1736s|160000 | 166 | 3949k| 24.7 | 11M| 57 | - | 231 | 10k| 231 |2577 | 26 | 91k|7060 | 0.000000e+00 | -- | Inf 1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.65 c 1800.05/1800.65 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.65 c Solving Time (sec) : 1763.96 1800.05/1800.65 c Solving Nodes : 162677 1800.05/1800.65 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.05/1800.65 c Dual Bound : +0.00000000000000e+00 1800.05/1800.65 c Gap : infinite 1800.05/1800.65 s UNKNOWN 1800.05/1800.65 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.65 c Solving Time : 1763.96 1800.05/1800.65 c Original Problem : 1800.05/1800.65 c Problem name : HOME/instance-2667285-1276300621.opb 1800.05/1800.65 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.65 c Constraints : 2707 initial, 2707 maximal 1800.05/1800.65 c Presolved Problem : 1800.05/1800.65 c Problem name : t_HOME/instance-2667285-1276300621.opb 1800.05/1800.65 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.65 c Constraints : 2564 initial, 13940 maximal 1800.05/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.65 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.65 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.65 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.65 c probing : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.65 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.65 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.65 c linear : 0.03 0 0 0 0 0 143 0 0 1800.05/1800.65 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.05/1800.65 c root node : - 0 - - 0 - - - - 1800.05/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.65 c integral : 0 0 0 83921 0 250 2890 0 0 163856 1800.05/1800.65 c knapsack : 1 5 603639 0 0 1258 275221 2 0 0 1800.05/1800.65 c setppc : 22 5 602729 0 0 3712 807954 0 0 0 1800.05/1800.65 c linear : 0+ 5 220788 0 0 30 3464 3 0 0 1800.05/1800.65 c logicor : 2541+ 5 304268 0 0 1366 1103961 0 0 0 1800.05/1800.65 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.05/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.65 c integral : 124.89 0.00 0.00 124.89 0.00 1800.05/1800.65 c knapsack : 5.17 0.00 5.17 0.00 0.00 1800.05/1800.65 c setppc : 8.69 0.00 8.69 0.00 0.00 1800.05/1800.65 c linear : 1.30 0.00 1.30 0.00 0.00 1800.05/1800.65 c logicor : 57.92 0.00 57.92 0.00 0.00 1800.05/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.65 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.65 c vbounds : 0.37 1 0 0 1800.05/1800.65 c rootredcost : 0.36 0 0 0 1800.05/1800.65 c pseudoobj : 0.25 0 0 0 1800.05/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.65 c propagation : 0.57 6366 6354 38306 24.6 113 21.6 - 1800.05/1800.65 c infeasible LP : 32.71 75149 71079 478399 36.7 396 18.2 0 1800.05/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.65 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.05/1800.65 c applied globally : - - - 83709 20.1 - - - 1800.05/1800.65 c applied locally : - - - 9714 34.4 - - - 1800.05/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.65 c cut pool : 0.00 4 - - 120 - (maximal pool size: 633) 1800.05/1800.65 c redcost : 0.75 82279 0 0 0 0 1800.05/1800.65 c impliedbounds : 0.00 5 0 0 0 0 1800.05/1800.65 c intobj : 0.00 0 0 0 0 0 1800.05/1800.65 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.65 c gomory : 0.75 5 0 0 1392 0 1800.05/1800.65 c strongcg : 0.46 5 0 0 2331 0 1800.05/1800.65 c cmir : 0.00 0 0 0 0 0 1800.05/1800.65 c flowcover : 0.00 0 0 0 0 0 1800.05/1800.65 c clique : 0.00 5 0 0 0 0 1800.05/1800.65 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.65 c mcf : 0.01 1 0 0 0 0 1800.05/1800.65 c rapidlearning : 0.19 1 0 0 0 152 1800.05/1800.65 c Pricers : Time Calls Vars 1800.05/1800.65 c problem variables: 0.00 0 0 1800.05/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.65 c relpscost : 124.64 83921 250 2890 0 0 163856 1800.05/1800.65 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.65 c inference : 0.00 0 0 0 0 0 0 1800.05/1800.65 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.65 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.65 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.65 c random : 0.00 0 0 0 0 0 0 1800.05/1800.65 c Primal Heuristics : Time Calls Found 1800.05/1800.65 c LP solutions : 0.00 - 0 1800.05/1800.65 c pseudo solutions : 0.00 - 0 1800.05/1800.65 c trivial : 0.00 1 0 1800.05/1800.65 c simplerounding : 0.00 0 0 1800.05/1800.65 c zirounding : 0.00 0 0 1800.05/1800.65 c rounding : 0.00 0 0 1800.05/1800.65 c shifting : 0.00 0 0 1800.05/1800.65 c intshifting : 0.00 0 0 1800.05/1800.65 c oneopt : 0.00 0 0 1800.05/1800.65 c twoopt : 0.00 0 0 1800.05/1800.65 c fixandinfer : 0.00 0 0 1800.05/1800.65 c feaspump : 0.00 0 0 1800.05/1800.65 c coefdiving : 0.00 0 0 1800.05/1800.65 c pscostdiving : 0.00 0 0 1800.05/1800.65 c fracdiving : 0.00 0 0 1800.05/1800.65 c veclendiving : 0.00 0 0 1800.05/1800.65 c intdiving : 0.00 0 0 1800.05/1800.65 c actconsdiving : 0.00 0 0 1800.05/1800.65 c objpscostdiving : 0.00 0 0 1800.05/1800.65 c rootsoldiving : 0.00 0 0 1800.05/1800.65 c linesearchdiving : 0.00 0 0 1800.05/1800.65 c guideddiving : 0.00 0 0 1800.05/1800.65 c octane : 0.00 0 0 1800.05/1800.65 c rens : 0.00 0 0 1800.05/1800.65 c rins : 0.00 0 0 1800.05/1800.65 c localbranching : 0.00 0 0 1800.05/1800.65 c mutation : 0.00 0 0 1800.05/1800.65 c crossover : 0.00 0 0 1800.05/1800.65 c dins : 0.00 0 0 1800.05/1800.65 c undercover : 0.00 0 0 1800.05/1800.65 c nlp : 0.00 0 0 1800.05/1800.65 c trysol : 0.00 0 0 1800.05/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.65 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.65 c dual LP : 1386.37 158707 4018253 25.32 2898.40 1800.05/1800.65 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.65 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.65 c diving/probing LP: 0.00 0 0 0.00 - 1800.05/1800.65 c strong branching : 121.11 7105 339439 47.77 2802.73 1800.05/1800.65 c (at root node) : - 10 1869 186.90 - 1800.05/1800.65 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.65 c B&B Tree : 1800.05/1800.65 c number of runs : 1 1800.05/1800.66 c nodes : 162677 1800.05/1800.66 c nodes (total) : 162677 1800.05/1800.66 c nodes left : 157 1800.05/1800.66 c max depth : 57 1800.05/1800.66 c max depth (total): 57 1800.05/1800.66 c backtracks : 20121 (12.4%) 1800.05/1800.66 c delayed cutoffs : 1023 1800.05/1800.66 c repropagations : 235819 (296027 domain reductions, 1016 cutoffs) 1800.05/1800.66 c avg switch length: 4.62 1800.05/1800.66 c switching time : 56.19 1800.05/1800.66 c Solution : 1800.05/1800.66 c Solutions found : 0 (0 improvements) 1800.05/1800.66 c Primal Bound : - 1800.05/1800.66 c Dual Bound : +0.00000000000000e+00 1800.05/1800.66 c Gap : infinite 1800.05/1800.66 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.66 c Root Iterations : 205 1800.05/1800.69 c Time complete: 1800.13.
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-2667285-1276300621/watcher-2667285-1276300621 -o /tmp/evaluation-result-2667285-1276300621/solver-2667285-1276300621 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667285-1276300621.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6005 /proc/meminfo: memFree=1545868/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=6692 CPUtime=0 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 829 0 0 0 0 0 0 0 23 0 1 0 5666025 6852608 748 1992294400 4194304 8223781 140733567670576 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6005/statm: 1673 758 338 984 0 686 0 [startup+0.0961459 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6005 /proc/meminfo: memFree=1545868/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=15936 CPUtime=0.08 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 3654 0 0 0 7 1 0 0 23 0 1 0 5666025 16318464 2952 1992294400 4194304 8223781 140733567670576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 3984 2952 441 984 0 2997 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 15936 [startup+0.101145 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6005 /proc/meminfo: memFree=1545868/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=16236 CPUtime=0.09 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 3717 0 0 0 8 1 0 0 24 0 1 0 5666025 16625664 3015 1992294400 4194304 8223781 140733567670576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 4059 3017 443 984 0 3072 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16236 [startup+0.301164 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6005 /proc/meminfo: memFree=1545868/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=30172 CPUtime=0.29 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 9878 0 0 0 25 4 0 0 25 0 1 0 5666025 30896128 6541 1992294400 4194304 8223781 140733567670576 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 7543 6551 570 984 0 6556 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30172 [startup+0.701201 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6005 /proc/meminfo: memFree=1545868/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=27928 CPUtime=0.69 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 13203 0 0 0 62 7 0 0 25 0 1 0 5666025 28598272 6134 1992294400 4194304 8223781 140733567670576 18446744073709551615 6569925 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 6982 6134 583 984 0 5995 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27928 [startup+1.50128 s] /proc/loadavg: 0.92 0.98 0.99 2/107 6006 /proc/meminfo: memFree=1523292/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=28272 CPUtime=1.49 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 13322 0 0 0 140 9 0 0 25 0 1 0 5666025 28950528 6227 1992294400 4194304 8223781 140733567670576 18446744073709551615 7070900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 7068 6227 583 984 0 6081 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28272 [startup+3.10143 s] /proc/loadavg: 0.92 0.98 0.99 2/107 6006 /proc/meminfo: memFree=1522424/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=28992 CPUtime=3.09 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 13962 0 0 0 299 10 0 0 25 0 1 0 5666025 29687808 6385 1992294400 4194304 8223781 140733567670576 18446744073709551615 6570102 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 7248 6385 584 984 0 6261 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28992 [startup+6.30073 s] /proc/loadavg: 0.93 0.98 0.99 2/107 6006 /proc/meminfo: memFree=1521928/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=28560 CPUtime=6.29 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 16756 0 0 0 613 16 0 0 25 0 1 0 5666025 29245440 6323 1992294400 4194304 8223781 140733567670576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 7140 6323 586 984 0 6153 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28560 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/107 6006 /proc/meminfo: memFree=1521928/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=28560 CPUtime=12.69 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 24607 0 0 0 1244 25 0 0 25 0 1 0 5666025 29245440 6324 1992294400 4194304 8223781 140733567670576 18446744073709551615 6436955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 7140 6324 587 984 0 6153 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28560 [startup+25.5005 s] /proc/loadavg: 0.95 0.98 0.99 2/107 6006 /proc/meminfo: memFree=1521928/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=28560 CPUtime=25.48 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 39488 0 0 0 2503 45 0 0 25 0 1 0 5666025 29245440 6324 1992294400 4194304 8223781 140733567670576 18446744073709551615 6251381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 7140 6324 587 984 0 6153 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28560 [startup+51.101 s] /proc/loadavg: 0.96 0.98 0.99 2/107 6008 /proc/meminfo: memFree=1521680/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=29020 CPUtime=51.07 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 89366 0 0 0 5009 98 0 0 25 0 1 0 5666025 29716480 6439 1992294400 4194304 8223781 140733567670576 18446744073709551615 6598905 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 7255 6439 587 984 0 6268 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29020 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 6008 /proc/meminfo: memFree=1520068/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=30476 CPUtime=102.26 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 204453 0 0 0 10003 223 0 0 25 0 1 0 5666025 31207424 6791 1992294400 4194304 8223781 140733567670576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 7619 6791 593 984 0 6632 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 30476 [startup+162.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6010 /proc/meminfo: memFree=1519200/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=31352 CPUtime=162.24 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 330931 0 0 0 15862 362 0 0 25 0 1 0 5666025 32104448 7125 1992294400 4194304 8223781 140733567670576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 7838 7125 690 984 0 6851 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 31352 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6012 /proc/meminfo: memFree=1518704/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=31792 CPUtime=222.22 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 426655 0 0 0 21733 489 0 0 25 0 1 0 5666025 32555008 7209 1992294400 4194304 8223781 140733567670576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 7948 7209 690 984 0 6961 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 31792 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6023 /proc/meminfo: memFree=1518084/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=32440 CPUtime=282.19 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 557065 0 0 0 27584 635 0 0 25 0 1 0 5666025 33218560 7286 1992294400 4194304 8223781 140733567670576 18446744073709551615 6604397 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 8110 7291 690 984 0 7123 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 32440 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6025 /proc/meminfo: memFree=1516596/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=33504 CPUtime=342.17 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 654720 0 0 0 33452 765 0 0 25 0 1 0 5666025 34308096 7662 1992294400 4194304 8223781 140733567670576 18446744073709551615 6591354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 8376 7662 690 984 0 7389 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 33504 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6025 /proc/meminfo: memFree=1516596/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=33628 CPUtime=402.16 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 740144 0 0 0 39328 888 0 0 25 0 1 0 5666025 34435072 7693 1992294400 4194304 8223781 140733567670576 18446744073709551615 6568251 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 8407 7693 690 984 0 7420 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 33628 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6027 /proc/meminfo: memFree=1516472/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=33804 CPUtime=462.14 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 827498 0 0 0 45204 1010 0 0 25 0 1 0 5666025 34615296 7697 1992294400 4194304 8223781 140733567670576 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 8451 7697 690 984 0 7464 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 33804 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6029 /proc/meminfo: memFree=1515604/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=34904 CPUtime=522.13 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 914204 0 0 0 51080 1133 0 0 25 0 1 0 5666025 35741696 7985 1992294400 4194304 8223781 140733567670576 18446744073709551615 6207680 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 8726 7985 690 984 0 7739 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 34904 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6031 /proc/meminfo: memFree=1514612/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=35436 CPUtime=582.11 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 992559 0 0 0 56963 1248 0 0 25 0 1 0 5666025 36286464 8137 1992294400 4194304 8223781 140733567670576 18446744073709551615 6570035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 8859 8137 690 984 0 7872 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 35436 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6033 /proc/meminfo: memFree=1514364/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=35616 CPUtime=642.09 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1047205 0 0 0 62852 1357 0 0 25 0 1 0 5666025 36470784 8184 1992294400 4194304 8223781 140733567670576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 8904 8184 690 984 0 7917 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 35616 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6037 /proc/meminfo: memFree=1513744/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=36140 CPUtime=822.04 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1134196 0 0 0 80547 1657 0 0 25 0 1 0 5666025 37007360 8315 1992294400 4194304 8223781 140733567670576 18446744073709551615 4210010 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9035 8315 690 984 0 8048 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 36140 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6039 /proc/meminfo: memFree=1513620/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=36192 CPUtime=882.02 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1220487 0 0 0 86416 1786 0 0 25 0 1 0 5666025 37060608 8328 1992294400 4194304 8223781 140733567670576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9048 8328 690 984 0 8061 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 36192 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6041 /proc/meminfo: memFree=1513124/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=36672 CPUtime=942 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1331110 0 0 0 92283 1917 0 0 25 0 1 0 5666025 37552128 8448 1992294400 4194304 8223781 140733567670576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9168 8448 690 984 0 8181 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 36672 [startup+1002.3 s] /proc/loadavg: 1.07 1.00 1.00 2/107 6044 /proc/meminfo: memFree=1512132/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=36876 CPUtime=1001.98 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1425639 0 0 0 98158 2040 0 0 25 0 1 0 5666025 37761024 8478 1992294400 4194304 8223781 140733567670576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9219 8478 690 984 0 8232 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 36876 [startup+1062.3 s] /proc/loadavg: 1.02 1.00 1.00 2/107 6046 /proc/meminfo: memFree=1512008/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=37336 CPUtime=1061.96 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1534810 0 0 0 104025 2171 0 0 25 0 1 0 5666025 38232064 8614 1992294400 4194304 8223781 140733567670576 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9334 8614 690 984 0 8347 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 37336 [startup+1122.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 6048 /proc/meminfo: memFree=1511884/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=37528 CPUtime=1121.94 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1581008 0 0 0 109913 2281 0 0 25 0 1 0 5666025 38428672 8645 1992294400 4194304 8223781 140733567670576 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9382 8645 690 984 0 8395 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 37528 [startup+1182.3 s] /proc/loadavg: 1.10 1.04 1.01 2/107 6050 /proc/meminfo: memFree=1511512/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=37988 CPUtime=1181.92 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1606144 0 0 0 115807 2385 0 0 25 0 1 0 5666025 38899712 8755 1992294400 4194304 8223781 140733567670576 18446744073709551615 6456394 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9497 8755 690 984 0 8510 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 37988 [startup+1242.3 s] /proc/loadavg: 1.07 1.04 1.01 3/107 6052 /proc/meminfo: memFree=1511388/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=37980 CPUtime=1241.91 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1647823 0 0 0 121702 2489 0 0 25 0 1 0 5666025 38891520 8752 1992294400 4194304 8223781 140733567670576 18446744073709551615 6570019 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9495 8752 690 984 0 8508 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 37980 [startup+1302.3 s] /proc/loadavg: 1.06 1.05 1.01 2/107 6052 /proc/meminfo: memFree=1511140/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=37868 CPUtime=1301.89 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1700550 0 0 0 127595 2594 0 0 25 0 1 0 5666025 38776832 8743 1992294400 4194304 8223781 140733567670576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9467 8743 690 984 0 8480 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 37868 [startup+1362.3 s] /proc/loadavg: 1.20 1.08 1.02 2/107 6054 /proc/meminfo: memFree=1511140/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=37868 CPUtime=1361.87 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1753138 0 0 0 133482 2705 0 0 25 0 1 0 5666025 38776832 8743 1992294400 4194304 8223781 140733567670576 18446744073709551615 6569897 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9467 8743 690 984 0 8480 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 37868 [startup+1422.31 s] /proc/loadavg: 1.07 1.06 1.01 2/107 6056 /proc/meminfo: memFree=1511140/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=37868 CPUtime=1421.86 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1807742 0 0 0 139370 2816 0 0 25 0 1 0 5666025 38776832 8743 1992294400 4194304 8223781 140733567670576 18446744073709551615 6567741 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9467 8743 690 984 0 8480 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 37868 [startup+1482.3 s] /proc/loadavg: 1.02 1.05 1.00 2/107 6058 /proc/meminfo: memFree=1511016/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=38008 CPUtime=1481.84 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1887635 0 0 0 145235 2949 0 0 25 0 1 0 5666025 38920192 8775 1992294400 4194304 8223781 140733567670576 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9502 8775 690 984 0 8515 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 38008 [startup+1542.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 6060 /proc/meminfo: memFree=1511016/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=38112 CPUtime=1541.81 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 1975970 0 0 0 151110 3071 0 0 25 0 1 0 5666025 39026688 8778 1992294400 4194304 8223781 140733567670576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9528 8778 690 984 0 8541 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 38112 [startup+1602.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 6060 /proc/meminfo: memFree=1510892/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=38008 CPUtime=1601.79 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 2061757 0 0 0 156979 3200 0 0 25 0 1 0 5666025 38920192 8775 1992294400 4194304 8223781 140733567670576 18446744073709551615 6300893 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9502 8775 690 984 0 8515 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 38008 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6062 /proc/meminfo: memFree=1510892/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=38164 CPUtime=1661.78 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 2145835 0 0 0 162855 3323 0 0 25 0 1 0 5666025 39079936 8814 1992294400 4194304 8223781 140733567670576 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9541 8814 690 984 0 8554 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 38164 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6064 /proc/meminfo: memFree=1510768/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=38276 CPUtime=1721.76 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 2229984 0 0 0 168730 3446 0 0 25 0 1 0 5666025 39194624 8825 1992294400 4194304 8223781 140733567670576 18446744073709551615 6568195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9569 8825 690 984 0 8582 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 38276 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6066 /proc/meminfo: memFree=1510520/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=38164 CPUtime=1781.75 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 2316565 0 0 0 174606 3569 0 0 25 0 1 0 5666025 39079936 8814 1992294400 4194304 8223781 140733567670576 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9541 8814 690 984 0 8554 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 38164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6066 /proc/meminfo: memFree=1510520/2059040 swapFree=4192956/4192956 [pid=6005] ppid=6003 vsize=38528 CPUtime=1800.05 /proc/6005/stat : 6005 (pbscip.linux.x8) R 6003 6005 5592 0 -1 4202496 2341930 0 0 0 176397 3608 0 0 25 0 1 0 5666025 39452672 8874 1992294400 4194304 8223781 140733567670576 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6005/statm: 9632 8874 690 984 0 8645 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 38528 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.7 CPU time (s): 1800.14 CPU user time (s): 1764.05 CPU system time (s): 36.0905 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 39164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1764.05 system time used= 36.0905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2341938 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= 2 involuntary context switches= 25773 runsolver used 2.90956 second user time and 8.5757 second system time The end
Begin job on node004 at 2010-06-12 01:57:02 IDJOB=2667285 IDBENCH=1327 IDSOLVER=1169 FILE ID=node004/2667285-1276300621 PBS_JOBID= 11173125 Free space on /tmp= 62532 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151.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-2667285-1276300621/watcher-2667285-1276300621 -o /tmp/evaluation-result-2667285-1276300621/solver-2667285-1276300621 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667285-1276300621.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8485c5b622ae9efcb86cc93d1fd8b600 RANDOM SEED=1655549770 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: 1546396 kB Buffers: 73352 kB Cached: 312420 kB SwapCached: 0 kB Active: 171848 kB Inactive: 273232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1546396 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4596 kB Writeback: 0 kB AnonPages: 59340 kB Mapped: 15416 kB Slab: 45832 kB PageTables: 4048 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182328 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62528 MiB End job on node004 at 2010-06-12 02:27:04