Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 141.271 | 141.264 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo |
MD5SUM | a22634c1977478f126d9df874c90c256 |
Bench Category | SOFT-SMALLINT-LIN (only soft 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 | 214.202 |
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 | 2707 |
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 | 135641 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 135640 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 761 |
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-2690219-1277926932.wbo. 0.00/0.00 c Instance file HOME/instance-2690219-1277926932.wbo 0.00/0.00 c File size is 96780 bytes. 0.00/0.00 c Highest Coefficient sum: 761 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 27 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 29 | 0.002 % | 0.00/0.02 c | 475 | 231 2707 8338 | 6655 475 28 | 0.002 % | 0.00/0.03 c | 814 | 231 2707 8338 | 7320 814 29 | 0.002 % | 0.00/0.04 c | 1321 | 231 2707 8338 | 8052 1321 30 | 0.002 % | 0.05/0.07 c | 2083 | 231 2707 8338 | 8857 2083 34 | 0.002 % | 0.09/0.12 c | 3222 | 231 2707 8338 | 9743 3222 35 | 0.002 % | 0.09/0.19 c | 4930 | 231 2707 8338 | 10717 4930 34 | 0.002 % | 0.29/0.31 c | 7492 | 231 2707 8338 | 11789 7492 34 | 0.002 % | 0.49/0.54 c | 11336 | 231 2707 8338 | 12968 11336 35 | 0.002 % | 0.79/0.88 c | 17103 | 231 2707 8338 | 14265 10584 34 | 0.002 % | 1.39/1.46 c | 25752 | 231 2707 8338 | 15692 12053 36 | 0.002 % | 2.29/2.37 c | 38726 | 231 2707 8338 | 17261 9222 35 | 0.002 % | 3.70/3.78 c | 58188 | 231 2707 8338 | 18987 11325 38 | 0.002 % | 5.99/6.05 c | 87380 | 231 2707 8338 | 20886 11887 41 | 0.002 % | 9.59/9.63 c | 131169 | 231 2707 8338 | 22974 13695 36 | 0.002 % | 15.99/16.09 c | 196854 | 231 2707 8338 | 25272 21670 41 | 0.002 % | 25.60/25.62 c | 295383 | 231 2707 8338 | 27799 15096 39 | 0.002 % | 41.49/41.53 c | 443172 | 231 2707 8338 | 30579 21967 39 | 0.002 % | 66.69/66.71 c | 664855 | 231 2707 8338 | 33637 24806 40 | 0.002 % | 108.70/108.72 c | 997382 | 231 2707 8338 | 37001 17944 38 | 0.002 % | 141.20/141.24 s UNSATISFIABLE 141.20/141.24 c Total CPU time: 138.394 s 141.20/141.24 c =============================================================================== 141.20/141.24 c 141.20/141.24 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-2690219-1277926932/watcher-2690219-1277926932 -o /tmp/evaluation-result-2690219-1277926932/solver-2690219-1277926932 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690219-1277926932.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.96 1.98 1.99 3/178 15824 /proc/meminfo: memFree=31266408/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=2668 CPUtime=0 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 304 0 0 0 0 0 0 0 21 0 1 0 133988364 2732032 222 4089446400 134512640 135752675 4292919936 18446744073709551615 134564720 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 667 222 147 303 0 338 0 [startup+0.0627851 s] /proc/loadavg: 1.96 1.98 1.99 3/178 15824 /proc/meminfo: memFree=31266408/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=3232 CPUtime=0.05 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 492 0 0 0 5 0 0 0 22 0 1 0 133988364 3309568 386 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 808 386 144 303 0 503 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3232 [startup+0.100778 s] /proc/loadavg: 1.96 1.98 1.99 3/178 15824 /proc/meminfo: memFree=31266408/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=3628 CPUtime=0.09 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 575 0 0 0 8 1 0 0 22 0 1 0 133988364 3715072 469 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 907 469 144 303 0 602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3628 [startup+0.300742 s] /proc/loadavg: 1.96 1.98 1.99 3/178 15824 /proc/meminfo: memFree=31266408/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=4948 CPUtime=0.29 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 924 0 0 0 27 2 0 0 22 0 1 0 133988364 5066752 818 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 1237 818 144 303 0 932 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4948 [startup+0.700659 s] /proc/loadavg: 1.96 1.98 1.99 3/178 15824 /proc/meminfo: memFree=31266408/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=7060 CPUtime=0.69 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 1446 0 0 0 65 4 0 0 24 0 1 0 133988364 7229440 1340 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 1765 1340 144 303 0 1460 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7060 [startup+1.5005 s] /proc/loadavg: 1.96 1.98 1.99 3/179 15825 /proc/meminfo: memFree=31260376/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=11284 CPUtime=1.49 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 2474 0 0 0 143 6 0 0 18 0 1 0 133988364 11554816 2368 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 2821 2368 144 303 0 2516 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11284 [startup+3.1002 s] /proc/loadavg: 1.96 1.98 1.99 3/179 15825 /proc/meminfo: memFree=31254796/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=18544 CPUtime=3.09 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 4296 0 0 0 298 11 0 0 18 0 1 0 133988364 18989056 4190 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 4636 4190 144 303 0 4331 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18544 [startup+6.30055 s] /proc/loadavg: 1.96 1.98 1.99 3/179 15825 /proc/meminfo: memFree=31240744/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=32068 CPUtime=6.29 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 7679 0 0 0 608 21 0 0 25 0 1 0 133988364 32837632 7573 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 8017 7573 144 303 0 7712 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32068 [startup+12.7003 s] /proc/loadavg: 1.96 1.98 1.99 3/179 15825 /proc/meminfo: memFree=31217544/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=54792 CPUtime=12.69 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 13373 0 0 0 1231 38 0 0 25 0 1 0 133988364 56107008 13267 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 13698 13267 144 303 0 13393 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54792 [startup+25.5007 s] /proc/loadavg: 1.97 1.98 1.99 3/179 15825 /proc/meminfo: memFree=31173728/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=97852 CPUtime=25.49 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 24113 0 0 0 2483 66 0 0 25 0 1 0 133988364 100200448 24007 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 24463 24007 144 303 0 24158 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 97852 [startup+51.1006 s] /proc/loadavg: 1.98 1.98 1.99 3/179 15826 /proc/meminfo: memFree=31097640/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=174880 CPUtime=51.1 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 43376 0 0 0 4989 121 0 0 25 0 1 0 133988364 179077120 43270 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 43720 43270 144 303 0 43415 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 174880 [startup+102.306 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15827 /proc/meminfo: memFree=30955884/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=314600 CPUtime=102.3 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 78279 0 0 0 10015 215 0 0 25 0 1 0 133988364 322150400 78173 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 78650 78173 144 303 0 78345 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 314600 Solver just ended. Dumping a history of the last processes samples [startup+127.9 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15828 /proc/meminfo: memFree=30893124/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=378160 CPUtime=127.9 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 94181 0 0 0 12531 259 0 0 25 0 1 0 133988364 387235840 94075 4089446400 134512640 135752675 4292919936 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 94540 94075 144 303 0 94235 0 Current children cumulated CPU time (s) 127.9 Current children cumulated vsize (KiB) 378160 [startup+134.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15828 /proc/meminfo: memFree=30874888/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=395584 CPUtime=134.3 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 98552 0 0 0 13159 271 0 0 25 0 1 0 133988364 405078016 98446 4089446400 134512640 135752675 4292919936 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 98896 98446 144 303 0 98591 0 Current children cumulated CPU time (s) 134.3 Current children cumulated vsize (KiB) 395584 [startup+137.506 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15829 /proc/meminfo: memFree=30865588/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=404572 CPUtime=137.5 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 100772 0 0 0 13472 278 0 0 25 0 1 0 133988364 414281728 100666 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 101143 100666 144 303 0 100838 0 Current children cumulated CPU time (s) 137.5 Current children cumulated vsize (KiB) 404572 [startup+139.1 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15829 /proc/meminfo: memFree=30862860/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=408808 CPUtime=139.1 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 101824 0 0 0 13629 281 0 0 25 0 1 0 133988364 418619392 101718 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 102202 101718 144 303 0 101897 0 Current children cumulated CPU time (s) 139.1 Current children cumulated vsize (KiB) 408808 [startup+139.901 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15829 /proc/meminfo: memFree=30859636/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=411184 CPUtime=139.9 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 102423 0 0 0 13707 283 0 0 25 0 1 0 133988364 421052416 102317 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 102796 102317 144 303 0 102491 0 Current children cumulated CPU time (s) 139.9 Current children cumulated vsize (KiB) 411184 [startup+140.701 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15829 /proc/meminfo: memFree=30857152/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=412900 CPUtime=140.7 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 102852 0 0 0 13785 285 0 0 25 0 1 0 133988364 422809600 102746 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 103225 102746 144 303 0 102920 0 Current children cumulated CPU time (s) 140.7 Current children cumulated vsize (KiB) 412900 [startup+141.101 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15829 /proc/meminfo: memFree=30857152/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=413824 CPUtime=141.1 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 103096 0 0 0 13824 286 0 0 25 0 1 0 133988364 423755776 102990 4089446400 134512640 135752675 4292919936 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 103456 102990 144 303 0 103151 0 Current children cumulated CPU time (s) 141.1 Current children cumulated vsize (KiB) 413824 [startup+141.201 s] /proc/loadavg: 1.99 1.98 1.99 3/179 15829 /proc/meminfo: memFree=30857152/32951124 swapFree=67111528/67111528 [pid=15824] ppid=15822 vsize=414088 CPUtime=141.2 /proc/15824/stat : 15824 (wbo1.4b) R 15822 15824 15764 0 -1 4202496 103149 0 0 0 13834 286 0 0 25 0 1 0 133988364 424026112 103043 4089446400 134512640 135752675 4292919936 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15824/statm: 103522 103043 144 303 0 103217 0 Current children cumulated CPU time (s) 141.2 Current children cumulated vsize (KiB) 414088 Child status: 0 Real time (s): 141.264 CPU time (s): 141.271 CPU user time (s): 138.394 CPU system time (s): 2.87656 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 414088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 138.394 system time used= 2.87656 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 103179 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= 3 involuntary context switches= 74 runsolver used 0.200969 second user time and 0.446932 second system time The end
Begin job on node143 at 2010-06-30 21:42:12 IDJOB=2690219 IDBENCH=79275 IDSOLVER=1201 FILE ID=node143/2690219-1277926932 PBS_JOBID= 11197381 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900571132--soft-0-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690219-1277926932/watcher-2690219-1277926932 -o /tmp/evaluation-result-2690219-1277926932/solver-2690219-1277926932 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690219-1277926932.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a22634c1977478f126d9df874c90c256 RANDOM SEED=1419793130 node143.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.848 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.69 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.848 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.07 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.848 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.76 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.848 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.77 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.848 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 : 5285.38 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.848 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.848 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.848 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: 31267184 kB Buffers: 212080 kB Cached: 971008 kB SwapCached: 0 kB Active: 772080 kB Inactive: 767076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31267184 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 356852 kB Mapped: 17272 kB Slab: 79972 kB PageTables: 5384 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 503792 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 node143 at 2010-06-30 21:44:33