Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (MO) | 561.96 | 562.283 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow40b.opb |
MD5SUM | 4990a2601191ad55c4ad7d6303e4ded9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 8046 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6735 |
Optimality of the best value was proved | NO |
Number of variables | 23384 |
Total number of constraints | 2806 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 39 |
Number of constraints which are nor clauses,nor cardinality constraints | 2767 |
Minimum length of a constraint | 14 |
Maximum length of a constraint | 1202 |
Number of terms in the objective function | 1364 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 230637 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 102400 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 525160 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/351655-1176608682/instance-351655-1176608682.opb 0.00/0.01 c File size is 1032235 bytes. 0.18/0.20 c Highest Coefficient sum: 525160 0.18/0.20 c Parsing was ok!! 0.18/0.20 c Total parsing time: 0.189 s 0.18/0.21 c Var: 23384 Constr: 2884 39/39/2806 Lit: 134996 Watch. Lit: 34640 0.18/0.21 c Obj. Vars: 1364 (5.83305 % of total variables) 51.47/51.51 c Pre-processing Time: 51.474 s 51.47/51.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 51.47/51.51 c 0 23369 2884 134961 46 55871 279972 0 0 51.47 51.47/51.51 c Switching off LPR mode. 561.68/562.01 c 100 23369 2984 299010 100 81730 307970 100 1 51.73 561.68/562.01 c 258 23369 3142 488551 155 83680 338768 258 4 52.04 561.68/562.01 c 489 23369 3373 705677 209 84774 372645 489 9 52.48 561.68/562.01 c 827 23369 3711 979984 264 84727 409910 827 15 52.95 561.68/562.01 c 1337 23369 4221 1461839 346 88485 450902 1337 24 53.74 561.68/562.01 c 2100 23369 4984 2220222 445 92094 495993 2100 38 55.23 561.68/562.01 c 3254 23369 6138 3929074 640 93203 545593 3254 55 58.12 561.68/562.01 c 4975 23369 7859 6010559 764 96013 600153 4975 79 62.22 561.68/562.01 c 7564 23369 10448 9598955 918 101876 660169 7564 111 68.14 561.68/562.01 c 11445 23369 14329 14582858 1017 108686 726186 11445 134 85.09 561.68/562.01 c 17267 23369 20151 25330871 1257 121635 798805 17267 150 114.93 561.68/562.01 c 26069 23369 28953 46056233 1590 136827 878686 26069 154 168.69 561.68/562.01 c 39181 23369 42065 68027053 1617 163858 966555 39181 162 240.64 561.68/562.01 c 58851 23369 61735 108804816 1762 200733 500000 58851 147 398.28 561.68/562.01 c Caught signal: 15 561.68/562.01 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 561.68/562.01 c 14 82217 13196 1366909 85101 143657503 82217 146 561.68 561.68/562.01 s UNKNOWN 561.68/562.01 c Total time: 561.682 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-351655-1176608682 -o ROOT/results/node55/solver-351655-1176608682 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351655-1176608682/instance-351655-1176608682.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.77 0.93 0.98 3/64 3853 /proc/meminfo: memFree=1900612/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=2380 CPUtime=0 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 53 0 1 0 0 0 0 0 18 0 1 0 108778225 2437120 37 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 6849316 0 0 4096 0 0 0 0 17 0 0 0 /proc/3853/statm: 630 40 31 324 0 8 0 [startup+0.099181 s] /proc/loadavg: 0.77 0.93 0.98 3/64 3853 /proc/meminfo: memFree=1900612/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=7196 CPUtime=0.08 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 1081 0 3 0 8 0 0 0 18 0 1 0 108778225 7368704 1012 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4159671645 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 1799 1012 406 324 0 615 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7196 [startup+0.10118 s] /proc/loadavg: 0.77 0.93 0.98 3/64 3853 /proc/meminfo: memFree=1900612/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=7328 CPUtime=0.08 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 1089 0 3 0 8 0 0 0 18 0 1 0 108778225 7503872 1020 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525399 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 1832 1020 408 324 0 648 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7328 [startup+0.301197 s] /proc/loadavg: 0.77 0.93 0.98 3/64 3853 /proc/meminfo: memFree=1900612/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=10800 CPUtime=0.29 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 2297 0 3 0 28 1 0 0 19 0 1 0 108778225 11059200 1975 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 2700 1975 306 324 0 1769 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10800 [startup+0.701236 s] /proc/loadavg: 0.77 0.93 0.98 3/64 3853 /proc/meminfo: memFree=1900612/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=10800 CPUtime=0.69 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 2302 0 3 0 68 1 0 0 22 0 1 0 108778225 11059200 1980 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 2700 1980 306 324 0 1769 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10800 [startup+1.50131 s] /proc/loadavg: 0.77 0.93 0.98 2/65 3854 /proc/meminfo: memFree=1893180/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=10928 CPUtime=1.48 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 2308 0 3 0 147 1 0 0 25 0 1 0 108778225 11190272 1986 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 2732 1986 306 324 0 1801 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10928 [startup+3.10146 s] /proc/loadavg: 0.77 0.93 0.98 2/65 3854 /proc/meminfo: memFree=1893052/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=10928 CPUtime=3.08 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 2323 0 3 0 307 1 0 0 25 0 1 0 108778225 11190272 2001 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 2732 2001 306 324 0 1801 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10928 [startup+6.30177 s] /proc/loadavg: 0.79 0.94 0.98 2/65 3854 /proc/meminfo: memFree=1890684/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=12920 CPUtime=6.29 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 3068 0 3 0 626 3 0 0 25 0 1 0 108778225 13230080 2516 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540894 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 3230 2516 308 324 0 2299 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12920 [startup+12.7014 s] /proc/loadavg: 0.81 0.94 0.98 2/65 3854 /proc/meminfo: memFree=1890748/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=12920 CPUtime=12.68 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 3068 0 3 0 1265 3 0 0 25 0 1 0 108778225 13230080 2516 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 3230 2516 308 324 0 2299 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12920 [startup+25.5016 s] /proc/loadavg: 0.85 0.94 0.98 2/65 3854 /proc/meminfo: memFree=1890940/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=12920 CPUtime=25.48 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 3068 0 3 0 2544 4 0 0 25 0 1 0 108778225 13230080 2516 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540853 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 3230 2516 308 324 0 2299 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12920 [startup+51.101 s] /proc/loadavg: 0.90 0.94 0.98 2/65 3854 /proc/meminfo: memFree=1891004/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=12920 CPUtime=51.07 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 3068 0 3 0 5102 5 0 0 25 0 1 0 108778225 13230080 2516 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 3230 2516 308 324 0 2299 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 12920 [startup+102.306 s] /proc/loadavg: 0.95 0.95 0.98 2/65 3854 /proc/meminfo: memFree=1620412/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=283416 CPUtime=102.24 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 70748 0 3 0 10171 53 0 0 25 0 1 0 108778225 290217984 70196 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 70854 70196 312 324 0 69923 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 283416 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.98 2/65 3854 /proc/meminfo: memFree=1335740/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=569280 CPUtime=162.2 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 142207 0 3 0 16133 87 0 0 25 0 1 0 108778225 582942720 141655 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572867 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 142320 141655 312 324 0 141389 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 569280 [startup+222.301 s] /proc/loadavg: 0.99 0.96 0.98 2/65 3854 /proc/meminfo: memFree=1064700/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=837836 CPUtime=222.17 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 209336 0 3 0 22097 120 0 0 25 0 1 0 108778225 857944064 208784 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 209459 208784 312 324 0 208528 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 837836 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3854 /proc/meminfo: memFree=915068/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=987608 CPUtime=282.13 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 246797 0 3 0 28074 139 0 0 25 0 1 0 108778225 1011310592 246245 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 246902 246245 312 324 0 245971 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 987608 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3854 /proc/meminfo: memFree=703868/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=1198956 CPUtime=342.09 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 299638 0 3 0 34043 166 0 0 25 0 1 0 108778225 1227730944 299086 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7282420 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 299739 299086 312 324 0 298808 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 1198956 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3854 /proc/meminfo: memFree=496572/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=1406840 CPUtime=402.06 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 351775 0 3 0 40011 195 0 0 25 0 1 0 108778225 1440604160 351052 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 351710 351052 312 324 0 350779 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 1406840 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3854 /proc/meminfo: memFree=286524/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=1614652 CPUtime=462.03 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 403724 0 3 0 45974 229 0 0 25 0 1 0 108778225 1653403648 403001 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7280478 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 403663 403001 312 324 0 402732 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 1614652 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3854 /proc/meminfo: memFree=140924/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=1760404 CPUtime=522 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 440159 0 3 0 51951 249 0 0 25 0 1 0 108778225 1802653696 439436 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 440101 439436 312 324 0 439170 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 1760404 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+562.002 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3854 /proc/meminfo: memFree=56892/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=1843276 CPUtime=561.68 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194304 460884 0 3 0 55906 262 0 0 25 0 1 0 108778225 1887514624 460161 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 460819 460161 312 324 0 459888 0 Current children cumulated CPU time (s) 561.68 Current children cumulated vsize (KiB) 1843276 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+562.202 s] /proc/loadavg: 0.99 0.97 0.98 2/65 3854 /proc/meminfo: memFree=56892/2055920 swapFree=4184748/4192956 [pid=3853] ppid=3851 vsize=0 CPUtime=561.87 /proc/3853/stat : 3853 (bsolo3.0.16) R 3851 3853 3793 0 -1 4194308 460885 0 3 0 55906 281 0 0 25 0 1 0 108778225 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/3853/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 561.87 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 562.283 CPU time (s): 561.96 CPU user time (s): 559.061 CPU system time (s): 2.89856 CPU usage (%): 99.9424 Max. virtual memory (cumulated for all children) (KiB): 1843276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 559.061 system time used= 2.89856 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460885 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 1822 runsolver used 0.551916 second user time and 1.50477 second system time The end
Begin job on node55 on Sun Apr 15 03:44:42 UTC 2007 IDJOB= 351655 IDBENCH= 1788 IDSOLVER= 163 FILE ID= node55/351655-1176608682 PBS_JOBID= 4557048 Free space on /tmp= 66559 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-aflow40b.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351655-1176608682/instance-351655-1176608682.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-351655-1176608682 -o ROOT/results/node55/solver-351655-1176608682 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351655-1176608682/instance-351655-1176608682.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 4990a2601191ad55c4ad7d6303e4ded9 RANDOM SEED= 618489901 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1901084 kB Buffers: 2600 kB Cached: 66056 kB SwapCached: 2064 kB Active: 36768 kB Inactive: 41204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1901084 kB SwapTotal: 4192956 kB SwapFree: 4184748 kB Dirty: 5576 kB Writeback: 0 kB Mapped: 16336 kB Slab: 62960 kB Committed_AS: 971156 kB PageTables: 1380 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= 66559 MiB End job on node55 on Sun Apr 15 03:54:06 UTC 2007