Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 133.299 | 133.296 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900545610--soft-66-100-0.wbo |
MD5SUM | 75e2f830e9a185ffa43de126e90d54da |
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 | 306.438 |
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 | 906 |
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 | 44555 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 44554 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 671 |
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-2690624-1277900395.wbo. 0.00/0.00 c Instance file HOME/instance-2690624-1277900395.wbo 0.00/0.00 c File size is 87887 bytes. 0.00/0.00 c Highest Coefficient sum: 671 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 | 101 | 231 2707 8338 | 5500 101 26 | 0.002 % | 0.00/0.01 c | 253 | 231 2707 8338 | 6050 253 29 | 0.002 % | 0.00/0.02 c | 478 | 231 2707 8338 | 6655 478 31 | 0.002 % | 0.00/0.03 c | 815 | 231 2707 8338 | 7320 815 31 | 0.002 % | 0.00/0.04 c | 1323 | 231 2707 8338 | 8052 1323 31 | 0.002 % | 0.00/0.07 c | 2082 | 231 2707 8338 | 8857 2082 32 | 0.002 % | 0.09/0.10 c | 3221 | 231 2707 8338 | 9743 3221 31 | 0.002 % | 0.09/0.16 c | 4930 | 231 2707 8338 | 10717 4930 32 | 0.002 % | 0.19/0.28 c | 7493 | 231 2707 8338 | 11789 7493 34 | 0.002 % | 0.39/0.47 c | 11339 | 231 2707 8338 | 12968 11339 35 | 0.002 % | 0.79/0.83 c | 17105 | 231 2707 8338 | 14265 10565 39 | 0.002 % | 1.39/1.40 c | 25754 | 231 2707 8338 | 15692 12031 38 | 0.002 % | 2.30/2.37 c | 38728 | 231 2707 8338 | 17261 9220 38 | 0.002 % | 3.69/3.71 c | 58190 | 231 2707 8338 | 18987 11322 40 | 0.002 % | 6.19/6.21 c | 87383 | 231 2707 8338 | 20886 11865 41 | 0.002 % | 9.90/9.98 c | 131172 | 231 2707 8338 | 22974 13702 45 | 0.002 % | 16.79/16.84 c | 196860 | 231 2707 8338 | 25272 21634 43 | 0.002 % | 26.19/26.27 c | 295386 | 231 2707 8338 | 27799 13333 38 | 0.002 % | 40.19/40.28 c | 443176 | 231 2707 8338 | 30579 18055 38 | 0.002 % | 63.59/63.68 c | 664860 | 231 2707 8338 | 33637 19398 41 | 0.002 % | 100.39/100.44 c | 997388 | 231 2707 8338 | 37001 12645 37 | 0.002 % | 133.20/133.28 s UNSATISFIABLE 133.20/133.28 c Total CPU time: 130.358 s 133.20/133.28 c =============================================================================== 133.20/133.28 c 133.20/133.28 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-2690624-1277900395/watcher-2690624-1277900395 -o /tmp/evaluation-result-2690624-1277900395/solver-2690624-1277900395 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690624-1277900395.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.99 1.97 1.99 3/178 23804 /proc/meminfo: memFree=31328044/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=2664 CPUtime=0 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 307 0 0 0 0 0 0 0 21 0 1 0 163678969 2727936 225 4089446400 134512640 135752675 4294425568 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 666 226 146 303 0 339 0 [startup+0.104649 s] /proc/loadavg: 1.99 1.97 1.99 3/178 23804 /proc/meminfo: memFree=31328044/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=3500 CPUtime=0.09 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 545 0 0 0 9 0 0 0 21 0 1 0 163678969 3584000 441 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 875 441 144 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.20063 s] /proc/loadavg: 1.99 1.97 1.99 3/178 23804 /proc/meminfo: memFree=31328044/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=4160 CPUtime=0.19 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 705 0 0 0 18 1 0 0 21 0 1 0 163678969 4259840 601 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 1040 601 144 303 0 735 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4160 [startup+0.300625 s] /proc/loadavg: 1.99 1.97 1.99 3/178 23804 /proc/meminfo: memFree=31328044/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=4688 CPUtime=0.29 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 858 0 0 0 28 1 0 0 21 0 1 0 163678969 4800512 754 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 1172 754 144 303 0 867 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4688 [startup+0.700553 s] /proc/loadavg: 1.99 1.97 1.99 3/178 23804 /proc/meminfo: memFree=31328044/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=6800 CPUtime=0.69 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 1363 0 0 0 66 3 0 0 22 0 1 0 163678969 6963200 1259 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 1700 1259 144 303 0 1395 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6800 [startup+1.50041 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23805 /proc/meminfo: memFree=31322636/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=10100 CPUtime=1.49 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 2179 0 0 0 143 6 0 0 25 0 1 0 163678969 10342400 2075 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 2525 2075 144 303 0 2220 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10100 [startup+3.10013 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23805 /proc/meminfo: memFree=31318420/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=15908 CPUtime=3.09 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 3660 0 0 0 298 11 0 0 25 0 1 0 163678969 16289792 3556 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 3977 3556 144 303 0 3672 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15908 [startup+6.30057 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23805 /proc/meminfo: memFree=31307144/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=27028 CPUtime=6.29 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 6419 0 0 0 610 19 0 0 25 0 1 0 163678969 27676672 6315 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 6757 6315 144 303 0 6452 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27028 [startup+12.7004 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23805 /proc/meminfo: memFree=31286692/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=46732 CPUtime=12.69 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 11347 0 0 0 1235 34 0 0 25 0 1 0 163678969 47853568 11243 4089446400 134512640 135752675 4294425568 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 11683 11243 144 303 0 11378 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46732 [startup+25.5002 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23805 /proc/meminfo: memFree=31250068/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=83060 CPUtime=25.5 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 20439 0 0 0 2483 67 0 0 25 0 1 0 163678969 85053440 20335 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 20765 20335 144 303 0 20460 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 83060 [startup+51.1007 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23806 /proc/meminfo: memFree=31179736/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=153692 CPUtime=51.09 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 38054 0 0 0 4991 118 0 0 25 0 1 0 163678969 157380608 37950 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 38423 37950 144 303 0 38118 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 153692 [startup+102.301 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23807 /proc/meminfo: memFree=31050836/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=280532 CPUtime=102.3 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 69788 0 0 0 10002 228 0 0 25 0 1 0 163678969 287264768 69684 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 70133 69684 144 303 0 69828 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 280532 Solver just ended. Dumping a history of the last processes samples [startup+102.407 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23807 /proc/meminfo: memFree=31050836/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=280796 CPUtime=102.4 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 69837 0 0 0 10012 228 0 0 25 0 1 0 163678969 287535104 69733 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 70199 69733 144 303 0 69894 0 Current children cumulated CPU time (s) 102.4 Current children cumulated vsize (KiB) 280796 [startup+115.2 s] /proc/loadavg: 1.99 1.97 1.99 2/171 23830 /proc/meminfo: memFree=31302384/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=312784 CPUtime=115.2 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 77835 0 0 0 11261 259 0 0 25 0 1 0 163678969 320290816 77731 4089446400 134512640 135752675 4294425568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 78196 77731 144 303 0 77891 0 Current children cumulated CPU time (s) 115.2 Current children cumulated vsize (KiB) 312784 [startup+121.6 s] /proc/loadavg: 1.99 1.97 1.99 3/179 23857 /proc/meminfo: memFree=31262020/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=328228 CPUtime=121.59 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 81681 0 0 0 11889 270 0 0 25 0 1 0 163678969 336105472 81577 4089446400 134512640 135752675 4294425568 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 82057 81577 144 303 0 81752 0 Current children cumulated CPU time (s) 121.59 Current children cumulated vsize (KiB) 328228 [startup+128 s] /proc/loadavg: 1.99 1.97 1.99 3/197 23902 /proc/meminfo: memFree=31226604/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=343672 CPUtime=127.99 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 85572 0 0 0 12516 283 0 0 25 0 1 0 163678969 351920128 85468 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 85918 85468 144 303 0 85613 0 Current children cumulated CPU time (s) 127.99 Current children cumulated vsize (KiB) 343672 [startup+131.201 s] /proc/loadavg: 1.99 1.97 1.99 3/197 23903 /proc/meminfo: memFree=31219880/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=350432 CPUtime=131.19 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 87254 0 0 0 12831 288 0 0 25 0 1 0 163678969 358842368 87150 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 87608 87150 144 303 0 87303 0 Current children cumulated CPU time (s) 131.19 Current children cumulated vsize (KiB) 350432 [startup+132.001 s] /proc/loadavg: 1.99 1.97 1.99 3/197 23903 /proc/meminfo: memFree=31217028/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=352280 CPUtime=132 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 87717 0 0 0 12909 291 0 0 25 0 1 0 163678969 360734720 87613 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 88070 87613 144 303 0 87765 0 Current children cumulated CPU time (s) 132 Current children cumulated vsize (KiB) 352280 [startup+132.8 s] /proc/loadavg: 1.99 1.97 1.99 3/197 23903 /proc/meminfo: memFree=31217028/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=354128 CPUtime=132.79 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 88179 0 0 0 12987 292 0 0 25 0 1 0 163678969 362627072 88075 4089446400 134512640 135752675 4294425568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 88532 88075 144 303 0 88227 0 Current children cumulated CPU time (s) 132.79 Current children cumulated vsize (KiB) 354128 [startup+133.206 s] /proc/loadavg: 1.99 1.97 1.99 3/197 23903 /proc/meminfo: memFree=31214940/32951124 swapFree=67111528/67111528 [pid=23804] ppid=23802 vsize=354920 CPUtime=133.2 /proc/23804/stat : 23804 (wbo1.4b) R 23802 23804 23744 0 -1 4202496 88370 0 0 0 13028 292 0 0 25 0 1 0 163678969 363438080 88266 4089446400 134512640 135752675 4294425568 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23804/statm: 88730 88266 144 303 0 88425 0 Current children cumulated CPU time (s) 133.2 Current children cumulated vsize (KiB) 354920 Child status: 0 Real time (s): 133.296 CPU time (s): 133.299 CPU user time (s): 130.358 CPU system time (s): 2.94055 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 354920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 130.358 system time used= 2.94055 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88393 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= 71 runsolver used 0.184971 second user time and 0.429934 second system time The end
Begin job on node119 at 2010-06-30 14:19:55 IDJOB=2690624 IDBENCH=78882 IDSOLVER=1201 FILE ID=node119/2690624-1277900395 PBS_JOBID= 11197232 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.1900545610--soft-66-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690624-1277900395/watcher-2690624-1277900395 -o /tmp/evaluation-result-2690624-1277900395/solver-2690624-1277900395 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690624-1277900395.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 75e2f830e9a185ffa43de126e90d54da RANDOM SEED=857846537 node119.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.802 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.802 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.75 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.802 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.802 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.802 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.73 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.802 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.75 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.802 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.802 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: 32951124 kB MemFree: 31328564 kB Buffers: 184660 kB Cached: 953508 kB SwapCached: 0 kB Active: 855700 kB Inactive: 624056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31328564 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 341728 kB Mapped: 16324 kB Slab: 78004 kB PageTables: 5776 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 487428 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= 74208 MiB End job on node119 at 2010-06-30 14:22:08