Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.09 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb |
MD5SUM | 99a4e5b0ce7b98bffc278cf1f6704eb9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
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 | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 14265 |
Total number of constraints | 290 |
Number of constraints which are clauses | 27 |
Number of constraints which are cardinality constraints (but not clauses) | 5 |
Number of constraints which are nor clauses,nor cardinality constraints | 258 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 14235 |
Biggest coefficient in the objective function | 5488 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 535829 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 535829 |
Number of bits of the biggest sum of numbers | 20 |
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 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.30 c Initial problem consists of 14265 variables and 368 constraints. 0.33 c No problem reductions applied in OPT. instance. 0.33 c preprocess terminated. Elapsed time: 0.332 0.33 c After prepocess the problem consists of 10224 variables and 368 constraints. 0.33 c Initial Lower Bound: 0 0.56 c Restart #1 #Var: 10224 LB: 0 @ 0.56 0.98 c Restart #2 #Var: 10224 LB: 0 @ 0.982 1.64 c Restart #3 #Var: 10224 LB: 0 @ 1.636 2.44 c Restart #4 #Var: 10224 LB: 0 @ 2.435 3.26 c Restart #5 #Var: 10224 LB: 0 @ 3.26 4.54 c Restart #6 #Var: 10224 LB: 0 @ 4.537 6.18 c Restart #7 #Var: 10224 LB: 0 @ 6.181 9.18 c Restart #8 #Var: 10224 LB: 0 @ 9.18 9.65 c Restart #9 #Var: 10224 LB: 0 @ 9.646 10.29 c Restart #10 #Var: 10224 LB: 0 @ 10.282 10.97 c Restart #11 #Var: 10224 LB: 0 @ 10.969 11.69 c Restart #12 #Var: 10224 LB: 0 @ 11.685 12.45 c Restart #13 #Var: 10224 LB: 0 @ 12.446 13.16 c Restart #14 #Var: 10224 LB: 0 @ 13.157 14.07 c Restart #15 #Var: 10224 LB: 0 @ 14.066 15.05 c Restart #16 #Var: 10224 LB: 0 @ 15.044 16.24 c Restart #17 #Var: 10224 LB: 0 @ 16.235 17.48 c Restart #18 #Var: 10224 LB: 0 @ 17.477 18.85 c Restart #19 #Var: 10224 LB: 0 @ 18.845 20.44 c Restart #20 #Var: 10224 LB: 0 @ 20.428 21.75 c Restart #21 #Var: 10224 LB: 0 @ 21.737 23.13 c Restart #22 #Var: 10224 LB: 0 @ 23.122 24.98 c Restart #23 #Var: 10224 LB: 0 @ 24.974 26.95 c Restart #24 #Var: 10224 LB: 0 @ 26.934 29.81 c Restart #25 #Var: 10224 LB: 0 @ 29.799 31.82 c Restart #26 #Var: 10224 LB: 0 @ 31.806 33.60 c Restart #27 #Var: 10224 LB: 0 @ 33.582 37.15 c Restart #28 #Var: 10224 LB: 0 @ 37.139 41.04 c Restart #29 #Var: 10224 LB: 0 @ 41.027 43.49 c Restart #30 #Var: 10224 LB: 0 @ 43.472 46.19 c Restart #31 #Var: 10224 LB: 0 @ 46.176 49.47 c Restart #32 #Var: 10224 LB: 0 @ 49.447 53.28 c Restart #33 #Var: 10224 LB: 0 @ 53.264 56.09 c Restart #34 #Var: 10224 LB: 0 @ 56.073 59.48 c Restart #35 #Var: 10224 LB: 0 @ 59.462 62.55 c Restart #36 #Var: 10224 LB: 0 @ 62.529 64.77 c Restart #37 #Var: 10224 LB: 0 @ 64.745 69.38 c Restart #38 #Var: 10224 LB: 0 @ 69.355 71.80 c Restart #39 #Var: 10224 LB: 0 @ 71.773 76.16 c Restart #40 #Var: 10224 LB: 0 @ 76.126 79.05 c Restart #41 #Var: 10224 LB: 0 @ 79.025 84.71 c Restart #42 #Var: 10224 LB: 0 @ 84.675 88.38 c Restart #43 #Var: 10224 LB: 0 @ 88.349 91.16 c Restart #44 #Var: 10224 LB: 0 @ 91.126 97.27 c Restart #45 #Var: 10224 LB: 0 @ 97.235 101.80 c Restart #46 #Var: 10224 LB: 0 @ 101.76 104.63 c Restart #47 #Var: 10224 LB: 0 @ 104.59 109.13 c Restart #48 #Var: 10224 LB: 0 @ 109.09 114.05 c Restart #49 #Var: 10224 LB: 0 @ 114.01 119.17 c Restart #50 #Var: 10224 LB: 0 @ 119.13 123.33 c Restart #51 #Var: 10224 LB: 0 @ 123.28 128.64 c Restart #52 #Var: 10224 LB: 0 @ 128.59 133.96 c Restart #53 #Var: 10224 LB: 0 @ 133.91 137.57 c Restart #54 #Var: 10224 LB: 0 @ 137.52 142.60 c Restart #55 #Var: 10224 LB: 0 @ 142.54 149.43 c Restart #56 #Var: 10224 LB: 0 @ 149.38 152.61 c Restart #57 #Var: 10224 LB: 0 @ 152.55 162.72 c Restart #58 #Var: 10224 LB: 0 @ 162.66 171.34 c Restart #59 #Var: 10224 LB: 0 @ 171.28 176.00 c Restart #60 #Var: 10224 LB: 0 @ 175.93 184.96 c Restart #61 #Var: 10224 LB: 0 @ 184.89 189.25 c Restart #62 #Var: 10224 LB: 0 @ 189.18 201.23 c Restart #63 #Var: 10224 LB: 0 @ 201.15 211.28 c Restart #64 #Var: 10224 LB: 0 @ 211.2 225.05 c Restart #65 #Var: 10224 LB: 0 @ 224.96 232.20 c Restart #66 #Var: 10224 LB: 0 @ 232.12 250.27 c Restart #67 #Var: 10224 LB: 0 @ 250.17 259.99 c Restart #68 #Var: 10224 LB: 0 @ 259.89 272.08 c Restart #69 #Var: 10224 LB: 0 @ 271.98 282.80 c Restart #70 #Var: 10224 LB: 0 @ 282.69 292.92 c Restart #71 #Var: 10224 LB: 0 @ 292.81 303.03 c Restart #72 #Var: 10224 LB: 0 @ 302.91 315.01 c Restart #73 #Var: 10224 LB: 0 @ 314.89 322.45 c Restart #74 #Var: 10224 LB: 0 @ 322.33 347.84 c Restart #75 #Var: 10224 LB: 0 @ 347.71 355.65 c Restart #76 #Var: 10224 LB: 0 @ 355.52 365.43 c Restart #77 #Var: 10224 LB: 0 @ 365.3 378.86 c Restart #78 #Var: 10224 LB: 0 @ 378.72 398.76 c Restart #79 #Var: 10224 LB: 0 @ 398.61 408.33 c Restart #80 #Var: 10224 LB: 0 @ 408.17 449.72 c Restart #81 #Var: 10224 LB: 0 @ 449.55 456.46 c Restart #82 #Var: 10224 LB: 0 @ 456.29 468.02 c Restart #83 #Var: 10224 LB: 0 @ 467.85 478.00 c Restart #84 #Var: 10224 LB: 0 @ 477.82 503.40 c Restart #85 #Var: 10224 LB: 0 @ 503.21 514.60 c Restart #86 #Var: 10224 LB: 0 @ 514.4 549.88 c Restart #87 #Var: 10224 LB: 0 @ 549.67 558.49 c Restart #88 #Var: 10224 LB: 0 @ 558.28 575.84 c Restart #89 #Var: 10224 LB: 0 @ 575.63 582.33 c Restart #90 #Var: 10224 LB: 0 @ 582.11 607.84 c Restart #91 #Var: 10224 LB: 0 @ 607.62 621.07 c Restart #92 #Var: 10224 LB: 0 @ 620.83 630.82 c Restart #93 #Var: 10224 LB: 0 @ 630.58 649.28 c Restart #94 #Var: 10224 LB: 0 @ 649.03 659.67 c Restart #95 #Var: 10224 LB: 0 @ 659.42 678.36 c Restart #96 #Var: 10224 LB: 0 @ 678.11 696.28 c Restart #97 #Var: 10224 LB: 0 @ 696.02 778.48 c Restart #98 #Var: 10224 LB: 0 @ 778.19 785.10 c Restart #99 #Var: 10224 LB: 0 @ 784.81 808.90 c Restart #100 #Var: 10224 LB: 0 @ 808.59 839.62 c Restart #101 #Var: 10224 LB: 0 @ 839.31 863.08 c Restart #102 #Var: 10224 LB: 0 @ 862.75 918.40 c CHANGE Heuristic... 918.40 c Restart #0 #Var: 10224 LB: 0 @ 918.05 918.43 c Restart #1 #Var: 10221 LB: 0 @ 918.09 920.50 c Restart #2 #Var: 10221 LB: 0 @ 920.15 920.60 c Restart #3 #Var: 10221 LB: 0 @ 920.26 922.26 c Restart #4 #Var: 10218 LB: 0 @ 921.92 925.01 c Restart #5 #Var: 10215 LB: 0 @ 924.66 925.25 c Restart #6 #Var: 10214 LB: 0 @ 924.9 929.91 c Restart #7 #Var: 10207 LB: 0 @ 929.56 930.57 c Restart #8 #Var: 10207 LB: 0 @ 930.22 936.60 c Restart #9 #Var: 10201 LB: 0 @ 936.25 936.83 c Restart #10 #Var: 10200 LB: 0 @ 936.47 943.35 c Restart #11 #Var: 10199 LB: 0 @ 943 945.74 c Restart #12 #Var: 10199 LB: 0 @ 945.39 962.05 c Restart #13 #Var: 10199 LB: 0 @ 961.69 969.53 c Restart #14 #Var: 10198 LB: 0 @ 969.16 971.40 c Restart #15 #Var: 10198 LB: 0 @ 971.03 975.50 c Restart #16 #Var: 10197 LB: 0 @ 975.13 981.11 c Restart #17 #Var: 10197 LB: 0 @ 980.74 996.41 c Restart #18 #Var: 10196 LB: 0 @ 996.04 1007.02 c Restart #19 #Var: 10196 LB: 0 @ 1006.6 1009.50 c Restart #20 #Var: 10196 LB: 0 @ 1009.1 1011.36 c Restart #21 #Var: 10196 LB: 0 @ 1011 1012.50 c Restart #22 #Var: 10196 LB: 0 @ 1012.1 1013.49 c Restart #23 #Var: 10195 LB: 0 @ 1013.1 1015.46 c Restart #24 #Var: 10195 LB: 0 @ 1015.1 1017.64 c Restart #25 #Var: 10194 LB: 0 @ 1017.3 1035.65 c Restart #26 #Var: 10194 LB: 0 @ 1035.3 1040.97 c Restart #27 #Var: 10194 LB: 0 @ 1040.6 1043.91 c Restart #28 #Var: 10194 LB: 0 @ 1043.5 1045.96 c Restart #29 #Var: 10194 LB: 0 @ 1045.6 1047.40 c Restart #30 #Var: 10194 LB: 0 @ 1047 1049.65 c Restart #31 #Var: 10194 LB: 0 @ 1049.3 1050.32 c Restart #32 #Var: 10194 LB: 0 @ 1049.9 1065.50 c Restart #33 #Var: 10194 LB: 0 @ 1065.1 1066.76 c Restart #34 #Var: 10193 LB: 0 @ 1066.4 1069.75 c Restart #35 #Var: 10193 LB: 0 @ 1069.3 1075.43 c Restart #36 #Var: 10193 LB: 0 @ 1075 1078.07 c Restart #37 #Var: 10193 LB: 0 @ 1077.7 1079.03 c Restart #38 #Var: 10193 LB: 0 @ 1078.6 1080.80 c Restart #39 #Var: 10193 LB: 0 @ 1080.4 1082.22 c Restart #40 #Var: 10193 LB: 0 @ 1081.8 1083.14 c Restart #41 #Var: 10193 LB: 0 @ 1082.7 1088.75 c Restart #42 #Var: 10193 LB: 0 @ 1088.3 1102.02 c Restart #43 #Var: 10193 LB: 0 @ 1101.6 1105.43 c Restart #44 #Var: 10193 LB: 0 @ 1105 1148.42 c Restart #45 #Var: 10192 LB: 0 @ 1148 1151.43 c Restart #46 #Var: 10191 LB: 0 @ 1151 1366.18 c Restart #47 #Var: 10191 LB: 0 @ 1365.7 1369.40 c Restart #48 #Var: 10191 LB: 0 @ 1368.9 1375.22 c Restart #49 #Var: 10191 LB: 0 @ 1374.7 1384.16 c Restart #50 #Var: 10191 LB: 0 @ 1383.6 1401.56 c Restart #51 #Var: 10190 LB: 0 @ 1401 1409.44 c Restart #52 #Var: 10190 LB: 0 @ 1408.9 1411.96 c Restart #53 #Var: 10190 LB: 0 @ 1411.4 1466.09 c Restart #54 #Var: 10190 LB: 0 @ 1465.5 1528.36 c Restart #55 #Var: 10190 LB: 0 @ 1527.8 1698.63 c Restart #56 #Var: 10190 LB: 0 @ 1698 1748.37 c Restart #57 #Var: 10189 LB: 0 @ 1747.7 1753.05 c Restart #58 #Var: 10188 LB: 0 @ 1752.4 1800.68 s UNKNOWN 1800.68 c Exit Code: 0 1800.68 c Total time: 1800 s
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node75/watcher-40006-1149351492 -o ROOT/results/node75/solver-40006-1149351492 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/40006-1149351492/instance-40006-1149351492.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.92 2/64 26908 /proc/meminfo: memFree=1806256/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=4932 CPUtime=0 /proc/26908/stat : 26908 (bsolo) D 26906 26908 26862 0 -1 0 369 0 0 0 0 0 0 0 19 0 1 0 200812593 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099855350 0 0 17 0 0 0 /proc/26908/statm: 1233 331 227 55 0 125 0 [startup+10.0031 s] /proc/loadavg: 0.93 0.95 0.92 2/64 26908 /proc/meminfo: memFree=1788992/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=22220 CPUtime=10 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 4718 0 0 0 970 30 0 0 25 0 1 0 200812593 22753280 4633 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26908/statm: 5555 4633 297 55 0 4447 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 22220 [startup+20.0101 s] /proc/loadavg: 0.94 0.96 0.92 2/64 26908 /proc/meminfo: memFree=1776192/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=35124 CPUtime=20 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 7935 0 0 0 1953 47 0 0 25 0 1 0 200812593 35966976 7850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524446 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 8781 7850 297 55 0 7673 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 35124 [startup+30.0169 s] /proc/loadavg: 0.95 0.96 0.92 2/64 26908 /proc/meminfo: memFree=1770240/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=41100 CPUtime=30 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 9420 0 0 0 2944 56 0 0 25 0 1 0 200812593 42086400 9335 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 10275 9335 297 55 0 9167 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 41100 [startup+40.023 s] /proc/loadavg: 0.95 0.96 0.92 2/64 26908 /proc/meminfo: memFree=1763840/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=47468 CPUtime=40 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 11032 0 0 0 3937 63 0 0 25 0 1 0 200812593 48607232 10932 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 11867 10932 297 55 0 10759 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 47468 [startup+50.0299 s] /proc/loadavg: 0.96 0.96 0.92 2/64 26908 /proc/meminfo: memFree=1760832/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=50432 CPUtime=50 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 11777 0 0 0 4932 68 0 0 25 0 1 0 200812593 51642368 11677 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534813 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 12608 11677 297 55 0 11500 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 50432 [startup+60.0359 s] /proc/loadavg: 0.97 0.96 0.92 2/64 26908 /proc/meminfo: memFree=1752704/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=58456 CPUtime=60 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 13802 0 0 0 5923 77 0 0 25 0 1 0 200812593 59858944 13702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 14614 13702 297 55 0 13506 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 58456 [startup+70.0419 s] /proc/loadavg: 0.97 0.96 0.92 2/64 26908 /proc/meminfo: memFree=1750784/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=60436 CPUtime=70.01 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 14269 0 0 0 6920 81 0 0 25 0 1 0 200812593 61886464 14169 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 15109 14169 297 55 0 14001 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 60436 [startup+80.0479 s] /proc/loadavg: 0.98 0.96 0.92 2/64 26908 /proc/meminfo: memFree=1747136/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=63996 CPUtime=80 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 15253 0 0 0 7913 87 0 0 25 0 1 0 200812593 65531904 15077 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 15999 15077 297 55 0 14891 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 63996 [startup+90.0539 s] /proc/loadavg: 0.98 0.96 0.92 2/64 26908 /proc/meminfo: memFree=1743360/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=67832 CPUtime=90.01 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 16259 0 0 0 8908 93 0 0 25 0 1 0 200812593 69459968 16026 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 16958 16026 297 55 0 15850 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 67832 [startup+100.06 s] /proc/loadavg: 0.98 0.96 0.92 2/64 26908 /proc/meminfo: memFree=1740864/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=70252 CPUtime=100.02 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 16916 0 0 0 9902 100 0 0 25 0 1 0 200812593 71938048 16649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 17563 16649 297 55 0 16455 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 70252 [startup+110.066 s] /proc/loadavg: 0.98 0.96 0.92 2/64 26908 /proc/meminfo: memFree=1734400/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=76708 CPUtime=110.02 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 18526 0 0 0 10898 104 0 0 25 0 1 0 200812593 78548992 18259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 19177 18259 297 55 0 18069 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 76708 [startup+120.072 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26908 /proc/meminfo: memFree=1732160/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=79052 CPUtime=120.01 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 19104 0 0 0 11894 107 0 0 25 0 1 0 200812593 80949248 18819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 19763 18819 297 55 0 18655 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 79052 [startup+130.078 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26908 /proc/meminfo: memFree=1728960/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=82168 CPUtime=130.02 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 20042 0 0 0 12888 114 0 0 25 0 1 0 200812593 84140032 19614 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551564 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 20542 19614 297 55 0 19434 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 82168 [startup+140.084 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26908 /proc/meminfo: memFree=1720704/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=90476 CPUtime=140.02 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 22128 0 0 0 13879 123 0 0 25 0 1 0 200812593 92647424 21675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 22619 21675 297 55 0 21511 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 90476 [startup+150.09 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26908 /proc/meminfo: memFree=1715776/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=95240 CPUtime=150.02 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 23371 0 0 0 14872 130 0 0 25 0 1 0 200812593 97525760 22892 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 23810 22892 297 55 0 22702 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 95240 [startup+160.096 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26908 /proc/meminfo: memFree=1712256/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=98808 CPUtime=160.03 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 24260 0 0 0 15868 135 0 0 25 0 1 0 200812593 101179392 23778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 24702 23778 297 55 0 23594 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 98808 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26908 /proc/meminfo: memFree=1705088/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=105980 CPUtime=170.03 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 26054 0 0 0 16865 138 0 0 25 0 1 0 200812593 108523520 25553 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 26495 25553 297 55 0 25387 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 105980 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26908 /proc/meminfo: memFree=1704000/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=107036 CPUtime=180.03 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 26338 0 0 0 17860 143 0 0 25 0 1 0 200812593 109604864 25837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 26759 25837 297 55 0 25651 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 107036 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26908 /proc/meminfo: memFree=1702784/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=108260 CPUtime=190.03 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 26645 0 0 0 18855 148 0 0 25 0 1 0 200812593 110858240 26136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 27065 26136 297 55 0 25957 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 108260 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26908 /proc/meminfo: memFree=1699200/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=111824 CPUtime=200.09 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 27538 0 0 0 19857 152 0 0 25 0 1 0 200812593 114507776 27029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 27956 27029 297 55 0 26848 0 Current children cumulated CPU time (s) 200.09 Current children cumulated vsize (Kb) 111824 [startup+210.183 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26908 /proc/meminfo: memFree=1695808/2055920 swapFree=4182500/4192956 ################ # More data... # ################ /proc/26908/statm: 148565 147503 297 55 0 147457 0 Current children cumulated CPU time (s) 1760.46 Current children cumulated vsize (Kb) 594260 [startup+1771.15 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1213056/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=597296 CPUtime=1770.47 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149459 0 0 0 176567 480 0 0 25 0 1 0 200812593 611631104 148262 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149324 148262 297 55 0 148216 0 Current children cumulated CPU time (s) 1770.47 Current children cumulated vsize (Kb) 597296 [startup+1781.15 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1212544/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=597692 CPUtime=1780.47 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149581 0 0 0 177567 480 0 0 25 0 1 0 200812593 612036608 148384 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528674 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149423 148384 297 55 0 148315 0 Current children cumulated CPU time (s) 1780.47 Current children cumulated vsize (Kb) 597692 [startup+1782.16 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1212544/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=597824 CPUtime=1781.47 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149593 0 0 0 177667 480 0 0 25 0 1 0 200812593 612171776 148396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149456 148396 297 55 0 148348 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 597824 [startup+1783.16 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1212480/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=597824 CPUtime=1782.48 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149606 0 0 0 177768 480 0 0 25 0 1 0 200812593 612171776 148409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149456 148409 297 55 0 148348 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 597824 [startup+1784.17 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1212416/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=597956 CPUtime=1783.49 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149618 0 0 0 177868 481 0 0 25 0 1 0 200812593 612306944 148421 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149489 148421 297 55 0 148381 0 Current children cumulated CPU time (s) 1783.49 Current children cumulated vsize (Kb) 597956 [startup+1785.17 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1212352/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=597956 CPUtime=1784.49 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149630 0 0 0 177968 481 0 0 25 0 1 0 200812593 612306944 148433 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149489 148433 297 55 0 148381 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 597956 [startup+1786.18 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1212288/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=597956 CPUtime=1785.5 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149642 0 0 0 178069 481 0 0 25 0 1 0 200812593 612306944 148445 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149489 148445 297 55 0 148381 0 Current children cumulated CPU time (s) 1785.5 Current children cumulated vsize (Kb) 597956 [startup+1787.18 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1212288/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=598088 CPUtime=1786.5 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149654 0 0 0 178169 481 0 0 25 0 1 0 200812593 612442112 148457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149522 148457 297 55 0 148414 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 598088 [startup+1788.19 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1212224/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=598088 CPUtime=1787.51 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149667 0 0 0 178270 481 0 0 25 0 1 0 200812593 612442112 148470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149522 148470 297 55 0 148414 0 Current children cumulated CPU time (s) 1787.51 Current children cumulated vsize (Kb) 598088 [startup+1789.19 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1212160/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=598088 CPUtime=1788.51 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149682 0 0 0 178370 481 0 0 25 0 1 0 200812593 612442112 148485 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529283 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149522 148485 297 55 0 148414 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 598088 [startup+1790.19 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1212096/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=598220 CPUtime=1789.51 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149695 0 0 0 178470 481 0 0 25 0 1 0 200812593 612577280 148498 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149555 148498 297 55 0 148447 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 598220 [startup+1791.2 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1212032/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=598220 CPUtime=1790.52 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149707 0 0 0 178571 481 0 0 25 0 1 0 200812593 612577280 148510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149555 148510 297 55 0 148447 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 598220 [startup+1792.21 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1212032/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=598352 CPUtime=1791.52 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149720 0 0 0 178671 481 0 0 25 0 1 0 200812593 612712448 148523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149588 148523 297 55 0 148480 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 598352 [startup+1793.21 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1211968/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=598352 CPUtime=1792.53 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 149733 0 0 0 178772 481 0 0 25 0 1 0 200812593 612712448 148536 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 149588 148536 297 55 0 148480 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 598352 [startup+1794.21 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1210112/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=600200 CPUtime=1793.53 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 150197 0 0 0 178872 481 0 0 25 0 1 0 200812593 614604800 149000 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 150050 149000 297 55 0 148942 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 600200 [startup+1795.22 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1208064/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=602324 CPUtime=1794.53 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 150713 0 0 0 178972 481 0 0 25 0 1 0 200812593 616779776 149516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 150581 149516 297 55 0 149473 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 602324 [startup+1796.23 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1206848/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=603380 CPUtime=1795.54 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 151001 0 0 0 179072 482 0 0 25 0 1 0 200812593 617861120 149804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 150845 149804 297 55 0 149737 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 603380 [startup+1797.23 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1205248/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=605092 CPUtime=1796.54 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 151405 0 0 0 179172 482 0 0 25 0 1 0 200812593 619614208 150208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 151273 150208 297 55 0 150165 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 605092 [startup+1798.24 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1205184/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=605092 CPUtime=1797.55 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 151419 0 0 0 179273 482 0 0 25 0 1 0 200812593 619614208 150222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 151273 150222 297 55 0 150165 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 605092 [startup+1799.24 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1205120/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=605224 CPUtime=1798.55 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 151431 0 0 0 179373 482 0 0 25 0 1 0 200812593 619749376 150234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 151306 150234 297 55 0 150198 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 605224 [startup+1800.24 s] /proc/loadavg: 0.99 0.97 0.92 2/64 26910 /proc/meminfo: memFree=1205120/2055920 swapFree=4182500/4192956 [pid=26908] ppid=26906 vsize=605224 CPUtime=1799.56 /proc/26908/stat : 26908 (bsolo) R 26906 26908 26862 0 -1 0 151441 0 0 0 179474 482 0 0 25 0 1 0 200812593 619749376 150244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26908/statm: 151306 150244 297 55 0 150198 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 605224 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.09 CPU user time (s): 1795.18 CPU system time (s): 4.91325 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (Kb): 605224
Begin job on node75 on Sat Jun 3 16:18:12 UTC 2006 FILE ID= 40006-1149351492 PBS_JOBID= 311027 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/40006-1149351492/instance-40006-1149351492.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-40006-1149351492 -o ROOT/results/node75/solver-40006-1149351492 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node75/40006-1149351492/instance-40006-1149351492.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 99a4e5b0ce7b98bffc278cf1f6704eb9 RANDOM SEED= 977505934 /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.259 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.259 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1806464 kB Buffers: 23912 kB Cached: 160360 kB SwapCached: 2048 kB Active: 43996 kB Inactive: 148872 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1806464 kB SwapTotal: 4192956 kB SwapFree: 4182500 kB Dirty: 160 kB Writeback: 0 kB Mapped: 16032 kB Slab: 42464 kB Committed_AS: 348608 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node75 on Sat Jun 3 16:48:13 UTC 2006