Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 160.163 | 160.155 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo |
MD5SUM | ebc456211cf99aa767d1987ef9daf648 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 91.6031 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 1777 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 90281 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90280 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 695 |
Number of bits of the biggest sum of numbers | 10 |
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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690775-1277909333.wbo. 0.00/0.00 c Instance file HOME/instance-2690775-1277909333.wbo 0.00/0.00 c File size is 92201 bytes. 0.00/0.00 c Highest Coefficient sum: 695 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 231 2707 8338 | 5500 100 23 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 24 | 0.002 % | 0.00/0.02 c | 479 | 231 2707 8338 | 6655 479 31 | 0.002 % | 0.00/0.03 c | 816 | 231 2707 8338 | 7320 816 30 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 31 | 0.002 % | 0.00/0.07 c | 2081 | 231 2707 8338 | 8857 2081 30 | 0.002 % | 0.09/0.11 c | 3220 | 231 2707 8338 | 9743 3220 33 | 0.002 % | 0.09/0.18 c | 4932 | 231 2707 8338 | 10717 4932 32 | 0.002 % | 0.29/0.31 c | 7494 | 231 2707 8338 | 11789 7494 32 | 0.002 % | 0.49/0.53 c | 11339 | 231 2707 8338 | 12968 11339 32 | 0.002 % | 0.79/0.86 c | 17108 | 231 2707 8338 | 14265 10570 31 | 0.002 % | 1.39/1.43 c | 25758 | 231 2707 8338 | 15692 12034 37 | 0.002 % | 2.39/2.42 c | 38734 | 231 2707 8338 | 17261 9225 35 | 0.002 % | 3.89/3.90 c | 58198 | 231 2707 8338 | 18987 11313 35 | 0.002 % | 6.20/6.21 c | 87390 | 231 2707 8338 | 20886 11905 41 | 0.002 % | 9.90/9.93 c | 131179 | 231 2707 8338 | 22974 13690 39 | 0.002 % | 15.79/15.82 c | 196863 | 231 2707 8338 | 25272 21667 38 | 0.002 % | 26.00/26.08 c | 295389 | 231 2707 8338 | 27799 13813 36 | 0.002 % | 40.50/40.59 c | 443178 | 231 2707 8338 | 30579 20192 36 | 0.002 % | 66.79/66.85 c | 664861 | 231 2707 8338 | 33637 23734 42 | 0.002 % | 104.19/104.29 c | 997386 | 231 2707 8338 | 37001 18166 38 | 0.002 % | 160.10/160.13 s UNSATISFIABLE 160.10/160.13 c Total CPU time: 158.584 s 160.10/160.13 c =============================================================================== 160.10/160.13 c 160.10/160.13 s UNSATISFIABLE
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690775-1277909333/watcher-2690775-1277909333 -o /tmp/evaluation-result-2690775-1277909333/solver-2690775-1277909333 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690775-1277909333.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 4/178 14707 /proc/meminfo: memFree=31071432/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=2796 CPUtime=0 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 313 0 0 0 0 0 0 0 25 0 1 0 132228151 2863104 232 4089446400 134512640 135752675 4288371296 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 699 232 148 303 0 371 0 [startup+0.0742141 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14707 /proc/meminfo: memFree=31071432/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=3368 CPUtime=0.07 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 501 0 0 0 7 0 0 0 25 0 1 0 132228151 3448832 397 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 842 397 144 303 0 537 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3368 [startup+0.101213 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14707 /proc/meminfo: memFree=31071432/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=3500 CPUtime=0.09 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 557 0 0 0 9 0 0 0 25 0 1 0 132228151 3584000 453 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 875 453 144 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.301175 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14707 /proc/meminfo: memFree=31071432/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=4820 CPUtime=0.29 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 885 0 0 0 29 0 0 0 25 0 1 0 132228151 4935680 781 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 1205 781 144 303 0 900 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4820 [startup+0.701099 s] /proc/loadavg: 2.00 2.00 2.00 4/178 14707 /proc/meminfo: memFree=31071432/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=6820 CPUtime=0.69 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 1379 0 0 0 68 1 0 0 25 0 1 0 132228151 6983680 1275 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 1705 1275 144 303 0 1400 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6820 [startup+1.50093 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14708 /proc/meminfo: memFree=31065100/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=10648 CPUtime=1.49 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 2325 0 0 0 147 2 0 0 25 0 1 0 132228151 10903552 2221 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 2662 2221 144 303 0 2357 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10648 [startup+3.10061 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14708 /proc/meminfo: memFree=31060512/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=16860 CPUtime=3.09 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 3889 0 0 0 305 4 0 0 25 0 1 0 132228151 17264640 3785 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 4215 3785 144 303 0 3910 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16860 [startup+6.30098 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14708 /proc/meminfo: memFree=31047272/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=29520 CPUtime=6.3 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 7059 0 0 0 622 8 0 0 25 0 1 0 132228151 30228480 6955 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 7380 6956 144 303 0 7075 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 29520 [startup+12.7007 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14708 /proc/meminfo: memFree=31024032/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=51988 CPUtime=12.7 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 12651 0 0 0 1254 16 0 0 25 0 1 0 132228151 53235712 12547 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 12997 12547 144 303 0 12692 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 51988 [startup+25.5011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14709 /proc/meminfo: memFree=30984216/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=90208 CPUtime=25.49 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 22226 0 0 0 2521 28 0 0 25 0 1 0 132228151 92372992 22122 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 22552 22122 144 303 0 22247 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 90208 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14709 /proc/meminfo: memFree=30908744/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=165260 CPUtime=51.1 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 40978 0 0 0 5055 55 0 0 25 0 1 0 132228151 169226240 40874 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 41315 40874 144 303 0 41010 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 165260 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14711 /proc/meminfo: memFree=30769464/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=301728 CPUtime=102.3 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 75071 0 0 0 10126 104 0 0 25 0 1 0 132228151 308969472 74967 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 75432 74967 144 303 0 75127 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 301728 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14711 /proc/meminfo: memFree=30702004/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=368676 CPUtime=127.9 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 91822 0 0 0 12662 128 0 0 25 0 1 0 132228151 377524224 91718 4089446400 134512640 135752675 4288371296 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 92169 91718 144 303 0 91864 0 Current children cumulated CPU time (s) 127.9 Current children cumulated vsize (KiB) 368676 [startup+140.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14711 /proc/meminfo: memFree=30670732/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=398656 CPUtime=140.71 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 99309 0 0 0 13932 139 0 0 25 0 1 0 132228151 408223744 99205 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 99664 99205 144 303 0 99359 0 Current children cumulated CPU time (s) 140.71 Current children cumulated vsize (KiB) 398656 [startup+153.501 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14712 /proc/meminfo: memFree=30640844/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=430104 CPUtime=153.5 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 107146 0 0 0 15199 151 0 0 25 0 1 0 132228151 440426496 107042 4089446400 134512640 135752675 4288371296 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 107526 107042 144 303 0 107221 0 Current children cumulated CPU time (s) 153.5 Current children cumulated vsize (KiB) 430104 [startup+156.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14712 /proc/meminfo: memFree=30631420/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=438948 CPUtime=156.7 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 109376 0 0 0 15516 154 0 0 25 0 1 0 132228151 449482752 109272 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 109737 109272 144 303 0 109432 0 Current children cumulated CPU time (s) 156.7 Current children cumulated vsize (KiB) 438948 [startup+158.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14712 /proc/meminfo: memFree=30626336/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=442648 CPUtime=158.31 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 110291 0 0 0 15676 155 0 0 25 0 1 0 132228151 453271552 110187 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 110662 110187 144 303 0 110357 0 Current children cumulated CPU time (s) 158.31 Current children cumulated vsize (KiB) 442648 [startup+159.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14712 /proc/meminfo: memFree=30626336/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=445156 CPUtime=159.1 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 110907 0 0 0 15755 155 0 0 25 0 1 0 132228151 455839744 110803 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 111289 110803 144 303 0 110984 0 Current children cumulated CPU time (s) 159.1 Current children cumulated vsize (KiB) 445156 [startup+159.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14712 /proc/meminfo: memFree=30622988/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=447268 CPUtime=159.9 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 111439 0 0 0 15834 156 0 0 25 0 1 0 132228151 458002432 111335 4089446400 134512640 135752675 4288371296 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 111817 111335 144 303 0 111512 0 Current children cumulated CPU time (s) 159.9 Current children cumulated vsize (KiB) 447268 [startup+160.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14712 /proc/meminfo: memFree=30622988/32950928 swapFree=67111528/67111528 [pid=14707] ppid=14705 vsize=448060 CPUtime=160.1 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 13737 0 -1 4202496 111644 0 0 0 15854 156 0 0 25 0 1 0 132228151 458813440 111540 4089446400 134512640 135752675 4288371296 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14707/statm: 112015 111540 144 303 0 111710 0 Current children cumulated CPU time (s) 160.1 Current children cumulated vsize (KiB) 448060 Child status: 0 Real time (s): 160.155 CPU time (s): 160.163 CPU user time (s): 158.584 CPU system time (s): 1.57876 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 448060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 158.584 system time used= 1.57876 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 111684 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= 1737 runsolver used 0.301954 second user time and 0.551916 second system time The end
Begin job on node149 at 2010-06-30 16:48:53 IDJOB=2690775 IDBENCH=78967 IDSOLVER=1201 FILE ID=node149/2690775-1277909333 PBS_JOBID= 11197207 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900669797--soft-33-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690775-1277909333/watcher-2690775-1277909333 -o /tmp/evaluation-result-2690775-1277909333/solver-2690775-1277909333 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690775-1277909333.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ebc456211cf99aa767d1987ef9daf648 RANDOM SEED=380404229 node149.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.831 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.66 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.831 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.15 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.831 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.831 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.831 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.82 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.831 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.68 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.831 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.82 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.831 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31072084 kB Buffers: 197068 kB Cached: 1271060 kB SwapCached: 0 kB Active: 714060 kB Inactive: 1019640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31072084 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 265516 kB Mapped: 16916 kB Slab: 82208 kB PageTables: 5068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 414564 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= 74204 MiB End job on node149 at 2010-06-30 16:51:33