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.16 | 1800.7 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900670234.opb |
MD5SUM | 92f66beef1a16468af1cdeb8f0308249 |
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 | 483.153 |
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 | 641 |
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-2665459-1276284377.opb> 0.00/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.00/0.06 c problem read 0.00/0.06 c No objective function, only one solution is needed. 0.00/0.06 c presolving settings loaded 0.00/0.07 c presolving: 0.09/0.12 c (round 1) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs 0.09/0.13 c (round 2) 0 del vars, 143 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs 0.09/0.15 c presolving (3 rounds): 0.09/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.09/0.15 c 242 implications, 22 cliques 0.09/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.09/0.15 c 1 constraints of type <knapsack> 0.09/0.15 c 22 constraints of type <setppc> 0.09/0.15 c 2541 constraints of type <logicor> 0.09/0.15 c transformed objective value is always integral (scale: 1) 0.09/0.15 c Presolving Time: 0.06 0.09/0.15 c - non default parameters ---------------------------------------------------------------------- 0.09/0.15 c # SCIP version 1.2.1.2 0.09/0.15 c 0.09/0.15 c # frequency for displaying node information lines 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.09/0.15 c display/freq = 10000 0.09/0.15 c 0.09/0.15 c # maximal time in seconds to run 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/time = 1799.96 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 72 | - |3551k| 0 | 33 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.51 c 0.4s| 1 | 0 | 87 | - |3951k| 0 | 32 | 231 |2728 | 231 |2573 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf 0.69/0.75 c 0.6s| 1 | 0 | 467 | - |4247k| 0 | 56 | 231 |2728 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 1.09/1.12 c 1.0s| 1 | 0 | 925 | - |4837k| 0 | 55 | 231 |2728 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.45 c 1.3s| 1 | 0 | 944 | - |4900k| 0 | 65 | 231 |2728 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 1.79/1.89 c 1.8s| 1 | 0 | 1005 | - |4901k| 0 | 71 | 231 |2728 | 231 |2588 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf 4.09/4.12 c 4.0s| 1 | 2 | 1005 | - |4901k| 0 | 71 | 231 |2728 | 231 |2588 | 24 | 0 | 10 | 0.000000e+00 | -- | Inf 236.52/236.62 c 232s| 10000 | 81 |531425 | 53.0 |6299k| 43 | 22 | 231 |5067 | 231 |2571 | 24 |4137 |1564 | 0.000000e+00 | -- | Inf 420.67/420.83 c 411s| 20000 | 111 | 1052k| 52.6 |6868k| 43 | 36 | 231 |5862 | 231 |2571 | 24 |8264 |2068 | 0.000000e+00 | -- | Inf 604.12/604.31 c 590s| 30000 | 96 | 1559k| 52.0 |7120k| 43 | - | 231 |6370 | 231 |2571 | 24 | 12k|2632 | 0.000000e+00 | -- | Inf 795.07/795.39 c 776s| 40000 | 97 | 2100k| 52.5 |7765k| 47 | - | 231 |7743 | 231 |2571 | 24 | 16k|3130 | 0.000000e+00 | -- | Inf 983.70/984.01 c 960s| 50000 | 67 | 2643k| 52.8 |7476k| 48 | 45 | 231 |7099 | 231 |2571 | 24 | 20k|3510 | 0.000000e+00 | -- | Inf 1169.13/1169.50 c 1140s| 60000 | 64 | 3173k| 52.9 |7607k| 48 | 20 | 231 |7342 | 231 |2571 | 24 | 24k|3893 | 0.000000e+00 | -- | Inf 1368.37/1368.89 c 1334s| 70000 | 109 | 3754k| 53.6 |8445k| 49 | - | 231 |8811 | 231 |2571 | 24 | 28k|4272 | 0.000000e+00 | -- | Inf 1559.82/1560.33 c 1521s| 80000 | 98 | 4301k| 53.8 |8767k| 51 | 31 | 231 |9495 | 231 |2571 | 24 | 32k|4597 | 0.000000e+00 | -- | Inf 1753.57/1754.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1753.57/1754.12 c 1710s| 90000 | 89 | 4869k| 54.1 |8297k| 54 | 29 | 231 |8177 | 231 |2571 | 24 | 36k|4868 | 0.000000e+00 | -- | Inf 1800.07/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.07/1800.66 c 1800.07/1800.66 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.66 c Solving Time (sec) : 1755.02 1800.07/1800.66 c Solving Nodes : 92595 1800.07/1800.66 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.07/1800.66 c Dual Bound : +0.00000000000000e+00 1800.07/1800.66 c Gap : infinite 1800.07/1800.66 s UNKNOWN 1800.07/1800.66 c SCIP Status : solving was interrupted [user interrupt] 1800.07/1800.66 c Solving Time : 1755.02 1800.07/1800.66 c Original Problem : 1800.07/1800.66 c Problem name : HOME/instance-2665459-1276284377.opb 1800.07/1800.66 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.66 c Constraints : 2707 initial, 2707 maximal 1800.07/1800.66 c Presolved Problem : 1800.07/1800.66 c Problem name : t_HOME/instance-2665459-1276284377.opb 1800.07/1800.66 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.07/1800.66 c Constraints : 2564 initial, 9630 maximal 1800.07/1800.66 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.07/1800.66 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.66 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.66 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.66 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.66 c implics : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.66 c probing : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.66 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.66 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.07/1800.66 c linear : 0.03 0 0 0 0 0 143 0 0 1800.07/1800.66 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.07/1800.66 c root node : - 0 - - 0 - - - - 1800.07/1800.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.07/1800.66 c integral : 0 0 0 47621 0 164 1604 0 0 93016 1800.07/1800.66 c knapsack : 1 5 283318 0 0 406 98231 0 0 0 1800.07/1800.66 c setppc : 22 5 283073 0 0 1207 465400 0 0 0 1800.07/1800.66 c linear : 0+ 5 208778 0 0 5 4150 0 0 0 1800.07/1800.66 c logicor : 2541+ 5 167796 0 0 370 583508 0 0 0 1800.07/1800.66 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.07/1800.66 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.07/1800.66 c integral : 162.70 0.00 0.00 162.70 0.00 1800.07/1800.66 c knapsack : 2.77 0.00 2.77 0.00 0.00 1800.07/1800.66 c setppc : 4.79 0.00 4.79 0.00 0.00 1800.07/1800.66 c linear : 1.07 0.00 1.07 0.00 0.00 1800.07/1800.66 c logicor : 22.88 0.01 22.87 0.00 0.00 1800.07/1800.66 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.07/1800.66 c Propagators : Time Calls Cutoffs DomReds 1800.07/1800.66 c vbounds : 0.32 1 0 0 1800.07/1800.66 c rootredcost : 0.16 0 0 0 1800.07/1800.66 c pseudoobj : 0.17 0 0 0 1800.07/1800.66 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.07/1800.66 c propagation : 0.13 1988 1969 11234 22.6 16 20.8 - 1800.07/1800.66 c infeasible LP : 16.63 44250 30092 180769 37.6 203 16.1 0 1800.07/1800.66 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.66 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.07/1800.66 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.07/1800.66 c applied globally : - - - 35614 20.1 - - - 1800.07/1800.66 c applied locally : - - - 2126 33.7 - - - 1800.07/1800.66 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.07/1800.66 c cut pool : 0.00 4 - - 13 - (maximal pool size: 472) 1800.07/1800.66 c redcost : 0.47 46729 0 0 0 0 1800.07/1800.66 c impliedbounds : 0.00 5 0 0 0 0 1800.07/1800.66 c intobj : 0.00 0 0 0 0 0 1800.07/1800.66 c cgmip : 0.00 0 0 0 0 0 1800.07/1800.66 c gomory : 0.59 5 0 0 1500 0 1800.07/1800.66 c strongcg : 0.48 5 0 0 1551 0 1800.07/1800.66 c cmir : 0.00 0 0 0 0 0 1800.07/1800.66 c flowcover : 0.00 0 0 0 0 0 1800.07/1800.66 c clique : 0.01 5 0 0 0 0 1800.07/1800.66 c zerohalf : 0.00 0 0 0 0 0 1800.07/1800.66 c mcf : 0.00 1 0 0 0 0 1800.07/1800.66 c rapidlearning : 0.20 1 0 0 0 164 1800.07/1800.66 c Pricers : Time Calls Vars 1800.07/1800.66 c problem variables: 0.00 0 0 1800.07/1800.66 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.07/1800.66 c relpscost : 162.59 47621 164 1604 0 0 93016 1800.07/1800.66 c pscost : 0.00 0 0 0 0 0 0 1800.07/1800.66 c inference : 0.00 0 0 0 0 0 0 1800.07/1800.66 c mostinf : 0.00 0 0 0 0 0 0 1800.07/1800.66 c leastinf : 0.00 0 0 0 0 0 0 1800.07/1800.66 c fullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.66 c allfullstrong : 0.00 0 0 0 0 0 0 1800.07/1800.66 c random : 0.00 0 0 0 0 0 0 1800.07/1800.66 c Primal Heuristics : Time Calls Found 1800.07/1800.66 c LP solutions : 0.00 - 0 1800.07/1800.66 c pseudo solutions : 0.00 - 0 1800.07/1800.66 c trivial : 0.00 1 0 1800.07/1800.66 c simplerounding : 0.00 0 0 1800.07/1800.66 c zirounding : 0.00 0 0 1800.07/1800.66 c rounding : 0.00 0 0 1800.07/1800.66 c shifting : 0.00 0 0 1800.07/1800.66 c intshifting : 0.00 0 0 1800.07/1800.66 c oneopt : 0.00 0 0 1800.07/1800.66 c twoopt : 0.00 0 0 1800.07/1800.66 c fixandinfer : 0.00 0 0 1800.07/1800.66 c feaspump : 0.00 0 0 1800.07/1800.66 c coefdiving : 0.00 0 0 1800.07/1800.66 c pscostdiving : 0.00 0 0 1800.07/1800.66 c fracdiving : 0.00 0 0 1800.07/1800.66 c veclendiving : 0.00 0 0 1800.07/1800.66 c intdiving : 0.00 0 0 1800.07/1800.66 c actconsdiving : 0.00 0 0 1800.07/1800.66 c objpscostdiving : 0.00 0 0 1800.07/1800.66 c rootsoldiving : 0.00 0 0 1800.07/1800.66 c linesearchdiving : 0.00 0 0 1800.07/1800.66 c guideddiving : 0.00 0 0 1800.07/1800.66 c octane : 0.00 0 0 1800.07/1800.66 c rens : 0.00 0 0 1800.07/1800.66 c rins : 0.00 0 0 1800.07/1800.66 c localbranching : 0.00 0 0 1800.07/1800.66 c mutation : 0.00 0 0 1800.07/1800.66 c crossover : 0.00 0 0 1800.07/1800.66 c dins : 0.00 0 0 1800.07/1800.66 c undercover : 0.00 0 0 1800.07/1800.66 c nlp : 0.00 0 0 1800.07/1800.66 c trysol : 0.00 0 0 1800.07/1800.66 c LP : Time Calls Iterations Iter/call Iter/sec 1800.07/1800.66 c primal LP : 0.00 0 0 0.00 - 1800.07/1800.66 c dual LP : 1478.55 91765 5008941 54.58 3387.74 1800.07/1800.66 c lex dual LP : 0.00 0 0 0.00 - 1800.07/1800.66 c barrier LP : 0.00 0 0 0.00 - 1800.07/1800.66 c diving/probing LP: 0.00 0 0 0.00 - 1800.07/1800.66 c strong branching : 160.28 4935 574752 116.46 3585.92 1800.07/1800.66 c (at root node) : - 10 5999 599.90 - 1800.07/1800.66 c conflict analysis: 0.00 0 0 0.00 - 1800.07/1800.66 c B&B Tree : 1800.07/1800.66 c number of runs : 1 1800.07/1800.66 c nodes : 92595 1800.07/1800.66 c nodes (total) : 92595 1800.07/1800.66 c nodes left : 104 1800.07/1800.66 c max depth : 55 1800.07/1800.66 c max depth (total): 55 1800.07/1800.66 c backtracks : 10854 (11.7%) 1800.07/1800.66 c delayed cutoffs : 318 1800.07/1800.66 c repropagations : 84976 (127497 domain reductions, 315 cutoffs) 1800.07/1800.66 c avg switch length: 3.85 1800.07/1800.66 c switching time : 25.92 1800.07/1800.66 c Solution : 1800.07/1800.66 c Solutions found : 0 (0 improvements) 1800.07/1800.66 c Primal Bound : - 1800.07/1800.66 c Dual Bound : +0.00000000000000e+00 1800.07/1800.66 c Gap : infinite 1800.07/1800.66 c Root Dual Bound : +0.00000000000000e+00 1800.07/1800.66 c Root Iterations : 1005 1800.07/1800.69 c Time complete: 1800.15.
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-2665459-1276284377/watcher-2665459-1276284377 -o /tmp/evaluation-result-2665459-1276284377/solver-2665459-1276284377 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665459-1276284377.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 6717 /proc/meminfo: memFree=1556584/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=6356 CPUtime=0 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 593 0 0 0 0 0 0 0 19 0 1 0 4041688 6508544 513 1992294400 4194304 9819077 140733231057488 18446744073709551615 8678556 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6717/statm: 1589 513 338 1374 0 210 0 [startup+0.107328 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6717 /proc/meminfo: memFree=1556584/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=18240 CPUtime=0.09 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 3951 0 0 0 8 1 0 0 20 0 1 0 4041688 18677760 3260 1992294400 4194304 9819077 140733231057488 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 4560 3260 489 1374 0 3181 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18240 [startup+0.201337 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6717 /proc/meminfo: memFree=1556584/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=25192 CPUtime=0.19 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 7919 0 0 0 16 3 0 0 20 0 1 0 4041688 25796608 4608 1992294400 4194304 9819077 140733231057488 18446744073709551615 6044935 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 6298 4608 650 1374 0 4919 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 25192 [startup+0.301347 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6717 /proc/meminfo: memFree=1556584/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=37268 CPUtime=0.28 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 10956 0 0 0 24 4 0 0 20 0 1 0 4041688 38162432 7388 1992294400 4194304 9819077 140733231057488 18446744073709551615 8678556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9317 7388 668 1374 0 7938 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 37268 [startup+0.701387 s] /proc/loadavg: 0.92 0.98 0.99 3/106 6717 /proc/meminfo: memFree=1556584/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=29968 CPUtime=0.69 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 13331 0 0 0 62 7 0 0 20 0 1 0 4041688 30687232 6279 1992294400 4194304 9819077 140733231057488 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 7492 6279 691 1374 0 6113 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29968 [startup+1.50147 s] /proc/loadavg: 0.92 0.98 0.99 2/107 6720 /proc/meminfo: memFree=1532892/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=31032 CPUtime=1.48 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 13713 0 0 0 141 7 0 0 23 0 1 0 4041688 31776768 6535 1992294400 4194304 9819077 140733231057488 18446744073709551615 6052017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 7758 6535 692 1374 0 6379 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 31032 [startup+3.10063 s] /proc/loadavg: 0.92 0.98 0.99 2/107 6720 /proc/meminfo: memFree=1532148/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=34628 CPUtime=3.09 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 15243 0 0 0 300 9 0 0 25 0 1 0 4041688 35459072 6614 1992294400 4194304 9819077 140733231057488 18446744073709551615 7309089 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8657 6614 698 1374 0 7278 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34628 [startup+6.30096 s] /proc/loadavg: 0.93 0.98 0.99 2/107 6720 /proc/meminfo: memFree=1532024/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=34276 CPUtime=6.28 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 19549 0 0 0 616 12 0 0 25 0 1 0 4041688 35098624 6597 1992294400 4194304 9819077 140733231057488 18446744073709551615 7306243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8569 6597 705 1374 0 7190 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34276 [startup+12.7006 s] /proc/loadavg: 0.93 0.98 0.99 2/107 6720 /proc/meminfo: memFree=1532024/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=34392 CPUtime=12.69 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 30734 0 0 0 1248 21 0 0 25 0 1 0 4041688 35217408 6625 1992294400 4194304 9819077 140733231057488 18446744073709551615 6391459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8598 6625 721 1374 0 7219 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34392 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/107 6720 /proc/meminfo: memFree=1532024/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=33156 CPUtime=25.48 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 54156 0 0 0 2508 40 0 0 25 0 1 0 4041688 33951744 6600 1992294400 4194304 9819077 140733231057488 18446744073709551615 7263386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8289 6600 721 1374 0 6910 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33156 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/107 6720 /proc/meminfo: memFree=1532024/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=31932 CPUtime=51.07 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 95436 0 0 0 5026 81 0 0 25 0 1 0 4041688 32698368 6624 1992294400 4194304 9819077 140733231057488 18446744073709551615 6822920 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 7983 6624 722 1374 0 6604 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31932 [startup+102.302 s] /proc/loadavg: 0.98 0.98 0.99 2/107 6722 /proc/meminfo: memFree=1531900/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=31396 CPUtime=102.27 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 199007 0 0 0 10059 168 0 0 25 0 1 0 4041688 32149504 6619 1992294400 4194304 9819077 140733231057488 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 7806 6615 722 1374 0 6427 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 31396 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6724 /proc/meminfo: memFree=1531652/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=32484 CPUtime=162.24 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 351678 0 0 0 15941 283 0 0 25 0 1 0 4041688 33263616 6657 1992294400 4194304 9819077 140733231057488 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8121 6657 722 1374 0 6742 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32484 [startup+222.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6724 /proc/meminfo: memFree=1531776/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=32684 CPUtime=222.24 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 536869 0 0 0 21806 418 0 0 25 0 1 0 4041688 33468416 6658 1992294400 4194304 9819077 140733231057488 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8171 6658 722 1374 0 6792 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 32684 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6726 /proc/meminfo: memFree=1531528/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=33424 CPUtime=282.21 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 753508 0 0 0 27654 567 0 0 25 0 1 0 4041688 34226176 6722 1992294400 4194304 9819077 140733231057488 18446744073709551615 6191191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8356 6722 722 1374 0 6977 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 33424 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6728 /proc/meminfo: memFree=1531404/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=33460 CPUtime=342.19 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 998833 0 0 0 33497 722 0 0 25 0 1 0 4041688 34263040 6720 1992294400 4194304 9819077 140733231057488 18446744073709551615 6003852 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8365 6720 722 1374 0 6986 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 33460 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6730 /proc/meminfo: memFree=1531404/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=33396 CPUtime=402.17 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 1245390 0 0 0 39333 884 0 0 25 0 1 0 4041688 34197504 6717 1992294400 4194304 9819077 140733231057488 18446744073709551615 7301994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8349 6717 722 1374 0 6970 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 33396 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6732 /proc/meminfo: memFree=1531032/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=33896 CPUtime=462.16 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 1486946 0 0 0 45184 1032 0 0 25 0 1 0 4041688 34709504 6814 1992294400 4194304 9819077 140733231057488 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8474 6814 722 1374 0 7095 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 33896 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6732 /proc/meminfo: memFree=1530908/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=33972 CPUtime=522.15 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 1753668 0 0 0 51023 1192 0 0 25 0 1 0 4041688 34787328 6830 1992294400 4194304 9819077 140733231057488 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8493 6830 722 1374 0 7114 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 33972 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6734 /proc/meminfo: memFree=1530784/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=34016 CPUtime=582.12 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 2026262 0 0 0 56853 1359 0 0 25 0 1 0 4041688 34832384 6849 1992294400 4194304 9819077 140733231057488 18446744073709551615 7292289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8504 6849 722 1374 0 7125 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 34016 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 6736 /proc/meminfo: memFree=1530784/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=37036 CPUtime=642.11 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 2296921 0 0 0 62684 1527 0 0 25 0 1 0 4041688 37924864 6903 1992294400 4194304 9819077 140733231057488 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9259 6905 722 1374 0 7880 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 37036 [startup+702.301 s] ################ # More data... # ################ [startup+882.309 s] /proc/loadavg: 1.10 1.04 1.00 2/107 6742 /proc/meminfo: memFree=1530164/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=34548 CPUtime=882.03 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 3320680 0 0 0 86057 2146 0 0 25 0 1 0 4041688 35377152 6956 1992294400 4194304 9819077 140733231057488 18446744073709551615 7311687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8637 6956 722 1374 0 7258 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 34548 [startup+942.302 s] /proc/loadavg: 1.09 1.05 1.00 2/107 6744 /proc/meminfo: memFree=1530040/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=37712 CPUtime=942.01 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 3576832 0 0 0 91902 2299 0 0 25 0 1 0 4041688 38617088 7057 1992294400 4194304 9819077 140733231057488 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9428 7057 722 1374 0 8049 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 37712 [startup+1002.3 s] /proc/loadavg: 1.08 1.05 1.00 2/107 6746 /proc/meminfo: memFree=1529916/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=34636 CPUtime=1001.99 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 3837063 0 0 0 97744 2455 0 0 25 0 1 0 4041688 35467264 6992 1992294400 4194304 9819077 140733231057488 18446744073709551615 7289175 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8659 6992 722 1374 0 7280 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 34636 [startup+1062.3 s] /proc/loadavg: 1.08 1.06 1.00 2/107 6748 /proc/meminfo: memFree=1529916/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=34708 CPUtime=1061.97 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 4085260 0 0 0 103583 2614 0 0 25 0 1 0 4041688 35540992 7003 1992294400 4194304 9819077 140733231057488 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8677 7003 722 1374 0 7298 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 34708 [startup+1122.3 s] /proc/loadavg: 1.10 1.07 1.01 2/107 6748 /proc/meminfo: memFree=1529792/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=34804 CPUtime=1121.95 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 4355844 0 0 0 109415 2780 0 0 25 0 1 0 4041688 35639296 7041 1992294400 4194304 9819077 140733231057488 18446744073709551615 7293557 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8701 7041 722 1374 0 7322 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 34804 [startup+1182.3 s] /proc/loadavg: 1.04 1.06 1.00 2/107 6750 /proc/meminfo: memFree=1529668/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=34828 CPUtime=1181.94 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 4606505 0 0 0 115263 2931 0 0 25 0 1 0 4041688 35663872 7025 1992294400 4194304 9819077 140733231057488 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 8707 7025 722 1374 0 7328 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 34828 [startup+1242.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 6752 /proc/meminfo: memFree=1529296/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=37872 CPUtime=1241.91 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 4859915 0 0 0 121105 3086 0 0 25 0 1 0 4041688 38780928 7139 1992294400 4194304 9819077 140733231057488 18446744073709551615 7311974 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9468 7139 722 1374 0 8089 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 37872 [startup+1302.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 6754 /proc/meminfo: memFree=1528180/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=36048 CPUtime=1301.9 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 5108586 0 0 0 126954 3236 0 0 25 0 1 0 4041688 36913152 7330 1992294400 4194304 9819077 140733231057488 18446744073709551615 4651662 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9012 7330 722 1374 0 7633 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 36048 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6756 /proc/meminfo: memFree=1528056/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=36324 CPUtime=1361.87 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 5348932 0 0 0 132798 3389 0 0 25 0 1 0 4041688 37195776 7424 1992294400 4194304 9819077 140733231057488 18446744073709551615 7296209 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9081 7424 722 1374 0 7702 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 36324 [startup+1422.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 6756 /proc/meminfo: memFree=1528056/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=36324 CPUtime=1421.87 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 5596931 0 0 0 138643 3544 0 0 25 0 1 0 4041688 37195776 7396 1992294400 4194304 9819077 140733231057488 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9081 7396 722 1374 0 7702 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 36324 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6758 /proc/meminfo: memFree=1527932/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=36480 CPUtime=1481.84 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 5845254 0 0 0 144485 3699 0 0 25 0 1 0 4041688 37355520 7481 1992294400 4194304 9819077 140733231057488 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9120 7481 722 1374 0 7741 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 36480 [startup+1542.31 s] /proc/loadavg: 1.00 1.01 1.00 2/107 6760 /proc/meminfo: memFree=1527808/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=39416 CPUtime=1541.83 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 6096728 0 0 0 150332 3851 0 0 25 0 1 0 4041688 40361984 7631 1992294400 4194304 9819077 140733231057488 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9854 7631 722 1374 0 8475 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 39416 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6762 /proc/meminfo: memFree=1527684/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=36704 CPUtime=1601.81 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 6346362 0 0 0 156179 4002 0 0 25 0 1 0 4041688 37584896 7491 1992294400 4194304 9819077 140733231057488 18446744073709551615 7487739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9176 7491 722 1374 0 7797 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 36704 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6764 /proc/meminfo: memFree=1527684/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=36640 CPUtime=1661.8 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 6602604 0 0 0 162021 4159 0 0 25 0 1 0 4041688 37519360 7511 1992294400 4194304 9819077 140733231057488 18446744073709551615 7292313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9160 7511 722 1374 0 7781 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 36640 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6764 /proc/meminfo: memFree=1527560/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=36704 CPUtime=1721.77 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 6840878 0 0 0 167878 4299 0 0 25 0 1 0 4041688 37584896 7504 1992294400 4194304 9819077 140733231057488 18446744073709551615 6449645 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9176 7504 722 1374 0 7797 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 36704 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6766 /proc/meminfo: memFree=1527312/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=36676 CPUtime=1781.76 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 7095355 0 0 0 173720 4456 0 0 25 0 1 0 4041688 37556224 7494 1992294400 4194304 9819077 140733231057488 18446744073709551615 7318422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9169 7494 722 1374 0 7790 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 36676 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6766 /proc/meminfo: memFree=1527312/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=36764 CPUtime=1800.07 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 7168543 0 0 0 175500 4507 0 0 25 0 1 0 4041688 37646336 7515 1992294400 4194304 9819077 140733231057488 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9191 7515 722 1374 0 7812 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 36764 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 6766 /proc/meminfo: memFree=1527312/2059040 swapFree=4192956/4192956 [pid=6717] ppid=6715 vsize=36764 CPUtime=1800.07 /proc/6717/stat : 6717 (pbscip.linux.x8) R 6715 6717 5381 0 -1 4202496 7168543 0 0 0 175500 4507 0 0 25 0 1 0 4041688 37646336 7515 1992294400 4194304 9819077 140733231057488 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6717/statm: 9191 7515 722 1374 0 7812 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 36764 Child status: 0 Real time (s): 1800.7 CPU time (s): 1800.16 CPU user time (s): 1755.08 CPU system time (s): 45.0781 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 39932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1755.08 system time used= 45.0781 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7168731 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= 5 involuntary context switches= 4791 runsolver used 3.08853 second user time and 8.39272 second system time The end
Begin job on node002 at 2010-06-11 21:26:17 IDJOB=2665459 IDBENCH=1279 IDSOLVER=1168 FILE ID=node002/2665459-1276284377 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.1900670234.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-2665459-1276284377/watcher-2665459-1276284377 -o /tmp/evaluation-result-2665459-1276284377/solver-2665459-1276284377 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665459-1276284377.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 92f66beef1a16468af1cdeb8f0308249 RANDOM SEED=871411967 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: 1557112 kB Buffers: 60396 kB Cached: 314416 kB SwapCached: 0 kB Active: 174816 kB Inactive: 259292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1557112 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6332 kB Writeback: 0 kB AnonPages: 59296 kB Mapped: 15380 kB Slab: 46100 kB PageTables: 4024 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:56:20