Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 112.07 | 112.068 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo |
MD5SUM | 8c7284b7ccf7c3e8bad0ea1f2a54ab5e |
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 | 8 |
Best CPU time to get the best result obtained on this benchmark | 0.424935 |
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 | 69 |
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 | 3204 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3203 |
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 20/51 clauses 12/18 units 0 0.00/0.00 c vars 169 0.00/0.04 c 0.033994 7.43359 145 1159 0.00/0.04 o 997 0.00/0.04 c 0.035994 7.61719 161 1376 0.00/0.04 o 751 0.00/0.05 c 0.039993 7.61719 219 1651 0.00/0.05 o 591 0.05/0.05 c 0.043993 7.61719 240 1785 0.05/0.05 o 483 0.05/0.05 c 0.044993 7.61719 247 1900 0.05/0.05 o 393 0.05/0.05 c 0.045993 7.61719 255 1934 0.05/0.05 o 387 0.05/0.06 c 0.047992 7.61719 280 2361 0.05/0.06 o 377 0.05/0.06 c 0.050992 7.61719 320 2466 0.05/0.06 o 349 0.05/0.06 c 0.051992 7.61719 328 2542 0.05/0.06 o 295 0.20/0.23 c 0.139978 7.74219 878 4792 0.20/0.23 o 289 0.20/0.23 c 0.144977 7.74219 486 4980 0.20/0.23 o 262 0.49/0.53 c 0.329949 7.87109 837 9379 0.49/0.53 o 235 0.49/0.54 c 0.340948 7.87109 513 9554 0.49/0.54 o 228 0.69/0.71 c 0.446932 7.87109 692 12143 0.69/0.71 o 207 0.69/0.73 c 0.452931 7.87109 423 12276 0.69/0.73 o 192 3.79/3.85 c 2.43963 7.99609 742 54949 3.79/3.85 o 187 3.79/3.85 c 2.44063 7.99609 375 54990 3.79/3.85 o 177 3.79/3.85 c 2.44163 7.99609 378 55035 3.79/3.85 o 161 3.79/3.87 c 2.45463 7.99609 554 55408 3.79/3.87 o 139 4.30/4.39 c 2.78358 7.99609 526 62274 4.30/4.39 o 137 4.30/4.39 c 2.78458 7.99609 527 62304 4.30/4.39 o 120 4.59/4.61 c 2.91656 7.99609 815 65114 4.59/4.61 o 102 4.59/4.69 c 2.96955 7.99609 586 66256 4.59/4.69 o 101 4.99/5.06 c 3.19051 7.99609 471 70696 4.99/5.06 o 99 8.49/8.53 c 5.39318 7.99609 649 112214 8.49/8.53 o 98 8.69/8.71 c 5.50416 7.99609 505 114379 8.69/8.71 o 79 8.69/8.77 c 5.54716 7.99609 602 115121 8.69/8.77 o 69 9.29/9.36 c 5.9291 7.99609 490 122102 9.29/9.36 o 61 9.29/9.37 c 5.9331 7.99609 528 122221 9.29/9.37 o 47 10.09/10.11 c 6.43802 8.14844 693 131354 10.09/10.11 o 45 37.49/37.54 c 24.9332 8.27344 846 458402 37.49/37.54 o 40 39.19/39.29 c 26.187 8.27344 1010 482165 39.19/39.29 o 38 39.19/39.29 c 26.187 8.27344 514 482215 39.19/39.29 o 15 45.29/45.37 c 30.5394 8.27344 528 558283 45.29/45.37 o 12 45.39/45.40 c 30.5634 8.27344 852 558715 45.39/45.40 o 10 48.99/49.05 c 33.2559 8.27344 812 607845 48.99/49.05 o 8 112.00/112.06 c 79.7829 8.39453 556 1424108 112.00/112.06 s OPTIMUM FOUND 112.00/112.06 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 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699086-1278459286/watcher-2699086-1278459286 -o /tmp/evaluation-result-2699086-1278459286/solver-2699086-1278459286 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699086-1278459286.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.81 1.93 1.67 3/178 12684 /proc/meminfo: memFree=30287184/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=3708 CPUtime=0 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 642 0 0 0 0 0 0 0 22 0 1 0 14143368 3796992 561 4089446400 134512640 136422188 4287992528 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 927 562 193 467 0 458 0 [startup+0.052909 s] /proc/loadavg: 1.81 1.93 1.67 3/178 12684 /proc/meminfo: memFree=30287184/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=7796 CPUtime=0.05 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1657 0 0 0 4 1 0 0 23 0 1 0 14143368 7983104 1573 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 1949 1573 236 467 0 1480 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7796 [startup+0.100966 s] /proc/loadavg: 1.81 1.93 1.67 3/178 12684 /proc/meminfo: memFree=30287184/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=7924 CPUtime=0.09 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1681 0 0 0 6 3 0 0 23 0 1 0 14143368 8114176 1591 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 1981 1591 236 467 0 1512 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7924 [startup+0.300862 s] /proc/loadavg: 1.81 1.93 1.67 3/178 12684 /proc/meminfo: memFree=30287184/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=7924 CPUtime=0.29 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1709 0 0 0 18 11 0 0 23 0 1 0 14143368 8114176 1617 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 1981 1617 236 467 0 1512 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7924 [startup+0.700786 s] /proc/loadavg: 1.81 1.93 1.67 3/178 12684 /proc/meminfo: memFree=30287184/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8056 CPUtime=0.69 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1738 0 0 0 43 26 0 0 25 0 1 0 14143368 8249344 1644 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2014 1644 236 467 0 1545 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8056 [startup+1.50064 s] /proc/loadavg: 1.81 1.93 1.67 4/179 12685 /proc/meminfo: memFree=30281844/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8184 CPUtime=1.49 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1754 0 0 0 95 54 0 0 25 0 1 0 14143368 8380416 1658 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2046 1658 236 467 0 1577 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8184 [startup+3.10035 s] /proc/loadavg: 1.83 1.93 1.67 4/179 12685 /proc/meminfo: memFree=30281720/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8184 CPUtime=3.09 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1774 0 0 0 198 111 0 0 25 0 1 0 14143368 8380416 1678 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2046 1678 236 467 0 1577 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8184 [startup+6.30076 s] /proc/loadavg: 1.83 1.93 1.67 4/179 12685 /proc/meminfo: memFree=30282192/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8184 CPUtime=6.29 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1783 0 0 0 400 229 0 0 19 0 1 0 14143368 8380416 1678 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2046 1678 236 467 0 1577 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8184 [startup+12.7006 s] /proc/loadavg: 1.85 1.93 1.67 4/179 12685 /proc/meminfo: memFree=30282680/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8340 CPUtime=12.69 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1815 0 0 0 816 453 0 0 25 0 1 0 14143368 8540160 1704 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2085 1704 236 467 0 1616 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8340 [startup+25.5003 s] /proc/loadavg: 1.88 1.93 1.68 4/179 12685 /proc/meminfo: memFree=30283096/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8468 CPUtime=25.49 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1835 0 0 0 1682 867 0 0 25 0 1 0 14143368 8671232 1724 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2117 1724 236 467 0 1648 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8468 [startup+51.1006 s] /proc/loadavg: 1.92 1.94 1.68 3/179 12713 /proc/meminfo: memFree=30282184/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8468 CPUtime=51.09 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1867 0 0 0 3476 1633 0 0 25 0 1 0 14143368 8671232 1750 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2117 1750 236 467 0 1648 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8468 [startup+102.306 s] /proc/loadavg: 1.96 1.94 1.70 3/179 12715 /proc/meminfo: memFree=30281752/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8592 CPUtime=102.3 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1887 0 0 0 7250 2980 0 0 25 0 1 0 14143368 8798208 1770 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2148 1770 236 467 0 1679 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8592 Solver just ended. Dumping a history of the last processes samples [startup+108.701 s] /proc/loadavg: 1.97 1.94 1.70 3/179 12715 /proc/meminfo: memFree=30281500/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8592 CPUtime=108.69 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1887 0 0 0 7726 3143 0 0 25 0 1 0 14143368 8798208 1770 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2148 1770 236 467 0 1679 0 Current children cumulated CPU time (s) 108.69 Current children cumulated vsize (KiB) 8592 [startup+110.301 s] /proc/loadavg: 1.97 1.94 1.70 3/179 12715 /proc/meminfo: memFree=30281248/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8592 CPUtime=110.29 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1887 0 0 0 7849 3180 0 0 25 0 1 0 14143368 8798208 1770 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2148 1770 236 467 0 1679 0 Current children cumulated CPU time (s) 110.29 Current children cumulated vsize (KiB) 8592 [startup+111.106 s] /proc/loadavg: 1.97 1.94 1.70 3/179 12715 /proc/meminfo: memFree=30281248/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8592 CPUtime=111.09 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1887 0 0 0 7907 3202 0 0 25 0 1 0 14143368 8798208 1770 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2148 1770 236 467 0 1679 0 Current children cumulated CPU time (s) 111.09 Current children cumulated vsize (KiB) 8592 [startup+111.5 s] /proc/loadavg: 1.97 1.94 1.70 3/179 12715 /proc/meminfo: memFree=30281248/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8592 CPUtime=111.49 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1887 0 0 0 7936 3213 0 0 25 0 1 0 14143368 8798208 1770 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2148 1770 236 467 0 1679 0 Current children cumulated CPU time (s) 111.49 Current children cumulated vsize (KiB) 8592 [startup+111.9 s] /proc/loadavg: 1.97 1.94 1.70 3/179 12715 /proc/meminfo: memFree=30281248/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8592 CPUtime=111.89 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1890 0 0 0 7966 3223 0 0 25 0 1 0 14143368 8798208 1773 4089446400 134512640 136422188 4287992528 18446744073709551615 134902530 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2148 1773 236 467 0 1679 0 Current children cumulated CPU time (s) 111.89 Current children cumulated vsize (KiB) 8592 [startup+112 s] /proc/loadavg: 1.97 1.94 1.70 3/179 12715 /proc/meminfo: memFree=30281248/32950928 swapFree=67111528/67111528 [pid=12684] ppid=12682 vsize=8592 CPUtime=112 /proc/12684/stat : 12684 (pbct) R 12682 12684 12496 0 -1 4202496 1890 0 0 0 7974 3226 0 0 25 0 1 0 14143368 8798208 1773 4089446400 134512640 136422188 4287992528 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/12684/statm: 2148 1773 236 467 0 1679 0 Current children cumulated CPU time (s) 112 Current children cumulated vsize (KiB) 8592 Child status: 0 Real time (s): 112.068 CPU time (s): 112.07 CPU user time (s): 79.7879 CPU system time (s): 32.2821 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 8596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 79.7879 system time used= 32.2821 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1895 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= 189 runsolver used 0.137979 second user time and 0.384941 second system time The end
Begin job on node112 at 2010-07-07 01:34:46 IDJOB=2699086 IDBENCH=78774 IDSOLVER=1212 FILE ID=node112/2699086-1278459286 PBS_JOBID= 11233768 Free space on /tmp= 73584 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968561--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699086-1278459286/watcher-2699086-1278459286 -o /tmp/evaluation-result-2699086-1278459286/solver-2699086-1278459286 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699086-1278459286.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8c7284b7ccf7c3e8bad0ea1f2a54ab5e RANDOM SEED=2013395320 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: 30287952 kB Buffers: 100108 kB Cached: 2351496 kB SwapCached: 0 kB Active: 807760 kB Inactive: 1712788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30287952 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3824 kB Writeback: 0 kB AnonPages: 68164 kB Mapped: 15552 kB Slab: 78604 kB PageTables: 5168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 212164 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 01:36:38