Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (MO) | 528.156 | 528.302 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-swath2.opb |
MD5SUM | 136e834aa135f130ab268d7e01dc474c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 262226 |
Best CPU time to get the best result obtained on this benchmark | 19.817 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262226 |
Optimality of the best value was proved | YES |
Number of variables | 52335 |
Total number of constraints | 5202 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 193 |
Number of constraints which are nor clauses,nor cardinality constraints | 5009 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 49934 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 559784 |
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/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432589-1177945732/instance-432589-1177945732.opb 0.00/0.00 c File size is 3956215 bytes. 0.78/0.85 c Highest Coefficient sum: 559784 0.78/0.85 c Parsing was ok!! 0.78/0.85 c Total parsing time: 0.846 s 0.78/0.90 c Var: 52335 Constr: 5706 594/0/5112 Lit: 568638 Watch. Lit: 172349 0.78/0.90 c Obj. Vars: 31 (0.0592338 % of total variables) 180.74/180.87 c Pre-processing Time: 180.811 s 180.74/180.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.74/180.87 c 0 49854 4696 561388 119 271500 500000 0 0 180.81 180.74/180.87 c Switching off LPR mode. 527.85/528.00 c 106 49854 4802 881183 183 400145 550001 106 0 189.32 527.85/528.00 c 260 49854 4956 1333838 269 397712 605002 260 1 189.72 527.85/528.00 c 487 49854 5183 2000603 385 398681 665503 487 2 190.47 527.85/528.00 c 826 49854 5522 2994932 542 406785 732054 826 4 191.56 527.85/528.00 c 1334 49854 6030 4483066 743 410590 805260 1334 6 193.44 527.85/528.00 c 2097 49854 6793 6713958 988 412010 885787 2097 10 196.05 527.85/528.00 c 3243 49854 7939 10059133 1267 414444 974366 3243 16 199.97 527.85/528.00 c 4964 49854 9660 15077532 1560 416792 500000 4964 23 207.13 527.85/528.00 c 7549 49854 12245 22604639 1846 423084 550001 7549 34 217.88 527.85/528.00 c 11430 49854 16126 33893080 2101 430842 605002 11430 47 238.23 527.85/528.00 c 17254 49854 21950 50808868 2314 441271 665503 17254 64 267.31 527.85/528.00 c 25991 49854 30687 76149935 2481 459935 732054 25991 80 321.29 527.85/528.00 c 39101 49854 43797 114151363 2606 486134 805260 39101 87 446.05 527.85/528.00 c Caught signal: 15 527.85/528.00 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 527.85/528.00 c 13 49065 40 99868 53761 142998151 49065 92 527.87 527.85/528.00 s UNKNOWN 527.85/528.00 c Total time: 527.865 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-432589-1177945732 -o ROOT/results/node60/solver-432589-1177945732 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432589-1177945732/instance-432589-1177945732.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.98 0.92 3/64 31850 /proc/meminfo: memFree=1855936/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=15600 CPUtime=0 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 242483229 15974400 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 3900 334 280 324 0 2004 0 [startup+0.00913094 s] /proc/loadavg: 0.93 0.98 0.92 3/64 31850 /proc/meminfo: memFree=1855936/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=7928 CPUtime=0 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 408 0 0 0 0 0 0 0 18 0 1 0 242483229 8118272 378 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 1982 378 286 324 0 86 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7928 [startup+0.10114 s] /proc/loadavg: 0.93 0.98 0.92 3/64 31850 /proc/meminfo: memFree=1855936/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=11436 CPUtime=0.08 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 1455 0 0 0 8 0 0 0 18 0 1 0 242483229 11710464 1306 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 2860 1307 401 324 0 964 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11436 [startup+0.30116 s] /proc/loadavg: 0.93 0.98 0.92 3/64 31850 /proc/meminfo: memFree=1855936/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=14744 CPUtime=0.28 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 2900 0 0 0 27 1 0 0 19 0 1 0 242483229 15097856 2310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 3686 2310 604 324 0 1790 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 14744 [startup+0.701199 s] /proc/loadavg: 0.93 0.98 0.92 3/64 31850 /proc/meminfo: memFree=1855936/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=18052 CPUtime=0.68 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 4251 0 0 0 66 2 0 0 23 0 1 0 242483229 18485248 3661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 4513 3661 1088 324 0 2617 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 18052 [startup+1.50128 s] /proc/loadavg: 0.93 0.98 0.92 2/65 31851 /proc/meminfo: memFree=1835256/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=26520 CPUtime=1.49 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 7404 0 0 0 145 4 0 0 25 0 1 0 242483229 27156480 5848 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 6630 5848 304 324 0 5700 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26520 [startup+3.10143 s] /proc/loadavg: 0.93 0.98 0.92 2/65 31851 /proc/meminfo: memFree=1833848/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=26516 CPUtime=3.09 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 7404 0 0 0 305 4 0 0 25 0 1 0 242483229 27152384 5848 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 6629 5848 304 324 0 5699 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26516 [startup+6.30175 s] /proc/loadavg: 0.93 0.98 0.92 2/65 31851 /proc/meminfo: memFree=1833848/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=26516 CPUtime=6.29 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 7404 0 0 0 624 5 0 0 25 0 1 0 242483229 27152384 5848 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 6629 5848 304 324 0 5699 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26516 [startup+12.7014 s] /proc/loadavg: 0.94 0.98 0.92 2/65 31851 /proc/meminfo: memFree=1833856/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=26516 CPUtime=12.69 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 7404 0 0 0 1263 6 0 0 25 0 1 0 242483229 27152384 5848 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 6629 5848 304 324 0 5699 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26516 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.92 2/65 31851 /proc/meminfo: memFree=1831808/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=35812 CPUtime=25.48 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 9828 0 0 0 2539 9 0 0 25 0 1 0 242483229 36671488 8169 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 8953 8169 306 324 0 8023 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35812 [startup+51.1011 s] /proc/loadavg: 0.97 0.98 0.92 2/65 31851 /proc/meminfo: memFree=1825280/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=35016 CPUtime=51.07 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 10044 0 0 0 5097 10 0 0 25 0 1 0 242483229 35856384 7975 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 8754 7975 306 324 0 7824 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35016 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.92 2/65 31851 /proc/meminfo: memFree=1825344/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=35016 CPUtime=102.26 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 10044 0 0 0 10216 10 0 0 25 0 1 0 242483229 35856384 7975 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 8754 7975 306 324 0 7824 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 35016 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31851 /proc/meminfo: memFree=1825344/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=35016 CPUtime=162.24 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 10044 0 0 0 16214 10 0 0 25 0 1 0 242483229 35856384 7975 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 8754 7975 306 324 0 7824 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 35016 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31851 /proc/meminfo: memFree=1520256/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=341392 CPUtime=222.23 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 88760 0 0 0 22180 43 0 0 25 0 1 0 242483229 349585408 84609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547774 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 85348 84609 310 324 0 84418 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 341392 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31851 /proc/meminfo: memFree=1088448/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=776628 CPUtime=282.21 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 197561 0 0 0 28133 88 0 0 25 0 1 0 242483229 795267072 193410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 194157 193410 310 324 0 193227 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 776628 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31851 /proc/meminfo: memFree=756224/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=1103812 CPUtime=342.2 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 279356 0 0 0 34099 121 0 0 25 0 1 0 242483229 1130303488 275205 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 275953 275205 310 324 0 275023 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1103812 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31851 /proc/meminfo: memFree=515136/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=1345676 CPUtime=402.18 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 339823 0 0 0 40074 144 0 0 25 0 1 0 242483229 1377972224 335672 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 336419 335672 310 324 0 335489 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1345676 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31851 /proc/meminfo: memFree=303296/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=1556432 CPUtime=462.16 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 392530 0 0 0 46047 169 0 0 25 0 1 0 242483229 1593786368 388379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 389108 388379 310 324 0 388178 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1556432 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31851 /proc/meminfo: memFree=40128/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=1819904 CPUtime=522.15 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 458389 0 0 0 52019 196 0 0 25 0 1 0 242483229 1863581696 454238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 454976 454238 310 324 0 454046 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 1819904 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+528.005 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31851 /proc/meminfo: memFree=16256/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=1843464 CPUtime=527.85 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194304 464279 0 0 0 52586 199 0 0 25 0 1 0 242483229 1887707136 460128 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 460866 460128 310 324 0 459936 0 Current children cumulated CPU time (s) 527.85 Current children cumulated vsize (KiB) 1843464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+528.201 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31851 /proc/meminfo: memFree=16256/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=0 CPUtime=528.04 /proc/31850/stat : 31850 (bsolo3.0.17) R 31848 31850 31193 0 -1 4194308 464283 0 0 0 52586 218 0 0 25 0 1 0 242483229 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 528.04 Current children cumulated vsize (KiB) 0 [startup+528.301 s] /proc/loadavg: 0.99 0.98 0.92 2/65 31851 /proc/meminfo: memFree=16256/2055920 swapFree=4183304/4192956 [pid=31850] ppid=31848 vsize=0 CPUtime=528.14 /proc/31850/stat : 31850 (bsolo3.0.17) D 31848 31850 31193 0 -1 4194308 464283 0 0 0 52586 228 0 0 24 0 1 0 242483229 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 0 0 0 /proc/31850/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 528.14 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 528.302 CPU time (s): 528.156 CPU user time (s): 525.869 CPU system time (s): 2.28665 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 1843464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 525.869 system time used= 2.28665 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 464283 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 806 runsolver used 0.394939 second user time and 1.05784 second system time The end
Begin job on node60 on Mon Apr 30 15:08:52 UTC 2007 IDJOB= 432589 IDBENCH= 1586 IDSOLVER= 199 FILE ID= node60/432589-1177945732 PBS_JOBID= 4727538 Free space on /tmp= 66554 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-swath2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432589-1177945732/instance-432589-1177945732.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-432589-1177945732 -o ROOT/results/node60/solver-432589-1177945732 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432589-1177945732/instance-432589-1177945732.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 136e834aa135f130ab268d7e01dc474c RANDOM SEED= 947498457 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.214 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.214 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: 1856288 kB Buffers: 15572 kB Cached: 108324 kB SwapCached: 3672 kB Active: 33032 kB Inactive: 100608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856288 kB SwapTotal: 4192956 kB SwapFree: 4183304 kB Dirty: 10552 kB Writeback: 0 kB Mapped: 15748 kB Slab: 51976 kB Committed_AS: 2704208 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66554 MiB End job on node60 on Mon Apr 30 15:17:43 UTC 2007