Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | UNSAT | 1433.18 | 1433.74 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb |
MD5SUM | 58a39490a0f04cc377ab2aa6882fd7a1 |
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 | 35.8505 |
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 | 671 |
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-2665557-1276281082.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.07 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 | 59 | - |3551k| 0 | 34 | 231 |2564 | 231 |2564 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 0.49/0.54 c 0.4s| 1 | 0 | 153 | - |4072k| 0 | 46 | 231 |2756 | 231 |2572 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf 0.79/0.88 c 0.8s| 1 | 0 | 525 | - |4793k| 0 | 59 | 231 |2756 | 231 |2574 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf 1.29/1.31 c 1.2s| 1 | 0 | 699 | - |5206k| 0 | 67 | 231 |2756 | 231 |2578 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf 1.79/1.80 c 1.7s| 1 | 0 | 831 | - |5728k| 0 | 74 | 231 |2756 | 231 |2580 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf 2.49/2.56 c 2.4s| 1 | 0 | 1539 | - |6235k| 0 | 68 | 231 |2756 | 231 |2582 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf 4.19/4.26 c 4.1s| 1 | 2 | 1539 | - |6236k| 0 | 68 | 231 |2756 | 231 |2582 | 18 | 0 | 10 | 0.000000e+00 | -- | Inf 145.14/145.26 c 142s| 10000 | 65 |295985 | 29.4 |7792k| 37 | - | 231 |5633 | 231 |2567 | 18 |4040 |2226 | 0.000000e+00 | -- | Inf 251.60/251.79 c 245s| 20000 | 94 |586494 | 29.2 |8644k| 39 | 29 | 231 |7233 | 231 |2567 | 18 |8467 |2543 | 0.000000e+00 | -- | Inf 359.66/359.88 c 349s| 30000 | 105 |863948 | 28.7 |8829k| 39 | 26 | 231 |7116 | 231 |2567 | 18 | 12k|3056 | 0.000000e+00 | -- | Inf 470.01/470.27 c 455s| 40000 | 95 | 1151k| 28.7 |9012k| 45 | 33 | 231 |7367 | 231 |2567 | 18 | 17k|3624 | 0.000000e+00 | -- | Inf 578.86/579.18 c 560s| 50000 | 82 | 1442k| 28.8 |9149k| 48 | 32 | 231 |7656 | 231 |2567 | 18 | 21k|4060 | 0.000000e+00 | -- | Inf 694.61/694.96 c 672s| 60000 | 78 | 1757k| 29.3 |9250k| 50 | 34 | 231 |7803 | 231 |2567 | 18 | 25k|4539 | 0.000000e+00 | -- | Inf 804.88/805.30 c 778s| 70000 | 71 | 2056k| 29.4 |9265k| 50 | - | 231 |7919 | 231 |2567 | 18 | 29k|4906 | 0.000000e+00 | -- | Inf 924.44/924.88 c 894s| 80000 | 50 | 2387k| 29.8 |9668k| 50 | 28 | 231 |9093 | 231 |2567 | 18 | 33k|5317 | 0.000000e+00 | -- | Inf 1041.97/1042.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 1041.97/1042.42 c 1008s| 90000 | 55 | 2714k| 30.1 |9657k| 50 | - | 231 |8823 | 231 |2567 | 18 | 38k|5659 | 0.000000e+00 | -- | Inf 1150.73/1151.22 c 1112s|100000 | 32 | 3005k| 30.0 |9636k| 50 | - | 231 |8819 | 231 |2567 | 18 | 42k|5974 | 0.000000e+00 | -- | Inf 1263.89/1264.43 c 1222s|110000 | 31 | 3315k| 30.1 | 10M| 51 | 33 | 231 | 10k| 231 |2567 | 18 | 46k|6270 | 0.000000e+00 | -- | Inf 1371.16/1371.77 c 1325s|120000 | 15 | 3608k| 30.1 | 10M| 56 | 29 | 231 | 10k| 231 |2567 | 18 | 50k|6510 | 0.000000e+00 | -- | Inf 1433.13/1433.71 c 1433.13/1433.71 c SCIP Status : problem is solved [infeasible] 1433.13/1433.71 c Solving Time (sec) : 1385.39 1433.13/1433.71 c Solving Nodes : 125000 1433.13/1433.71 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1433.13/1433.71 c Dual Bound : +1.00000000000000e+20 1433.13/1433.71 c Gap : 0.00 % 1433.13/1433.71 s UNSATISFIABLE 1433.13/1433.71 c SCIP Status : problem is solved [infeasible] 1433.13/1433.71 c Solving Time : 1385.39 1433.13/1433.71 c Original Problem : 1433.13/1433.71 c Problem name : HOME/instance-2665557-1276281082.opb 1433.13/1433.71 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1433.13/1433.71 c Constraints : 2707 initial, 2707 maximal 1433.13/1433.71 c Presolved Problem : 1433.13/1433.71 c Problem name : t_HOME/instance-2665557-1276281082.opb 1433.13/1433.71 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1433.13/1433.71 c Constraints : 2564 initial, 10815 maximal 1433.13/1433.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1433.13/1433.71 c trivial : 0.00 0 0 0 0 0 0 0 0 1433.13/1433.71 c dualfix : 0.00 0 0 0 0 0 0 0 0 1433.13/1433.71 c boundshift : 0.00 0 0 0 0 0 0 0 0 1433.13/1433.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1433.13/1433.71 c implics : 0.00 0 0 0 0 0 0 0 0 1433.13/1433.71 c probing : 0.00 0 0 0 0 0 0 0 0 1433.13/1433.71 c knapsack : 0.00 0 0 0 0 0 0 0 0 1433.13/1433.71 c setppc : 0.00 0 0 0 0 0 0 0 0 1433.13/1433.71 c linear : 0.03 0 0 0 0 0 143 0 0 1433.13/1433.71 c logicor : 0.03 0 0 0 0 0 0 0 0 1433.13/1433.71 c root node : - 1 - - 1 - - - - 1433.13/1433.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1433.13/1433.71 c integral : 0 0 0 64688 0 336 2493 0 0 125474 1433.13/1433.71 c knapsack : 1 5 381498 0 0 632 165235 4 0 0 1433.13/1433.71 c setppc : 22 5 381116 0 0 2067 634935 0 0 0 1433.13/1433.71 c linear : 0+ 5 288037 0 0 3 2902 2 0 0 1433.13/1433.71 c logicor : 2541+ 5 223680 0 0 671 769939 0 0 0 1433.13/1433.71 c countsols : 0 0 0 0 0 0 0 0 0 0 1433.13/1433.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1433.13/1433.71 c integral : 100.92 0.00 0.00 100.92 0.00 1433.13/1433.71 c knapsack : 3.25 0.00 3.25 0.00 0.00 1433.13/1433.71 c setppc : 6.48 0.00 6.48 0.00 0.00 1433.13/1433.71 c linear : 1.57 0.00 1.57 0.00 0.00 1433.13/1433.71 c logicor : 34.71 0.00 34.71 0.00 0.00 1433.13/1433.71 c countsols : 0.00 0.00 0.00 0.00 0.00 1433.13/1433.71 c Propagators : Time Calls Cutoffs DomReds 1433.13/1433.71 c vbounds : 0.23 1 0 0 1433.13/1433.71 c rootredcost : 0.16 0 0 0 1433.13/1433.71 c pseudoobj : 0.16 0 0 0 1433.13/1433.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1433.13/1433.71 c propagation : 0.26 3373 3358 17600 22.7 53 22.3 - 1433.13/1433.71 c infeasible LP : 22.66 59027 41089 242954 36.8 92 18.7 0 1433.13/1433.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1433.13/1433.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1433.13/1433.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1433.13/1433.71 c applied globally : - - - 48045 20.0 - - - 1433.13/1433.71 c applied locally : - - - 3966 34.2 - - - 1433.13/1433.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1433.13/1433.71 c cut pool : 0.01 4 - - 0 - (maximal pool size: 611) 1433.13/1433.71 c redcost : 0.66 63159 0 0 0 0 1433.13/1433.71 c impliedbounds : 0.00 5 0 0 0 0 1433.13/1433.71 c intobj : 0.00 0 0 0 0 0 1433.13/1433.71 c cgmip : 0.00 0 0 0 0 0 1433.13/1433.71 c gomory : 0.74 5 0 0 1000 0 1433.13/1433.71 c strongcg : 0.70 5 0 0 2241 0 1433.13/1433.71 c cmir : 0.00 0 0 0 0 0 1433.13/1433.71 c flowcover : 0.00 0 0 0 0 0 1433.13/1433.71 c clique : 0.00 5 0 0 0 0 1433.13/1433.71 c zerohalf : 0.00 0 0 0 0 0 1433.13/1433.71 c mcf : 0.00 1 0 0 0 0 1433.13/1433.71 c rapidlearning : 0.21 1 0 0 0 192 1433.13/1433.71 c Pricers : Time Calls Vars 1433.13/1433.71 c problem variables: 0.00 0 0 1433.13/1433.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1433.13/1433.71 c relpscost : 100.73 64688 336 2493 0 0 125474 1433.13/1433.71 c pscost : 0.00 0 0 0 0 0 0 1433.13/1433.71 c inference : 0.00 0 0 0 0 0 0 1433.13/1433.71 c mostinf : 0.00 0 0 0 0 0 0 1433.13/1433.71 c leastinf : 0.00 0 0 0 0 0 0 1433.13/1433.71 c fullstrong : 0.00 0 0 0 0 0 0 1433.13/1433.71 c allfullstrong : 0.00 0 0 0 0 0 0 1433.13/1433.71 c random : 0.00 0 0 0 0 0 0 1433.13/1433.71 c Primal Heuristics : Time Calls Found 1433.13/1433.71 c LP solutions : 0.00 - 0 1433.13/1433.71 c pseudo solutions : 0.00 - 0 1433.13/1433.71 c trivial : 0.01 1 0 1433.13/1433.71 c simplerounding : 0.00 0 0 1433.13/1433.71 c zirounding : 0.00 0 0 1433.13/1433.71 c rounding : 0.00 0 0 1433.13/1433.71 c shifting : 0.00 0 0 1433.13/1433.71 c intshifting : 0.00 0 0 1433.13/1433.71 c oneopt : 0.00 0 0 1433.13/1433.71 c twoopt : 0.00 0 0 1433.13/1433.71 c fixandinfer : 0.00 0 0 1433.13/1433.71 c feaspump : 0.00 0 0 1433.13/1433.71 c coefdiving : 0.00 0 0 1433.13/1433.71 c pscostdiving : 0.00 0 0 1433.13/1433.71 c fracdiving : 0.00 0 0 1433.13/1433.71 c veclendiving : 0.00 0 0 1433.13/1433.71 c intdiving : 0.00 0 0 1433.13/1433.71 c actconsdiving : 0.00 0 0 1433.13/1433.71 c objpscostdiving : 0.00 0 0 1433.13/1433.71 c rootsoldiving : 0.00 0 0 1433.13/1433.71 c linesearchdiving : 0.00 0 0 1433.13/1433.71 c guideddiving : 0.00 0 0 1433.13/1433.71 c octane : 0.00 0 0 1433.13/1433.71 c rens : 0.00 0 0 1433.13/1433.71 c rins : 0.00 0 0 1433.13/1433.71 c localbranching : 0.00 0 0 1433.13/1433.71 c mutation : 0.00 0 0 1433.13/1433.71 c crossover : 0.00 0 0 1433.13/1433.71 c dins : 0.00 0 0 1433.13/1433.71 c undercover : 0.00 0 0 1433.13/1433.71 c nlp : 0.00 0 0 1433.13/1433.71 c trysol : 0.00 0 0 1433.13/1433.71 c LP : Time Calls Iterations Iter/call Iter/sec 1433.13/1433.71 c primal LP : 0.00 0 0 0.00 - 1433.13/1433.71 c dual LP : 1128.74 123599 3782259 30.60 3350.87 1433.13/1433.71 c lex dual LP : 0.00 0 0 0.00 - 1433.13/1433.71 c barrier LP : 0.00 0 0 0.00 - 1433.13/1433.71 c diving/probing LP: 0.00 0 0 0.00 - 1433.13/1433.71 c strong branching : 98.11 6664 383999 57.62 3913.96 1433.13/1433.71 c (at root node) : - 10 5007 500.70 - 1433.13/1433.71 c conflict analysis: 0.00 0 0 0.00 - 1433.13/1433.71 c B&B Tree : 1433.13/1433.71 c number of runs : 1 1433.13/1433.71 c nodes : 125000 1433.13/1433.71 c nodes (total) : 125000 1433.13/1433.71 c nodes left : 0 1433.13/1433.71 c max depth : 56 1433.13/1433.71 c max depth (total): 56 1433.13/1433.71 c backtracks : 15140 (12.1%) 1433.13/1433.71 c delayed cutoffs : 475 1433.13/1433.71 c repropagations : 113994 (174800 domain reductions, 473 cutoffs) 1433.13/1433.71 c avg switch length: 3.82 1433.13/1433.71 c switching time : 35.57 1433.13/1433.71 c Solution : 1433.13/1433.71 c Solutions found : 0 (0 improvements) 1433.13/1433.71 c Primal Bound : infeasible 1433.13/1433.71 c Dual Bound : - 1433.13/1433.71 c Gap : 0.00 % 1433.13/1433.71 c Root Dual Bound : +0.00000000000000e+00 1433.13/1433.71 c Root Iterations : 1539 1433.13/1433.74 c Time complete: 1433.17.
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-2665557-1276281082/watcher-2665557-1276281082 -o /tmp/evaluation-result-2665557-1276281082/solver-2665557-1276281082 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665557-1276281082.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.10 1.09 1.08 3/106 6753 /proc/meminfo: memFree=1794980/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=9288 CPUtime=0 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 1052 0 0 0 0 0 0 0 20 0 1 0 3709780 9510912 972 1992294400 4194304 9819077 140734984691984 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6753/statm: 2322 980 371 1374 0 943 0 [startup+0.102876 s] /proc/loadavg: 1.10 1.09 1.08 3/106 6753 /proc/meminfo: memFree=1794980/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=17476 CPUtime=0.09 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 3763 0 0 0 8 1 0 0 20 0 1 0 3709780 17895424 3072 1992294400 4194304 9819077 140734984691984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 4369 3072 489 1374 0 2990 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17476 [startup+0.200894 s] /proc/loadavg: 1.10 1.09 1.08 3/106 6753 /proc/meminfo: memFree=1794980/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=25080 CPUtime=0.19 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 7908 0 0 0 16 3 0 0 20 0 1 0 3709780 25681920 4601 1992294400 4194304 9819077 140734984691984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 6270 4601 652 1374 0 4891 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 25080 [startup+0.300914 s] /proc/loadavg: 1.10 1.09 1.08 3/106 6753 /proc/meminfo: memFree=1794980/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=37240 CPUtime=0.29 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 10702 0 0 0 25 4 0 0 20 0 1 0 3709780 38133760 7395 1992294400 4194304 9819077 140734984691984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9310 7395 670 1374 0 7931 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 37240 [startup+0.700993 s] /proc/loadavg: 1.10 1.09 1.08 3/106 6753 /proc/meminfo: memFree=1794980/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=30092 CPUtime=0.69 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 13488 0 0 0 62 7 0 0 21 0 1 0 3709780 30814208 6441 1992294400 4194304 9819077 140734984691984 18446744073709551615 6031893 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 7523 6441 692 1374 0 6144 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30092 [startup+1.50115 s] /proc/loadavg: 1.10 1.09 1.08 2/107 6754 /proc/meminfo: memFree=1769180/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=34432 CPUtime=1.49 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 14481 0 0 0 141 8 0 0 23 0 1 0 3709780 35258368 7416 1992294400 4194304 9819077 140734984691984 18446744073709551615 6555543 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 8608 7416 692 1374 0 7229 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34432 [startup+3.10147 s] /proc/loadavg: 1.09 1.09 1.08 2/107 6754 /proc/meminfo: memFree=1765460/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=39244 CPUtime=3.09 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 15769 0 0 0 300 9 0 0 25 0 1 0 3709780 40185856 7974 1992294400 4194304 9819077 140734984691984 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9811 7974 698 1374 0 8432 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39244 [startup+6.3011 s] /proc/loadavg: 1.09 1.09 1.08 2/107 6754 /proc/meminfo: memFree=1764840/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=39320 CPUtime=6.29 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 20853 0 0 0 615 14 0 0 25 0 1 0 3709780 40263680 7981 1992294400 4194304 9819077 140734984691984 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9830 7981 720 1374 0 8451 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39320 [startup+12.7014 s] /proc/loadavg: 1.08 1.08 1.08 2/107 6754 /proc/meminfo: memFree=1764840/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=39396 CPUtime=12.69 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 36699 0 0 0 1242 27 0 0 25 0 1 0 3709780 40341504 7993 1992294400 4194304 9819077 140734984691984 18446744073709551615 7291643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9849 7993 721 1374 0 8470 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39396 [startup+25.5009 s] /proc/loadavg: 1.14 1.10 1.08 2/107 6754 /proc/meminfo: memFree=1764840/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=36584 CPUtime=25.48 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 68636 0 0 0 2499 49 0 0 25 0 1 0 3709780 37462016 7964 1992294400 4194304 9819077 140734984691984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9146 7964 721 1374 0 7767 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36584 [startup+51.1009 s] /proc/loadavg: 1.09 1.09 1.08 2/107 6754 /proc/meminfo: memFree=1764840/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=37284 CPUtime=51.07 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 129575 0 0 0 4996 111 0 0 25 0 1 0 3709780 38178816 7979 1992294400 4194304 9819077 140734984691984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9321 7979 722 1374 0 7942 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37284 [startup+102.301 s] /proc/loadavg: 1.09 1.09 1.08 2/107 6756 /proc/meminfo: memFree=1764840/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=37416 CPUtime=102.26 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 268188 0 0 0 9985 241 0 0 25 0 1 0 3709780 38313984 7998 1992294400 4194304 9819077 140734984691984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9354 7998 722 1374 0 7975 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 37416 [startup+162.301 s] /proc/loadavg: 1.09 1.08 1.08 2/107 6758 /proc/meminfo: memFree=1764592/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=38472 CPUtime=162.22 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 491936 0 0 0 15804 418 0 0 25 0 1 0 3709780 39395328 8095 1992294400 4194304 9819077 140734984691984 18446744073709551615 7299381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9618 8095 722 1374 0 8239 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 38472 [startup+222.309 s] /proc/loadavg: 1.07 1.08 1.08 2/107 6758 /proc/meminfo: memFree=1764220/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=39024 CPUtime=222.22 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 789673 0 0 0 21614 608 0 0 25 0 1 0 3709780 39960576 8115 1992294400 4194304 9819077 140734984691984 18446744073709551615 7291896 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9756 8115 722 1374 0 8377 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 39024 [startup+282.301 s] /proc/loadavg: 1.07 1.08 1.08 2/107 6760 /proc/meminfo: memFree=1763972/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=39236 CPUtime=282.18 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 1119834 0 0 0 27409 809 0 0 25 0 1 0 3709780 40177664 8158 1992294400 4194304 9819077 140734984691984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9809 8158 722 1374 0 8430 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 39236 [startup+342.301 s] /proc/loadavg: 1.06 1.08 1.08 2/107 6762 /proc/meminfo: memFree=1763848/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=39372 CPUtime=342.16 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 1479310 0 0 0 33185 1031 0 0 25 0 1 0 3709780 40316928 8181 1992294400 4194304 9819077 140734984691984 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9843 8181 722 1374 0 8464 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 39372 [startup+402.301 s] /proc/loadavg: 1.06 1.08 1.08 2/107 6764 /proc/meminfo: memFree=1763724/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=39400 CPUtime=402.13 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 1835431 0 0 0 38955 1258 0 0 25 0 1 0 3709780 40345600 8203 1992294400 4194304 9819077 140734984691984 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9850 8203 722 1374 0 8471 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 39400 [startup+462.301 s] /proc/loadavg: 1.06 1.07 1.08 2/107 6766 /proc/meminfo: memFree=1763476/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=39580 CPUtime=462.11 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 2187179 0 0 0 44735 1476 0 0 25 0 1 0 3709780 40529920 8244 1992294400 4194304 9819077 140734984691984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9895 8244 722 1374 0 8516 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 39580 [startup+522.301 s] /proc/loadavg: 1.13 1.09 1.08 2/107 6766 /proc/meminfo: memFree=1763476/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=39616 CPUtime=522.08 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 2525801 0 0 0 50524 1684 0 0 25 0 1 0 3709780 40566784 8253 1992294400 4194304 9819077 140734984691984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9904 8253 722 1374 0 8525 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 39616 [startup+582.301 s] /proc/loadavg: 1.12 1.09 1.08 2/107 6768 /proc/meminfo: memFree=1763228/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=39704 CPUtime=582.06 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 2871620 0 0 0 56305 1901 0 0 25 0 1 0 3709780 40656896 8283 1992294400 4194304 9819077 140734984691984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9926 8283 722 1374 0 8547 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 39704 [startup+642.302 s] /proc/loadavg: 1.11 1.09 1.08 2/107 6770 /proc/meminfo: memFree=1763228/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=39008 CPUtime=642.04 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 3208240 0 0 0 62101 2103 0 0 25 0 1 0 3709780 39944192 8290 1992294400 4194304 9819077 140734984691984 18446744073709551615 7228112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 9752 8292 722 1374 0 8373 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 39008 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1762980/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=42312 CPUtime=762 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 3872674 0 0 0 73695 2505 0 0 25 0 1 0 3709780 43327488 8379 1992294400 4194304 9819077 140734984691984 18446744073709551615 7334349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10700 8385 722 1374 0 9321 0 Current children cumulated CPU time (s) 762 Current children cumulated vsize (KiB) 42312 [startup+822.301 s] /proc/loadavg: 1.08 1.08 1.08 2/107 6774 /proc/meminfo: memFree=1762980/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=40040 CPUtime=821.97 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 4222410 0 0 0 79473 2724 0 0 25 0 1 0 3709780 41000960 8340 1992294400 4194304 9819077 140734984691984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10010 8340 722 1374 0 8631 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 40040 [startup+882.309 s] /proc/loadavg: 1.07 1.08 1.08 2/107 6776 /proc/meminfo: memFree=1762112/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=41016 CPUtime=881.95 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 4549846 0 0 0 85276 2919 0 0 25 0 1 0 3709780 42000384 8607 1992294400 4194304 9819077 140734984691984 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10254 8607 722 1374 0 8875 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 41016 [startup+942.302 s] /proc/loadavg: 1.07 1.08 1.08 2/107 6778 /proc/meminfo: memFree=1761492/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=41332 CPUtime=941.92 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 4867037 0 0 0 91079 3113 0 0 25 0 1 0 3709780 42323968 8707 1992294400 4194304 9819077 140734984691984 18446744073709551615 7292317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10333 8707 722 1374 0 8954 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 41332 [startup+1002.3 s] /proc/loadavg: 1.06 1.08 1.08 2/107 6780 /proc/meminfo: memFree=1761120/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=41744 CPUtime=1001.9 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 5189630 0 0 0 96874 3316 0 0 25 0 1 0 3709780 42745856 8777 1992294400 4194304 9819077 140734984691984 18446744073709551615 5916872 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10436 8777 722 1374 0 9057 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 41744 [startup+1062.3 s] /proc/loadavg: 1.06 1.08 1.08 2/107 6782 /proc/meminfo: memFree=1760872/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=41808 CPUtime=1061.87 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 5518070 0 0 0 102672 3515 0 0 25 0 1 0 3709780 42811392 8785 1992294400 4194304 9819077 140734984691984 18446744073709551615 7326284 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10452 8785 722 1374 0 9073 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 41808 [startup+1122.3 s] /proc/loadavg: 1.06 1.07 1.08 2/107 6782 /proc/meminfo: memFree=1760872/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=41708 CPUtime=1121.85 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 5854586 0 0 0 108462 3723 0 0 25 0 1 0 3709780 42708992 8776 1992294400 4194304 9819077 140734984691984 18446744073709551615 4924114 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10427 8776 722 1374 0 9048 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 41708 [startup+1182.3 s] /proc/loadavg: 1.13 1.09 1.08 3/107 6784 /proc/meminfo: memFree=1760748/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=40928 CPUtime=1181.82 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 6185670 0 0 0 114252 3930 0 0 25 0 1 0 3709780 41910272 8771 1992294400 4194304 9819077 140734984691984 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10232 8771 722 1374 0 8853 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 40928 [startup+1242.3 s] /proc/loadavg: 1.12 1.09 1.08 2/107 6786 /proc/meminfo: memFree=1760624/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=41872 CPUtime=1241.8 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 6509589 0 0 0 120045 4135 0 0 25 0 1 0 3709780 42876928 8815 1992294400 4194304 9819077 140734984691984 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10468 8815 722 1374 0 9089 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 41872 [startup+1302.3 s] /proc/loadavg: 1.11 1.09 1.08 2/107 6788 /proc/meminfo: memFree=1760128/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=42576 CPUtime=1301.78 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 6835555 0 0 0 125836 4342 0 0 25 0 1 0 3709780 43597824 8985 1992294400 4194304 9819077 140734984691984 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10644 8985 722 1374 0 9265 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 42576 [startup+1362.3 s] /proc/loadavg: 1.10 1.08 1.08 2/107 6790 /proc/meminfo: memFree=1759632/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=41864 CPUtime=1361.76 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 7162942 0 0 0 131629 4547 0 0 25 0 1 0 3709780 42868736 9001 1992294400 4194304 9819077 140734984691984 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10466 9001 722 1374 0 9087 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 41864 [startup+1422.3 s] /proc/loadavg: 1.08 1.08 1.08 2/107 6790 /proc/meminfo: memFree=1759508/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=42704 CPUtime=1421.74 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 7469354 0 0 0 137439 4735 0 0 25 0 1 0 3709780 43728896 9011 1992294400 4194304 9819077 140734984691984 18446744073709551615 7291780 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10676 9011 722 1374 0 9297 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 42704 Solver just ended. Dumping a history of the last processes samples [startup+1427.2 s] /proc/loadavg: 1.08 1.08 1.08 2/107 6792 /proc/meminfo: memFree=1759508/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=42680 CPUtime=1426.62 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 7493733 0 0 0 137913 4749 0 0 25 0 1 0 3709780 43704320 9018 1992294400 4194304 9819077 140734984691984 18446744073709551615 6656779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10670 9018 722 1374 0 9291 0 Current children cumulated CPU time (s) 1426.62 Current children cumulated vsize (KiB) 42680 [startup+1430.4 s] /proc/loadavg: 1.08 1.08 1.08 2/107 6792 /proc/meminfo: memFree=1759508/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=42680 CPUtime=1429.83 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 7511058 0 0 0 138223 4760 0 0 25 0 1 0 3709780 43704320 9015 1992294400 4194304 9819077 140734984691984 18446744073709551615 6192315 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10670 9015 722 1374 0 9291 0 Current children cumulated CPU time (s) 1429.83 Current children cumulated vsize (KiB) 42680 [startup+1432 s] /proc/loadavg: 1.08 1.08 1.08 2/107 6792 /proc/meminfo: memFree=1759508/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=45668 CPUtime=1431.43 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 7519293 0 0 0 138379 4764 0 0 25 0 1 0 3709780 46764032 9058 1992294400 4194304 9819077 140734984691984 18446744073709551615 6628662 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10787 9041 722 1374 0 9408 0 Current children cumulated CPU time (s) 1431.43 Current children cumulated vsize (KiB) 45668 [startup+1432.8 s] /proc/loadavg: 1.07 1.08 1.08 2/107 6792 /proc/meminfo: memFree=1759508/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=42704 CPUtime=1432.23 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 7523347 0 0 0 138456 4767 0 0 25 0 1 0 3709780 43728896 9011 1992294400 4194304 9819077 140734984691984 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10676 9011 722 1374 0 9297 0 Current children cumulated CPU time (s) 1432.23 Current children cumulated vsize (KiB) 42704 [startup+1433.2 s] /proc/loadavg: 1.07 1.08 1.08 2/107 6792 /proc/meminfo: memFree=1759508/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=42740 CPUtime=1432.63 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 7525519 0 0 0 138495 4768 0 0 25 0 1 0 3709780 43765760 9032 1992294400 4194304 9819077 140734984691984 18446744073709551615 7291687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10685 9032 722 1374 0 9306 0 Current children cumulated CPU time (s) 1432.63 Current children cumulated vsize (KiB) 42740 [startup+1433.6 s] /proc/loadavg: 1.07 1.08 1.08 2/107 6792 /proc/meminfo: memFree=1759508/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=42676 CPUtime=1433.02 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 7527708 0 0 0 138533 4769 0 0 25 0 1 0 3709780 43700224 9010 1992294400 4194304 9819077 140734984691984 18446744073709551615 6608490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10669 9010 722 1374 0 9290 0 Current children cumulated CPU time (s) 1433.02 Current children cumulated vsize (KiB) 42676 [startup+1433.7 s] /proc/loadavg: 1.07 1.08 1.08 2/107 6792 /proc/meminfo: memFree=1759508/2059040 swapFree=4192076/4192956 [pid=6753] ppid=6751 vsize=42704 CPUtime=1433.13 /proc/6753/stat : 6753 (pbscip.linux.x8) R 6751 6753 5897 0 -1 4202496 7528242 0 0 0 138543 4770 0 0 25 0 1 0 3709780 43728896 9018 1992294400 4194304 9819077 140734984691984 18446744073709551615 7324493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6753/statm: 10676 9018 722 1374 0 9297 0 Current children cumulated CPU time (s) 1433.13 Current children cumulated vsize (KiB) 42704 Child status: 0 Real time (s): 1433.74 CPU time (s): 1433.18 CPU user time (s): 1385.47 CPU system time (s): 47.7057 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (KiB): 45668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1385.47 system time used= 47.7057 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7528291 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 4205 runsolver used 2.52262 second user time and 6.61499 second system time The end
Begin job on node011 at 2010-06-11 20:31:22 IDJOB=2665557 IDBENCH=1272 IDSOLVER=1168 FILE ID=node011/2665557-1276281082 PBS_JOBID= 11173103 Free space on /tmp= 62260 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.1900574864.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-2665557-1276281082/watcher-2665557-1276281082 -o /tmp/evaluation-result-2665557-1276281082/solver-2665557-1276281082 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665557-1276281082.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 58a39490a0f04cc377ab2aa6882fd7a1 RANDOM SEED=309695652 node011.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.264 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.52 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.264 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1795508 kB Buffers: 26016 kB Cached: 113344 kB SwapCached: 0 kB Active: 113228 kB Inactive: 84492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1795508 kB SwapTotal: 4192956 kB SwapFree: 4192076 kB Dirty: 6348 kB Writeback: 0 kB AnonPages: 58240 kB Mapped: 15384 kB Slab: 44028 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182036 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= 62252 MiB End job on node011 at 2010-06-11 20:55:16