Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 186.923 | 186.918 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900552288--soft-0-100-0.wbo |
MD5SUM | ca8c0bf53108e4446976d449224bf298 |
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 | 180.163 |
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 | 136368 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 136367 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 727 |
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-2690196-1277925953.wbo. 0.00/0.00 c Instance file HOME/instance-2690196-1277925953.wbo 0.00/0.00 c File size is 96773 bytes. 0.00/0.00 c Highest Coefficient sum: 727 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 | 104 | 231 2707 8338 | 5500 104 22 | 0.002 % | 0.00/0.01 c | 257 | 231 2707 8338 | 6050 257 24 | 0.002 % | 0.00/0.02 c | 484 | 231 2707 8338 | 6655 484 26 | 0.002 % | 0.00/0.03 c | 821 | 231 2707 8338 | 7320 821 28 | 0.002 % | 0.00/0.05 c | 1328 | 231 2707 8338 | 8052 1328 30 | 0.002 % | 0.00/0.07 c | 2087 | 231 2707 8338 | 8857 2087 32 | 0.002 % | 0.09/0.12 c | 3227 | 231 2707 8338 | 9743 3227 33 | 0.002 % | 0.09/0.19 c | 4937 | 231 2707 8338 | 10717 4937 32 | 0.002 % | 0.29/0.32 c | 7500 | 231 2707 8338 | 11789 7500 33 | 0.002 % | 0.49/0.57 c | 11344 | 231 2707 8338 | 12968 11344 34 | 0.002 % | 0.89/0.98 c | 17113 | 231 2707 8338 | 14265 10574 38 | 0.002 % | 1.59/1.67 c | 25763 | 231 2707 8338 | 15692 12039 38 | 0.002 % | 2.69/2.77 c | 38737 | 231 2707 8338 | 17261 9223 38 | 0.002 % | 4.49/4.57 c | 58198 | 231 2707 8338 | 18987 11322 39 | 0.002 % | 7.19/7.22 c | 87392 | 231 2707 8338 | 20886 11913 43 | 0.002 % | 11.89/11.92 c | 131181 | 231 2707 8338 | 22974 13738 40 | 0.002 % | 18.79/18.81 c | 196865 | 231 2707 8338 | 25272 21717 36 | 0.002 % | 29.99/30.09 c | 295392 | 231 2707 8338 | 27799 14364 36 | 0.002 % | 48.59/48.64 c | 443182 | 231 2707 8338 | 30579 21319 38 | 0.002 % | 76.29/76.34 c | 664866 | 231 2707 8338 | 33637 22194 40 | 0.002 % | 121.89/121.94 c | 997391 | 231 2707 8338 | 37001 16315 40 | 0.002 % | 181.59/181.65 c There are 1 assigned variables. 0 in cost function. 182.09/182.18 c ============================[ Search Statistics ]============================== 182.09/182.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.09/182.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.09/182.18 c =============================================================================== 182.09/182.18 c | 0 | 230 2699 8298 | 5000 0 nan | 0.000 % | 182.29/182.31 c | 101 | 230 2699 8298 | 5500 101 38 | 0.435 % | 182.29/182.31 c | 251 | 230 2699 8298 | 6050 251 30 | 0.435 % | 182.29/182.32 c | 476 | 230 2699 8298 | 6655 476 31 | 0.435 % | 182.29/182.33 c | 815 | 230 2699 8298 | 7320 815 29 | 0.435 % | 182.29/182.36 c | 1326 | 230 2699 8298 | 8052 1326 28 | 0.435 % | 182.29/182.39 c | 2085 | 230 2699 8298 | 8857 2085 27 | 0.435 % | 182.39/182.47 c | 3224 | 230 2699 8298 | 9743 3224 26 | 0.435 % | 182.60/182.60 c | 4933 | 230 2699 8298 | 10717 4933 27 | 0.435 % | 182.79/182.84 c | 7497 | 230 2699 8298 | 11789 7497 26 | 0.435 % | 183.20/183.24 c | 11341 | 230 2699 8298 | 12968 11341 26 | 0.435 % | 183.79/183.87 c | 17108 | 230 2699 8298 | 14265 10582 28 | 0.435 % | 184.60/184.70 c | 25759 | 230 2699 8298 | 15692 12049 26 | 0.435 % | 186.00/186.00 c | 38734 | 230 2699 8298 | 17261 9248 24 | 0.435 % | 186.80/186.88 c =============================================================================== 186.80/186.89 c core #1 186.80/186.89 c 186.80/186.89 c 186.80/186.89 c Core size: 48 Core Weight: 2147483647 Total Weight: 2147483647 186.80/186.89 c 186.80/186.89 c 186.80/186.89 c Memory used : 469.23 MB 186.80/186.89 c CPU time : 185.211 s 186.80/186.89 c 186.80/186.90 s UNSATISFIABLE 186.80/186.90 c Total CPU time: 185.211 s
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-2690196-1277925953/watcher-2690196-1277925953 -o /tmp/evaluation-result-2690196-1277925953/solver-2690196-1277925953 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690196-1277925953.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.73 2.72 2.44 4/196 19185 /proc/meminfo: memFree=30923816/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=2668 CPUtime=0 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 306 0 0 0 0 0 0 0 25 0 1 0 133890763 2732032 224 4089446400 134512640 135752675 4288998096 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 667 224 147 303 0 338 0 [startup+0.099188 s] /proc/loadavg: 2.73 2.72 2.44 4/196 19185 /proc/meminfo: memFree=30923816/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=3496 CPUtime=0.09 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 556 0 0 0 9 0 0 0 25 0 1 0 133890763 3579904 450 4089446400 134512640 135752675 4288998096 18446744073709551615 134640107 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 874 451 144 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.100188 s] /proc/loadavg: 2.73 2.72 2.44 4/196 19185 /proc/meminfo: memFree=30923816/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=3496 CPUtime=0.09 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 558 0 0 0 9 0 0 0 25 0 1 0 133890763 3579904 452 4089446400 134512640 135752675 4288998096 18446744073709551615 134601574 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 874 452 144 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300156 s] /proc/loadavg: 2.73 2.72 2.44 4/196 19185 /proc/meminfo: memFree=30923816/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=4948 CPUtime=0.29 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 903 0 0 0 29 0 0 0 25 0 1 0 133890763 5066752 797 4089446400 134512640 135752675 4288998096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 1237 797 144 303 0 932 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4948 [startup+0.701079 s] /proc/loadavg: 2.73 2.72 2.44 4/196 19185 /proc/meminfo: memFree=30923816/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=6968 CPUtime=0.69 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 1410 0 0 0 68 1 0 0 25 0 1 0 133890763 7135232 1304 4089446400 134512640 135752675 4288998096 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 1742 1304 144 303 0 1437 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6968 [startup+1.50093 s] /proc/loadavg: 2.73 2.72 2.44 3/197 19186 /proc/meminfo: memFree=30917484/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=10532 CPUtime=1.49 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 2303 0 0 0 147 2 0 0 25 0 1 0 133890763 10784768 2197 4089446400 134512640 135752675 4288998096 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 2633 2197 144 303 0 2328 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10532 [startup+3.10064 s] /proc/loadavg: 2.73 2.72 2.44 3/197 19186 /proc/meminfo: memFree=30912772/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=16740 CPUtime=3.09 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 3847 0 0 0 305 4 0 0 25 0 1 0 133890763 17141760 3741 4089446400 134512640 135752675 4288998096 18446744073709551615 134604955 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 4185 3741 144 303 0 3880 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16740 [startup+6.30105 s] /proc/loadavg: 2.67 2.70 2.44 3/197 19186 /proc/meminfo: memFree=30900744/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=28424 CPUtime=6.29 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 6770 0 0 0 620 9 0 0 25 0 1 0 133890763 29106176 6664 4089446400 134512640 135752675 4288998096 18446744073709551615 134611683 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 7106 6664 144 303 0 6801 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28424 [startup+12.7009 s] /proc/loadavg: 2.62 2.69 2.44 3/197 19186 /proc/meminfo: memFree=30879632/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=48760 CPUtime=12.69 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 11842 0 0 0 1253 16 0 0 25 0 1 0 133890763 49930240 11736 4089446400 134512640 135752675 4288998096 18446744073709551615 134612118 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 12190 11736 144 303 0 11885 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48760 [startup+25.5006 s] /proc/loadavg: 2.48 2.66 2.43 3/197 19187 /proc/meminfo: memFree=30840264/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=86016 CPUtime=25.49 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 21178 0 0 0 2522 27 0 0 25 0 1 0 133890763 88080384 21072 4089446400 134512640 135752675 4288998096 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 21504 21072 144 303 0 21199 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 86016 [startup+51.1009 s] /proc/loadavg: 2.31 2.60 2.42 3/197 19187 /proc/meminfo: memFree=30772712/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=154648 CPUtime=51.09 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 38301 0 0 0 5058 51 0 0 25 0 1 0 133890763 158359552 38195 4089446400 134512640 135752675 4288998096 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 38662 38195 144 303 0 38357 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 154648 [startup+102.307 s] /proc/loadavg: 2.13 2.51 2.39 3/197 19189 /proc/meminfo: memFree=30641356/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=284108 CPUtime=102.3 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 70652 0 0 0 10135 95 0 0 25 0 1 0 133890763 290926592 70546 4089446400 134512640 135752675 4288998096 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 71027 70546 144 303 0 70722 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 284108 [startup+162.301 s] /proc/loadavg: 2.10 2.43 2.37 3/197 19190 /proc/meminfo: memFree=30493484/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=432968 CPUtime=162.29 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 107856 0 0 0 16081 148 0 0 25 0 1 0 133890763 443359232 107750 4089446400 134512640 135752675 4288998096 18446744073709551615 134643742 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 108242 107750 144 303 0 107937 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 432968 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 2.10 2.42 2.37 3/197 19191 /proc/meminfo: memFree=30482692/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=442616 CPUtime=166.3 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 110288 0 0 0 16478 152 0 0 25 0 1 0 133890763 453238784 110182 4089446400 134512640 135752675 4288998096 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 110654 110182 144 303 0 110349 0 Current children cumulated CPU time (s) 166.3 Current children cumulated vsize (KiB) 442616 [startup+179.101 s] /proc/loadavg: 2.07 2.40 2.36 3/197 19191 /proc/meminfo: memFree=30453416/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=473528 CPUtime=179.1 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 118014 0 0 0 17747 163 0 0 25 0 1 0 133890763 484892672 117908 4089446400 134512640 135752675 4288998096 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 118382 117908 144 303 0 118077 0 Current children cumulated CPU time (s) 179.1 Current children cumulated vsize (KiB) 473528 [startup+182.301 s] /proc/loadavg: 2.07 2.40 2.36 3/197 19191 /proc/meminfo: memFree=30444852/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=480492 CPUtime=182.29 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 119794 0 0 0 18064 165 0 0 25 0 1 0 133890763 492023808 119651 4089446400 134512640 135752675 4288998096 18446744073709551615 135205025 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 120123 119651 146 303 0 119818 0 Current children cumulated CPU time (s) 182.29 Current children cumulated vsize (KiB) 480492 [startup+185.5 s] /proc/loadavg: 2.07 2.39 2.36 3/197 19191 /proc/meminfo: memFree=30444100/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=480492 CPUtime=185.5 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 119796 0 0 0 18382 168 0 0 25 0 1 0 133890763 492023808 119653 4089446400 134512640 135752675 4288998096 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 120123 119653 146 303 0 119818 0 Current children cumulated CPU time (s) 185.5 Current children cumulated vsize (KiB) 480492 [startup+186.3 s] /proc/loadavg: 2.07 2.39 2.36 3/197 19191 /proc/meminfo: memFree=30443976/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=480492 CPUtime=186.29 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 119796 0 0 0 18461 168 0 0 25 0 1 0 133890763 492023808 119653 4089446400 134512640 135752675 4288998096 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 120123 119653 146 303 0 119818 0 Current children cumulated CPU time (s) 186.29 Current children cumulated vsize (KiB) 480492 [startup+186.701 s] /proc/loadavg: 2.07 2.39 2.36 3/197 19191 /proc/meminfo: memFree=30443976/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=480492 CPUtime=186.7 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202496 119796 0 0 0 18501 169 0 0 25 0 1 0 133890763 492023808 119653 4089446400 134512640 135752675 4288998096 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/19185/statm: 120123 119653 146 303 0 119818 0 Current children cumulated CPU time (s) 186.7 Current children cumulated vsize (KiB) 480492 [startup+186.901 s] /proc/loadavg: 2.07 2.39 2.36 3/197 19191 /proc/meminfo: memFree=30466168/32951124 swapFree=67111528/67111528 [pid=19185] ppid=19183 vsize=0 CPUtime=186.91 /proc/19185/stat : 19185 (wbo1.4b) R 19183 19185 18726 0 -1 4202500 119798 0 0 0 18521 170 0 0 18 0 1 0 133890763 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/19185/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 186.91 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 186.918 CPU time (s): 186.923 CPU user time (s): 185.211 CPU system time (s): 1.71174 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 480656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 185.211 system time used= 1.71174 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 119798 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= 4 involuntary context switches= 270 runsolver used 0.315951 second user time and 0.635903 second system time The end
Begin job on node139 at 2010-06-30 21:25:53 IDJOB=2690196 IDBENCH=79265 IDSOLVER=1201 FILE ID=node139/2690196-1277925953 PBS_JOBID= 11197355 Free space on /tmp= 74124 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552288--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-2690196-1277925953/watcher-2690196-1277925953 -o /tmp/evaluation-result-2690196-1277925953/solver-2690196-1277925953 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690196-1277925953.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ca8c0bf53108e4446976d449224bf298 RANDOM SEED=374798158 node139.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.840 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.68 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.840 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.840 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.840 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.840 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.78 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.840 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.840 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.840 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: 30924344 kB Buffers: 214144 kB Cached: 1477404 kB SwapCached: 0 kB Active: 864896 kB Inactive: 1015232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30924344 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2828 kB Writeback: 0 kB AnonPages: 188488 kB Mapped: 20376 kB Slab: 83892 kB PageTables: 4676 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1657696 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= 74120 MiB End job on node139 at 2010-06-30 21:29:00