Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.17 | 1800.65 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scagr25.opb |
MD5SUM | b63141b317e602f06e6dedfad8ff4e9a |
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 | 15000 |
Total number of constraints | 471 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 471 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 14250 |
Biggest coefficient in the objective function | 3992 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 536200 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262051 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 536200 |
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.53 c Initial problem consists of 15000 variables and 771 constraints. 0.57 c No problem reductions applied in OPT. instance. 0.57 c preprocess terminated. Elapsed time: 0.567 0.57 c After prepocess the problem consists of 11453 variables and 771 constraints. 0.57 c Initial Lower Bound: -5935 1.34 c Restart #1 #Var: 11453 LB: -5935 @ 1.333 2.89 c Restart #2 #Var: 11453 LB: -5935 @ 2.88 5.33 c Restart #3 #Var: 11453 LB: -5935 @ 5.327 8.40 c Restart #4 #Var: 11453 LB: -5935 @ 8.391 12.51 c Restart #5 #Var: 11453 LB: -5935 @ 12.494 18.13 c Restart #6 #Var: 11453 LB: -5935 @ 18.112 23.50 c Restart #7 #Var: 11453 LB: -5935 @ 23.48 30.93 c Restart #8 #Var: 11453 LB: -5935 @ 30.915 33.16 c Restart #9 #Var: 11453 LB: -5935 @ 33.146 33.34 c Restart #10 #Var: 11438 LB: -5885 @ 33.324 33.60 c Restart #11 #Var: 11438 LB: -5885 @ 33.579 33.83 c Restart #12 #Var: 11438 LB: -5885 @ 33.809 34.07 c Restart #13 #Var: 11426 LB: -5861 @ 34.053 34.35 c Restart #14 #Var: 11424 LB: -5861 @ 34.338 35.38 c Restart #15 #Var: 11424 LB: -5861 @ 35.36 35.72 c Restart #16 #Var: 11424 LB: -5861 @ 35.704 36.07 c Restart #17 #Var: 11424 LB: -5861 @ 36.053 36.58 c Restart #18 #Var: 11424 LB: -5861 @ 36.559 38.38 c Restart #19 #Var: 11424 LB: -5861 @ 38.362 39.17 c Restart #20 #Var: 11424 LB: -5861 @ 39.149 40.07 c Restart #21 #Var: 11424 LB: -5861 @ 40.052 42.86 c Restart #22 #Var: 11424 LB: -5861 @ 42.839 43.86 c Restart #23 #Var: 11372 LB: -5676 @ 43.836 44.98 c Restart #24 #Var: 11372 LB: -5676 @ 44.955 46.15 c Restart #25 #Var: 11372 LB: -5676 @ 46.129 48.09 c Restart #26 #Var: 11347 LB: -5598 @ 48.065 50.48 c Restart #27 #Var: 11338 LB: -5562 @ 50.454 51.31 c Restart #28 #Var: 11337 LB: -5562 @ 51.287 53.05 c Restart #29 #Var: 11333 LB: -5538 @ 53.029 54.16 c Restart #30 #Var: 11333 LB: -5538 @ 54.142 55.85 c Restart #31 #Var: 11332 LB: -5538 @ 55.825 60.17 c Restart #32 #Var: 11332 LB: -5538 @ 60.151 67.58 c Restart #33 #Var: 11332 LB: -5538 @ 67.558 72.23 c Restart #34 #Var: 11332 LB: -5538 @ 72.203 74.35 c Restart #35 #Var: 11332 LB: -5538 @ 74.32 80.68 c Restart #36 #Var: 11332 LB: -5538 @ 80.652 82.91 c Restart #37 #Var: 11332 LB: -5538 @ 82.879 89.03 c Restart #38 #Var: 11332 LB: -5538 @ 89.003 116.43 c Restart #39 #Var: 11332 LB: -5538 @ 116.39 121.24 c Restart #40 #Var: 11332 LB: -5538 @ 121.2 125.20 c Restart #41 #Var: 11332 LB: -5538 @ 125.16 131.05 c Restart #42 #Var: 11332 LB: -5538 @ 131.01 146.84 c Restart #43 #Var: 11332 LB: -5538 @ 146.79 150.10 c Restart #44 #Var: 11332 LB: -5538 @ 150.05 155.87 c Restart #45 #Var: 11332 LB: -5538 @ 155.82 159.07 c Restart #46 #Var: 11332 LB: -5538 @ 159.02 218.45 c Restart #47 #Var: 11332 LB: -5538 @ 218.38 260.05 c Restart #48 #Var: 11331 LB: -5538 @ 259.98 267.10 c Restart #49 #Var: 11331 LB: -5538 @ 267.02 276.57 c Restart #50 #Var: 11328 LB: -5532 @ 276.49 420.44 c Restart #51 #Var: 11328 LB: -5532 @ 420.32 512.31 c Restart #52 #Var: 11328 LB: -5532 @ 512.16 520.63 c Restart #53 #Var: 11328 LB: -5532 @ 520.49 526.68 c Restart #54 #Var: 11328 LB: -5532 @ 526.54 540.47 c Restart #55 #Var: 11328 LB: -5532 @ 540.32 571.88 c Restart #56 #Var: 11328 LB: -5532 @ 571.72 580.12 c Restart #57 #Var: 11327 LB: -5532 @ 579.96 603.10 c Restart #58 #Var: 11327 LB: -5532 @ 602.93 611.53 c Restart #59 #Var: 11327 LB: -5532 @ 611.36 720.09 c Restart #60 #Var: 11327 LB: -5532 @ 719.9 745.96 c Restart #61 #Var: 11327 LB: -5532 @ 745.76 757.85 c Restart #62 #Var: 11327 LB: -5532 @ 757.64 790.17 c Restart #63 #Var: 11327 LB: -5532 @ 789.96 873.29 c Restart #64 #Var: 11327 LB: -5532 @ 873.05 915.77 c CHANGE Heuristic... 915.77 c Restart #0 #Var: 11322 LB: -5530 @ 915.52 915.80 c Restart #1 #Var: 11322 LB: -5530 @ 915.55 915.84 c Restart #2 #Var: 11322 LB: -5530 @ 915.6 915.92 c Restart #3 #Var: 11321 LB: -5530 @ 915.67 916.11 c Restart #4 #Var: 11321 LB: -5530 @ 915.86 916.33 c Restart #5 #Var: 11321 LB: -5530 @ 916.08 916.47 c Restart #6 #Var: 11321 LB: -5530 @ 916.22 916.75 c Restart #7 #Var: 11321 LB: -5530 @ 916.51 917.18 c Restart #8 #Var: 11320 LB: -5530 @ 916.93 917.54 c Restart #9 #Var: 11320 LB: -5530 @ 917.29 918.08 c Restart #10 #Var: 11320 LB: -5530 @ 917.83 918.44 c Restart #11 #Var: 11320 LB: -5530 @ 918.2 918.90 c Restart #12 #Var: 11318 LB: -5530 @ 918.65 919.51 c Restart #13 #Var: 11318 LB: -5530 @ 919.26 919.92 c Restart #14 #Var: 11318 LB: -5530 @ 919.67 920.46 c Restart #15 #Var: 11317 LB: -5530 @ 920.21 922.31 c Restart #16 #Var: 11317 LB: -5530 @ 922.07 923.08 c Restart #17 #Var: 11317 LB: -5530 @ 922.83 923.82 c Restart #18 #Var: 11317 LB: -5530 @ 923.57 924.54 c Restart #19 #Var: 11317 LB: -5530 @ 924.29 925.74 c Restart #20 #Var: 11306 LB: -5494 @ 925.49 927.23 c Restart #21 #Var: 11305 LB: -5494 @ 926.99 927.94 c Restart #22 #Var: 11297 LB: -5458 @ 927.69 929.37 c Restart #23 #Var: 11297 LB: -5458 @ 929.12 930.32 c Restart #24 #Var: 11297 LB: -5458 @ 930.07 932.10 c Restart #25 #Var: 11287 LB: -5422 @ 931.85 934.33 c Restart #26 #Var: 11286 LB: -5422 @ 934.08 936.16 c Restart #27 #Var: 11286 LB: -5422 @ 935.91 938.37 c Restart #28 #Var: 11286 LB: -5422 @ 938.12 940.97 c Restart #29 #Var: 11285 LB: -5422 @ 940.72 942.17 c Restart #30 #Var: 11285 LB: -5422 @ 941.92 944.26 c Restart #31 #Var: 11275 LB: -5386 @ 944 947.34 c Restart #32 #Var: 11275 LB: -5386 @ 947.09 948.46 c Restart #33 #Var: 11275 LB: -5386 @ 948.21 953.59 c Restart #34 #Var: 11275 LB: -5386 @ 953.33 960.59 c Restart #35 #Var: 11275 LB: -5386 @ 960.33 970.97 c Restart #36 #Var: 11275 LB: -5386 @ 970.71 977.46 c Restart #37 #Var: 11275 LB: -5386 @ 977.2 981.11 c Restart #38 #Var: 11275 LB: -5386 @ 980.85 990.94 c Restart #39 #Var: 11275 LB: -5386 @ 990.67 995.91 c Restart #40 #Var: 11272 LB: -5379 @ 995.64 997.74 c Restart #41 #Var: 11272 LB: -5379 @ 997.48 1000.94 c Restart #42 #Var: 11272 LB: -5379 @ 1000.7 1002.82 c Restart #43 #Var: 11272 LB: -5379 @ 1002.6 1004.64 c Restart #44 #Var: 11272 LB: -5379 @ 1004.4 1006.34 c Restart #45 #Var: 11272 LB: -5379 @ 1006.1 1008.25 c Restart #46 #Var: 11272 LB: -5379 @ 1008 1010.01 c Restart #47 #Var: 11272 LB: -5379 @ 1009.7 1015.10 c Restart #48 #Var: 11271 LB: -5379 @ 1014.8 1019.03 c Restart #49 #Var: 11271 LB: -5379 @ 1018.8 1022.70 c Restart #50 #Var: 11271 LB: -5379 @ 1022.4 1039.29 c Restart #51 #Var: 11271 LB: -5379 @ 1039 1040.86 c Restart #52 #Var: 11271 LB: -5379 @ 1040.6 1118.03 c Restart #53 #Var: 11271 LB: -5379 @ 1117.7 1128.50 c Restart #54 #Var: 11271 LB: -5379 @ 1128.2 1132.13 c Restart #55 #Var: 11260 LB: -5280 @ 1131.8 1138.07 c Restart #56 #Var: 11260 LB: -5280 @ 1137.8 1158.11 c Restart #57 #Var: 11260 LB: -5280 @ 1157.8 1166.27 c Restart #58 #Var: 11260 LB: -5280 @ 1166 1191.42 c Restart #59 #Var: 11260 LB: -5280 @ 1191.1 1218.43 c Restart #60 #Var: 11260 LB: -5280 @ 1218.1 1238.40 c Restart #61 #Var: 11259 LB: -5280 @ 1238.1 1255.87 c Restart #62 #Var: 11259 LB: -5280 @ 1255.5 1258.98 c Restart #63 #Var: 11259 LB: -5280 @ 1258.6 1261.12 c Restart #64 #Var: 11259 LB: -5280 @ 1260.8 1268.62 c Restart #65 #Var: 11259 LB: -5280 @ 1268.3 1293.87 c Restart #66 #Var: 11259 LB: -5280 @ 1293.5 1299.82 c Restart #67 #Var: 11259 LB: -5280 @ 1299.5 1309.54 c Restart #68 #Var: 11259 LB: -5280 @ 1309.2 1318.20 c Restart #69 #Var: 11253 LB: -5273 @ 1317.8 1361.31 c Restart #70 #Var: 11253 LB: -5273 @ 1360.9 1407.68 c Restart #71 #Var: 11253 LB: -5273 @ 1407.3 1418.14 c Restart #72 #Var: 11253 LB: -5273 @ 1417.8 1423.18 c Restart #73 #Var: 11253 LB: -5273 @ 1422.8 1427.54 c Restart #74 #Var: 11253 LB: -5273 @ 1427.2 1434.33 c Restart #75 #Var: 11253 LB: -5273 @ 1433.9 1449.73 c Restart #76 #Var: 11253 LB: -5273 @ 1449.3 1495.18 c Restart #77 #Var: 11253 LB: -5273 @ 1494.8 1501.24 c Restart #78 #Var: 11252 LB: -5272 @ 1500.8 1529.46 c Restart #79 #Var: 11252 LB: -5272 @ 1529.1 1545.18 c Restart #80 #Var: 11252 LB: -5272 @ 1544.8 1567.75 c Restart #81 #Var: 11252 LB: -5272 @ 1567.3 1571.88 c Restart #82 #Var: 11252 LB: -5272 @ 1571.5 1600.45 c Restart #83 #Var: 11252 LB: -5272 @ 1600 1633.87 c Restart #84 #Var: 11252 LB: -5272 @ 1633.4 1684.99 c Restart #85 #Var: 11252 LB: -5272 @ 1684.5 1696.68 c Restart #86 #Var: 11252 LB: -5272 @ 1696.2 1718.28 c Restart #87 #Var: 11252 LB: -5272 @ 1717.8 1789.84 c Restart #88 #Var: 11252 LB: -5272 @ 1789.4 1800.48 s UNKNOWN 1800.48 c Exit Code: 0 1800.48 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/node84/watcher-39895-1149325525 -o ROOT/results/node84/solver-39895-1149325525 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/39895-1149325525/instance-39895-1149325525.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1627752/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=4672 CPUtime=0 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 161 0 0 0 0 0 0 0 19 0 1 0 198191853 4784128 142 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8076596 0 0 4096 0 0 0 0 17 1 0 0 /proc/23950/statm: 1168 147 109 55 0 46 0 [startup+10.0014 s] /proc/loadavg: 0.94 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1607784/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=25144 CPUtime=9.98 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 5420 0 0 0 938 60 0 0 25 0 1 0 198191853 25747456 5336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 6286 5336 294 55 0 5177 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 25144 [startup+20.0074 s] /proc/loadavg: 0.95 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1607784/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=25144 CPUtime=19.98 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 5431 0 0 0 1877 121 0 0 25 0 1 0 198191853 25747456 5347 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 6286 5347 294 55 0 5177 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 25144 [startup+30.0135 s] /proc/loadavg: 0.96 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1607336/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=25672 CPUtime=29.99 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 5567 0 0 0 2822 177 0 0 25 0 1 0 198191853 26288128 5483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 6418 5483 294 55 0 5309 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 25672 [startup+40.0196 s] /proc/loadavg: 0.96 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1565288/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=67652 CPUtime=39.99 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 16050 0 0 0 3797 202 0 0 25 0 1 0 198191853 69275648 15966 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8542251 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 16913 15966 294 55 0 15804 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 67652 [startup+50.0257 s] /proc/loadavg: 0.97 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1545640/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=87184 CPUtime=49.99 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 20946 0 0 0 4794 205 0 0 25 0 1 0 198191853 89276416 20862 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 21796 20862 294 55 0 20687 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 87184 [startup+60.0317 s] /proc/loadavg: 0.97 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1508200/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=124552 CPUtime=60 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 30293 0 0 0 5787 213 0 0 25 0 1 0 198191853 127541248 30209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 31138 30209 294 55 0 30029 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 124552 [startup+70.0368 s] /proc/loadavg: 0.98 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1504744/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=128112 CPUtime=70 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 31171 0 0 0 6785 215 0 0 25 0 1 0 198191853 131186688 31087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534141 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 32028 31087 294 55 0 30919 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 128112 [startup+80.0429 s] /proc/loadavg: 0.98 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1489384/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=143416 CPUtime=80 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 35001 0 0 0 7781 219 0 0 25 0 1 0 198191853 146857984 34917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 35854 34917 294 55 0 34745 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 143416 [startup+90.049 s] /proc/loadavg: 0.98 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1471592/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=161236 CPUtime=90 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 39441 0 0 0 8778 222 0 0 25 0 1 0 198191853 165105664 39357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 40309 39357 294 55 0 39200 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 161236 [startup+100.055 s] /proc/loadavg: 0.98 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1470248/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=162556 CPUtime=100.01 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 39768 0 0 0 9778 223 0 0 25 0 1 0 198191853 166457344 39684 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 40639 39684 294 55 0 39530 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 162556 [startup+110.061 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1467944/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=164800 CPUtime=110.02 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 40340 0 0 0 10778 224 0 0 25 0 1 0 198191853 168755200 40256 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 41200 40256 294 55 0 40091 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 164800 [startup+120.067 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1461672/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=171132 CPUtime=120.02 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 41918 0 0 0 11777 225 0 0 25 0 1 0 198191853 175239168 41834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 42783 41834 294 55 0 41674 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 171132 [startup+130.072 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1435176/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=197568 CPUtime=130.02 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 48524 0 0 0 12772 230 0 0 25 0 1 0 198191853 202309632 48440 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537610 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 49392 48440 294 55 0 48283 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 197568 [startup+140.078 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1426664/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=206148 CPUtime=140.02 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 50657 0 0 0 13770 232 0 0 25 0 1 0 198191853 211095552 50573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8542251 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 51537 50573 294 55 0 50428 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 206148 [startup+150.084 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1413096/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=219772 CPUtime=150.03 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 54034 0 0 0 14768 235 0 0 25 0 1 0 198191853 225046528 53947 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 54943 53947 294 55 0 53834 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 219772 [startup+160.09 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1390504/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=242388 CPUtime=160.03 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 59676 0 0 0 15765 238 0 0 25 0 1 0 198191853 248205312 59586 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 60597 59586 294 55 0 59488 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 242388 [startup+170.097 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1389992/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=242916 CPUtime=170.03 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 59798 0 0 0 16764 239 0 0 25 0 1 0 198191853 248745984 59708 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 60729 59708 294 55 0 59620 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 242916 [startup+180.103 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1389096/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=243840 CPUtime=180.04 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 60022 0 0 0 17764 240 0 0 25 0 1 0 198191853 249692160 59932 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 60960 59932 294 55 0 59851 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 243840 [startup+190.108 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1388264/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=244632 CPUtime=190.04 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 60237 0 0 0 18764 240 0 0 25 0 1 0 198191853 250503168 60147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534051 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 61158 60147 294 55 0 60049 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 244632 [startup+200.114 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1387880/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=245028 CPUtime=200.05 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 60327 0 0 0 19764 241 0 0 25 0 1 0 198191853 250908672 60237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 61257 60237 294 55 0 60148 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 245028 [startup+210.12 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=1387368/2055892 swapFree=4085292/4096564 ################ # More data... # ################ /proc/23950/statm: 279484 277886 294 55 0 278375 0 Current children cumulated CPU time (s) 1760.57 Current children cumulated vsize (Kb) 1117936 [startup+1771.05 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=512744/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1120448 CPUtime=1770.57 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 278691 0 0 0 176576 481 0 0 25 0 1 0 198191853 1147338752 278515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 280112 278515 294 55 0 279003 0 Current children cumulated CPU time (s) 1770.57 Current children cumulated vsize (Kb) 1120448 [startup+1781.05 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=510376/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1122956 CPUtime=1780.58 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279308 0 0 0 177576 482 0 0 25 0 1 0 198191853 1149906944 279132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 280739 279132 294 55 0 279630 0 Current children cumulated CPU time (s) 1780.58 Current children cumulated vsize (Kb) 1122956 [startup+1782.06 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=510056/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1123220 CPUtime=1781.57 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279386 0 0 0 177675 482 0 0 25 0 1 0 198191853 1150177280 279210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 280805 279210 294 55 0 279696 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (Kb) 1123220 [startup+1783.06 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=509672/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1123616 CPUtime=1782.59 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279475 0 0 0 177776 483 0 0 25 0 1 0 198191853 1150582784 279299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548421 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 280904 279299 294 55 0 279795 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 1123616 [startup+1784.07 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=509288/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1123880 CPUtime=1783.59 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279567 0 0 0 177876 483 0 0 25 0 1 0 198191853 1150853120 279391 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 280970 279391 294 55 0 279861 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 1123880 [startup+1785.07 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=508968/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1124292 CPUtime=1784.59 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279659 0 0 0 177976 483 0 0 25 0 1 0 198191853 1151275008 279481 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281073 279481 294 55 0 279964 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 1124292 [startup+1786.08 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=508840/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1124424 CPUtime=1785.6 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279681 0 0 0 178077 483 0 0 25 0 1 0 198191853 1151410176 279503 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281106 279503 294 55 0 279997 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 1124424 [startup+1787.08 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=508776/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1124556 CPUtime=1786.6 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279704 0 0 0 178177 483 0 0 25 0 1 0 198191853 1151545344 279526 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281139 279526 294 55 0 280030 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 1124556 [startup+1788.09 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=508520/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1124820 CPUtime=1787.6 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279763 0 0 0 178277 483 0 0 25 0 1 0 198191853 1151815680 279585 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281205 279585 294 55 0 280096 0 Current children cumulated CPU time (s) 1787.6 Current children cumulated vsize (Kb) 1124820 [startup+1789.09 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=508136/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1125236 CPUtime=1788.61 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279869 0 0 0 178378 483 0 0 25 0 1 0 198191853 1152241664 279691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718920 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281309 279691 294 55 0 280200 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 1125236 [startup+1790.1 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=507816/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1125500 CPUtime=1789.61 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 279941 0 0 0 178478 483 0 0 25 0 1 0 198191853 1152512000 279763 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281375 279763 294 55 0 280266 0 Current children cumulated CPU time (s) 1789.61 Current children cumulated vsize (Kb) 1125500 [startup+1791.1 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=507560/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1125764 CPUtime=1790.62 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280006 0 0 0 178579 483 0 0 25 0 1 0 198191853 1152782336 279828 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281441 279828 294 55 0 280332 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 1125764 [startup+1792.11 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=507368/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1125896 CPUtime=1791.62 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280048 0 0 0 178679 483 0 0 25 0 1 0 198191853 1152917504 279870 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281474 279870 294 55 0 280365 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 1125896 [startup+1793.11 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=507176/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1126160 CPUtime=1792.62 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280095 0 0 0 178779 483 0 0 25 0 1 0 198191853 1153187840 279917 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281540 279917 294 55 0 280431 0 Current children cumulated CPU time (s) 1792.62 Current children cumulated vsize (Kb) 1126160 [startup+1794.12 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=507048/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1126292 CPUtime=1793.63 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280135 0 0 0 178880 483 0 0 25 0 1 0 198191853 1153323008 279957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281573 279957 294 55 0 280464 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 1126292 [startup+1795.12 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=506920/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1126424 CPUtime=1794.64 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280160 0 0 0 178980 484 0 0 25 0 1 0 198191853 1153458176 279982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281606 279982 294 55 0 280497 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 1126424 [startup+1796.13 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=506792/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1126424 CPUtime=1795.65 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280188 0 0 0 179081 484 0 0 25 0 1 0 198191853 1153458176 280010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281606 280010 294 55 0 280497 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 1126424 [startup+1797.13 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=506728/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1126556 CPUtime=1796.65 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280212 0 0 0 179181 484 0 0 25 0 1 0 198191853 1153593344 280034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281639 280034 294 55 0 280530 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 1126556 [startup+1798.14 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=506600/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1126688 CPUtime=1797.65 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280238 0 0 0 179281 484 0 0 25 0 1 0 198191853 1153728512 280060 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281672 280060 294 55 0 280563 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 1126688 [startup+1799.14 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=506536/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1126688 CPUtime=1798.66 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280252 0 0 0 179382 484 0 0 25 0 1 0 198191853 1153728512 280074 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281672 280074 294 55 0 280563 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 1126688 [startup+1800.14 s] /proc/loadavg: 0.99 0.99 0.97 2/67 23950 /proc/meminfo: memFree=506408/2055892 swapFree=4085292/4096564 [pid=23950] ppid=23948 vsize=1126824 CPUtime=1799.66 /proc/23950/stat : 23950 (bsolo) R 23948 23950 23904 0 -1 0 280285 0 0 0 179482 484 0 0 25 0 1 0 198191853 1153867776 280107 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23950/statm: 281706 280107 294 55 0 280597 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 1126824 Child status: 0 Real time (s): 1800.65 CPU time (s): 1800.17 CPU user time (s): 1795.17 CPU system time (s): 5.00124 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (Kb): 1126824
Begin job on node84 on Sat Jun 3 09:05:26 UTC 2006 FILE ID= 39895-1149325525 PBS_JOBID= 309591 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scagr25.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/39895-1149325525/instance-39895-1149325525.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node84/watcher-39895-1149325525 -o ROOT/results/node84/solver-39895-1149325525 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/39895-1149325525/instance-39895-1149325525.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= b63141b317e602f06e6dedfad8ff4e9a RANDOM SEED= 763901364 /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.231 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 : 6006.15 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.231 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1628152 kB Buffers: 29808 kB Cached: 331708 kB SwapCached: 2420 kB Active: 34008 kB Inactive: 336080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1628152 kB SwapTotal: 4096564 kB SwapFree: 4085292 kB Dirty: 176 kB Writeback: 0 kB Mapped: 16424 kB Slab: 44372 kB Committed_AS: 387240 kB PageTables: 1272 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node84 on Sat Jun 3 09:35:26 UTC 2006