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.1900550006.opb |
MD5SUM | cabd29c48249a44c2596bb98645c31c8 |
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 | 194.178 |
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 | 665 |
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-2665859-1276302417.opb> 0.03/0.05 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.03/0.05 c problem read 0.03/0.05 c No objective function, only one solution is needed. 0.03/0.05 c presolving settings loaded 0.03/0.07 c presolving: 0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.14 c presolving (3 rounds): 0.09/0.14 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.14 c 242 implications, 22 cliques 0.09/0.14 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.14 c 1 constraints of type <knapsack> 0.09/0.14 c 22 constraints of type <setppc> 0.09/0.14 c 2541 constraints of type <logicor> 0.09/0.14 c transformed objective value is always integral (scale: 1) 0.09/0.14 c Presolving Time: 0.05 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.95 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.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 | 91 | - |3551k| 0 | 36 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.53 c 0.4s| 1 | 0 | 168 | - |3956k| 0 | 53 | 231 |2709 | 231 |2571 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.86 c 0.7s| 1 | 0 | 392 | - |4260k| 0 | 66 | 231 |2709 | 231 |2575 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.37 c 1.2s| 1 | 0 | 913 | - |4759k| 0 | 68 | 231 |2709 | 231 |2581 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf 1.99/2.01 c 1.9s| 1 | 0 | 1858 | - |5149k| 0 | 65 | 231 |2709 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 2.20/2.27 c 2.1s| 1 | 0 | 2085 | - |5958k| 0 | 86 | 231 |2709 | 231 |2598 | 34 | 0 | 0 | 0.000000e+00 | -- | Inf 4.59/4.61 c 4.4s| 1 | 2 | 2085 | - |5958k| 0 | 86 | 231 |2709 | 231 |2598 | 34 | 0 | 9 | 0.000000e+00 | -- | Inf 227.42/227.55 c 223s| 10000 | 44 |475222 | 47.3 |7696k| 39 | 34 | 231 |6324 | 231 |2573 | 34 |4622 |1530 | 0.000000e+00 | -- | Inf 401.37/401.56 c 392s| 20000 | 97 |939404 | 46.9 |8418k| 39 | 46 | 231 |7386 | 231 |2573 | 34 |9114 |2061 | 0.000000e+00 | -- | Inf 583.50/583.74 c 569s| 30000 | 127 | 1439k| 47.9 |9057k| 41 | 39 | 231 |8105 | 231 |2573 | 34 | 13k|2549 | 0.000000e+00 | -- | Inf 759.64/760.00 c 741s| 40000 | 138 | 1913k| 47.8 |8990k| 51 | 23 | 231 |7605 | 231 |2573 | 34 | 18k|3033 | 0.000000e+00 | -- | Inf 938.40/938.73 c 915s| 50000 | 137 | 2404k| 48.0 |9224k| 51 | 31 | 231 |8023 | 231 |2573 | 34 | 23k|3439 | 0.000000e+00 | -- | Inf 1123.84/1124.21 c 1095s| 60000 | 181 | 2924k| 48.7 |9840k| 51 | 30 | 231 |9057 | 231 |2573 | 34 | 27k|3876 | 0.000000e+00 | -- | Inf 1317.39/1317.82 c 1284s| 70000 | 272 | 3469k| 49.5 | 10M| 51 | 25 | 231 | 10k| 231 |2573 | 34 | 30k|4261 | 0.000000e+00 | -- | Inf 1485.04/1485.53 c 1447s| 80000 | 251 | 3936k| 49.2 |9859k| 51 | 16 | 231 |7974 | 231 |2573 | 34 | 35k|4528 | 0.000000e+00 | -- | Inf 1661.78/1662.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1661.78/1662.31 c 1619s| 90000 | 292 | 4436k| 49.3 | 10M| 51 | - | 231 |9547 | 231 |2573 | 34 | 39k|4793 | 0.000000e+00 | -- | Inf 1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.64 c 1800.05/1800.64 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.64 c Solving Time (sec) : 1754.20 1800.05/1800.64 c Solving Nodes : 97280 1800.05/1800.64 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.05/1800.64 c Dual Bound : +0.00000000000000e+00 1800.05/1800.64 c Gap : infinite 1800.05/1800.64 s UNKNOWN 1800.05/1800.64 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.64 c Solving Time : 1754.20 1800.05/1800.64 c Original Problem : 1800.05/1800.64 c Problem name : HOME/instance-2665859-1276302417.opb 1800.05/1800.64 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.64 c Constraints : 2707 initial, 2707 maximal 1800.05/1800.64 c Presolved Problem : 1800.05/1800.64 c Problem name : t_HOME/instance-2665859-1276302417.opb 1800.05/1800.64 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.64 c Constraints : 2564 initial, 10377 maximal 1800.05/1800.64 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.64 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.64 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.64 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.64 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.64 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.64 c probing : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.64 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.64 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.64 c linear : 0.03 0 0 0 0 0 143 0 0 1800.05/1800.64 c logicor : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.64 c root node : - 0 - - 0 - - - - 1800.05/1800.64 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.64 c integral : 0 0 0 50378 0 234 1722 0 0 98140 1800.05/1800.64 c knapsack : 1 5 300272 0 0 756 141095 0 0 0 1800.05/1800.64 c setppc : 22 5 299705 0 0 1930 488419 0 0 0 1800.05/1800.64 c linear : 0+ 5 161597 0 0 7 4820 1 0 0 1800.05/1800.64 c logicor : 2541+ 5 178530 0 0 839 661825 0 0 0 1800.05/1800.64 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.05/1800.64 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.64 c integral : 164.27 0.00 0.00 164.27 0.00 1800.05/1800.64 c knapsack : 3.26 0.00 3.26 0.00 0.00 1800.05/1800.64 c setppc : 5.49 0.00 5.49 0.00 0.00 1800.05/1800.64 c linear : 1.12 0.00 1.12 0.00 0.00 1800.05/1800.64 c logicor : 28.02 0.00 28.02 0.00 0.00 1800.05/1800.64 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.64 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.64 c vbounds : 0.22 1 0 0 1800.05/1800.64 c rootredcost : 0.18 0 0 0 1800.05/1800.64 c pseudoobj : 0.12 0 0 0 1800.05/1800.64 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.64 c propagation : 0.39 3532 3503 20299 22.6 59 22.0 - 1800.05/1800.64 c infeasible LP : 17.98 44999 31362 198468 36.3 136 16.3 0 1800.05/1800.64 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.64 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.64 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.05/1800.64 c applied globally : - - - 41301 19.4 - - - 1800.05/1800.64 c applied locally : - - - 1158 33.3 - - - 1800.05/1800.64 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.64 c cut pool : 0.02 4 - - 10 - (maximal pool size: 772) 1800.05/1800.64 c redcost : 0.55 49374 0 0 0 0 1800.05/1800.64 c impliedbounds : 0.00 5 0 0 0 0 1800.05/1800.64 c intobj : 0.00 0 0 0 0 0 1800.05/1800.64 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.64 c gomory : 0.59 5 0 0 2229 0 1800.05/1800.64 c strongcg : 0.34 5 0 0 2500 0 1800.05/1800.64 c cmir : 0.00 0 0 0 0 0 1800.05/1800.64 c flowcover : 0.00 0 0 0 0 0 1800.05/1800.64 c clique : 0.00 5 0 0 0 0 1800.05/1800.64 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.64 c mcf : 0.01 1 0 0 0 0 1800.05/1800.64 c rapidlearning : 0.21 1 0 0 0 145 1800.05/1800.64 c Pricers : Time Calls Vars 1800.05/1800.64 c problem variables: 0.00 0 0 1800.05/1800.64 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.64 c relpscost : 164.17 50378 234 1722 0 0 98140 1800.05/1800.64 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.64 c inference : 0.00 0 0 0 0 0 0 1800.05/1800.64 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.64 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.64 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.64 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.64 c random : 0.00 0 0 0 0 0 0 1800.05/1800.64 c Primal Heuristics : Time Calls Found 1800.05/1800.64 c LP solutions : 0.00 - 0 1800.05/1800.64 c pseudo solutions : 0.00 - 0 1800.05/1800.64 c trivial : 0.00 1 0 1800.05/1800.64 c simplerounding : 0.00 0 0 1800.05/1800.64 c zirounding : 0.00 0 0 1800.05/1800.64 c rounding : 0.00 0 0 1800.05/1800.64 c shifting : 0.00 0 0 1800.05/1800.64 c intshifting : 0.00 0 0 1800.05/1800.64 c oneopt : 0.00 0 0 1800.05/1800.64 c twoopt : 0.00 0 0 1800.05/1800.64 c fixandinfer : 0.00 0 0 1800.05/1800.64 c feaspump : 0.00 0 0 1800.05/1800.64 c coefdiving : 0.00 0 0 1800.05/1800.64 c pscostdiving : 0.00 0 0 1800.05/1800.64 c fracdiving : 0.00 0 0 1800.05/1800.64 c veclendiving : 0.00 0 0 1800.05/1800.64 c intdiving : 0.00 0 0 1800.05/1800.64 c actconsdiving : 0.00 0 0 1800.05/1800.64 c objpscostdiving : 0.00 0 0 1800.05/1800.64 c rootsoldiving : 0.00 0 0 1800.05/1800.64 c linesearchdiving : 0.00 0 0 1800.05/1800.64 c guideddiving : 0.00 0 0 1800.05/1800.64 c octane : 0.00 0 0 1800.05/1800.64 c rens : 0.00 0 0 1800.05/1800.64 c rins : 0.00 0 0 1800.05/1800.64 c localbranching : 0.00 0 0 1800.05/1800.64 c mutation : 0.00 0 0 1800.05/1800.64 c crossover : 0.00 0 0 1800.05/1800.64 c dins : 0.00 0 0 1800.05/1800.64 c undercover : 0.00 0 0 1800.05/1800.64 c nlp : 0.00 0 0 1800.05/1800.64 c trysol : 0.00 0 0 1800.05/1800.64 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.64 c primal LP : 0.00 0 0 0.00 - 1800.05/1800.64 c dual LP : 1464.64 95280 4825094 50.64 3294.39 1800.05/1800.64 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.64 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.64 c diving/probing LP: 0.00 0 0 0.00 - 1800.05/1800.64 c strong branching : 162.27 5060 563102 111.28 3470.15 1800.05/1800.64 c (at root node) : - 9 5518 613.11 - 1800.05/1800.64 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.64 c B&B Tree : 1800.05/1800.64 c number of runs : 1 1800.05/1800.64 c nodes : 97280 1800.05/1800.64 c nodes (total) : 97280 1800.05/1800.64 c nodes left : 304 1800.05/1800.64 c max depth : 51 1800.05/1800.64 c max depth (total): 51 1800.05/1800.64 c backtracks : 11935 (12.3%) 1800.05/1800.64 c delayed cutoffs : 557 1800.05/1800.64 c repropagations : 88745 (145774 domain reductions, 555 cutoffs) 1800.05/1800.64 c avg switch length: 3.82 1800.05/1800.64 c switching time : 27.29 1800.05/1800.64 c Solution : 1800.05/1800.64 c Solutions found : 0 (0 improvements) 1800.05/1800.64 c Primal Bound : - 1800.05/1800.64 c Dual Bound : +0.00000000000000e+00 1800.05/1800.64 c Gap : infinite 1800.05/1800.64 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.64 c Root Iterations : 2085 1800.05/1800.67 c Time complete: 1800.12.
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-2665859-1276302417/watcher-2665859-1276302417 -o /tmp/evaluation-result-2665859-1276302417/solver-2665859-1276302417 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665859-1276302417.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 7853 /proc/meminfo: memFree=1541344/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=9288 CPUtime=0 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 1046 0 0 0 0 0 0 0 18 0 1 0 5845651 9510912 966 1992294400 4194304 9819077 140735331195488 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7853/statm: 2322 976 371 1374 0 943 0 [startup+0.0410281 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7853 /proc/meminfo: memFree=1541344/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=11636 CPUtime=0.03 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 1852 0 0 0 3 0 0 0 20 0 1 0 5845651 11915264 1772 1992294400 4194304 9819077 140735331195488 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7853/statm: 2909 1772 386 1374 0 1530 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11636 [startup+0.101033 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7853 /proc/meminfo: memFree=1541344/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=17484 CPUtime=0.09 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 3768 0 0 0 7 2 0 0 20 0 1 0 5845651 17903616 3077 1992294400 4194304 9819077 140735331195488 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 4407 3087 489 1374 0 3028 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17484 [startup+0.301054 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7853 /proc/meminfo: memFree=1541344/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=37804 CPUtime=0.29 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 10848 0 0 0 24 5 0 0 20 0 1 0 5845651 38711296 7526 1992294400 4194304 9819077 140735331195488 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9451 7526 670 1374 0 8072 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37804 [startup+0.701094 s] /proc/loadavg: 0.92 0.98 0.99 3/106 7853 /proc/meminfo: memFree=1541344/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=28488 CPUtime=0.69 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 13116 0 0 0 61 8 0 0 20 0 1 0 5845651 29171712 6054 1992294400 4194304 9819077 140735331195488 18446744073709551615 6054107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 7122 6054 692 1374 0 5743 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28488 [startup+1.50118 s] /proc/loadavg: 0.92 0.98 0.99 2/107 7854 /proc/meminfo: memFree=1518768/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=32292 CPUtime=1.49 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 14190 0 0 0 140 9 0 0 23 0 1 0 5845651 33067008 6732 1992294400 4194304 9819077 140735331195488 18446744073709551615 6047262 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 8073 6732 692 1374 0 6694 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32292 [startup+3.10134 s] /proc/loadavg: 0.92 0.98 0.99 2/107 7854 /proc/meminfo: memFree=1516164/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=36552 CPUtime=3.09 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 17312 0 0 0 298 11 0 0 25 0 1 0 5845651 37429248 7000 1992294400 4194304 9819077 140735331195488 18446744073709551615 6391510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9138 7000 698 1374 0 7759 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36552 [startup+6.30167 s] /proc/loadavg: 0.93 0.98 0.99 2/107 7854 /proc/meminfo: memFree=1514924/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=36596 CPUtime=6.29 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 23457 0 0 0 615 14 0 0 25 0 1 0 5845651 37474304 7036 1992294400 4194304 9819077 140735331195488 18446744073709551615 7291143 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9149 7036 705 1374 0 7770 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36596 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/107 7854 /proc/meminfo: memFree=1514924/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=36384 CPUtime=12.68 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 34185 0 0 0 1248 20 0 0 25 0 1 0 5845651 37257216 7037 1992294400 4194304 9819077 140735331195488 18446744073709551615 6190577 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9096 7037 719 1374 0 7717 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36384 [startup+25.5006 s] /proc/loadavg: 0.95 0.98 0.99 2/107 7854 /proc/meminfo: memFree=1515048/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=35992 CPUtime=25.49 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 64878 0 0 0 2510 39 0 0 25 0 1 0 5845651 36855808 7021 1992294400 4194304 9819077 140735331195488 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 8998 7021 721 1374 0 7619 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 35992 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/107 7856 /proc/meminfo: memFree=1515048/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=36524 CPUtime=51.08 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 129905 0 0 0 5027 81 0 0 25 0 1 0 5845651 37400576 7007 1992294400 4194304 9819077 140735331195488 18446744073709551615 6391606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9131 7007 722 1374 0 7752 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 36524 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 7856 /proc/meminfo: memFree=1515048/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=34088 CPUtime=102.27 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 278901 0 0 0 10047 180 0 0 25 0 1 0 5845651 34906112 7004 1992294400 4194304 9819077 140735331195488 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 8522 7004 722 1374 0 7143 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 34088 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7858 /proc/meminfo: memFree=1514924/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=37092 CPUtime=162.24 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 498192 0 0 0 15911 313 0 0 25 0 1 0 5845651 37982208 7040 1992294400 4194304 9819077 140735331195488 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9273 7040 722 1374 0 7894 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 37092 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7860 /proc/meminfo: memFree=1514800/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=35164 CPUtime=222.22 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 755033 0 0 0 21746 476 0 0 25 0 1 0 5845651 36007936 7121 1992294400 4194304 9819077 140735331195488 18446744073709551615 7480992 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 8791 7121 722 1374 0 7412 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 35164 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7862 /proc/meminfo: memFree=1514552/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=35188 CPUtime=282.2 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 1017280 0 0 0 27586 634 0 0 25 0 1 0 5845651 36032512 7121 1992294400 4194304 9819077 140735331195488 18446744073709551615 7292298 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 8797 7121 722 1374 0 7418 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 35188 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7864 /proc/meminfo: memFree=1514056/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=34732 CPUtime=342.18 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 1275167 0 0 0 33433 785 0 0 25 0 1 0 5845651 35565568 7164 1992294400 4194304 9819077 140735331195488 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 8172 7148 722 1374 0 6793 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 34732 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7864 /proc/meminfo: memFree=1514056/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=35392 CPUtime=402.16 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 1543832 0 0 0 39256 960 0 0 25 0 1 0 5845651 36241408 7190 1992294400 4194304 9819077 140735331195488 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 8848 7190 722 1374 0 7469 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 35392 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7866 /proc/meminfo: memFree=1513684/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=38844 CPUtime=462.14 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 1804844 0 0 0 45096 1118 0 0 25 0 1 0 5845651 39776256 7329 1992294400 4194304 9819077 140735331195488 18446744073709551615 6191183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9711 7329 722 1374 0 8332 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 38844 [startup+522.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7868 /proc/meminfo: memFree=1512568/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=36932 CPUtime=522.12 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 2062491 0 0 0 50943 1269 0 0 25 0 1 0 5845651 37818368 7544 1992294400 4194304 9819077 140735331195488 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9233 7544 722 1374 0 7854 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 36932 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7870 /proc/meminfo: memFree=1511700/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=37676 CPUtime=582.1 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 2322459 0 0 0 56786 1424 0 0 25 0 1 0 5845651 38580224 7730 1992294400 4194304 9819077 140735331195488 18446744073709551615 6519451 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9419 7730 722 1374 0 8040 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 37676 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7872 /proc/meminfo: memFree=1511700/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=37708 CPUtime=642.09 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 2587483 0 0 0 62622 1587 0 0 25 0 1 0 5845651 38612992 7749 1992294400 4194304 9819077 140735331195488 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9427 7749 722 1374 0 8048 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 37708 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7876 /proc/meminfo: memFree=1511204/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=37940 CPUtime=822.02 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 3367547 0 0 0 80151 2051 0 0 25 0 1 0 5845651 38850560 7835 1992294400 4194304 9819077 140735331195488 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9485 7835 722 1374 0 8106 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 37940 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7878 /proc/meminfo: memFree=1511204/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=37972 CPUtime=882.01 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 3625412 0 0 0 85991 2210 0 0 25 0 1 0 5845651 38883328 7810 1992294400 4194304 9819077 140735331195488 18446744073709551615 6191204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9493 7810 722 1374 0 8114 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 37972 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7880 /proc/meminfo: memFree=1511080/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=38036 CPUtime=942 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 3888379 0 0 0 91820 2380 0 0 25 0 1 0 5845651 38948864 7848 1992294400 4194304 9819077 140735331195488 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9509 7848 722 1374 0 8130 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 38036 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7880 /proc/meminfo: memFree=1511080/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=38072 CPUtime=1001.97 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 4146614 0 0 0 97655 2542 0 0 25 0 1 0 5845651 38985728 7831 1992294400 4194304 9819077 140735331195488 18446744073709551615 7301317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9518 7831 722 1374 0 8139 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 38072 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7882 /proc/meminfo: memFree=1510956/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=38152 CPUtime=1061.96 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 4409579 0 0 0 103500 2696 0 0 25 0 1 0 5845651 39067648 7873 1992294400 4194304 9819077 140735331195488 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9538 7875 722 1374 0 8159 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 38152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7884 /proc/meminfo: memFree=1510584/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=38436 CPUtime=1121.94 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 4658311 0 0 0 109350 2844 0 0 25 0 1 0 5845651 39358464 7928 1992294400 4194304 9819077 140735331195488 18446744073709551615 7292350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9609 7928 722 1374 0 8230 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 38436 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7886 /proc/meminfo: memFree=1510584/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=38544 CPUtime=1181.93 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 4898718 0 0 0 115204 2989 0 0 25 0 1 0 5845651 39469056 7942 1992294400 4194304 9819077 140735331195488 18446744073709551615 6513043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9636 7942 722 1374 0 8257 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 38544 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7888 /proc/meminfo: memFree=1509468/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=39508 CPUtime=1241.91 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 5150007 0 0 0 121053 3138 0 0 25 0 1 0 5845651 40456192 8219 1992294400 4194304 9819077 140735331195488 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9877 8219 722 1374 0 8498 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 39508 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7888 /proc/meminfo: memFree=1509096/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=39632 CPUtime=1301.9 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 5401312 0 0 0 126905 3285 0 0 25 0 1 0 5845651 40583168 8234 1992294400 4194304 9819077 140735331195488 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9908 8234 722 1374 0 8529 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 39632 [startup+1362.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 7890 /proc/meminfo: memFree=1509096/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=39632 CPUtime=1361.87 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 5655082 0 0 0 132745 3442 0 0 25 0 1 0 5845651 40583168 8232 1992294400 4194304 9819077 140735331195488 18446744073709551615 7324493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9908 8232 722 1374 0 8529 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 39632 [startup+1422.31 s] /proc/loadavg: 1.07 1.03 1.00 2/107 7892 /proc/meminfo: memFree=1509096/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=39596 CPUtime=1421.86 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 5915791 0 0 0 138589 3597 0 0 25 0 1 0 5845651 40546304 8230 1992294400 4194304 9819077 140735331195488 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9899 8230 722 1374 0 8520 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 39596 [startup+1482.3 s] /proc/loadavg: 1.07 1.03 1.00 2/107 7894 /proc/meminfo: memFree=1508972/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=38944 CPUtime=1481.84 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 6175862 0 0 0 144428 3756 0 0 25 0 1 0 5845651 39878656 8252 1992294400 4194304 9819077 140735331195488 18446744073709551615 7263341 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9736 8252 722 1374 0 8357 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 38944 [startup+1542.3 s] /proc/loadavg: 1.07 1.04 1.00 2/107 7896 /proc/meminfo: memFree=1508972/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=39864 CPUtime=1541.82 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 6436372 0 0 0 150262 3920 0 0 25 0 1 0 5845651 40820736 8306 1992294400 4194304 9819077 140735331195488 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9966 8306 722 1374 0 8587 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 39864 [startup+1602.3 s] /proc/loadavg: 1.06 1.04 1.00 2/107 7896 /proc/meminfo: memFree=1508972/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=39892 CPUtime=1601.8 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 6694048 0 0 0 156097 4083 0 0 25 0 1 0 5845651 40849408 8309 1992294400 4194304 9819077 140735331195488 18446744073709551615 7292038 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9973 8309 722 1374 0 8594 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 39892 [startup+1662.3 s] /proc/loadavg: 1.06 1.05 1.00 2/107 7898 /proc/meminfo: memFree=1508724/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=39964 CPUtime=1661.78 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 6947729 0 0 0 161940 4238 0 0 25 0 1 0 5845651 40923136 8326 1992294400 4194304 9819077 140735331195488 18446744073709551615 6391616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9991 8326 722 1374 0 8612 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 39964 [startup+1722.3 s] /proc/loadavg: 1.14 1.07 1.01 2/107 7900 /proc/meminfo: memFree=1508600/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=39872 CPUtime=1721.76 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 7198938 0 0 0 167792 4384 0 0 25 0 1 0 5845651 40828928 8299 1992294400 4194304 9819077 140735331195488 18446744073709551615 6670007 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 9968 8299 722 1374 0 8589 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 39872 [startup+1782.3 s] /proc/loadavg: 1.08 1.07 1.01 2/107 7902 /proc/meminfo: memFree=1508228/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=40068 CPUtime=1781.75 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 7442694 0 0 0 173640 4535 0 0 25 0 1 0 5845651 41029632 8362 1992294400 4194304 9819077 140735331195488 18446744073709551615 7291994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 10017 8362 722 1374 0 8638 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 40068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.06 1.06 1.00 2/107 7902 /proc/meminfo: memFree=1508228/2059040 swapFree=4192956/4192956 [pid=7853] ppid=7851 vsize=43100 CPUtime=1800.05 /proc/7853/stat : 7853 (pbscip.linux.x8) R 7851 7853 7313 0 -1 4202496 7518641 0 0 0 175423 4582 0 0 25 0 1 0 5845651 44134400 8366 1992294400 4194304 9819077 140735331195488 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7853/statm: 10775 8368 722 1374 0 9396 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 43100 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): 1754.29 CPU system time (s): 45.83 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 43232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1754.29 system time used= 45.83 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7518710 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 1730 runsolver used 3.17452 second user time and 8.30974 second system time The end
Begin job on node002 at 2010-06-12 02:26:57 IDJOB=2665859 IDBENCH=1331 IDSOLVER=1168 FILE ID=node002/2665859-1276302417 PBS_JOBID= 11173119 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.1900550006.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-2665859-1276302417/watcher-2665859-1276302417 -o /tmp/evaluation-result-2665859-1276302417/solver-2665859-1276302417 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665859-1276302417.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cabd29c48249a44c2596bb98645c31c8 RANDOM SEED=287219596 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: 1541748 kB Buffers: 74452 kB Cached: 314916 kB SwapCached: 0 kB Active: 178144 kB Inactive: 270496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1541748 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6252 kB Writeback: 0 kB AnonPages: 59236 kB Mapped: 15448 kB Slab: 46776 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181580 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-12 02:57:00