Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 1120 | 40.7498 | 40.7648 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb |
MD5SUM | 9b4418c5c34f37121cd9ad7732df64ff |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1120 |
Best CPU time to get the best result obtained on this benchmark | 8.64668 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | YES |
Number of variables | 89 |
Total number of constraints | 28 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 47 |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
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/432834-1177950444/instance-432834-1177950444.opb 0.00/0.00 c File size is 3601 bytes. 0.00/0.00 c Highest Coefficient sum: 15494 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 89 Constr: 28 2/15/11 Lit: 309 Watch. Lit: 138 0.00/0.00 c Obj. Vars: 85 (95.5056 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 88 28 309 11 138 558 0 0 0.00 0.00/0.00 c Initial Lower Bound: 945 0.00/0.00 c Initial Path Cost: 0 0.00/0.00 o 2175 0.005 0.01/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.03 c 34 88 63 1932 30 288 726 35 6800 0.01 0.01/0.03 o 1723 0.03 * 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 46 88 76 2466 32 392 726 48 1483 0.03 0.09/0.12 c 149 88 187 6451 34 615 799 159 1460 0.10 0.09/0.12 o 1679 0.123 * 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 157 88 196 6866 35 696 726 168 1276 0.12 0.09/0.14 o 1655 0.139 * 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 160 88 200 7075 35 788 726 172 1151 0.14 0.09/0.15 o 1260 0.148 * 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 160 88 201 7159 35 854 726 173 1081 0.15 0.89/0.99 c 260 88 358 12199 34 1171 799 330 1069 0.24 0.89/0.99 c 510 88 722 25624 35 1897 879 694 1125 0.45 0.89/0.99 c 985 88 870 28033 32 1911 967 842 1016 0.97 0.89/0.99 o 1238 0.987 * 1.99/2.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.09 c 1001 88 890 28874 32 2030 726 862 1014 0.99 1.99/2.09 c 1101 88 497 15078 30 1171 799 469 1022 1.08 1.99/2.09 c 1353 88 820 26062 31 1812 879 792 1035 1.31 1.99/2.09 c 1829 87 630 17321 27 1429 967 602 1016 1.80 1.99/2.09 o 1153 2.095 * 3.49/3.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.59 c 2183 87 517 16392 31 1284 724 489 1042 2.10 3.49/3.59 c 2283 87 657 20868 31 1561 797 629 1033 2.21 3.49/3.59 c 2535 87 607 17375 28 1384 877 579 1011 2.51 3.49/3.59 c 3011 87 486 14143 29 1135 965 458 1006 2.99 3.49/3.59 o 1148 3.591 * 12.69/12.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.69/12.78 c 3521 87 781 24230 31 1808 724 753 980 3.59 12.69/12.78 c 3629 87 547 16721 30 1264 797 519 979 3.71 12.69/12.78 c 3879 87 429 11776 27 1025 877 401 994 3.90 12.69/12.78 c 4356 87 703 19643 27 1573 965 675 992 4.39 12.69/12.78 c 5169 87 844 26606 31 1852 1062 816 1009 5.12 12.69/12.78 c 6491 87 561 16218 28 1288 1169 533 1035 6.27 12.69/12.78 c 8575 87 740 21754 29 1649 1286 712 1032 8.31 12.69/12.78 c 11807 87 742 22606 30 1644 1415 714 1072 11.01 12.69/12.78 o 1120 12.774 * 40.69/40.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.69/40.76 c 13671 87 1080 26541 24 2397 724 1052 1070 12.77 40.69/40.76 c 13773 87 585 15138 25 1333 797 557 1069 12.87 40.69/40.76 c 14025 87 657 16873 25 1477 877 629 1067 13.13 40.69/40.76 c 14500 87 489 14490 29 1148 965 461 1070 13.55 40.69/40.76 c 15315 87 953 28663 30 2066 1062 925 1070 14.30 40.69/40.76 c 16636 87 858 26115 30 1882 1169 830 1075 15.46 40.69/40.76 c 18719 87 1161 36464 31 2487 1286 1133 1080 17.33 40.69/40.76 c 21943 87 1039 27288 26 2243 1415 1011 1069 20.51 40.69/40.76 c 26879 87 1226 36317 29 2620 1557 1198 1069 25.14 40.69/40.76 c 34386 87 860 22137 25 1881 1713 832 1064 32.30 40.69/40.76 v x1 x2 -x3 -x4 -x5 -x8 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 40.69/40.76 v -x33 x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 40.69/40.76 v -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 40.69/40.76 v x86 -x87 -x88 -x89 -x6 x7 -x9 -x10 40.69/40.76 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 40.69/40.76 c 35 43213 3944 54053 1036 20159 1008 1060 40.74 40.69/40.76 c Objective: 1120 40.69/40.76 s OPTIMUM FOUND 40.69/40.76 c Total time: 40.745 s
OK 1120
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-432834-1177950444 -o ROOT/results/node13/solver-432834-1177950444 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432834-1177950444/instance-432834-1177950444.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.91 3/77 11313 /proc/meminfo: memFree=1856072/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=19552 CPUtime=0 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 242962223 20021248 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 4888 332 279 324 0 3957 0 [startup+0.0153091 s] /proc/loadavg: 0.77 0.93 0.91 3/77 11313 /proc/meminfo: memFree=1856072/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=20468 CPUtime=0.01 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 800 0 0 0 1 0 0 0 18 0 1 0 242962223 20959232 562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 5097 561 392 324 0 4167 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 20468 [startup+0.101327 s] /proc/loadavg: 0.77 0.93 0.91 3/77 11313 /proc/meminfo: memFree=1856072/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=12712 CPUtime=0.09 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 2219 0 0 0 9 0 0 0 18 0 1 0 242962223 13017088 622 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3178 622 393 324 0 2248 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12712 [startup+0.301368 s] /proc/loadavg: 0.77 0.93 0.91 3/77 11313 /proc/meminfo: memFree=1856072/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=12712 CPUtime=0.29 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 3475 0 0 0 28 1 0 0 20 0 1 0 242962223 13017088 661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3178 661 393 324 0 2248 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12712 [startup+0.701454 s] /proc/loadavg: 0.77 0.93 0.91 3/77 11313 /proc/meminfo: memFree=1856072/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=13232 CPUtime=0.69 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 11305 0 0 0 64 5 0 0 24 0 1 0 242962223 13549568 689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3308 689 393 324 0 2378 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13232 [startup+1.50163 s] /proc/loadavg: 0.77 0.93 0.91 2/78 11314 /proc/meminfo: memFree=1854720/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=12712 CPUtime=1.49 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 28890 0 0 0 133 16 0 0 25 0 1 0 242962223 13017088 684 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3178 684 393 324 0 2248 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12712 [startup+3.10297 s] /proc/loadavg: 0.77 0.93 0.91 2/78 11314 /proc/meminfo: memFree=1854464/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=13236 CPUtime=3.09 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 63391 0 0 0 273 36 0 0 25 0 1 0 242962223 13553664 690 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134820329 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3179 685 393 324 0 2249 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13236 [startup+6.30165 s] /proc/loadavg: 0.79 0.94 0.91 2/78 11314 /proc/meminfo: memFree=1854400/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=13072 CPUtime=6.29 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 120100 0 0 0 560 69 0 0 25 0 1 0 242962223 13385728 721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3268 721 393 324 0 2338 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13072 [startup+12.702 s] /proc/loadavg: 0.81 0.94 0.91 2/78 11314 /proc/meminfo: memFree=1854208/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=13472 CPUtime=12.69 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 166581 0 0 0 1169 100 0 0 25 0 1 0 242962223 13795328 792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3318 791 394 324 0 2388 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13472 [startup+25.5018 s] /proc/loadavg: 0.85 0.94 0.91 2/78 11314 /proc/meminfo: memFree=1854088/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=13260 CPUtime=25.48 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 253151 0 0 0 2380 168 0 0 25 0 1 0 242962223 13578240 819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3394 822 394 324 0 2464 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13260 Solver just ended. Dumping a history of the last processes samples [startup+31.9051 s] /proc/loadavg: 0.86 0.94 0.91 2/78 11314 /proc/meminfo: memFree=1854152/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=13740 CPUtime=31.88 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 345339 0 0 0 2958 230 0 0 25 0 1 0 242962223 14069760 823 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3394 822 394 324 0 2464 0 Current children cumulated CPU time (s) 31.88 Current children cumulated vsize (KiB) 13740 [startup+35.1018 s] /proc/loadavg: 0.87 0.94 0.91 2/78 11314 /proc/meminfo: memFree=1854152/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=13576 CPUtime=35.08 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 380689 0 0 0 3251 257 0 0 25 0 1 0 242962223 13901824 821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3314 819 394 324 0 2384 0 Current children cumulated CPU time (s) 35.08 Current children cumulated vsize (KiB) 13576 [startup+38.3015 s] /proc/loadavg: 0.88 0.94 0.91 2/78 11314 /proc/meminfo: memFree=1854152/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=13576 CPUtime=38.27 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 420058 0 0 0 3543 284 0 0 25 0 1 0 242962223 13901824 822 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314181 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3394 822 394 324 0 2464 0 Current children cumulated CPU time (s) 38.27 Current children cumulated vsize (KiB) 13576 [startup+39.9018 s] /proc/loadavg: 0.88 0.94 0.91 2/78 11314 /proc/meminfo: memFree=1854152/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=13256 CPUtime=39.87 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 440173 0 0 0 3690 297 0 0 25 0 1 0 242962223 13574144 820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3395 822 394 324 0 2465 0 Current children cumulated CPU time (s) 39.87 Current children cumulated vsize (KiB) 13256 [startup+40.3019 s] /proc/loadavg: 0.88 0.94 0.91 2/78 11314 /proc/meminfo: memFree=1854152/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=13576 CPUtime=40.28 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 445177 0 0 0 3727 301 0 0 25 0 1 0 242962223 13901824 823 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134801995 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3354 822 394 324 0 2424 0 Current children cumulated CPU time (s) 40.28 Current children cumulated vsize (KiB) 13576 [startup+40.706 s] /proc/loadavg: 0.88 0.94 0.91 2/78 11314 /proc/meminfo: memFree=1854152/2055920 swapFree=4159412/4192956 [pid=11313] ppid=11311 vsize=13256 CPUtime=40.69 /proc/11313/stat : 11313 (bsolo3.0.17) R 11311 11313 10317 0 -1 4194304 450831 0 0 0 3764 305 0 0 25 0 1 0 242962223 13574144 820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11313/statm: 3314 820 394 324 0 2384 0 Current children cumulated CPU time (s) 40.69 Current children cumulated vsize (KiB) 13256 Child status: 0 Real time (s): 40.7648 CPU time (s): 40.7498 CPU user time (s): 37.6933 CPU system time (s): 3.05653 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (KiB): 20468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.6933 system time used= 3.05653 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 451488 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= 11 involuntary context switches= 841 runsolver used 0.046992 second user time and 0.083987 second system time The end
Begin job on node13 on Mon Apr 30 16:27:24 UTC 2007 IDJOB= 432834 IDBENCH= 1868 IDSOLVER= 199 FILE ID= node13/432834-1177950444 PBS_JOBID= 4727829 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432834-1177950444/instance-432834-1177950444.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-432834-1177950444 -o ROOT/results/node13/solver-432834-1177950444 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432834-1177950444/instance-432834-1177950444.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 9b4418c5c34f37121cd9ad7732df64ff RANDOM SEED= 378532175 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1856480 kB Buffers: 3004 kB Cached: 114412 kB SwapCached: 12736 kB Active: 49680 kB Inactive: 91736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856480 kB SwapTotal: 4192956 kB SwapFree: 4159412 kB Dirty: 6732 kB Writeback: 0 kB Mapped: 31036 kB Slab: 43416 kB Committed_AS: 6963868 kB PageTables: 1876 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= 66558 MiB End job on node13 on Mon Apr 30 16:28:05 UTC 2007