Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.1 | 1800.71 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-maros-r7.opb |
MD5SUM | 24e8096a6d8928e5a9e214fdf85bd87e |
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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 51973 |
Optimality of the best value was proved | NO |
Number of variables | 282240 |
Total number of constraints | 3136 |
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 | 3136 |
Minimum length of a constraint | 150 |
Maximum length of a constraint | 720 |
Number of terms in the objective function | 188160 |
Biggest coefficient in the objective function | 42 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 683648 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 80921 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 683648 |
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. 192.09 c Initial problem consists of 282240 variables and 6272 constraints. 193.77 c No problem reductions applied in OPT. instance. 193.77 c preprocess terminated. Elapsed time: 193.68 193.77 c After prepocess the problem consists of 282240 variables and 6272 constraints. 193.77 c Initial Lower Bound: 0 203.29 c Restart #1 #Var: 282240 LB: 0 @ 203.19 212.67 c Restart #2 #Var: 282240 LB: 0 @ 212.57 222.27 c Restart #3 #Var: 282240 LB: 0 @ 222.17 232.21 c Restart #4 #Var: 282240 LB: 0 @ 232.11 242.41 c Restart #5 #Var: 282240 LB: 0 @ 242.3 252.95 c Restart #6 #Var: 282240 LB: 0 @ 252.84 263.70 c Restart #7 #Var: 282240 LB: 0 @ 263.59 274.82 c Restart #8 #Var: 282240 LB: 0 @ 274.7 287.94 c Restart #9 #Var: 282240 LB: 0 @ 287.81 324.47 c Restart #10 #Var: 282240 LB: 0 @ 324.34 339.92 c Restart #11 #Var: 282240 LB: 0 @ 339.78 348.96 c Restart #12 #Var: 282240 LB: 0 @ 348.82 356.22 c Restart #13 #Var: 282240 LB: 0 @ 356.07 361.72 c Restart #14 #Var: 282240 LB: 0 @ 361.57 379.20 c Restart #15 #Var: 282240 LB: 0 @ 379.05 386.94 c Restart #16 #Var: 282240 LB: 0 @ 386.79 410.96 c Restart #17 #Var: 282240 LB: 0 @ 410.8 416.54 c Restart #18 #Var: 282240 LB: 0 @ 416.37 422.32 c Restart #19 #Var: 282240 LB: 0 @ 422.15 427.14 c Restart #20 #Var: 282240 LB: 0 @ 426.98 432.08 c Restart #21 #Var: 282240 LB: 0 @ 431.92 439.96 c Restart #22 #Var: 282240 LB: 0 @ 439.79 445.99 c Restart #23 #Var: 282240 LB: 0 @ 445.81 453.61 c Restart #24 #Var: 282240 LB: 0 @ 453.43 461.66 c Restart #25 #Var: 282240 LB: 0 @ 461.48 468.59 c Restart #26 #Var: 282240 LB: 0 @ 468.41 480.26 c Restart #27 #Var: 282240 LB: 0 @ 480.07 489.61 c Restart #28 #Var: 282240 LB: 0 @ 489.43 502.73 c Restart #29 #Var: 282240 LB: 0 @ 502.54 517.44 c Restart #30 #Var: 282240 LB: 0 @ 517.24 527.12 c Restart #31 #Var: 282240 LB: 0 @ 526.92 531.65 c Restart #32 #Var: 282240 LB: 0 @ 531.45 534.69 c Restart #33 #Var: 282240 LB: 0 @ 534.49 541.68 c Restart #34 #Var: 282240 LB: 0 @ 541.47 551.55 c Restart #35 #Var: 282240 LB: 0 @ 551.34 561.01 c Restart #36 #Var: 282240 LB: 0 @ 560.8 574.55 c Restart #37 #Var: 282240 LB: 0 @ 574.34 584.49 c Restart #38 #Var: 282240 LB: 0 @ 584.27 592.29 c Restart #39 #Var: 282240 LB: 0 @ 592.07 597.50 c Restart #40 #Var: 282240 LB: 0 @ 597.28 607.60 c Restart #41 #Var: 282240 LB: 0 @ 607.37 627.62 c Restart #42 #Var: 282240 LB: 0 @ 627.39 636.41 c Restart #43 #Var: 282240 LB: 0 @ 636.17 651.35 c Restart #44 #Var: 282240 LB: 0 @ 651.11 661.31 c Restart #45 #Var: 282240 LB: 0 @ 661.07 671.54 c Restart #46 #Var: 282240 LB: 0 @ 671.29 688.85 c Restart #47 #Var: 282240 LB: 0 @ 688.6 710.04 c Restart #48 #Var: 282240 LB: 0 @ 709.78 754.22 c Restart #49 #Var: 282240 LB: 0 @ 753.95 764.01 c Restart #50 #Var: 282240 LB: 0 @ 763.74 777.04 c Restart #51 #Var: 282240 LB: 0 @ 776.76 784.44 c Restart #52 #Var: 282240 LB: 0 @ 784.15 803.20 c Restart #53 #Var: 282240 LB: 0 @ 802.91 821.70 c Restart #54 #Var: 282240 LB: 0 @ 821.4 830.24 c Restart #55 #Var: 282240 LB: 0 @ 829.94 839.17 c Restart #56 #Var: 282240 LB: 0 @ 838.87 845.48 c Restart #57 #Var: 282240 LB: 0 @ 845.18 860.88 c Restart #58 #Var: 282240 LB: 0 @ 860.58 890.27 c Restart #59 #Var: 282240 LB: 0 @ 889.95 903.34 c CHANGE Heuristic... 903.34 c Restart #0 #Var: 282240 LB: 0 @ 903.01 907.43 c Restart #1 #Var: 282240 LB: 0 @ 907.1 907.59 c Restart #2 #Var: 282240 LB: 0 @ 907.27 907.73 c Restart #3 #Var: 282240 LB: 0 @ 907.41 907.95 c Restart #4 #Var: 282240 LB: 0 @ 907.63 908.21 c Restart #5 #Var: 282240 LB: 0 @ 907.88 908.45 c Restart #6 #Var: 282240 LB: 0 @ 908.13 908.71 c Restart #7 #Var: 282240 LB: 0 @ 908.39 909.00 c Restart #8 #Var: 282240 LB: 0 @ 908.68 909.28 c Restart #9 #Var: 282240 LB: 0 @ 908.96 914.20 c Restart #10 #Var: 282240 LB: 0 @ 913.88 916.96 c Restart #11 #Var: 282240 LB: 0 @ 916.63 922.78 c Restart #12 #Var: 282240 LB: 0 @ 922.45 924.20 c Restart #13 #Var: 282240 LB: 0 @ 923.87 925.38 c Restart #14 #Var: 282240 LB: 0 @ 925.05 928.10 c Restart #15 #Var: 282240 LB: 0 @ 927.77 928.85 c Restart #16 #Var: 282240 LB: 0 @ 928.52 935.80 c Restart #17 #Var: 282240 LB: 0 @ 935.46 936.85 c Restart #18 #Var: 282240 LB: 0 @ 936.52 937.80 c Restart #19 #Var: 282240 LB: 0 @ 937.46 943.24 c Restart #20 #Var: 282240 LB: 0 @ 942.91 949.60 c Restart #21 #Var: 282240 LB: 0 @ 949.26 959.46 c Restart #22 #Var: 282240 LB: 0 @ 959.12 961.97 c Restart #23 #Var: 282240 LB: 0 @ 961.63 963.52 c Restart #24 #Var: 282240 LB: 0 @ 963.18 976.28 c Restart #25 #Var: 282240 LB: 0 @ 975.93 980.77 c Restart #26 #Var: 282240 LB: 0 @ 980.43 981.92 c Restart #27 #Var: 282240 LB: 0 @ 981.57 983.17 c Restart #28 #Var: 282240 LB: 0 @ 982.83 987.20 c Restart #29 #Var: 282240 LB: 0 @ 986.85 988.25 c Restart #30 #Var: 282240 LB: 0 @ 987.91 989.47 c Restart #31 #Var: 282240 LB: 0 @ 989.12 990.61 c Restart #32 #Var: 282240 LB: 0 @ 990.26 991.90 c Restart #33 #Var: 282240 LB: 0 @ 991.55 995.90 c Restart #34 #Var: 282240 LB: 0 @ 995.54 996.93 c Restart #35 #Var: 282240 LB: 0 @ 996.58 998.23 c Restart #36 #Var: 282240 LB: 0 @ 997.88 1006.24 c Restart #37 #Var: 282240 LB: 0 @ 1005.9 1011.54 c Restart #38 #Var: 282240 LB: 0 @ 1011.2 1013.02 c Restart #39 #Var: 282240 LB: 0 @ 1012.7 1014.54 c Restart #40 #Var: 282240 LB: 0 @ 1014.2 1019.50 c Restart #41 #Var: 282240 LB: 0 @ 1019.1 1044.72 c Restart #42 #Var: 282240 LB: 0 @ 1044.4 1051.34 c Restart #43 #Var: 282240 LB: 0 @ 1051 1062.20 c Restart #44 #Var: 282240 LB: 0 @ 1061.8 1063.78 c Restart #45 #Var: 282240 LB: 0 @ 1063.4 1079.00 c Restart #46 #Var: 282240 LB: 0 @ 1078.6 1095.30 c Restart #47 #Var: 282240 LB: 0 @ 1094.9 1102.80 c Restart #48 #Var: 282240 LB: 0 @ 1102.4 1115.74 c Restart #49 #Var: 282240 LB: 0 @ 1115.3 1117.71 c Restart #50 #Var: 282240 LB: 0 @ 1117.3 1126.89 c Restart #51 #Var: 282240 LB: 0 @ 1126.5 1156.40 c Restart #52 #Var: 282240 LB: 0 @ 1156 1169.18 c Restart #53 #Var: 282240 LB: 0 @ 1168.8 1176.77 c Restart #54 #Var: 282240 LB: 0 @ 1176.4 1178.52 c Restart #55 #Var: 282240 LB: 0 @ 1178.1 1180.75 c Restart #56 #Var: 282240 LB: 0 @ 1180.3 1231.94 c Restart #57 #Var: 282240 LB: 0 @ 1231.5 1250.19 c Restart #58 #Var: 282240 LB: 0 @ 1249.8 1258.62 c Restart #59 #Var: 282240 LB: 0 @ 1258.2 1263.25 c Restart #60 #Var: 282240 LB: 0 @ 1262.8 1284.22 c Restart #61 #Var: 282240 LB: 0 @ 1283.8 1298.15 c Restart #62 #Var: 282240 LB: 0 @ 1297.7 1315.21 c Restart #63 #Var: 282240 LB: 0 @ 1314.8 1318.02 c Restart #64 #Var: 282240 LB: 0 @ 1317.6 1326.55 c Restart #65 #Var: 282240 LB: 0 @ 1326.1 1329.06 c Restart #66 #Var: 282240 LB: 0 @ 1328.6 1338.23 c Restart #67 #Var: 282240 LB: 0 @ 1337.8 1343.55 c Restart #68 #Var: 282240 LB: 0 @ 1343.1 1346.20 c Restart #69 #Var: 282240 LB: 0 @ 1345.7 1348.90 c Restart #70 #Var: 282240 LB: 0 @ 1348.4 1350.76 c Restart #71 #Var: 282240 LB: 0 @ 1350.3 1360.45 c Restart #72 #Var: 282240 LB: 0 @ 1360 1362.87 c Restart #73 #Var: 282240 LB: 0 @ 1362.4 1390.89 c Restart #74 #Var: 282240 LB: 0 @ 1390.4 1393.27 c Restart #75 #Var: 282240 LB: 0 @ 1392.8 1416.22 c Restart #76 #Var: 282240 LB: 0 @ 1415.7 1418.54 c Restart #77 #Var: 282240 LB: 0 @ 1418.1 1439.90 c Restart #78 #Var: 282240 LB: 0 @ 1439.4 1442.36 c Restart #79 #Var: 282240 LB: 0 @ 1441.9 1455.86 c Restart #80 #Var: 282240 LB: 0 @ 1455.4 1458.27 c Restart #81 #Var: 282240 LB: 0 @ 1457.8 1519.88 c Restart #82 #Var: 282240 LB: 0 @ 1519.4 1536.07 c Restart #83 #Var: 282240 LB: 0 @ 1535.5 1548.35 c Restart #84 #Var: 282240 LB: 0 @ 1547.8 1596.50 c Restart #85 #Var: 282240 LB: 0 @ 1596 1610.07 c Restart #86 #Var: 282240 LB: 0 @ 1609.5 1659.31 c Restart #87 #Var: 282240 LB: 0 @ 1658.7 1695.10 c Restart #88 #Var: 282240 LB: 0 @ 1694.5 1720.99 c Restart #89 #Var: 282240 LB: 0 @ 1720.4 1735.49 c Restart #90 #Var: 282240 LB: 0 @ 1734.9 1758.58 c Restart #91 #Var: 282240 LB: 0 @ 1758 1780.89 c Restart #92 #Var: 282240 LB: 0 @ 1780.3 1800.61 s UNKNOWN 1800.61 c Exit Code: 0 1800.62 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/node68/watcher-39938-1149336099 -o ROOT/results/node68/solver-39938-1149336099 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/39938-1149336099/instance-39938-1149336099.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.98 0.93 3/64 21653 /proc/meminfo: memFree=1610632/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=4928 CPUtime=0 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 301 0 0 0 0 0 0 0 18 0 1 0 199279547 5046272 270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 1232 282 189 55 0 124 0 [startup+10.0028 s] /proc/loadavg: 0.94 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1601744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=13636 CPUtime=9.98 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 2107474 0 0 0 426 572 0 0 25 0 1 0 199279547 13963264 2512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 3409 2521 277 55 0 2301 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 13636 [startup+20.0085 s] /proc/loadavg: 0.95 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1595984/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=19984 CPUtime=19.98 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 4224661 0 0 0 855 1143 0 0 25 0 1 0 199279547 20463616 4071 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 4996 4079 277 55 0 3888 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 19984 [startup+30.0152 s] /proc/loadavg: 0.95 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1590928/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=24872 CPUtime=29.98 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 6298055 0 0 0 1283 1715 0 0 25 0 1 0 199279547 25468928 5293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 6218 5301 277 55 0 5110 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 24872 [startup+40.0209 s] /proc/loadavg: 0.96 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1586384/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=30088 CPUtime=39.99 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 8252478 0 0 0 1715 2284 0 0 25 0 1 0 199279547 30810112 6420 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 7522 6427 277 55 0 6414 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 30088 [startup+50.0267 s] /proc/loadavg: 0.97 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1582864/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=33764 CPUtime=49.98 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 10213180 0 0 0 2150 2848 0 0 25 0 1 0 199279547 34574336 7321 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 8441 7328 277 55 0 7333 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 33764 [startup+60.0324 s] /proc/loadavg: 0.97 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1579280/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=37160 CPUtime=59.98 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 12122030 0 0 0 2578 3420 0 0 25 0 1 0 199279547 38051840 8249 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 9290 8257 277 55 0 8182 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 37160 [startup+70.0381 s] /proc/loadavg: 0.97 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1575696/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=40284 CPUtime=69.98 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 14001655 0 0 0 3012 3986 0 0 25 0 1 0 199279547 41250816 9100 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 10071 9107 277 55 0 8963 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 40284 [startup+80.0438 s] /proc/loadavg: 0.98 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1573008/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=43136 CPUtime=79.99 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 15845522 0 0 0 3442 4557 0 0 25 0 1 0 199279547 44171264 9909 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 10784 9909 415 55 0 9676 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 43136 [startup+90.0495 s] /proc/loadavg: 0.98 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1570192/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=45856 CPUtime=90 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 17660324 0 0 0 3876 5124 0 0 25 0 1 0 199279547 46956544 10561 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 11464 10568 277 55 0 10356 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 45856 [startup+100.055 s] /proc/loadavg: 0.98 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1567696/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=50436 CPUtime=99.99 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 19451287 0 0 0 4310 5689 0 0 25 0 1 0 199279547 51646464 11127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 12609 11136 277 55 0 11501 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 50436 [startup+110.061 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1564752/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=52752 CPUtime=110 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 21205073 0 0 0 4746 6254 0 0 25 0 1 0 199279547 54018048 11839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 13188 11845 277 55 0 12080 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 52752 [startup+120.067 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1562512/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=55060 CPUtime=120 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 22971350 0 0 0 5165 6835 0 0 25 0 1 0 199279547 56381440 12360 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 13765 12367 277 55 0 12657 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 55060 [startup+130.072 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1560464/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=57368 CPUtime=129.99 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 24720977 0 0 0 5595 7404 0 0 25 0 1 0 199279547 58744832 12865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 14342 12865 277 55 0 13234 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 57368 [startup+140.078 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1557520/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=59544 CPUtime=140 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 26478599 0 0 0 6020 7980 0 0 25 0 1 0 199279547 60973056 13589 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 14886 13595 277 55 0 13778 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 59544 [startup+150.084 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1555408/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=61580 CPUtime=150.01 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 28205593 0 0 0 6450 8551 0 0 25 0 1 0 199279547 63057920 14049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 15395 14056 277 55 0 14287 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 61580 [startup+160.09 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1553552/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=63484 CPUtime=160 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 29928347 0 0 0 6876 9124 0 0 25 0 1 0 199279547 65007616 14471 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 15871 14471 277 55 0 14763 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 63484 [startup+170.095 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1551760/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=65528 CPUtime=170 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 31721038 0 0 0 7295 9705 0 0 25 0 1 0 199279547 67100672 15091 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 16382 15098 277 55 0 15274 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 65528 [startup+180.101 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1421328/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=194256 CPUtime=180 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32479352 0 0 0 8026 9974 0 0 25 0 1 0 199279547 198918144 47654 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 48564 47654 281 55 0 47456 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 194256 [startup+190.107 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1220304/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=398112 CPUtime=190 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32530510 0 0 0 9003 9997 0 0 25 0 1 0 199279547 407666688 97809 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 99528 97809 281 55 0 98420 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 398112 [startup+200.113 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1042256/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=582684 CPUtime=200.01 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32574962 0 0 0 9970 10031 0 0 25 0 1 0 199279547 596668416 142261 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541442 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 145671 142261 297 55 0 144563 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 582684 [startup+210.118 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1041552/2055920 swapFree=4182304/4192956 ################ # More data... # ################ /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1760.41 Current children cumulated vsize (Kb) 612368 [startup+1771.03 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1770.42 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 166600 10442 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718470 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1770.42 Current children cumulated vsize (Kb) 612368 [startup+1781.04 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1780.43 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 167599 10444 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1780.43 Current children cumulated vsize (Kb) 612368 [startup+1782.04 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1781.43 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 167699 10444 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (Kb) 612368 [startup+1783.05 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1782.43 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 167799 10444 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1782.43 Current children cumulated vsize (Kb) 612368 [startup+1784.05 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1783.44 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 167900 10444 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1783.44 Current children cumulated vsize (Kb) 612368 [startup+1785.06 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1784.44 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 168000 10444 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1784.44 Current children cumulated vsize (Kb) 612368 [startup+1786.06 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1785.44 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 168100 10444 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557740 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1785.44 Current children cumulated vsize (Kb) 612368 [startup+1787.07 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1786.45 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 168201 10444 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1786.45 Current children cumulated vsize (Kb) 612368 [startup+1788.07 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1787.45 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 168301 10444 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548233 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1787.45 Current children cumulated vsize (Kb) 612368 [startup+1789.08 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1788.46 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 168402 10444 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550967 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 612368 [startup+1790.08 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1789.46 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 168502 10444 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (Kb) 612368 [startup+1791.09 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1790.46 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 168602 10444 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1790.46 Current children cumulated vsize (Kb) 612368 [startup+1792.09 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1791.47 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 168703 10444 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (Kb) 612368 [startup+1793.1 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1792.48 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 168803 10445 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 612368 [startup+1794.1 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1793.49 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 168904 10445 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542172 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1793.49 Current children cumulated vsize (Kb) 612368 [startup+1795.11 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1794.49 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 169004 10445 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (Kb) 612368 [startup+1796.11 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1795.49 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 169104 10445 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1795.49 Current children cumulated vsize (Kb) 612368 [startup+1797.11 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1796.5 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 169205 10445 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134598983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1796.5 Current children cumulated vsize (Kb) 612368 [startup+1798.12 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1797.5 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 169305 10445 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1797.5 Current children cumulated vsize (Kb) 612368 [startup+1799.12 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1798.5 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 169405 10445 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 612368 [startup+1800.13 s] /proc/loadavg: 0.99 0.98 0.93 2/64 21653 /proc/meminfo: memFree=1009744/2055920 swapFree=4182304/4192956 [pid=21653] ppid=21651 vsize=612368 CPUtime=1799.51 /proc/21653/stat : 21653 (bsolo) R 21651 21653 21607 0 -1 0 32587634 0 0 0 169506 10445 0 0 25 0 1 0 199279547 627064832 150259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134531474 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21653/statm: 153092 150259 297 55 0 151984 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (Kb) 612368 Child status: 0 Real time (s): 1800.71 CPU time (s): 1800.1 CPU user time (s): 1695.55 CPU system time (s): 104.547 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (Kb): 612368
Begin job on node68 on Sat Jun 3 12:01:40 UTC 2006 FILE ID= 39938-1149336099 PBS_JOBID= 310151 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-maros-r7.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/39938-1149336099/instance-39938-1149336099.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-39938-1149336099 -o ROOT/results/node68/solver-39938-1149336099 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/39938-1149336099/instance-39938-1149336099.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 24e8096a6d8928e5a9e214fdf85bd87e RANDOM SEED= 97134884 /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.279 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.279 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1610840 kB Buffers: 7136 kB Cached: 375440 kB SwapCached: 2168 kB Active: 95656 kB Inactive: 295464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1610840 kB SwapTotal: 4192956 kB SwapFree: 4182304 kB Dirty: 148 kB Writeback: 0 kB Mapped: 15504 kB Slab: 39964 kB Committed_AS: 301152 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node68 on Sat Jun 3 12:31:41 UTC 2006