Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.02 | 1800.61 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-forplan.opb |
MD5SUM | 43a001fe9c1e4e8b75108df32c142ab0 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 12528 |
Total number of constraints | 155 |
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 | 155 |
Minimum length of a constraint | 27 |
Maximum length of a constraint | 9090 |
Number of terms in the objective function | 9340 |
Biggest coefficient in the objective function | 6454798974976000 |
Number of bits for the biggest coefficient in the objective function | 53 |
Sum of the numbers in the objective function | 1138676908426644728 |
Number of bits of the sum of numbers in the objective function | 60 |
Biggest number in a constraint | 6454798974976000 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 1138676908426644728 |
Number of bits of the biggest sum of numbers | 60 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.01 c BIG Int formula... 2.73 c Initial problem consists of 12528 variables and 240 constraints. 2.84 c No problem reductions applied in OPT. instance. 2.84 c preprocess terminated. Elapsed time: 2.827 2.84 c After prepocess the problem consists of 7365 variables and 206 constraints. 2.84 c Initial Lower Bound: -111831033658055 3.25 c Restart #1 #Var: 7365 LB: -111831033658055 @ 3.243 3.93 c Restart #2 #Var: 7365 LB: -111831033658055 @ 3.918 8.90 c Restart #3 #Var: 7365 LB: -111831033658055 @ 8.889 10.08 c Restart #4 #Var: 7365 LB: -111831033658055 @ 10.065 11.56 c Restart #5 #Var: 7365 LB: -111831033658055 @ 11.545 13.24 c Restart #6 #Var: 7365 LB: -111831033658055 @ 13.223 21.08 c Restart #7 #Var: 7365 LB: -111831033658055 @ 21.067 27.78 c Restart #8 #Var: 7365 LB: -111831033658055 @ 27.756 31.36 c Restart #9 #Var: 7365 LB: -111831033658055 @ 31.341 33.87 c Restart #10 #Var: 7365 LB: -111831033658055 @ 33.847 36.43 c Restart #11 #Var: 7365 LB: -111831033658055 @ 36.404 39.52 c Restart #12 #Var: 7365 LB: -111831033658055 @ 39.496 43.61 c Restart #13 #Var: 7365 LB: -111831033658055 @ 43.589 46.58 c Restart #14 #Var: 7365 LB: -111831033658055 @ 46.553 49.11 c Restart #15 #Var: 7365 LB: -111831033658055 @ 49.088 52.37 c Restart #16 #Var: 7365 LB: -111831033658055 @ 52.345 55.60 c Restart #17 #Var: 7365 LB: -111831033658055 @ 55.567 60.75 c Restart #18 #Var: 7343 LB: -111831033658055 @ 60.725 64.43 c Restart #19 #Var: 7343 LB: -111831033658055 @ 64.405 69.72 c Restart #20 #Var: 7343 LB: -111831033658055 @ 69.69 73.68 c Restart #21 #Var: 7343 LB: -111831033658055 @ 73.65 78.76 c Restart #22 #Var: 7343 LB: -111831033658055 @ 78.73 82.81 c Restart #23 #Var: 7343 LB: -111831033658055 @ 82.777 87.10 c Restart #24 #Var: 7343 LB: -111831033658055 @ 87.062 92.97 c Restart #25 #Var: 7343 LB: -111831033658055 @ 92.931 97.48 c Restart #26 #Var: 7343 LB: -111831033658055 @ 97.436 107.85 c Restart #27 #Var: 7343 LB: -111831033658055 @ 107.81 113.01 c Restart #28 #Var: 7343 LB: -111831033658055 @ 112.96 118.76 c Restart #29 #Var: 7343 LB: -111831033658055 @ 118.71 127.38 c Restart #30 #Var: 7343 LB: -111831033658055 @ 127.33 133.18 c Restart #31 #Var: 7343 LB: -111831033658055 @ 133.13 139.01 c Restart #32 #Var: 7343 LB: -111831033658055 @ 138.96 145.58 c Restart #33 #Var: 7343 LB: -111831033658055 @ 145.52 162.63 c Restart #34 #Var: 7343 LB: -111831033658055 @ 162.58 168.41 c Restart #35 #Var: 7343 LB: -111831033658055 @ 168.35 177.50 c Restart #36 #Var: 7343 LB: -111831033658055 @ 177.44 184.24 c Restart #37 #Var: 7343 LB: -111831033658055 @ 184.17 195.99 c Restart #38 #Var: 7343 LB: -111831033658055 @ 195.92 203.65 c Restart #39 #Var: 7343 LB: -111831033658055 @ 203.58 214.74 c Restart #40 #Var: 7343 LB: -111831033658055 @ 214.67 222.31 c Restart #41 #Var: 7343 LB: -111831033658055 @ 222.24 230.04 c Restart #42 #Var: 7343 LB: -111831033658055 @ 229.96 244.42 c Restart #43 #Var: 7343 LB: -111831033658055 @ 244.34 252.18 c Restart #44 #Var: 7343 LB: -111831033658055 @ 252.1 259.16 c Restart #45 #Var: 7343 LB: -111831033658055 @ 259.08 270.22 c Restart #46 #Var: 7343 LB: -111831033658055 @ 270.13 278.72 c Restart #47 #Var: 7343 LB: -111831033658055 @ 278.63 287.62 c Restart #48 #Var: 7343 LB: -111831033658055 @ 287.52 296.33 c Restart #49 #Var: 7343 LB: -111831033658055 @ 296.23 306.82 c Restart #50 #Var: 7343 LB: -111831033658055 @ 306.72 316.18 c Restart #51 #Var: 7343 LB: -111831033658055 @ 316.08 326.27 c Restart #52 #Var: 7343 LB: -111831033658055 @ 326.17 336.74 c Restart #53 #Var: 7343 LB: -111831033658055 @ 336.63 346.43 c Restart #54 #Var: 7343 LB: -111831033658055 @ 346.32 356.57 c Restart #55 #Var: 7343 LB: -111831033658055 @ 356.46 365.23 c Restart #56 #Var: 7343 LB: -111831033658055 @ 365.11 381.53 c Restart #57 #Var: 7343 LB: -111831033658055 @ 381.41 392.56 c Restart #58 #Var: 7343 LB: -111831033658055 @ 392.44 413.48 c Restart #59 #Var: 7343 LB: -111831033658055 @ 413.35 425.52 c Restart #60 #Var: 7343 LB: -111831033658055 @ 425.39 443.59 c Restart #61 #Var: 7343 LB: -111831033658055 @ 443.45 454.95 c Restart #62 #Var: 7343 LB: -111831033658055 @ 454.81 469.64 c Restart #63 #Var: 7343 LB: -111831033658055 @ 469.49 482.33 c Restart #64 #Var: 7343 LB: -111831033658055 @ 482.18 506.83 c Restart #65 #Var: 7321 LB: -111831033658055 @ 506.67 519.76 c Restart #66 #Var: 7321 LB: -111831033658055 @ 519.6 533.03 c Restart #67 #Var: 7321 LB: -111831033658055 @ 532.87 546.18 c Restart #68 #Var: 7321 LB: -111831033658055 @ 546.02 559.43 c Restart #69 #Var: 7321 LB: -111831033658055 @ 559.26 572.32 c Restart #70 #Var: 7321 LB: -111831033658055 @ 572.15 588.30 c Restart #71 #Var: 7321 LB: -111831033658055 @ 588.12 623.63 c Restart #72 #Var: 7321 LB: -111831033658055 @ 623.44 633.25 c Restart #73 #Var: 7321 LB: -111831033658055 @ 633.06 646.76 c Restart #74 #Var: 7321 LB: -111831033658055 @ 646.56 661.56 c Restart #75 #Var: 7321 LB: -111831033658055 @ 661.36 681.75 c Restart #76 #Var: 7321 LB: -111831033658055 @ 681.55 696.25 c Restart #77 #Var: 7321 LB: -111831033658055 @ 696.04 714.38 c Restart #78 #Var: 7321 LB: -111831033658055 @ 714.16 758.18 c Restart #79 #Var: 7321 LB: -111831033658055 @ 757.96 775.57 c Restart #80 #Var: 7321 LB: -111831033658055 @ 775.34 826.21 c Restart #81 #Var: 7321 LB: -111831033658055 @ 825.97 842.82 c Restart #82 #Var: 7321 LB: -111831033658055 @ 842.57 858.47 c Restart #83 #Var: 7321 LB: -111831033658055 @ 858.22 874.90 c Restart #84 #Var: 7321 LB: -111831033658055 @ 874.64 890.58 c Restart #85 #Var: 7321 LB: -111831033658055 @ 890.31 919.15 c CHANGE Heuristic... 919.15 c Restart #0 #Var: 7321 LB: -111831033658055 @ 918.88 919.30 c Restart #1 #Var: 7311 LB: -111831033658055 @ 919.02 920.11 c Restart #2 #Var: 7311 LB: -111831033658055 @ 919.83 921.32 c Restart #3 #Var: 7311 LB: -111831033658055 @ 921.04 932.21 c Restart #4 #Var: 7311 LB: -111831033658055 @ 931.93 935.04 c Restart #5 #Var: 7311 LB: -111831033658055 @ 934.76 939.72 c Restart #6 #Var: 7311 LB: -111831033658055 @ 939.44 940.76 c Restart #7 #Var: 7311 LB: -111831033658055 @ 940.48 943.13 c Restart #8 #Var: 7311 LB: -111831033658055 @ 942.85 948.08 c Restart #9 #Var: 7311 LB: -111831033658055 @ 947.79 959.73 c Restart #10 #Var: 7311 LB: -111831033658055 @ 959.42 961.92 c Restart #11 #Var: 7302 LB: -111831033658055 @ 961.61 965.08 c Restart #12 #Var: 7302 LB: -111831033658055 @ 964.76 975.33 c Restart #13 #Var: 7302 LB: -111831033658055 @ 974.99 977.64 c Restart #14 #Var: 7301 LB: -111831033658055 @ 977.29 984.19 c Restart #15 #Var: 7301 LB: -111831033658055 @ 983.85 1010.76 c Restart #16 #Var: 7301 LB: -111831033658055 @ 1010.4 1016.32 c Restart #17 #Var: 7278 LB: -111831033658055 @ 1016 1037.89 c Restart #18 #Var: 7278 LB: -111831033658055 @ 1037.5 1043.74 c Restart #19 #Var: 7278 LB: -111831033658055 @ 1043.4 1058.80 c Restart #20 #Var: 7278 LB: -111831033658055 @ 1058.4 1064.37 c Restart #21 #Var: 7278 LB: -111831033658055 @ 1064 1073.81 c Restart #22 #Var: 7278 LB: -111831033658055 @ 1073.4 1086.99 c Restart #23 #Var: 7278 LB: -111831033658055 @ 1086.6 1106.82 c Restart #24 #Var: 7278 LB: -111831033658055 @ 1106.4 1114.03 c Restart #25 #Var: 7277 LB: -111831033658055 @ 1113.6 1121.31 c Restart #26 #Var: 7277 LB: -111831033658055 @ 1120.9 1143.21 c Restart #27 #Var: 7277 LB: -111831033658055 @ 1142.8 1154.17 c Restart #28 #Var: 7277 LB: -111831033658055 @ 1153.8 1194.44 c Restart #29 #Var: 7277 LB: -111831033658055 @ 1194 1204.81 c Restart #30 #Var: 7265 LB: -111831033658055 @ 1204.4 1213.06 c Restart #31 #Var: 7265 LB: -111831033658055 @ 1212.6 1218.05 c Restart #32 #Var: 7265 LB: -111831033658055 @ 1217.6 1223.10 c Restart #33 #Var: 7265 LB: -111831033658055 @ 1222.7 1254.09 c Restart #34 #Var: 7265 LB: -111831033658055 @ 1253.7 1300.98 c Restart #35 #Var: 7265 LB: -111831033658055 @ 1300.5 1310.59 c Restart #36 #Var: 7265 LB: -111831033658055 @ 1310.1 1325.05 c Restart #37 #Var: 7265 LB: -111831033658055 @ 1324.6 1360.43 c Restart #38 #Var: 7265 LB: -111831033658055 @ 1360 1367.72 c Restart #39 #Var: 7265 LB: -111831033658055 @ 1367.3 1424.96 c Restart #40 #Var: 7265 LB: -111831033658055 @ 1424.5 1438.21 c Restart #41 #Var: 7265 LB: -111831033658055 @ 1437.7 1446.66 c Restart #42 #Var: 7265 LB: -111831033658055 @ 1446.2 1450.18 c Restart #43 #Var: 7265 LB: -111831033658055 @ 1449.7 1453.83 c Restart #44 #Var: 7265 LB: -111831033658055 @ 1453.3 1456.05 c Restart #45 #Var: 7265 LB: -111831033658055 @ 1455.6 1460.05 c Restart #46 #Var: 7265 LB: -111831033658055 @ 1459.6 1464.35 c Restart #47 #Var: 7265 LB: -111831033658055 @ 1463.9 1468.27 c Restart #48 #Var: 7265 LB: -111831033658055 @ 1467.8 1474.48 c Restart #49 #Var: 7265 LB: -111831033658055 @ 1474 1478.61 c Restart #50 #Var: 7265 LB: -111831033658055 @ 1478.1 1492.58 c Restart #51 #Var: 7265 LB: -111831033658055 @ 1492.1 1496.63 c Restart #52 #Var: 7265 LB: -111831033658055 @ 1496.1 1500.78 c Restart #53 #Var: 7265 LB: -111831033658055 @ 1500.3 1505.03 c Restart #54 #Var: 7265 LB: -111831033658055 @ 1504.5 1509.14 c Restart #55 #Var: 7265 LB: -111831033658055 @ 1508.6 1514.59 c Restart #56 #Var: 7265 LB: -111831033658055 @ 1514.1 1518.89 c Restart #57 #Var: 7265 LB: -111831033658055 @ 1518.4 1524.60 c Restart #58 #Var: 7265 LB: -111831033658055 @ 1524.1 1530.47 c Restart #59 #Var: 7265 LB: -111831033658055 @ 1530 1534.64 c Restart #60 #Var: 7265 LB: -111831033658055 @ 1534.1 1544.51 c Restart #61 #Var: 7265 LB: -111831033658055 @ 1544 1548.94 c Restart #62 #Var: 7265 LB: -111831033658055 @ 1548.4 1552.07 c Restart #63 #Var: 7265 LB: -111831033658055 @ 1551.6 1558.29 c Restart #64 #Var: 7265 LB: -111831033658055 @ 1557.8 1563.48 c Restart #65 #Var: 7265 LB: -111831033658055 @ 1563 1569.63 c Restart #66 #Var: 7265 LB: -111831033658055 @ 1569.1 1573.46 c Restart #67 #Var: 7265 LB: -111831033658055 @ 1572.9 1668.06 c Restart #68 #Var: 7265 LB: -111831033658055 @ 1667.5 1753.22 c Restart #69 #Var: 7265 LB: -111831033658055 @ 1752.7 1800.58 s UNKNOWN 1800.58 c Exit Code: 0 1800.58 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/node46/watcher-40644-1149309913 -o ROOT/results/node46/solver-40644-1149309913 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node46/40644-1149309913/instance-40644-1149309913.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1549200/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=4928 CPUtime=0 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 325 0 0 0 0 0 0 0 18 0 1 0 111148165 5046272 293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158403136 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 1232 298 201 55 0 124 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1520464/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=34424 CPUtime=9.98 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 7873 0 0 0 992 6 0 0 25 0 1 0 111148165 35250176 7430 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 8606 7430 298 55 0 7498 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 34424 [startup+20.0085 s] /proc/loadavg: 0.94 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1520464/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=34788 CPUtime=19.98 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 8142 0 0 0 1989 9 0 0 25 0 1 0 111148165 35622912 7525 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158103510 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 8697 7525 298 55 0 7589 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 34788 [startup+30.0156 s] /proc/loadavg: 0.95 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1520464/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=34732 CPUtime=29.99 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 8422 0 0 0 2987 12 0 0 25 0 1 0 111148165 35565568 7506 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 8683 7506 298 55 0 7575 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 34732 [startup+40.0206 s] /proc/loadavg: 0.96 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1518608/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=36660 CPUtime=39.99 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 8923 0 0 0 3983 16 0 0 25 0 1 0 111148165 37539840 8002 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9165 8002 298 55 0 8057 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 36660 [startup+50.0267 s] /proc/loadavg: 0.96 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1517520/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=37704 CPUtime=49.99 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9182 0 0 0 4978 21 0 0 25 0 1 0 111148165 38608896 8261 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548239 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9426 8261 298 55 0 8318 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 37704 [startup+60.0328 s] /proc/loadavg: 0.97 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1517584/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=37692 CPUtime=60 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9193 0 0 0 5978 22 0 0 25 0 1 0 111148165 38596608 8272 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540655 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9423 8272 298 55 0 8315 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 37692 [startup+70.0388 s] /proc/loadavg: 0.97 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1517584/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=37692 CPUtime=70 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9193 0 0 0 6977 23 0 0 25 0 1 0 111148165 38596608 8272 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9423 8272 298 55 0 8315 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 37692 [startup+80.0449 s] /proc/loadavg: 0.98 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1517136/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=38088 CPUtime=80.01 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9297 0 0 0 7977 24 0 0 25 0 1 0 111148165 39002112 8376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9522 8376 298 55 0 8414 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 38088 [startup+90.0509 s] /proc/loadavg: 0.98 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1517136/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=38088 CPUtime=90.01 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9297 0 0 0 8977 24 0 0 25 0 1 0 111148165 39002112 8376 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9522 8376 298 55 0 8414 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 38088 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1517200/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=37968 CPUtime=100.01 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9297 0 0 0 9976 25 0 0 25 0 1 0 111148165 38879232 8346 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9492 8346 298 55 0 8384 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 37968 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1517008/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=38360 CPUtime=110.01 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9368 0 0 0 10975 26 0 0 25 0 1 0 111148165 39280640 8417 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9590 8417 298 55 0 8482 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 38360 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1516944/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=38360 CPUtime=120.01 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9378 0 0 0 11975 26 0 0 25 0 1 0 111148165 39280640 8427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9590 8427 298 55 0 8482 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 38360 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1516944/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=38360 CPUtime=130.01 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9378 0 0 0 12975 26 0 0 25 0 1 0 111148165 39280640 8427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9590 8427 298 55 0 8482 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 38360 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1517008/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=38360 CPUtime=140.02 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9378 0 0 0 13975 27 0 0 25 0 1 0 111148165 39280640 8427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9590 8427 298 55 0 8482 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 38360 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1517008/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=38360 CPUtime=150.02 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9378 0 0 0 14973 29 0 0 25 0 1 0 111148165 39280640 8427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548236 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9590 8427 298 55 0 8482 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 38360 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1516944/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=38360 CPUtime=160.02 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9378 0 0 0 15973 29 0 0 25 0 1 0 111148165 39280640 8427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9590 8427 298 55 0 8482 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 38360 [startup+170.099 s] /proc/loadavg: 0.99 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1516944/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=38360 CPUtime=170.03 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9378 0 0 0 16974 29 0 0 25 0 1 0 111148165 39280640 8427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9590 8427 298 55 0 8482 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 38360 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1516944/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=38360 CPUtime=180.03 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9378 0 0 0 17973 30 0 0 25 0 1 0 111148165 39280640 8427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12144338 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9590 8427 298 55 0 8482 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 38360 [startup+190.112 s] /proc/loadavg: 0.99 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1516304/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=39020 CPUtime=190.03 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 9539 0 0 0 18973 30 0 0 25 0 1 0 111148165 39956480 8588 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 9755 8588 298 55 0 8647 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 39020 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1512592/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=42716 CPUtime=200.04 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 10461 0 0 0 19973 31 0 0 25 0 1 0 111148165 43741184 9510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12146299 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 10679 9510 298 55 0 9571 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 42716 [startup+210.125 s] /proc/loadavg: 0.99 0.98 0.96 2/64 6868 /proc/meminfo: memFree=1513296/2055920 swapFree=4183160/4192956 ################ # More data... # ################ /proc/6868/statm: 29864 28716 298 55 0 28756 0 Current children cumulated CPU time (s) 1760.53 Current children cumulated vsize (Kb) 119456 [startup+1771.12 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1435280/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=119440 CPUtime=1770.54 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 41741 0 0 0 176925 129 0 0 25 0 1 0 111148165 122306560 28714 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 29860 28714 298 55 0 28752 0 Current children cumulated CPU time (s) 1770.54 Current children cumulated vsize (Kb) 119440 [startup+1781.13 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1434192/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=120732 CPUtime=1780.54 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42060 0 0 0 177925 129 0 0 25 0 1 0 111148165 123629568 29033 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30183 29033 298 55 0 29075 0 Current children cumulated CPU time (s) 1780.54 Current children cumulated vsize (Kb) 120732 [startup+1782.13 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1434192/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=120732 CPUtime=1781.55 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42060 0 0 0 178026 129 0 0 25 0 1 0 111148165 123629568 29033 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30183 29033 298 55 0 29075 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 120732 [startup+1783.14 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121680 CPUtime=1782.55 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 178126 129 0 0 25 0 1 0 111148165 124600320 29251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30420 29251 298 55 0 29312 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 121680 [startup+1784.15 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121620 CPUtime=1783.56 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 178227 129 0 0 25 0 1 0 111148165 124538880 29251 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30405 29251 298 55 0 29297 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 121620 [startup+1785.15 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1784.56 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 178327 129 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 121568 [startup+1786.15 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1785.56 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 178427 129 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 121568 [startup+1787.16 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1786.57 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 178528 129 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 121568 [startup+1788.16 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1787.57 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 178628 129 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 121568 [startup+1789.17 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1788.58 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 178729 129 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 121568 [startup+1790.17 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1789.58 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 178829 129 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 121568 [startup+1791.18 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1790.6 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 178930 130 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 121568 [startup+1792.18 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1791.6 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 179030 130 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 121568 [startup+1793.19 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1792.61 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 179131 130 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 121568 [startup+1794.19 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1793.61 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 179231 130 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 121568 [startup+1795.2 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1794.61 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 179331 130 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 121568 [startup+1796.2 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1795.62 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 179432 130 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 121568 [startup+1797.21 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1796.62 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 179532 130 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 121568 [startup+1798.21 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1797.63 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 179633 130 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548379 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 121568 [startup+1799.22 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1798.63 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 179733 130 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548214 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 121568 [startup+1800.22 s] /proc/loadavg: 0.99 0.98 0.96 2/64 7065 /proc/meminfo: memFree=1433296/2055920 swapFree=4183160/4192956 [pid=6868] ppid=6866 vsize=121568 CPUtime=1799.64 /proc/6868/stat : 6868 (bsolo) R 6866 6868 6822 0 -1 0 42278 0 0 0 179834 130 0 0 25 0 1 0 111148165 124485632 29246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6868/statm: 30392 29246 298 55 0 29284 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 121568 Child status: 0 Real time (s): 1800.61 CPU time (s): 1800.02 CPU user time (s): 1798.7 CPU system time (s): 1.3228 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (Kb): 121680
Begin job on node46 on Sat Jun 3 04:45:13 UTC 2006 FILE ID= 40644-1149309913 PBS_JOBID= 307888 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-forplan.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node46/40644-1149309913/instance-40644-1149309913.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-40644-1149309913 -o ROOT/results/node46/solver-40644-1149309913 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node46/40644-1149309913/instance-40644-1149309913.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 43a001fe9c1e4e8b75108df32c142ab0 RANDOM SEED= 88184607 /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.223 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.223 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: 1549408 kB Buffers: 29656 kB Cached: 406172 kB SwapCached: 4064 kB Active: 33804 kB Inactive: 410948 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1549408 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 208 kB Writeback: 0 kB Mapped: 15064 kB Slab: 47836 kB Committed_AS: 298044 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node46 on Sat Jun 3 05:15:14 UTC 2006