Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 56.0615 | 56.0604 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo |
MD5SUM | 359f8e8e206a8ecfac2e3b6d9e7369bc |
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 | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.230964 |
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 | 5180 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 5179 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1247 |
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 0/71 clauses 0/30 units 0 0.00/0.00 c vars 169 0.00/0.04 c 0.039993 7.67188 103 913 0.00/0.04 o 850 0.00/0.04 c 0.040993 7.80859 107 976 0.00/0.04 o 832 0.00/0.04 c 0.041993 7.80859 107 1100 0.00/0.04 o 725 0.00/0.04 c 0.043993 7.80859 110 1124 0.00/0.04 o 715 0.04/0.06 c 0.057991 7.80859 249 1415 0.04/0.06 o 706 0.04/0.06 c 0.05999 7.80859 262 1466 0.04/0.06 o 679 0.04/0.06 c 0.06199 7.80859 281 1570 0.04/0.06 o 623 0.04/0.09 c 0.081987 7.80859 460 2050 0.04/0.09 o 535 0.09/0.11 c 0.102984 7.80859 642 2496 0.09/0.11 o 513 0.09/0.12 c 0.107983 7.80859 342 3183 0.09/0.12 o 508 0.09/0.17 c 0.151976 7.80859 676 4003 0.09/0.17 o 500 0.19/0.22 c 0.19197 7.80859 600 4645 0.19/0.22 o 458 0.19/0.23 c 0.201969 7.93359 688 4946 0.19/0.23 o 377 0.39/0.45 c 0.394939 7.93359 335 8706 0.39/0.45 o 373 0.49/0.56 c 0.484926 8.05859 602 10342 0.49/0.56 o 369 0.79/0.87 c 0.748886 8.05859 446 14786 0.79/0.87 o 360 1.39/1.44 c 1.23781 8.05859 485 22065 1.39/1.44 o 350 2.49/2.54 c 2.17267 8.05859 476 36000 2.49/2.54 o 346 2.59/2.60 c 2.22166 8.05859 614 36982 2.59/2.60 o 326 2.59/2.69 c 2.29765 8.05859 844 38181 2.59/2.69 o 300 3.30/3.35 c 2.86756 8.05859 419 46300 3.30/3.35 o 275 3.99/4.00 c 3.42748 8.05859 392 53855 3.99/4.00 o 273 4.59/4.68 c 4.00739 8.05859 691 61715 4.59/4.68 o 272 4.59/4.69 c 4.01739 8.05859 412 61934 4.59/4.69 o 244 6.59/6.64 c 5.68713 8.05859 603 82325 6.59/6.64 o 238 6.59/6.65 c 5.69813 8.05859 663 82467 6.59/6.65 o 223 6.99/7.06 c 6.03008 8.18359 599 86513 6.99/7.06 o 208 7.39/7.44 c 6.34903 8.18359 766 90786 7.39/7.44 o 199 8.29/8.38 c 7.15491 8.18359 518 100383 8.29/8.38 o 176 8.98/9.09 c 7.77182 8.18359 705 107492 8.98/9.09 o 151 10.09/10.14 c 8.66868 8.18359 492 118627 10.09/10.14 o 140 10.09/10.14 c 8.67268 8.18359 521 118786 10.09/10.14 o 97 12.89/12.96 c 11.0753 8.18359 527 149757 12.89/12.96 o 95 12.89/12.99 c 11.0953 8.18359 641 150235 12.89/12.99 o 90 13.69/13.74 c 11.7532 8.18359 598 158325 13.69/13.74 o 77 14.09/14.19 c 12.1532 8.18359 864 163556 14.09/14.19 o 71 17.39/17.45 c 14.9757 8.30859 484 197672 17.39/17.45 o 67 22.49/22.55 c 19.3951 8.30859 1145 250160 22.49/22.55 o 66 22.49/22.56 c 19.4001 8.30859 599 250222 22.49/22.56 o 55 22.59/22.60 c 19.433 8.30859 920 250780 22.59/22.60 o 35 22.89/22.98 c 19.78 8.30859 1043 255396 22.89/22.98 o 11 46.89/46.97 c 41.6457 8.4375 1228 526379 46.89/46.97 o 9 56.00/56.05 c 49.8414 8.4375 648 629831 56.00/56.05 s OPTIMUM FOUND 56.00/56.05 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 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699436-1278464376/watcher-2699436-1278464376 -o /tmp/evaluation-result-2699436-1278464376/solver-2699436-1278464376 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699436-1278464376.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 1.93 4/178 13430 /proc/meminfo: memFree=30278144/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=3708 CPUtime=0 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 647 0 0 0 0 0 0 0 25 0 1 0 14652338 3796992 566 4089446400 134512640 136422188 4289256128 18446744073709551615 135643091 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 927 566 193 467 0 458 0 [startup+0.0527511 s] /proc/loadavg: 2.00 2.00 1.93 4/178 13430 /proc/meminfo: memFree=30278144/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=7992 CPUtime=0.04 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1695 0 0 0 4 0 0 0 25 0 1 0 14652338 8183808 1610 4089446400 134512640 136422188 4289256128 18446744073709551615 135032481 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 1998 1610 236 467 0 1529 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7992 [startup+0.100738 s] /proc/loadavg: 2.00 2.00 1.93 4/178 13430 /proc/meminfo: memFree=30278144/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=7992 CPUtime=0.09 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1718 0 0 0 8 1 0 0 18 0 1 0 14652338 8183808 1629 4089446400 134512640 136422188 4289256128 18446744073709551615 135021110 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 1998 1629 236 467 0 1529 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7992 [startup+0.300711 s] /proc/loadavg: 2.00 2.00 1.93 4/178 13430 /proc/meminfo: memFree=30278144/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=8120 CPUtime=0.29 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1742 0 0 0 25 4 0 0 18 0 1 0 14652338 8314880 1648 4089446400 134512640 136422188 4289256128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 2030 1648 236 467 0 1561 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8120 [startup+0.700639 s] /proc/loadavg: 2.00 2.00 1.93 4/178 13430 /proc/meminfo: memFree=30278144/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=8248 CPUtime=0.69 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1784 0 0 0 59 10 0 0 18 0 1 0 14652338 8445952 1688 4089446400 134512640 136422188 4289256128 18446744073709551615 135687056 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 2062 1688 236 467 0 1593 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8248 [startup+1.50049 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13431 /proc/meminfo: memFree=30272060/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=8248 CPUtime=1.49 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1788 0 0 0 128 21 0 0 20 0 1 0 14652338 8445952 1690 4089446400 134512640 136422188 4289256128 18446744073709551615 134866002 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 2062 1690 237 467 0 1593 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8248 [startup+3.10021 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13431 /proc/meminfo: memFree=30272336/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=8248 CPUtime=3.09 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1791 0 0 0 264 45 0 0 25 0 1 0 14652338 8445952 1690 4089446400 134512640 136422188 4289256128 18446744073709551615 135686763 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 2062 1690 237 467 0 1593 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8248 [startup+6.30064 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13431 /proc/meminfo: memFree=30272092/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=8248 CPUtime=6.29 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1813 0 0 0 538 91 0 0 25 0 1 0 14652338 8445952 1708 4089446400 134512640 136422188 4289256128 18446744073709551615 135032342 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 2062 1708 237 467 0 1593 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8248 [startup+12.7005 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13431 /proc/meminfo: memFree=30272092/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=8376 CPUtime=12.69 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1835 0 0 0 1084 185 0 0 25 0 1 0 14652338 8577024 1722 4089446400 134512640 136422188 4289256128 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 2094 1722 237 467 0 1625 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8376 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13431 /proc/meminfo: memFree=30272128/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=8636 CPUtime=25.49 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1901 0 0 0 2209 340 0 0 24 0 1 0 14652338 8843264 1779 4089446400 134512640 136422188 4289256128 18446744073709551615 134857841 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 2159 1779 237 467 0 1690 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8636 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13432 /proc/meminfo: memFree=30271848/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=8636 CPUtime=51.09 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1930 0 0 0 4536 573 0 0 25 0 1 0 14652338 8843264 1807 4089446400 134512640 136422188 4289256128 18446744073709551615 135006587 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 2159 1807 237 467 0 1690 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8636 Solver just ended. Dumping a history of the last processes samples [startup+54.3011 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13432 /proc/meminfo: memFree=30271720/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=8636 CPUtime=54.29 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1930 0 0 0 4825 604 0 0 25 0 1 0 14652338 8843264 1807 4089446400 134512640 136422188 4289256128 18446744073709551615 135025892 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 2159 1807 237 467 0 1690 0 Current children cumulated CPU time (s) 54.29 Current children cumulated vsize (KiB) 8636 [startup+55.101 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13432 /proc/meminfo: memFree=30271720/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=8636 CPUtime=55.09 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1930 0 0 0 4897 612 0 0 25 0 1 0 14652338 8843264 1807 4089446400 134512640 136422188 4289256128 18446744073709551615 134862210 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 2159 1807 237 467 0 1690 0 Current children cumulated CPU time (s) 55.09 Current children cumulated vsize (KiB) 8636 [startup+55.5009 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13432 /proc/meminfo: memFree=30271720/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=8636 CPUtime=55.49 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1930 0 0 0 4933 616 0 0 25 0 1 0 14652338 8843264 1807 4089446400 134512640 136422188 4289256128 18446744073709551615 135023911 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 2159 1807 237 467 0 1690 0 Current children cumulated CPU time (s) 55.49 Current children cumulated vsize (KiB) 8636 [startup+55.9008 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13432 /proc/meminfo: memFree=30271720/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=8636 CPUtime=55.89 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1930 0 0 0 4970 619 0 0 25 0 1 0 14652338 8843264 1807 4089446400 134512640 136422188 4289256128 18446744073709551615 135022173 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 2159 1807 237 467 0 1690 0 Current children cumulated CPU time (s) 55.89 Current children cumulated vsize (KiB) 8636 [startup+56.0008 s] /proc/loadavg: 2.00 2.00 1.93 3/179 13432 /proc/meminfo: memFree=30271720/32950928 swapFree=67111528/67111528 [pid=13430] ppid=13428 vsize=8636 CPUtime=56 /proc/13430/stat : 13430 (pbct) R 13428 13430 12513 0 -1 4202496 1930 0 0 0 4979 621 0 0 25 0 1 0 14652338 8843264 1807 4089446400 134512640 136422188 4289256128 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13430/statm: 2159 1807 237 467 0 1690 0 Current children cumulated CPU time (s) 56 Current children cumulated vsize (KiB) 8636 Child status: 0 Real time (s): 56.0604 CPU time (s): 56.0615 CPU user time (s): 49.8474 CPU system time (s): 6.21406 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 8636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 49.8474 system time used= 6.21406 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1935 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= 4 involuntary context switches= 734 runsolver used 0.076988 second user time and 0.185971 second system time The end
Begin job on node112 at 2010-07-07 02:59:36 IDJOB=2699436 IDBENCH=79234 IDSOLVER=1212 FILE ID=node112/2699436-1278464376 PBS_JOBID= 11233769 Free space on /tmp= 73584 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699436-1278464376/watcher-2699436-1278464376 -o /tmp/evaluation-result-2699436-1278464376/solver-2699436-1278464376 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699436-1278464376.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 359f8e8e206a8ecfac2e3b6d9e7369bc RANDOM SEED=789110674 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.820 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.64 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.820 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.820 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.820 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.820 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.820 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.820 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.820 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: 30278540 kB Buffers: 106328 kB Cached: 2354156 kB SwapCached: 0 kB Active: 810168 kB Inactive: 1719924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30278540 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1960 kB Writeback: 0 kB AnonPages: 69784 kB Mapped: 15620 kB Slab: 79224 kB PageTables: 4836 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 211804 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= 73584 MiB End job on node112 at 2010-07-07 03:00:32