Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.3 | 1801.08 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib3/normalized-reduced-mps-v2-20-10-gesa3_o.opb |
MD5SUM | b55f7a8b0d45bfbc16cf27babcf41177 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 798 |
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 | 474 |
Optimality of the best value was proved | NO |
Number of variables | 15504 |
Total number of constraints | 1416 |
Number of constraints which are clauses | 168 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1248 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 311 |
Number of terms in the objective function | 8784 |
Biggest coefficient in the objective function | 1523 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 531096 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531096 |
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.35 c Initial problem consists of 15504 variables and 1536 constraints. 0.40 c No problem reductions applied in OPT. instance. 0.40 c preprocess terminated. Elapsed time: 0.388 0.40 c After prepocess the problem consists of 9000 variables and 1536 constraints. 0.40 c Initial Lower Bound: 0 0.60 c Restart #1 #Var: 9000 LB: 0 @ 0.595 0.80 c Restart #2 #Var: 9000 LB: 0 @ 0.793 0.99 c Restart #3 #Var: 9000 LB: 0 @ 0.979 1.20 c Restart #4 #Var: 9000 LB: 0 @ 1.19 1.45 c Restart #5 #Var: 9000 LB: 0 @ 1.44 1.70 c Restart #6 #Var: 9000 LB: 0 @ 1.686 1.96 c Restart #7 #Var: 9000 LB: 0 @ 1.951 2.25 c Restart #8 #Var: 9000 LB: 0 @ 2.24 3.86 c Restart #9 #Var: 8999 LB: 0 @ 3.847 4.18 c Restart #10 #Var: 8999 LB: 0 @ 4.165 4.50 c Restart #11 #Var: 8999 LB: 0 @ 4.485 4.83 c Restart #12 #Var: 8996 LB: 0 @ 4.816 5.15 c Restart #13 #Var: 8993 LB: 0 @ 5.14 5.36 c Restart #14 #Var: 8993 LB: 0 @ 5.35 5.89 c Restart #15 #Var: 8991 LB: 0 @ 5.875 6.26 c Restart #16 #Var: 8991 LB: 0 @ 6.251 6.62 c Restart #17 #Var: 8991 LB: 0 @ 6.606 6.94 c Restart #18 #Var: 8991 LB: 0 @ 6.926 7.21 c Restart #19 #Var: 8991 LB: 0 @ 7.191 7.64 c Restart #20 #Var: 8991 LB: 0 @ 7.629 8.86 c Restart #21 #Var: 8990 LB: 0 @ 8.843 9.30 c Restart #22 #Var: 8989 LB: 0 @ 9.284 10.09 c Restart #23 #Var: 8988 LB: 0 @ 10.074 10.67 c Restart #24 #Var: 8988 LB: 0 @ 10.656 11.00 c Restart #25 #Var: 8988 LB: 0 @ 10.988 11.40 c Restart #26 #Var: 8988 LB: 0 @ 11.384 11.93 c Restart #27 #Var: 8988 LB: 0 @ 11.916 13.01 c Restart #28 #Var: 8988 LB: 0 @ 12.994 13.66 c Restart #29 #Var: 8988 LB: 0 @ 13.642 14.20 c Restart #30 #Var: 8988 LB: 0 @ 14.185 14.64 c Restart #31 #Var: 8988 LB: 0 @ 14.622 15.37 c Restart #32 #Var: 8988 LB: 0 @ 15.352 16.35 c Restart #33 #Var: 8986 LB: 0 @ 16.328 17.06 c Restart #34 #Var: 8986 LB: 0 @ 17.039 17.69 c Restart #35 #Var: 8986 LB: 0 @ 17.67 19.34 c Restart #36 #Var: 8985 LB: 0 @ 19.32 19.84 c Restart #37 #Var: 8985 LB: 0 @ 19.819 21.52 c Restart #38 #Var: 8985 LB: 0 @ 21.497 22.64 c Restart #39 #Var: 8985 LB: 0 @ 22.621 24.04 c Restart #40 #Var: 8984 LB: 0 @ 24.022 25.83 c Restart #41 #Var: 8979 LB: 0 @ 25.812 27.87 c Restart #42 #Var: 8978 LB: 0 @ 27.848 33.07 c Restart #43 #Var: 8978 LB: 0 @ 33.05 34.61 c Restart #44 #Var: 8978 LB: 0 @ 34.583 41.15 c Restart #45 #Var: 8975 LB: 0 @ 41.123 45.48 c Restart #46 #Var: 8974 LB: 0 @ 45.455 49.70 c Restart #47 #Var: 8973 LB: 0 @ 49.672 52.79 c Restart #48 #Var: 8973 LB: 0 @ 52.756 54.04 c Restart #49 #Var: 8973 LB: 0 @ 54.009 59.26 c Restart #50 #Var: 8972 LB: 0 @ 59.226 66.01 c Restart #51 #Var: 8971 LB: 0 @ 65.973 67.46 c Restart #52 #Var: 8971 LB: 0 @ 67.418 71.71 c Restart #53 #Var: 8971 LB: 0 @ 71.674 92.53 c Restart #54 #Var: 8970 LB: 0 @ 92.484 98.08 c Restart #55 #Var: 8966 LB: 0 @ 98.037 99.35 c Restart #56 #Var: 8966 LB: 0 @ 99.302 103.77 c Restart #57 #Var: 8966 LB: 0 @ 103.72 105.61 c Restart #58 #Var: 8965 LB: 0 @ 105.56 107.86 c Restart #59 #Var: 8965 LB: 0 @ 107.81 109.24 c Restart #60 #Var: 8965 LB: 0 @ 109.19 111.32 c Restart #61 #Var: 8965 LB: 0 @ 111.27 115.47 c Restart #62 #Var: 8965 LB: 0 @ 115.41 118.56 c Restart #63 #Var: 8964 LB: 0 @ 118.51 120.78 c Restart #64 #Var: 8964 LB: 0 @ 120.72 139.14 c Restart #65 #Var: 8963 LB: 0 @ 139.08 146.68 c Restart #66 #Var: 8963 LB: 0 @ 146.62 156.19 c Restart #67 #Var: 8961 LB: 0 @ 156.12 160.33 c Restart #68 #Var: 8961 LB: 0 @ 160.26 163.07 c Restart #69 #Var: 8960 LB: 0 @ 163 169.53 c Restart #70 #Var: 8959 LB: 0 @ 169.46 172.26 c Restart #71 #Var: 8958 LB: 0 @ 172.19 173.89 c Restart #72 #Var: 8958 LB: 0 @ 173.82 178.33 c Restart #73 #Var: 8955 LB: 0 @ 178.26 192.02 c Restart #74 #Var: 8954 LB: 0 @ 191.94 193.85 c Restart #75 #Var: 8954 LB: 0 @ 193.77 212.24 c Restart #76 #Var: 8954 LB: 0 @ 212.15 221.36 c Restart #77 #Var: 8953 LB: 0 @ 221.28 223.85 c Restart #78 #Var: 8952 LB: 0 @ 223.76 238.54 c Restart #79 #Var: 8952 LB: 0 @ 238.45 243.64 c Restart #80 #Var: 8951 LB: 0 @ 243.54 248.01 c Restart #81 #Var: 8951 LB: 0 @ 247.91 255.64 c Restart #82 #Var: 8950 LB: 0 @ 255.54 267.11 c Restart #83 #Var: 8949 LB: 0 @ 267.01 280.71 c Restart #84 #Var: 8949 LB: 0 @ 280.61 312.77 c Restart #85 #Var: 8948 LB: 0 @ 312.66 369.19 c Restart #86 #Var: 8946 LB: 0 @ 369.06 394.78 c Restart #87 #Var: 8946 LB: 0 @ 394.63 420.25 c Restart #88 #Var: 8946 LB: 0 @ 420.1 434.59 c Restart #89 #Var: 8944 LB: 0 @ 434.43 451.06 c Restart #90 #Var: 8944 LB: 0 @ 450.9 475.50 c Restart #91 #Var: 8944 LB: 0 @ 475.33 499.39 c Restart #92 #Var: 8944 LB: 0 @ 499.21 564.46 c Restart #93 #Var: 8942 LB: 0 @ 564.26 582.21 c Restart #94 #Var: 8940 LB: 0 @ 582 688.67 c Restart #95 #Var: 8939 LB: 0 @ 688.42 770.43 c Restart #96 #Var: 8939 LB: 0 @ 770.16 819.01 c Restart #97 #Var: 8937 LB: 0 @ 818.72 844.31 c Restart #98 #Var: 8937 LB: 0 @ 844.02 880.00 c Restart #99 #Var: 8937 LB: 0 @ 879.7 947.92 c CHANGE Heuristic... 947.92 c Restart #0 #Var: 8933 LB: 0 @ 947.6 949.78 c Restart #1 #Var: 8933 LB: 0 @ 949.45 950.20 c Restart #2 #Var: 8933 LB: 0 @ 949.88 950.79 c Restart #3 #Var: 8930 LB: 0 @ 950.46 951.93 c Restart #4 #Var: 8928 LB: 0 @ 951.61 952.87 c Restart #5 #Var: 8927 LB: 0 @ 952.54 953.70 c Restart #6 #Var: 8927 LB: 0 @ 953.38 967.19 c Restart #7 #Var: 8924 LB: 0 @ 966.86 977.31 c Restart #8 #Var: 8923 LB: 0 @ 976.98 1036.40 c Restart #9 #Var: 8923 LB: 0 @ 1036 1040.33 c Restart #10 #Var: 8922 LB: 0 @ 1040 1041.92 c Restart #11 #Var: 8921 LB: 0 @ 1041.6 1052.81 c Restart #12 #Var: 8920 LB: 0 @ 1052.5 1152.66 c Restart #13 #Var: 8919 LB: 0 @ 1152.3 1158.32 c Restart #14 #Var: 8919 LB: 0 @ 1157.9 1160.08 c Restart #15 #Var: 8919 LB: 0 @ 1159.7 1161.36 c Restart #16 #Var: 8919 LB: 0 @ 1161 1162.11 c Restart #17 #Var: 8919 LB: 0 @ 1161.7 1173.49 c Restart #18 #Var: 8919 LB: 0 @ 1173.1 1175.05 c Restart #19 #Var: 8919 LB: 0 @ 1174.6 1181.06 c Restart #20 #Var: 8919 LB: 0 @ 1180.7 1183.79 c Restart #21 #Var: 8919 LB: 0 @ 1183.4 1184.82 c Restart #22 #Var: 8919 LB: 0 @ 1184.4 1200.40 c Restart #23 #Var: 8918 LB: 0 @ 1200 1200.83 c Restart #24 #Var: 8918 LB: 0 @ 1200.4 1202.84 c Restart #25 #Var: 8918 LB: 0 @ 1202.4 1204.44 c Restart #26 #Var: 8917 LB: 0 @ 1204 1206.29 c Restart #27 #Var: 8917 LB: 0 @ 1205.9 1217.79 c Restart #28 #Var: 8917 LB: 0 @ 1217.4 1218.97 c Restart #29 #Var: 8917 LB: 0 @ 1218.6 1222.55 c Restart #30 #Var: 8917 LB: 0 @ 1222.1 1252.23 c Restart #31 #Var: 8917 LB: 0 @ 1251.8 1276.46 c Restart #32 #Var: 8917 LB: 0 @ 1276 1292.28 c Restart #33 #Var: 8916 LB: 0 @ 1291.8 1319.10 c Restart #34 #Var: 8915 LB: 0 @ 1318.7 1343.91 c Restart #35 #Var: 8915 LB: 0 @ 1343.5 1346.67 c Restart #36 #Var: 8915 LB: 0 @ 1346.2 1371.81 c Restart #37 #Var: 8914 LB: 0 @ 1371.3 1379.93 c Restart #38 #Var: 8913 LB: 0 @ 1379.5 1390.60 c Restart #39 #Var: 8913 LB: 0 @ 1390.1 1399.88 c Restart #40 #Var: 8913 LB: 0 @ 1399.4 1448.24 c Restart #41 #Var: 8913 LB: 0 @ 1447.7 1455.20 c Restart #42 #Var: 8912 LB: 0 @ 1454.7 1468.12 c Restart #43 #Var: 8912 LB: 0 @ 1467.6 1507.62 c Restart #44 #Var: 8910 LB: 0 @ 1507.1 1511.71 c Restart #45 #Var: 8910 LB: 0 @ 1511.2 1534.31 c Restart #46 #Var: 8910 LB: 0 @ 1533.7 1568.07 c Restart #47 #Var: 8910 LB: 0 @ 1567.5 1594.13 c Restart #48 #Var: 8910 LB: 0 @ 1593.5 1635.00 c Restart #49 #Var: 8910 LB: 0 @ 1634.4 1641.90 c Restart #50 #Var: 8910 LB: 0 @ 1641.3 1691.33 c Restart #51 #Var: 8907 LB: 0 @ 1690.6 1712.10 c Restart #52 #Var: 8907 LB: 0 @ 1711.4 1757.98 c Restart #53 #Var: 8907 LB: 0 @ 1757.2 1764.89 c Restart #54 #Var: 8907 LB: 0 @ 1764.1 1800.86 s UNKNOWN 1800.86 c Exit Code: 0 1800.86 c Total time: 1800.1 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/node41/watcher-40077-1149274893 -o ROOT/results/node41/solver-40077-1149274893 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/40077-1149274893/instance-40077-1149274893.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.92 1/64 25623 /proc/meminfo: memFree=1348328/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=4932 CPUtime=0 /proc/25623/stat : 25623 (bsolo) D 25621 25623 25577 0 -1 0 370 0 0 0 0 0 0 0 19 0 1 0 193155870 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 0 0 0 /proc/25623/statm: 1241 332 227 55 0 133 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.95 0.92 2/64 25623 /proc/meminfo: memFree=1282176/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=71200 CPUtime=9.98 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 16936 0 0 0 963 35 0 0 25 0 1 0 193155870 72908800 16851 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 17800 16851 297 55 0 16692 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 71200 [startup+20.0088 s] /proc/loadavg: 0.94 0.96 0.92 2/64 25623 /proc/meminfo: memFree=1220736/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=132660 CPUtime=19.98 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 32299 0 0 0 1952 46 0 0 25 0 1 0 193155870 135843840 32213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 33165 32213 297 55 0 32057 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 132660 [startup+30.0155 s] /proc/loadavg: 0.95 0.96 0.92 2/64 25623 /proc/meminfo: memFree=1185856/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=167388 CPUtime=29.98 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 40995 0 0 0 2943 55 0 0 25 0 1 0 193155870 171405312 40908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528681 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 41847 40908 297 55 0 40739 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 167388 [startup+40.0212 s] /proc/loadavg: 0.95 0.96 0.92 2/64 25623 /proc/meminfo: memFree=1173056/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=180188 CPUtime=39.98 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 44173 0 0 0 3938 60 0 0 25 0 1 0 193155870 184512512 44086 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 45047 44086 297 55 0 43939 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 180188 [startup+50.0278 s] /proc/loadavg: 0.96 0.96 0.92 2/64 25623 /proc/meminfo: memFree=1148096/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=205176 CPUtime=49.99 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 50420 0 0 0 4932 67 0 0 25 0 1 0 193155870 210100224 50331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 51294 50331 297 55 0 50186 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 205176 [startup+60.0335 s] /proc/loadavg: 0.97 0.96 0.92 2/64 25623 /proc/meminfo: memFree=1109824/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=243452 CPUtime=59.99 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 59987 0 0 0 5924 75 0 0 25 0 1 0 193155870 249294848 59896 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 60863 59896 297 55 0 59755 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 243452 [startup+70.0392 s] /proc/loadavg: 0.97 0.96 0.92 2/64 25623 /proc/meminfo: memFree=1092288/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=261020 CPUtime=69.99 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 64367 0 0 0 6919 80 0 0 25 0 1 0 193155870 267284480 64273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 65255 64273 297 55 0 64147 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 261020 [startup+80.0449 s] /proc/loadavg: 0.98 0.96 0.92 2/64 25623 /proc/meminfo: memFree=1079872/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=273560 CPUtime=79.99 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 67468 0 0 0 7915 84 0 0 25 0 1 0 193155870 280125440 67374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 68390 67374 297 55 0 67282 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 273560 [startup+90.0506 s] /proc/loadavg: 0.98 0.96 0.92 2/64 25623 /proc/meminfo: memFree=1074304/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=279116 CPUtime=90 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 68860 0 0 0 8913 87 0 0 25 0 1 0 193155870 285814784 68763 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 69779 68763 297 55 0 68671 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 279116 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.92 2/64 25623 /proc/meminfo: memFree=1042560/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=310840 CPUtime=100 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 76760 0 0 0 9908 92 0 0 25 0 1 0 193155870 318300160 76663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 77710 76663 297 55 0 76602 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 310840 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.92 2/64 25623 /proc/meminfo: memFree=961856/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=391788 CPUtime=110.01 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 96933 0 0 0 10897 104 0 0 25 0 1 0 193155870 401190912 96827 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 97947 96827 297 55 0 96839 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 391788 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=901440/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=452264 CPUtime=120.01 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 111995 0 0 0 11887 114 0 0 25 0 1 0 193155870 463118336 111880 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 113066 111880 297 55 0 111958 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 452264 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=884544/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=469248 CPUtime=130.01 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 116220 0 0 0 12884 117 0 0 25 0 1 0 193155870 480509952 116101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 117312 116101 297 55 0 116204 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 469248 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=875072/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=478636 CPUtime=140.01 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 118579 0 0 0 13881 120 0 0 25 0 1 0 193155870 490123264 118457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 119659 118457 297 55 0 118551 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 478636 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=855424/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=498560 CPUtime=150.01 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 123500 0 0 0 14877 124 0 0 25 0 1 0 193155870 510525440 123363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 124640 123363 297 55 0 123532 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 498560 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=826368/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=527564 CPUtime=160.02 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 130765 0 0 0 15872 130 0 0 25 0 1 0 193155870 540225536 130623 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 131891 130623 297 55 0 130783 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 527564 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=795968/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=558128 CPUtime=170.01 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 138354 0 0 0 16865 136 0 0 25 0 1 0 193155870 571523072 138209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 139532 138209 297 55 0 138424 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 558128 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=759808/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=594268 CPUtime=180.02 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 147370 0 0 0 17858 144 0 0 25 0 1 0 193155870 608530432 147217 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524866 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 148567 147217 297 55 0 147459 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 594268 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=744576/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=609516 CPUtime=190.03 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 151175 0 0 0 18856 147 0 0 25 0 1 0 193155870 624144384 151018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 152379 151018 297 55 0 151271 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 609516 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=719424/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=634876 CPUtime=200.02 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 157482 0 0 0 19849 153 0 0 25 0 1 0 193155870 650113024 157293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534908 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 158719 157293 297 55 0 157611 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 634876 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=705024/2055920 swapFree=4180948/4192956 ################ # More data... # ################ /proc/25623/statm: 383004 380457 297 55 0 381896 0 Current children cumulated CPU time (s) 1760.31 Current children cumulated vsize (Kb) 1532016 [startup+1771.08 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=15680/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1541772 CPUtime=1770.31 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384007 0 0 0 176615 416 0 0 25 0 1 0 193155870 1578774528 382911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385443 382911 297 55 0 384335 0 Current children cumulated CPU time (s) 1770.31 Current children cumulated vsize (Kb) 1541772 [startup+1781.08 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542564 CPUtime=1780.31 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384199 0 0 0 177615 416 0 0 25 0 1 0 193155870 1579585536 383103 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551570 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385641 383103 297 55 0 384533 0 Current children cumulated CPU time (s) 1780.31 Current children cumulated vsize (Kb) 1542564 [startup+1782.09 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542564 CPUtime=1781.31 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 177715 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385641 383105 297 55 0 384533 0 Current children cumulated CPU time (s) 1781.31 Current children cumulated vsize (Kb) 1542564 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542564 CPUtime=1782.32 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 177816 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385641 383105 297 55 0 384533 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (Kb) 1542564 [startup+1784.1 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542564 CPUtime=1783.32 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 177916 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385641 383105 297 55 0 384533 0 Current children cumulated CPU time (s) 1783.32 Current children cumulated vsize (Kb) 1542564 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542564 CPUtime=1784.33 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 178017 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385641 383105 297 55 0 384533 0 Current children cumulated CPU time (s) 1784.33 Current children cumulated vsize (Kb) 1542564 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542564 CPUtime=1785.33 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 178117 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385641 383105 297 55 0 384533 0 Current children cumulated CPU time (s) 1785.33 Current children cumulated vsize (Kb) 1542564 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542564 CPUtime=1786.34 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 178218 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385641 383105 297 55 0 384533 0 Current children cumulated CPU time (s) 1786.34 Current children cumulated vsize (Kb) 1542564 [startup+1788.12 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542564 CPUtime=1787.34 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 178318 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385641 383105 297 55 0 384533 0 Current children cumulated CPU time (s) 1787.34 Current children cumulated vsize (Kb) 1542564 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542564 CPUtime=1788.35 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 178419 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385641 383105 297 55 0 384533 0 Current children cumulated CPU time (s) 1788.35 Current children cumulated vsize (Kb) 1542564 [startup+1790.13 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542564 CPUtime=1789.35 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384201 0 0 0 178519 416 0 0 25 0 1 0 193155870 1579585536 383105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385641 383105 297 55 0 384533 0 Current children cumulated CPU time (s) 1789.35 Current children cumulated vsize (Kb) 1542564 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14912/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542564 CPUtime=1790.36 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384203 0 0 0 178620 416 0 0 25 0 1 0 193155870 1579585536 383107 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385641 383107 297 55 0 384533 0 Current children cumulated CPU time (s) 1790.36 Current children cumulated vsize (Kb) 1542564 [startup+1792.14 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14848/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542696 CPUtime=1791.36 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384216 0 0 0 178720 416 0 0 25 0 1 0 193155870 1579720704 383120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719576 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385674 383120 297 55 0 384566 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (Kb) 1542696 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14848/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542696 CPUtime=1792.37 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384219 0 0 0 178821 416 0 0 25 0 1 0 193155870 1579720704 383123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385674 383123 297 55 0 384566 0 Current children cumulated CPU time (s) 1792.37 Current children cumulated vsize (Kb) 1542696 [startup+1794.15 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14848/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542696 CPUtime=1793.37 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384219 0 0 0 178921 416 0 0 25 0 1 0 193155870 1579720704 383123 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385674 383123 297 55 0 384566 0 Current children cumulated CPU time (s) 1793.37 Current children cumulated vsize (Kb) 1542696 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14848/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542696 CPUtime=1794.38 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384220 0 0 0 179022 416 0 0 25 0 1 0 193155870 1579720704 383124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385674 383124 297 55 0 384566 0 Current children cumulated CPU time (s) 1794.38 Current children cumulated vsize (Kb) 1542696 [startup+1796.16 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14848/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542696 CPUtime=1795.38 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384220 0 0 0 179122 416 0 0 25 0 1 0 193155870 1579720704 383124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551544 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385674 383124 297 55 0 384566 0 Current children cumulated CPU time (s) 1795.38 Current children cumulated vsize (Kb) 1542696 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=14848/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542696 CPUtime=1796.38 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384220 0 0 0 179222 416 0 0 25 0 1 0 193155870 1579720704 383124 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385674 383124 297 55 0 384566 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (Kb) 1542696 [startup+1798.17 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=16320/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542696 CPUtime=1797.39 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384225 0 0 0 179323 416 0 0 25 0 1 0 193155870 1579720704 383129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385674 383129 297 55 0 384566 0 Current children cumulated CPU time (s) 1797.39 Current children cumulated vsize (Kb) 1542696 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=16320/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542696 CPUtime=1798.39 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384225 0 0 0 179423 416 0 0 25 0 1 0 193155870 1579720704 383129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385674 383129 297 55 0 384566 0 Current children cumulated CPU time (s) 1798.39 Current children cumulated vsize (Kb) 1542696 [startup+1800.18 s] /proc/loadavg: 0.99 0.97 0.92 2/64 25623 /proc/meminfo: memFree=16320/2055920 swapFree=4180948/4192956 [pid=25623] ppid=25621 vsize=1542696 CPUtime=1799.4 /proc/25623/stat : 25623 (bsolo) R 25621 25623 25577 0 -1 0 384225 0 0 0 179524 416 0 0 25 0 1 0 193155870 1579720704 383129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 0 0 0 /proc/25623/statm: 385674 383129 297 55 0 384566 0 Current children cumulated CPU time (s) 1799.4 Current children cumulated vsize (Kb) 1542696 Child status: 0 Real time (s): 1801.08 CPU time (s): 1800.3 CPU user time (s): 1795.91 CPU system time (s): 4.38933 CPU usage (%): 99.9566 Max. virtual memory (cumulated for all children) (Kb): 1542696
Begin job on node41 on Fri Jun 2 19:01:33 UTC 2006 FILE ID= 40077-1149274893 PBS_JOBID= 301609 BENCH NAME= ROOT/tmp/node41/40077-1149274893/instance-40077-1149274893.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/40077-1149274893/instance-40077-1149274893.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-40077-1149274893 -o ROOT/results/node41/solver-40077-1149274893 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node41/40077-1149274893/instance-40077-1149274893.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= b55f7a8b0d45bfbc16cf27babcf41177 RANDOM SEED= 126955058 /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.265 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.265 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: 1348536 kB Buffers: 24220 kB Cached: 610600 kB SwapCached: 3904 kB Active: 38064 kB Inactive: 605740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1348536 kB SwapTotal: 4192956 kB SwapFree: 4180948 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14936 kB Slab: 49592 kB Committed_AS: 275996 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node41 on Fri Jun 2 19:31:34 UTC 2006