Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | Wrong Opt. | 122.713 | 122.712 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo |
MD5SUM | 366069b8ece10aa1f9438c760e1be90c |
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.229964 |
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 | 1248 |
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.00/0.05 c 0.044993 7.61719 115 1062 0.00/0.05 o 658 0.00/0.05 c 0.048992 7.75 125 1475 0.00/0.05 o 489 0.00/0.06 c 0.050992 7.75 136 1803 0.00/0.06 o 443 0.00/0.06 c 0.051992 7.75 142 1841 0.00/0.06 o 433 0.00/0.06 c 0.053991 7.75 149 1880 0.00/0.06 o 431 0.00/0.06 c 0.055991 7.75 153 1904 0.00/0.06 o 427 0.07/0.09 c 0.081987 7.75 364 2339 0.07/0.09 o 413 0.07/0.09 c 0.083987 7.75 371 2391 0.07/0.09 o 384 0.19/0.23 c 0.19697 7.875 567 4863 0.19/0.23 o 319 0.19/0.26 c 0.225965 7.875 458 5515 0.19/0.26 o 298 0.19/0.27 c 0.228965 7.875 481 5621 0.19/0.27 o 266 0.49/0.52 c 0.434933 7.875 748 9406 0.49/0.52 o 238 0.49/0.52 c 0.436933 7.875 376 9557 0.49/0.52 o 146 0.89/0.92 c 0.769882 7.875 599 15355 0.89/0.92 o 106 0.89/0.96 c 0.797878 7.875 447 15786 0.89/0.96 o 92 1.28/1.30 c 1.09483 7.875 429 20079 1.28/1.30 o 87 1.28/1.37 c 1.15282 7.875 927 20934 1.28/1.37 o 78 3.59/3.64 c 3.07453 7.99609 1031 46079 3.59/3.64 o 68 9.69/9.73 c 8.36873 8.10547 927 114391 9.69/9.73 o 51 10.90/10.92 c 9.42857 8.10547 777 126506 10.90/10.92 o 46 19.40/19.42 c 16.9864 8.10547 1092 226264 19.40/19.42 o 43 24.79/24.80 c 21.7437 8.10547 1108 289238 24.79/24.80 o 33 55.40/55.45 c 49.3785 8.10547 1060 640234 55.40/55.45 o 14 122.69/122.70 c 110.92 8.10547 865 1533616 122.69/122.70 s OPTIMUM FOUND 122.69/122.70 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-2695682-1277924710/watcher-2695682-1277924710 -o /tmp/evaluation-result-2695682-1277924710/solver-2695682-1277924710 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695682-1277924710.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.90 1.96 1.98 4/178 28125 /proc/meminfo: memFree=30617828/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=3836 CPUtime=0 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 659 0 0 0 0 0 0 0 25 0 1 0 168074472 3928064 579 4089446400 134512640 136421960 4293223664 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/28125/statm: 959 581 193 467 0 490 0 [startup+0.0834 s] /proc/loadavg: 1.90 1.96 1.98 4/178 28125 /proc/meminfo: memFree=30617828/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=7932 CPUtime=0.07 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1695 0 0 0 6 1 0 0 25 0 1 0 168074472 8122368 1609 4089446400 134512640 136421960 4293223664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/28125/statm: 1983 1609 236 467 0 1514 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7932 [startup+0.100398 s] /proc/loadavg: 1.90 1.96 1.98 4/178 28125 /proc/meminfo: memFree=30617828/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=7932 CPUtime=0.09 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1701 0 0 0 8 1 0 0 18 0 1 0 168074472 8122368 1613 4089446400 134512640 136421960 4293223664 18446744073709551615 134861829 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/28125/statm: 1983 1613 236 467 0 1514 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7932 [startup+0.300367 s] /proc/loadavg: 1.90 1.96 1.98 4/178 28125 /proc/meminfo: memFree=30617828/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8060 CPUtime=0.29 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1730 0 0 0 25 4 0 0 18 0 1 0 168074472 8253440 1639 4089446400 134512640 136421960 4293223664 18446744073709551615 135025621 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/28125/statm: 2015 1639 236 467 0 1546 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8060 [startup+0.700289 s] /proc/loadavg: 1.90 1.96 1.98 4/178 28125 /proc/meminfo: memFree=30617828/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8060 CPUtime=0.69 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1736 0 0 0 57 12 0 0 18 0 1 0 168074472 8253440 1643 4089446400 134512640 136421960 4293223664 18446744073709551615 134872752 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/28125/statm: 2015 1643 236 467 0 1546 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8060 [startup+1.50115 s] /proc/loadavg: 1.90 1.96 1.98 3/179 28126 /proc/meminfo: memFree=30609016/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8060 CPUtime=1.49 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1743 0 0 0 125 24 0 0 19 0 1 0 168074472 8253440 1646 4089446400 134512640 136421960 4293223664 18446744073709551615 135686628 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/28125/statm: 2015 1646 236 467 0 1546 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8060 [startup+3.10088 s] /proc/loadavg: 1.90 1.96 1.98 3/179 28126 /proc/meminfo: memFree=30604744/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8184 CPUtime=3.09 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1760 0 0 0 259 50 0 0 24 0 1 0 168074472 8380416 1663 4089446400 134512640 136421960 4293223664 18446744073709551615 134861937 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/28125/statm: 2046 1663 236 467 0 1577 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8184 [startup+6.30031 s] /proc/loadavg: 1.90 1.96 1.98 3/179 28126 /proc/meminfo: memFree=30596560/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8184 CPUtime=6.29 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1777 0 0 0 540 89 0 0 25 0 1 0 168074472 8380416 1679 4089446400 134512640 136421960 4293223664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/28125/statm: 2046 1679 236 467 0 1577 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8184 [startup+12.7002 s] /proc/loadavg: 1.92 1.96 1.98 3/179 28127 /proc/meminfo: memFree=30571980/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8296 CPUtime=12.69 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1790 0 0 0 1100 169 0 0 20 0 1 0 168074472 8495104 1690 4089446400 134512640 136421960 4293223664 18446744073709551615 134593924 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/28125/statm: 2074 1690 236 467 0 1605 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8296 [startup+25.5009 s] /proc/loadavg: 1.93 1.96 1.98 3/179 28127 /proc/meminfo: memFree=30545788/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8296 CPUtime=25.49 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1793 0 0 0 2236 313 0 0 25 0 1 0 168074472 8495104 1691 4089446400 134512640 136421960 4293223664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/28125/statm: 2074 1691 236 467 0 1605 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8296 [startup+51.1004 s] /proc/loadavg: 1.95 1.96 1.98 3/179 28128 /proc/meminfo: memFree=30478036/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8296 CPUtime=51.1 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1793 0 0 0 4547 563 0 0 25 0 1 0 168074472 8495104 1691 4089446400 134512640 136421960 4293223664 18446744073709551615 135032425 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/28125/statm: 2074 1691 236 467 0 1605 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 8296 [startup+102.306 s] /proc/loadavg: 1.98 1.97 1.98 3/197 28174 /proc/meminfo: memFree=30433096/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8296 CPUtime=102.3 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1803 0 0 0 9219 1011 0 0 25 0 1 0 168074472 8495104 1700 4089446400 134512640 136421960 4293223664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/28125/statm: 2074 1700 236 467 0 1605 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8296 Solver just ended. Dumping a history of the last processes samples [startup+115.1 s] /proc/loadavg: 1.98 1.97 1.98 3/197 28175 /proc/meminfo: memFree=30430984/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8296 CPUtime=115.09 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1805 0 0 0 10392 1117 0 0 25 0 1 0 168074472 8495104 1702 4089446400 134512640 136421960 4293223664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/28125/statm: 2074 1702 236 467 0 1605 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 8296 [startup+118.301 s] /proc/loadavg: 1.98 1.97 1.98 3/197 28175 /proc/meminfo: memFree=30426024/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8296 CPUtime=118.3 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1809 0 0 0 10685 1145 0 0 25 0 1 0 168074472 8495104 1706 4089446400 134512640 136421960 4293223664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/28125/statm: 2074 1706 236 467 0 1605 0 Current children cumulated CPU time (s) 118.3 Current children cumulated vsize (KiB) 8296 [startup+119.906 s] /proc/loadavg: 1.98 1.97 1.98 3/197 28175 /proc/meminfo: memFree=30426024/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8296 CPUtime=119.89 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1809 0 0 0 10833 1156 0 0 25 0 1 0 168074472 8495104 1706 4089446400 134512640 136421960 4293223664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/28125/statm: 2074 1706 236 467 0 1605 0 Current children cumulated CPU time (s) 119.89 Current children cumulated vsize (KiB) 8296 [startup+121.501 s] /proc/loadavg: 1.98 1.97 1.98 3/197 28175 /proc/meminfo: memFree=30423792/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8296 CPUtime=121.5 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1810 0 0 0 10980 1170 0 0 25 0 1 0 168074472 8495104 1707 4089446400 134512640 136421960 4293223664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/28125/statm: 2074 1707 236 467 0 1605 0 Current children cumulated CPU time (s) 121.5 Current children cumulated vsize (KiB) 8296 [startup+122.301 s] /proc/loadavg: 1.98 1.97 1.98 3/197 28175 /proc/meminfo: memFree=30423792/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8296 CPUtime=122.29 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1816 0 0 0 11054 1175 0 0 25 0 1 0 168074472 8495104 1713 4089446400 134512640 136421960 4293223664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/28125/statm: 2074 1713 236 467 0 1605 0 Current children cumulated CPU time (s) 122.29 Current children cumulated vsize (KiB) 8296 [startup+122.701 s] /proc/loadavg: 1.98 1.97 1.98 3/197 28175 /proc/meminfo: memFree=30423792/32950928 swapFree=67111528/67111528 [pid=28125] ppid=28123 vsize=8296 CPUtime=122.69 /proc/28125/stat : 28125 (pbct) R 28123 28125 27917 0 -1 4202496 1816 0 0 0 11091 1178 0 0 25 0 1 0 168074472 8495104 1713 4089446400 134512640 136421960 4293223664 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/28125/statm: 2074 1713 236 467 0 1605 0 Current children cumulated CPU time (s) 122.69 Current children cumulated vsize (KiB) 8296 Child status: 0 Real time (s): 122.712 CPU time (s): 122.713 CPU user time (s): 110.924 CPU system time (s): 11.7892 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 8308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 110.924 system time used= 11.7892 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1821 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= 5 involuntary context switches= 237 runsolver used 0.180972 second user time and 0.450931 second system time The end
Begin job on node112 at 2010-06-30 21:05:10 IDJOB=2695682 IDBENCH=79248 IDSOLVER=1208 FILE ID=node112/2695682-1277924710 PBS_JOBID= 11197354 Free space on /tmp= 74208 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973670--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695682-1277924710/watcher-2695682-1277924710 -o /tmp/evaluation-result-2695682-1277924710/solver-2695682-1277924710 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695682-1277924710.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 366069b8ece10aa1f9438c760e1be90c RANDOM SEED=476731132 node112.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.827 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.65 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.827 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.75 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.827 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.82 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.827 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.73 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.827 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.82 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.827 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.75 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.827 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.82 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.827 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30618348 kB Buffers: 206560 kB Cached: 1895872 kB SwapCached: 0 kB Active: 613540 kB Inactive: 1572176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30618348 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5448 kB Writeback: 0 kB AnonPages: 82916 kB Mapped: 16068 kB Slab: 82484 kB PageTables: 4696 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 229756 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= 74208 MiB End job on node112 at 2010-06-30 21:07:12