Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 137.783 | 137.779 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111213670--soft-33-100-0.wbo |
MD5SUM | d3a3522693d056b12d5b1d76acf2f0e6 |
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 | 29 |
Best CPU time to get the best result obtained on this benchmark | 0.161975 |
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 | 1239 |
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 30/41 clauses 7/23 units 0 0.00/0.00 c vars 169 0.00/0.02 c 0.023996 7.46484 6 398 0.00/0.02 o 526 0.00/0.03 c 0.029995 7.60547 50 512 0.00/0.03 o 498 0.00/0.03 c 0.031995 7.60547 61 563 0.00/0.03 o 447 0.00/0.05 c 0.046992 7.60547 255 954 0.00/0.05 o 417 0.00/0.05 c 0.048992 7.60547 257 975 0.00/0.05 o 414 0.00/0.05 c 0.048992 7.60547 259 995 0.00/0.05 o 412 0.19/0.21 c 0.178972 7.73047 577 3730 0.19/0.21 o 399 0.19/0.22 c 0.186971 7.73047 674 3941 0.19/0.22 o 367 0.19/0.29 c 0.251961 7.73047 687 5130 0.19/0.29 o 291 0.39/0.41 c 0.357945 7.73047 639 6889 0.39/0.41 o 273 1.29/1.39 c 1.17682 7.85547 618 19884 1.29/1.39 o 245 1.49/1.53 c 1.2948 7.85547 1064 21711 1.49/1.53 o 230 1.69/1.76 c 1.48177 7.98438 556 25123 1.69/1.76 o 194 2.89/2.94 c 2.50762 7.98438 747 39201 2.89/2.94 o 161 4.09/4.11 c 3.55846 7.98438 1047 53426 4.09/4.11 o 140 29.60/29.60 c 25.7871 8.07812 900 330879 29.60/29.60 o 136 45.99/46.01 c 40.1879 8.19922 723 513858 45.99/46.01 o 134 50.19/50.26 c 43.9223 8.19922 538 559115 50.19/50.26 o 123 50.39/50.43 c 44.0663 8.19922 446 560852 50.39/50.43 o 113 52.39/52.49 c 45.843 8.19922 625 581652 52.39/52.49 o 106 61.10/61.10 c 53.3239 8.19922 403 671155 61.10/61.10 o 105 94.69/94.76 c 82.8534 8.19922 594 1024276 94.69/94.76 o 103 98.09/98.18 c 85.816 8.19922 494 1059043 98.09/98.18 o 68 102.80/102.82 c 89.9663 8.27734 583 1112305 102.80/102.82 o 52 102.80/102.82 c 89.9683 8.27734 589 1112342 102.80/102.82 o 50 102.80/102.83 c 89.9703 8.27734 600 1112405 102.80/102.83 o 31 104.20/104.27 c 91.2891 8.27734 738 1129584 104.20/104.27 o 29 137.69/137.77 c 121.541 8.27734 577 1523481 137.69/137.77 s OPTIMUM FOUND 137.69/137.77 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-2699077-1278459261/watcher-2699077-1278459261 -o /tmp/evaluation-result-2699077-1278459261/solver-2699077-1278459261 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699077-1278459261.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.69 1.93 1.67 2/173 12471 /proc/meminfo: memFree=28942920/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=3708 CPUtime=0 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 635 0 0 0 0 0 0 0 22 0 1 0 14140950 3796992 555 4089446400 134512640 136422188 4287246720 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 927 556 193 467 0 458 0 [startup+0.0630299 s] /proc/loadavg: 1.69 1.93 1.67 2/173 12471 /proc/meminfo: memFree=28942920/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=7784 CPUtime=0.05 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1659 0 0 0 5 0 0 0 24 0 1 0 14140950 7970816 1573 4089446400 134512640 136422188 4287246720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 1946 1573 236 467 0 1477 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7784 [startup+0.101024 s] /proc/loadavg: 1.69 1.93 1.67 2/173 12471 /proc/meminfo: memFree=28942920/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=7912 CPUtime=0.09 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1681 0 0 0 8 1 0 0 24 0 1 0 14140950 8101888 1595 4089446400 134512640 136422188 4287246720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 1978 1595 236 467 0 1509 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7912 [startup+0.300972 s] /proc/loadavg: 1.69 1.93 1.67 2/173 12471 /proc/meminfo: memFree=28942920/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=7912 CPUtime=0.29 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1694 0 0 0 25 4 0 0 25 0 1 0 14140950 8101888 1605 4089446400 134512640 136422188 4287246720 18446744073709551615 135011328 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 1978 1605 236 467 0 1509 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7912 [startup+0.700923 s] /proc/loadavg: 1.69 1.93 1.67 2/173 12471 /proc/meminfo: memFree=28942920/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8040 CPUtime=0.69 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1730 0 0 0 58 11 0 0 25 0 1 0 14140950 8232960 1640 4089446400 134512640 136422188 4287246720 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2010 1640 236 467 0 1541 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8040 [startup+1.50078 s] /proc/loadavg: 1.69 1.93 1.67 3/179 12482 /proc/meminfo: memFree=28929108/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8040 CPUtime=1.49 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1747 0 0 0 126 23 0 0 25 0 1 0 14140950 8232960 1656 4089446400 134512640 136422188 4287246720 18446744073709551615 134862160 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2010 1656 236 467 0 1541 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8040 [startup+3.10048 s] /proc/loadavg: 1.69 1.93 1.67 3/179 12482 /proc/meminfo: memFree=28928124/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8172 CPUtime=3.09 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1762 0 0 0 264 45 0 0 25 0 1 0 14140950 8368128 1668 4089446400 134512640 136422188 4287246720 18446744073709551615 135022169 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2043 1668 236 467 0 1574 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8172 [startup+6.3009 s] /proc/loadavg: 1.72 1.93 1.67 3/179 12482 /proc/meminfo: memFree=28928580/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8172 CPUtime=6.29 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1763 0 0 0 547 82 0 0 25 0 1 0 14140950 8368128 1668 4089446400 134512640 136422188 4287246720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2043 1668 236 467 0 1574 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8172 [startup+12.7007 s] /proc/loadavg: 1.74 1.94 1.67 3/179 12482 /proc/meminfo: memFree=28928816/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8172 CPUtime=12.69 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1775 0 0 0 1105 164 0 0 25 0 1 0 14140950 8368128 1680 4089446400 134512640 136422188 4287246720 18446744073709551615 135028683 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2043 1680 236 467 0 1574 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8172 [startup+25.5004 s] /proc/loadavg: 1.80 1.94 1.67 3/179 12483 /proc/meminfo: memFree=28929632/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8268 CPUtime=25.49 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1808 0 0 0 2218 331 0 0 25 0 1 0 14140950 8466432 1713 4089446400 134512640 136422188 4287246720 18446744073709551615 134862632 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2067 1713 236 467 0 1598 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8268 [startup+51.1007 s] /proc/loadavg: 1.87 1.94 1.68 3/179 12510 /proc/meminfo: memFree=28929028/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8392 CPUtime=51.09 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1835 0 0 0 4464 645 0 0 25 0 1 0 14140950 8593408 1736 4089446400 134512640 136422188 4287246720 18446744073709551615 135021150 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2098 1736 236 467 0 1629 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8392 [startup+102.306 s] /proc/loadavg: 1.94 1.95 1.69 3/179 12539 /proc/meminfo: memFree=28927116/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8472 CPUtime=102.3 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1850 0 0 0 8950 1280 0 0 25 0 1 0 14140950 8675328 1747 4089446400 134512640 136422188 4287246720 18446744073709551615 134903718 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2118 1747 236 467 0 1649 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8472 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 1.95 1.95 1.70 3/179 12539 /proc/meminfo: memFree=28927996/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8472 CPUtime=115.09 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1858 0 0 0 10108 1401 0 0 25 0 1 0 14140950 8675328 1751 4089446400 134512640 136422188 4287246720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2118 1751 236 467 0 1649 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 8472 [startup+127.901 s] /proc/loadavg: 1.96 1.95 1.70 3/179 12539 /proc/meminfo: memFree=28927948/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8472 CPUtime=127.89 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1862 0 0 0 11262 1527 0 0 25 0 1 0 14140950 8675328 1755 4089446400 134512640 136422188 4287246720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2118 1755 236 467 0 1649 0 Current children cumulated CPU time (s) 127.89 Current children cumulated vsize (KiB) 8472 [startup+134.3 s] /proc/loadavg: 1.96 1.95 1.70 3/179 12539 /proc/meminfo: memFree=28927824/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8472 CPUtime=134.29 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1862 0 0 0 11840 1589 0 0 25 0 1 0 14140950 8675328 1755 4089446400 134512640 136422188 4287246720 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2118 1755 236 467 0 1649 0 Current children cumulated CPU time (s) 134.29 Current children cumulated vsize (KiB) 8472 [startup+135.9 s] /proc/loadavg: 1.96 1.95 1.70 3/179 12539 /proc/meminfo: memFree=28927936/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8472 CPUtime=135.89 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1862 0 0 0 11984 1605 0 0 25 0 1 0 14140950 8675328 1755 4089446400 134512640 136422188 4287246720 18446744073709551615 135032448 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2118 1755 236 467 0 1649 0 Current children cumulated CPU time (s) 135.89 Current children cumulated vsize (KiB) 8472 [startup+136.701 s] /proc/loadavg: 1.96 1.95 1.70 3/179 12539 /proc/meminfo: memFree=28927936/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8472 CPUtime=136.69 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1862 0 0 0 12056 1613 0 0 25 0 1 0 14140950 8675328 1755 4089446400 134512640 136422188 4287246720 18446744073709551615 135687093 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2118 1755 236 467 0 1649 0 Current children cumulated CPU time (s) 136.69 Current children cumulated vsize (KiB) 8472 [startup+137.506 s] /proc/loadavg: 1.96 1.95 1.70 3/179 12539 /proc/meminfo: memFree=28927936/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8472 CPUtime=137.5 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1862 0 0 0 12129 1621 0 0 25 0 1 0 14140950 8675328 1755 4089446400 134512640 136422188 4287246720 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2118 1755 236 467 0 1649 0 Current children cumulated CPU time (s) 137.5 Current children cumulated vsize (KiB) 8472 [startup+137.701 s] /proc/loadavg: 1.96 1.95 1.70 3/179 12539 /proc/meminfo: memFree=28927936/32951124 swapFree=67111528/67111528 [pid=12471] ppid=12469 vsize=8472 CPUtime=137.69 /proc/12471/stat : 12471 (pbct) R 12469 12471 12336 0 -1 4202496 1862 0 0 0 12147 1622 0 0 25 0 1 0 14140950 8675328 1755 4089446400 134512640 136422188 4287246720 18446744073709551615 135028660 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/12471/statm: 2118 1755 236 467 0 1649 0 Current children cumulated CPU time (s) 137.69 Current children cumulated vsize (KiB) 8472 Child status: 0 Real time (s): 137.779 CPU time (s): 137.783 CPU user time (s): 121.545 CPU system time (s): 16.2385 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 121.545 system time used= 16.2385 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1867 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= 408 runsolver used 0.202969 second user time and 0.429934 second system time The end
Begin job on node110 at 2010-07-07 01:34:21 IDJOB=2699077 IDBENCH=78769 IDSOLVER=1212 FILE ID=node110/2699077-1278459261 PBS_JOBID= 11233773 Free space on /tmp= 73728 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111213670--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699077-1278459261/watcher-2699077-1278459261 -o /tmp/evaluation-result-2699077-1278459261/solver-2699077-1278459261 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699077-1278459261.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d3a3522693d056b12d5b1d76acf2f0e6 RANDOM SEED=2090460279 node110.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.801 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.60 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.801 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.801 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.801 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.82 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.801 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.801 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.801 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.801 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 : 5347.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 28943564 kB Buffers: 101436 kB Cached: 3700924 kB SwapCached: 0 kB Active: 1754416 kB Inactive: 2109836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 28943564 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2100 kB Writeback: 0 kB AnonPages: 61928 kB Mapped: 14416 kB Slab: 78612 kB PageTables: 4504 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 184988 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= 73724 MiB End job on node110 at 2010-07-07 01:36:39