Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -21 | 180.91 | 180.988 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_4.opb |
MD5SUM | 85583812489e95a26f37a10baffcd23f |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -29 |
Best CPU time to get the best result obtained on this benchmark | 1800.26 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6260 |
Sum of products size (including duplicates) | 12520 |
Number of different products | 3130 |
Sum of products size | 6260 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702508-1278568702.opb. 0.00/0.00 c Instance file HOME/instance-2702508-1278568702.opb 0.00/0.00 c File size is 258221 bytes. 0.01/0.04 c Highest Coefficient sum: 50 0.01/0.04 c ============================[ Problem Statistics ]============================= 0.01/0.04 c | | 0.01/0.04 c | Parsing time: 0.04 s | 0.01/0.04 c | Number Variables: 3330 | 0.01/0.04 c | Number Clauses: 3130 | 0.01/0.04 c | Number Cardinality: 400 | 0.01/0.04 c | Number PB Constraints: 3130 | 0.01/0.05 c ============================[ Search Statistics ]============================== 0.01/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 200 6660 15349 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 200 0.01/0.05 o 200 0.01/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 200 6661 15549 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 199 0.01/0.05 o 199 0.01/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 200 6662 15749 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 198 0.01/0.05 o 198 0.01/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 0 | 200 6663 15949 | 5000 0 nan | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 197 0.01/0.05 o 197 0.01/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 1 | 200 6664 16149 | 5000 1 198 | 0.000 % | 0.01/0.05 c =============================================================================== 0.01/0.05 c New solution: 196 0.01/0.05 o 196 0.01/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.01/0.05 c =============================================================================== 0.01/0.05 c | 1 | 200 6665 16349 | 5000 1 198 | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 195 0.01/0.06 o 195 0.01/0.06 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 4 | 200 6666 16549 | 5000 4 197 | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 194 0.01/0.06 o 194 0.01/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 5 | 200 6667 16749 | 5000 5 196 | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 193 0.01/0.06 o 193 0.01/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 33 | 200 6668 16949 | 5000 33 196 | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 192 0.01/0.06 o 192 0.01/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 50 | 200 6669 17149 | 5000 50 196 | 0.000 % | 0.01/0.06 c =============================================================================== 0.01/0.06 c New solution: 191 0.01/0.06 o 191 0.01/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.01/0.06 c =============================================================================== 0.01/0.06 c | 58 | 200 6670 17349 | 5000 58 196 | 0.000 % | 0.01/0.07 c =============================================================================== 0.01/0.07 c New solution: 190 0.01/0.07 o 190 0.01/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.01/0.07 c =============================================================================== 0.01/0.07 c | 88 | 200 6671 17549 | 5000 88 196 | 0.000 % | 0.01/0.08 c | 189 | 200 6671 17549 | 5500 189 195 | 93.994 % | 0.01/0.09 c | 340 | 200 6671 17549 | 6050 340 194 | 93.994 % | 0.01/0.10 c =============================================================================== 0.01/0.10 c New solution: 189 0.01/0.10 o 189 0.01/0.10 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s 0.01/0.10 c =============================================================================== 0.01/0.10 c | 358 | 200 6672 17749 | 5000 358 194 | 93.994 % | 0.09/0.11 c | 458 | 200 6672 17749 | 5500 458 195 | 93.994 % | 0.09/0.13 c | 608 | 200 6672 17749 | 6050 608 195 | 93.994 % | 0.09/0.16 c | 834 | 200 6672 17749 | 6655 834 194 | 93.994 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 188 0.19/0.20 o 188 0.19/0.20 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 1071 | 200 6673 17949 | 5000 1071 197 | 93.994 % | 0.19/0.22 c | 1173 | 200 6673 17949 | 5500 1173 196 | 93.994 % | 0.19/0.26 c | 1323 | 200 6673 17949 | 6050 1323 196 | 93.994 % | 0.29/0.31 c | 1548 | 200 6673 17949 | 6655 1548 196 | 93.994 % | 0.39/0.40 c | 1885 | 200 6673 17949 | 7320 1885 195 | 93.994 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c New solution: 187 0.39/0.45 o 187 0.39/0.45 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s 0.39/0.45 c =============================================================================== 0.39/0.45 c | 2104 | 200 6674 18149 | 5000 2104 195 | 93.994 % | 0.39/0.46 c | 2207 | 200 6674 18149 | 5500 2207 195 | 93.994 % | 0.39/0.48 c | 2359 | 200 6674 18149 | 6050 2359 195 | 93.994 % | 0.49/0.52 c | 2587 | 200 6674 18149 | 6655 2587 194 | 93.994 % | 0.59/0.63 c | 2924 | 200 6674 18149 | 7320 2924 195 | 93.994 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 186 0.69/0.74 o 186 0.69/0.74 c Elapsed CPU time: 0.71989 s Remaining CPU time: 179.28 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 3275 | 200 6675 18349 | 5000 3275 194 | 93.994 % | 0.69/0.79 c | 3376 | 200 6675 18349 | 5500 3376 194 | 93.994 % | 0.79/0.84 c | 3528 | 200 6675 18349 | 6050 3528 194 | 93.994 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c New solution: 185 0.79/0.85 o 185 0.79/0.85 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s 0.79/0.85 c =============================================================================== 0.79/0.85 c | 3566 | 200 6676 18549 | 5000 3566 194 | 93.994 % | 0.79/0.89 c | 3666 | 200 6676 18549 | 5500 3666 195 | 93.994 % | 0.89/0.96 c | 3819 | 200 6676 18549 | 6050 3819 195 | 93.994 % | 1.00/1.03 c | 4046 | 200 6676 18549 | 6655 4046 195 | 93.994 % | 1.10/1.13 c | 4383 | 200 6676 18549 | 7320 4383 194 | 93.994 % | 1.39/1.49 c | 4890 | 200 6676 18549 | 8052 4890 194 | 93.994 % | 1.69/1.78 c | 5649 | 200 6676 18549 | 8857 5649 194 | 93.994 % | 2.49/2.57 c | 6788 | 200 6676 18549 | 9743 6788 194 | 93.994 % | 3.79/3.87 c | 8499 | 200 6676 18549 | 10717 8499 193 | 93.994 % | 5.99/6.08 c =============================================================================== 5.99/6.08 c New solution: 184 5.99/6.08 o 184 5.99/6.08 c Elapsed CPU time: 6.03708 s Remaining CPU time: 173.963 s 5.99/6.08 c =============================================================================== 5.99/6.08 c | 10249 | 200 6677 18749 | 5000 10249 192 | 93.994 % | 6.19/6.24 c | 10350 | 200 6677 18749 | 5500 5226 190 | 93.994 % | 6.29/6.35 c | 10500 | 200 6677 18749 | 6050 5376 190 | 93.994 % | 6.39/6.49 c | 10725 | 200 6677 18749 | 6655 5601 190 | 93.994 % | 6.69/6.76 c | 11064 | 200 6677 18749 | 7320 5940 190 | 93.994 % | 6.79/6.82 c =============================================================================== 6.79/6.82 c New solution: 183 6.79/6.82 o 183 6.79/6.82 c Elapsed CPU time: 6.77897 s Remaining CPU time: 173.221 s 6.79/6.82 c =============================================================================== 6.79/6.82 c | 11147 | 200 6678 18949 | 5000 6023 190 | 93.994 % | 6.89/6.93 c | 11248 | 200 6678 18949 | 5500 6124 190 | 93.994 % | 6.98/7.05 c | 11399 | 200 6678 18949 | 6050 6275 191 | 93.994 % | 7.18/7.23 c | 11624 | 200 6678 18949 | 6655 6500 191 | 93.994 % | 7.49/7.52 c | 11962 | 200 6678 18949 | 7320 6838 191 | 93.994 % | 8.09/8.13 c | 12469 | 200 6678 18949 | 8052 7345 191 | 93.994 % | 8.89/8.97 c | 13230 | 200 6678 18949 | 8857 8106 191 | 93.994 % | 9.80/9.80 c | 14369 | 200 6678 18949 | 9743 9245 190 | 93.994 % | 10.89/10.91 c | 16080 | 200 6678 18949 | 10717 10956 190 | 93.994 % | 14.89/14.93 c | 18644 | 200 6678 18949 | 11789 13520 190 | 93.994 % | 19.19/19.25 c | 22488 | 200 6678 18949 | 12968 9812 189 | 93.994 % | 23.18/23.24 c | 28254 | 200 6678 18949 | 14265 15578 188 | 93.994 % | 28.08/28.10 c =============================================================================== 28.08/28.10 c New solution: 182 28.08/28.10 o 182 28.08/28.10 c Elapsed CPU time: 27.9587 s Remaining CPU time: 152.041 s 28.08/28.10 c =============================================================================== 28.08/28.10 c | 34617 | 200 6679 19149 | 5000 13151 187 | 93.994 % | 28.18/28.29 c | 34718 | 200 6679 19149 | 5500 6677 186 | 93.994 % | 28.28/28.37 c | 34868 | 200 6679 19149 | 6050 6827 186 | 93.994 % | 28.49/28.57 c | 35094 | 200 6679 19149 | 6655 7053 186 | 93.994 % | 28.78/28.83 c | 35432 | 200 6679 19149 | 7320 7391 188 | 93.994 % | 28.98/29.01 c | 35939 | 200 6679 19149 | 8052 7898 188 | 93.994 % | 29.59/29.61 c | 36701 | 200 6679 19149 | 8857 8660 187 | 93.994 % | 30.38/30.49 c | 37842 | 200 6679 19149 | 9743 9801 187 | 93.994 % | 32.48/32.59 c | 39551 | 200 6679 19149 | 10717 11510 187 | 93.994 % | 37.39/37.44 c | 42113 | 200 6679 19149 | 11789 7057 190 | 93.994 % | 40.38/40.48 c | 45957 | 200 6679 19149 | 12968 10901 189 | 93.994 % | 47.07/47.17 c | 51725 | 200 6679 19149 | 14265 8534 193 | 93.994 % | 48.87/48.99 c =============================================================================== 48.87/48.99 c New solution: 181 48.87/48.99 o 181 48.87/48.99 c Elapsed CPU time: 48.7706 s Remaining CPU time: 131.229 s 48.87/48.99 c =============================================================================== 48.87/48.99 c | 54937 | 200 6680 19349 | 5000 11746 191 | 93.994 % | 49.18/49.29 c | 55038 | 200 6680 19349 | 5500 5974 196 | 93.994 % | 49.38/49.44 c | 55190 | 200 6680 19349 | 6050 6126 196 | 93.994 % | 49.38/49.46 c =============================================================================== 49.38/49.46 c New solution: 180 49.38/49.46 o 180 49.38/49.46 c Elapsed CPU time: 49.2375 s Remaining CPU time: 130.762 s 49.38/49.46 c =============================================================================== 49.38/49.46 c | 55223 | 200 6681 19549 | 5000 6159 196 | 93.994 % | 49.49/49.56 c | 55323 | 200 6681 19549 | 5500 6259 196 | 93.994 % | 49.68/49.73 c | 55475 | 200 6681 19549 | 6050 6411 196 | 93.994 % | 49.88/49.97 c | 55702 | 200 6681 19549 | 6655 6638 195 | 93.994 % | 50.27/50.32 c | 56041 | 200 6681 19549 | 7320 6977 196 | 93.994 % | 50.58/50.68 c | 56548 | 200 6681 19549 | 8052 7484 196 | 93.994 % | 51.28/51.33 c | 57307 | 200 6681 19549 | 8857 8243 196 | 93.994 % | 52.38/52.41 c | 58446 | 200 6681 19549 | 9743 9382 197 | 93.994 % | 54.07/54.17 c | 60154 | 200 6681 19549 | 10717 11090 205 | 93.994 % | 56.07/56.13 c | 62718 | 200 6681 19549 | 11789 13654 204 | 93.994 % | 56.17/56.24 c =============================================================================== 56.17/56.24 c New solution: 179 56.17/56.24 o 179 56.17/56.24 c Elapsed CPU time: 55.9765 s Remaining CPU time: 124.024 s 56.17/56.24 c =============================================================================== 56.17/56.24 c | 62867 | 200 6682 19749 | 5000 13803 204 | 93.994 % | 56.37/56.50 c | 62968 | 200 6682 19749 | 5500 7003 212 | 93.994 % | 56.47/56.54 c | 63120 | 200 6682 19749 | 6050 7155 212 | 93.994 % | 56.47/56.58 c | 63347 | 200 6682 19749 | 6655 7382 211 | 93.994 % | 56.67/56.73 c | 63684 | 200 6682 19749 | 7320 7719 210 | 93.994 % | 57.08/57.17 c | 64191 | 200 6682 19749 | 8052 8226 209 | 93.994 % | 57.77/57.85 c | 64950 | 200 6682 19749 | 8857 8985 208 | 93.994 % | 58.97/59.06 c | 66090 | 200 6682 19749 | 9743 10125 209 | 93.994 % | 60.87/60.97 c | 67800 | 200 6682 19749 | 10717 11835 206 | 93.994 % | 64.67/64.73 c | 70362 | 200 6682 19749 | 11789 7384 194 | 93.994 % | 66.47/66.56 c | 74208 | 200 6682 19749 | 12968 11230 192 | 93.994 % | 72.77/72.85 c | 79975 | 200 6682 19749 | 14265 8859 186 | 93.994 % | 86.36/86.48 c | 88625 | 200 6682 19749 | 15692 17509 185 | 93.994 % | 103.65/103.79 c | 101602 | 200 6682 19749 | 17261 11488 184 | 93.994 % | 118.55/118.61 c | 121063 | 200 6682 19749 | 18987 10380 186 | 93.994 % | 149.84/149.90 c | 150255 | 200 6682 19749 | 20886 16366 187 | 93.994 % | 180.61/180.79 c There are 3130 assigned variables. 0 in cost function. 180.81/180.97 c core #1 180.81/180.97 c #cores: 1 180.81/180.97 c Final Weight: 179 180.81/180.97 o 179 180.81/180.97 s OPTIMUM FOUND 180.81/180.97 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 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 180.81/180.97 c Total CPU time: 180.177 s
OK -21
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702508-1278568702/watcher-2702508-1278568702 -o /tmp/evaluation-result-2702508-1278568702/solver-2702508-1278568702 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702508-1278568702.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28067 /proc/meminfo: memFree=1871724/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=3260 CPUtime=0 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 396 0 0 0 0 0 0 0 20 0 1 0 25077230 3338240 314 1992294400 134512640 135751879 4289988752 18446744073709551615 134574138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 815 314 143 303 0 446 0 [startup+0.0183581 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28067 /proc/meminfo: memFree=1871724/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=3556 CPUtime=0.01 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 475 0 0 0 1 0 0 0 20 0 1 0 25077230 3641344 393 1992294400 134512640 135751879 4289988752 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 889 393 159 303 0 520 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3556 [startup+0.100373 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28067 /proc/meminfo: memFree=1871724/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=4356 CPUtime=0.09 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 793 0 0 0 9 0 0 0 20 0 1 0 25077230 4460544 647 1992294400 134512640 135751879 4289988752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 1089 647 147 303 0 784 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4356 [startup+0.300407 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28067 /proc/meminfo: memFree=1871724/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=5128 CPUtime=0.29 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 987 0 0 0 29 0 0 0 20 0 1 0 25077230 5251072 841 1992294400 134512640 135751879 4289988752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 1282 841 147 303 0 977 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5128 [startup+0.700476 s] /proc/loadavg: 0.99 0.98 0.99 3/106 28067 /proc/meminfo: memFree=1871724/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=6680 CPUtime=0.69 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 1363 0 0 0 67 2 0 0 20 0 1 0 25077230 6840320 1217 1992294400 134512640 135751879 4289988752 18446744073709551615 134616482 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 1670 1217 147 303 0 1365 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6680 [startup+1.50062 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28068 /proc/meminfo: memFree=1866880/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=8236 CPUtime=1.49 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 1770 0 0 0 147 2 0 0 22 0 1 0 25077230 8433664 1624 1992294400 134512640 135751879 4289988752 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 2059 1624 147 303 0 1754 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8236 [startup+3.10089 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28068 /proc/meminfo: memFree=1864648/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=10688 CPUtime=3.09 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 2366 0 0 0 306 3 0 0 25 0 1 0 25077230 10944512 2220 1992294400 134512640 135751879 4289988752 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 2672 2220 147 303 0 2367 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10688 [startup+6.30045 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28069 /proc/meminfo: memFree=1861176/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=13468 CPUtime=6.29 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 3050 0 0 0 625 4 0 0 25 0 1 0 25077230 13791232 2904 1992294400 134512640 135751879 4289988752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 3367 2904 148 303 0 3062 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13468 [startup+12.7016 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28069 /proc/meminfo: memFree=1854604/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=19588 CPUtime=12.69 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 4584 0 0 0 1262 7 0 0 25 0 1 0 25077230 20058112 4438 1992294400 134512640 135751879 4289988752 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 4897 4439 148 303 0 4592 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19588 [startup+25.5008 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28069 /proc/meminfo: memFree=1842948/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=31108 CPUtime=25.48 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 7429 0 0 0 2537 11 0 0 25 0 1 0 25077230 31854592 7283 1992294400 134512640 135751879 4289988752 18446744073709551615 134603085 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 7777 7283 148 303 0 7472 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31108 [startup+51.1002 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28070 /proc/meminfo: memFree=1819884/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=54772 CPUtime=51.07 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 13314 0 0 0 5086 21 0 0 25 0 1 0 25077230 56086528 13168 1992294400 134512640 135751879 4289988752 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 13693 13168 148 303 0 13388 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 54772 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28071 /proc/meminfo: memFree=1782560/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=91356 CPUtime=102.26 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 22431 0 0 0 10186 40 0 0 25 0 1 0 25077230 93548544 22285 1992294400 134512640 135751879 4289988752 18446744073709551615 134616776 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 22839 22285 148 303 0 22534 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 91356 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28082 /proc/meminfo: memFree=1734696/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=139492 CPUtime=162.22 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 34442 0 0 0 16156 66 0 0 25 0 1 0 25077230 142839808 34296 1992294400 134512640 135751879 4289988752 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 34873 34296 148 303 0 34568 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 139492 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28082 /proc/meminfo: memFree=1732464/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=141292 CPUtime=166.22 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 34892 0 0 0 16555 67 0 0 25 0 1 0 25077230 144683008 34746 1992294400 134512640 135751879 4289988752 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 35323 34746 148 303 0 35018 0 Current children cumulated CPU time (s) 166.22 Current children cumulated vsize (KiB) 141292 [startup+172.708 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28082 /proc/meminfo: memFree=1728248/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=145268 CPUtime=172.63 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 35892 0 0 0 17194 69 0 0 25 0 1 0 25077230 148754432 35746 1992294400 134512640 135751879 4289988752 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 36317 35746 148 303 0 36012 0 Current children cumulated CPU time (s) 172.63 Current children cumulated vsize (KiB) 145268 [startup+175.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28082 /proc/meminfo: memFree=1726884/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=146564 CPUtime=175.82 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 36221 0 0 0 17512 70 0 0 25 0 1 0 25077230 150081536 36075 1992294400 134512640 135751879 4289988752 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 36641 36075 148 303 0 36336 0 Current children cumulated CPU time (s) 175.82 Current children cumulated vsize (KiB) 146564 [startup+179.101 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28082 /proc/meminfo: memFree=1726140/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=147716 CPUtime=179.02 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 36503 0 0 0 17831 71 0 0 25 0 1 0 25077230 151261184 36357 1992294400 134512640 135751879 4289988752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 36929 36357 148 303 0 36624 0 Current children cumulated CPU time (s) 179.02 Current children cumulated vsize (KiB) 147716 [startup+179.901 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28082 /proc/meminfo: memFree=1725644/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=147972 CPUtime=179.81 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 36589 0 0 0 17910 71 0 0 25 0 1 0 25077230 151523328 36443 1992294400 134512640 135751879 4289988752 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 36993 36443 148 303 0 36688 0 Current children cumulated CPU time (s) 179.81 Current children cumulated vsize (KiB) 147972 [startup+180.702 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28082 /proc/meminfo: memFree=1725272/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=148228 CPUtime=180.61 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 36649 0 0 0 17990 71 0 0 25 0 1 0 25077230 151785472 36503 1992294400 134512640 135751879 4289988752 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 37057 36503 148 303 0 36752 0 Current children cumulated CPU time (s) 180.61 Current children cumulated vsize (KiB) 148228 [startup+180.902 s] /proc/loadavg: 0.99 0.98 0.99 2/107 28082 /proc/meminfo: memFree=1725272/2059040 swapFree=4139716/4192956 [pid=28067] ppid=28065 vsize=148940 CPUtime=180.81 /proc/28067/stat : 28067 (wbo1.4b) R 28065 28067 27376 0 -1 4202496 36805 0 0 0 18010 71 0 0 25 0 1 0 25077230 152514560 36659 1992294400 134512640 135751879 4289988752 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28067/statm: 37235 36659 149 303 0 36930 0 Current children cumulated CPU time (s) 180.81 Current children cumulated vsize (KiB) 148940 Child status: 0 Real time (s): 180.988 CPU time (s): 180.91 CPU user time (s): 180.177 CPU system time (s): 0.732888 CPU usage (%): 99.9566 Max. virtual memory (cumulated for all children) (KiB): 148940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.177 system time used= 0.732888 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36819 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 206 runsolver used 0.284956 second user time and 0.879866 second system time The end
Begin job on node048 at 2010-07-08 07:58:22 IDJOB=2702508 IDBENCH=48189 IDSOLVER=1161 FILE ID=node048/2702508-1278568702 PBS_JOBID= 11239564 Free space on /tmp= 62572 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702508-1278568702/watcher-2702508-1278568702 -o /tmp/evaluation-result-2702508-1278568702/solver-2702508-1278568702 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702508-1278568702.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 85583812489e95a26f37a10baffcd23f RANDOM SEED=978432783 node048.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.262 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1872748 kB Buffers: 11128 kB Cached: 90864 kB SwapCached: 6676 kB Active: 54184 kB Inactive: 61348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1872748 kB SwapTotal: 4192956 kB SwapFree: 4139716 kB Dirty: 2752 kB Writeback: 0 kB AnonPages: 11652 kB Mapped: 11972 kB Slab: 48788 kB PageTables: 4200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180236 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702508-1278568702.opb Free space on /tmp at the end= 62568 MiB End job on node048 at 2010-07-08 08:01:23