Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 685.075 | 685.055 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo |
MD5SUM | 908c51b3c7715396d94712713af78fd9 |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 435.305 |
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 | 1868 |
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 | 94981 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 94980 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 709 |
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-2690164-1277910872.wbo. 0.00/0.00 c Instance file HOME/instance-2690164-1277910872.wbo 0.00/0.00 c File size is 92616 bytes. 0.00/0.00 c Highest Coefficient sum: 709 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 | 101 | 231 2707 8338 | 5500 101 16 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 26 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 27 | 0.002 % | 0.00/0.02 c | 815 | 231 2707 8338 | 7320 815 25 | 0.002 % | 0.03/0.04 c | 1321 | 231 2707 8338 | 8052 1321 26 | 0.002 % | 0.03/0.06 c | 2080 | 231 2707 8338 | 8857 2080 26 | 0.002 % | 0.09/0.10 c | 3220 | 231 2707 8338 | 9743 3220 27 | 0.002 % | 0.09/0.16 c | 4928 | 231 2707 8338 | 10717 4928 28 | 0.002 % | 0.19/0.27 c | 7491 | 231 2707 8338 | 11789 7491 30 | 0.002 % | 0.39/0.45 c | 11335 | 231 2707 8338 | 12968 11335 31 | 0.002 % | 0.69/0.79 c | 17101 | 231 2707 8338 | 14265 10559 34 | 0.002 % | 1.29/1.33 c | 25751 | 231 2707 8338 | 15692 12017 34 | 0.002 % | 2.20/2.28 c | 38726 | 231 2707 8338 | 17261 9218 34 | 0.002 % | 3.58/3.69 c | 58188 | 231 2707 8338 | 18987 11315 35 | 0.002 % | 5.99/6.05 c | 87380 | 231 2707 8338 | 20886 11885 34 | 0.002 % | 9.59/9.61 c | 131170 | 231 2707 8338 | 22974 13704 34 | 0.002 % | 16.19/16.25 c | 196855 | 231 2707 8338 | 25272 21557 37 | 0.002 % | 25.79/25.86 c | 295381 | 231 2707 8338 | 27799 12718 35 | 0.002 % | 41.59/41.68 c | 443172 | 231 2707 8338 | 30579 18525 36 | 0.002 % | 64.19/64.24 c | 664856 | 231 2707 8338 | 33637 18843 36 | 0.002 % | 83.10/83.11 c =============================================================================== 88.29/88.36 c core #1 88.29/88.36 c ============================[ Search Statistics ]============================== 88.29/88.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 88.29/88.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 88.29/88.36 c =============================================================================== 88.29/88.36 c | 0 | 1186 4468 16640 | 5000 0 nan | 0.000 % | 88.49/88.54 c | 100 | 1186 4468 16640 | 5500 100 20 | 0.000 % | 88.49/88.54 c | 250 | 1186 4468 16640 | 6050 250 26 | 0.000 % | 88.49/88.55 c | 475 | 1186 4468 16640 | 6655 475 27 | 0.000 % | 88.49/88.56 c | 812 | 1186 4468 16640 | 7320 812 26 | 0.000 % | 88.49/88.59 c | 1319 | 1186 4468 16640 | 8052 1319 27 | 0.000 % | 88.59/88.63 c | 2079 | 1186 4468 16640 | 8857 2079 27 | 0.000 % | 88.59/88.67 c | 3219 | 1186 4468 16640 | 9743 3219 27 | 0.000 % | 88.69/88.76 c | 4927 | 1186 4468 16640 | 10717 4927 30 | 0.000 % | 88.89/88.92 c | 7489 | 1186 4468 16640 | 11789 7489 32 | 0.000 % | 89.10/89.16 c | 11333 | 1186 4468 16640 | 12968 11333 33 | 0.000 % | 89.49/89.58 c | 17099 | 1186 4468 16640 | 14265 10556 36 | 0.000 % | 90.20/90.27 c | 25750 | 1186 4468 16640 | 15692 12038 38 | 0.000 % | 91.40/91.47 c | 38724 | 1186 4468 16640 | 17261 9221 35 | 0.000 % | 93.20/93.21 c | 58186 | 1186 4468 16640 | 18987 11339 37 | 0.000 % | 95.99/96.07 c | 87379 | 1186 4468 16640 | 20886 11903 36 | 0.000 % | 100.59/100.69 c | 131170 | 1186 4468 16640 | 22974 13748 39 | 0.000 % | 107.09/107.12 c | 196855 | 1186 4468 16640 | 25272 21604 37 | 0.000 % | 117.69/117.74 c | 295382 | 1186 4468 16640 | 27799 15344 38 | 0.000 % | 133.99/134.04 c | 443174 | 1186 4468 16640 | 30579 21435 35 | 0.000 % | 157.79/157.89 c | 664858 | 1186 4468 16640 | 33637 24104 40 | 0.000 % | 200.49/200.51 c | 997383 | 1186 4468 16640 | 37001 25153 39 | 0.002 % | 202.80/202.81 c =============================================================================== 210.00/210.05 c core #2 210.00/210.05 c ============================[ Search Statistics ]============================== 210.00/210.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 210.00/210.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 210.00/210.05 c =============================================================================== 210.00/210.05 c | 0 | 2140 6219 24910 | 5000 0 nan | 0.000 % | 210.00/210.10 c | 102 | 2140 6219 24910 | 5500 102 22 | 0.000 % | 210.10/210.12 c | 253 | 2140 6219 24910 | 6050 253 26 | 0.000 % | 210.10/210.13 c | 481 | 2140 6219 24910 | 6655 481 25 | 0.000 % | 210.10/210.15 c | 818 | 2140 6219 24910 | 7320 818 25 | 0.000 % | 210.10/210.17 c | 1325 | 2140 6219 24910 | 8052 1325 25 | 0.000 % | 210.19/210.21 c | 2084 | 2140 6219 24910 | 8857 2084 28 | 0.000 % | 210.19/210.27 c | 3224 | 2140 6219 24910 | 9743 3224 28 | 0.000 % | 210.30/210.36 c | 4934 | 2140 6219 24910 | 10717 4934 29 | 0.000 % | 210.49/210.52 c | 7496 | 2140 6219 24910 | 11789 7496 31 | 0.000 % | 210.70/210.79 c | 11340 | 2140 6219 24910 | 12968 11340 32 | 0.000 % | 211.20/211.21 c | 17108 | 2140 6219 24910 | 14265 10589 33 | 0.000 % | 211.79/211.87 c | 25758 | 2140 6219 24910 | 15692 12071 33 | 0.000 % | 212.90/212.97 c | 38732 | 2140 6219 24910 | 17261 9245 36 | 0.000 % | 214.59/214.68 c | 58196 | 2140 6219 24910 | 18987 11365 35 | 0.000 % | 217.29/217.35 c | 87391 | 2140 6219 24910 | 20886 11944 34 | 0.000 % | 221.60/221.64 c | 131180 | 2140 6219 24910 | 22974 13776 35 | 0.000 % | 229.10/229.15 c | 196865 | 2140 6219 24910 | 25272 21673 38 | 0.000 % | 240.60/240.65 c | 295392 | 2140 6219 24910 | 27799 14555 41 | 0.000 % | 257.49/257.52 c | 443184 | 2140 6219 24910 | 30579 22217 36 | 0.000 % | 282.70/282.71 c | 664867 | 2140 6219 24910 | 33637 24727 35 | 0.000 % | 317.60/317.64 c =============================================================================== 324.80/324.86 c core #3 324.80/324.86 c ============================[ Search Statistics ]============================== 324.80/324.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 324.80/324.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 324.80/324.86 c =============================================================================== 324.80/324.86 c | 0 | 3101 7944 33113 | 5000 0 nan | 0.000 % | 324.90/324.93 c | 102 | 3101 7944 33113 | 5500 102 18 | 0.000 % | 324.90/324.94 c | 252 | 3101 7944 33113 | 6050 252 23 | 0.000 % | 324.90/324.96 c | 477 | 3101 7944 33113 | 6655 477 27 | 0.000 % | 324.90/324.98 c | 814 | 3101 7944 33113 | 7320 814 25 | 0.000 % | 325.00/325.01 c | 1322 | 3101 7944 33113 | 8052 1322 28 | 0.000 % | 325.00/325.06 c | 2081 | 3101 7944 33113 | 8857 2081 27 | 0.000 % | 325.10/325.12 c | 3221 | 3101 7944 33113 | 9743 3221 28 | 0.000 % | 325.20/325.22 c | 4930 | 3101 7944 33113 | 10717 4930 29 | 0.000 % | 325.30/325.39 c | 7492 | 3101 7944 33113 | 11789 7492 29 | 0.000 % | 325.60/325.67 c | 11337 | 3101 7944 33113 | 12968 11337 30 | 0.000 % | 326.10/326.12 c | 17103 | 3101 7944 33113 | 14265 10566 32 | 0.000 % | 326.90/326.92 c | 25754 | 3101 7944 33113 | 15692 12031 34 | 0.000 % | 328.20/328.21 c | 38728 | 3101 7944 33113 | 17261 9200 30 | 0.000 % | 330.20/330.24 c | 58190 | 3101 7944 33113 | 18987 11300 36 | 0.000 % | 333.00/333.02 c | 87384 | 3101 7944 33113 | 20886 11844 34 | 0.000 % | 337.80/337.83 c | 131173 | 3101 7944 33113 | 22974 13671 35 | 0.000 % | 345.31/345.40 c | 196858 | 3101 7944 33113 | 25272 21360 35 | 0.000 % | 356.00/356.02 c | 295384 | 3101 7944 33113 | 27799 25212 35 | 0.000 % | 374.50/374.59 c | 443173 | 3101 7944 33113 | 30579 17806 39 | 0.000 % | 401.01/401.05 c | 664856 | 3101 7944 33113 | 33637 18466 39 | 0.000 % | 441.10/441.11 c | 997382 | 3101 7944 33113 | 37001 33143 37 | 0.000 % | 488.10/488.12 c =============================================================================== 497.60/497.66 c core #4 497.60/497.66 c ============================[ Search Statistics ]============================== 497.60/497.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 497.60/497.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 497.60/497.66 c =============================================================================== 497.60/497.66 c | 0 | 4081 9658 41336 | 5000 0 nan | 0.000 % | 497.70/497.73 c | 100 | 4081 9658 41336 | 5500 100 22 | 0.000 % | 497.70/497.75 c | 250 | 4081 9658 41336 | 6050 250 24 | 0.000 % | 497.70/497.78 c | 477 | 4081 9658 41336 | 6655 477 23 | 0.000 % | 497.70/497.79 c | 814 | 4081 9658 41336 | 7320 814 23 | 0.000 % | 497.81/497.83 c | 1321 | 4081 9658 41336 | 8052 1321 24 | 0.000 % | 497.81/497.88 c | 2081 | 4081 9658 41336 | 8857 2081 26 | 0.000 % | 497.91/497.96 c | 3220 | 4081 9658 41336 | 9743 3220 27 | 0.000 % | 498.00/498.06 c | 4928 | 4081 9658 41336 | 10717 4928 27 | 0.000 % | 498.21/498.22 c | 7491 | 4081 9658 41336 | 11789 7491 28 | 0.000 % | 498.40/498.48 c | 11335 | 4081 9658 41336 | 12968 11335 28 | 0.000 % | 498.90/498.91 c | 17102 | 4081 9658 41336 | 14265 10557 30 | 0.000 % | 499.70/499.73 c | 25752 | 4081 9658 41336 | 15692 12020 31 | 0.000 % | 500.91/500.93 c | 38727 | 4081 9658 41336 | 17261 9210 34 | 0.000 % | 502.90/502.96 c | 58189 | 4081 9658 41336 | 18987 11333 36 | 0.000 % | 505.91/505.98 c | 87384 | 4081 9658 41336 | 20886 11893 34 | 0.000 % | 511.20/511.25 c | 131173 | 4081 9658 41336 | 22974 13730 39 | 0.000 % | 519.50/519.52 c | 196857 | 4081 9658 41336 | 25272 21709 40 | 0.000 % | 531.31/531.32 c | 295384 | 4081 9658 41336 | 27799 13148 44 | 0.000 % | 548.21/548.24 c | 443173 | 4081 9658 41336 | 30579 18595 36 | 0.000 % | 574.81/574.88 c | 664856 | 4081 9658 41336 | 33637 20852 37 | 0.000 % | 614.21/614.28 c | 997382 | 4081 9658 41336 | 37001 33053 36 | 0.000 % | 637.21/637.22 c =============================================================================== 645.91/645.91 c core #5 645.91/645.91 c ============================[ Search Statistics ]============================== 645.91/645.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 645.91/645.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 645.91/645.91 c =============================================================================== 645.91/645.91 c | 0 | 5073 11352 49482 | 5000 0 nan | 0.000 % | 646.01/646.01 c | 100 | 5073 11352 49482 | 5500 100 37 | 0.000 % | 646.01/646.03 c | 251 | 5073 11352 49482 | 6050 251 33 | 0.000 % | 646.01/646.04 c | 477 | 5073 11352 49482 | 6655 477 30 | 0.000 % | 646.01/646.07 c | 814 | 5073 11352 49482 | 7320 814 29 | 0.000 % | 646.11/646.10 c | 1320 | 5073 11352 49482 | 8052 1320 31 | 0.000 % | 646.11/646.16 c | 2079 | 5073 11352 49482 | 8857 2079 31 | 0.000 % | 646.21/646.23 c | 3218 | 5073 11352 49482 | 9743 3218 30 | 0.000 % | 646.31/646.33 c | 4926 | 5073 11352 49482 | 10717 4926 29 | 0.000 % | 646.51/646.51 c | 7490 | 5073 11352 49482 | 11789 7490 31 | 0.000 % | 646.82/646.83 c | 11335 | 5073 11352 49482 | 12968 11335 31 | 0.000 % | 647.31/647.31 c | 17101 | 5073 11352 49482 | 14265 10565 34 | 0.000 % | 648.01/648.06 c | 25750 | 5073 11352 49482 | 15692 12036 33 | 0.000 % | 649.31/649.34 c | 38725 | 5073 11352 49482 | 17261 9263 35 | 0.000 % | 651.50/651.58 c | 58186 | 5073 11352 49482 | 18987 11358 36 | 0.000 % | 655.52/655.57 c | 87378 | 5073 11352 49482 | 20886 11905 39 | 0.000 % | 661.11/661.11 c | 131167 | 5073 11352 49482 | 22974 13698 39 | 0.000 % | 669.51/669.58 c | 196851 | 5073 11352 49482 | 25272 21712 37 | 0.000 % | 682.31/682.31 c | 295377 | 5073 11352 49482 | 27799 13471 41 | 0.000 % | 685.01/685.01 c =============================================================================== 685.01/685.02 c #cores: 5 685.01/685.02 c Final Weight: 5 685.01/685.02 o 5 685.01/685.02 s OPTIMUM FOUND 685.01/685.02 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 685.01/685.02 c Total CPU time: 674.602 s
OK 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690164-1277910872/watcher-2690164-1277910872 -o /tmp/evaluation-result-2690164-1277910872/solver-2690164-1277910872 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690164-1277910872.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.04 2.03 3/200 14250 /proc/meminfo: memFree=31154880/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=2664 CPUtime=0 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 308 0 0 0 0 0 0 0 18 0 1 0 132383337 2727936 226 4089446400 134512640 135751879 4290055248 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14250/statm: 666 227 147 303 0 338 0 [startup+0.0339011 s] /proc/loadavg: 2.00 2.04 2.03 3/200 14250 /proc/meminfo: memFree=31154880/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=2980 CPUtime=0.03 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 414 0 0 0 3 0 0 0 18 0 1 0 132383337 3051520 309 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14250/statm: 745 310 143 303 0 440 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2980 [startup+0.100891 s] /proc/loadavg: 2.00 2.04 2.03 3/200 14250 /proc/meminfo: memFree=31154880/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=3508 CPUtime=0.09 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 558 0 0 0 9 0 0 0 18 0 1 0 132383337 3592192 453 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 877 453 143 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.300861 s] /proc/loadavg: 2.00 2.04 2.03 3/200 14250 /proc/meminfo: memFree=31154880/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=4960 CPUtime=0.29 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 910 0 0 0 28 1 0 0 18 0 1 0 132383337 5079040 805 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 1240 805 143 303 0 935 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4960 [startup+0.70079 s] /proc/loadavg: 2.00 2.04 2.03 3/200 14250 /proc/meminfo: memFree=31154880/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=7132 CPUtime=0.69 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 1449 0 0 0 67 2 0 0 18 0 1 0 132383337 7303168 1344 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 1783 1344 143 303 0 1478 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7132 [startup+1.50064 s] /proc/loadavg: 2.00 2.04 2.03 3/201 14251 /proc/meminfo: memFree=31149464/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=10828 CPUtime=1.49 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 2389 0 0 0 145 4 0 0 20 0 1 0 132383337 11087872 2284 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 2707 2284 143 303 0 2402 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10828 [startup+3.10035 s] /proc/loadavg: 2.00 2.04 2.03 3/201 14251 /proc/meminfo: memFree=31144380/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=17432 CPUtime=3.08 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 4030 0 0 0 301 7 0 0 25 0 1 0 132383337 17850368 3925 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 4358 3925 143 303 0 4053 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17432 [startup+6.30077 s] /proc/loadavg: 2.00 2.04 2.03 3/201 14251 /proc/meminfo: memFree=31131596/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=29420 CPUtime=6.29 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 7028 0 0 0 615 14 0 0 25 0 1 0 132383337 30126080 6923 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 7355 6923 143 303 0 7050 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29420 [startup+12.7006 s] /proc/loadavg: 2.00 2.04 2.03 3/201 14251 /proc/meminfo: memFree=31108616/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=50960 CPUtime=12.69 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 12401 0 0 0 1246 23 0 0 25 0 1 0 132383337 52183040 12296 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 12740 12296 143 303 0 12435 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50960 [startup+25.5003 s] /proc/loadavg: 2.00 2.04 2.03 3/201 14252 /proc/meminfo: memFree=31068712/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=89424 CPUtime=25.49 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 22006 0 0 0 2504 45 0 0 25 0 1 0 132383337 91570176 21901 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 22356 21901 143 303 0 22051 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89424 [startup+51.1006 s] /proc/loadavg: 2.00 2.03 2.03 3/201 14252 /proc/meminfo: memFree=30994728/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=162376 CPUtime=51.09 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 40230 0 0 0 5018 91 0 0 25 0 1 0 132383337 166273024 40125 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 40594 40125 143 303 0 40289 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 162376 [startup+102.306 s] /proc/loadavg: 2.00 2.03 2.02 3/201 14254 /proc/meminfo: memFree=30874780/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=275176 CPUtime=102.3 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 68485 0 0 0 10061 169 0 0 25 0 1 0 132383337 281780224 68347 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 68794 68347 146 303 0 68489 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 275176 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.01 3/201 14255 /proc/meminfo: memFree=30790916/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=356136 CPUtime=162.3 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 88712 0 0 0 15954 276 0 0 25 0 1 0 132383337 364683264 88574 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 89034 88574 146 303 0 88729 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 356136 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.01 3/201 14256 /proc/meminfo: memFree=30653604/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=486408 CPUtime=222.3 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 121286 0 0 0 21875 355 0 0 25 0 1 0 132383337 498081792 121148 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 121602 121148 146 303 0 121297 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 486408 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/201 14258 /proc/meminfo: memFree=30611136/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=527392 CPUtime=282.3 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 131533 0 0 0 27782 448 0 0 25 0 1 0 132383337 540049408 131395 4089446400 134512640 135751879 4290055248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 131848 131395 146 303 0 131543 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 527392 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/201 14260 /proc/meminfo: memFree=30483312/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=651320 CPUtime=342.3 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 162506 0 0 0 33690 540 0 0 25 0 1 0 132383337 666951680 162368 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 162830 162368 146 303 0 162525 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 651320 [startup+402.301 s] /proc/loadavg: 2.04 2.01 2.00 3/201 14262 /proc/meminfo: memFree=30438888/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=696964 CPUtime=402.3 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 173919 0 0 0 39608 622 0 0 25 0 1 0 132383337 713691136 173781 4089446400 134512640 135751879 4290055248 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 174241 173781 146 303 0 173936 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 696964 [startup+462.301 s] /proc/loadavg: 2.01 2.01 2.00 3/201 14263 /proc/meminfo: memFree=30294888/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=839568 CPUtime=462.3 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 209566 0 0 0 45518 712 0 0 25 0 1 0 132383337 859717632 209428 4089446400 134512640 135751879 4290055248 18446744073709551615 134616398 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 209892 209428 146 303 0 209587 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 839568 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/201 14264 /proc/meminfo: memFree=30197244/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=936360 CPUtime=522.3 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 233733 0 0 0 51444 786 0 0 25 0 1 0 132383337 958832640 233595 4089446400 134512640 135751879 4290055248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 234090 233595 146 303 0 233785 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 936360 [startup+582.301 s] /proc/loadavg: 2.03 2.01 2.00 3/201 14266 /proc/meminfo: memFree=30171044/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=962844 CPUtime=582.3 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 240375 0 0 0 57359 871 0 0 25 0 1 0 132383337 985952256 240237 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 240711 240237 146 303 0 240406 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 962844 [startup+642.301 s] /proc/loadavg: 2.01 2.01 2.00 3/201 14268 /proc/meminfo: memFree=30020476/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=1112368 CPUtime=642.31 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 277742 0 0 0 63255 976 0 0 25 0 1 0 132383337 1139064832 277604 4089446400 134512640 135751879 4290055248 18446744073709551615 134618404 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 278092 277604 146 303 0 277787 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1112368 Solver just ended. Dumping a history of the last processes samples [startup+665.507 s] /proc/loadavg: 2.01 2.00 2.00 3/201 14268 /proc/meminfo: memFree=30019300/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=1113548 CPUtime=665.52 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 278051 0 0 0 65539 1013 0 0 25 0 1 0 132383337 1140273152 277913 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 278387 277913 146 303 0 278082 0 Current children cumulated CPU time (s) 665.52 Current children cumulated vsize (KiB) 1113548 [startup+678.3 s] /proc/loadavg: 2.00 2.00 2.00 3/201 14269 /proc/meminfo: memFree=30018912/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=1113548 CPUtime=678.31 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 278095 0 0 0 66796 1035 0 0 25 0 1 0 132383337 1140273152 277957 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 278387 277957 146 303 0 278082 0 Current children cumulated CPU time (s) 678.31 Current children cumulated vsize (KiB) 1113548 [startup+681.501 s] /proc/loadavg: 2.00 2.00 2.00 3/201 14269 /proc/meminfo: memFree=30018912/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=1113548 CPUtime=681.51 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 278095 0 0 0 67112 1039 0 0 25 0 1 0 132383337 1140273152 277957 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 278387 277957 146 303 0 278082 0 Current children cumulated CPU time (s) 681.51 Current children cumulated vsize (KiB) 1113548 [startup+683.106 s] /proc/loadavg: 2.00 2.00 2.00 3/201 14269 /proc/meminfo: memFree=30018664/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=1113548 CPUtime=683.12 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 278095 0 0 0 67271 1041 0 0 25 0 1 0 132383337 1140273152 277957 4089446400 134512640 135751879 4290055248 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 278387 277957 146 303 0 278082 0 Current children cumulated CPU time (s) 683.12 Current children cumulated vsize (KiB) 1113548 [startup+683.9 s] /proc/loadavg: 2.00 2.00 2.00 3/201 14269 /proc/meminfo: memFree=30018664/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=1113548 CPUtime=683.91 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 278095 0 0 0 67349 1042 0 0 25 0 1 0 132383337 1140273152 277957 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 278387 277957 146 303 0 278082 0 Current children cumulated CPU time (s) 683.91 Current children cumulated vsize (KiB) 1113548 [startup+684.7 s] /proc/loadavg: 2.00 2.00 2.00 3/201 14269 /proc/meminfo: memFree=30018660/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=1113548 CPUtime=684.71 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 278095 0 0 0 67428 1043 0 0 25 0 1 0 132383337 1140273152 277957 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 278387 277957 146 303 0 278082 0 Current children cumulated CPU time (s) 684.71 Current children cumulated vsize (KiB) 1113548 [startup+684.9 s] /proc/loadavg: 2.00 2.00 2.00 3/201 14269 /proc/meminfo: memFree=30018660/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=1113548 CPUtime=684.91 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 278095 0 0 0 67448 1043 0 0 25 0 1 0 132383337 1140273152 277957 4089446400 134512640 135751879 4290055248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 278387 277957 146 303 0 278082 0 Current children cumulated CPU time (s) 684.91 Current children cumulated vsize (KiB) 1113548 [startup+685.001 s] /proc/loadavg: 2.00 2.00 2.00 3/201 14269 /proc/meminfo: memFree=30018660/32951124 swapFree=67111528/67111528 [pid=14250] ppid=14248 vsize=1113548 CPUtime=685.01 /proc/14250/stat : 14250 (wbo1.4a) R 14248 14250 12532 0 -1 4202496 278095 0 0 0 67458 1043 0 0 25 0 1 0 132383337 1140273152 277957 4089446400 134512640 135751879 4290055248 18446744073709551615 134616771 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14250/statm: 278387 277957 146 303 0 278082 0 Current children cumulated CPU time (s) 685.01 Current children cumulated vsize (KiB) 1113548 Child status: 0 Real time (s): 685.055 CPU time (s): 685.075 CPU user time (s): 674.602 CPU system time (s): 10.4724 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1113548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 674.602 system time used= 10.4724 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278095 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= 10 involuntary context switches= 7682 runsolver used 1.11783 second user time and 2.19966 second system time The end
Begin job on node134 at 2010-06-30 17:14:32 IDJOB=2690164 IDBENCH=78982 IDSOLVER=1200 FILE ID=node134/2690164-1277910872 PBS_JOBID= 11197195 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690164-1277910872/watcher-2690164-1277910872 -o /tmp/evaluation-result-2690164-1277910872/solver-2690164-1277910872 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690164-1277910872.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 908c51b3c7715396d94712713af78fd9 RANDOM SEED=293557076 node134.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.818 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.63 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.818 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.818 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.818 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 : 7397.66 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.818 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.67 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.818 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.84 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.818 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.818 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31155780 kB Buffers: 196844 kB Cached: 1090444 kB SwapCached: 0 kB Active: 958024 kB Inactive: 694304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31155780 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 364520 kB Mapped: 20508 kB Slab: 79296 kB PageTables: 6176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1652096 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 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 node134 at 2010-06-30 17:25:57