Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 864.369 | 864.345 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo |
MD5SUM | ebe664bdb6d24f27290f0bb7f023aa5a |
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 | 4 |
Best CPU time to get the best result obtained on this benchmark | 776.621 |
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 | 723 |
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 - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689681-1277931139.wbo. 0.00/0.00 c Instance file HOME/instance-2689681-1277931139.wbo 0.00/0.00 c File size is 96778 bytes. 0.00/0.00 c Highest Coefficient sum: 723 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.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 102 | 231 2707 8338 | 5500 102 22 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 22 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 23 | 0.002 % | 0.00/0.02 c | 815 | 231 2707 8338 | 7320 815 27 | 0.002 % | 0.00/0.04 c | 1323 | 231 2707 8338 | 8052 1323 29 | 0.002 % | 0.00/0.06 c | 2082 | 231 2707 8338 | 8857 2082 30 | 0.002 % | 0.09/0.11 c | 3225 | 231 2707 8338 | 9743 3225 32 | 0.002 % | 0.09/0.19 c | 4934 | 231 2707 8338 | 10717 4934 35 | 0.002 % | 0.29/0.31 c | 7499 | 231 2707 8338 | 11789 7499 36 | 0.002 % | 0.49/0.56 c | 11343 | 231 2707 8338 | 12968 11343 35 | 0.002 % | 0.89/0.94 c | 17110 | 231 2707 8338 | 14265 10568 35 | 0.002 % | 1.49/1.53 c | 25761 | 231 2707 8338 | 15692 12041 36 | 0.002 % | 2.49/2.54 c | 38736 | 231 2707 8338 | 17261 9234 35 | 0.002 % | 3.89/3.98 c | 58197 | 231 2707 8338 | 18987 11348 38 | 0.002 % | 6.29/6.33 c | 87392 | 231 2707 8338 | 20886 11924 37 | 0.002 % | 10.49/10.53 c | 131181 | 231 2707 8338 | 22974 13736 43 | 0.002 % | 16.89/16.99 c | 196865 | 231 2707 8338 | 25272 21695 37 | 0.002 % | 26.59/26.64 c | 295393 | 231 2707 8338 | 27799 12973 35 | 0.002 % | 42.19/42.29 c | 443183 | 231 2707 8338 | 30579 18786 40 | 0.002 % | 68.89/68.90 c | 664866 | 231 2707 8338 | 33637 24887 39 | 0.002 % | 107.70/107.70 c | 997391 | 231 2707 8338 | 37001 18833 37 | 0.002 % | 169.79/169.83 c | 1496181 | 230 2707 8338 | 40701 20079 44 | 0.435 % | 191.80/191.88 c =============================================================================== 204.80/204.80 c core #1 204.80/204.80 c ============================[ Search Statistics ]============================== 204.80/204.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.80/204.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.80/204.80 c =============================================================================== 204.80/204.80 c | 0 | 1585 5267 20294 | 5000 0 nan | 0.000 % | 205.10/205.10 c | 100 | 1585 5267 20294 | 5500 100 20 | 0.000 % | 205.10/205.15 c | 250 | 1585 5267 20294 | 6050 250 23 | 0.000 % | 205.10/205.17 c | 476 | 1585 5267 20294 | 6655 476 29 | 0.000 % | 205.10/205.19 c | 816 | 1585 5267 20294 | 7320 816 29 | 0.000 % | 205.20/205.23 c | 1323 | 1585 5267 20294 | 8052 1323 29 | 0.000 % | 205.20/205.26 c | 2084 | 1585 5267 20294 | 8857 2084 30 | 0.000 % | 205.29/205.31 c | 3223 | 1585 5267 20294 | 9743 3223 30 | 0.000 % | 205.29/205.39 c | 4934 | 1585 5267 20294 | 10717 4934 31 | 0.000 % | 205.50/205.55 c | 7496 | 1585 5267 20294 | 11789 7496 33 | 0.000 % | 205.79/205.82 c | 11342 | 1585 5267 20294 | 12968 11342 34 | 0.000 % | 206.20/206.21 c | 17109 | 1585 5267 20294 | 14265 10563 34 | 0.000 % | 206.90/206.91 c | 25759 | 1585 5267 20294 | 15692 12019 36 | 0.000 % | 208.20/208.29 c | 38734 | 1585 5267 20294 | 17261 9211 40 | 0.000 % | 210.00/210.06 c | 58195 | 1585 5267 20294 | 18987 11305 36 | 0.000 % | 212.89/212.99 c | 87390 | 1585 5267 20294 | 20886 11887 38 | 0.000 % | 217.71/217.78 c | 131180 | 1585 5267 20294 | 22974 13697 37 | 0.000 % | 225.99/226.02 c | 196865 | 1585 5267 20294 | 25272 21677 43 | 0.000 % | 237.20/237.23 c | 295393 | 1585 5267 20294 | 27799 13605 35 | 0.000 % | 255.10/255.10 c | 443182 | 1585 5267 20294 | 30579 20433 38 | 0.000 % | 284.00/284.09 c | 664866 | 1585 5267 20294 | 33637 25108 39 | 0.000 % | 325.20/325.25 c =============================================================================== 333.40/333.47 c core #2 333.40/333.47 c ============================[ Search Statistics ]============================== 333.40/333.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 333.40/333.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 333.40/333.47 c =============================================================================== 333.40/333.47 c | 0 | 2940 7798 32155 | 5000 0 nan | 0.000 % | 333.50/333.56 c | 100 | 2940 7798 32155 | 5500 100 33 | 0.000 % | 333.50/333.56 c | 250 | 2940 7798 32155 | 6050 250 26 | 0.000 % | 333.50/333.58 c | 475 | 2940 7798 32155 | 6655 475 31 | 0.000 % | 333.60/333.60 c | 812 | 2940 7798 32155 | 7320 812 31 | 0.000 % | 333.60/333.63 c | 1318 | 2940 7798 32155 | 8052 1318 30 | 0.000 % | 333.60/333.67 c | 2081 | 2940 7798 32155 | 8857 2081 30 | 0.000 % | 333.70/333.74 c | 3220 | 2940 7798 32155 | 9743 3220 30 | 0.000 % | 333.80/333.83 c | 4928 | 2940 7798 32155 | 10717 4928 30 | 0.000 % | 334.00/334.02 c | 7490 | 2940 7798 32155 | 11789 7490 31 | 0.000 % | 334.30/334.31 c | 11336 | 2940 7798 32155 | 12968 11336 33 | 0.000 % | 334.80/334.80 c | 17102 | 2940 7798 32155 | 14265 10560 34 | 0.000 % | 335.40/335.48 c | 25752 | 2940 7798 32155 | 15692 12018 36 | 0.000 % | 336.70/336.78 c | 38727 | 2940 7798 32155 | 17261 9184 40 | 0.000 % | 338.90/338.92 c | 58189 | 2940 7798 32155 | 18987 11271 36 | 0.000 % | 341.60/341.61 c | 87381 | 2940 7798 32155 | 20886 11836 33 | 0.000 % | 346.70/346.77 c | 131171 | 2940 7798 32155 | 22974 13635 37 | 0.000 % | 354.30/354.39 c | 196856 | 2940 7798 32155 | 25272 21424 38 | 0.000 % | 366.60/366.62 c | 295382 | 2940 7798 32155 | 27799 13805 36 | 0.000 % | 385.20/385.28 c | 443172 | 2940 7798 32155 | 30579 19356 37 | 0.000 % | 416.51/416.50 c | 664855 | 2940 7798 32155 | 33637 23390 39 | 0.000 % | 458.50/458.50 c | 997380 | 2940 7798 32155 | 37001 19369 40 | 0.000 % | 497.11/497.12 c =============================================================================== 506.91/506.90 c core #3 506.91/506.90 c ============================[ Search Statistics ]============================== 506.91/506.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 506.91/506.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 506.91/506.90 c =============================================================================== 506.91/506.90 c | 0 | 4306 10294 43923 | 5000 0 nan | 0.000 % | 506.91/507.00 c | 100 | 4306 10294 43923 | 5500 100 22 | 0.000 % | 507.01/507.01 c | 251 | 4306 10294 43923 | 6050 251 24 | 0.000 % | 507.01/507.02 c | 476 | 4306 10294 43923 | 6655 476 29 | 0.000 % | 507.01/507.05 c | 815 | 4306 10294 43923 | 7320 815 26 | 0.000 % | 507.01/507.08 c | 1322 | 4306 10294 43923 | 8052 1322 28 | 0.000 % | 507.11/507.13 c | 2082 | 4306 10294 43923 | 8857 2082 29 | 0.000 % | 507.21/507.21 c | 3224 | 4306 10294 43923 | 9743 3224 30 | 0.000 % | 507.30/507.33 c | 4933 | 4306 10294 43923 | 10717 4933 31 | 0.000 % | 507.51/507.53 c | 7497 | 4306 10294 43923 | 11789 7497 32 | 0.000 % | 507.80/507.84 c | 11342 | 4306 10294 43923 | 12968 11342 32 | 0.000 % | 508.31/508.38 c | 17108 | 4306 10294 43923 | 14265 10592 32 | 0.000 % | 509.21/509.21 c | 25759 | 4306 10294 43923 | 15692 12083 33 | 0.000 % | 510.70/510.79 c | 38733 | 4306 10294 43923 | 17261 9243 37 | 0.000 % | 513.01/513.01 c | 58194 | 4306 10294 43923 | 18987 11326 37 | 0.000 % | 516.41/516.40 c | 87388 | 4306 10294 43923 | 20886 11878 42 | 0.000 % | 521.71/521.78 c | 131177 | 4306 10294 43923 | 22974 13684 42 | 0.000 % | 530.81/530.81 c | 196861 | 4306 10294 43923 | 25272 21678 38 | 0.000 % | 544.61/544.61 c | 295387 | 4306 10294 43923 | 27799 11996 38 | 0.000 % | 568.21/568.23 c | 443176 | 4306 10294 43923 | 30579 18224 40 | 0.000 % | 599.42/599.43 c | 664859 | 4306 10294 43923 | 33637 17844 38 | 0.000 % | 644.41/644.41 c | 997388 | 4306 10294 43923 | 37001 13358 36 | 0.000 % | 714.82/714.85 c | 1496176 | 4306 10294 43923 | 40701 23252 36 | 0.000 % | 810.51/810.60 c =============================================================================== 829.82/829.83 c core #4 829.82/829.83 c ============================[ Search Statistics ]============================== 829.82/829.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 829.82/829.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 829.82/829.83 c =============================================================================== 829.82/829.83 c | 0 | 5712 12772 55747 | 5000 0 nan | 0.000 % | 830.01/830.01 c | 100 | 5712 12772 55747 | 5500 100 32 | 0.000 % | 830.01/830.06 c | 251 | 5712 12772 55747 | 6050 251 34 | 0.000 % | 830.01/830.07 c | 476 | 5712 12772 55747 | 6655 476 32 | 0.000 % | 830.01/830.09 c | 816 | 5712 12772 55747 | 7320 816 31 | 0.000 % | 830.12/830.12 c | 1322 | 5712 12772 55747 | 8052 1322 30 | 0.000 % | 830.12/830.18 c | 2086 | 5712 12772 55747 | 8857 2086 29 | 0.000 % | 830.21/830.29 c | 3225 | 5712 12772 55747 | 9743 3225 29 | 0.000 % | 830.42/830.45 c | 4934 | 5712 12772 55747 | 10717 4934 29 | 0.000 % | 830.62/830.64 c | 7497 | 5712 12772 55747 | 11789 7497 30 | 0.000 % | 830.92/830.99 c | 11341 | 5712 12772 55747 | 12968 11341 32 | 0.000 % | 831.41/831.47 c | 17109 | 5712 12772 55747 | 14265 10565 35 | 0.000 % | 832.31/832.30 c | 25758 | 5712 12772 55747 | 15692 12027 35 | 0.000 % | 833.72/833.78 c | 38732 | 5712 12772 55747 | 17261 9227 36 | 0.000 % | 835.92/836.00 c | 58193 | 5712 12772 55747 | 18987 11321 35 | 0.000 % | 839.51/839.55 c | 87387 | 5712 12772 55747 | 20886 11878 39 | 0.000 % | 845.21/845.23 c | 131179 | 5712 12772 55747 | 22974 13696 38 | 0.000 % | 853.72/853.70 c | 196864 | 5712 12772 55747 | 25272 21664 40 | 0.000 % | 864.22/864.29 c =============================================================================== 864.22/864.29 c #cores: 4 864.22/864.29 c Final Weight: 4 864.22/864.29 o 4 864.22/864.29 s OPTIMUM FOUND 864.22/864.29 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 864.22/864.29 c Total CPU time: 855.963 s
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689681-1277931139/watcher-2689681-1277931139 -o /tmp/evaluation-result-2689681-1277931139/solver-2689681-1277931139 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689681-1277931139.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 16485 /proc/meminfo: memFree=31238448/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=2672 CPUtime=0 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 306 0 0 0 0 0 0 0 25 0 1 0 134409390 2736128 225 4089446400 134512640 135751879 4290156960 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 668 225 147 303 0 339 0 [startup+0.0824951 s] /proc/loadavg: 2.00 2.00 2.00 4/178 16485 /proc/meminfo: memFree=31238448/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=3512 CPUtime=0.07 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 537 0 0 0 7 0 0 0 25 0 1 0 134409390 3596288 432 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 878 432 143 303 0 573 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3512 [startup+0.100492 s] /proc/loadavg: 2.00 2.00 2.00 4/178 16485 /proc/meminfo: memFree=31238448/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=3644 CPUtime=0.09 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 578 0 0 0 9 0 0 0 25 0 1 0 134409390 3731456 473 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 911 473 143 303 0 606 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3644 [startup+0.300456 s] /proc/loadavg: 2.00 2.00 2.00 4/178 16485 /proc/meminfo: memFree=31238448/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=5096 CPUtime=0.29 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 950 0 0 0 29 0 0 0 25 0 1 0 134409390 5218304 845 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 1274 845 143 303 0 969 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5096 [startup+0.700395 s] /proc/loadavg: 2.00 2.00 2.00 4/178 16485 /proc/meminfo: memFree=31238448/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=6968 CPUtime=0.69 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 1416 0 0 0 68 1 0 0 25 0 1 0 134409390 7135232 1311 4089446400 134512640 135751879 4290156960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 1742 1311 143 303 0 1437 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6968 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16486 /proc/meminfo: memFree=31231992/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=10928 CPUtime=1.49 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 2399 0 0 0 147 2 0 0 25 0 1 0 134409390 11190272 2294 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 2732 2294 143 303 0 2427 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10928 [startup+3.10095 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16486 /proc/meminfo: memFree=31227032/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=17796 CPUtime=3.09 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 4107 0 0 0 305 4 0 0 25 0 1 0 134409390 18223104 4002 4089446400 134512640 135751879 4290156960 18446744073709551615 134616361 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 4449 4002 143 303 0 4144 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17796 [startup+6.30037 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16486 /proc/meminfo: memFree=31213504/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=30652 CPUtime=6.29 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 7322 0 0 0 621 8 0 0 25 0 1 0 134409390 31387648 7217 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 7663 7217 143 303 0 7358 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30652 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16486 /proc/meminfo: memFree=31190028/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=52716 CPUtime=12.7 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 12835 0 0 0 1253 17 0 0 25 0 1 0 134409390 53981184 12730 4089446400 134512640 135751879 4290156960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 13179 12730 143 303 0 12874 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 52716 [startup+25.5009 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16487 /proc/meminfo: memFree=31146172/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=95632 CPUtime=25.49 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 23583 0 0 0 2519 30 0 0 25 0 1 0 134409390 97927168 23478 4089446400 134512640 135751879 4290156960 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 23908 23478 143 303 0 23603 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 95632 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16487 /proc/meminfo: memFree=31072156/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=170692 CPUtime=51.09 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 42323 0 0 0 5051 58 0 0 25 0 1 0 134409390 174788608 42218 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 42673 42218 143 303 0 42368 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 170692 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16489 /proc/meminfo: memFree=30930032/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=310820 CPUtime=102.3 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 77314 0 0 0 10117 113 0 0 25 0 1 0 134409390 318279680 77209 4089446400 134512640 135751879 4290156960 18446744073709551615 134611192 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 77705 77209 143 303 0 77400 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 310820 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16490 /proc/meminfo: memFree=30770916/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=470656 CPUtime=162.3 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 117277 0 0 0 16060 170 0 0 25 0 1 0 134409390 481951744 117172 4089446400 134512640 135751879 4290156960 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 117664 117172 143 303 0 117359 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 470656 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16492 /proc/meminfo: memFree=30652820/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=586872 CPUtime=222.29 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 146396 0 0 0 22017 212 0 0 25 0 1 0 134409390 600956928 146251 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 146718 146251 146 303 0 146413 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 586872 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16493 /proc/meminfo: memFree=30652780/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=586872 CPUtime=282.3 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 146443 0 0 0 27967 263 0 0 25 0 1 0 134409390 600956928 146298 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 146718 146298 146 303 0 146413 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 586872 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16495 /proc/meminfo: memFree=30583428/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=655888 CPUtime=342.3 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 163681 0 0 0 33919 311 0 0 25 0 1 0 134409390 671629312 163536 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 163972 163536 146 303 0 163667 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 655888 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16497 /proc/meminfo: memFree=30562184/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=678488 CPUtime=402.3 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 169335 0 0 0 39868 362 0 0 25 0 1 0 134409390 694771712 169190 4089446400 134512640 135751879 4290156960 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 169622 169190 146 303 0 169317 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 678488 [startup+462.301 s] /proc/loadavg: 2.06 2.01 2.00 3/179 16498 /proc/meminfo: memFree=30428484/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=811944 CPUtime=462.31 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 202653 0 0 0 45812 419 0 0 25 0 1 0 134409390 831430656 202508 4089446400 134512640 135751879 4290156960 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 202986 202508 146 303 0 202681 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 811944 [startup+522.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 16508 /proc/meminfo: memFree=30310636/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=927160 CPUtime=522.31 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 231439 0 0 0 51768 463 0 0 25 0 1 0 134409390 949411840 231294 4089446400 134512640 135751879 4290156960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 231790 231294 146 303 0 231485 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 927160 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16510 /proc/meminfo: memFree=30310692/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=927820 CPUtime=582.31 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 231647 0 0 0 57723 508 0 0 25 0 1 0 134409390 950087680 231502 4089446400 134512640 135751879 4290156960 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 231955 231502 146 303 0 231650 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 927820 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16512 /proc/meminfo: memFree=30207492/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=1030516 CPUtime=642.31 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 257301 0 0 0 63672 559 0 0 25 0 1 0 134409390 1055248384 257156 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 257629 257156 146 303 0 257324 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1030516 [startup+702.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16514 /proc/meminfo: memFree=30071704/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=1167384 CPUtime=702.31 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 291492 0 0 0 69618 613 0 0 25 0 1 0 134409390 1195401216 291347 4089446400 134512640 135751879 4290156960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16485/statm: 291846 291347 146 303 0 291541 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 1167384 [startup+762.307 s] /proc/loadavg: 2.10 2.03 2.01 3/179 16669 /proc/meminfo: memFree=29906252/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=1298560 CPUtime=762.31 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 324273 0 0 0 75554 677 0 0 25 0 1 0 134409390 1329725440 324128 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16485/statm: 324640 324128 146 303 0 324335 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 1298560 [startup+822.301 s] /proc/loadavg: 2.04 2.02 2.00 3/179 16671 /proc/meminfo: memFree=29728380/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=1471164 CPUtime=822.32 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 367416 0 0 0 81462 770 0 0 25 0 1 0 134409390 1506471936 367271 4089446400 134512640 135751879 4290156960 18446744073709551615 134618830 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16485/statm: 367791 367271 146 303 0 367486 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 1471164 Solver just ended. Dumping a history of the last processes samples [startup+844.701 s] /proc/loadavg: 2.02 2.02 2.00 3/179 16672 /proc/meminfo: memFree=29723404/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=1472596 CPUtime=844.72 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 367790 0 0 0 83674 798 0 0 25 0 1 0 134409390 1507938304 367645 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16485/statm: 368149 367645 146 303 0 367844 0 Current children cumulated CPU time (s) 844.72 Current children cumulated vsize (KiB) 1472596 [startup+857.501 s] /proc/loadavg: 2.02 2.02 2.00 3/179 16672 /proc/meminfo: memFree=29720296/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=1472596 CPUtime=857.51 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 367790 0 0 0 84929 822 0 0 25 0 1 0 134409390 1507938304 367645 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16485/statm: 368149 367645 146 303 0 367844 0 Current children cumulated CPU time (s) 857.51 Current children cumulated vsize (KiB) 1472596 [startup+860.701 s] /proc/loadavg: 2.02 2.02 2.00 3/179 16672 /proc/meminfo: memFree=29718804/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=1472596 CPUtime=860.71 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 367790 0 0 0 85243 828 0 0 25 0 1 0 134409390 1507938304 367645 4089446400 134512640 135751879 4290156960 18446744073709551615 134616314 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16485/statm: 368149 367645 146 303 0 367844 0 Current children cumulated CPU time (s) 860.71 Current children cumulated vsize (KiB) 1472596 [startup+862.301 s] /proc/loadavg: 2.02 2.02 2.00 3/179 16672 /proc/meminfo: memFree=29718168/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=1472596 CPUtime=862.32 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 367790 0 0 0 85401 831 0 0 25 0 1 0 134409390 1507938304 367645 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16485/statm: 368149 367645 146 303 0 367844 0 Current children cumulated CPU time (s) 862.32 Current children cumulated vsize (KiB) 1472596 [startup+863.101 s] /proc/loadavg: 2.02 2.02 2.00 3/179 16672 /proc/meminfo: memFree=29718168/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=1472596 CPUtime=863.12 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 367791 0 0 0 85479 833 0 0 25 0 1 0 134409390 1507938304 367646 4089446400 134512640 135751879 4290156960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16485/statm: 368149 367646 146 303 0 367844 0 Current children cumulated CPU time (s) 863.12 Current children cumulated vsize (KiB) 1472596 [startup+863.901 s] /proc/loadavg: 2.02 2.02 2.00 3/179 16672 /proc/meminfo: memFree=29718044/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=1472596 CPUtime=863.91 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202496 367791 0 0 0 85557 834 0 0 25 0 1 0 134409390 1507938304 367646 4089446400 134512640 135751879 4290156960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/16485/statm: 368149 367646 146 303 0 367844 0 Current children cumulated CPU time (s) 863.91 Current children cumulated vsize (KiB) 1472596 [startup+864.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 16672 /proc/meminfo: memFree=29718044/32951124 swapFree=67111528/67111528 [pid=16485] ppid=16483 vsize=0 CPUtime=864.32 /proc/16485/stat : 16485 (wbo1.4a) R 16483 16485 15994 0 -1 4202500 367791 0 0 0 85596 836 0 0 25 0 1 0 134409390 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0 /proc/16485/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 864.32 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 864.345 CPU time (s): 864.369 CPU user time (s): 855.963 CPU system time (s): 8.40572 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1472596 getrusage(RUSAGE_CHILDREN,...) data: user time used= 855.963 system time used= 8.40572 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 367791 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= 2465 runsolver used 1.26181 second user time and 2.67359 second system time The end
Begin job on node137 at 2010-06-30 22:52:20 IDJOB=2689681 IDBENCH=79312 IDSOLVER=1200 FILE ID=node137/2689681-1277931139 PBS_JOBID= 11197394 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689681-1277931139/watcher-2689681-1277931139 -o /tmp/evaluation-result-2689681-1277931139/solver-2689681-1277931139 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689681-1277931139.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ebe664bdb6d24f27290f0bb7f023aa5a RANDOM SEED=706430147 node137.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.876 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.75 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.876 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.876 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.74 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.876 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.876 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.75 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.876 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.876 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.876 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31238852 kB Buffers: 218916 kB Cached: 1263260 kB SwapCached: 0 kB Active: 633716 kB Inactive: 934864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31238852 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2748 kB Writeback: 0 kB AnonPages: 86404 kB Mapped: 15788 kB Slab: 81164 kB PageTables: 4768 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 230892 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 node137 at 2010-06-30 23:06:44