Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | ? (TO) | 1800.12 | 1800.67 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb |
MD5SUM | fb1b2fb5676286fc8681e7e6d0d2728f |
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 | 588.702 |
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 | 669 |
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: Clp 1.11.1] [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-2665460-1276282574.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.11 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.06 0.09/0.14 c - non default parameters ---------------------------------------------------------------------- 0.09/0.14 c # SCIP version 1.2.1.2 0.09/0.14 c 0.09/0.14 c # frequency for displaying node information lines 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.14 c display/freq = 10000 0.09/0.14 c 0.09/0.14 c # maximal time in seconds to run 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/time = 1799.96 0.09/0.14 c 0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.14 c limits/memory = 1620 0.09/0.14 c 0.09/0.14 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c limits/solutions = 1 0.09/0.14 c 0.09/0.14 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.14 c separating/maxrounds = 1 0.09/0.14 c 0.09/0.14 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c separating/maxroundsroot = 5 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify inequalities 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/linear/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.14 c constraints/knapsack/disaggregation = FALSE 0.09/0.14 c 0.09/0.14 c # should presolving try to simplify knapsacks 0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.14 c 0.09/0.14 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c presolving/probing/maxrounds = 0 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/coefdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.14 c heuristics/crossover/freq = -1 0.09/0.14 c 0.09/0.14 c # number of nodes added to the contingent of the total nodes 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.14 c heuristics/crossover/nodesofs = 750 0.09/0.14 c 0.09/0.14 c # number of nodes without incumbent change that heuristic should wait 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.14 c heuristics/crossover/nwaitingnodes = 100 0.09/0.14 c 0.09/0.14 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.14 c # [type: real, range: [0,1], default: 0.1] 0.09/0.14 c heuristics/crossover/nodesquot = 0.15 0.09/0.14 c 0.09/0.14 c # minimum percentage of integer variables that have to be fixed 0.09/0.14 c # [type: real, range: [0,1], default: 0.666] 0.09/0.14 c heuristics/crossover/minfixingrate = 0.5 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/feaspump/freq = -1 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/fracdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/guideddiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/intshifting/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/linesearchdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/nlp/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/objpscostdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.14 c # [type: real, range: [0,1], default: 0.01] 0.09/0.14 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/oneopt/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/pscostdiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c heuristics/rens/freq = -1 0.09/0.14 c 0.09/0.14 c # minimum percentage of integer variables that have to be fixable 0.09/0.14 c # [type: real, range: [0,1], default: 0.5] 0.09/0.14 c heuristics/rens/minfixingrate = 0.3 0.09/0.14 c 0.09/0.14 c # number of nodes added to the contingent of the total nodes 0.09/0.14 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.14 c heuristics/rens/nodesofs = 2000 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.14 c heuristics/rootsoldiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.14 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/rounding/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/shifting/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/simplerounding/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c heuristics/trivial/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/trysol/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.14 c heuristics/veclendiving/freq = -1 0.09/0.14 c 0.09/0.14 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.14 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.14 c 0.09/0.14 c # additional number of allowed LP iterations 0.09/0.14 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.14 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.14 c 0.09/0.14 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.14 c heuristics/zirounding/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c separating/cmir/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.14 c separating/flowcover/freq = -1 0.09/0.14 c 0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.14 c separating/rapidlearning/freq = 0 0.09/0.14 c 0.09/0.14 c ----------------------------------------------------------------------------------------------- 0.09/0.14 c start solving 0.09/0.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 | 69 | - |3551k| 0 | 36 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.52 c 0.4s| 1 | 0 | 105 | - |3962k| 0 | 33 | 231 |2739 | 231 |2577 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf 0.59/0.65 c 0.5s| 1 | 0 | 145 | - |4389k| 0 | 46 | 231 |2739 | 231 |2581 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 0.89/0.95 c 0.8s| 1 | 0 | 245 | - |4790k| 0 | 56 | 231 |2739 | 231 |2584 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.30 c 1.2s| 1 | 0 | 376 | - |5282k| 0 | 72 | 231 |2739 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.79/1.82 c 1.7s| 1 | 0 | 743 | - |5971k| 0 | 73 | 231 |2739 | 231 |2592 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf 2.99/3.08 c 2.9s| 1 | 2 | 743 | - |5972k| 0 | 73 | 231 |2739 | 231 |2592 | 28 | 0 | 10 | 0.000000e+00 | -- | Inf 124.36/124.47 c 121s| 10000 | 39 |243297 | 24.3 |7175k| 35 | - | 231 |4846 | 231 |2566 | 28 |3810 |2324 | 0.000000e+00 | -- | Inf 215.33/215.45 c 209s| 20000 | 56 |481882 | 24.1 |7813k| 40 | 36 | 231 |6142 | 231 |2566 | 28 |7787 |2519 | 0.000000e+00 | -- | Inf 316.99/317.19 c 307s| 30000 | 40 |731920 | 24.4 |8270k| 43 | 27 | 231 |6964 | 231 |2566 | 28 | 11k|3138 | 0.000000e+00 | -- | Inf 414.66/414.89 c 401s| 40000 | 37 |968638 | 24.2 |8223k| 43 | 27 | 231 |6677 | 231 |2566 | 28 | 15k|3585 | 0.000000e+00 | -- | Inf 520.73/520.91 c 504s| 50000 | 36 | 1234k| 24.7 |8837k| 43 | - | 231 |8239 | 231 |2566 | 28 | 19k|4169 | 0.000000e+00 | -- | Inf 625.90/626.14 c 605s| 60000 | 32 | 1499k| 25.0 |8518k| 43 | 20 | 231 |7182 | 231 |2566 | 28 | 24k|4637 | 0.000000e+00 | -- | Inf 728.98/729.24 c 704s| 70000 | 34 | 1762k| 25.2 |9330k| 45 | 34 | 231 |9330 | 231 |2566 | 28 | 28k|5049 | 0.000000e+00 | -- | Inf 828.94/829.20 c 801s| 80000 | 15 | 2019k| 25.2 |9723k| 45 | 35 | 231 | 10k| 231 |2566 | 28 | 32k|5392 | 0.000000e+00 | -- | Inf 928.41/928.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 928.41/928.72 c 896s| 90000 | 28 | 2265k| 25.2 | 10M| 45 | 26 | 231 | 11k| 231 |2566 | 28 | 36k|5812 | 0.000000e+00 | -- | Inf 1036.38/1036.71 c 1000s|100000 | 46 | 2543k| 25.4 | 10M| 45 | 29 | 231 | 12k| 231 |2566 | 28 | 40k|6161 | 0.000000e+00 | -- | Inf 1143.14/1143.55 c 1103s|110000 | 34 | 2815k| 25.6 | 11M| 45 | 29 | 231 | 14k| 231 |2566 | 28 | 43k|6444 | 0.000000e+00 | -- | Inf 1250.40/1250.89 c 1207s|120000 | 34 | 3092k| 25.8 | 12M| 46 | - | 231 | 16k| 231 |2566 | 28 | 48k|6787 | 0.000000e+00 | -- | Inf 1357.28/1357.78 c 1310s|130000 | 40 | 3366k| 25.9 | 12M| 46 | 24 | 231 | 17k| 231 |2566 | 28 | 52k|7032 | 0.000000e+00 | -- | Inf 1463.55/1464.04 c 1413s|140000 | 98 | 3632k| 25.9 | 13M| 54 | - | 231 | 18k| 231 |2566 | 28 | 55k|7310 | 0.000000e+00 | -- | Inf 1573.71/1574.22 c 1520s|150000 | 41 | 3907k| 26.0 | 13M| 54 | - | 231 | 18k| 231 |2566 | 28 | 59k|7586 | 0.000000e+00 | -- | Inf 1676.58/1677.13 c 1619s|160000 | 38 | 4165k| 26.0 | 13M| 54 | 29 | 231 | 18k| 231 |2566 | 28 | 63k|7814 | 0.000000e+00 | -- | Inf 1781.05/1781.66 c 1720s|170000 | 19 | 4422k| 26.0 | 11M| 54 | 31 | 231 | 13k| 231 |2566 | 28 | 67k|8046 | 0.000000e+00 | -- | Inf 1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.06/1800.62 c 1800.06/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.62 c Solving Time (sec) : 1737.96 1800.06/1800.62 c Solving Nodes : 171954 1800.06/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.06/1800.62 c Dual Bound : +0.00000000000000e+00 1800.06/1800.62 c Gap : infinite 1800.06/1800.62 s UNKNOWN 1800.06/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.06/1800.62 c Solving Time : 1737.96 1800.06/1800.62 c Original Problem : 1800.06/1800.62 c Problem name : HOME/instance-2665460-1276282574.opb 1800.06/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.06/1800.62 c Constraints : 2707 initial, 2707 maximal 1800.06/1800.62 c Presolved Problem : 1800.06/1800.62 c Problem name : t_HOME/instance-2665460-1276282574.opb 1800.06/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.06/1800.62 c Constraints : 2564 initial, 18914 maximal 1800.06/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.06/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c implics : 0.01 0 0 0 0 0 0 0 0 1800.06/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c knapsack : 0.01 0 0 0 0 0 0 0 0 1800.06/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.06/1800.62 c linear : 0.03 0 0 0 0 0 143 0 0 1800.06/1800.62 c logicor : 0.01 0 0 0 0 0 0 0 0 1800.06/1800.62 c root node : - 1 - - 1 - - - - 1800.06/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.06/1800.62 c integral : 0 0 0 89096 0 502 3119 0 0 172718 1800.06/1800.62 c knapsack : 1 5 509527 0 0 1010 265159 0 0 0 1800.06/1800.62 c setppc : 22 5 508852 0 0 2710 866488 0 0 0 1800.06/1800.62 c linear : 0+ 5 198091 0 0 8 5554 1 0 0 1800.06/1800.62 c logicor : 2541+ 5 314188 0 0 1051 1118873 0 0 0 1800.06/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.06/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.06/1800.62 c integral : 105.86 0.00 0.00 105.86 0.00 1800.06/1800.62 c knapsack : 5.24 0.00 5.24 0.00 0.00 1800.06/1800.62 c setppc : 7.95 0.00 7.95 0.00 0.00 1800.06/1800.62 c linear : 1.12 0.00 1.12 0.00 0.00 1800.06/1800.62 c logicor : 62.51 0.00 62.51 0.00 0.00 1800.06/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.06/1800.62 c Propagators : Time Calls Cutoffs DomReds 1800.06/1800.62 c vbounds : 0.37 1 0 0 1800.06/1800.62 c rootredcost : 0.31 0 0 0 1800.06/1800.62 c pseudoobj : 0.21 0 0 0 1800.06/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.06/1800.62 c propagation : 0.45 4779 4756 26100 22.9 66 24.5 - 1800.06/1800.62 c infeasible LP : 30.43 81067 53556 325132 37.1 139 19.1 0 1800.06/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.06/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.06/1800.62 c applied globally : - - - 64559 19.9 - - - 1800.06/1800.62 c applied locally : - - - 3798 34.0 - - - 1800.06/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.06/1800.62 c cut pool : 0.00 4 - - 27 - (maximal pool size: 645) 1800.06/1800.62 c redcost : 1.03 86980 0 0 0 0 1800.06/1800.62 c impliedbounds : 0.00 5 0 0 0 0 1800.06/1800.62 c intobj : 0.00 0 0 0 0 0 1800.06/1800.62 c cgmip : 0.00 0 0 0 0 0 1800.06/1800.62 c gomory : 0.68 5 0 0 1081 0 1800.06/1800.62 c strongcg : 0.39 5 0 0 2500 0 1800.06/1800.62 c cmir : 0.00 0 0 0 0 0 1800.06/1800.62 c flowcover : 0.00 0 0 0 0 0 1800.06/1800.62 c clique : 0.00 5 0 0 0 0 1800.06/1800.62 c zerohalf : 0.00 0 0 0 0 0 1800.06/1800.62 c mcf : 0.00 1 0 0 0 0 1800.06/1800.62 c rapidlearning : 0.21 1 0 0 0 175 1800.06/1800.62 c Pricers : Time Calls Vars 1800.06/1800.62 c problem variables: 0.00 0 0 1800.06/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.06/1800.62 c relpscost : 105.60 89096 502 3119 0 0 172718 1800.06/1800.62 c pscost : 0.00 0 0 0 0 0 0 1800.06/1800.62 c inference : 0.00 0 0 0 0 0 0 1800.06/1800.62 c mostinf : 0.00 0 0 0 0 0 0 1800.06/1800.62 c leastinf : 0.00 0 0 0 0 0 0 1800.06/1800.62 c fullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0 1800.06/1800.62 c random : 0.00 0 0 0 0 0 0 1800.06/1800.62 c Primal Heuristics : Time Calls Found 1800.06/1800.62 c LP solutions : 0.00 - 0 1800.06/1800.62 c pseudo solutions : 0.00 - 0 1800.06/1800.62 c trivial : 0.00 1 0 1800.06/1800.62 c simplerounding : 0.00 0 0 1800.06/1800.62 c zirounding : 0.00 0 0 1800.06/1800.62 c rounding : 0.00 0 0 1800.06/1800.62 c shifting : 0.00 0 0 1800.06/1800.62 c intshifting : 0.00 0 0 1800.06/1800.62 c oneopt : 0.00 0 0 1800.06/1800.62 c twoopt : 0.00 0 0 1800.06/1800.62 c fixandinfer : 0.00 0 0 1800.06/1800.62 c feaspump : 0.00 0 0 1800.06/1800.62 c coefdiving : 0.00 0 0 1800.06/1800.62 c pscostdiving : 0.00 0 0 1800.06/1800.62 c fracdiving : 0.00 0 0 1800.06/1800.62 c veclendiving : 0.00 0 0 1800.06/1800.62 c intdiving : 0.00 0 0 1800.06/1800.62 c actconsdiving : 0.00 0 0 1800.06/1800.62 c objpscostdiving : 0.00 0 0 1800.06/1800.62 c rootsoldiving : 0.00 0 0 1800.06/1800.62 c linesearchdiving : 0.00 0 0 1800.06/1800.62 c guideddiving : 0.00 0 0 1800.06/1800.62 c octane : 0.00 0 0 1800.06/1800.62 c rens : 0.00 0 0 1800.06/1800.62 c rins : 0.00 0 0 1800.06/1800.62 c localbranching : 0.00 0 0 1800.06/1800.62 c mutation : 0.00 0 0 1800.06/1800.62 c crossover : 0.00 0 0 1800.06/1800.62 c dins : 0.00 0 0 1800.06/1800.62 c undercover : 0.00 0 0 1800.06/1800.62 c nlp : 0.00 0 0 1800.06/1800.62 c trysol : 0.00 0 0 1800.06/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec 1800.06/1800.62 c primal LP : 0.01 0 0 0.00 0.00 1800.06/1800.62 c dual LP : 1394.10 169982 4469497 26.29 3206.01 1800.06/1800.62 c lex dual LP : 0.00 0 0 0.00 - 1800.06/1800.62 c barrier LP : 0.00 0 0 0.00 - 1800.06/1800.62 c diving/probing LP: 0.00 0 0 0.00 - 1800.06/1800.62 c strong branching : 101.69 8077 391305 48.45 3848.02 1800.06/1800.62 c (at root node) : - 10 3151 315.10 - 1800.06/1800.62 c conflict analysis: 0.00 0 0 0.00 - 1800.06/1800.62 c B&B Tree : 1800.06/1800.62 c number of runs : 1 1800.06/1800.62 c nodes : 171954 1800.06/1800.62 c nodes (total) : 171954 1800.06/1800.62 c nodes left : 12 1800.06/1800.62 c max depth : 54 1800.06/1800.62 c max depth (total): 54 1800.06/1800.62 c backtracks : 22726 (13.2%) 1800.06/1800.62 c delayed cutoffs : 753 1800.06/1800.62 c repropagations : 137131 (270458 domain reductions, 753 cutoffs) 1800.06/1800.62 c avg switch length: 3.59 1800.06/1800.62 c switching time : 56.06 1800.06/1800.62 c Solution : 1800.06/1800.62 c Solutions found : 0 (0 improvements) 1800.06/1800.62 c Primal Bound : - 1800.06/1800.62 c Dual Bound : +0.00000000000000e+00 1800.06/1800.62 c Gap : infinite 1800.06/1800.62 c Root Dual Bound : +0.00000000000000e+00 1800.06/1800.62 c Root Iterations : 743 1800.06/1800.66 c Time complete: 1800.11.
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-2665460-1276282574/watcher-2665460-1276282574 -o /tmp/evaluation-result-2665460-1276282574/solver-2665460-1276282574 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665460-1276282574.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 6629 /proc/meminfo: memFree=1557824/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=9288 CPUtime=0 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 1072 0 0 0 0 0 0 0 20 0 1 0 3861346 9510912 993 1992294400 4194304 9819077 140735773868448 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6629/statm: 2322 1001 371 1374 0 943 0 [startup+0.082429 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6629 /proc/meminfo: memFree=1557824/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=18208 CPUtime=0.07 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 3580 0 0 0 6 1 0 0 20 0 1 0 3861346 18644992 3147 1992294400 4194304 9819077 140735773868448 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 4552 3159 484 1374 0 3173 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 18208 [startup+0.100431 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6629 /proc/meminfo: memFree=1557824/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=17760 CPUtime=0.09 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 3820 0 0 0 8 1 0 0 20 0 1 0 3861346 18186240 3129 1992294400 4194304 9819077 140735773868448 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 4440 3129 489 1374 0 3061 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17760 [startup+0.300451 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6629 /proc/meminfo: memFree=1557824/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=36568 CPUtime=0.29 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 10789 0 0 0 25 4 0 0 20 0 1 0 3861346 37445632 7218 1992294400 4194304 9819077 140735773868448 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9142 7218 670 1374 0 7763 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36568 [startup+0.700491 s] /proc/loadavg: 1.00 1.00 1.00 3/106 6629 /proc/meminfo: memFree=1557824/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=28936 CPUtime=0.69 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 13210 0 0 0 62 7 0 0 20 0 1 0 3861346 29630464 6156 1992294400 4194304 9819077 140735773868448 18446744073709551615 6047856 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 7234 6156 692 1374 0 5855 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28936 [startup+1.50057 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6630 /proc/meminfo: memFree=1534628/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=32496 CPUtime=1.49 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 13943 0 0 0 141 8 0 0 23 0 1 0 3861346 33275904 6877 1992294400 4194304 9819077 140735773868448 18446744073709551615 6047802 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8124 6877 694 1374 0 6745 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32496 [startup+3.10074 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6630 /proc/meminfo: memFree=1530040/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=34472 CPUtime=3.09 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 16965 0 0 0 299 10 0 0 25 0 1 0 3861346 35299328 7421 1992294400 4194304 9819077 140735773868448 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8618 7421 707 1374 0 7239 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34472 [startup+6.30106 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6632 /proc/meminfo: memFree=1529792/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=37176 CPUtime=6.29 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 26288 0 0 0 612 17 0 0 25 0 1 0 3861346 38068224 7478 1992294400 4194304 9819077 140735773868448 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9294 7478 721 1374 0 7915 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37176 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6632 /proc/meminfo: memFree=1529792/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=37488 CPUtime=12.69 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 45966 0 0 0 1239 30 0 0 25 0 1 0 3861346 38387712 7505 1992294400 4194304 9819077 140735773868448 18446744073709551615 7291626 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9372 7505 723 1374 0 7993 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37488 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6632 /proc/meminfo: memFree=1529792/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=37568 CPUtime=25.49 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 90885 0 0 0 2486 63 0 0 25 0 1 0 3861346 38469632 7523 1992294400 4194304 9819077 140735773868448 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9392 7523 724 1374 0 8013 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37568 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6632 /proc/meminfo: memFree=1529668/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=35196 CPUtime=51.07 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 158091 0 0 0 4978 129 0 0 25 0 1 0 3861346 36040704 7500 1992294400 4194304 9819077 140735773868448 18446744073709551615 6583210 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8799 7500 724 1374 0 7420 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35196 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6634 /proc/meminfo: memFree=1529544/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=34836 CPUtime=102.27 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 301783 0 0 0 9963 264 0 0 25 0 1 0 3861346 35672064 7527 1992294400 4194304 9819077 140735773868448 18446744073709551615 7262085 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 8709 7527 724 1374 0 7330 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 34836 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6636 /proc/meminfo: memFree=1529420/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=36284 CPUtime=162.24 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 499593 0 0 0 15782 442 0 0 25 0 1 0 3861346 37154816 7605 1992294400 4194304 9819077 140735773868448 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9071 7605 724 1374 0 7692 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 36284 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6636 /proc/meminfo: memFree=1529296/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=36544 CPUtime=222.23 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 754279 0 0 0 21577 646 0 0 25 0 1 0 3861346 37421056 7647 1992294400 4194304 9819077 140735773868448 18446744073709551615 7318422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9136 7647 724 1374 0 7757 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 36544 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6638 /proc/meminfo: memFree=1528676/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=37128 CPUtime=282.21 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 1060235 0 0 0 27369 852 0 0 25 0 1 0 3861346 38019072 7725 1992294400 4194304 9819077 140735773868448 18446744073709551615 7299353 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9282 7725 724 1374 0 7903 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 37128 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6649 /proc/meminfo: memFree=1528180/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=37452 CPUtime=342.19 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 1400513 0 0 0 33148 1071 0 0 25 0 1 0 3861346 38350848 7742 1992294400 4194304 9819077 140735773868448 18446744073709551615 7325972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9363 7742 724 1374 0 7984 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 37452 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6651 /proc/meminfo: memFree=1527932/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=36780 CPUtime=402.17 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 1739567 0 0 0 38925 1292 0 0 25 0 1 0 3861346 37662720 7805 1992294400 4194304 9819077 140735773868448 18446744073709551615 6209887 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9195 7811 724 1374 0 7816 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 36780 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6653 /proc/meminfo: memFree=1527932/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=40564 CPUtime=462.15 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 2054825 0 0 0 44721 1494 0 0 25 0 1 0 3861346 41537536 7843 1992294400 4194304 9819077 140735773868448 18446744073709551615 7308997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 10141 7843 724 1374 0 8762 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 40564 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6653 /proc/meminfo: memFree=1527932/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=37992 CPUtime=522.13 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 2397920 0 0 0 50505 1708 0 0 25 0 1 0 3861346 38903808 7836 1992294400 4194304 9819077 140735773868448 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9498 7836 724 1374 0 8119 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 37992 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6655 /proc/meminfo: memFree=1527932/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=37896 CPUtime=582.12 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 2755426 0 0 0 56279 1933 0 0 25 0 1 0 3861346 38805504 7832 1992294400 4194304 9819077 140735773868448 18446744073709551615 7303391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9474 7832 724 1374 0 8095 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 37896 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6657 /proc/meminfo: memFree=1528056/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=37892 CPUtime=642.1 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 3103409 0 0 0 62055 2155 0 0 25 0 1 0 3861346 38801408 7836 1992294400 4194304 9819077 140735773868448 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9473 7836 724 1374 0 8094 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 37892 [startup+702.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6661 /proc/meminfo: memFree=1526320/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=38716 CPUtime=822.04 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 4162867 0 0 0 79390 2814 0 0 25 0 1 0 3861346 39645184 8214 1992294400 4194304 9819077 140735773868448 18446744073709551615 7263154 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9679 8214 724 1374 0 8300 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 38716 [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6663 /proc/meminfo: memFree=1525576/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=40144 CPUtime=882.03 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 4525242 0 0 0 85162 3041 0 0 25 0 1 0 3861346 41107456 8449 1992294400 4194304 9819077 140735773868448 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 10036 8449 724 1374 0 8657 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 40144 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6665 /proc/meminfo: memFree=1525328/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=39724 CPUtime=942.01 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 4879546 0 0 0 90931 3270 0 0 25 0 1 0 3861346 40677376 8481 1992294400 4194304 9819077 140735773868448 18446744073709551615 7263325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 9931 8481 724 1374 0 8552 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 39724 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6667 /proc/meminfo: memFree=1524584/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=40840 CPUtime=1001.99 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 5220247 0 0 0 96708 3491 0 0 25 0 1 0 3861346 41820160 8594 1992294400 4194304 9819077 140735773868448 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 10210 8595 724 1374 0 8831 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 40840 [startup+1062.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 6672 /proc/meminfo: memFree=1523964/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=41032 CPUtime=1061.96 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 5548803 0 0 0 102495 3701 0 0 25 0 1 0 3861346 42016768 8595 1992294400 4194304 9819077 140735773868448 18446744073709551615 7289360 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 10258 8595 724 1374 0 8879 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 41032 [startup+1122.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 6672 /proc/meminfo: memFree=1523964/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=41320 CPUtime=1121.95 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 5885997 0 0 0 108284 3911 0 0 25 0 1 0 3861346 42311680 8701 1992294400 4194304 9819077 140735773868448 18446744073709551615 7291979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 10330 8701 724 1374 0 8951 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 41320 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6674 /proc/meminfo: memFree=1522972/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=42368 CPUtime=1181.93 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 6226353 0 0 0 114068 4125 0 0 25 0 1 0 3861346 43384832 8974 1992294400 4194304 9819077 140735773868448 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 10182 8948 724 1374 0 8803 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 42368 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6676 /proc/meminfo: memFree=1522600/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=41728 CPUtime=1241.91 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 6533790 0 0 0 119876 4315 0 0 25 0 1 0 3861346 42729472 9006 1992294400 4194304 9819077 140735773868448 18446744073709551615 7227199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 10432 9007 724 1374 0 9053 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 41728 [startup+1302.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 6678 /proc/meminfo: memFree=1521484/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=43492 CPUtime=1301.9 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 6848508 0 0 0 125670 4520 0 0 25 0 1 0 3861346 44535808 9256 1992294400 4194304 9819077 140735773868448 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 10873 9256 724 1374 0 9494 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 43492 [startup+1362.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 6680 /proc/meminfo: memFree=1521484/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=44120 CPUtime=1361.87 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 7154804 0 0 0 131470 4717 0 0 25 0 1 0 3861346 45178880 9355 1992294400 4194304 9819077 140735773868448 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 11030 9355 724 1374 0 9651 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 44120 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6680 /proc/meminfo: memFree=1521112/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=44236 CPUtime=1421.86 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 7465688 0 0 0 137265 4921 0 0 25 0 1 0 3861346 45297664 9453 1992294400 4194304 9819077 140735773868448 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 11059 9453 724 1374 0 9680 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 44236 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6682 /proc/meminfo: memFree=1520616/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=44592 CPUtime=1481.83 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 7774053 0 0 0 143069 5114 0 0 25 0 1 0 3861346 45662208 9540 1992294400 4194304 9819077 140735773868448 18446744073709551615 7291965 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 11148 9540 724 1374 0 9769 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 44592 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6684 /proc/meminfo: memFree=1520616/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=43812 CPUtime=1541.81 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 8080084 0 0 0 148877 5304 0 0 25 0 1 0 3861346 44863488 9531 1992294400 4194304 9819077 140735773868448 18446744073709551615 7261091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 10953 9532 724 1374 0 9574 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 43812 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6686 /proc/meminfo: memFree=1520616/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=44848 CPUtime=1601.79 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 8395105 0 0 0 154674 5505 0 0 25 0 1 0 3861346 45924352 9539 1992294400 4194304 9819077 140735773868448 18446744073709551615 6372771 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 11212 9539 724 1374 0 9833 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 44848 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6688 /proc/meminfo: memFree=1520616/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=44936 CPUtime=1661.78 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 8724816 0 0 0 160457 5721 0 0 25 0 1 0 3861346 46014464 9563 1992294400 4194304 9819077 140735773868448 18446744073709551615 6566713 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 11234 9563 724 1374 0 9855 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 44936 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6688 /proc/meminfo: memFree=1520492/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=44996 CPUtime=1721.76 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 9038583 0 0 0 166256 5920 0 0 25 0 1 0 3861346 46075904 9569 1992294400 4194304 9819077 140735773868448 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 11249 9569 724 1374 0 9870 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 44996 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6690 /proc/meminfo: memFree=1520244/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=44076 CPUtime=1781.75 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 9375015 0 0 0 172039 6136 0 0 25 0 1 0 3861346 45133824 9560 1992294400 4194304 9819077 140735773868448 18446744073709551615 7263399 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 11019 9560 724 1374 0 9640 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 44076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6690 /proc/meminfo: memFree=1520244/2059040 swapFree=4192956/4192956 [pid=6629] ppid=6627 vsize=44932 CPUtime=1800.06 /proc/6629/stat : 6629 (pbscip.linux.x8) R 6627 6629 5381 0 -1 4202496 9479606 0 0 0 173799 6207 0 0 25 0 1 0 3861346 46010368 9566 1992294400 4194304 9819077 140735773868448 18446744073709551615 7289282 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6629/statm: 11233 9566 724 1374 0 9854 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 44932 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.67 CPU time (s): 1800.12 CPU user time (s): 1738.04 CPU system time (s): 62.0776 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 47836 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1738.04 system time used= 62.0776 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9479651 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= 4860 runsolver used 3.03254 second user time and 8.45571 second system time The end
Begin job on node002 at 2010-06-11 20:56:14 IDJOB=2665460 IDBENCH=1275 IDSOLVER=1168 FILE ID=node002/2665460-1276282574 PBS_JOBID= 11173101 Free space on /tmp= 62392 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665460-1276282574/watcher-2665460-1276282574 -o /tmp/evaluation-result-2665460-1276282574/solver-2665460-1276282574 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665460-1276282574.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fb1b2fb5676286fc8681e7e6d0d2728f RANDOM SEED=466145023 node002.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.242 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.48 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.242 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1558352 kB Buffers: 59188 kB Cached: 314352 kB SwapCached: 0 kB Active: 174792 kB Inactive: 258076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1558352 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6232 kB Writeback: 0 kB AnonPages: 59292 kB Mapped: 15448 kB Slab: 46000 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180316 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= 62388 MiB End job on node002 at 2010-06-11 21:26:16