Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 118.506 | 118.503 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo |
MD5SUM | a7711a7b19a36d7c95277483b0aa560c |
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 | 12 |
Best CPU time to get the best result obtained on this benchmark | 0.111982 |
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 | 64 |
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 | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1228 |
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 25/46 clauses 12/18 units 0 0.00/0.00 c vars 169 0.09/0.18 c 0.151976 7.58594 1171 2698 0.09/0.18 o 476 0.09/0.18 c 0.155976 7.73438 602 2926 0.09/0.18 o 349 0.29/0.34 c 0.293955 7.73438 790 5143 0.29/0.34 o 307 0.69/0.74 c 0.643902 7.73438 423 9920 0.69/0.74 o 304 0.69/0.74 c 0.646901 7.73438 432 9961 0.69/0.74 o 300 0.69/0.74 c 0.647901 7.73438 434 9995 0.69/0.74 o 298 0.69/0.74 c 0.649901 7.73438 436 10017 0.69/0.74 o 294 0.69/0.74 c 0.649901 7.73438 442 10144 0.69/0.74 o 194 0.89/0.97 c 0.839872 7.73438 595 12595 0.89/0.97 o 172 2.29/2.33 c 2.03669 7.85938 1248 28259 2.29/2.33 o 140 7.29/7.35 c 6.41502 7.85938 452 85289 7.29/7.35 o 88 9.99/10.05 c 8.78566 7.85938 888 115945 9.99/10.05 o 68 18.89/18.97 c 16.7205 7.85938 837 222873 18.89/18.97 o 54 35.49/35.58 c 31.6682 7.85938 784 434073 35.49/35.58 o 15 52.89/52.97 c 47.5138 7.85938 1269 652738 52.89/52.97 o 12 118.40/118.49 c 107.665 7.97656 874 1481377 118.40/118.49 s OPTIMUM FOUND 118.40/118.49 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 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695326-1277896475/watcher-2695326-1277896475 -o /tmp/evaluation-result-2695326-1277896475/solver-2695326-1277896475 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695326-1277896475.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.00 2.00 2.00 4/178 23059 /proc/meminfo: memFree=31558676/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=3840 CPUtime=0 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 658 0 0 0 0 0 0 0 25 0 1 0 163239202 3932160 578 4089446400 134512640 136421960 4289573408 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 960 578 193 467 0 491 0 [startup+0.044461 s] /proc/loadavg: 2.00 2.00 2.00 4/178 23059 /proc/meminfo: memFree=31558676/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=7636 CPUtime=0.04 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1604 0 0 0 4 0 0 0 25 0 1 0 163239202 7819264 1524 4089446400 134512640 136421960 4289573408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 1909 1524 213 467 0 1440 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7636 [startup+0.10058 s] /proc/loadavg: 2.00 2.00 2.00 4/178 23059 /proc/meminfo: memFree=31558676/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=7764 CPUtime=0.09 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1618 0 0 0 8 1 0 0 25 0 1 0 163239202 7950336 1538 4089446400 134512640 136421960 4289573408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 1941 1538 213 467 0 1472 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7764 [startup+0.300549 s] /proc/loadavg: 2.00 2.00 2.00 4/178 23059 /proc/meminfo: memFree=31558676/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=7916 CPUtime=0.29 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1684 0 0 0 25 4 0 0 25 0 1 0 163239202 8105984 1602 4089446400 134512640 136421960 4289573408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 1979 1602 236 467 0 1510 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7916 [startup+0.700392 s] /proc/loadavg: 2.00 2.00 2.00 4/178 23059 /proc/meminfo: memFree=31558676/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=7916 CPUtime=0.69 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1685 0 0 0 60 9 0 0 25 0 1 0 163239202 8105984 1602 4089446400 134512640 136421960 4289573408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 1979 1602 236 467 0 1510 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7916 [startup+1.50021 s] /proc/loadavg: 2.00 2.00 2.00 4/179 23060 /proc/meminfo: memFree=31553584/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=7916 CPUtime=1.49 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1707 0 0 0 130 19 0 0 25 0 1 0 163239202 8105984 1618 4089446400 134512640 136421960 4289573408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 1979 1618 236 467 0 1510 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7916 [startup+3.10092 s] /proc/loadavg: 2.00 2.00 2.00 4/179 23060 /proc/meminfo: memFree=31553088/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=8044 CPUtime=3.09 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1729 0 0 0 270 39 0 0 25 0 1 0 163239202 8237056 1639 4089446400 134512640 136421960 4289573408 18446744073709551615 134872668 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 2011 1639 236 467 0 1542 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8044 [startup+6.30036 s] /proc/loadavg: 2.00 2.00 2.00 4/179 23060 /proc/meminfo: memFree=31553272/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=8044 CPUtime=6.29 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1729 0 0 0 548 81 0 0 25 0 1 0 163239202 8237056 1639 4089446400 134512640 136421960 4289573408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 2011 1639 236 467 0 1542 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8044 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 4/179 23061 /proc/meminfo: memFree=31552592/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=8044 CPUtime=12.69 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1731 0 0 0 1110 159 0 0 25 0 1 0 163239202 8237056 1639 4089446400 134512640 136421960 4289573408 18446744073709551615 135019599 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 2011 1639 236 467 0 1542 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8044 [startup+25.5011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23061 /proc/meminfo: memFree=31552348/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=8044 CPUtime=25.49 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1741 0 0 0 2256 293 0 0 25 0 1 0 163239202 8237056 1648 4089446400 134512640 136421960 4289573408 18446744073709551615 135025736 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 2011 1648 236 467 0 1542 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8044 [startup+51.1006 s] /proc/loadavg: 2.00 2.00 2.00 4/179 23061 /proc/meminfo: memFree=31551332/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=8044 CPUtime=51.09 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1742 0 0 0 4579 530 0 0 25 0 1 0 163239202 8237056 1648 4089446400 134512640 136421960 4289573408 18446744073709551615 135026630 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 2011 1648 236 467 0 1542 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8044 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 4/179 23063 /proc/meminfo: memFree=31550696/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=8164 CPUtime=102.3 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1747 0 0 0 9275 955 0 0 25 0 1 0 163239202 8359936 1652 4089446400 134512640 136421960 4289573408 18446744073709551615 135028817 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 2041 1652 236 467 0 1572 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8164 Solver just ended. Dumping a history of the last processes samples [startup+108.7 s] /proc/loadavg: 2.00 2.00 2.00 4/179 23063 /proc/meminfo: memFree=31550572/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=8164 CPUtime=108.69 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1751 0 0 0 9863 1006 0 0 25 0 1 0 163239202 8359936 1656 4089446400 134512640 136421960 4289573408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 2041 1656 236 467 0 1572 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 8164 [startup+115.1 s] /proc/loadavg: 2.00 2.00 2.00 4/179 23063 /proc/meminfo: memFree=31550568/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=8164 CPUtime=115.1 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1756 0 0 0 10453 1057 0 0 25 0 1 0 163239202 8359936 1661 4089446400 134512640 136421960 4289573408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 2041 1661 236 467 0 1572 0 Current children cumulated CPU time (s) 115.1 Current children cumulated vsize (KiB) 8164 [startup+116.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23063 /proc/meminfo: memFree=31550568/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=8164 CPUtime=116.69 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1757 0 0 0 10601 1068 0 0 25 0 1 0 163239202 8359936 1662 4089446400 134512640 136421960 4289573408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 2041 1662 236 467 0 1572 0 Current children cumulated CPU time (s) 116.69 Current children cumulated vsize (KiB) 8164 [startup+117.501 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23063 /proc/meminfo: memFree=31550568/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=8164 CPUtime=117.49 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1757 0 0 0 10675 1074 0 0 25 0 1 0 163239202 8359936 1662 4089446400 134512640 136421960 4289573408 18446744073709551615 135809700 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 2041 1662 236 467 0 1572 0 Current children cumulated CPU time (s) 117.49 Current children cumulated vsize (KiB) 8164 [startup+118.301 s] /proc/loadavg: 2.00 2.00 2.00 4/179 23063 /proc/meminfo: memFree=31550568/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=8164 CPUtime=118.3 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1757 0 0 0 10749 1081 0 0 25 0 1 0 163239202 8359936 1662 4089446400 134512640 136421960 4289573408 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 2041 1662 236 467 0 1572 0 Current children cumulated CPU time (s) 118.3 Current children cumulated vsize (KiB) 8164 [startup+118.501 s] /proc/loadavg: 2.00 2.00 2.00 4/179 23063 /proc/meminfo: memFree=31550568/32950940 swapFree=67111528/67111528 [pid=23059] ppid=23057 vsize=7384 CPUtime=118.49 /proc/23059/stat : 23059 (pbct) R 23057 23059 22746 0 -1 4202496 1761 0 0 0 10766 1083 0 0 25 0 1 0 163239202 7561216 1526 4089446400 134512640 136421960 4289573408 18446744073709551615 134701435 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/23059/statm: 1846 1526 239 467 0 1377 0 Current children cumulated CPU time (s) 118.49 Current children cumulated vsize (KiB) 7384 Child status: 0 Real time (s): 118.503 CPU time (s): 118.506 CPU user time (s): 107.67 CPU system time (s): 10.8364 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 8164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 107.67 system time used= 10.8364 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1762 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= 1566 runsolver used 0.19297 second user time and 0.39194 second system time The end
Begin job on node117 at 2010-06-30 13:14:35 IDJOB=2695326 IDBENCH=78785 IDSOLVER=1208 FILE ID=node117/2695326-1277896475 PBS_JOBID= 11197155 Free space on /tmp= 74208 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218024--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695326-1277896475/watcher-2695326-1277896475 -o /tmp/evaluation-result-2695326-1277896475/solver-2695326-1277896475 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695326-1277896475.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a7711a7b19a36d7c95277483b0aa560c RANDOM SEED=436505184 node117.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.799 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.59 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.799 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.799 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.799 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.75 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.799 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.85 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.799 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.799 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.799 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: 32950940 kB MemFree: 31559196 kB Buffers: 180396 kB Cached: 850520 kB SwapCached: 0 kB Active: 672528 kB Inactive: 577988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 31559196 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2260 kB Writeback: 0 kB AnonPages: 219352 kB Mapped: 16296 kB Slab: 77856 kB PageTables: 5212 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 369748 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 node117 at 2010-06-30 13:16:33