Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 | ? (TO) | 1802.07 | 1802.07 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl.opb |
MD5SUM | 70ea01a607f0d01f6199fb93098b84d8 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 77106 |
Total number of constraints | 218779 |
Number of constraints which are clauses | 205559 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13220 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
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 | 129 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 510 |
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 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4] 0.00/0.00 c Copyright (c) 2002-2011 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-3450873-1307074289.opb> 1.49/1.53 c original problem has 77106 variables (77106 bin, 0 int, 0 impl, 0 cont) and 218779 constraints 1.49/1.53 c problem read 1.49/1.53 c No objective function, only one solution is needed. 1.49/1.53 c presolving settings loaded 1.89/1.98 c presolving: 3.48/3.52 c (round 1) 3223 del vars, 4042 del conss, 0 add conss, 1432 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4306962 impls, 0 clqs 3.59/3.61 c (round 2) 3528 del vars, 8830 del conss, 0 add conss, 1625 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307384 impls, 0 clqs 3.59/3.64 c (round 3) 3532 del vars, 9068 del conss, 0 add conss, 1629 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307384 impls, 0 clqs 3.69/3.70 c (round 4) 3686 del vars, 9228 del conss, 0 add conss, 1635 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307694 impls, 0 clqs 3.69/3.75 c (round 5) 3842 del vars, 9689 del conss, 0 add conss, 1644 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307994 impls, 0 clqs 3.79/3.80 c (round 6) 4000 del vars, 10155 del conss, 0 add conss, 1656 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4308326 impls, 0 clqs 3.79/3.85 c (round 7) 4160 del vars, 10625 del conss, 0 add conss, 1669 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4309184 impls, 0 clqs 3.79/3.89 c (round 8) 4187 del vars, 10965 del conss, 0 add conss, 1684 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4310077 impls, 0 clqs 3.89/3.93 c (round 9) 4234 del vars, 11062 del conss, 0 add conss, 1701 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4311931 impls, 0 clqs 3.89/3.97 c (round 10) 4264 del vars, 11176 del conss, 0 add conss, 1724 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4312518 impls, 0 clqs 3.99/4.01 c (round 11) 4318 del vars, 11278 del conss, 0 add conss, 1752 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4313044 impls, 0 clqs 3.99/4.06 c (round 12) 4429 del vars, 11480 del conss, 0 add conss, 1788 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4314522 impls, 0 clqs 4.09/4.10 c (round 13) 4533 del vars, 11796 del conss, 0 add conss, 1823 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4317962 impls, 0 clqs 4.09/4.14 c (round 14) 4575 del vars, 12039 del conss, 0 add conss, 1857 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4318428 impls, 0 clqs 4.09/4.18 c (round 15) 4632 del vars, 12158 del conss, 0 add conss, 1887 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321218 impls, 0 clqs 4.19/4.22 c (round 16) 4661 del vars, 12286 del conss, 0 add conss, 1913 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321458 impls, 0 clqs 4.19/4.26 c (round 17) 4712 del vars, 12384 del conss, 0 add conss, 1939 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321954 impls, 0 clqs 4.29/4.30 c (round 18) 4775 del vars, 12546 del conss, 0 add conss, 1970 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4323036 impls, 0 clqs 4.29/4.34 c (round 19) 4843 del vars, 12728 del conss, 0 add conss, 2001 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325306 impls, 0 clqs 4.29/4.38 c (round 20) 4872 del vars, 12873 del conss, 0 add conss, 2026 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325454 impls, 0 clqs 4.39/4.44 c (round 21) 4914 del vars, 12961 del conss, 0 add conss, 2052 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325596 impls, 0 clqs 4.39/4.48 c (round 22) 4978 del vars, 13101 del conss, 0 add conss, 2083 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325879 impls, 0 clqs 4.49/4.52 c (round 23) 5036 del vars, 13274 del conss, 0 add conss, 2109 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4326795 impls, 0 clqs 4.49/4.56 c (round 24) 5071 del vars, 13411 del conss, 0 add conss, 2135 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4327427 impls, 0 clqs 4.57/4.60 c (round 25) 5142 del vars, 13554 del conss, 0 add conss, 2169 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4328126 impls, 0 clqs 4.57/4.64 c (round 26) 5201 del vars, 13737 del conss, 0 add conss, 2201 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4328702 impls, 0 clqs 4.57/4.68 c (round 27) 5264 del vars, 13935 del conss, 0 add conss, 2242 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329446 impls, 0 clqs 4.67/4.72 c (round 28) 5283 del vars, 14033 del conss, 0 add conss, 2253 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329650 impls, 0 clqs 4.67/4.76 c (round 29) 5295 del vars, 14079 del conss, 0 add conss, 2260 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329990 impls, 0 clqs 4.67/4.79 c (round 30) 5307 del vars, 14115 del conss, 0 add conss, 2265 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330402 impls, 0 clqs 4.77/4.83 c (round 31) 5312 del vars, 14146 del conss, 0 add conss, 2270 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330404 impls, 0 clqs 4.77/4.89 c (round 32) 5322 del vars, 14194 del conss, 0 add conss, 2280 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330470 impls, 0 clqs 4.87/4.93 c (round 33) 5384 del vars, 14238 del conss, 0 add conss, 2287 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4331344 impls, 0 clqs 4.87/4.96 c (round 34) 5395 del vars, 14370 del conss, 0 add conss, 2297 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4331626 impls, 0 clqs 4.97/5.00 c (round 35) 5445 del vars, 14434 del conss, 0 add conss, 2311 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4332625 impls, 0 clqs 4.97/5.04 c (round 36) 5489 del vars, 14572 del conss, 0 add conss, 2327 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333101 impls, 0 clqs 4.97/5.08 c (round 37) 5544 del vars, 14744 del conss, 0 add conss, 2360 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333819 impls, 0 clqs 5.07/5.12 c (round 38) 5561 del vars, 14833 del conss, 0 add conss, 2369 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333983 impls, 0 clqs 5.07/5.16 c (round 39) 5573 del vars, 14875 del conss, 0 add conss, 2376 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334123 impls, 0 clqs 5.07/5.19 c (round 40) 5585 del vars, 14911 del conss, 0 add conss, 2381 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334535 impls, 0 clqs 5.17/5.23 c (round 41) 5590 del vars, 14942 del conss, 0 add conss, 2386 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334537 impls, 0 clqs 5.17/5.29 c (round 42) 5600 del vars, 14990 del conss, 0 add conss, 2396 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334603 impls, 0 clqs 5.27/5.33 c (round 43) 5662 del vars, 15034 del conss, 0 add conss, 2403 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4335481 impls, 0 clqs 5.27/5.36 c (round 44) 5673 del vars, 15166 del conss, 0 add conss, 2413 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4335763 impls, 0 clqs 5.37/5.40 c (round 45) 5722 del vars, 15229 del conss, 0 add conss, 2427 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4337348 impls, 0 clqs 5.37/5.44 c (round 46) 5767 del vars, 15366 del conss, 0 add conss, 2443 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4338388 impls, 0 clqs 5.37/5.48 c (round 47) 5822 del vars, 15540 del conss, 0 add conss, 2476 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339314 impls, 0 clqs 5.47/5.54 c (round 48) 5839 del vars, 15629 del conss, 0 add conss, 2485 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339570 impls, 0 clqs 5.47/5.58 c (round 49) 5851 del vars, 15671 del conss, 0 add conss, 2492 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339716 impls, 0 clqs 5.57/5.62 c (round 50) 5863 del vars, 15707 del conss, 0 add conss, 2497 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340128 impls, 0 clqs 5.57/5.66 c (round 51) 5868 del vars, 15738 del conss, 0 add conss, 2502 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340130 impls, 0 clqs 5.65/5.72 c (round 52) 5878 del vars, 15786 del conss, 0 add conss, 2512 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340196 impls, 0 clqs 5.65/5.77 c (round 53) 5940 del vars, 15830 del conss, 0 add conss, 2519 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341070 impls, 0 clqs 5.75/5.81 c (round 54) 5951 del vars, 15962 del conss, 0 add conss, 2529 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341352 impls, 0 clqs 5.75/5.85 c (round 55) 5974 del vars, 15999 del conss, 0 add conss, 2542 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341396 impls, 0 clqs 5.75/5.89 c (round 56) 6043 del vars, 16107 del conss, 0 add conss, 2558 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4344558 impls, 0 clqs 5.85/5.93 c (round 57) 6098 del vars, 16331 del conss, 0 add conss, 2591 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4345150 impls, 0 clqs 5.85/5.97 c (round 58) 6116 del vars, 16420 del conss, 0 add conss, 2600 chg bounds, 6611 chg sides, 13855 chg coeffs, 0 upgd conss, 4345342 impls, 0 clqs 5.95/6.01 c (round 59) 6131 del vars, 16466 del conss, 0 add conss, 2609 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345496 impls, 0 clqs 5.95/6.05 c (round 60) 6140 del vars, 16516 del conss, 0 add conss, 2618 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345572 impls, 0 clqs 6.05/6.14 c (round 61) 6148 del vars, 16541 del conss, 0 add conss, 2626 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345582 impls, 0 clqs 6.94/7.02 c (round 62) 6154 del vars, 16620 del conss, 0 add conss, 2632 chg bounds, 6612 chg sides, 13856 chg coeffs, 202159 upgd conss, 4345666 impls, 0 clqs 7.35/7.40 c presolving (63 rounds): 7.35/7.40 c 6154 deleted vars, 16620 deleted constraints, 0 added constraints, 2632 tightened bounds, 0 added holes, 6612 changed sides, 13856 changed coefficients 7.35/7.40 c 4345666 implications, 0 cliques 7.35/7.40 c presolved problem has 70952 variables (70952 bin, 0 int, 0 impl, 0 cont) and 202159 constraints 7.35/7.40 c 13220 constraints of type <knapsack> 7.35/7.40 c 126180 constraints of type <setppc> 7.35/7.40 c 62759 constraints of type <logicor> 7.35/7.40 c transformed objective value is always integral (scale: 1) 7.35/7.40 c Presolving Time: 5.55 7.35/7.40 c - non default parameters ---------------------------------------------------------------------- 7.35/7.40 c # SCIP version 2.0.1.5 7.35/7.40 c 7.35/7.40 c # frequency for displaying node information lines 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 100] 7.35/7.40 c display/freq = 10000 7.35/7.40 c 7.35/7.40 c # maximal time in seconds to run 7.35/7.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 7.35/7.40 c limits/time = 1800 7.35/7.40 c 7.35/7.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 7.35/7.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20] 7.35/7.40 c limits/memory = 13950 7.35/7.40 c 7.35/7.40 c # solving stops, if the given number of solutions were found (-1: no limit) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: -1] 7.35/7.40 c limits/solutions = 1 7.35/7.40 c 7.35/7.40 c # maximal number of separation rounds per node (-1: unlimited) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 5] 7.35/7.40 c separating/maxrounds = 1 7.35/7.40 c 7.35/7.40 c # maximal number of separation rounds in the root node (-1: unlimited) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: -1] 7.35/7.40 c separating/maxroundsroot = 5 7.35/7.40 c 7.35/7.40 c # default clock type (1: CPU user seconds, 2: wall clock time) 7.35/7.40 c # [type: int, range: [1,2], default: 1] 7.35/7.40 c timing/clocktype = 2 7.35/7.40 c 7.35/7.40 c # belongs reading time to solving time? 7.35/7.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 7.35/7.40 c timing/reading = TRUE 7.35/7.40 c 7.35/7.40 c # should presolving try to simplify inequalities 7.35/7.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 7.35/7.40 c constraints/linear/simplifyinequalities = TRUE 7.35/7.40 c 7.35/7.40 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true 7.35/7.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 7.35/7.40 c constraints/indicator/addCouplingCons = TRUE 7.35/7.40 c 7.35/7.40 c # should disaggregation of knapsack constraints be allowed in preprocessing? 7.35/7.40 c # [type: bool, range: {TRUE,FALSE}, default: TRUE] 7.35/7.40 c constraints/knapsack/disaggregation = FALSE 7.35/7.40 c 7.35/7.40 c # should presolving try to simplify knapsacks 7.35/7.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE] 7.35/7.40 c constraints/knapsack/simplifyinequalities = TRUE 7.35/7.40 c 7.35/7.40 c # maximal number of presolving rounds the presolver participates in (-1: no limit) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: -1] 7.35/7.40 c presolving/probing/maxrounds = 0 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 10] 7.35/7.40 c heuristics/coefdiving/freq = -1 7.35/7.40 c 7.35/7.40 c # maximal fraction of diving LP iterations compared to node LP iterations 7.35/7.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 7.35/7.40 c heuristics/coefdiving/maxlpiterquot = 0.075 7.35/7.40 c 7.35/7.40 c # additional number of allowed LP iterations 7.35/7.40 c # [type: int, range: [0,2147483647], default: 1000] 7.35/7.40 c heuristics/coefdiving/maxlpiterofs = 1500 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 30] 7.35/7.40 c heuristics/crossover/freq = -1 7.35/7.40 c 7.35/7.40 c # number of nodes added to the contingent of the total nodes 7.35/7.40 c # [type: longint, range: [0,9223372036854775807], default: 500] 7.35/7.40 c heuristics/crossover/nodesofs = 750 7.35/7.40 c 7.35/7.40 c # number of nodes without incumbent change that heuristic should wait 7.35/7.40 c # [type: longint, range: [0,9223372036854775807], default: 200] 7.35/7.40 c heuristics/crossover/nwaitingnodes = 100 7.35/7.40 c 7.35/7.40 c # contingent of sub problem nodes in relation to the number of nodes of the original problem 7.35/7.40 c # [type: real, range: [0,1], default: 0.1] 7.35/7.40 c heuristics/crossover/nodesquot = 0.15 7.35/7.40 c 7.35/7.40 c # minimum percentage of integer variables that have to be fixed 7.35/7.40 c # [type: real, range: [0,1], default: 0.666] 7.35/7.40 c heuristics/crossover/minfixingrate = 0.5 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 20] 7.35/7.40 c heuristics/feaspump/freq = -1 7.35/7.40 c 7.35/7.40 c # additional number of allowed LP iterations 7.35/7.40 c # [type: int, range: [0,2147483647], default: 1000] 7.35/7.40 c heuristics/feaspump/maxlpiterofs = 2000 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 10] 7.35/7.40 c heuristics/fracdiving/freq = -1 7.35/7.40 c 7.35/7.40 c # maximal fraction of diving LP iterations compared to node LP iterations 7.35/7.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 7.35/7.40 c heuristics/fracdiving/maxlpiterquot = 0.075 7.35/7.40 c 7.35/7.40 c # additional number of allowed LP iterations 7.35/7.40 c # [type: int, range: [0,2147483647], default: 1000] 7.35/7.40 c heuristics/fracdiving/maxlpiterofs = 1500 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 10] 7.35/7.40 c heuristics/guideddiving/freq = -1 7.35/7.40 c 7.35/7.40 c # maximal fraction of diving LP iterations compared to node LP iterations 7.35/7.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 7.35/7.40 c heuristics/guideddiving/maxlpiterquot = 0.075 7.35/7.40 c 7.35/7.40 c # additional number of allowed LP iterations 7.35/7.40 c # [type: int, range: [0,2147483647], default: 1000] 7.35/7.40 c heuristics/guideddiving/maxlpiterofs = 1500 7.35/7.40 c 7.35/7.40 c # maximal fraction of diving LP iterations compared to node LP iterations 7.35/7.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 7.35/7.40 c heuristics/intdiving/maxlpiterquot = 0.075 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 10] 7.35/7.40 c heuristics/intshifting/freq = -1 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 10] 7.35/7.40 c heuristics/linesearchdiving/freq = -1 7.35/7.40 c 7.35/7.40 c # maximal fraction of diving LP iterations compared to node LP iterations 7.35/7.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 7.35/7.40 c heuristics/linesearchdiving/maxlpiterquot = 0.075 7.35/7.40 c 7.35/7.40 c # additional number of allowed LP iterations 7.35/7.40 c # [type: int, range: [0,2147483647], default: 1000] 7.35/7.40 c heuristics/linesearchdiving/maxlpiterofs = 1500 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 20] 7.35/7.40 c heuristics/objpscostdiving/freq = -1 7.35/7.40 c 7.35/7.40 c # maximal fraction of diving LP iterations compared to total iteration number 7.35/7.40 c # [type: real, range: [0,1], default: 0.01] 7.35/7.40 c heuristics/objpscostdiving/maxlpiterquot = 0.015 7.35/7.40 c 7.35/7.40 c # additional number of allowed LP iterations 7.35/7.40 c # [type: int, range: [0,2147483647], default: 1000] 7.35/7.40 c heuristics/objpscostdiving/maxlpiterofs = 1500 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 1] 7.35/7.40 c heuristics/oneopt/freq = -1 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 10] 7.35/7.40 c heuristics/pscostdiving/freq = -1 7.35/7.40 c 7.35/7.40 c # maximal fraction of diving LP iterations compared to node LP iterations 7.35/7.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 7.35/7.40 c heuristics/pscostdiving/maxlpiterquot = 0.075 7.35/7.40 c 7.35/7.40 c # additional number of allowed LP iterations 7.35/7.40 c # [type: int, range: [0,2147483647], default: 1000] 7.35/7.40 c heuristics/pscostdiving/maxlpiterofs = 1500 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 0] 7.35/7.40 c heuristics/rens/freq = -1 7.35/7.40 c 7.35/7.40 c # minimum percentage of integer variables that have to be fixable 7.35/7.40 c # [type: real, range: [0,1], default: 0.5] 7.35/7.40 c heuristics/rens/minfixingrate = 0.3 7.35/7.40 c 7.35/7.40 c # number of nodes added to the contingent of the total nodes 7.35/7.40 c # [type: longint, range: [0,9223372036854775807], default: 500] 7.35/7.40 c heuristics/rens/nodesofs = 2000 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 20] 7.35/7.40 c heuristics/rootsoldiving/freq = -1 7.35/7.40 c 7.35/7.40 c # maximal fraction of diving LP iterations compared to node LP iterations 7.35/7.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01] 7.35/7.40 c heuristics/rootsoldiving/maxlpiterquot = 0.015 7.35/7.40 c 7.35/7.40 c # additional number of allowed LP iterations 7.35/7.40 c # [type: int, range: [0,2147483647], default: 1000] 7.35/7.40 c heuristics/rootsoldiving/maxlpiterofs = 1500 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 1] 7.35/7.40 c heuristics/rounding/freq = -1 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 0] 7.35/7.40 c heuristics/shiftandpropagate/freq = -1 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 10] 7.35/7.40 c heuristics/shifting/freq = -1 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 1] 7.35/7.40 c heuristics/simplerounding/freq = -1 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 1] 7.35/7.40 c heuristics/subnlp/freq = -1 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 0] 7.35/7.40 c heuristics/trivial/freq = -1 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 1] 7.35/7.40 c heuristics/trysol/freq = -1 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 0] 7.35/7.40 c heuristics/undercover/freq = -1 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 10] 7.35/7.40 c heuristics/veclendiving/freq = -1 7.35/7.40 c 7.35/7.40 c # maximal fraction of diving LP iterations compared to node LP iterations 7.35/7.40 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05] 7.35/7.40 c heuristics/veclendiving/maxlpiterquot = 0.075 7.35/7.40 c 7.35/7.40 c # additional number of allowed LP iterations 7.35/7.40 c # [type: int, range: [0,2147483647], default: 1000] 7.35/7.40 c heuristics/veclendiving/maxlpiterofs = 1500 7.35/7.40 c 7.35/7.40 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 1] 7.35/7.40 c heuristics/zirounding/freq = -1 7.35/7.40 c 7.35/7.40 c # frequency for calling separator <cmir> (-1: never, 0: only in root node) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 0] 7.35/7.40 c separating/cmir/freq = -1 7.35/7.40 c 7.35/7.40 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: 0] 7.35/7.40 c separating/flowcover/freq = -1 7.35/7.40 c 7.35/7.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node) 7.35/7.40 c # [type: int, range: [-1,2147483647], default: -1] 7.35/7.40 c separating/rapidlearning/freq = 0 7.35/7.40 c 7.35/7.40 c ----------------------------------------------------------------------------------------------- 7.35/7.40 c start solving 7.35/7.42 c 20.14/20.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap 20.14/20.26 c 20.3s| 1 | 0 | 11109 | - | 557M| 0 |7819 | 70k| 202k| 70k| 202k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf 46.74/46.85 c 46.8s| 1 | 0 | 15100 | - | 557M| 0 |9541 | 70k| 202k| 70k| 202k| 221 | 0 | 0 | 0.000000e+00 | -- | Inf 82.14/82.28 c 82.3s| 1 | 0 | 22814 | - | 558M| 0 | 11k| 70k| 202k| 70k| 202k| 419 | 0 | 0 | 0.000000e+00 | -- | Inf 124.04/124.12 c 124s| 1 | 0 | 31937 | - | 558M| 0 | 12k| 70k| 202k| 70k| 202k| 635 | 0 | 0 | 0.000000e+00 | -- | Inf 209.35/209.46 c 209s| 1 | 0 | 46099 | - | 559M| 0 | 13k| 70k| 202k| 70k| 202k| 818 | 0 | 0 | 0.000000e+00 | -- | Inf 456.15/456.23 c 456s| 1 | 0 | 76055 | - | 559M| 0 | 16k| 70k| 202k| 70k| 203k|1008 | 0 | 0 | 0.000000e+00 | -- | Inf 603.26/603.39 c 603s| 1 | 2 | 76055 | - | 559M| 0 | 16k| 70k| 202k| 70k| 203k|1008 | 0 | 33 | 0.000000e+00 | -- | Inf
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450873-1307074289/watcher-3450873-1307074289 -o /tmp/evaluation-result-3450873-1307074289/solver-3450873-1307074289 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450873-1307074289.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.51 3.16 2/575 21147 /proc/meminfo: memFree=22801164/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=14344 CPUtime=0.01 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 2554 0 0 0 1 0 0 0 25 0 1 0 819026621 14688256 2507 33554432000 4194304 9163163 140733767556256 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21147/statm: 3586 2507 392 1214 0 2368 0 [startup+0.117877 s] /proc/loadavg: 2.12 2.51 3.16 2/575 21147 /proc/meminfo: memFree=22801164/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=25964 CPUtime=0.11 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 5469 0 0 0 11 0 0 0 25 0 1 0 819026621 26587136 5422 33554432000 4194304 9163163 140733767556256 18446744073709551615 4449592 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21147/statm: 6491 5422 392 1214 0 5273 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 25964 [startup+0.200864 s] /proc/loadavg: 2.12 2.51 3.16 2/575 21147 /proc/meminfo: memFree=22801164/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=34020 CPUtime=0.19 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 7491 0 0 0 19 0 0 0 25 0 1 0 819026621 34836480 7444 33554432000 4194304 9163163 140733767556256 18446744073709551615 4337779 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21147/statm: 8505 7444 392 1214 0 7287 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 34020 [startup+0.300816 s] /proc/loadavg: 2.12 2.51 3.16 2/575 21147 /proc/meminfo: memFree=22801164/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=44184 CPUtime=0.29 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 10025 0 0 0 29 0 0 0 25 0 1 0 819026621 45244416 9978 33554432000 4194304 9163163 140733767556256 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21147/statm: 11046 9978 392 1214 0 9828 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 44184 [startup+0.700771 s] /proc/loadavg: 2.12 2.51 3.16 2/575 21147 /proc/meminfo: memFree=22801164/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=83000 CPUtime=0.69 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 19549 0 0 0 67 2 0 0 25 0 1 0 819026621 84992000 19503 33554432000 4194304 9163163 140733767556256 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21147/statm: 20750 19537 392 1214 0 19532 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 83000 [startup+1.50063 s] /proc/loadavg: 2.12 2.51 3.16 3/576 21148 /proc/meminfo: memFree=22684968/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=150224 CPUtime=1.49 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 36517 0 0 0 146 3 0 0 25 0 1 0 819026621 153829376 36470 33554432000 4194304 9163163 140733767556256 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/21147/statm: 37556 36470 392 1214 0 36338 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 150224 [startup+3.10033 s] /proc/loadavg: 2.12 2.51 3.16 3/576 21148 /proc/meminfo: memFree=22417992/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=499844 CPUtime=3.09 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 121122 0 0 0 295 14 0 0 25 0 1 0 819026621 511840256 121047 33554432000 4194304 9163163 140733767556256 18446744073709551615 4832655 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/21147/statm: 124961 121047 514 1214 0 123743 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 499844 [startup+6.30073 s] /proc/loadavg: 2.19 2.51 3.16 3/576 21148 /proc/meminfo: memFree=22296984/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=546576 CPUtime=6.24 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 133178 0 0 0 609 15 0 0 25 0 1 0 819026621 559693824 132846 33554432000 4194304 9163163 140733767556256 18446744073709551615 4337765 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 136644 132846 518 1214 0 135426 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 546576 [startup+12.7006 s] /proc/loadavg: 2.18 2.51 3.16 3/576 21148 /proc/meminfo: memFree=21917332/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=935924 CPUtime=12.64 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 250906 0 0 0 1235 29 0 0 25 0 1 0 819026621 958386176 221169 33554432000 4194304 9163163 140733767556256 18446744073709551615 7379350 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 233981 221169 1134 1214 0 232763 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 935924 [startup+25.5013 s] /proc/loadavg: 2.21 2.50 3.14 3/576 21149 /proc/meminfo: memFree=21879872/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=965372 CPUtime=25.44 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 260222 0 0 0 2513 31 0 0 25 0 1 0 819026621 988540928 230158 33554432000 4194304 9163163 140733767556256 18446744073709551615 7051532 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 241343 230158 1110 1214 0 240125 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 965372 [startup+51.1006 s] /proc/loadavg: 2.14 2.45 3.11 3/576 21149 /proc/meminfo: memFree=21867984/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=965372 CPUtime=51.04 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 263322 0 0 0 5071 33 0 0 25 0 1 0 819026621 988540928 232610 33554432000 4194304 9163163 140733767556256 18446744073709551615 8045774 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 241343 232610 853 1214 0 240125 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 965372 [startup+102.301 s] /proc/loadavg: 2.06 2.38 3.05 3/576 21151 /proc/meminfo: memFree=21840676/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=967320 CPUtime=102.26 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 266528 0 0 0 10188 38 0 0 25 0 1 0 819026621 990535680 235816 33554432000 4194304 9163163 140733767556256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 241830 235816 853 1214 0 240612 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 967320 [startup+162.3 s] /proc/loadavg: 2.02 2.31 2.98 3/576 21152 /proc/meminfo: memFree=21831828/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=975736 CPUtime=162.25 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 267897 0 0 0 16183 42 0 0 25 0 1 0 819026621 999153664 237184 33554432000 4194304 9163163 140733767556256 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 243934 237184 852 1214 0 242716 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 975736 [startup+222.322 s] /proc/loadavg: 2.00 2.25 2.92 3/576 21154 /proc/meminfo: memFree=21824980/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=978780 CPUtime=222.26 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 269430 0 0 0 22181 45 0 0 25 0 1 0 819026621 1002270720 238717 33554432000 4194304 9163163 140733767556256 18446744073709551615 6611619 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 244695 238717 852 1214 0 243477 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 978780 [startup+282.3 s] /proc/loadavg: 2.00 2.20 2.86 3/576 21156 /proc/meminfo: memFree=21807812/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=991484 CPUtime=282.25 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 273837 0 0 0 28175 50 0 0 25 0 1 0 819026621 1015279616 243122 33554432000 4194304 9163163 140733767556256 18446744073709551615 7348388 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 247871 243122 1073 1214 0 246653 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 991484 [startup+342.301 s] /proc/loadavg: 2.00 2.16 2.80 3/576 21157 /proc/meminfo: memFree=21801080/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=991484 CPUtime=342.25 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 273943 0 0 0 34172 53 0 0 25 0 1 0 819026621 1015279616 243122 33554432000 4194304 9163163 140733767556256 18446744073709551615 7349027 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 247871 243122 967 1214 0 246653 0 Current children cumulated CPU time (s) 342.25 Current children cumulated vsize (KiB) 991484 [startup+402.301 s] /proc/loadavg: 2.00 2.13 2.75 3/576 21159 /proc/meminfo: memFree=21800912/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=991484 CPUtime=402.25 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 273967 0 0 0 40170 55 0 0 25 0 1 0 819026621 1015279616 243122 33554432000 4194304 9163163 140733767556256 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 247871 243122 943 1214 0 246653 0 Current children cumulated CPU time (s) 402.25 Current children cumulated vsize (KiB) 991484 [startup+462.301 s] /proc/loadavg: 2.00 2.10 2.70 3/576 21160 /proc/meminfo: memFree=21800372/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=991484 CPUtime=462.26 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 274001 0 0 0 46168 58 0 0 25 0 1 0 819026621 1015279616 243124 33554432000 4194304 9163163 140733767556256 18446744073709551615 7110322 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 247871 243124 913 1214 0 246653 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 991484 [startup+522.301 s] /proc/loadavg: 2.08 2.11 2.66 3/576 21162 /proc/meminfo: memFree=21798232/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=997836 CPUtime=522.25 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 274093 0 0 0 52162 63 0 0 25 0 1 0 819026621 1021784064 243156 33554432000 4194304 9163163 140733767556256 18446744073709551615 7348401 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 249459 243156 853 1214 0 248241 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 997836 [startup+582.301 s] /proc/loadavg: 2.21 2.15 2.64 3/576 21164 /proc/meminfo: memFree=21795840/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=997836 CPUtime=582.26 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 274093 0 0 0 58158 68 0 0 25 0 1 0 819026621 1021784064 243156 33554432000 4194304 9163163 140733767556256 18446744073709551615 7311832 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 249459 243156 853 1214 0 248241 0 Current children cumulated CPU time (s) 582.26 Current children cumulated vsize (KiB) 997836 [startup+642.301 s] ################ # More data... # ################ /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 274151 0 0 0 106129 99 0 0 25 0 1 0 819026621 1021784064 243210 33554432000 4194304 9163163 140733767556256 18446744073709551615 7348249 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 249459 243210 852 1214 0 248241 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 997836 [startup+1122.3 s] /proc/loadavg: 2.22 2.11 2.37 3/576 21178 /proc/meminfo: memFree=21772276/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=997836 CPUtime=1122.28 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 274156 0 0 0 112125 103 0 0 25 0 1 0 819026621 1021784064 243210 33554432000 4194304 9163163 140733767556256 18446744073709551615 7317276 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 249459 243210 847 1214 0 248241 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 997836 [startup+1182.3 s] /proc/loadavg: 2.12 2.10 2.35 3/576 21180 /proc/meminfo: memFree=21758236/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1001532 CPUtime=1182.28 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 276634 0 0 0 118122 106 0 0 25 0 1 0 819026621 1025568768 245688 33554432000 4194304 9163163 140733767556256 18446744073709551615 7347613 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 250383 245688 847 1214 0 249165 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 1001532 [startup+1242.3 s] /proc/loadavg: 2.04 2.08 2.33 3/576 21181 /proc/meminfo: memFree=21751252/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1001532 CPUtime=1242.28 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 276636 0 0 0 124120 108 0 0 25 0 1 0 819026621 1025568768 245690 33554432000 4194304 9163163 140733767556256 18446744073709551615 7348663 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 250383 245690 847 1214 0 249165 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 1001532 [startup+1302.3 s] /proc/loadavg: 2.01 2.06 2.30 3/576 21183 /proc/meminfo: memFree=21753440/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1004160 CPUtime=1302.28 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 276664 0 0 0 130118 110 0 0 25 0 1 0 819026621 1028259840 245718 33554432000 4194304 9163163 140733767556256 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 251040 245718 867 1214 0 249822 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 1004160 [startup+1362.3 s] /proc/loadavg: 2.00 2.05 2.28 3/576 21184 /proc/meminfo: memFree=21752144/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1010500 CPUtime=1362.28 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277096 0 0 0 136114 114 0 0 25 0 1 0 819026621 1034752000 246130 33554432000 4194304 9163163 140733767556256 18446744073709551615 6974030 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 252625 246130 847 1214 0 251407 0 Current children cumulated CPU time (s) 1362.28 Current children cumulated vsize (KiB) 1010500 [startup+1422.3 s] /proc/loadavg: 2.00 2.04 2.26 3/576 21186 /proc/meminfo: memFree=21751348/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1010500 CPUtime=1422.29 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277106 0 0 0 142112 117 0 0 25 0 1 0 819026621 1034752000 246140 33554432000 4194304 9163163 140733767556256 18446744073709551615 7224050 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 252625 246140 847 1214 0 251407 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 1010500 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.24 3/576 21188 /proc/meminfo: memFree=21750424/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1010500 CPUtime=1482.28 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277151 0 0 0 148107 121 0 0 25 0 1 0 819026621 1034752000 246185 33554432000 4194304 9163163 140733767556256 18446744073709551615 7317354 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 252625 246185 847 1214 0 251407 0 Current children cumulated CPU time (s) 1482.28 Current children cumulated vsize (KiB) 1010500 [startup+1542.32 s] /proc/loadavg: 2.00 2.02 2.22 3/576 21189 /proc/meminfo: memFree=21750884/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1010500 CPUtime=1542.31 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277151 0 0 0 154107 124 0 0 25 0 1 0 819026621 1034752000 246185 33554432000 4194304 9163163 140733767556256 18446744073709551615 7376046 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 252625 246185 847 1214 0 251407 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 1010500 [startup+1602.3 s] /proc/loadavg: 2.28 2.09 2.23 3/576 21191 /proc/meminfo: memFree=21750576/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1010500 CPUtime=1602.28 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277168 0 0 0 160101 127 0 0 25 0 1 0 819026621 1034752000 246202 33554432000 4194304 9163163 140733767556256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 252625 246202 847 1214 0 251407 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 1010500 [startup+1662.3 s] /proc/loadavg: 2.30 2.12 2.23 3/576 21192 /proc/meminfo: memFree=21750048/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1010500 CPUtime=1662.29 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277180 0 0 0 166098 131 0 0 25 0 1 0 819026621 1034752000 246214 33554432000 4194304 9163163 140733767556256 18446744073709551615 7414054 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 252625 246214 847 1214 0 251407 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 1010500 [startup+1722.3 s] /proc/loadavg: 2.11 2.10 2.21 3/576 21194 /proc/meminfo: memFree=21747760/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1010500 CPUtime=1722.29 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277185 0 0 0 172095 134 0 0 25 0 1 0 819026621 1034752000 246219 33554432000 4194304 9163163 140733767556256 18446744073709551615 7110302 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 252625 246219 847 1214 0 251407 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 1010500 [startup+1782.3 s] /proc/loadavg: 2.11 2.09 2.20 3/576 21278 /proc/meminfo: memFree=22534612/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1010500 CPUtime=1782.3 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277186 0 0 0 178092 138 0 0 25 0 1 0 819026621 1034752000 246220 33554432000 4194304 9163163 140733767556256 18446744073709551615 7115019 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 252625 246220 847 1214 0 251407 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 1010500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.08 2.09 2.20 3/576 21278 /proc/meminfo: memFree=22503080/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1010500 CPUtime=1800.01 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277204 0 0 0 179862 139 0 0 25 0 1 0 819026621 1034752000 246238 33554432000 4194304 9163163 140733767556256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 252625 246238 847 1214 0 251407 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1010500 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -21147 Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.08 2.09 2.20 3/577 21279 /proc/meminfo: memFree=22503072/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1010500 CPUtime=1800.71 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277204 0 0 0 179932 139 0 0 25 0 1 0 819026621 1034752000 246238 33554432000 4194304 9163163 140733767556256 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 252625 246238 847 1214 0 251407 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (KiB) 1010500 [startup+1801.5 s] /proc/loadavg: 2.08 2.09 2.20 3/577 21279 /proc/meminfo: memFree=22503072/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1010500 CPUtime=1801.5 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277204 0 0 0 180011 139 0 0 25 0 1 0 819026621 1034752000 246238 33554432000 4194304 9163163 140733767556256 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 252625 246238 847 1214 0 251407 0 Current children cumulated CPU time (s) 1801.5 Current children cumulated vsize (KiB) 1010500 [startup+1801.92 s] /proc/loadavg: 2.08 2.09 2.20 3/577 21279 /proc/meminfo: memFree=22503180/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1010500 CPUtime=1801.92 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277204 0 0 0 180053 139 0 0 25 0 1 0 819026621 1034752000 246238 33554432000 4194304 9163163 140733767556256 18446744073709551615 6974878 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 252625 246238 847 1214 0 251407 0 Current children cumulated CPU time (s) 1801.92 Current children cumulated vsize (KiB) 1010500 [startup+1802 s] /proc/loadavg: 2.08 2.09 2.20 3/577 21279 /proc/meminfo: memFree=22503180/32951124 swapFree=58940260/67111528 [pid=21147] ppid=21145 vsize=1010500 CPUtime=1802 cores=0,2,4,6 /proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277204 0 0 0 180061 139 0 0 25 0 1 0 819026621 1034752000 246238 33554432000 4194304 9163163 140733767556256 18446744073709551615 7317276 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/21147/statm: 252625 246238 847 1214 0 251407 0 Current children cumulated CPU time (s) 1802 Current children cumulated vsize (KiB) 1010500 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.07 CPU time (s): 1802.07 CPU user time (s): 1800.64 CPU system time (s): 1.43878 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 1010500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.64 system time used= 1.43878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277204 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= 3879 runsolver used 10.8514 second user time and 23.5944 second system time The end
Begin job on node139 at 2011-06-03 06:11:29 IDJOB=3450873 IDBENCH=1481 IDSOLVER=1948 FILE ID=node139/3450873-1307074289 RUNJOBID= node139-1307074241-21094 PBS_JOBID= 13497847 Free space on /tmp= 73440 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450873-1307074289/watcher-3450873-1307074289 -o /tmp/evaluation-result-3450873-1307074289/solver-3450873-1307074289 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450873-1307074289.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 70ea01a607f0d01f6199fb93098b84d8 RANDOM SEED=244554137 node139.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5321.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 22801320 kB Buffers: 223852 kB Cached: 584648 kB SwapCached: 3628 kB Active: 9369204 kB Inactive: 476308 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22801320 kB SwapTotal: 67111528 kB SwapFree: 58940260 kB Dirty: 19824 kB Writeback: 0 kB AnonPages: 9035344 kB Mapped: 35832 kB Slab: 152208 kB PageTables: 80320 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 171756904 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73432 MiB End job on node139 at 2011-06-03 06:41:31