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.11 | 1800.66 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb |
MD5SUM | 8485c5b622ae9efcb86cc93d1fd8b600 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 203.568 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 697 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: 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-2665855-1276300613.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.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 | 80 | - |3551k| 0 | 43 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.54 c 0.4s| 1 | 0 | 225 | - |3949k| 0 | 63 | 231 |2716 | 231 |2573 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf 0.89/0.96 c 0.8s| 1 | 0 | 288 | - |4082k| 0 | 71 | 231 |2716 | 231 |2576 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf 1.59/1.70 c 1.6s| 1 | 0 | 916 | - |4188k| 0 | 58 | 231 |2716 | 231 |2579 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf 1.89/1.99 c 1.9s| 1 | 0 | 1210 | - |4681k| 0 | 65 | 231 |2716 | 231 |2583 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf 2.69/2.71 c 2.6s| 1 | 0 | 1887 | - |5006k| 0 | 66 | 231 |2716 | 231 |2587 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf 5.28/5.33 c 5.2s| 1 | 2 | 1887 | - |5006k| 0 | 66 | 231 |2716 | 231 |2587 | 23 | 0 | 10 | 0.000000e+00 | -- | Inf 205.03/205.12 c 201s| 10000 | 38 |432391 | 43.1 |6336k| 39 | 30 | 231 |5271 | 231 |2573 | 23 |4665 |1624 | 0.000000e+00 | -- | Inf 374.76/374.95 c 366s| 20000 | 39 |905668 | 45.2 |7194k| 41 | - | 231 |6954 | 231 |2573 | 23 |9204 |2048 | 0.000000e+00 | -- | Inf 566.51/566.70 c 553s| 30000 | 44 | 1425k| 47.4 |7518k| 47 | - | 231 |7194 | 231 |2573 | 23 | 13k|2774 | 0.000000e+00 | -- | Inf 740.65/740.94 c 723s| 40000 | 47 | 1894k| 47.3 |7769k| 47 | - | 231 |7588 | 231 |2573 | 23 | 17k|3333 | 0.000000e+00 | -- | Inf 918.70/919.01 c 896s| 50000 | 51 | 2392k| 47.8 |8114k| 47 | - | 231 |8250 | 231 |2573 | 23 | 22k|3763 | 0.000000e+00 | -- | Inf 1100.25/1100.63 c 1073s| 60000 | 48 | 2893k| 48.2 |8164k| 47 | 20 | 231 |8276 | 231 |2573 | 23 | 26k|4217 | 0.000000e+00 | -- | Inf 1281.10/1281.51 c 1249s| 70000 | 45 | 3401k| 48.6 |8768k| 47 | 25 | 231 |9868 | 231 |2573 | 23 | 31k|4613 | 0.000000e+00 | -- | Inf 1470.05/1470.54 c 1433s| 80000 | 35 | 3933k| 49.2 |8703k| 47 | 24 | 231 |9340 | 231 |2573 | 23 | 35k|4968 | 0.000000e+00 | -- | Inf 1644.09/1644.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1644.09/1644.68 c 1603s| 90000 | 32 | 4426k| 49.2 |9058k| 47 | 59 | 231 | 10k| 231 |2573 | 23 | 39k|5239 | 0.000000e+00 | -- | Inf 1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.05/1800.62 c 1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.62 c Solving Time (sec) : 1754.40 1800.05/1800.62 c Solving Nodes : 98585 1800.05/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.05/1800.62 c Dual Bound : +0.00000000000000e+00 1800.05/1800.62 c Gap : infinite 1800.05/1800.62 s UNKNOWN 1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt] 1800.05/1800.62 c Solving Time : 1754.40 1800.05/1800.62 c Original Problem : 1800.05/1800.62 c Problem name : HOME/instance-2665855-1276300613.opb 1800.05/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.62 c Constraints : 2707 initial, 2707 maximal 1800.05/1800.62 c Presolved Problem : 1800.05/1800.62 c Problem name : t_HOME/instance-2665855-1276300613.opb 1800.05/1800.62 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.05/1800.62 c Constraints : 2564 initial, 11557 maximal 1800.05/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.05/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.62 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.05/1800.62 c linear : 0.03 0 0 0 0 0 143 0 0 1800.05/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0 1800.05/1800.62 c root node : - 0 - - 0 - - - - 1800.05/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.05/1800.62 c integral : 0 0 0 50930 0 177 1863 0 0 99134 1800.05/1800.62 c knapsack : 1 5 302397 0 0 665 160846 0 0 0 1800.05/1800.62 c setppc : 22 5 301955 0 0 1854 507683 0 0 0 1800.05/1800.62 c linear : 0+ 5 164645 0 0 15 3133 4 0 0 1800.05/1800.62 c logicor : 2541+ 5 178885 0 0 670 647105 0 0 0 1800.05/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0 1800.05/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.05/1800.62 c integral : 155.21 0.00 0.00 155.21 0.00 1800.05/1800.62 c knapsack : 2.99 0.00 2.99 0.00 0.00 1800.05/1800.62 c setppc : 4.89 0.00 4.89 0.00 0.00 1800.05/1800.62 c linear : 1.00 0.00 1.00 0.00 0.00 1800.05/1800.62 c logicor : 27.76 0.00 27.76 0.00 0.00 1800.05/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00 1800.05/1800.62 c Propagators : Time Calls Cutoffs DomReds 1800.05/1800.62 c vbounds : 0.25 1 0 0 1800.05/1800.62 c rootredcost : 0.25 0 0 0 1800.05/1800.62 c pseudoobj : 0.13 0 0 0 1800.05/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.05/1800.62 c propagation : 0.27 3204 3186 17431 21.6 50 21.6 - 1800.05/1800.62 c infeasible LP : 17.79 46155 32504 195449 35.9 137 16.4 0 1800.05/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.05/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.05/1800.62 c applied globally : - - - 41550 19.0 - - - 1800.05/1800.62 c applied locally : - - - 1359 33.3 - - - 1800.05/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.05/1800.62 c cut pool : 0.00 4 - - 2 - (maximal pool size: 381) 1800.05/1800.62 c redcost : 0.53 49802 0 0 0 0 1800.05/1800.62 c impliedbounds : 0.00 5 0 0 0 0 1800.05/1800.62 c intobj : 0.00 0 0 0 0 0 1800.05/1800.62 c cgmip : 0.00 0 0 0 0 0 1800.05/1800.62 c gomory : 0.84 5 0 0 1004 0 1800.05/1800.62 c strongcg : 0.65 5 0 0 1639 0 1800.05/1800.62 c cmir : 0.00 0 0 0 0 0 1800.05/1800.62 c flowcover : 0.00 0 0 0 0 0 1800.05/1800.62 c clique : 0.00 5 0 0 0 0 1800.05/1800.62 c zerohalf : 0.00 0 0 0 0 0 1800.05/1800.62 c mcf : 0.00 1 0 0 0 0 1800.05/1800.62 c rapidlearning : 0.20 1 0 0 0 152 1800.05/1800.62 c Pricers : Time Calls Vars 1800.05/1800.62 c problem variables: 0.00 0 0 1800.05/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.05/1800.62 c relpscost : 155.05 50930 177 1863 0 0 99134 1800.05/1800.62 c pscost : 0.00 0 0 0 0 0 0 1800.05/1800.62 c inference : 0.00 0 0 0 0 0 0 1800.05/1800.62 c mostinf : 0.00 0 0 0 0 0 0 1800.05/1800.62 c leastinf : 0.00 0 0 0 0 0 0 1800.05/1800.62 c fullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0 1800.05/1800.62 c random : 0.00 0 0 0 0 0 0 1800.05/1800.62 c Primal Heuristics : Time Calls Found 1800.05/1800.62 c LP solutions : 0.00 - 0 1800.05/1800.62 c pseudo solutions : 0.00 - 0 1800.05/1800.62 c trivial : 0.00 1 0 1800.05/1800.62 c simplerounding : 0.00 0 0 1800.05/1800.62 c zirounding : 0.00 0 0 1800.05/1800.62 c rounding : 0.00 0 0 1800.05/1800.62 c shifting : 0.00 0 0 1800.05/1800.62 c intshifting : 0.00 0 0 1800.05/1800.62 c oneopt : 0.00 0 0 1800.05/1800.62 c twoopt : 0.00 0 0 1800.05/1800.62 c fixandinfer : 0.00 0 0 1800.05/1800.62 c feaspump : 0.00 0 0 1800.05/1800.62 c coefdiving : 0.00 0 0 1800.05/1800.62 c pscostdiving : 0.00 0 0 1800.05/1800.62 c fracdiving : 0.00 0 0 1800.05/1800.62 c veclendiving : 0.00 0 0 1800.05/1800.62 c intdiving : 0.00 0 0 1800.05/1800.62 c actconsdiving : 0.00 0 0 1800.05/1800.62 c objpscostdiving : 0.00 0 0 1800.05/1800.62 c rootsoldiving : 0.00 0 0 1800.05/1800.62 c linesearchdiving : 0.00 0 0 1800.05/1800.62 c guideddiving : 0.00 0 0 1800.05/1800.62 c octane : 0.00 0 0 1800.05/1800.62 c rens : 0.00 0 0 1800.05/1800.62 c rins : 0.00 0 0 1800.05/1800.62 c localbranching : 0.00 0 0 1800.05/1800.62 c mutation : 0.00 0 0 1800.05/1800.62 c crossover : 0.00 0 0 1800.05/1800.62 c dins : 0.00 0 0 1800.05/1800.62 c undercover : 0.00 0 0 1800.05/1800.62 c nlp : 0.00 0 0 1800.05/1800.62 c trysol : 0.00 0 0 1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec 1800.05/1800.62 c primal LP : 0.01 0 0 0.00 0.00 1800.05/1800.62 c dual LP : 1473.82 96995 4871654 50.23 3305.46 1800.05/1800.62 c lex dual LP : 0.00 0 0 0.00 - 1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 - 1800.05/1800.62 c diving/probing LP: 0.00 0 0 0.00 - 1800.05/1800.62 c strong branching : 152.93 5481 540950 98.70 3537.24 1800.05/1800.62 c (at root node) : - 10 6489 648.90 - 1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 - 1800.05/1800.62 c B&B Tree : 1800.05/1800.62 c number of runs : 1 1800.05/1800.62 c nodes : 98585 1800.05/1800.62 c nodes (total) : 98585 1800.05/1800.62 c nodes left : 30 1800.05/1800.62 c max depth : 48 1800.05/1800.62 c max depth (total): 48 1800.05/1800.62 c backtracks : 12246 (12.4%) 1800.05/1800.62 c delayed cutoffs : 520 1800.05/1800.62 c repropagations : 89656 (155394 domain reductions, 518 cutoffs) 1800.05/1800.62 c avg switch length: 3.76 1800.05/1800.62 c switching time : 28.41 1800.05/1800.62 c Solution : 1800.05/1800.62 c Solutions found : 0 (0 improvements) 1800.05/1800.62 c Primal Bound : - 1800.05/1800.62 c Dual Bound : +0.00000000000000e+00 1800.05/1800.62 c Gap : infinite 1800.05/1800.62 c Root Dual Bound : +0.00000000000000e+00 1800.05/1800.62 c Root Iterations : 1887 1800.05/1800.65 c Time complete: 1800.1.
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-2665855-1276300613/watcher-2665855-1276300613 -o /tmp/evaluation-result-2665855-1276300613/solver-2665855-1276300613 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665855-1276300613.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.99 0.98 0.99 2/106 7765 /proc/meminfo: memFree=1543016/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=9288 CPUtime=0 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 1053 0 0 0 0 0 0 0 20 0 1 0 5665308 9510912 974 1992294400 4194304 9819077 140733290406560 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7765/statm: 2322 985 371 1374 0 943 0 [startup+0.011101 s] /proc/loadavg: 0.99 0.98 0.99 2/106 7765 /proc/meminfo: memFree=1543016/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=10556 CPUtime=0 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 1558 0 0 0 0 0 0 0 20 0 1 0 5665308 10809344 1479 1992294400 4194304 9819077 140733290406560 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7765/statm: 2639 1481 386 1374 0 1260 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10556 [startup+0.101087 s] /proc/loadavg: 0.99 0.98 0.99 2/106 7765 /proc/meminfo: memFree=1543016/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=17340 CPUtime=0.09 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 3732 0 0 0 8 1 0 0 22 0 1 0 5665308 17756160 3042 1992294400 4194304 9819077 140733290406560 18446744073709551615 8656455 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 4335 3049 489 1374 0 2956 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17340 [startup+0.301107 s] /proc/loadavg: 0.99 0.98 0.99 2/106 7765 /proc/meminfo: memFree=1543016/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=37292 CPUtime=0.29 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 10967 0 0 0 25 4 0 0 22 0 1 0 5665308 38187008 7394 1992294400 4194304 9819077 140733290406560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9323 7394 670 1374 0 7944 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37292 [startup+0.701148 s] /proc/loadavg: 0.99 0.98 0.99 2/106 7765 /proc/meminfo: memFree=1543016/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=28504 CPUtime=0.69 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 13111 0 0 0 63 6 0 0 24 0 1 0 5665308 29188096 6055 1992294400 4194304 9819077 140733290406560 18446744073709551615 8494827 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 7126 6055 692 1374 0 5747 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28504 [startup+1.50123 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7766 /proc/meminfo: memFree=1520812/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=28908 CPUtime=1.49 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 13115 0 0 0 143 6 0 0 25 0 1 0 5665308 29601792 6057 1992294400 4194304 9819077 140733290406560 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 7227 6057 692 1374 0 5848 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28908 [startup+3.10139 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7766 /proc/meminfo: memFree=1517216/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=38716 CPUtime=3.09 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 15407 0 0 0 301 8 0 0 25 0 1 0 5665308 39645184 7646 1992294400 4194304 9819077 140733290406560 18446744073709551615 7290975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9679 7646 698 1374 0 8300 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38716 [startup+6.30072 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7766 /proc/meminfo: memFree=1514364/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=37624 CPUtime=6.29 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 18393 0 0 0 619 10 0 0 25 0 1 0 5665308 38526976 7610 1992294400 4194304 9819077 140733290406560 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9406 7610 705 1374 0 8027 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37624 [startup+12.7014 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7766 /proc/meminfo: memFree=1514240/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=38728 CPUtime=12.69 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 29734 0 0 0 1251 18 0 0 25 0 1 0 5665308 39657472 7667 1992294400 4194304 9819077 140733290406560 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9682 7668 718 1374 0 8303 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38728 [startup+25.5007 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7766 /proc/meminfo: memFree=1514240/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=38320 CPUtime=25.49 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 54979 0 0 0 2514 35 0 0 25 0 1 0 5665308 39239680 7648 1992294400 4194304 9819077 140733290406560 18446744073709551615 6192313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9580 7648 720 1374 0 8201 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 38320 [startup+51.1013 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7768 /proc/meminfo: memFree=1514240/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=36224 CPUtime=51.08 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 111660 0 0 0 5025 83 0 0 25 0 1 0 5665308 37093376 7622 1992294400 4194304 9819077 140733290406560 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9056 7622 722 1374 0 7677 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 36224 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7768 /proc/meminfo: memFree=1514116/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=36620 CPUtime=102.27 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 250919 0 0 0 10037 190 0 0 25 0 1 0 5665308 37498880 7624 1992294400 4194304 9819077 140733290406560 18446744073709551615 6518778 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9155 7624 722 1374 0 7776 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36620 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7770 /proc/meminfo: memFree=1514116/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=36620 CPUtime=162.24 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 434546 0 0 0 15898 326 0 0 25 0 1 0 5665308 37498880 7650 1992294400 4194304 9819077 140733290406560 18446744073709551615 7289131 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9155 7650 722 1374 0 7776 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 36620 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7772 /proc/meminfo: memFree=1513992/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=36480 CPUtime=222.23 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 621838 0 0 0 21764 459 0 0 25 0 1 0 5665308 37355520 7686 1992294400 4194304 9819077 140733290406560 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9249 7688 722 1374 0 7870 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 36480 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7783 /proc/meminfo: memFree=1513496/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=37248 CPUtime=282.19 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 844379 0 0 0 27618 601 0 0 25 0 1 0 5665308 38141952 7694 1992294400 4194304 9819077 140733290406560 18446744073709551615 7324466 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9312 7696 722 1374 0 7933 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 37248 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7783 /proc/meminfo: memFree=1513496/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=37192 CPUtime=342.18 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 1067960 0 0 0 33465 753 0 0 25 0 1 0 5665308 38084608 7702 1992294400 4194304 9819077 140733290406560 18446744073709551615 6628376 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9298 7702 722 1374 0 7919 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 37192 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7785 /proc/meminfo: memFree=1513248/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=37580 CPUtime=402.16 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 1297134 0 0 0 39324 892 0 0 25 0 1 0 5665308 38481920 7802 1992294400 4194304 9819077 140733290406560 18446744073709551615 7317911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9395 7802 722 1374 0 8016 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 37580 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7787 /proc/meminfo: memFree=1513000/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=37744 CPUtime=462.14 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 1537707 0 0 0 45174 1040 0 0 25 0 1 0 5665308 38649856 7850 1992294400 4194304 9819077 140733290406560 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9478 7852 722 1374 0 8099 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 37744 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7789 /proc/meminfo: memFree=1513000/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=38176 CPUtime=522.12 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 1789226 0 0 0 51017 1195 0 0 25 0 1 0 5665308 39092224 7867 1992294400 4194304 9819077 140733290406560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9544 7867 722 1374 0 8165 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 38176 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7791 /proc/meminfo: memFree=1512752/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=41352 CPUtime=582.1 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 2053783 0 0 0 56850 1360 0 0 25 0 1 0 5665308 42344448 7966 1992294400 4194304 9819077 140733290406560 18446744073709551615 7291774 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 10338 7966 722 1374 0 8959 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 41352 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7791 /proc/meminfo: memFree=1512504/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=38556 CPUtime=642.08 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 2318060 0 0 0 62692 1516 0 0 25 0 1 0 5665308 39481344 7948 1992294400 4194304 9819077 140733290406560 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9639 7948 722 1374 0 8260 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 38556 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7797 /proc/meminfo: memFree=1512256/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=38648 CPUtime=822.03 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 3124685 0 0 0 80198 2005 0 0 25 0 1 0 5665308 39575552 7983 1992294400 4194304 9819077 140733290406560 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9662 7983 722 1374 0 8283 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 38648 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7799 /proc/meminfo: memFree=1511388/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=39580 CPUtime=882.01 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 3386483 0 0 0 86036 2165 0 0 25 0 1 0 5665308 40529920 8210 1992294400 4194304 9819077 140733290406560 18446744073709551615 5916872 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9895 8210 722 1374 0 8516 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 39580 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 7799 /proc/meminfo: memFree=1511140/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=42656 CPUtime=942 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 3647994 0 0 0 91876 2324 0 0 25 0 1 0 5665308 43679744 8266 1992294400 4194304 9819077 140733290406560 18446744073709551615 6513023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 10664 8266 722 1374 0 9285 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 42656 [startup+1002.3 s] /proc/loadavg: 1.07 1.00 1.00 3/108 7804 /proc/meminfo: memFree=1475420/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=39768 CPUtime=1001.97 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 3905905 0 0 0 97718 2479 0 0 25 0 1 0 5665308 40722432 8319 1992294400 4194304 9819077 140733290406560 18446744073709551615 7291726 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9942 8319 722 1374 0 8563 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 39768 [startup+1062.3 s] /proc/loadavg: 1.03 1.00 1.00 2/107 7806 /proc/meminfo: memFree=1510148/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=39868 CPUtime=1061.96 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 4164140 0 0 0 103560 2636 0 0 25 0 1 0 5665308 40824832 8294 1992294400 4194304 9819077 140733290406560 18446744073709551615 7302703 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9967 8294 722 1374 0 8588 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 39868 [startup+1122.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 7808 /proc/meminfo: memFree=1510272/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=39940 CPUtime=1121.94 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 4427824 0 0 0 109398 2796 0 0 25 0 1 0 5665308 40898560 8337 1992294400 4194304 9819077 140733290406560 18446744073709551615 7311610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9985 8337 722 1374 0 8606 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 39940 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7810 /proc/meminfo: memFree=1510520/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=39916 CPUtime=1181.92 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 4686024 0 0 0 115233 2959 0 0 25 0 1 0 5665308 40873984 8298 1992294400 4194304 9819077 140733290406560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9979 8298 722 1374 0 8600 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 39916 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7810 /proc/meminfo: memFree=1510520/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=39092 CPUtime=1241.91 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 4949166 0 0 0 121067 3124 0 0 25 0 1 0 5665308 40030208 8302 1992294400 4194304 9819077 140733290406560 18446744073709551615 7260209 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9773 8302 722 1374 0 8394 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 39092 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7812 /proc/meminfo: memFree=1510396/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=39212 CPUtime=1301.9 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 5207735 0 0 0 126916 3274 0 0 25 0 1 0 5665308 40153088 8333 1992294400 4194304 9819077 140733290406560 18446744073709551615 7212342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 9803 8334 722 1374 0 8424 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 39212 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7814 /proc/meminfo: memFree=1509776/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=40796 CPUtime=1361.88 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 5454164 0 0 0 132765 3423 0 0 25 0 1 0 5665308 41775104 8536 1992294400 4194304 9819077 140733290406560 18446744073709551615 6391593 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 10199 8536 722 1374 0 8820 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 40796 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7816 /proc/meminfo: memFree=1509652/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=41008 CPUtime=1421.86 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 5705039 0 0 0 138613 3573 0 0 25 0 1 0 5665308 41992192 8580 1992294400 4194304 9819077 140733290406560 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 10252 8580 722 1374 0 8873 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 41008 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7818 /proc/meminfo: memFree=1509528/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=40976 CPUtime=1481.84 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 5954955 0 0 0 144457 3727 0 0 25 0 1 0 5665308 41959424 8602 1992294400 4194304 9819077 140733290406560 18446744073709551615 6191204 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 10244 8602 722 1374 0 8865 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 40976 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7818 /proc/meminfo: memFree=1509404/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=41004 CPUtime=1541.82 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 6215813 0 0 0 150290 3892 0 0 25 0 1 0 5665308 41988096 8573 1992294400 4194304 9819077 140733290406560 18446744073709551615 6192298 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 10251 8573 722 1374 0 8872 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 41004 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7820 /proc/meminfo: memFree=1509404/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=41008 CPUtime=1601.8 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 6476789 0 0 0 156130 4050 0 0 25 0 1 0 5665308 41992192 8594 1992294400 4194304 9819077 140733290406560 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 10252 8594 722 1374 0 8873 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 41008 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7822 /proc/meminfo: memFree=1509280/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=41084 CPUtime=1661.79 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 6726760 0 0 0 161977 4202 0 0 25 0 1 0 5665308 42070016 8579 1992294400 4194304 9819077 140733290406560 18446744073709551615 7290952 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 10271 8579 722 1374 0 8892 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 41084 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7824 /proc/meminfo: memFree=1509280/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=41128 CPUtime=1721.77 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 6981574 0 0 0 167822 4355 0 0 25 0 1 0 5665308 42115072 8603 1992294400 4194304 9819077 140733290406560 18446744073709551615 7291717 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 10282 8603 722 1374 0 8903 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 41128 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7826 /proc/meminfo: memFree=1508784/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=41364 CPUtime=1781.75 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 7235765 0 0 0 173665 4510 0 0 25 0 1 0 5665308 42356736 8671 1992294400 4194304 9819077 140733290406560 18446744073709551615 7292354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 10341 8671 722 1374 0 8962 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 41364 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7826 /proc/meminfo: memFree=1508784/2059040 swapFree=4192956/4192956 [pid=7765] ppid=7763 vsize=41368 CPUtime=1800.05 /proc/7765/stat : 7765 (pbscip.linux.x8) R 7763 7765 7313 0 -1 4202496 7314737 0 0 0 175444 4561 0 0 25 0 1 0 5665308 42360832 8657 1992294400 4194304 9819077 140733290406560 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7765/statm: 10342 8657 722 1374 0 8963 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 41368 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.66 CPU time (s): 1800.11 CPU user time (s): 1754.48 CPU system time (s): 45.6251 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 44468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1754.48 system time used= 45.6251 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7314798 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= 1717 runsolver used 2.97855 second user time and 8.50371 second system time The end
Begin job on node002 at 2010-06-12 01:56:53 IDJOB=2665855 IDBENCH=1327 IDSOLVER=1168 FILE ID=node002/2665855-1276300613 PBS_JOBID= 11173119 Free space on /tmp= 62392 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900576151.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-2665855-1276300613/watcher-2665855-1276300613 -o /tmp/evaluation-result-2665855-1276300613/solver-2665855-1276300613 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665855-1276300613.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8485c5b622ae9efcb86cc93d1fd8b600 RANDOM SEED=1171961181 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: 1543420 kB Buffers: 72900 kB Cached: 314892 kB SwapCached: 0 kB Active: 178092 kB Inactive: 268964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1543420 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6340 kB Writeback: 0 kB AnonPages: 59248 kB Mapped: 15380 kB Slab: 46716 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179680 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62388 MiB End job on node002 at 2010-06-12 02:26:56