Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | Wrong Opt. | 238.13 | 238.122 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo |
MD5SUM | 27d3bd64d93eb8804d56550cbc3e68e3 |
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.316951 |
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 | 1230 |
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 20/51 clauses 12/18 units 0 0.00/0.00 c vars 169 0.09/0.17 c 0.153976 7.5625 947 3832 0.09/0.17 o 396 0.09/0.18 c 0.161975 7.71094 542 4021 0.09/0.18 o 338 0.19/0.21 c 0.184971 7.71094 360 4379 0.19/0.21 o 292 0.19/0.26 c 0.224965 7.71094 728 5359 0.19/0.26 o 281 0.19/0.26 c 0.224965 7.71094 375 5429 0.19/0.26 o 242 0.50/0.58 c 0.483926 7.71094 577 9172 0.50/0.58 o 239 2.29/2.35 c 1.9957 7.83984 867 28849 2.29/2.35 o 236 2.49/2.52 c 2.13567 7.83984 431 30711 2.49/2.52 o 188 3.69/3.79 c 3.22751 7.83984 709 47272 3.69/3.79 o 136 3.99/4.01 c 3.41348 7.83984 629 50150 3.99/4.01 o 134 4.70/4.79 c 4.09038 7.83984 711 60546 4.70/4.79 o 124 6.29/6.32 c 5.43817 7.83984 520 78247 6.29/6.32 o 97 10.59/10.69 c 9.2336 7.83984 743 128341 10.59/10.69 o 71 22.09/22.19 c 19.3851 7.83984 1121 277656 22.09/22.19 o 69 34.19/34.21 c 30.0894 7.83984 817 434545 34.19/34.21 o 59 83.70/83.72 c 74.3457 7.95312 1230 1064909 83.70/83.72 o 44 125.40/125.42 c 112.186 7.95312 1169 1618214 125.40/125.42 o 43 238.10/238.11 c 215.192 7.95312 1138 3129280 238.10/238.11 s OPTIMUM FOUND 238.10/238.11 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 43
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695318-1277896369/watcher-2695318-1277896369 -o /tmp/evaluation-result-2695318-1277896369/solver-2695318-1277896369 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695318-1277896369.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.02 2.06 2.02 4/178 14189 /proc/meminfo: memFree=27522072/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=3708 CPUtime=0 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 647 0 0 0 0 0 0 0 25 0 1 0 130932751 3796992 566 4089446400 134512640 136421960 4290006992 18446744073709551615 134632264 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 927 566 193 467 0 458 0 [startup+0.044158 s] /proc/loadavg: 2.02 2.06 2.02 4/178 14189 /proc/meminfo: memFree=27522072/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=7612 CPUtime=0.03 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1610 0 0 0 3 0 0 0 25 0 1 0 130932751 7794688 1529 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 1903 1529 213 467 0 1434 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 7612 [startup+0.10115 s] /proc/loadavg: 2.02 2.06 2.02 4/178 14189 /proc/meminfo: memFree=27522072/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=7740 CPUtime=0.09 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1620 0 0 0 8 1 0 0 25 0 1 0 130932751 7925760 1539 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 1935 1539 213 467 0 1466 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7740 [startup+0.300114 s] /proc/loadavg: 2.02 2.06 2.02 4/178 14189 /proc/meminfo: memFree=27522072/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=7892 CPUtime=0.29 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1681 0 0 0 25 4 0 0 25 0 1 0 130932751 8081408 1595 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 1973 1595 236 467 0 1504 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7892 [startup+0.701042 s] /proc/loadavg: 2.02 2.06 2.02 4/178 14189 /proc/meminfo: memFree=27522072/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=7892 CPUtime=0.69 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1696 0 0 0 58 11 0 0 25 0 1 0 130932751 8081408 1609 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 1973 1609 236 467 0 1504 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7892 [startup+1.5009 s] /proc/loadavg: 2.02 2.06 2.02 3/179 14190 /proc/meminfo: memFree=27512888/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8024 CPUtime=1.49 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1710 0 0 0 125 24 0 0 25 0 1 0 130932751 8216576 1623 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2006 1623 236 467 0 1537 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8024 [startup+3.1006 s] /proc/loadavg: 2.02 2.06 2.02 3/179 14190 /proc/meminfo: memFree=27509540/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8024 CPUtime=3.09 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1731 0 0 0 262 47 0 0 25 0 1 0 130932751 8216576 1642 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2006 1642 236 467 0 1537 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8024 [startup+6.30102 s] /proc/loadavg: 2.02 2.05 2.02 3/179 14190 /proc/meminfo: memFree=27500112/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8024 CPUtime=6.29 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1735 0 0 0 541 88 0 0 25 0 1 0 130932751 8216576 1643 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2006 1643 236 467 0 1537 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8024 [startup+12.7009 s] /proc/loadavg: 2.02 2.05 2.02 3/179 14190 /proc/meminfo: memFree=27481872/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8024 CPUtime=12.69 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1737 0 0 0 1100 169 0 0 25 0 1 0 130932751 8216576 1643 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2006 1643 236 467 0 1537 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8024 [startup+25.5005 s] /proc/loadavg: 2.02 2.05 2.02 3/179 14191 /proc/meminfo: memFree=27445612/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8024 CPUtime=25.49 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1739 0 0 0 2234 315 0 0 25 0 1 0 130932751 8216576 1644 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2006 1644 236 467 0 1537 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8024 [startup+51.1009 s] /proc/loadavg: 2.01 2.05 2.01 3/179 14192 /proc/meminfo: memFree=27402276/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8024 CPUtime=51.1 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1741 0 0 0 4510 600 0 0 25 0 1 0 130932751 8216576 1645 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2006 1645 236 467 0 1537 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 8024 [startup+102.307 s] /proc/loadavg: 2.00 2.04 2.01 3/179 14193 /proc/meminfo: memFree=27291496/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8140 CPUtime=102.3 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1746 0 0 0 9116 1114 0 0 25 0 1 0 130932751 8335360 1649 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2035 1649 236 467 0 1566 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8140 [startup+162.301 s] /proc/loadavg: 2.16 2.06 2.01 3/197 14240 /proc/meminfo: memFree=30894680/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8140 CPUtime=162.3 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1748 0 0 0 14573 1657 0 0 25 0 1 0 130932751 8335360 1650 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2035 1650 236 467 0 1566 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 8140 [startup+222.301 s] /proc/loadavg: 2.06 2.05 2.01 3/197 14242 /proc/meminfo: memFree=30841576/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8140 CPUtime=222.3 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1748 0 0 0 20060 2170 0 0 25 0 1 0 130932751 8335360 1650 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2035 1650 236 467 0 1566 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 8140 Solver just ended. Dumping a history of the last processes samples [startup+230.3 s] /proc/loadavg: 2.05 2.05 2.01 3/197 14242 /proc/meminfo: memFree=30841200/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8140 CPUtime=230.3 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1748 0 0 0 20795 2235 0 0 25 0 1 0 130932751 8335360 1650 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2035 1650 236 467 0 1566 0 Current children cumulated CPU time (s) 230.3 Current children cumulated vsize (KiB) 8140 [startup+233.501 s] /proc/loadavg: 2.05 2.05 2.01 3/197 14242 /proc/meminfo: memFree=30841200/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8140 CPUtime=233.5 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1748 0 0 0 21091 2259 0 0 25 0 1 0 130932751 8335360 1650 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2035 1650 236 467 0 1566 0 Current children cumulated CPU time (s) 233.5 Current children cumulated vsize (KiB) 8140 [startup+236.7 s] /proc/loadavg: 2.04 2.04 2.01 3/197 14242 /proc/meminfo: memFree=30841192/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8140 CPUtime=236.7 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1748 0 0 0 21387 2283 0 0 25 0 1 0 130932751 8335360 1650 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2035 1650 236 467 0 1566 0 Current children cumulated CPU time (s) 236.7 Current children cumulated vsize (KiB) 8140 [startup+237.501 s] /proc/loadavg: 2.04 2.04 2.01 3/197 14242 /proc/meminfo: memFree=30838464/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8140 CPUtime=237.5 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1748 0 0 0 21462 2288 0 0 25 0 1 0 130932751 8335360 1650 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2035 1650 236 467 0 1566 0 Current children cumulated CPU time (s) 237.5 Current children cumulated vsize (KiB) 8140 [startup+237.901 s] /proc/loadavg: 2.04 2.04 2.01 3/197 14242 /proc/meminfo: memFree=30838464/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8140 CPUtime=237.9 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1748 0 0 0 21499 2291 0 0 25 0 1 0 130932751 8335360 1650 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2035 1650 236 467 0 1566 0 Current children cumulated CPU time (s) 237.9 Current children cumulated vsize (KiB) 8140 [startup+238.101 s] /proc/loadavg: 2.04 2.04 2.01 3/197 14242 /proc/meminfo: memFree=30838464/32951124 swapFree=67111528/67111528 [pid=14189] ppid=14187 vsize=8140 CPUtime=238.1 /proc/14189/stat : 14189 (pbct) R 14187 14189 12555 0 -1 4202496 1748 0 0 0 21517 2293 0 0 25 0 1 0 130932751 8335360 1650 4089446400 134512640 136421960 4290006992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/14189/statm: 2035 1650 236 467 0 1566 0 Current children cumulated CPU time (s) 238.1 Current children cumulated vsize (KiB) 8140 Child status: 0 Real time (s): 238.122 CPU time (s): 238.13 CPU user time (s): 215.197 CPU system time (s): 22.9325 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 215.197 system time used= 22.9325 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1753 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= 2725 runsolver used 0.302953 second user time and 0.78488 second system time The end
Begin job on node138 at 2010-06-30 13:12:49 IDJOB=2695318 IDBENCH=78781 IDSOLVER=1208 FILE ID=node138/2695318-1277896369 PBS_JOBID= 11197077 Free space on /tmp= 74136 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695318-1277896369/watcher-2695318-1277896369 -o /tmp/evaluation-result-2695318-1277896369/solver-2695318-1277896369 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695318-1277896369.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 27d3bd64d93eb8804d56550cbc3e68e3 RANDOM SEED=1741595227 node138.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.860 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.72 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.860 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.08 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.860 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.860 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.860 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.80 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.860 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.860 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.74 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.860 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27522592 kB Buffers: 181156 kB Cached: 1471032 kB SwapCached: 0 kB Active: 4263420 kB Inactive: 1012784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27522592 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2216 kB Writeback: 0 kB AnonPages: 3623800 kB Mapped: 15088 kB Slab: 82124 kB PageTables: 11584 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 3769156 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= 74136 MiB End job on node138 at 2010-06-30 13:16:47