Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | Wrong Opt. | 118.761 | 118.763 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo |
MD5SUM | c968c5c5686ce999c268d6dcbb002538 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.357945 |
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 | 101 |
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 | 4944 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 4943 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1209 |
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.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 0/71 clauses 0/30 units 0 0.00/0.00 c vars 169 0.03/0.05 c 0.045993 7.56641 138 2140 0.03/0.05 o 510 0.03/0.07 c 0.054991 7.75391 266 2889 0.03/0.07 o 458 0.03/0.08 c 0.055991 7.75391 267 2914 0.03/0.08 o 450 0.03/0.08 c 0.058991 7.75391 312 3156 0.03/0.08 o 414 0.03/0.09 c 0.06299 7.75391 346 3339 0.03/0.09 o 354 0.29/0.37 c 0.211967 7.87891 911 7869 0.29/0.37 o 303 0.49/0.54 c 0.303953 7.87891 394 10540 0.49/0.54 o 291 0.59/0.61 c 0.345947 7.87891 606 11891 0.59/0.61 o 282 0.59/0.62 c 0.349946 7.87891 637 12024 0.59/0.62 o 247 1.00/1.04 c 0.581911 7.87891 793 17990 1.00/1.04 o 219 1.00/1.05 c 0.58691 7.87891 460 18222 1.00/1.05 o 210 1.00/1.09 c 0.611906 7.87891 732 19004 1.00/1.09 o 206 1.09/1.10 c 0.619905 7.87891 482 19398 1.09/1.10 o 198 1.09/1.13 c 0.632903 7.87891 647 19784 1.09/1.13 o 194 2.59/2.69 c 1.51177 8.00391 814 42605 2.59/2.69 o 186 3.69/3.79 c 2.26965 8.00391 1028 57124 3.69/3.79 o 152 3.69/3.79 c 2.27065 8.00391 522 57192 3.69/3.79 o 128 3.69/3.79 c 2.27165 8.00391 530 57327 3.69/3.79 o 57 6.69/6.74 c 4.24036 8.00391 970 94486 6.69/6.74 o 46 20.69/20.76 c 14.4328 8.00391 1138 277129 20.69/20.76 o 27 50.49/50.58 c 37.4243 8.00391 1123 676810 50.49/50.58 o 14 118.70/118.75 c 95.1885 8.11719 1079 1615348 118.70/118.75 s OPTIMUM FOUND 118.70/118.75 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 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695648-1277924245/watcher-2695648-1277924245 -o /tmp/evaluation-result-2695648-1277924245/solver-2695648-1277924245 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695648-1277924245.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: 2.06 2.01 2.00 3/196 14033 /proc/meminfo: memFree=31314820/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=3836 CPUtime=0 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 668 0 0 0 0 0 0 0 24 0 1 0 133720908 3928064 587 4089446400 134512640 136421960 4291531856 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14033/statm: 959 588 193 467 0 490 0 [startup+0.0403751 s] /proc/loadavg: 2.06 2.01 2.00 3/196 14033 /proc/meminfo: memFree=31314820/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=7744 CPUtime=0.03 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1643 0 0 0 3 0 0 0 24 0 1 0 133720908 7929856 1562 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14033/statm: 1936 1562 213 467 0 1467 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 7744 [startup+0.100365 s] /proc/loadavg: 2.06 2.01 2.00 3/196 14033 /proc/meminfo: memFree=31314820/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=7936 CPUtime=0.09 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1696 0 0 0 6 3 0 0 24 0 1 0 133720908 8126464 1610 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14033/statm: 1984 1610 236 467 0 1515 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7936 [startup+0.300331 s] /proc/loadavg: 2.06 2.01 2.00 3/196 14033 /proc/meminfo: memFree=31314820/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8064 CPUtime=0.29 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1723 0 0 0 17 12 0 0 25 0 1 0 133720908 8257536 1637 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14033/statm: 2016 1637 236 467 0 1547 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8064 [startup+0.700264 s] /proc/loadavg: 2.06 2.01 2.00 3/196 14033 /proc/meminfo: memFree=31314820/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8064 CPUtime=0.69 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1736 0 0 0 39 30 0 0 25 0 1 0 133720908 8257536 1646 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14033/statm: 2016 1646 236 467 0 1547 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8064 [startup+1.50013 s] /proc/loadavg: 2.05 2.01 2.00 3/197 14034 /proc/meminfo: memFree=31308860/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8064 CPUtime=1.49 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1744 0 0 0 84 65 0 0 25 0 1 0 133720908 8257536 1649 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14033/statm: 2016 1649 236 467 0 1547 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8064 [startup+3.10086 s] /proc/loadavg: 2.05 2.01 2.00 3/197 14034 /proc/meminfo: memFree=31308488/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8192 CPUtime=3.09 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1761 0 0 0 176 133 0 0 25 0 1 0 133720908 8388608 1665 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14033/statm: 2048 1665 236 467 0 1579 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8192 [startup+6.30032 s] /proc/loadavg: 2.05 2.01 2.00 3/197 14034 /proc/meminfo: memFree=31308852/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8192 CPUtime=6.3 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1779 0 0 0 396 234 0 0 25 0 1 0 133720908 8388608 1680 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14033/statm: 2048 1680 236 467 0 1579 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 8192 [startup+12.7002 s] /proc/loadavg: 2.04 2.01 2.00 3/197 14034 /proc/meminfo: memFree=31309468/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8192 CPUtime=12.69 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1782 0 0 0 849 420 0 0 25 0 1 0 133720908 8388608 1682 4089446400 134512640 136421960 4291531856 18446744073709551615 135020790 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14033/statm: 2048 1682 236 467 0 1579 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8192 [startup+25.5001 s] /proc/loadavg: 2.03 2.01 2.00 3/197 14034 /proc/meminfo: memFree=31306508/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8192 CPUtime=25.49 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1785 0 0 0 1805 744 0 0 25 0 1 0 133720908 8388608 1684 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14033/statm: 2048 1684 236 467 0 1579 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8192 [startup+51.1008 s] /proc/loadavg: 2.02 2.01 2.00 3/197 14036 /proc/meminfo: memFree=31297140/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8192 CPUtime=51.09 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1790 0 0 0 3781 1328 0 0 25 0 1 0 133720908 8388608 1688 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/14033/statm: 2048 1688 236 467 0 1579 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8192 [startup+102.306 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14036 /proc/meminfo: memFree=31276880/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8308 CPUtime=102.3 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1797 0 0 0 8050 2180 0 0 25 0 1 0 133720908 8507392 1695 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14033/statm: 2077 1695 236 467 0 1608 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8308 Solver just ended. Dumping a history of the last processes samples [startup+108.7 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14038 /proc/meminfo: memFree=31273396/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8308 CPUtime=108.69 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1799 0 0 0 8609 2260 0 0 25 0 1 0 133720908 8507392 1697 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14033/statm: 2077 1697 236 467 0 1608 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 8308 [startup+115.101 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14038 /proc/meminfo: memFree=31271164/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8308 CPUtime=115.09 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1804 0 0 0 9189 2320 0 0 25 0 1 0 133720908 8507392 1702 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14033/statm: 2077 1702 236 467 0 1608 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 8308 [startup+116.701 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14038 /proc/meminfo: memFree=31271164/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8308 CPUtime=116.69 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1804 0 0 0 9334 2335 0 0 25 0 1 0 133720908 8507392 1702 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14033/statm: 2077 1702 236 467 0 1608 0 Current children cumulated CPU time (s) 116.69 Current children cumulated vsize (KiB) 8308 [startup+117.501 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14038 /proc/meminfo: memFree=31271164/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8308 CPUtime=117.49 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1804 0 0 0 9405 2344 0 0 25 0 1 0 133720908 8507392 1702 4089446400 134512640 136421960 4291531856 18446744073709551615 135020368 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14033/statm: 2077 1702 236 467 0 1608 0 Current children cumulated CPU time (s) 117.49 Current children cumulated vsize (KiB) 8308 [startup+118.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14038 /proc/meminfo: memFree=31271164/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8308 CPUtime=118.29 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1806 0 0 0 9477 2352 0 0 25 0 1 0 133720908 8507392 1704 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14033/statm: 2077 1704 236 467 0 1608 0 Current children cumulated CPU time (s) 118.29 Current children cumulated vsize (KiB) 8308 [startup+118.7 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14038 /proc/meminfo: memFree=31271164/32950928 swapFree=67111528/67111528 [pid=14033] ppid=14031 vsize=8308 CPUtime=118.7 /proc/14033/stat : 14033 (pbct) R 14031 14033 12818 0 -1 4202496 1807 0 0 0 9514 2356 0 0 25 0 1 0 133720908 8507392 1705 4089446400 134512640 136421960 4291531856 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/14033/statm: 2077 1705 236 467 0 1608 0 Current children cumulated CPU time (s) 118.7 Current children cumulated vsize (KiB) 8308 Child status: 0 Real time (s): 118.763 CPU time (s): 118.761 CPU user time (s): 95.1935 CPU system time (s): 23.5674 CPU usage (%): 99.9982 Max. virtual memory (cumulated for all children) (KiB): 8308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 95.1935 system time used= 23.5674 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1812 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= 1 involuntary context switches= 299 runsolver used 0.171973 second user time and 0.375942 second system time The end
Begin job on node126 at 2010-06-30 20:57:25 IDJOB=2695648 IDBENCH=79231 IDSOLVER=1208 FILE ID=node126/2695648-1277924245 PBS_JOBID= 11197344 Free space on /tmp= 74192 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972763--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695648-1277924245/watcher-2695648-1277924245 -o /tmp/evaluation-result-2695648-1277924245/solver-2695648-1277924245 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695648-1277924245.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c968c5c5686ce999c268d6dcbb002538 RANDOM SEED=853840843 node126.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.835 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.835 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.83 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.835 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 : 5332.75 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.835 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.83 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.835 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.72 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.835 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.82 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.835 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.75 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.835 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31315588 kB Buffers: 204996 kB Cached: 922460 kB SwapCached: 0 kB Active: 825148 kB Inactive: 666356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31315588 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1972 kB Writeback: 0 kB AnonPages: 364452 kB Mapped: 20260 kB Slab: 78608 kB PageTables: 5488 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1652664 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74188 MiB End job on node126 at 2010-06-30 20:59:24