| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? (TO) | 1800.09 | 1800.65 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-46s.smv.opb |
| MD5SUM | 3549530e67a18968a913c3e0a7729641 |
| 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 | 0.055991 |
| 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 | 1612 |
| Total number of constraints | 3653 |
| Number of constraints which are clauses | 3273 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 380 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| 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 | 79 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 268 |
| Number of bits of the biggest sum of numbers | 9 |
| 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: SoPlex 1.4.2] [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-2667401-1276330895.opb>
0.03/0.08 c original problem has 1612 variables (1612 bin, 0 int, 0 impl, 0 cont) and 3653 constraints
0.03/0.08 c problem read
0.03/0.08 c No objective function, only one solution is needed.
0.03/0.08 c presolving settings loaded
0.09/0.10 c presolving:
0.09/0.16 c (round 1) 215 del vars, 150 del conss, 49 chg bounds, 190 chg sides, 394 chg coeffs, 0 upgd conss, 57928 impls, 0 clqs
0.09/0.17 c (round 2) 217 del vars, 498 del conss, 51 chg bounds, 190 chg sides, 394 chg coeffs, 0 upgd conss, 57928 impls, 0 clqs
0.09/0.18 c (round 3) 236 del vars, 522 del conss, 61 chg bounds, 190 chg sides, 394 chg coeffs, 0 upgd conss, 58276 impls, 0 clqs
0.09/0.18 c (round 4) 243 del vars, 552 del conss, 65 chg bounds, 190 chg sides, 394 chg coeffs, 0 upgd conss, 58316 impls, 0 clqs
0.09/0.19 c (round 5) 255 del vars, 574 del conss, 71 chg bounds, 190 chg sides, 394 chg coeffs, 0 upgd conss, 58394 impls, 0 clqs
0.09/0.19 c (round 6) 269 del vars, 606 del conss, 79 chg bounds, 190 chg sides, 394 chg coeffs, 0 upgd conss, 58496 impls, 0 clqs
0.19/0.20 c (round 7) 293 del vars, 663 del conss, 98 chg bounds, 190 chg sides, 394 chg coeffs, 0 upgd conss, 58598 impls, 0 clqs
0.19/0.21 c (round 8) 317 del vars, 718 del conss, 112 chg bounds, 190 chg sides, 394 chg coeffs, 0 upgd conss, 58904 impls, 0 clqs
0.19/0.21 c (round 9) 334 del vars, 776 del conss, 129 chg bounds, 190 chg sides, 394 chg coeffs, 0 upgd conss, 58936 impls, 0 clqs
0.19/0.22 c (round 10) 419 del vars, 967 del conss, 194 chg bounds, 190 chg sides, 394 chg coeffs, 0 upgd conss, 59680 impls, 0 clqs
0.19/0.23 c (round 11) 454 del vars, 1071 del conss, 219 chg bounds, 194 chg sides, 398 chg coeffs, 0 upgd conss, 60363 impls, 0 clqs
0.19/0.23 c (round 12) 474 del vars, 1137 del conss, 225 chg bounds, 194 chg sides, 398 chg coeffs, 0 upgd conss, 60609 impls, 0 clqs
0.19/0.24 c (round 13) 477 del vars, 1170 del conss, 227 chg bounds, 194 chg sides, 398 chg coeffs, 0 upgd conss, 60695 impls, 0 clqs
0.19/0.24 c (round 14) 485 del vars, 1187 del conss, 232 chg bounds, 196 chg sides, 400 chg coeffs, 0 upgd conss, 60952 impls, 0 clqs
0.19/0.25 c (round 15) 501 del vars, 1223 del conss, 243 chg bounds, 196 chg sides, 400 chg coeffs, 0 upgd conss, 61346 impls, 0 clqs
0.19/0.26 c (round 16) 513 del vars, 1258 del conss, 250 chg bounds, 196 chg sides, 400 chg coeffs, 0 upgd conss, 61358 impls, 0 clqs
0.19/0.26 c (round 17) 517 del vars, 1280 del conss, 252 chg bounds, 196 chg sides, 400 chg coeffs, 0 upgd conss, 61364 impls, 0 clqs
0.19/0.27 c (round 18) 520 del vars, 1290 del conss, 254 chg bounds, 196 chg sides, 400 chg coeffs, 0 upgd conss, 61368 impls, 0 clqs
0.19/0.27 c (round 19) 522 del vars, 1297 del conss, 256 chg bounds, 196 chg sides, 400 chg coeffs, 0 upgd conss, 61370 impls, 0 clqs
0.19/0.27 c (round 20) 524 del vars, 1303 del conss, 258 chg bounds, 196 chg sides, 400 chg coeffs, 0 upgd conss, 61372 impls, 0 clqs
0.19/0.28 c (round 21) 528 del vars, 1309 del conss, 262 chg bounds, 196 chg sides, 400 chg coeffs, 0 upgd conss, 61372 impls, 0 clqs
0.19/0.28 c (round 22) 534 del vars, 1323 del conss, 268 chg bounds, 196 chg sides, 400 chg coeffs, 0 upgd conss, 61392 impls, 0 clqs
0.19/0.29 c (round 23) 544 del vars, 1346 del conss, 272 chg bounds, 196 chg sides, 400 chg coeffs, 0 upgd conss, 61475 impls, 0 clqs
0.19/0.29 c (round 24) 550 del vars, 1368 del conss, 275 chg bounds, 197 chg sides, 401 chg coeffs, 0 upgd conss, 61512 impls, 0 clqs
0.29/0.30 c (round 25) 554 del vars, 1382 del conss, 277 chg bounds, 198 chg sides, 403 chg coeffs, 0 upgd conss, 61524 impls, 0 clqs
0.29/0.30 c (round 26) 561 del vars, 1404 del conss, 280 chg bounds, 199 chg sides, 405 chg coeffs, 0 upgd conss, 61707 impls, 0 clqs
0.29/0.31 c (round 27) 566 del vars, 1420 del conss, 282 chg bounds, 199 chg sides, 405 chg coeffs, 0 upgd conss, 61731 impls, 0 clqs
0.29/0.31 c (round 28) 567 del vars, 1427 del conss, 282 chg bounds, 199 chg sides, 405 chg coeffs, 0 upgd conss, 61739 impls, 0 clqs
0.29/0.31 c (round 29) 567 del vars, 1429 del conss, 282 chg bounds, 199 chg sides, 405 chg coeffs, 0 upgd conss, 61739 impls, 0 clqs
0.29/0.37 c (round 30) 567 del vars, 1446 del conss, 282 chg bounds, 199 chg sides, 405 chg coeffs, 2195 upgd conss, 61739 impls, 0 clqs
0.29/0.39 c (round 31) 639 del vars, 1458 del conss, 282 chg bounds, 199 chg sides, 405 chg coeffs, 2195 upgd conss, 61739 impls, 0 clqs
0.39/0.41 c presolving (32 rounds):
0.39/0.41 c 639 deleted vars, 1458 deleted constraints, 282 tightened bounds, 0 added holes, 199 changed sides, 405 changed coefficients
0.39/0.41 c 61739 implications, 0 cliques
0.39/0.41 c presolved problem has 973 variables (973 bin, 0 int, 0 impl, 0 cont) and 2195 constraints
0.39/0.41 c 332 constraints of type <knapsack>
0.39/0.41 c 1863 constraints of type <logicor>
0.39/0.41 c transformed objective value is always integral (scale: 1)
0.39/0.41 c Presolving Time: 0.24
0.39/0.41 c - non default parameters ----------------------------------------------------------------------
0.39/0.41 c # SCIP version 1.2.1.2
0.39/0.41 c
0.39/0.41 c # frequency for displaying node information lines
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.41 c display/freq = 10000
0.39/0.41 c
0.39/0.41 c # maximal time in seconds to run
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/time = 1799.93
0.39/0.41 c
0.39/0.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/memory = 1620
0.39/0.41 c
0.39/0.41 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c limits/solutions = 1
0.39/0.41 c
0.39/0.41 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.41 c separating/maxrounds = 1
0.39/0.41 c
0.39/0.41 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c separating/maxroundsroot = 5
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify inequalities
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/linear/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.41 c constraints/knapsack/disaggregation = FALSE
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify knapsacks
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c presolving/probing/maxrounds = 0
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/coefdiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/coefdiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/coefdiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.41 c heuristics/crossover/freq = -1
0.39/0.41 c
0.39/0.41 c # number of nodes added to the contingent of the total nodes
0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.41 c heuristics/crossover/nodesofs = 750
0.39/0.41 c
0.39/0.41 c # number of nodes without incumbent change that heuristic should wait
0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.41 c heuristics/crossover/nwaitingnodes = 100
0.39/0.41 c
0.39/0.41 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.41 c # [type: real, range: [0,1], default: 0.1]
0.39/0.41 c heuristics/crossover/nodesquot = 0.15
0.39/0.41 c
0.39/0.41 c # minimum percentage of integer variables that have to be fixed
0.39/0.41 c # [type: real, range: [0,1], default: 0.666]
0.39/0.41 c heuristics/crossover/minfixingrate = 0.5
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.41 c heuristics/feaspump/freq = -1
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/feaspump/maxlpiterofs = 2000
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/fracdiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/fracdiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/fracdiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/guideddiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/guideddiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/guideddiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/intdiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/intshifting/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/linesearchdiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/nlp/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.41 c heuristics/objpscostdiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.41 c # [type: real, range: [0,1], default: 0.01]
0.39/0.41 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/oneopt/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/pscostdiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/pscostdiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c heuristics/rens/freq = -1
0.39/0.41 c
0.39/0.41 c # minimum percentage of integer variables that have to be fixable
0.39/0.41 c # [type: real, range: [0,1], default: 0.5]
0.39/0.41 c heuristics/rens/minfixingrate = 0.3
0.39/0.41 c
0.39/0.41 c # number of nodes added to the contingent of the total nodes
0.39/0.41 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.41 c heuristics/rens/nodesofs = 2000
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.41 c heuristics/rootsoldiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.41 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/rounding/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/shifting/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/simplerounding/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c heuristics/trivial/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/trysol/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.41 c heuristics/veclendiving/freq = -1
0.39/0.41 c
0.39/0.41 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.41 c heuristics/veclendiving/maxlpiterquot = 0.075
0.39/0.41 c
0.39/0.41 c # additional number of allowed LP iterations
0.39/0.41 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.41 c heuristics/veclendiving/maxlpiterofs = 1500
0.39/0.41 c
0.39/0.41 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.41 c heuristics/zirounding/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c separating/cmir/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41 c separating/flowcover/freq = -1
0.39/0.41 c
0.39/0.41 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c separating/rapidlearning/freq = 0
0.39/0.41 c
0.39/0.41 c -----------------------------------------------------------------------------------------------
0.39/0.41 c start solving
0.39/0.41 c
0.39/0.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.44 c 0.3s| 1 | 0 | 238 | - |8203k| 0 | 163 | 973 |2195 | 973 |2195 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.93 c 0.7s| 1 | 0 | 356 | - |8563k| 0 | 219 | 973 |2395 | 973 |2246 | 51 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.07 c 0.8s| 1 | 0 | 511 | - |8627k| 0 | 263 | 973 |2395 | 973 |2324 | 129 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.25 c 1.0s| 1 | 0 | 654 | - |8763k| 0 | 326 | 973 |2395 | 973 |2405 | 210 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.54 c 1.3s| 1 | 0 | 956 | - |8979k| 0 | 344 | 973 |2395 | 973 |2491 | 296 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.91 c 1.7s| 1 | 0 | 1239 | - |9146k| 0 | 367 | 973 |2395 | 973 |2558 | 363 | 0 | 0 | 0.000000e+00 | -- | Inf
3.30/3.34 c 3.1s| 1 | 2 | 1239 | - |9147k| 0 | 367 | 973 |2395 | 973 |2558 | 363 | 0 | 17 | 0.000000e+00 | -- | Inf
173.04/173.17 c 170s| 10000 | 640 |199664 | 19.8 | 10M| 79 | 68 | 973 |2440 | 973 |2509 | 363 | 85 | 10k| 0.000000e+00 | -- | Inf
303.99/304.18 c 297s| 20000 | 640 |392353 | 19.6 | 10M| 79 | 71 | 973 |2430 | 973 |2509 | 363 | 85 | 20k| 0.000000e+00 | -- | Inf
434.65/434.82 c 425s| 30000 | 644 |587063 | 19.5 | 10M| 79 | 85 | 973 |2430 | 973 |2509 | 363 | 85 | 30k| 0.000000e+00 | -- | Inf
565.91/566.18 c 552s| 40000 | 638 |780059 | 19.5 | 10M| 79 | 84 | 973 |2429 | 973 |2509 | 363 | 85 | 40k| 0.000000e+00 | -- | Inf
690.48/690.72 c 673s| 50000 | 668 |951535 | 19.0 | 10M| 79 | 74 | 973 |2427 | 973 |2509 | 363 | 85 | 50k| 0.000000e+00 | -- | Inf
817.83/818.17 c 796s| 60000 | 664 | 1128k| 18.8 | 10M| 79 | 89 | 973 |2429 | 973 |2509 | 363 | 87 | 60k| 0.000000e+00 | -- | Inf
944.69/945.04 c 918s| 70000 | 661 | 1304k| 18.6 | 10M| 79 | 89 | 973 |2426 | 973 |2509 | 363 | 88 | 70k| 0.000000e+00 | -- | Inf
1072.85/1073.27 c 1040s| 80000 | 671 | 1478k| 18.5 | 10M| 79 | 96 | 973 |2426 | 973 |2509 | 363 | 89 | 80k| 0.000000e+00 | -- | Inf
1200.12/1200.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1200.12/1200.58 c 1162s| 90000 | 671 | 1649k| 18.3 | 10M| 79 | 94 | 973 |2426 | 973 |2509 | 363 | 89 | 90k| 0.000000e+00 | -- | Inf
1327.08/1327.51 c 1284s|100000 | 679 | 1820k| 18.2 | 10M| 79 | 94 | 973 |2425 | 973 |2509 | 363 | 89 | 100k| 0.000000e+00 | -- | Inf
1454.75/1455.24 c 1406s|110000 | 663 | 1993k| 18.1 | 10M| 79 | 93 | 973 |2425 | 973 |2509 | 363 | 89 | 110k| 0.000000e+00 | -- | Inf
1582.50/1583.07 c 1528s|120000 | 661 | 2157k| 18.0 | 10M| 79 | 105 | 973 |2425 | 973 |2509 | 363 | 89 | 120k| 0.000000e+00 | -- | Inf
1713.66/1714.27 c 1653s|130000 | 663 | 2319k| 17.8 | 10M| 79 | 102 | 973 |2422 | 973 |2509 | 363 | 89 | 131k| 0.000000e+00 | -- | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.62 c
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time (sec) : 1735.67
1800.05/1800.62 c Solving Nodes : 136930
1800.05/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.62 c Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Gap : infinite
1800.05/1800.62 s UNKNOWN
1800.05/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.62 c Solving Time : 1735.67
1800.05/1800.62 c Original Problem :
1800.05/1800.62 c Problem name : HOME/instance-2667401-1276330895.opb
1800.05/1800.62 c Variables : 1612 (1612 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 3653 initial, 3653 maximal
1800.05/1800.62 c Presolved Problem :
1800.05/1800.62 c Problem name : t_HOME/instance-2667401-1276330895.opb
1800.05/1800.62 c Variables : 973 (973 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.62 c Constraints : 2195 initial, 2472 maximal
1800.05/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.62 c trivial : 0.00 1 0 0 0 0 0 0 0
1800.05/1800.62 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c implics : 0.03 0 274 0 0 0 0 0 0
1800.05/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.62 c linear : 0.13 281 83 0 282 0 1458 199 405
1800.05/1800.62 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.62 c root node : - 2 - - 2 - - - -
1800.05/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c integral : 0 0 0 204803 0 68017 67981 0 0 137766
1800.05/1800.62 c knapsack : 332 5 1464559 0 0 5 100803 917 0 0
1800.05/1800.62 c linear : 0+ 5 1408598 0 0 0 961 40 0 0
1800.05/1800.62 c logicor : 1863+ 5 1435665 0 0 29 2930149 0 0 0
1800.05/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.62 c integral : 699.48 0.00 0.00 699.48 0.00
1800.05/1800.62 c knapsack : 19.51 0.02 19.49 0.00 0.00
1800.05/1800.62 c linear : 1.28 0.00 1.28 0.00 0.00
1800.05/1800.62 c logicor : 20.57 0.00 20.57 0.00 0.00
1800.05/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.62 c vbounds : 0.94 1 0 0
1800.05/1800.62 c rootredcost : 0.75 0 0 0
1800.05/1800.62 c pseudoobj : 0.69 0 0 0
1800.05/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.62 c propagation : 0.00 34 34 69 6.1 12 3.5 -
1800.05/1800.62 c infeasible LP : 0.00 9 9 18 2.8 1 2.0 0
1800.05/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.62 c applied globally : - - - 89 4.7 - - -
1800.05/1800.62 c applied locally : - - - 0 0.0 - - -
1800.05/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.62 c cut pool : 0.00 4 - - 61 - (maximal pool size: 459)
1800.05/1800.62 c redcost : 4.31 136904 0 0 0 0
1800.05/1800.62 c impliedbounds : 0.00 5 0 0 0 0
1800.05/1800.62 c intobj : 0.00 0 0 0 0 0
1800.05/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.62 c gomory : 0.36 5 0 0 1655 0
1800.05/1800.62 c strongcg : 0.30 5 0 0 1947 0
1800.05/1800.62 c cmir : 0.00 0 0 0 0 0
1800.05/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.62 c clique : 0.03 5 0 0 32 0
1800.05/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.62 c mcf : 0.00 1 0 0 0 0
1800.05/1800.62 c rapidlearning : 0.33 1 0 0 0 200
1800.05/1800.62 c Pricers : Time Calls Vars
1800.05/1800.62 c problem variables: 0.00 0 0
1800.05/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.62 c relpscost : 698.61 204803 68017 67981 0 0 137766
1800.05/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.62 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.62 c random : 0.00 0 0 0 0 0 0
1800.05/1800.62 c Primal Heuristics : Time Calls Found
1800.05/1800.62 c LP solutions : 0.00 - 0
1800.05/1800.62 c pseudo solutions : 0.00 - 0
1800.05/1800.62 c trivial : 0.00 1 0
1800.05/1800.62 c simplerounding : 0.00 0 0
1800.05/1800.62 c zirounding : 0.00 0 0
1800.05/1800.62 c rounding : 0.00 0 0
1800.05/1800.62 c shifting : 0.00 0 0
1800.05/1800.62 c intshifting : 0.00 0 0
1800.05/1800.62 c oneopt : 0.00 0 0
1800.05/1800.62 c twoopt : 0.00 0 0
1800.05/1800.62 c fixandinfer : 0.00 0 0
1800.05/1800.62 c feaspump : 0.00 0 0
1800.05/1800.62 c coefdiving : 0.00 0 0
1800.05/1800.62 c pscostdiving : 0.00 0 0
1800.05/1800.62 c fracdiving : 0.00 0 0
1800.05/1800.62 c veclendiving : 0.00 0 0
1800.05/1800.62 c intdiving : 0.00 0 0
1800.05/1800.62 c actconsdiving : 0.00 0 0
1800.05/1800.62 c objpscostdiving : 0.00 0 0
1800.05/1800.62 c rootsoldiving : 0.00 0 0
1800.05/1800.62 c linesearchdiving : 0.00 0 0
1800.05/1800.62 c guideddiving : 0.00 0 0
1800.05/1800.62 c octane : 0.00 0 0
1800.05/1800.62 c rens : 0.00 0 0
1800.05/1800.62 c rins : 0.00 0 0
1800.05/1800.62 c localbranching : 0.00 0 0
1800.05/1800.62 c mutation : 0.00 0 0
1800.05/1800.62 c crossover : 0.00 0 0
1800.05/1800.62 c dins : 0.00 0 0
1800.05/1800.62 c undercover : 0.00 0 0
1800.05/1800.62 c nlp : 0.00 0 0
1800.05/1800.62 c trysol : 0.00 0 0
1800.05/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.62 c dual LP : 743.94 204817 2434341 11.89 3272.23
1800.05/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.62 c strong branching : 680.88 137722 1318216 9.57 1936.05
1800.05/1800.62 c (at root node) : - 17 3308 194.59 -
1800.05/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.62 c B&B Tree :
1800.05/1800.62 c number of runs : 1
1800.05/1800.62 c nodes : 136930
1800.05/1800.62 c nodes (total) : 136930
1800.05/1800.62 c nodes left : 667
1800.05/1800.62 c max depth : 79
1800.05/1800.62 c max depth (total): 79
1800.05/1800.62 c backtracks : 29036 (21.2%)
1800.05/1800.62 c delayed cutoffs : 170
1800.05/1800.62 c repropagations : 502 (1005 domain reductions, 13 cutoffs)
1800.05/1800.62 c avg switch length: 2.65
1800.05/1800.62 c switching time : 25.99
1800.05/1800.62 c Solution :
1800.05/1800.62 c Solutions found : 0 (0 improvements)
1800.05/1800.62 c Primal Bound : -
1800.05/1800.62 c Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Gap : infinite
1800.05/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.62 c Root Iterations : 1239
1800.05/1800.65 c Time complete: 1800.08.
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-2667401-1276330895/watcher-2667401-1276330895 -o /tmp/evaluation-result-2667401-1276330895/solver-2667401-1276330895 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667401-1276330895.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10062 /proc/meminfo: memFree=1863068/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=6696 CPUtime=0 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 1000 0 0 0 0 0 0 0 18 0 1 0 8693556 6856704 921 1992294400 4194304 8223781 140734824419824 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10062/statm: 1931 929 348 984 0 944 0 [startup+0.0374119 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10062 /proc/meminfo: memFree=1863068/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=10496 CPUtime=0.03 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 1920 0 0 0 3 0 0 0 20 0 1 0 8693556 10747904 1840 1992294400 4194304 8223781 140734824419824 18446744073709551615 6207498 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10062/statm: 2624 1840 363 984 0 1637 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10496 [startup+0.101404 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10062 /proc/meminfo: memFree=1863068/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=17700 CPUtime=0.09 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 4018 0 0 0 8 1 0 0 20 0 1 0 8693556 18124800 3574 1992294400 4194304 8223781 140734824419824 18446744073709551615 7235108 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 4425 3574 389 984 0 3438 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17700 [startup+0.301428 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10062 /proc/meminfo: memFree=1863068/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=22832 CPUtime=0.29 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 11144 0 0 0 23 6 0 0 20 0 1 0 8693556 23379968 4532 1992294400 4194304 8223781 140734824419824 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 5708 4545 445 984 0 4721 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22832 [startup+0.701475 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10062 /proc/meminfo: memFree=1863068/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=44788 CPUtime=0.69 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 20510 0 0 0 57 12 0 0 20 0 1 0 8693556 45862912 9954 1992294400 4194304 8223781 140734824419824 18446744073709551615 4854588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 11197 9954 580 984 0 10210 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44788 [startup+1.50157 s] /proc/loadavg: 0.92 0.98 0.99 2/107 10063 /proc/meminfo: memFree=1834044/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34640 CPUtime=1.49 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 20726 0 0 0 135 14 0 0 23 0 1 0 8693556 35471360 7781 1992294400 4194304 8223781 140734824419824 18446744073709551615 6568087 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8660 7781 584 984 0 7673 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34640 [startup+3.10176 s] /proc/loadavg: 0.92 0.98 0.99 2/107 10063 /proc/meminfo: memFree=1833796/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34640 CPUtime=3.09 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 20753 0 0 0 293 16 0 0 25 0 1 0 8693556 35471360 7808 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8660 7808 585 984 0 7673 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34640 [startup+6.30114 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10063 /proc/meminfo: memFree=1833672/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34640 CPUtime=6.29 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 20753 0 0 0 611 18 0 0 25 0 1 0 8693556 35471360 7808 1992294400 4194304 8223781 140734824419824 18446744073709551615 6296715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8660 7808 585 984 0 7673 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34640 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10063 /proc/meminfo: memFree=1833424/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34640 CPUtime=12.68 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 20753 0 0 0 1243 25 0 0 25 0 1 0 8693556 35471360 7808 1992294400 4194304 8223781 140734824419824 18446744073709551615 6567490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8660 7808 585 984 0 7673 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34640 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/107 10063 /proc/meminfo: memFree=1833424/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34640 CPUtime=25.48 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 20753 0 0 0 2511 37 0 0 25 0 1 0 8693556 35471360 7808 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8660 7808 585 984 0 7673 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34640 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/107 10065 /proc/meminfo: memFree=1833424/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34640 CPUtime=51.08 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 20756 0 0 0 5043 65 0 0 25 0 1 0 8693556 35471360 7811 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8660 7811 588 984 0 7673 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 34640 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 10065 /proc/meminfo: memFree=1833052/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34744 CPUtime=102.27 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 46389 0 0 0 10045 182 0 0 25 0 1 0 8693556 35577856 7849 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8686 7849 588 984 0 7699 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 34744 [startup+162.301 s] /proc/loadavg: 1.03 1.00 1.00 2/107 10067 /proc/meminfo: memFree=1832928/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=162.24 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 72789 0 0 0 15901 323 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 6444388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 34860 [startup+222.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 10069 /proc/meminfo: memFree=1832928/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=222.22 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 96246 0 0 0 21760 462 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 34860 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10071 /proc/meminfo: memFree=1832804/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=282.21 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 134139 0 0 0 27614 607 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 34860 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10073 /proc/meminfo: memFree=1832680/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=342.18 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 167922 0 0 0 33463 755 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 34860 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10073 /proc/meminfo: memFree=1832680/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=402.16 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 199929 0 0 0 39314 902 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 6598990 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 34860 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10075 /proc/meminfo: memFree=1832556/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=462.14 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 240928 0 0 0 45150 1064 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 6592222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 34860 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10077 /proc/meminfo: memFree=1832556/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=522.12 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 299369 0 0 0 50973 1239 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 34860 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10079 /proc/meminfo: memFree=1832432/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=582.1 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 367205 0 0 0 56799 1411 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 6520484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 34860 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10081 /proc/meminfo: memFree=1832308/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=642.1 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 477472 0 0 0 62618 1592 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 34860 [startup+702.302 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10085 /proc/meminfo: memFree=1832184/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=822.04 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 1141792 0 0 0 79974 2230 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 34860 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10087 /proc/meminfo: memFree=1832184/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=882.01 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 1427244 0 0 0 85750 2451 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 34860 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10089 /proc/meminfo: memFree=1832060/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=941.99 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 1735967 0 0 0 91502 2697 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 6436943 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 34860 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10089 /proc/meminfo: memFree=1832184/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=35172 CPUtime=1001.98 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 2081727 0 0 0 97243 2955 0 0 25 0 1 0 8693556 36016128 7882 1992294400 4194304 8223781 140734824419824 18446744073709551615 6604142 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8793 7893 588 984 0 7806 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 35172 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10091 /proc/meminfo: memFree=1832060/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=1061.96 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 2458653 0 0 0 102971 3225 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 6591212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 34860 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10093 /proc/meminfo: memFree=1831936/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=1121.94 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 2799551 0 0 0 108725 3469 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 34860 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10095 /proc/meminfo: memFree=1831936/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34968 CPUtime=1181.93 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 3136461 0 0 0 114474 3719 0 0 25 0 1 0 8693556 35807232 7892 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8742 7892 588 984 0 7755 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 34968 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10097 /proc/meminfo: memFree=1831812/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=1241.9 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 3467400 0 0 0 120226 3964 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 34860 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10097 /proc/meminfo: memFree=1831688/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=1301.89 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 3806162 0 0 0 125978 4211 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 34860 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10099 /proc/meminfo: memFree=1831688/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34980 CPUtime=1361.87 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 4144902 0 0 0 131729 4458 0 0 25 0 1 0 8693556 35819520 7888 1992294400 4194304 8223781 140734824419824 18446744073709551615 6004057 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8745 7888 588 984 0 7758 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 34980 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10101 /proc/meminfo: memFree=1831812/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=1421.86 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 4491159 0 0 0 137472 4714 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 34860 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10103 /proc/meminfo: memFree=1831688/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=35020 CPUtime=1481.84 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 4852623 0 0 0 143206 4978 0 0 25 0 1 0 8693556 35860480 7896 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8755 7896 588 984 0 7768 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 35020 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10105 /proc/meminfo: memFree=1831688/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34916 CPUtime=1541.81 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 5212672 0 0 0 148955 5226 0 0 25 0 1 0 8693556 35753984 7880 1992294400 4194304 8223781 140734824419824 18446744073709551615 6444452 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8729 7880 588 984 0 7742 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 34916 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10105 /proc/meminfo: memFree=1831688/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34976 CPUtime=1601.79 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 5653716 0 0 0 154671 5508 0 0 25 0 1 0 8693556 35815424 7882 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8744 7882 588 984 0 7757 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 34976 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10107 /proc/meminfo: memFree=1831688/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34968 CPUtime=1661.78 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 6125615 0 0 0 160371 5807 0 0 25 0 1 0 8693556 35807232 7886 1992294400 4194304 8223781 140734824419824 18446744073709551615 6454592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8742 7886 588 984 0 7755 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 34968 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10109 /proc/meminfo: memFree=1831564/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=1721.75 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 6520802 0 0 0 166086 6089 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 6606331 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 34860 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10111 /proc/meminfo: memFree=1831316/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34968 CPUtime=1781.74 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 6875998 0 0 0 171828 6346 0 0 25 0 1 0 8693556 35807232 7888 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8742 7888 588 984 0 7755 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 34968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10111 /proc/meminfo: memFree=1831316/2059040 swapFree=4136452/4192956 [pid=10062] ppid=10060 vsize=34860 CPUtime=1800.05 /proc/10062/stat : 10062 (pbscip.linux.x8) R 10060 10062 9226 0 -1 4202496 6981360 0 0 0 173575 6430 0 0 25 0 1 0 8693556 35696640 7878 1992294400 4194304 8223781 140734824419824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10062/statm: 8715 7878 588 984 0 7728 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 34860 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.65 CPU time (s): 1800.09 CPU user time (s): 1735.78 CPU system time (s): 64.3082 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 44924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1735.78 system time used= 64.3082 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6981414 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 3219 runsolver used 2.95755 second user time and 8.5287 second system time The end
Begin job on node001 at 2010-06-12 10:21:35 IDJOB=2667401 IDBENCH=1448 IDSOLVER=1169 FILE ID=node001/2667401-1276330895 PBS_JOBID= 11173164 Free space on /tmp= 62392 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-46s.smv.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667401-1276330895/watcher-2667401-1276330895 -o /tmp/evaluation-result-2667401-1276330895/solver-2667401-1276330895 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667401-1276330895.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3549530e67a18968a913c3e0a7729641 RANDOM SEED=1050685708 node001.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.202 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.202 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1863596 kB Buffers: 14172 kB Cached: 110356 kB SwapCached: 16744 kB Active: 110952 kB Inactive: 33320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1863596 kB SwapTotal: 4192956 kB SwapFree: 4136452 kB Dirty: 4624 kB Writeback: 4 kB AnonPages: 10744 kB Mapped: 9212 kB Slab: 29420 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181088 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62388 MiB End job on node001 at 2010-06-12 10:51:38