Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | Wrong Opt. | 105.94 | 105.938 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo |
MD5SUM | a0db7ea4971d37d3095b0f6461478078 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.159975 |
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 | 3426 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 3425 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1202 |
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 30/41 clauses 7/23 units 0 0.00/0.00 c vars 169 0.03/0.07 c 0.06299 7.46484 338 1561 0.03/0.07 o 568 0.09/0.12 c 0.103984 7.64844 574 2185 0.09/0.12 o 560 0.09/0.12 c 0.104984 7.64844 575 2216 0.09/0.12 o 524 0.09/0.12 c 0.105983 7.64844 576 2244 0.09/0.12 o 490 0.09/0.14 c 0.121981 7.64844 350 2615 0.09/0.14 o 477 0.09/0.14 c 0.123981 7.64844 356 2647 0.09/0.14 o 455 0.09/0.14 c 0.124981 7.64844 360 2665 0.09/0.14 o 444 0.09/0.15 c 0.133979 7.64844 436 2844 0.09/0.15 o 443 0.09/0.16 c 0.139978 7.64844 476 3029 0.09/0.16 o 348 0.09/0.17 c 0.149977 7.64844 537 3173 0.09/0.17 o 330 0.19/0.23 c 0.199969 7.64844 638 4072 0.19/0.23 o 322 0.19/0.23 c 0.201969 7.64844 339 4164 0.19/0.23 o 309 0.39/0.41 c 0.361944 7.77344 774 7268 0.39/0.41 o 308 0.39/0.41 c 0.362944 7.77344 392 7306 0.39/0.41 o 277 0.59/0.69 c 0.612906 7.77344 486 11288 0.59/0.69 o 274 0.69/0.78 c 0.685895 7.77344 717 12379 0.69/0.78 o 272 0.79/0.81 c 0.716891 7.77344 619 12947 0.79/0.81 o 259 0.79/0.86 c 0.759884 7.77344 615 13610 0.79/0.86 o 257 0.79/0.90 c 0.78888 7.77344 502 14085 0.79/0.90 o 255 0.89/0.90 c 0.790879 7.77344 510 14113 0.89/0.90 o 243 0.89/0.90 c 0.792879 7.77344 518 14156 0.89/0.90 o 215 0.89/0.94 c 0.832873 7.77344 514 14896 0.89/0.94 o 209 0.99/1.05 c 0.925859 7.77344 656 16349 0.99/1.05 o 198 1.99/2.08 c 1.83372 7.90234 1048 31074 1.99/2.08 o 169 3.19/3.25 c 2.84257 7.90234 648 47990 3.19/3.25 o 166 3.49/3.50 c 3.05754 7.90234 917 51619 3.49/3.50 o 127 8.80/8.80 c 7.72283 7.90234 1369 120386 8.80/8.80 o 109 8.80/8.81 c 7.73282 7.90234 696 120535 8.80/8.81 o 96 18.79/18.83 c 16.5005 7.90234 1148 251408 18.79/18.83 o 95 18.79/18.89 c 16.5515 7.90234 1047 252083 18.79/18.89 o 92 20.49/20.54 c 18.0223 7.90234 897 273432 20.49/20.54 o 90 20.49/20.57 c 18.0453 7.90234 918 273948 20.49/20.57 o 86 20.49/20.58 c 18.0543 7.90234 996 274187 20.49/20.58 o 29 105.89/105.93 c 96.6463 7.90234 978 1391650 105.89/105.93 s OPTIMUM FOUND 105.89/105.93 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 29
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695476-1277899355/watcher-2695476-1277899355 -o /tmp/evaluation-result-2695476-1277899355/solver-2695476-1277899355 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695476-1277899355.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 3/196 9027 /proc/meminfo: memFree=31546036/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=3708 CPUtime=0 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 647 0 0 0 0 0 0 0 25 0 1 0 131233002 3796992 567 4089446400 134512640 136421960 4288669248 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/9027/statm: 959 569 193 467 0 490 0 [startup+0.047649 s] /proc/loadavg: 2.00 2.00 2.00 3/196 9027 /proc/meminfo: memFree=31546036/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=7640 CPUtime=0.03 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1601 0 0 0 3 0 0 0 25 0 1 0 131233002 7823360 1521 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 1910 1521 213 467 0 1441 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 7640 [startup+0.100639 s] /proc/loadavg: 2.00 2.00 2.00 3/196 9027 /proc/meminfo: memFree=31546036/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=7828 CPUtime=0.09 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1652 0 0 0 8 1 0 0 25 0 1 0 131233002 8015872 1571 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 1957 1571 236 467 0 1488 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7828 [startup+0.300611 s] /proc/loadavg: 2.00 2.00 2.00 3/196 9027 /proc/meminfo: memFree=31546036/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=7828 CPUtime=0.29 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1696 0 0 0 26 3 0 0 25 0 1 0 131233002 8015872 1604 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 1957 1604 236 467 0 1488 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7828 [startup+0.70053 s] /proc/loadavg: 2.00 2.00 2.00 3/196 9027 /proc/meminfo: memFree=31546036/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=7956 CPUtime=0.69 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1715 0 0 0 61 8 0 0 25 0 1 0 131233002 8146944 1620 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 1989 1620 236 467 0 1520 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7956 [startup+1.50038 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9028 /proc/meminfo: memFree=31539952/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=8088 CPUtime=1.49 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1761 0 0 0 131 18 0 0 18 0 1 0 131233002 8282112 1658 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 2022 1658 236 467 0 1553 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8088 [startup+3.10107 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9028 /proc/meminfo: memFree=31539716/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=8088 CPUtime=3.09 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1772 0 0 0 270 39 0 0 22 0 1 0 131233002 8282112 1668 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 2022 1668 236 467 0 1553 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8088 [startup+6.30049 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9028 /proc/meminfo: memFree=31539096/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=8088 CPUtime=6.29 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1774 0 0 0 552 77 0 0 25 0 1 0 131233002 8282112 1668 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 2022 1668 236 467 0 1553 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8088 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9028 /proc/meminfo: memFree=31532260/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=8088 CPUtime=12.69 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1776 0 0 0 1111 158 0 0 25 0 1 0 131233002 8282112 1668 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 2022 1668 236 467 0 1553 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8088 [startup+25.501 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9028 /proc/meminfo: memFree=31532616/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=8088 CPUtime=25.49 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1781 0 0 0 2255 294 0 0 25 0 1 0 131233002 8282112 1668 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 2022 1668 236 467 0 1553 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8088 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9029 /proc/meminfo: memFree=31532456/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=8088 CPUtime=51.1 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1781 0 0 0 4614 496 0 0 25 0 1 0 131233002 8282112 1668 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 2022 1668 236 467 0 1553 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 8088 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9030 /proc/meminfo: memFree=31532308/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=8088 CPUtime=102.29 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1782 0 0 0 9327 902 0 0 25 0 1 0 131233002 8282112 1669 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 2022 1669 236 467 0 1553 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 8088 Solver just ended. Dumping a history of the last processes samples [startup+103.901 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9030 /proc/meminfo: memFree=31532308/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=8088 CPUtime=103.9 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1782 0 0 0 9476 914 0 0 25 0 1 0 131233002 8282112 1669 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 2022 1669 236 467 0 1553 0 Current children cumulated CPU time (s) 103.9 Current children cumulated vsize (KiB) 8088 [startup+104.701 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9030 /proc/meminfo: memFree=31532308/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=8088 CPUtime=104.7 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1782 0 0 0 9550 920 0 0 25 0 1 0 131233002 8282112 1669 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 2022 1669 236 467 0 1553 0 Current children cumulated CPU time (s) 104.7 Current children cumulated vsize (KiB) 8088 [startup+105.5 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9030 /proc/meminfo: memFree=31532308/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=8088 CPUtime=105.5 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1782 0 0 0 9625 925 0 0 25 0 1 0 131233002 8282112 1669 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 2022 1669 236 467 0 1553 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 8088 [startup+105.9 s] /proc/loadavg: 2.00 2.00 2.00 3/197 9030 /proc/meminfo: memFree=31532308/32951124 swapFree=67111528/67111528 [pid=9027] ppid=9025 vsize=8088 CPUtime=105.89 /proc/9027/stat : 9027 (pbct) R 9025 9027 8515 0 -1 4202496 1782 0 0 0 9661 928 0 0 25 0 1 0 131233002 8282112 1669 4089446400 134512640 136421960 4288669248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/9027/statm: 2022 1669 236 467 0 1553 0 Current children cumulated CPU time (s) 105.89 Current children cumulated vsize (KiB) 8088 Child status: 0 Real time (s): 105.938 CPU time (s): 105.94 CPU user time (s): 96.6513 CPU system time (s): 9.28859 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 8088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 96.6513 system time used= 9.28859 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1787 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= 2303 runsolver used 0.153976 second user time and 0.338948 second system time The end
Begin job on node104 at 2010-06-30 14:02:35 IDJOB=2695476 IDBENCH=78858 IDSOLVER=1208 FILE ID=node104/2695476-1277899355 PBS_JOBID= 11197176 Free space on /tmp= 74212 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695476-1277899355/watcher-2695476-1277899355 -o /tmp/evaluation-result-2695476-1277899355/solver-2695476-1277899355 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695476-1277899355.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a0db7ea4971d37d3095b0f6461478078 RANDOM SEED=150471020 node104.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 : 5226.12 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 : 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.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.84 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.74 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.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.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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31546432 kB Buffers: 177048 kB Cached: 693696 kB SwapCached: 0 kB Active: 737132 kB Inactive: 528692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31546432 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2032 kB Writeback: 0 kB AnonPages: 395172 kB Mapped: 20248 kB Slab: 76208 kB PageTables: 5140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1654256 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 node104 at 2010-06-30 14:04:21