Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (MO) | 511.462 | 511.595 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-swath1.opb |
MD5SUM | ef9882d48a9aa7a6e80245293de5a7b2 |
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 | 355.222 |
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 | 53335 |
Total number of constraints | 5302 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 189 |
Number of constraints which are nor clauses,nor cardinality constraints | 5113 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50934 |
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 | 560808 |
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/432590-1177945738/instance-432590-1177945738.opb 0.00/0.00 c File size is 4020326 bytes. 0.79/0.86 c Highest Coefficient sum: 560808 0.79/0.86 c Parsing was ok!! 0.79/0.86 c Total parsing time: 0.865 s 0.89/0.91 c Var: 53335 Constr: 5806 590/0/5216 Lit: 578438 Watch. Lit: 175629 0.89/0.91 c Obj. Vars: 31 (0.0581232 % of total variables) 185.25/185.35 c Pre-processing Time: 185.305 s 185.25/185.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 185.25/185.36 c 0 50814 4792 571064 119 275675 500000 0 0 185.31 185.25/185.36 c Switching off LPR mode. 511.16/511.30 c 106 50814 4898 895089 182 413746 550001 106 0 197.87 511.16/511.30 c 260 50814 5052 1353904 267 407488 605002 260 1 198.28 511.16/511.30 c 486 50814 5278 2026760 384 407234 665503 486 2 198.97 511.16/511.30 c 824 50814 5616 3031569 539 412197 732054 824 4 200.06 511.16/511.30 c 1332 50814 6124 4539965 741 416213 805260 1332 6 201.85 511.16/511.30 c 2098 50814 6890 6810351 988 416688 885787 2098 10 204.47 511.16/511.30 c 3245 50814 8037 10205344 1269 420221 974366 3245 15 208.59 511.16/511.30 c 4969 50814 9761 15297183 1567 424910 500000 4969 23 214.77 511.16/511.30 c 7554 50814 12346 22920945 1856 430072 550001 7554 33 225.50 511.16/511.30 c 11434 50814 16226 34348199 2116 437781 605002 11434 46 243.91 511.16/511.30 c 17257 50814 22049 51469344 2334 449305 665503 17257 62 274.74 511.16/511.30 c 25994 50814 30786 77134095 2505 464979 732054 25994 77 335.34 511.16/511.30 c 39105 50814 43897 115573928 2632 491835 805260 39105 91 429.07 511.16/511.30 c Caught signal: 15 511.16/511.30 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 511.16/511.30 c 13 48464 47 100908 53256 142988420 48464 94 511.17 511.16/511.30 s UNKNOWN 511.16/511.30 c Total time: 511.171 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-432590-1177945738 -o ROOT/results/node7/solver-432590-1177945738 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432590-1177945738/instance-432590-1177945738.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.91 0.95 0.90 3/77 26507 /proc/meminfo: memFree=1856696/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=15664 CPUtime=0 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 270611456 16039936 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 3916 336 280 324 0 2004 0 [startup+0.011592 s] /proc/loadavg: 0.91 0.95 0.90 3/77 26507 /proc/meminfo: memFree=1856696/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=8128 CPUtime=0 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 431 0 0 0 0 0 0 0 18 0 1 0 270611456 8323072 401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 2032 401 288 324 0 120 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8128 [startup+0.101601 s] /proc/loadavg: 0.91 0.95 0.90 3/77 26507 /proc/meminfo: memFree=1856696/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=11500 CPUtime=0.09 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 1445 0 0 0 9 0 0 0 18 0 1 0 270611456 11776000 1296 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 2875 1296 400 324 0 963 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11500 [startup+0.301623 s] /proc/loadavg: 0.91 0.95 0.90 3/77 26507 /proc/meminfo: memFree=1856696/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=14780 CPUtime=0.29 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 2958 0 0 0 28 1 0 0 19 0 1 0 270611456 15134720 2360 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 3695 2360 610 324 0 1783 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14780 [startup+0.701663 s] /proc/loadavg: 0.91 0.95 0.90 3/77 26507 /proc/meminfo: memFree=1856696/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=18232 CPUtime=0.69 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 4283 0 0 0 68 1 0 0 23 0 1 0 270611456 18669568 3685 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 4558 3685 1091 324 0 2646 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 18232 [startup+1.50175 s] /proc/loadavg: 0.91 0.95 0.90 2/78 26508 /proc/meminfo: memFree=1835376/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=26836 CPUtime=1.49 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 7520 0 0 0 146 3 0 0 25 0 1 0 270611456 27480064 5940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 6709 5940 304 324 0 5779 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26836 [startup+3.10191 s] /proc/loadavg: 0.91 0.95 0.90 2/78 26508 /proc/meminfo: memFree=1833904/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=26836 CPUtime=3.09 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 7520 0 0 0 306 3 0 0 25 0 1 0 270611456 27480064 5940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 6709 5940 304 324 0 5779 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26836 [startup+6.30125 s] /proc/loadavg: 0.92 0.95 0.90 2/78 26508 /proc/meminfo: memFree=1833904/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=26836 CPUtime=6.29 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 7520 0 0 0 625 4 0 0 25 0 1 0 270611456 27480064 5940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 6709 5940 304 324 0 5779 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26836 [startup+12.7029 s] /proc/loadavg: 0.93 0.95 0.90 2/78 26508 /proc/meminfo: memFree=1834032/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=26836 CPUtime=12.69 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 7520 0 0 0 1264 5 0 0 25 0 1 0 270611456 27480064 5940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 6709 5940 304 324 0 5779 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26836 [startup+25.5013 s] /proc/loadavg: 0.94 0.96 0.91 2/78 26508 /proc/meminfo: memFree=1834096/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=34184 CPUtime=25.48 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 9449 0 0 0 2541 7 0 0 25 0 1 0 270611456 35004416 7764 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10851963 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 8546 7765 305 324 0 7616 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34184 [startup+51.1019 s] /proc/loadavg: 0.96 0.96 0.91 2/78 26508 /proc/meminfo: memFree=1825328/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=35468 CPUtime=51.07 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 10207 0 0 0 5099 8 0 0 25 0 1 0 270611456 36319232 8104 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 8867 8104 306 324 0 7937 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35468 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.91 2/78 26508 /proc/meminfo: memFree=1825392/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=35468 CPUtime=102.26 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 10207 0 0 0 10218 8 0 0 25 0 1 0 270611456 36319232 8104 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540697 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 8867 8104 306 324 0 7937 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 35468 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 26508 /proc/meminfo: memFree=1825328/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=35468 CPUtime=162.25 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 10207 0 0 0 16216 9 0 0 25 0 1 0 270611456 36319232 8104 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540697 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 8867 8104 306 324 0 7937 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 35468 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 26508 /proc/meminfo: memFree=1575856/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=286248 CPUtime=222.23 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 75046 0 0 0 22188 35 0 0 25 0 1 0 270611456 293117952 70824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547578 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 71562 70824 310 324 0 70632 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 286248 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 26508 /proc/meminfo: memFree=1137008/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=727836 CPUtime=282.21 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 185452 0 0 0 28142 79 0 0 25 0 1 0 270611456 745304064 181230 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 181959 181230 310 324 0 181029 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 727836 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 26508 /proc/meminfo: memFree=798320/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=1061656 CPUtime=342.2 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 268907 0 0 0 34106 114 0 0 25 0 1 0 270611456 1087135744 264685 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 265414 264685 310 324 0 264484 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1061656 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 26508 /proc/meminfo: memFree=479216/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=1383360 CPUtime=402.19 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 349323 0 0 0 40074 145 0 0 25 0 1 0 270611456 1416560640 345101 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 345840 345101 310 324 0 344910 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1383360 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 26508 /proc/meminfo: memFree=199792/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=1659468 CPUtime=462.17 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 418351 0 0 0 46045 172 0 0 25 0 1 0 270611456 1699295232 414129 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 414867 414129 310 324 0 413937 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 1659468 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+511.301 s] /proc/loadavg: 1.03 0.99 0.91 2/78 26508 /proc/meminfo: memFree=15344/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=1843488 CPUtime=511.16 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194304 464365 0 0 0 50924 192 0 0 25 0 1 0 270611456 1887731712 460143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 460872 460143 310 324 0 459942 0 Current children cumulated CPU time (s) 511.16 Current children cumulated vsize (KiB) 1843488 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+511.406 s] /proc/loadavg: 1.03 0.99 0.91 2/79 26509 /proc/meminfo: memFree=635496/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=0 CPUtime=511.27 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194308 464369 0 0 0 50924 203 0 0 25 0 1 0 270611456 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 511.27 Current children cumulated vsize (KiB) 0 [startup+511.505 s] /proc/loadavg: 1.03 0.99 0.91 2/79 26509 /proc/meminfo: memFree=635496/2055920 swapFree=4156972/4192956 [pid=26507] ppid=26505 vsize=0 CPUtime=511.36 /proc/26507/stat : 26507 (bsolo3.0.17) R 26505 26507 26050 0 -1 4194308 464369 0 0 0 50924 212 0 0 25 0 1 0 270611456 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/26507/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 511.36 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 511.595 CPU time (s): 511.462 CPU user time (s): 509.246 CPU system time (s): 2.21666 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 1843488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 509.246 system time used= 2.21666 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 464369 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= 10608 runsolver used 0.382941 second user time and 1.11483 second system time The end
Begin job on node7 on Mon Apr 30 15:08:58 UTC 2007 IDJOB= 432590 IDBENCH= 1587 IDSOLVER= 199 FILE ID= node7/432590-1177945738 PBS_JOBID= 4727679 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-swath1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432590-1177945738/instance-432590-1177945738.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-432590-1177945738 -o ROOT/results/node7/solver-432590-1177945738 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432590-1177945738/instance-432590-1177945738.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= ef9882d48a9aa7a6e80245293de5a7b2 RANDOM SEED= 393127360 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1857104 kB Buffers: 34612 kB Cached: 94864 kB SwapCached: 15840 kB Active: 47352 kB Inactive: 105316 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857104 kB SwapTotal: 4192956 kB SwapFree: 4156972 kB Dirty: 10612 kB Writeback: 0 kB Mapped: 30088 kB Slab: 31600 kB Committed_AS: 9002544 kB PageTables: 1860 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 node7 on Mon Apr 30 15:17:32 UTC 2007