Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1800.7 | 1801.31 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb |
MD5SUM | 4a96a2353b6045ef15a9bfabac06d14b |
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 | 18.0842 |
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 | 737 |
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: NONE] [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-2664409-1276294456.opb> 0.04/0.06 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints 0.04/0.06 c problem read 0.04/0.06 c No objective function, only one solution is needed. 0.04/0.06 c presolving settings loaded 0.04/0.06 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs 0.04/0.07 c presolving: 0.10/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.10/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.10/0.15 c presolving (3 rounds): 0.10/0.15 c 0 deleted vars, 143 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 0.10/0.15 c 242 implications, 22 cliques 0.10/0.15 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2564 constraints 0.10/0.15 c 1 constraints of type <knapsack> 0.10/0.15 c 22 constraints of type <setppc> 0.10/0.15 c 2541 constraints of type <logicor> 0.10/0.15 c transformed objective value is always integral (scale: 1) 0.10/0.15 c Presolving Time: 0.07 0.10/0.15 c - non default parameters ---------------------------------------------------------------------- 0.10/0.15 c # SCIP version 1.2.1.2 0.10/0.15 c 0.10/0.15 c # frequency for displaying node information lines 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 100] 0.10/0.15 c display/freq = 10000 0.10/0.15 c 0.10/0.15 c # maximal time in seconds to run 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.10/0.15 c limits/time = 1799.95 0.10/0.15 c 0.10/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 0.10/0.15 c limits/memory = 1620 0.10/0.15 c 0.10/0.15 c # solving stops, if the given number of solutions were found (-1: no limit) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.10/0.15 c limits/solutions = 1 0.10/0.15 c 0.10/0.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.15 c lp/solvefreq = -1 0.10/0.15 c 0.10/0.15 c # maximal number of separation rounds per node (-1: unlimited) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 5] 0.10/0.15 c separating/maxrounds = 1 0.10/0.15 c 0.10/0.15 c # maximal number of separation rounds in the root node (-1: unlimited) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.10/0.15 c separating/maxroundsroot = 5 0.10/0.15 c 0.10/0.15 c # should presolving try to simplify inequalities 0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.10/0.15 c constraints/linear/simplifyinequalities = TRUE 0.10/0.15 c 0.10/0.15 c # should disaggregation of knapsack constraints be allowed in preprocessing? 0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 0.10/0.15 c constraints/knapsack/disaggregation = FALSE 0.10/0.15 c 0.10/0.15 c # should presolving try to simplify knapsacks 0.10/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 0.10/0.15 c constraints/knapsack/simplifyinequalities = TRUE 0.10/0.15 c 0.10/0.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.10/0.15 c presolving/probing/maxrounds = 0 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/coefdiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/coefdiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/coefdiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 30] 0.10/0.15 c heuristics/crossover/freq = -1 0.10/0.15 c 0.10/0.15 c # number of nodes added to the contingent of the total nodes 0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.10/0.15 c heuristics/crossover/nodesofs = 750 0.10/0.15 c 0.10/0.15 c # number of nodes without incumbent change that heuristic should wait 0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 200] 0.10/0.15 c heuristics/crossover/nwaitingnodes = 100 0.10/0.15 c 0.10/0.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 0.10/0.15 c # [type: real, range: [0,1], default: 0.1] 0.10/0.15 c heuristics/crossover/nodesquot = 0.15 0.10/0.15 c 0.10/0.15 c # minimum percentage of integer variables that have to be fixed 0.10/0.15 c # [type: real, range: [0,1], default: 0.666] 0.10/0.15 c heuristics/crossover/minfixingrate = 0.5 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.10/0.15 c heuristics/feaspump/freq = -1 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/feaspump/maxlpiterofs = 2000 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/fracdiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/fracdiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/fracdiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/guideddiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/guideddiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/guideddiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/intdiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/intshifting/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/linesearchdiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/linesearchdiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.15 c heuristics/nlp/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.10/0.15 c heuristics/objpscostdiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to total iteration number 0.10/0.15 c # [type: real, range: [0,1], default: 0.01] 0.10/0.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/objpscostdiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.15 c heuristics/oneopt/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/pscostdiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/pscostdiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/pscostdiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.10/0.15 c heuristics/rens/freq = -1 0.10/0.15 c 0.10/0.15 c # minimum percentage of integer variables that have to be fixable 0.10/0.15 c # [type: real, range: [0,1], default: 0.5] 0.10/0.15 c heuristics/rens/minfixingrate = 0.3 0.10/0.15 c 0.10/0.15 c # number of nodes added to the contingent of the total nodes 0.10/0.15 c # [type: longint, range: [0,9223372036854775807], default: 500] 0.10/0.15 c heuristics/rens/nodesofs = 2000 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 20] 0.10/0.15 c heuristics/rootsoldiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 0.10/0.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/rootsoldiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.15 c heuristics/rounding/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/shifting/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.15 c heuristics/simplerounding/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.10/0.15 c heuristics/trivial/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.15 c heuristics/trysol/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 10] 0.10/0.15 c heuristics/veclendiving/freq = -1 0.10/0.15 c 0.10/0.15 c # maximal fraction of diving LP iterations compared to node LP iterations 0.10/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 0.10/0.15 c heuristics/veclendiving/maxlpiterquot = 0.075 0.10/0.15 c 0.10/0.15 c # additional number of allowed LP iterations 0.10/0.15 c # [type: int, range: [0,2147483647], default: 1000] 0.10/0.15 c heuristics/veclendiving/maxlpiterofs = 1500 0.10/0.15 c 0.10/0.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 1] 0.10/0.15 c heuristics/zirounding/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.10/0.15 c separating/cmir/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: 0] 0.10/0.15 c separating/flowcover/freq = -1 0.10/0.15 c 0.10/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 0.10/0.15 c # [type: int, range: [-1,2147483647], default: -1] 0.10/0.15 c separating/rapidlearning/freq = 0 0.10/0.15 c 0.10/0.15 c ----------------------------------------------------------------------------------------------- 0.10/0.15 c start solving 0.10/0.15 c 0.10/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 0.10/0.15 c 0.1s| 1 | 2 | 0 | - |2396k| 0 | - | 231 |2564 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf 4.69/4.72 c 4.4s| 10000 | 7380 | 0 | 0.0 |7367k| 97 | - | 231 |5212 | 0 | 0 | 0 |3497 | 0 | 0.000000e+00 | -- | Inf 10.29/10.35 c 9.8s| 20000 | 14512 | 0 | 0.0 | 11M| 97 | - | 231 |6036 | 0 | 0 | 0 |7102 | 0 | 0.000000e+00 | -- | Inf 16.69/16.76 c 16.0s| 30000 | 21582 | 0 | 0.0 | 16M| 97 | - | 231 |7383 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf 24.20/24.23 c 23.2s| 40000 | 28336 | 0 | 0.0 | 21M| 97 | - | 231 |8518 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf 35.67/35.70 c 34.4s| 50000 | 33201 | 0 | 0.0 | 26M| 97 | - | 231 | 10k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf 53.88/53.99 c 52.4s| 60000 | 35819 | 0 | 0.0 | 30M| 97 | - | 231 | 12k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf 71.37/71.46 c 69.5s| 70000 | 39914 | 0 | 0.0 | 35M| 97 | - | 231 | 12k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf 84.26/84.39 c 82.2s| 80000 | 46367 | 0 | 0.0 | 39M| 97 | - | 231 | 12k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf 97.26/97.30 c 94.8s| 90000 | 52603 | 0 | 0.0 | 44M| 97 | - | 231 | 12k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf 109.96/110.07 c 107s|100000 | 58838 | 0 | 0.0 | 48M| 97 | - | 231 | 12k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf 123.34/123.49 c 120s|110000 | 64796 | 0 | 0.0 | 53M| 97 | - | 231 | 12k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf 136.74/136.89 c 134s|120000 | 70692 | 0 | 0.0 | 57M| 97 | - | 231 | 12k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf 150.84/150.95 c 147s|130000 | 76456 | 0 | 0.0 | 62M| 97 | - | 231 | 13k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf 169.53/169.69 c 166s|140000 | 80515 | 0 | 0.0 | 67M| 97 | - | 231 | 14k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf 192.12/192.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 192.12/192.20 c 188s|150000 | 83662 | 0 | 0.0 | 72M| 97 | - | 231 | 15k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf 217.01/217.18 c 212s|160000 | 86274 | 0 | 0.0 | 76M| 97 | - | 231 | 16k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf 244.01/244.15 c 239s|170000 | 88519 | 0 | 0.0 | 81M| 97 | - | 231 | 17k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf 273.00/273.12 c 268s|180000 | 90509 | 0 | 0.0 | 85M| 97 | - | 231 | 17k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf 305.19/305.30 c 299s|190000 | 91698 | 0 | 0.0 | 89M| 97 | - | 231 | 18k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf 340.07/340.27 c 334s|200000 | 92453 | 0 | 0.0 | 93M| 97 | - | 231 | 19k| 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf 381.06/381.27 c 374s|210000 | 92134 | 0 | 0.0 | 96M| 97 | - | 231 | 20k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf 426.56/426.74 c 419s|220000 | 91252 | 0 | 0.0 | 98M| 97 | - | 231 | 21k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf 459.94/460.13 c 453s|230000 | 93576 | 0 | 0.0 | 102M| 97 | - | 231 | 22k| 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf 494.73/494.97 c 487s|240000 | 96662 | 0 | 0.0 | 107M| 97 | - | 231 | 21k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf 532.81/533.04 c 525s|250000 | 99014 | 0 | 0.0 | 112M| 97 | - | 231 | 22k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf 572.20/572.43 c 564s|260000 |101130 | 0 | 0.0 | 117M| 97 | - | 231 | 23k| 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf 611.09/611.32 c 602s|270000 |103448 | 0 | 0.0 | 122M| 97 | - | 231 | 23k| 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf 651.07/651.40 c 642s|280000 |105436 | 0 | 0.0 | 127M| 97 | - | 231 | 23k| 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf 693.66/693.91 c 684s|290000 |106994 | 0 | 0.0 | 132M| 97 | - | 231 | 23k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf 739.24/739.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 739.24/739.57 c 729s|300000 |107790 | 0 | 0.0 | 136M| 97 | - | 231 | 24k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf 782.63/782.91 c 772s|310000 |109125 | 0 | 0.0 | 141M| 97 | - | 231 | 24k| 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf 830.91/831.24 c 820s|320000 |109508 | 0 | 0.0 | 145M| 97 | - | 231 | 25k| 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf 880.40/880.71 c 869s|330000 |109793 | 0 | 0.0 | 149M| 97 | - | 231 | 25k| 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf 932.77/933.15 c 921s|340000 |109720 | 0 | 0.0 | 152M| 97 | - | 231 | 26k| 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf 992.26/992.67 c 980s|350000 |108343 | 0 | 0.0 | 155M| 97 | - | 231 | 26k| 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf 1047.04/1047.49 c 1035s|360000 |108138 | 0 | 0.0 | 159M| 97 | - | 231 | 27k| 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf 1110.52/1110.92 c 1098s|370000 |106478 | 0 | 0.0 | 161M| 97 | - | 231 | 28k| 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf 1181.10/1181.56 c 1168s|380000 |103710 | 0 | 0.0 | 161M| 97 | - | 231 | 28k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf 1256.47/1256.90 c 1243s|390000 |100340 | 0 | 0.0 | 162M| 97 | - | 231 | 28k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf 1336.64/1337.11 c 1322s|400000 | 95954 | 0 | 0.0 | 160M| 97 | - | 231 | 30k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf 1420.32/1420.84 c 1405s|410000 | 91260 | 0 | 0.0 | 158M| 97 | - | 231 | 30k| 0 | 0 | 0 | 405k| 0 | 0.000000e+00 | -- | Inf 1511.18/1511.79 c 1496s|420000 | 85019 | 0 | 0.0 | 152M| 97 | - | 231 | 31k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | -- | Inf 1613.06/1613.61 c 1597s|430000 | 77836 | 0 | 0.0 | 144M| 97 | - | 231 | 33k| 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf 1725.01/1725.64 c 1708s|440000 | 72539 | 0 | 0.0 | 143M| 97 | - | 231 | 34k| 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf 1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination) 1800.10/1800.72 c 1800.10/1800.72 c SCIP Status : solving was interrupted [user interrupt] 1800.10/1800.72 c Solving Time (sec) : 1783.23 1800.10/1800.72 c Solving Nodes : 446115 1800.10/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions) 1800.10/1800.72 c Dual Bound : +0.00000000000000e+00 1800.10/1800.72 c Gap : infinite 1800.10/1800.72 s UNKNOWN 1800.10/1800.72 c SCIP Status : solving was interrupted [user interrupt] 1800.10/1800.72 c Solving Time : 1783.23 1800.10/1800.72 c Original Problem : 1800.10/1800.72 c Problem name : HOME/instance-2664409-1276294456.opb 1800.10/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.10/1800.72 c Constraints : 2707 initial, 2707 maximal 1800.10/1800.72 c Presolved Problem : 1800.10/1800.72 c Problem name : t_HOME/instance-2664409-1276294456.opb 1800.10/1800.72 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous) 1800.10/1800.72 c Constraints : 2564 initial, 36060 maximal 1800.10/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs 1800.10/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.72 c knapsack : 0.01 0 0 0 0 0 0 0 0 1800.10/1800.72 c setppc : 0.00 0 0 0 0 0 0 0 0 1800.10/1800.72 c linear : 0.03 0 0 0 0 0 143 0 0 1800.10/1800.72 c logicor : 0.02 0 0 0 0 0 0 0 0 1800.10/1800.72 c root node : - 0 - - 0 - - - - 1800.10/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children 1800.10/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0 1800.10/1800.72 c knapsack : 1 0 1783910 0 306645 77798 6038641 0 0 0 1800.10/1800.72 c setppc : 22 0 1719791 0 306645 73305 2116414 0 0 0 1800.10/1800.72 c logicor : 2541+ 0 1345616 0 306643 65452 5619292 0 0 0 1800.10/1800.72 c countsols : 0 0 0 0 306630 0 0 0 0 0 1800.10/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS 1800.10/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00 1800.10/1800.72 c knapsack : 43.02 0.00 41.28 0.00 1.74 1800.10/1800.72 c setppc : 27.26 0.00 23.18 0.00 4.08 1800.10/1800.72 c logicor : 933.61 0.00 892.39 0.00 41.22 1800.10/1800.72 c countsols : 0.12 0.00 0.00 0.00 0.12 1800.10/1800.72 c Propagators : Time Calls Cutoffs DomReds 1800.10/1800.72 c vbounds : 1.06 1 0 0 1800.10/1800.72 c rootredcost : 1.11 0 0 0 1800.10/1800.72 c pseudoobj : 0.86 0 0 0 1800.10/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters 1800.10/1800.72 c propagation : 11.48 216555 216512 917616 14.0 3582 16.7 - 1800.10/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0 1800.10/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0 1800.10/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0 1800.10/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 - 1800.10/1800.72 c applied globally : - - - 475720 12.0 - - - 1800.10/1800.72 c applied locally : - - - 768 37.0 - - - 1800.10/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss 1800.10/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0) 1800.10/1800.72 c redcost : 0.00 0 0 0 0 0 1800.10/1800.72 c impliedbounds : 0.00 0 0 0 0 0 1800.10/1800.72 c intobj : 0.00 0 0 0 0 0 1800.10/1800.72 c cgmip : 0.00 0 0 0 0 0 1800.10/1800.72 c gomory : 0.00 0 0 0 0 0 1800.10/1800.72 c strongcg : 0.00 0 0 0 0 0 1800.10/1800.72 c cmir : 0.00 0 0 0 0 0 1800.10/1800.72 c flowcover : 0.00 0 0 0 0 0 1800.10/1800.72 c clique : 0.00 0 0 0 0 0 1800.10/1800.72 c zerohalf : 0.00 0 0 0 0 0 1800.10/1800.72 c mcf : 0.00 0 0 0 0 0 1800.10/1800.72 c rapidlearning : 0.00 0 0 0 0 0 1800.10/1800.72 c Pricers : Time Calls Vars 1800.10/1800.72 c problem variables: 0.00 0 0 1800.10/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children 1800.10/1800.72 c relpscost : 0.00 0 0 0 0 0 0 1800.10/1800.72 c pscost : 0.00 0 0 0 0 0 0 1800.10/1800.72 c inference : 8.19 306630 0 0 0 0 613260 1800.10/1800.72 c mostinf : 0.00 0 0 0 0 0 0 1800.10/1800.72 c leastinf : 0.00 0 0 0 0 0 0 1800.10/1800.72 c fullstrong : 0.00 0 0 0 0 0 0 1800.10/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0 1800.10/1800.72 c random : 0.00 0 0 0 0 0 0 1800.10/1800.72 c Primal Heuristics : Time Calls Found 1800.10/1800.72 c LP solutions : 0.00 - 0 1800.10/1800.72 c pseudo solutions : 0.00 - 0 1800.10/1800.72 c trivial : 0.00 1 0 1800.10/1800.72 c simplerounding : 0.00 0 0 1800.10/1800.72 c zirounding : 0.00 0 0 1800.10/1800.72 c rounding : 0.00 0 0 1800.10/1800.72 c shifting : 0.00 0 0 1800.10/1800.72 c intshifting : 0.00 0 0 1800.10/1800.72 c oneopt : 0.00 0 0 1800.10/1800.72 c twoopt : 0.00 0 0 1800.10/1800.72 c fixandinfer : 0.00 0 0 1800.10/1800.72 c feaspump : 0.00 0 0 1800.10/1800.72 c coefdiving : 0.00 0 0 1800.10/1800.72 c pscostdiving : 0.00 0 0 1800.10/1800.72 c fracdiving : 0.00 0 0 1800.10/1800.72 c veclendiving : 0.00 0 0 1800.10/1800.72 c intdiving : 0.00 0 0 1800.10/1800.72 c actconsdiving : 0.00 0 0 1800.10/1800.72 c objpscostdiving : 0.00 0 0 1800.10/1800.72 c rootsoldiving : 0.00 0 0 1800.10/1800.72 c linesearchdiving : 0.00 0 0 1800.10/1800.72 c guideddiving : 0.00 0 0 1800.10/1800.72 c octane : 0.00 0 0 1800.10/1800.72 c rens : 0.00 0 0 1800.10/1800.72 c rins : 0.00 0 0 1800.10/1800.72 c localbranching : 0.00 0 0 1800.10/1800.72 c mutation : 0.00 0 0 1800.10/1800.72 c crossover : 0.00 0 0 1800.10/1800.72 c dins : 0.00 0 0 1800.10/1800.72 c undercover : 0.00 0 0 1800.10/1800.72 c nlp : 0.00 0 0 1800.10/1800.72 c trysol : 0.00 0 0 1800.10/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec 1800.10/1800.72 c primal LP : 0.00 0 0 0.00 - 1800.10/1800.72 c dual LP : 0.00 0 0 0.00 - 1800.10/1800.72 c lex dual LP : 0.00 0 0 0.00 - 1800.10/1800.72 c barrier LP : 0.00 0 0 0.00 - 1800.10/1800.72 c diving/probing LP: 0.00 0 0 0.00 - 1800.10/1800.72 c strong branching : 0.00 0 0 0.00 - 1800.10/1800.72 c (at root node) : - 0 0 0.00 - 1800.10/1800.72 c conflict analysis: 0.00 0 0 0.00 - 1800.10/1800.72 c B&B Tree : 1800.10/1800.72 c number of runs : 1 1800.10/1800.72 c nodes : 446115 1800.10/1800.72 c nodes (total) : 446115 1800.10/1800.72 c nodes left : 68348 1800.10/1800.72 c max depth : 97 1800.10/1800.72 c max depth (total): 97 1800.10/1800.72 c backtracks : 152283 (34.1%) 1800.10/1800.72 c delayed cutoffs : 98798 1800.10/1800.72 c repropagations : 512874 (4156924 domain reductions, 77070 cutoffs) 1800.10/1800.72 c avg switch length: 17.47 1800.10/1800.72 c switching time : 500.21 1800.10/1800.72 c Solution : 1800.10/1800.72 c Solutions found : 0 (0 improvements) 1800.10/1800.72 c Primal Bound : - 1800.10/1800.72 c Dual Bound : +0.00000000000000e+00 1800.10/1800.72 c Gap : infinite 1800.10/1800.72 c Root Dual Bound : +0.00000000000000e+00 1800.10/1800.72 c Root Iterations : 0 1800.68/1801.30 c Time complete: 1800.69.
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-2664409-1276294456/watcher-2664409-1276294456 -o /tmp/evaluation-result-2664409-1276294456/solver-2664409-1276294456 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664409-1276294456.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.90 0.95 0.98 3/106 6280 /proc/meminfo: memFree=1552700/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=6584 CPUtime=0 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 1103 0 0 0 0 0 0 0 25 0 1 0 3097471 6742016 1025 1992294400 4194304 7136930 140735228306064 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6280/statm: 1646 1034 254 719 0 925 0 [startup+0.0493431 s] /proc/loadavg: 0.90 0.95 0.98 3/106 6280 /proc/meminfo: memFree=1552700/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=8924 CPUtime=0.04 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 1732 0 0 0 4 0 0 0 25 0 1 0 3097471 9138176 1654 1992294400 4194304 7136930 140735228306064 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6280/statm: 2231 1654 268 719 0 1510 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8924 [startup+0.101352 s] /proc/loadavg: 0.90 0.95 0.98 3/106 6280 /proc/meminfo: memFree=1552700/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=14624 CPUtime=0.1 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 3588 0 0 0 8 2 0 0 18 0 1 0 3097471 14974976 2899 1992294400 4194304 7136930 140735228306064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 3656 2899 345 719 0 2935 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14624 [startup+0.301388 s] /proc/loadavg: 0.90 0.95 0.98 3/106 6280 /proc/meminfo: memFree=1552700/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=17192 CPUtime=0.29 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 6826 0 0 0 26 3 0 0 18 0 1 0 3097471 17604608 3567 1992294400 4194304 7136930 140735228306064 18446744073709551615 4697113 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 4298 3567 391 719 0 3577 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17192 [startup+0.701462 s] /proc/loadavg: 0.90 0.95 0.98 3/106 6280 /proc/meminfo: memFree=1552700/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=17728 CPUtime=0.69 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 6968 0 0 0 64 5 0 0 18 0 1 0 3097471 18153472 3709 1992294400 4194304 7136930 140735228306064 18446744073709551615 5005044 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 4432 3709 391 719 0 3711 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17728 [startup+1.50061 s] /proc/loadavg: 0.90 0.95 0.98 2/107 6281 /proc/meminfo: memFree=1538432/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=19212 CPUtime=1.49 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 7355 0 0 0 140 9 0 0 19 0 1 0 3097471 19673088 4096 1992294400 4194304 7136930 140735228306064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 4803 4096 391 719 0 4082 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19212 [startup+3.1009 s] /proc/loadavg: 0.90 0.95 0.98 2/107 6281 /proc/meminfo: memFree=1536572/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=21544 CPUtime=3.09 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 7948 0 0 0 292 17 0 0 25 0 1 0 3097471 22061056 4689 1992294400 4194304 7136930 140735228306064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 5386 4689 391 719 0 4665 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21544 [startup+6.30149 s] /proc/loadavg: 0.91 0.95 0.98 2/107 6281 /proc/meminfo: memFree=1532604/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=24868 CPUtime=6.29 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 8779 0 0 0 599 30 0 0 25 0 1 0 3097471 25464832 5520 1992294400 4194304 7136930 140735228306064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 6217 5520 391 719 0 5496 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24868 [startup+12.7007 s] /proc/loadavg: 0.92 0.95 0.98 2/107 6281 /proc/meminfo: memFree=1526528/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=32088 CPUtime=12.69 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 10595 0 0 0 1214 55 0 0 25 0 1 0 3097471 32858112 7336 1992294400 4194304 7136930 140735228306064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 8022 7336 391 719 0 7301 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32088 [startup+25.501 s] /proc/loadavg: 0.94 0.96 0.98 2/107 6281 /proc/meminfo: memFree=1515864/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=41032 CPUtime=25.48 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 12892 0 0 0 2449 99 0 0 25 0 1 0 3097471 42016768 9633 1992294400 4194304 7136930 140735228306064 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 10258 9633 391 719 0 9537 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41032 [startup+51.1017 s] /proc/loadavg: 0.96 0.96 0.98 2/107 6281 /proc/meminfo: memFree=1503216/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=53176 CPUtime=51.07 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 15900 0 0 0 4957 150 0 0 25 0 1 0 3097471 54452224 12641 1992294400 4194304 7136930 140735228306064 18446744073709551615 4431728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 13294 12641 391 719 0 12573 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 53176 [startup+102.309 s] /proc/loadavg: 0.98 0.96 0.98 2/107 6283 /proc/meminfo: memFree=1483996/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=71976 CPUtime=102.26 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 20653 0 0 0 9974 252 0 0 25 0 1 0 3097471 73703424 17394 1992294400 4194304 7136930 140735228306064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 17994 17394 391 719 0 17273 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 71976 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6285 /proc/meminfo: memFree=1459568/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=99084 CPUtime=162.24 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 26941 0 0 0 15851 373 0 0 25 0 1 0 3097471 101462016 23682 1992294400 4194304 7136930 140735228306064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 24771 23682 391 719 0 24050 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 99084 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6287 /proc/meminfo: memFree=1442084/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=115668 CPUtime=222.22 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 31079 0 0 0 21756 466 0 0 25 0 1 0 3097471 118444032 27820 1992294400 4194304 7136930 140735228306064 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 28917 27820 391 719 0 28196 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 115668 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6287 /proc/meminfo: memFree=1432660/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=124848 CPUtime=282.2 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 33390 0 0 0 27672 548 0 0 25 0 1 0 3097471 127844352 30131 1992294400 4194304 7136930 140735228306064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 31212 30131 391 719 0 30491 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 124848 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6289 /proc/meminfo: memFree=1423980/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=133628 CPUtime=342.17 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 35563 0 0 0 33594 623 0 0 25 0 1 0 3097471 136835072 32304 1992294400 4194304 7136930 140735228306064 18446744073709551615 5955580 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 33407 32304 391 719 0 32686 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 133628 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6291 /proc/meminfo: memFree=1419144/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=138576 CPUtime=402.15 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 36779 0 0 0 39533 682 0 0 25 0 1 0 3097471 141901824 33520 1992294400 4194304 7136930 140735228306064 18446744073709551615 5000286 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 34644 33520 391 719 0 33923 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 138576 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6293 /proc/meminfo: memFree=1411952/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=145880 CPUtime=462.14 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 38540 0 0 0 45469 745 0 0 25 0 1 0 3097471 149381120 35281 1992294400 4194304 7136930 140735228306064 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 36470 35281 391 719 0 35749 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 145880 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6295 /proc/meminfo: memFree=1403396/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=154592 CPUtime=522.11 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 40672 0 0 0 51407 804 0 0 25 0 1 0 3097471 158302208 37413 1992294400 4194304 7136930 140735228306064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 38648 37413 391 719 0 37927 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 154592 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6295 /proc/meminfo: memFree=1394220/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=163716 CPUtime=582.09 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 42949 0 0 0 57351 858 0 0 25 0 1 0 3097471 167645184 39690 1992294400 4194304 7136930 140735228306064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 40929 39690 391 719 0 40208 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 163716 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6297 /proc/meminfo: memFree=1384548/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=173560 CPUtime=642.08 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 45351 0 0 0 63293 915 0 0 25 0 1 0 3097471 177725440 42092 1992294400 4194304 7136930 140735228306064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 43390 42092 391 719 0 42669 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 173560 [startup+702.301 s] ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6307 /proc/meminfo: memFree=1346852/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=211260 CPUtime=1001.95 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 54669 0 0 0 98986 1209 0 0 25 0 1 0 3097471 216330240 51410 1992294400 4194304 7136930 140735228306064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 52815 51410 391 719 0 52094 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 211260 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6309 /proc/meminfo: memFree=1341148/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=216996 CPUtime=1061.94 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 56097 0 0 0 104938 1256 0 0 25 0 1 0 3097471 222203904 52838 1992294400 4194304 7136930 140735228306064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 54249 52838 391 719 0 53528 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 216996 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6311 /proc/meminfo: memFree=1337428/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=220704 CPUtime=1121.92 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 57012 0 0 0 110897 1295 0 0 25 0 1 0 3097471 226000896 53753 1992294400 4194304 7136930 140735228306064 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 55176 53753 391 719 0 54455 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 220704 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6311 /proc/meminfo: memFree=1335940/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=222060 CPUtime=1181.9 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 57367 0 0 0 116856 1334 0 0 25 0 1 0 3097471 227389440 54108 1992294400 4194304 7136930 140735228306064 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 55515 54108 391 719 0 54794 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 222060 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6313 /proc/meminfo: memFree=1333088/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=224848 CPUtime=1241.88 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 58033 0 0 0 122819 1369 0 0 25 0 1 0 3097471 230244352 54774 1992294400 4194304 7136930 140735228306064 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 56212 54774 391 719 0 55491 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 224848 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6315 /proc/meminfo: memFree=1332840/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=224848 CPUtime=1301.86 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 58087 0 0 0 128775 1411 0 0 25 0 1 0 3097471 230244352 54828 1992294400 4194304 7136930 140735228306064 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 56212 54828 391 719 0 55491 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 224848 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6317 /proc/meminfo: memFree=1332716/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=224984 CPUtime=1361.83 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 58108 0 0 0 134733 1450 0 0 25 0 1 0 3097471 230383616 54849 1992294400 4194304 7136930 140735228306064 18446744073709551615 4220964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 56246 54849 391 719 0 55525 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 224984 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6319 /proc/meminfo: memFree=1332468/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=225168 CPUtime=1421.82 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 58164 0 0 0 140694 1488 0 0 25 0 1 0 3097471 230572032 54905 1992294400 4194304 7136930 140735228306064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 56292 54905 391 719 0 55571 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 225168 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 3/108 6322 /proc/meminfo: memFree=1312620/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=225428 CPUtime=1481.8 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 58233 0 0 0 146656 1524 0 0 25 0 1 0 3097471 230838272 54974 1992294400 4194304 7136930 140735228306064 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 56357 54974 391 719 0 55636 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 225428 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6324 /proc/meminfo: memFree=1331104/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=226292 CPUtime=1541.77 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 58379 0 0 0 152617 1560 0 0 25 0 1 0 3097471 231723008 55120 1992294400 4194304 7136930 140735228306064 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 56573 55120 391 719 0 55852 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 226292 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6326 /proc/meminfo: memFree=1330608/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=227116 CPUtime=1601.75 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 58561 0 0 0 158579 1596 0 0 25 0 1 0 3097471 232566784 55302 1992294400 4194304 7136930 140735228306064 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 56779 55302 391 719 0 56058 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 227116 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6328 /proc/meminfo: memFree=1330360/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=227284 CPUtime=1661.73 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 58625 0 0 0 164550 1623 0 0 25 0 1 0 3097471 232738816 55366 1992294400 4194304 7136930 140735228306064 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 56821 55366 391 719 0 56100 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 227284 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6330 /proc/meminfo: memFree=1330112/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=227572 CPUtime=1721.71 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 58684 0 0 0 170521 1650 0 0 25 0 1 0 3097471 233033728 55425 1992294400 4194304 7136930 140735228306064 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 56893 55425 391 719 0 56172 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 227572 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6330 /proc/meminfo: memFree=1328872/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=228896 CPUtime=1781.69 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 58974 0 0 0 176494 1675 0 0 25 0 1 0 3097471 234389504 55715 1992294400 4194304 7136930 140735228306064 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 57224 55715 391 719 0 56503 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 228896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6332 /proc/meminfo: memFree=1328872/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=228896 CPUtime=1800.1 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 58975 0 0 0 178327 1683 0 0 25 0 1 0 3097471 234389504 55716 1992294400 4194304 7136930 140735228306064 18446744073709551615 4408811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/6280/statm: 57224 55716 391 719 0 56503 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 228896 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6332 /proc/meminfo: memFree=1328872/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=228992 CPUtime=1800.39 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 59015 0 0 0 178355 1684 0 0 25 0 1 0 3097471 234487808 55756 1992294400 4194304 7136930 140735228306064 18446744073709551615 6165693 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6280/statm: 57248 55756 396 719 0 56527 0 Current children cumulated CPU time (s) 1800.39 Current children cumulated vsize (KiB) 228992 [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6332 /proc/meminfo: memFree=1328872/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=222872 CPUtime=1800.59 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 59015 0 0 0 178375 1684 0 0 25 0 1 0 3097471 228220928 54226 1992294400 4194304 7136930 140735228306064 18446744073709551615 4332856 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6280/statm: 55718 54226 396 719 0 54997 0 Current children cumulated CPU time (s) 1800.59 Current children cumulated vsize (KiB) 222872 [startup+1801.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 6332 /proc/meminfo: memFree=1328872/2059040 swapFree=4192956/4192956 [pid=6280] ppid=6278 vsize=22664 CPUtime=1800.68 /proc/6280/stat : 6280 (pbscip.linux.x8) R 6278 6280 6184 0 -1 4202496 59015 0 0 0 178382 1686 0 0 25 0 1 0 3097471 23207936 4066 1992294400 4194304 7136930 140735228306064 18446744073709551615 6526746 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6280/statm: 5666 4066 396 719 0 4945 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (KiB) 22664 Child status: 0 Real time (s): 1801.31 CPU time (s): 1800.7 CPU user time (s): 1783.83 CPU system time (s): 16.8644 CPU usage (%): 99.9661 Max. virtual memory (cumulated for all children) (KiB): 228992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.83 system time used= 16.8644 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59022 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= 2 involuntary context switches= 3323 runsolver used 3.79342 second user time and 9.31758 second system time The end
Begin job on node027 at 2010-06-12 00:14:16 IDJOB=2664409 IDBENCH=1309 IDSOLVER=1167 FILE ID=node027/2664409-1276294456 PBS_JOBID= 11173129 Free space on /tmp= 62448 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664409-1276294456/watcher-2664409-1276294456 -o /tmp/evaluation-result-2664409-1276294456/solver-2664409-1276294456 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664409-1276294456.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4a96a2353b6045ef15a9bfabac06d14b RANDOM SEED=1068016644 node027.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 : 2800.261 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 : 5600.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 : 2800.261 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: 1553352 kB Buffers: 67080 kB Cached: 311204 kB SwapCached: 0 kB Active: 175256 kB Inactive: 262272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1553352 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3244 kB Writeback: 0 kB AnonPages: 59284 kB Mapped: 15392 kB Slab: 46500 kB PageTables: 3984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182432 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62444 MiB End job on node027 at 2010-06-12 00:44:19