Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 107.154 | 107.15 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110969860--soft-33-100-0.wbo |
MD5SUM | 81d0b3111be77447a435e48fa3fc6a23 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 0.703892 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 69 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 3204 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3203 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1147 |
Number of bits of the biggest sum of numbers | 11 |
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 PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 20/51 clauses 12/18 units 0 0.00/0.00 c vars 169 0.00/0.02 c 0.022996 7.43359 9 558 0.00/0.02 o 808 0.00/0.02 c 0.025996 7.60156 34 736 0.00/0.02 o 615 0.00/0.03 c 0.026995 7.60156 50 821 0.00/0.03 o 607 0.00/0.03 c 0.027995 7.60156 57 906 0.00/0.03 o 520 0.19/0.20 c 0.133979 7.85547 622 3475 0.19/0.20 o 508 0.19/0.20 c 0.137979 7.85547 687 3628 0.19/0.20 o 503 0.19/0.22 c 0.146977 7.85547 525 4067 0.19/0.22 o 496 0.19/0.25 c 0.161975 7.85547 795 4793 0.19/0.25 o 486 0.19/0.26 c 0.166974 7.85547 450 4962 0.19/0.26 o 446 0.19/0.26 c 0.167974 7.85547 476 5024 0.19/0.26 o 433 0.19/0.26 c 0.167974 7.85547 477 5083 0.19/0.26 o 389 0.19/0.27 c 0.168974 7.85547 507 5187 0.19/0.27 o 363 0.19/0.27 c 0.170974 7.85547 512 5230 0.19/0.27 o 334 0.29/0.37 c 0.225965 7.85547 748 6662 0.29/0.37 o 298 0.49/0.58 c 0.361944 7.85547 1067 9693 0.49/0.58 o 292 1.79/1.81 c 1.14383 7.85547 833 25617 1.79/1.81 o 271 1.99/2.00 c 1.25681 7.85547 555 28208 1.99/2.00 o 261 1.99/2.01 c 1.26181 7.85547 596 28316 1.99/2.01 o 256 1.99/2.03 c 1.2768 7.85547 403 28758 1.99/2.03 o 169 2.09/2.14 c 1.3388 7.85547 677 30223 2.09/2.14 o 158 7.79/7.84 c 5.09323 7.98047 728 98565 7.79/7.84 o 150 7.79/7.84 c 5.09422 7.98047 394 98720 7.79/7.84 o 136 8.19/8.22 c 5.34019 7.98047 651 103666 8.19/8.22 o 130 9.19/9.22 c 5.97709 7.98047 446 115735 9.19/9.22 o 114 9.99/10.02 c 6.53901 7.98047 528 125858 9.99/10.02 o 110 11.00/11.05 c 7.2279 7.98047 880 138741 11.00/11.05 o 98 14.99/15.07 c 9.8825 8.10547 699 185471 14.99/15.07 o 93 16.29/16.34 c 10.7654 8.10547 632 200667 16.29/16.34 o 84 17.70/17.79 c 11.7122 8.10547 824 219140 17.70/17.79 o 79 18.09/18.12 c 11.9322 8.26172 549 223474 18.09/18.12 o 54 18.20/18.22 c 11.9982 8.26172 781 224874 18.20/18.22 o 44 20.69/20.78 c 13.8029 8.26172 538 257496 20.69/20.78 o 36 20.69/20.78 c 13.8069 8.26172 580 257565 20.69/20.78 o 34 20.69/20.78 c 13.8089 8.26172 593 257617 20.69/20.78 o 25 21.79/21.85 c 14.5818 8.26172 524 272488 21.79/21.85 o 19 22.19/22.23 c 14.8757 8.26172 778 277589 22.19/22.23 o 12 36.20/36.24 c 25.4751 8.33594 785 466549 36.20/36.24 o 10 36.30/36.39 c 25.5971 8.33594 750 468709 36.30/36.39 o 8 107.10/107.14 c 79.7299 8.44922 850 1420001 107.10/107.14 s OPTIMUM FOUND 107.10/107.14 v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -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 -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 -x86 -x87 -x88 -x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699053-1278459259/watcher-2699053-1278459259 -o /tmp/evaluation-result-2699053-1278459259/solver-2699053-1278459259 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699053-1278459259.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.78 1.95 1.69 3/182 13775 /proc/meminfo: memFree=29399444/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=3708 CPUtime=0 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 647 0 0 0 0 0 0 0 21 0 1 0 14138640 3796992 567 4089446400 134512640 136422188 4291751888 18446744073709551615 134632584 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 927 568 193 467 0 458 0 [startup+0.0341111 s] /proc/loadavg: 1.78 1.95 1.69 3/182 13775 /proc/meminfo: memFree=29399444/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=7780 CPUtime=0.02 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1653 0 0 0 2 0 0 0 21 0 1 0 14138640 7966720 1569 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 1945 1569 236 467 0 1476 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 7780 [startup+0.101099 s] /proc/loadavg: 1.78 1.95 1.69 3/182 13775 /proc/meminfo: memFree=29399444/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=7912 CPUtime=0.09 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1691 0 0 0 6 3 0 0 21 0 1 0 14138640 8101888 1607 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 1978 1607 236 467 0 1509 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7912 [startup+0.301061 s] /proc/loadavg: 1.78 1.95 1.69 3/182 13775 /proc/meminfo: memFree=29399444/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=8040 CPUtime=0.29 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1717 0 0 0 18 11 0 0 21 0 1 0 14138640 8232960 1624 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 2010 1624 236 467 0 1541 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8040 [startup+0.701 s] /proc/loadavg: 1.78 1.95 1.69 3/182 13775 /proc/meminfo: memFree=29399444/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=8040 CPUtime=0.69 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1727 0 0 0 42 27 0 0 22 0 1 0 14138640 8232960 1632 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 2010 1632 236 467 0 1541 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8040 [startup+1.50085 s] /proc/loadavg: 1.78 1.95 1.69 3/183 13776 /proc/meminfo: memFree=29384432/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=8040 CPUtime=1.49 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1737 0 0 0 94 55 0 0 25 0 1 0 14138640 8232960 1642 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 2010 1642 236 467 0 1541 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8040 [startup+3.10056 s] /proc/loadavg: 1.78 1.95 1.69 3/183 13776 /proc/meminfo: memFree=29383088/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=8040 CPUtime=3.09 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1750 0 0 0 198 111 0 0 25 0 1 0 14138640 8232960 1650 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 2010 1650 236 467 0 1541 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8040 [startup+6.30097 s] /proc/loadavg: 1.80 1.95 1.69 3/183 13776 /proc/meminfo: memFree=29382848/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=8168 CPUtime=6.29 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1770 0 0 0 413 216 0 0 25 0 1 0 14138640 8364032 1670 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 2042 1670 236 467 0 1573 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8168 [startup+12.7008 s] /proc/loadavg: 1.81 1.95 1.69 3/183 13777 /proc/meminfo: memFree=29382724/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=8296 CPUtime=12.7 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1792 0 0 0 831 439 0 0 25 0 1 0 14138640 8495104 1686 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 2074 1686 236 467 0 1605 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 8296 [startup+25.5004 s] /proc/loadavg: 1.85 1.95 1.69 3/183 13777 /proc/meminfo: memFree=29363564/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=8456 CPUtime=25.5 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1838 0 0 0 1735 815 0 0 25 0 1 0 14138640 8658944 1722 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 2114 1722 236 467 0 1645 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 8456 [startup+51.1007 s] /proc/loadavg: 1.90 1.96 1.70 3/183 13777 /proc/meminfo: memFree=29331756/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=8532 CPUtime=51.1 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1884 0 0 0 3686 1424 0 0 25 0 1 0 14138640 8736768 1766 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 2133 1766 236 467 0 1664 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 8532 [startup+102.306 s] /proc/loadavg: 2.02 1.98 1.72 3/183 13779 /proc/meminfo: memFree=29331128/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=8648 CPUtime=102.3 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1913 0 0 0 7606 2624 0 0 25 0 1 0 14138640 8855552 1795 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 2162 1795 236 467 0 1693 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8648 Solver just ended. Dumping a history of the last processes samples [startup+105.501 s] /proc/loadavg: 2.02 1.98 1.72 3/183 13779 /proc/meminfo: memFree=29329888/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=8648 CPUtime=105.5 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1913 0 0 0 7849 2701 0 0 25 0 1 0 14138640 8855552 1795 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 2162 1795 236 467 0 1693 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 8648 [startup+106.3 s] /proc/loadavg: 2.02 1.98 1.72 3/183 13779 /proc/meminfo: memFree=29329888/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=8648 CPUtime=106.29 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1913 0 0 0 7907 2722 0 0 25 0 1 0 14138640 8855552 1795 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 2162 1795 236 467 0 1693 0 Current children cumulated CPU time (s) 106.29 Current children cumulated vsize (KiB) 8648 [startup+106.706 s] /proc/loadavg: 2.02 1.98 1.72 3/183 13779 /proc/meminfo: memFree=29324416/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=8648 CPUtime=106.7 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1914 0 0 0 7939 2731 0 0 25 0 1 0 14138640 8855552 1796 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 2162 1796 236 467 0 1693 0 Current children cumulated CPU time (s) 106.7 Current children cumulated vsize (KiB) 8648 [startup+107.1 s] /proc/loadavg: 2.02 1.98 1.72 3/183 13779 /proc/meminfo: memFree=29324416/32951124 swapFree=67111528/67111528 [pid=13775] ppid=13773 vsize=8648 CPUtime=107.1 /proc/13775/stat : 13775 (pbct) R 13773 13775 13615 0 -1 4202496 1914 0 0 0 7969 2741 0 0 25 0 1 0 14138640 8855552 1796 4089446400 134512640 136422188 4291751888 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13775/statm: 2162 1796 236 467 0 1693 0 Current children cumulated CPU time (s) 107.1 Current children cumulated vsize (KiB) 8648 Child status: 0 Real time (s): 107.15 CPU time (s): 107.154 CPU user time (s): 79.7349 CPU system time (s): 27.4188 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 8660 getrusage(RUSAGE_CHILDREN,...) data: user time used= 79.7349 system time used= 27.4188 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1919 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= 2 involuntary context switches= 178 runsolver used 0.157975 second user time and 0.334949 second system time The end
Begin job on node135 at 2010-07-07 01:34:19 IDJOB=2699053 IDBENCH=78747 IDSOLVER=1212 FILE ID=node135/2699053-1278459259 PBS_JOBID= 11233722 Free space on /tmp= 73856 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969860--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699053-1278459259/watcher-2699053-1278459259 -o /tmp/evaluation-result-2699053-1278459259/solver-2699053-1278459259 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699053-1278459259.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 81d0b3111be77447a435e48fa3fc6a23 RANDOM SEED=879848500 node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 7358.10 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29400212 kB Buffers: 98428 kB Cached: 3173072 kB SwapCached: 0 kB Active: 805744 kB Inactive: 2607048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29400212 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4144 kB Writeback: 0 kB AnonPages: 141312 kB Mapped: 15460 kB Slab: 74624 kB PageTables: 4928 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 289100 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73852 MiB End job on node135 at 2010-07-07 01:36:07