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.17 | 1800.69 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb |
MD5SUM | 12591fb3a3171df58322c5e93cb6a45b |
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 | 44.8062 |
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 | 723 |
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.01 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.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB) 0.00/0.01 c 0.00/0.01 c user parameter file <scip.set> not found - using default parameters 0.00/0.01 c reading problem <HOME/instance-2665559-1276297149.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.05/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.95 0.09/0.15 c 0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.09/0.15 c limits/memory = 1620 0.09/0.15 c 0.09/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c limits/solutions = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.09/0.15 c separating/maxrounds = 1 0.09/0.15 c 0.09/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/maxroundsroot = 5 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify inequalities 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/linear/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.09/0.15 c constraints/knapsack/disaggregation = FALSE 0.09/0.15 c 0.09/0.15 c # should presolving try to simplify knapsacks 0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.09/0.15 c 0.09/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c presolving/probing/maxrounds = 0 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/coefdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.09/0.15 c heuristics/crossover/freq = -1 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/crossover/nodesofs = 750 0.09/0.15 c 0.09/0.15 c # number of nodes without incumbent change that heuristic should wait 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.09/0.15 c heuristics/crossover/nwaitingnodes = 100 0.09/0.15 c 0.09/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.09/0.15 c # [type: real, range: [0,1], default: 0.1] 0.09/0.15 c heuristics/crossover/nodesquot = 0.15 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixed 0.09/0.15 c # [type: real, range: [0,1], default: 0.666] 0.09/0.15 c heuristics/crossover/minfixingrate = 0.5 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/feaspump/freq = -1 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/fracdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/guideddiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/intshifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/linesearchdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/nlp/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/objpscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.09/0.15 c # [type: real, range: [0,1], default: 0.01] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/oneopt/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/pscostdiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/rens/freq = -1 0.09/0.15 c 0.09/0.15 c # minimum percentage of integer variables that have to be fixable 0.09/0.15 c # [type: real, range: [0,1], default: 0.5] 0.09/0.15 c heuristics/rens/minfixingrate = 0.3 0.09/0.15 c 0.09/0.15 c # number of nodes added to the contingent of the total nodes 0.09/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.09/0.15 c heuristics/rens/nodesofs = 2000 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.09/0.15 c heuristics/rootsoldiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/rounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/shifting/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/simplerounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c heuristics/trivial/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/trysol/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.09/0.15 c heuristics/veclendiving/freq = -1 0.09/0.15 c 0.09/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.09/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.09/0.15 c 0.09/0.15 c # additional number of allowed LP iterations 0.09/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.09/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.09/0.15 c 0.09/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.09/0.15 c heuristics/zirounding/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/cmir/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.09/0.15 c separating/flowcover/freq = -1 0.09/0.15 c 0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.09/0.15 c separating/rapidlearning/freq = 0 0.09/0.15 c 0.09/0.15 c ----------------------------------------------------------------------------------------------- 0.09/0.15 c start solving 0.09/0.15 c 0.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.09/0.17 c 0.1s| 1 | 0 | 57 | - |3551k| 0 | 35 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.56 c 0.4s| 1 | 0 | 165 | - |4020k| 0 | 63 | 231 |2740 | 231 |2579 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 1.19/1.20 c 1.1s| 1 | 0 | 770 | - |4142k| 0 | 50 | 231 |2740 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 1.39/1.48 c 1.3s| 1 | 0 | 822 | - |4160k| 0 | 63 | 231 |2740 | 231 |2584 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf 2.09/2.11 c 2.0s| 1 | 0 | 1384 | - |4278k| 0 | 53 | 231 |2740 | 231 |2585 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf 2.39/2.41 c 2.3s| 1 | 0 | 1401 | - |4303k| 0 | 59 | 231 |2740 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 5.59/5.66 c 5.5s| 1 | 2 | 1401 | - |4303k| 0 | 59 | 231 |2740 | 231 |2587 | 23 | 0 | 10 | 0.000000e+00 | -- | Inf 217.91/218.00 c 214s| 10000 | 90 |446439 | 44.5 |5779k| 36 | 40 | 231 |5170 | 231 |2575 | 23 |4740 |1545 | 0.000000e+00 | -- | Inf 389.86/390.07 c 381s| 20000 | 104 |909610 | 45.4 |6260k| 38 | 38 | 231 |5925 | 231 |2575 | 23 |9469 |2203 | 0.000000e+00 | -- | Inf 562.42/562.62 c 549s| 30000 | 133 | 1387k| 46.2 |6540k| 41 | - | 231 |5899 | 231 |2575 | 23 | 14k|2656 | 0.000000e+00 | -- | Inf 733.07/733.34 c 715s| 40000 | 137 | 1844k| 46.1 |6838k| 48 | - | 231 |6470 | 0 | 0 | 23 | 18k|3243 | 0.000000e+00 | -- | Inf 926.42/926.76 c 903s| 50000 | 153 | 2392k| 47.8 |7097k| 48 | - | 231 |6715 | 231 |2575 | 23 | 24k|3729 | 0.000000e+00 | -- | Inf 1096.77/1097.12 c 1069s| 60000 | 124 | 2862k| 47.7 |6660k| 48 | 27 | 231 |5741 | 231 |2575 | 23 | 29k|4116 | 0.000000e+00 | -- | Inf 1269.83/1270.24 c 1237s| 70000 | 138 | 3349k| 47.8 |7254k| 52 | - | 231 |6967 | 231 |2575 | 23 | 34k|4474 | 0.000000e+00 | -- | Inf 1440.78/1441.23 c 1403s| 80000 | 90 | 3833k| 47.9 |6892k| 59 | - | 231 |6220 | 231 |2575 | 23 | 38k|4767 | 0.000000e+00 | -- | Inf 1619.84/1620.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1619.84/1620.32 c 1578s| 90000 | 40 | 4345k| 48.3 |6343k| 59 | 43 | 231 |5200 | 231 |2575 | 23 | 43k|5108 | 0.000000e+00 | -- | Inf 1794.17/1794.73 c 1747s|100000 | 49 | 4845k| 48.4 |6930k| 59 | 39 | 231 |6740 | 231 |2575 | 23 | 48k|5424 | 0.000000e+00 | -- | Inf 1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.09/1800.66 c 1800.09/1800.66 c SCIP Status : solving was interrupted [user interrupt] 1800.09/1800.66 c Solving Time (sec) : 1753.25 1800.09/1800.66 c Solving Nodes : 100376 1800.09/1800.66 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.09/1800.66 c Dual Bound : +0.00000000000000e+00 1800.09/1800.66 c Gap : infinite 1800.09/1800.66 s UNKNOWN 1800.09/1800.66 c SCIP Status : solving was interrupted [user interrupt] 1800.09/1800.66 c Solving Time : 1753.25 1800.09/1800.66 c Original Problem : 1800.09/1800.66 c Problem name : HOME/instance-2665559-1276297149.opb 1800.09/1800.66 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.09/1800.66 c Constraints : 2707 initial, 2707 maximal 1800.09/1800.66 c Presolved Problem : 1800.09/1800.66 c Problem name : t_HOME/instance-2665559-1276297149.opb 1800.09/1800.66 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.09/1800.66 c Constraints : 2564 initial, 7261 maximal 1800.09/1800.66 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.09/1800.66 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.66 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.66 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.66 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.66 c implics : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.67 c probing : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.67 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.67 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.09/1800.67 c linear : 0.03 0 0 0 0 0 143 0 0 1800.09/1800.67 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.09/1800.67 c root node : - 0 - - 0 - - - - 1800.09/1800.67 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.09/1800.67 c integral : 0 0 0 51893 0 186 2026 0 0 101004 1800.09/1800.67 c knapsack : 1 5 323898 0 0 802 216846 0 0 0 1800.09/1800.67 c setppc : 22 5 323354 0 0 2452 565066 0 0 0 1800.09/1800.67 c linear : 0+ 5 191406 0 0 10 3850 5 0 0 1800.09/1800.67 c logicor : 2541+ 5 187599 0 0 908 672216 0 0 0 1800.09/1800.67 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.09/1800.67 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.09/1800.67 c integral : 161.58 0.00 0.00 161.58 0.00 1800.09/1800.67 c knapsack : 3.36 0.00 3.36 0.00 0.00 1800.09/1800.67 c setppc : 5.61 0.00 5.61 0.00 0.00 1800.09/1800.67 c linear : 1.42 0.01 1.41 0.00 0.00 1800.09/1800.67 c logicor : 24.72 0.00 24.72 0.00 0.00 1800.09/1800.67 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.09/1800.67 c Propagators : Time Calls Cutoffs DomReds 1800.09/1800.67 c vbounds : 0.27 1 0 0 1800.09/1800.67 c rootredcost : 0.24 0 0 0 1800.09/1800.67 c pseudoobj : 0.15 0 0 0 1800.09/1800.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.09/1800.67 c propagation : 0.32 4172 4148 20953 21.4 77 20.4 - 1800.09/1800.67 c infeasible LP : 18.73 46096 33314 194935 36.3 176 17.0 0 1800.09/1800.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.09/1800.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.09/1800.67 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.09/1800.67 c applied globally : - - - 46599 19.2 - - - 1800.09/1800.67 c applied locally : - - - 1614 34.2 - - - 1800.09/1800.67 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.09/1800.67 c cut pool : 0.00 4 - - 11 - (maximal pool size: 180) 1800.09/1800.67 c redcost : 0.49 50772 0 0 0 0 1800.09/1800.67 c impliedbounds : 0.00 5 0 0 0 0 1800.09/1800.67 c intobj : 0.00 0 0 0 0 0 1800.09/1800.67 c cgmip : 0.00 0 0 0 0 0 1800.09/1800.67 c gomory : 0.78 5 0 0 500 0 1800.09/1800.67 c strongcg : 0.60 5 0 0 819 0 1800.09/1800.67 c cmir : 0.00 0 0 0 0 0 1800.09/1800.67 c flowcover : 0.00 0 0 0 0 0 1800.09/1800.67 c clique : 0.00 5 0 0 0 0 1800.09/1800.67 c zerohalf : 0.00 0 0 0 0 0 1800.09/1800.67 c mcf : 0.00 1 0 0 0 0 1800.09/1800.67 c rapidlearning : 0.21 1 0 0 0 176 1800.09/1800.67 c Pricers : Time Calls Vars 1800.09/1800.67 c problem variables: 0.00 0 0 1800.09/1800.67 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.09/1800.67 c relpscost : 161.45 51893 186 2026 0 0 101004 1800.09/1800.67 c pscost : 0.00 0 0 0 0 0 0 1800.09/1800.67 c inference : 0.00 0 0 0 0 0 0 1800.09/1800.67 c mostinf : 0.00 0 0 0 0 0 0 1800.09/1800.67 c leastinf : 0.00 0 0 0 0 0 0 1800.09/1800.67 c fullstrong : 0.00 0 0 0 0 0 0 1800.09/1800.67 c allfullstrong : 0.00 0 0 0 0 0 0 1800.09/1800.67 c random : 0.00 0 0 0 0 0 0 1800.09/1800.67 c Primal Heuristics : Time Calls Found 1800.09/1800.67 c LP solutions : 0.00 - 0 1800.09/1800.67 c pseudo solutions : 0.00 - 0 1800.09/1800.67 c trivial : 0.01 1 0 1800.09/1800.67 c simplerounding : 0.00 0 0 1800.09/1800.67 c zirounding : 0.00 0 0 1800.09/1800.67 c rounding : 0.00 0 0 1800.09/1800.67 c shifting : 0.00 0 0 1800.09/1800.67 c intshifting : 0.00 0 0 1800.09/1800.67 c oneopt : 0.00 0 0 1800.09/1800.67 c twoopt : 0.00 0 0 1800.09/1800.67 c fixandinfer : 0.00 0 0 1800.09/1800.67 c feaspump : 0.00 0 0 1800.09/1800.67 c coefdiving : 0.00 0 0 1800.09/1800.67 c pscostdiving : 0.00 0 0 1800.09/1800.67 c fracdiving : 0.00 0 0 1800.09/1800.67 c veclendiving : 0.00 0 0 1800.09/1800.67 c intdiving : 0.00 0 0 1800.09/1800.67 c actconsdiving : 0.00 0 0 1800.09/1800.67 c objpscostdiving : 0.00 0 0 1800.09/1800.67 c rootsoldiving : 0.00 0 0 1800.09/1800.67 c linesearchdiving : 0.00 0 0 1800.09/1800.67 c guideddiving : 0.00 0 0 1800.09/1800.67 c octane : 0.00 0 0 1800.09/1800.67 c rens : 0.00 0 0 1800.09/1800.67 c rins : 0.00 0 0 1800.09/1800.67 c localbranching : 0.00 0 0 1800.09/1800.67 c mutation : 0.00 0 0 1800.09/1800.67 c crossover : 0.00 0 0 1800.09/1800.67 c dins : 0.00 0 0 1800.09/1800.67 c undercover : 0.00 0 0 1800.09/1800.67 c nlp : 0.00 0 0 1800.09/1800.67 c trysol : 0.00 0 0 1800.09/1800.67 c LP : Time Calls Iterations Iter/call Iter/sec 1800.09/1800.67 c primal LP : 0.00 0 0 0.00 - 1800.09/1800.67 c dual LP : 1467.56 97895 4863025 49.68 3313.68 1800.09/1800.67 c lex dual LP : 0.00 0 0 0.00 - 1800.09/1800.67 c barrier LP : 0.00 0 0 0.00 - 1800.09/1800.67 c diving/probing LP: 0.00 0 0 0.00 - 1800.09/1800.67 c strong branching : 159.39 5427 559407 103.08 3509.67 1800.09/1800.67 c (at root node) : - 10 7539 753.90 - 1800.09/1800.67 c conflict analysis: 0.00 0 0 0.00 - 1800.09/1800.67 c B&B Tree : 1800.09/1800.67 c number of runs : 1 1800.09/1800.67 c nodes : 100376 1800.09/1800.67 c nodes (total) : 100376 1800.09/1800.67 c nodes left : 46 1800.09/1800.67 c max depth : 59 1800.09/1800.67 c max depth (total): 59 1800.09/1800.67 c backtracks : 11891 (11.8%) 1800.09/1800.67 c delayed cutoffs : 583 1800.09/1800.67 c repropagations : 100113 (165966 domain reductions, 580 cutoffs) 1800.09/1800.67 c avg switch length: 4.07 1800.09/1800.67 c switching time : 27.23 1800.09/1800.67 c Solution : 1800.09/1800.67 c Solutions found : 0 (0 improvements) 1800.09/1800.67 c Primal Bound : - 1800.09/1800.67 c Dual Bound : +0.00000000000000e+00 1800.09/1800.67 c Gap : infinite 1800.09/1800.67 c Root Dual Bound : +0.00000000000000e+00 1800.09/1800.67 c Root Iterations : 1401 1800.09/1800.69 c Time complete: 1800.16.
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-2665559-1276297149/watcher-2665559-1276297149 -o /tmp/evaluation-result-2665559-1276297149/solver-2665559-1276297149 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665559-1276297149.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 1.00 3/106 5448 /proc/meminfo: memFree=1551052/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=9288 CPUtime=0 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 1026 0 0 0 0 0 0 0 19 0 1 0 3370276 9510912 946 1992294400 4194304 9819077 140735057158368 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5448/statm: 2322 956 371 1374 0 943 0 [startup+0.0632619 s] /proc/loadavg: 1.00 1.01 1.00 3/106 5448 /proc/meminfo: memFree=1551052/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=12092 CPUtime=0.05 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 2200 0 0 0 5 0 0 0 19 0 1 0 3370276 12382208 1767 1992294400 4194304 9819077 140735057158368 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 3023 1780 422 1374 0 1644 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12092 [startup+0.101264 s] /proc/loadavg: 1.00 1.01 1.00 3/106 5448 /proc/meminfo: memFree=1551052/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=17340 CPUtime=0.09 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 3732 0 0 0 8 1 0 0 19 0 1 0 3370276 17756160 3041 1992294400 4194304 9819077 140735057158368 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 4335 3041 489 1374 0 2956 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17340 [startup+0.30128 s] /proc/loadavg: 1.00 1.01 1.00 3/106 5448 /proc/meminfo: memFree=1551052/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=37260 CPUtime=0.29 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 10702 0 0 0 25 4 0 0 20 0 1 0 3370276 38154240 7397 1992294400 4194304 9819077 140735057158368 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 9315 7397 670 1374 0 7936 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37260 [startup+0.701311 s] /proc/loadavg: 1.00 1.01 1.00 3/106 5448 /proc/meminfo: memFree=1551052/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=29072 CPUtime=0.69 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 13242 0 0 0 62 7 0 0 20 0 1 0 3370276 29769728 6197 1992294400 4194304 9819077 140735057158368 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 7268 6197 692 1374 0 5889 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29072 [startup+1.50137 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5449 /proc/meminfo: memFree=1528228/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=29416 CPUtime=1.49 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 13265 0 0 0 141 8 0 0 23 0 1 0 3370276 30121984 6198 1992294400 4194304 9819077 140735057158368 18446744073709551615 6044444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 7354 6198 692 1374 0 5975 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29416 [startup+3.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5449 /proc/meminfo: memFree=1527980/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=32460 CPUtime=3.09 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 14281 0 0 0 300 9 0 0 25 0 1 0 3370276 33239040 6227 1992294400 4194304 9819077 140735057158368 18446744073709551615 7291624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8115 6227 698 1374 0 6736 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32460 [startup+6.30175 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5449 /proc/meminfo: memFree=1527856/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=32180 CPUtime=6.29 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 17718 0 0 0 618 11 0 0 25 0 1 0 3370276 32952320 6255 1992294400 4194304 9819077 140735057158368 18446744073709551615 7291711 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8045 6255 705 1374 0 6666 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32180 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5449 /proc/meminfo: memFree=1527732/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=31964 CPUtime=12.69 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 23729 0 0 0 1251 18 0 0 25 0 1 0 3370276 32731136 6278 1992294400 4194304 9819077 140735057158368 18446744073709551615 7263109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 7991 6278 718 1374 0 6612 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31964 [startup+25.5003 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5449 /proc/meminfo: memFree=1527732/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=32628 CPUtime=25.48 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 35997 0 0 0 2518 30 0 0 25 0 1 0 3370276 33411072 6300 1992294400 4194304 9819077 140735057158368 18446744073709551615 7304786 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8157 6300 718 1374 0 6778 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32628 [startup+51.1003 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5451 /proc/meminfo: memFree=1527732/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=30148 CPUtime=51.07 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 67831 0 0 0 5047 60 0 0 25 0 1 0 3370276 30871552 6271 1992294400 4194304 9819077 140735057158368 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 7537 6271 722 1374 0 6158 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30148 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5451 /proc/meminfo: memFree=1527236/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=30904 CPUtime=102.27 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 171628 0 0 0 10077 150 0 0 25 0 1 0 3370276 31645696 6329 1992294400 4194304 9819077 140735057158368 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 7726 6329 722 1374 0 6347 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30904 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5462 /proc/meminfo: memFree=1526740/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=34000 CPUtime=162.23 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 341906 0 0 0 15947 276 0 0 25 0 1 0 3370276 34816000 6362 1992294400 4194304 9819077 140735057158368 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8500 6362 722 1374 0 7121 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 34000 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5464 /proc/meminfo: memFree=1526492/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=31872 CPUtime=222.22 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 544077 0 0 0 21798 424 0 0 25 0 1 0 3370276 32636928 6421 1992294400 4194304 9819077 140735057158368 18446744073709551615 7292346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 7968 6421 722 1374 0 6589 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 31872 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5466 /proc/meminfo: memFree=1526616/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=31400 CPUtime=282.2 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 770494 0 0 0 27647 573 0 0 25 0 1 0 3370276 32153600 6415 1992294400 4194304 9819077 140735057158368 18446744073709551615 7235132 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 7981 6417 722 1374 0 6602 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 31400 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5468 /proc/meminfo: memFree=1526616/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=32068 CPUtime=342.18 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 1009147 0 0 0 33493 725 0 0 25 0 1 0 3370276 32837632 6435 1992294400 4194304 9819077 140735057158368 18446744073709551615 7291979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8017 6435 722 1374 0 6638 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 32068 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5468 /proc/meminfo: memFree=1526740/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=32444 CPUtime=402.16 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 1252871 0 0 0 39339 877 0 0 25 0 1 0 3370276 33222656 6426 1992294400 4194304 9819077 140735057158368 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8111 6426 722 1374 0 6732 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 32444 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5470 /proc/meminfo: memFree=1526368/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=32796 CPUtime=462.14 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 1528475 0 0 0 45169 1045 0 0 25 0 1 0 3370276 33583104 6531 1992294400 4194304 9819077 140735057158368 18446744073709551615 7311965 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8199 6531 722 1374 0 6820 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 32796 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5472 /proc/meminfo: memFree=1525872/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=31880 CPUtime=522.12 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 1798862 0 0 0 51011 1201 0 0 25 0 1 0 3370276 32645120 6503 1992294400 4194304 9819077 140735057158368 18446744073709551615 7263109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 7970 6503 722 1374 0 6591 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 31880 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5474 /proc/meminfo: memFree=1525748/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=32880 CPUtime=582.1 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 2075851 0 0 0 56842 1368 0 0 25 0 1 0 3370276 33669120 6560 1992294400 4194304 9819077 140735057158368 18446744073709551615 6192362 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8220 6560 722 1374 0 6841 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 32880 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5476 /proc/meminfo: memFree=1525748/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=32940 CPUtime=642.1 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 2357730 0 0 0 62670 1540 0 0 25 0 1 0 3370276 33730560 6585 1992294400 4194304 9819077 140735057158368 18446744073709551615 7326362 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8235 6585 722 1374 0 6856 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 32940 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5480 /proc/meminfo: memFree=1525624/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33160 CPUtime=822.04 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 3165150 0 0 0 80161 2043 0 0 25 0 1 0 3370276 33955840 6618 1992294400 4194304 9819077 140735057158368 18446744073709551615 7816519 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8290 6618 722 1374 0 6911 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 33160 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5482 /proc/meminfo: memFree=1525500/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33372 CPUtime=882.02 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 3410540 0 0 0 86010 2192 0 0 25 0 1 0 3370276 34172928 6681 1992294400 4194304 9819077 140735057158368 18446744073709551615 7311824 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8343 6681 722 1374 0 6964 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 33372 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5484 /proc/meminfo: memFree=1525128/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33548 CPUtime=942.01 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 3671125 0 0 0 91847 2354 0 0 25 0 1 0 3370276 34353152 6725 1992294400 4194304 9819077 140735057158368 18446744073709551615 7294771 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8387 6725 722 1374 0 7008 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 33548 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5484 /proc/meminfo: memFree=1525004/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33556 CPUtime=1002 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 3931184 0 0 0 97679 2521 0 0 25 0 1 0 3370276 34361344 6713 1992294400 4194304 9819077 140735057158368 18446744073709551615 7303427 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8389 6713 722 1374 0 7010 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 33556 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5486 /proc/meminfo: memFree=1525128/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33596 CPUtime=1061.99 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 4207542 0 0 0 103509 2690 0 0 25 0 1 0 3370276 34402304 6710 1992294400 4194304 9819077 140735057158368 18446744073709551615 6364953 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8399 6710 722 1374 0 7020 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 33596 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5488 /proc/meminfo: memFree=1524880/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33632 CPUtime=1121.97 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 4477112 0 0 0 109348 2849 0 0 25 0 1 0 3370276 34439168 6744 1992294400 4194304 9819077 140735057158368 18446744073709551615 7579285 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8408 6744 722 1374 0 7029 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 33632 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5490 /proc/meminfo: memFree=1524756/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=32756 CPUtime=1181.95 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 4740844 0 0 0 115176 3019 0 0 25 0 1 0 3370276 33542144 6731 1992294400 4194304 9819077 140735057158368 18446744073709551615 7234136 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8273 6734 722 1374 0 6894 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 32756 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5492 /proc/meminfo: memFree=1524508/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33844 CPUtime=1241.94 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 5002132 0 0 0 121004 3190 0 0 25 0 1 0 3370276 34656256 6775 1992294400 4194304 9819077 140735057158368 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8461 6776 722 1374 0 7082 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 33844 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5492 /proc/meminfo: memFree=1524384/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=36900 CPUtime=1301.93 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 5267683 0 0 0 126839 3354 0 0 25 0 1 0 3370276 37785600 6857 1992294400 4194304 9819077 140735057158368 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 9225 6857 722 1374 0 7846 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 36900 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5494 /proc/meminfo: memFree=1524508/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33764 CPUtime=1361.9 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 5528297 0 0 0 132674 3516 0 0 25 0 1 0 3370276 34574336 6769 1992294400 4194304 9819077 140735057158368 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8441 6769 722 1374 0 7062 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 33764 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5496 /proc/meminfo: memFree=1524508/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33764 CPUtime=1421.89 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 5794647 0 0 0 138510 3679 0 0 25 0 1 0 3370276 34574336 6809 1992294400 4194304 9819077 140735057158368 18446744073709551615 7309073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8441 6809 722 1374 0 7062 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 33764 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5498 /proc/meminfo: memFree=1524260/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33992 CPUtime=1481.87 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 6067376 0 0 0 144346 3841 0 0 25 0 1 0 3370276 34807808 6828 1992294400 4194304 9819077 140735057158368 18446744073709551615 7291715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8498 6828 722 1374 0 7119 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 33992 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5500 /proc/meminfo: memFree=1524136/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33964 CPUtime=1541.85 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 6321224 0 0 0 150182 4003 0 0 25 0 1 0 3370276 34779136 6845 1992294400 4194304 9819077 140735057158368 18446744073709551615 7292323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8491 6845 722 1374 0 7112 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 33964 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5500 /proc/meminfo: memFree=1524260/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33996 CPUtime=1601.84 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 6580828 0 0 0 156027 4157 0 0 25 0 1 0 3370276 34811904 6821 1992294400 4194304 9819077 140735057158368 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8499 6821 722 1374 0 7120 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 33996 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5502 /proc/meminfo: memFree=1524136/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=34060 CPUtime=1661.82 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 6845318 0 0 0 161868 4314 0 0 25 0 1 0 3370276 34877440 6823 1992294400 4194304 9819077 140735057158368 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8515 6823 722 1374 0 7136 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 34060 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5504 /proc/meminfo: memFree=1524012/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33972 CPUtime=1721.8 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 7108570 0 0 0 167704 4476 0 0 25 0 1 0 3370276 34787328 6833 1992294400 4194304 9819077 140735057158368 18446744073709551615 7311749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8493 6833 722 1374 0 7114 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 33972 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5506 /proc/meminfo: memFree=1523764/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=33996 CPUtime=1781.77 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 7372233 0 0 0 173541 4636 0 0 25 0 1 0 3370276 34811904 6858 1992294400 4194304 9819077 140735057158368 18446744073709551615 6391486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8499 6858 722 1374 0 7120 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 33996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5506 /proc/meminfo: memFree=1523764/2059040 swapFree=4192956/4192956 [pid=5448] ppid=5446 vsize=34052 CPUtime=1800.09 /proc/5448/stat : 5448 (pbscip.linux.x8) R 5446 5448 5046 0 -1 4202496 7452763 0 0 0 175325 4684 0 0 25 0 1 0 3370276 34869248 6862 1992294400 4194304 9819077 140735057158368 18446744073709551615 7291994 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5448/statm: 8513 6862 722 1374 0 7134 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 34052 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.69 CPU time (s): 1800.17 CPU user time (s): 1753.33 CPU system time (s): 46.8479 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 39988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1753.33 system time used= 46.8479 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7452920 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2784 runsolver used 3.2625 second user time and 8.21975 second system time The end
Begin job on node026 at 2010-06-12 00:59:09 IDJOB=2665559 IDBENCH=1315 IDSOLVER=1168 FILE ID=node026/2665559-1276297149 PBS_JOBID= 11173112 Free space on /tmp= 62508 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.1900556231.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-2665559-1276297149/watcher-2665559-1276297149 -o /tmp/evaluation-result-2665559-1276297149/solver-2665559-1276297149 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665559-1276297149.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 12591fb3a3171df58322c5e93cb6a45b RANDOM SEED=1262387503 node026.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.201 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.40 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.201 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1551456 kB Buffers: 66752 kB Cached: 314184 kB SwapCached: 0 kB Active: 175916 kB Inactive: 264060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1551456 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6356 kB Writeback: 8 kB AnonPages: 59036 kB Mapped: 15412 kB Slab: 45820 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181264 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= 62504 MiB End job on node026 at 2010-06-12 01:29:11