Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.16 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-grow15.opb |
MD5SUM | 85af08260bc54f31465e48eb0563bdd8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 17130 |
Total number of constraints | 900 |
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 | 900 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 1335 |
Biggest coefficient in the objective function | 12744 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 525285 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 256781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525285 |
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.02 c INFO: OSL Context initialized. 0.77 c Initial problem consists of 17130 variables and 1200 constraints. 0.87 c No problem reductions applied in OPT. instance. 0.87 c preprocess terminated. Elapsed time: 0.86 0.87 c After prepocess the problem consists of 17130 variables and 1200 constraints. 0.87 c Initial Lower Bound: -525285 1.94 c Restart #1 #Var: 17130 LB: -525285 @ 1.926 3.36 c Restart #2 #Var: 17130 LB: -525285 @ 3.347 5.44 c Restart #3 #Var: 17130 LB: -525285 @ 5.43 8.06 c Restart #4 #Var: 17130 LB: -525285 @ 8.042 11.32 c Restart #5 #Var: 17130 LB: -525285 @ 11.297 15.43 c Restart #6 #Var: 17130 LB: -525285 @ 15.409 18.46 c Restart #7 #Var: 17130 LB: -525285 @ 18.439 20.57 c Restart #8 #Var: 17130 LB: -525285 @ 20.544 23.85 c Restart #9 #Var: 17130 LB: -525285 @ 23.823 25.23 c Restart #10 #Var: 17130 LB: -525285 @ 25.208 25.64 c Restart #11 #Var: 17127 LB: -525285 @ 25.612 26.02 c Restart #12 #Var: 17127 LB: -525285 @ 25.999 27.13 c Restart #13 #Var: 17121 LB: -525285 @ 27.103 27.66 c Restart #14 #Var: 17121 LB: -525285 @ 27.639 28.13 c Restart #15 #Var: 17120 LB: -525285 @ 28.101 28.95 c Restart #16 #Var: 17120 LB: -525285 @ 28.923 29.62 c Restart #17 #Var: 17119 LB: -525285 @ 29.594 30.66 c Restart #18 #Var: 17119 LB: -525285 @ 30.638 31.91 c Restart #19 #Var: 17119 LB: -525285 @ 31.881 33.50 c Restart #20 #Var: 17119 LB: -525285 @ 33.474 35.98 c Restart #21 #Var: 17119 LB: -525285 @ 35.955 38.04 c Restart #22 #Var: 17117 LB: -525285 @ 38.014 39.31 c Restart #23 #Var: 17115 LB: -525285 @ 39.28 41.44 c Restart #24 #Var: 17115 LB: -525285 @ 41.407 44.06 c Restart #25 #Var: 17115 LB: -525285 @ 44.028 46.59 c Restart #26 #Var: 17114 LB: -525285 @ 46.564 49.69 c Restart #27 #Var: 17113 LB: -525285 @ 49.654 53.21 c Restart #28 #Var: 17113 LB: -525285 @ 53.176 56.78 c Restart #29 #Var: 17113 LB: -525285 @ 56.749 60.76 c Restart #30 #Var: 17113 LB: -525285 @ 60.727 65.57 c Restart #31 #Var: 17113 LB: -525285 @ 65.532 69.74 c Restart #32 #Var: 17112 LB: -525285 @ 69.702 73.58 c Restart #33 #Var: 17112 LB: -525285 @ 73.544 77.77 c Restart #34 #Var: 17111 LB: -525285 @ 77.733 81.28 c Restart #35 #Var: 17111 LB: -525285 @ 81.236 84.80 c Restart #36 #Var: 17111 LB: -525285 @ 84.761 89.31 c Restart #37 #Var: 17111 LB: -525285 @ 89.263 94.51 c Restart #38 #Var: 17111 LB: -525285 @ 94.467 102.52 c Restart #39 #Var: 17111 LB: -525285 @ 102.47 107.94 c Restart #40 #Var: 17111 LB: -525285 @ 107.89 117.10 c Restart #41 #Var: 17111 LB: -525285 @ 117.05 124.99 c Restart #42 #Var: 17111 LB: -525285 @ 124.94 134.90 c Restart #43 #Var: 17111 LB: -525285 @ 134.84 149.27 c Restart #44 #Var: 17111 LB: -525285 @ 149.21 162.10 c Restart #45 #Var: 17111 LB: -525285 @ 162.03 175.13 c Restart #46 #Var: 17111 LB: -525285 @ 175.06 186.03 c Restart #47 #Var: 17111 LB: -525285 @ 185.95 203.98 c Restart #48 #Var: 17111 LB: -525285 @ 203.9 218.27 c Restart #49 #Var: 17111 LB: -525285 @ 218.19 235.45 c Restart #50 #Var: 17111 LB: -525285 @ 235.36 264.02 c Restart #51 #Var: 17111 LB: -525285 @ 263.93 291.24 c Restart #52 #Var: 17111 LB: -525285 @ 291.13 315.68 c Restart #53 #Var: 17111 LB: -525285 @ 315.57 336.56 c Restart #54 #Var: 17111 LB: -525285 @ 336.44 345.14 c Restart #55 #Var: 17111 LB: -525285 @ 345.01 362.02 c Restart #56 #Var: 17111 LB: -525285 @ 361.89 381.53 c Restart #57 #Var: 17111 LB: -525285 @ 381.39 418.88 c Restart #58 #Var: 17111 LB: -525285 @ 418.73 460.11 c Restart #59 #Var: 17111 LB: -525285 @ 459.95 503.24 c Restart #60 #Var: 17111 LB: -525285 @ 503.06 526.26 c Restart #61 #Var: 17111 LB: -525285 @ 526.08 557.48 c Restart #62 #Var: 17111 LB: -525285 @ 557.29 585.69 c Restart #63 #Var: 17111 LB: -525285 @ 585.49 630.24 c Restart #64 #Var: 17111 LB: -525285 @ 630.02 650.84 c Restart #65 #Var: 17111 LB: -525285 @ 650.62 694.10 c Restart #66 #Var: 17111 LB: -525285 @ 693.86 729.11 c Restart #67 #Var: 17111 LB: -525285 @ 728.86 788.39 c Restart #68 #Var: 17111 LB: -525285 @ 788.12 832.67 c Restart #69 #Var: 17111 LB: -525285 @ 832.39 853.45 c Restart #70 #Var: 17111 LB: -525285 @ 853.17 879.24 c Restart #71 #Var: 17111 LB: -525285 @ 878.95 924.00 c CHANGE Heuristic... 924.00 c Restart #0 #Var: 17111 LB: -525285 @ 923.69 924.14 c Restart #1 #Var: 17111 LB: -525285 @ 923.83 924.23 c Restart #2 #Var: 17110 LB: -525285 @ 923.92 924.34 c Restart #3 #Var: 17108 LB: -525285 @ 924.02 924.51 c Restart #4 #Var: 17107 LB: -525285 @ 924.2 924.76 c Restart #5 #Var: 17107 LB: -525285 @ 924.45 925.00 c Restart #6 #Var: 17106 LB: -525285 @ 924.69 925.30 c Restart #7 #Var: 17106 LB: -525285 @ 924.99 925.70 c Restart #8 #Var: 17105 LB: -525285 @ 925.39 926.15 c Restart #9 #Var: 17105 LB: -525285 @ 925.84 926.72 c Restart #10 #Var: 17105 LB: -525285 @ 926.41 927.32 c Restart #11 #Var: 17105 LB: -525285 @ 927.01 928.11 c Restart #12 #Var: 17105 LB: -525285 @ 927.8 929.05 c Restart #13 #Var: 17105 LB: -525285 @ 928.74 930.02 c Restart #14 #Var: 17105 LB: -525285 @ 929.7 930.98 c Restart #15 #Var: 17105 LB: -525285 @ 930.66 932.42 c Restart #16 #Var: 17105 LB: -525285 @ 932.11 933.43 c Restart #17 #Var: 17105 LB: -525285 @ 933.12 934.81 c Restart #18 #Var: 17105 LB: -525285 @ 934.5 936.25 c Restart #19 #Var: 17105 LB: -525285 @ 935.94 937.80 c Restart #20 #Var: 17105 LB: -525285 @ 937.48 939.57 c Restart #21 #Var: 17105 LB: -525285 @ 939.25 941.35 c Restart #22 #Var: 17105 LB: -525285 @ 941.04 943.15 c Restart #23 #Var: 17105 LB: -525285 @ 942.84 946.03 c Restart #24 #Var: 17105 LB: -525285 @ 945.72 948.52 c Restart #25 #Var: 17105 LB: -525285 @ 948.2 952.20 c Restart #26 #Var: 17105 LB: -525285 @ 951.88 955.79 c Restart #27 #Var: 17105 LB: -525285 @ 955.47 960.06 c Restart #28 #Var: 17105 LB: -525285 @ 959.74 964.37 c Restart #29 #Var: 17105 LB: -525285 @ 964.04 969.22 c Restart #30 #Var: 17105 LB: -525285 @ 968.89 972.43 c Restart #31 #Var: 17105 LB: -525285 @ 972.1 975.84 c Restart #32 #Var: 17105 LB: -525285 @ 975.51 981.94 c Restart #33 #Var: 17105 LB: -525285 @ 981.61 986.82 c Restart #34 #Var: 17105 LB: -525285 @ 986.49 991.98 c Restart #35 #Var: 17105 LB: -525285 @ 991.64 998.23 c Restart #36 #Var: 17105 LB: -525285 @ 997.9 1004.85 c Restart #37 #Var: 17105 LB: -525285 @ 1004.5 1012.15 c Restart #38 #Var: 17105 LB: -525285 @ 1011.8 1022.19 c Restart #39 #Var: 17105 LB: -525285 @ 1021.8 1028.19 c Restart #40 #Var: 17105 LB: -525285 @ 1027.8 1038.98 c Restart #41 #Var: 17105 LB: -525285 @ 1038.6 1048.47 c Restart #42 #Var: 17105 LB: -525285 @ 1048.1 1059.44 c Restart #43 #Var: 17105 LB: -525285 @ 1059.1 1073.93 c Restart #44 #Var: 17105 LB: -525285 @ 1073.6 1091.02 c Restart #45 #Var: 17105 LB: -525285 @ 1090.7 1104.43 c Restart #46 #Var: 17105 LB: -525285 @ 1104.1 1112.86 c Restart #47 #Var: 17105 LB: -525285 @ 1112.5 1123.97 c Restart #48 #Var: 17105 LB: -525285 @ 1123.6 1136.04 c Restart #49 #Var: 17105 LB: -525285 @ 1135.7 1147.86 c Restart #50 #Var: 17105 LB: -525285 @ 1147.5 1172.07 c Restart #51 #Var: 17105 LB: -525285 @ 1171.7 1184.82 c Restart #52 #Var: 17105 LB: -525285 @ 1184.4 1202.75 c Restart #53 #Var: 17105 LB: -525285 @ 1202.3 1220.45 c Restart #54 #Var: 17105 LB: -525285 @ 1220 1234.87 c Restart #55 #Var: 17105 LB: -525285 @ 1234.5 1249.48 c Restart #56 #Var: 17105 LB: -525285 @ 1249.1 1266.30 c Restart #57 #Var: 17105 LB: -525285 @ 1265.9 1275.91 c Restart #58 #Var: 17105 LB: -525285 @ 1275.5 1289.40 c Restart #59 #Var: 17105 LB: -525285 @ 1289 1301.95 c Restart #60 #Var: 17105 LB: -525285 @ 1301.5 1321.29 c Restart #61 #Var: 17105 LB: -525285 @ 1320.9 1354.30 c Restart #62 #Var: 17105 LB: -525285 @ 1353.9 1377.78 c Restart #63 #Var: 17105 LB: -525285 @ 1377.3 1398.05 c Restart #64 #Var: 17105 LB: -525285 @ 1397.6 1420.39 c Restart #65 #Var: 17105 LB: -525285 @ 1419.9 1441.34 c Restart #66 #Var: 17105 LB: -525285 @ 1440.9 1480.72 c Restart #67 #Var: 17105 LB: -525285 @ 1480.2 1511.53 c Restart #68 #Var: 17105 LB: -525285 @ 1511 1534.65 c Restart #69 #Var: 17105 LB: -525285 @ 1534.1 1554.51 c Restart #70 #Var: 17105 LB: -525285 @ 1554 1573.55 c Restart #71 #Var: 17105 LB: -525285 @ 1573 1594.15 c Restart #72 #Var: 17105 LB: -525285 @ 1593.6 1626.98 c Restart #73 #Var: 17105 LB: -525285 @ 1626.4 1668.61 c Restart #74 #Var: 17105 LB: -525285 @ 1668.1 1700.67 c Restart #75 #Var: 17105 LB: -525285 @ 1700.1 1715.63 c Restart #76 #Var: 17105 LB: -525285 @ 1715.1 1747.28 c Restart #77 #Var: 17105 LB: -525285 @ 1746.7 1797.20 c Restart #78 #Var: 17105 LB: -525285 @ 1796.6 1800.60 s UNKNOWN 1800.60 c Exit Code: 0 1800.60 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/node29/watcher-39912-1149329577 -o ROOT/results/node29/solver-39912-1149329577 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/39912-1149329577/instance-39912-1149329577.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.97 3/64 20237 /proc/meminfo: memFree=1831016/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=4748 CPUtime=0 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 234 0 0 0 0 0 0 0 18 0 1 0 198621246 4861952 204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4157852912 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 1187 212 153 55 0 79 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.95 0.97 2/64 20237 /proc/meminfo: memFree=1800952/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=35180 CPUtime=9.98 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 8101 0 0 0 969 29 0 0 25 0 1 0 198621246 36024320 7831 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 8795 7831 297 55 0 7687 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 35180 [startup+20.0085 s] /proc/loadavg: 0.94 0.96 0.97 2/64 20237 /proc/meminfo: memFree=1800760/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=35444 CPUtime=19.98 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 8150 0 0 0 1938 60 0 0 25 0 1 0 198621246 36294656 7880 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548246 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 8861 7880 297 55 0 7753 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 35444 [startup+30.0149 s] /proc/loadavg: 0.95 0.96 0.97 2/64 20237 /proc/meminfo: memFree=1785336/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=50752 CPUtime=29.98 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 11993 0 0 0 2923 75 0 0 25 0 1 0 198621246 51970048 11723 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 12688 11723 297 55 0 11580 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 50752 [startup+40.0204 s] /proc/loadavg: 0.95 0.96 0.97 2/64 20237 /proc/meminfo: memFree=1764792/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=71340 CPUtime=39.98 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 17141 0 0 0 3916 82 0 0 25 0 1 0 198621246 73052160 16871 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 17835 16871 297 55 0 16727 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 71340 [startup+50.0268 s] /proc/loadavg: 0.96 0.96 0.97 2/64 20237 /proc/meminfo: memFree=1747896/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=88276 CPUtime=49.98 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 21348 0 0 0 4909 89 0 0 25 0 1 0 198621246 90394624 21078 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 22069 21078 297 55 0 20961 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 88276 [startup+60.0322 s] /proc/loadavg: 0.97 0.96 0.97 2/64 20237 /proc/meminfo: memFree=1732472/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=103584 CPUtime=59.99 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 25193 0 0 0 5905 94 0 0 25 0 1 0 198621246 106070016 24923 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 25896 24923 297 55 0 24788 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 103584 [startup+70.0386 s] /proc/loadavg: 0.97 0.96 0.97 2/64 20237 /proc/meminfo: memFree=1719352/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=116780 CPUtime=69.99 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 28472 0 0 0 6900 99 0 0 25 0 1 0 198621246 119582720 28202 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 29195 28202 297 55 0 28087 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 116780 [startup+80.044 s] /proc/loadavg: 0.98 0.96 0.97 2/64 20237 /proc/meminfo: memFree=1705592/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=130388 CPUtime=80 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 31898 0 0 0 7896 104 0 0 25 0 1 0 198621246 133517312 31628 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 32597 31628 297 55 0 31489 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 130388 [startup+90.0494 s] /proc/loadavg: 0.98 0.96 0.97 2/64 20237 /proc/meminfo: memFree=1684856/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=151228 CPUtime=90 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 37079 0 0 0 8889 111 0 0 25 0 1 0 198621246 154857472 36809 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 37807 36809 297 55 0 36699 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 151228 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.97 2/64 20237 /proc/meminfo: memFree=1673336/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=162584 CPUtime=100 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 39942 0 0 0 9885 115 0 0 25 0 1 0 198621246 166486016 39672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 40646 39672 297 55 0 39538 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 162584 [startup+110.06 s] /proc/loadavg: 0.98 0.96 0.97 2/64 20237 /proc/meminfo: memFree=1663608/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=172352 CPUtime=110 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 42374 0 0 0 10881 119 0 0 25 0 1 0 198621246 176488448 42104 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 43088 42104 297 55 0 41980 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 172352 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20237 /proc/meminfo: memFree=1654520/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=181488 CPUtime=120 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 44636 0 0 0 11877 123 0 0 25 0 1 0 198621246 185843712 44366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534147 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 45372 44366 297 55 0 44264 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 181488 [startup+130.071 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20237 /proc/meminfo: memFree=1644920/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=190992 CPUtime=130.01 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 47027 0 0 0 12874 127 0 0 25 0 1 0 198621246 195575808 46757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534013 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 47748 46757 297 55 0 46640 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 190992 [startup+140.077 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20237 /proc/meminfo: memFree=1638456/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=197456 CPUtime=140.01 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 48651 0 0 0 13871 130 0 0 25 0 1 0 198621246 202194944 48381 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 49364 48381 297 55 0 48256 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 197456 [startup+150.082 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20237 /proc/meminfo: memFree=1630136/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=205772 CPUtime=150.01 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 50715 0 0 0 14869 132 0 0 25 0 1 0 198621246 210710528 50445 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 51443 50445 297 55 0 50335 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 205772 [startup+160.087 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20237 /proc/meminfo: memFree=1622968/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=212904 CPUtime=160.01 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 52511 0 0 0 15867 134 0 0 25 0 1 0 198621246 218013696 52241 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 53226 52241 297 55 0 52118 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 212904 [startup+170.093 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20237 /proc/meminfo: memFree=1615736/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=220188 CPUtime=170.02 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 54320 0 0 0 16865 137 0 0 25 0 1 0 198621246 225472512 54050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 55047 54050 297 55 0 53939 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 220188 [startup+180.098 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20237 /proc/meminfo: memFree=1609208/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=226656 CPUtime=180.02 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 55940 0 0 0 17862 140 0 0 25 0 1 0 198621246 232095744 55670 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 56664 55670 297 55 0 55556 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 226656 [startup+190.104 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20237 /proc/meminfo: memFree=1603320/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=232604 CPUtime=190.01 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 57406 0 0 0 18859 142 0 0 25 0 1 0 198621246 238186496 57136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 58151 57136 297 55 0 57043 0 Current children cumulated CPU time (s) 190.01 Current children cumulated vsize (Kb) 232604 [startup+200.109 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20237 /proc/meminfo: memFree=1598392/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=237488 CPUtime=200.02 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 58648 0 0 0 19858 144 0 0 25 0 1 0 198621246 243187712 58378 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 59372 58378 297 55 0 58264 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 237488 [startup+210.114 s] /proc/loadavg: 0.99 0.97 0.97 2/64 20237 /proc/meminfo: memFree=1591544/2055920 swapFree=4181376/4192956 ################ # More data... # ################ /proc/20237/statm: 250071 248319 297 55 0 248963 0 Current children cumulated CPU time (s) 1760.39 Current children cumulated vsize (Kb) 1000284 [startup+1770.98 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=835000/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1002124 CPUtime=1770.4 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 249210 0 0 0 176570 470 0 0 25 0 1 0 198621246 1026174976 248773 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 250531 248773 297 55 0 249423 0 Current children cumulated CPU time (s) 1770.4 Current children cumulated vsize (Kb) 1002124 [startup+1780.99 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=831928/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1005160 CPUtime=1780.4 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 249978 0 0 0 177569 471 0 0 25 0 1 0 198621246 1029283840 249540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 251290 249540 297 55 0 250182 0 Current children cumulated CPU time (s) 1780.4 Current children cumulated vsize (Kb) 1005160 [startup+1782 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=831672/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1005424 CPUtime=1781.4 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250042 0 0 0 177669 471 0 0 25 0 1 0 198621246 1029554176 249604 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 251356 249604 297 55 0 250248 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 1005424 [startup+1783 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=831416/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1005688 CPUtime=1782.4 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250099 0 0 0 177769 471 0 0 25 0 1 0 198621246 1029824512 249661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 251422 249661 297 55 0 250314 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (Kb) 1005688 [startup+1784 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=831224/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1005952 CPUtime=1783.41 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250155 0 0 0 177870 471 0 0 25 0 1 0 198621246 1030094848 249717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 251488 249717 297 55 0 250380 0 Current children cumulated CPU time (s) 1783.41 Current children cumulated vsize (Kb) 1005952 [startup+1785.01 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=830904/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1006216 CPUtime=1784.42 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250239 0 0 0 177970 472 0 0 25 0 1 0 198621246 1030365184 249801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534870 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 251554 249801 297 55 0 250446 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 1006216 [startup+1786.01 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=830584/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1006612 CPUtime=1785.42 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250320 0 0 0 178070 472 0 0 25 0 1 0 198621246 1030770688 249882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 251653 249882 297 55 0 250545 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 1006612 [startup+1787.02 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=830392/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1006744 CPUtime=1786.43 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250363 0 0 0 178171 472 0 0 25 0 1 0 198621246 1030905856 249925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 251686 249925 297 55 0 250578 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 1006744 [startup+1788.03 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=830136/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1007008 CPUtime=1787.43 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250421 0 0 0 178271 472 0 0 25 0 1 0 198621246 1031176192 249983 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 251752 249983 297 55 0 250644 0 Current children cumulated CPU time (s) 1787.43 Current children cumulated vsize (Kb) 1007008 [startup+1789.03 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=829880/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1007272 CPUtime=1788.44 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250492 0 0 0 178372 472 0 0 25 0 1 0 198621246 1031446528 250054 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 251818 250054 297 55 0 250710 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 1007272 [startup+1790.03 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=829560/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1007536 CPUtime=1789.44 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250572 0 0 0 178472 472 0 0 25 0 1 0 198621246 1031716864 250134 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 251884 250134 297 55 0 250776 0 Current children cumulated CPU time (s) 1789.44 Current children cumulated vsize (Kb) 1007536 [startup+1791.04 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=829176/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1007932 CPUtime=1790.44 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250660 0 0 0 178572 472 0 0 25 0 1 0 198621246 1032122368 250222 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 251983 250222 297 55 0 250875 0 Current children cumulated CPU time (s) 1790.44 Current children cumulated vsize (Kb) 1007932 [startup+1792.04 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=829048/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1008064 CPUtime=1791.45 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250695 0 0 0 178673 472 0 0 25 0 1 0 198621246 1032257536 250257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 252016 250257 297 55 0 250908 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (Kb) 1008064 [startup+1793.05 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=828920/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1008196 CPUtime=1792.45 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250733 0 0 0 178773 472 0 0 25 0 1 0 198621246 1032392704 250295 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 252049 250295 297 55 0 250941 0 Current children cumulated CPU time (s) 1792.45 Current children cumulated vsize (Kb) 1008196 [startup+1794.05 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=828664/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1008460 CPUtime=1793.46 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250788 0 0 0 178874 472 0 0 25 0 1 0 198621246 1032663040 250350 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 252115 250350 297 55 0 251007 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 1008460 [startup+1795.06 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=828472/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1008592 CPUtime=1794.46 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250834 0 0 0 178974 472 0 0 25 0 1 0 198621246 1032798208 250396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 252148 250396 297 55 0 251040 0 Current children cumulated CPU time (s) 1794.46 Current children cumulated vsize (Kb) 1008592 [startup+1796.06 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=828408/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1008724 CPUtime=1795.47 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250861 0 0 0 179074 473 0 0 25 0 1 0 198621246 1032933376 250423 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 252181 250423 297 55 0 251073 0 Current children cumulated CPU time (s) 1795.47 Current children cumulated vsize (Kb) 1008724 [startup+1797.07 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=828280/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1008856 CPUtime=1796.48 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250887 0 0 0 179175 473 0 0 25 0 1 0 198621246 1033068544 250449 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 252214 250449 297 55 0 251106 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 1008856 [startup+1798.07 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=828216/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1008988 CPUtime=1797.48 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250910 0 0 0 179275 473 0 0 25 0 1 0 198621246 1033203712 250472 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 252247 250472 297 55 0 251139 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 1008988 [startup+1799.08 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=827896/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1009252 CPUtime=1798.48 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 250988 0 0 0 179375 473 0 0 25 0 1 0 198621246 1033474048 250550 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 252313 250550 297 55 0 251205 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 1009252 [startup+1800.08 s] /proc/loadavg: 1.00 0.99 0.98 2/64 20239 /proc/meminfo: memFree=827640/2055920 swapFree=4181376/4192956 [pid=20237] ppid=20235 vsize=1009516 CPUtime=1799.49 /proc/20237/stat : 20237 (bsolo) R 20235 20237 20191 0 -1 0 251047 0 0 0 179476 473 0 0 25 0 1 0 198621246 1033744384 250609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20237/statm: 252379 250609 297 55 0 251271 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 1009516 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.16 CPU user time (s): 1795.27 CPU system time (s): 4.89026 CPU usage (%): 99.9671 Max. virtual memory (cumulated for all children) (Kb): 1009516
Begin job on node29 on Sat Jun 3 10:12:57 UTC 2006 FILE ID= 39912-1149329577 PBS_JOBID= 309809 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-grow15.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/39912-1149329577/instance-39912-1149329577.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-39912-1149329577 -o ROOT/results/node29/solver-39912-1149329577 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/39912-1149329577/instance-39912-1149329577.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 85af08260bc54f31465e48eb0563bdd8 RANDOM SEED= 721207155 /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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1831288 kB Buffers: 20404 kB Cached: 141328 kB SwapCached: 3236 kB Active: 24220 kB Inactive: 146156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1831288 kB SwapTotal: 4192956 kB SwapFree: 4181376 kB Dirty: 76 kB Writeback: 0 kB Mapped: 14716 kB Slab: 40212 kB Committed_AS: 338236 kB PageTables: 1504 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node29 on Sat Jun 3 10:42:57 UTC 2006