Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong Opt. | -22 | 182.245 | 182.31 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_4.opb |
MD5SUM | f7dd1b6b0a4946caf4c26a82905ed8fe |
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 | -27 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -34 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
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 | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12520 |
Sum of products size (including duplicates) | 25040 |
Number of different products | 6260 |
Sum of products size | 12520 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702694-1278574709.opb. 0.00/0.00 c Instance file HOME/instance-2702694-1278574709.opb 0.00/0.00 c File size is 535263 bytes. 0.00/0.09 c Highest Coefficient sum: 400 0.00/0.09 c ============================[ Problem Statistics ]============================= 0.00/0.09 c | | 0.00/0.09 c | Parsing time: 0.09 s | 0.00/0.09 c | Number Variables: 6660 | 0.00/0.09 c | Number Clauses: 6460 | 0.00/0.09 c | Number Cardinality: 402 | 0.00/0.09 c | Number PB Constraints: 6260 | 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 6660 13122 51280 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 200 0.09/0.19 o 200 0.09/0.19 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 6660 13123 51480 | 5000 0 nan | 0.000 % | 0.20/0.20 c =============================================================================== 0.20/0.20 c New solution: 199 0.20/0.20 o 199 0.20/0.20 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s 0.20/0.20 c =============================================================================== 0.20/0.20 c | 1 | 6660 13124 51680 | 5000 1 201 | 0.000 % | 0.20/0.21 c =============================================================================== 0.20/0.21 c New solution: 198 0.20/0.21 o 198 0.20/0.21 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s 0.20/0.21 c =============================================================================== 0.20/0.21 c | 1 | 6660 13125 51880 | 5000 1 201 | 0.000 % | 0.20/0.22 c =============================================================================== 0.20/0.22 c New solution: 197 0.20/0.22 o 197 0.20/0.22 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s 0.20/0.22 c =============================================================================== 0.20/0.22 c | 6 | 6660 13126 52080 | 5000 6 363 | 0.000 % | 0.20/0.22 c =============================================================================== 0.20/0.22 c New solution: 196 0.20/0.22 o 196 0.20/0.22 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s 0.20/0.22 c =============================================================================== 0.20/0.22 c | 10 | 6660 13127 52280 | 5000 10 258 | 0.000 % | 0.50/0.53 c | 186 | 6660 13127 52280 | 5500 186 343 | 0.000 % | 0.70/0.73 c | 336 | 6660 13127 52280 | 6050 336 326 | 0.000 % | 0.89/0.93 c | 561 | 6660 13127 52280 | 6655 561 312 | 0.000 % | 1.19/1.23 c | 903 | 6660 13127 52280 | 7320 903 312 | 0.000 % | 1.29/1.37 c | 1409 | 6660 13127 52280 | 8052 1409 339 | 0.000 % | 1.49/1.58 c | 2169 | 6660 13127 52280 | 8857 2169 357 | 0.000 % | 1.89/1.95 c | 3309 | 6660 13127 52280 | 9743 3309 369 | 0.000 % | 1.89/1.99 c =============================================================================== 1.89/1.99 c New solution: 195 1.89/1.99 o 195 1.89/1.99 c Elapsed CPU time: 1.9647 s Remaining CPU time: 178.035 s 1.89/1.99 c =============================================================================== 1.89/1.99 c | 3349 | 6660 13128 52480 | 5000 3349 368 | 0.000 % | 1.99/2.05 c | 3449 | 6660 13128 52480 | 5500 3449 369 | 0.000 % | 2.09/2.10 c | 3599 | 6660 13128 52480 | 6050 3599 370 | 0.000 % | 2.09/2.17 c | 3826 | 6660 13128 52480 | 6655 3826 371 | 0.000 % | 2.20/2.25 c =============================================================================== 2.20/2.25 c New solution: 194 2.20/2.25 o 194 2.20/2.25 c Elapsed CPU time: 2.22366 s Remaining CPU time: 177.776 s 2.20/2.25 c =============================================================================== 2.20/2.25 c | 4018 | 6660 13129 52680 | 5000 4018 370 | 0.000 % | 2.29/2.31 c | 4119 | 6660 13129 52680 | 5500 4119 371 | 0.000 % | 2.39/2.40 c | 4270 | 6660 13129 52680 | 6050 4270 371 | 0.000 % | 2.39/2.49 c | 4495 | 6660 13129 52680 | 6655 4495 371 | 0.000 % | 2.59/2.61 c | 4833 | 6660 13129 52680 | 7320 4833 371 | 0.000 % | 2.79/2.82 c | 5340 | 6660 13129 52680 | 8052 5340 369 | 0.000 % | 3.09/3.16 c | 6100 | 6660 13129 52680 | 8857 6100 370 | 0.000 % | 3.59/3.68 c | 7240 | 6660 13129 52680 | 9743 7240 367 | 0.000 % | 4.49/4.59 c | 8949 | 6660 13129 52680 | 10717 8949 363 | 0.000 % | 6.09/6.19 c | 11515 | 6660 13129 52680 | 11789 11515 362 | 0.000 % | 6.50/6.60 c =============================================================================== 6.50/6.60 c New solution: 193 6.50/6.60 o 193 6.50/6.60 c Elapsed CPU time: 6.52601 s Remaining CPU time: 173.474 s 6.50/6.60 c =============================================================================== 6.50/6.60 c | 12114 | 6660 13130 52880 | 5000 12114 361 | 0.000 % | 6.69/6.71 c | 12214 | 6660 13130 52880 | 5500 3129 353 | 0.000 % | 6.69/6.78 c | 12364 | 6660 13130 52880 | 6050 3279 354 | 0.000 % | 6.79/6.84 c =============================================================================== 6.79/6.84 c New solution: 192 6.79/6.84 o 192 6.79/6.84 c Elapsed CPU time: 6.76597 s Remaining CPU time: 173.234 s 6.79/6.84 c =============================================================================== 6.79/6.84 c | 12501 | 6660 13131 53080 | 5000 3416 354 | 0.000 % | 6.79/6.88 c | 12601 | 6660 13131 53080 | 5500 3516 355 | 0.000 % | 6.89/6.95 c | 12751 | 6660 13131 53080 | 6050 3666 356 | 0.000 % | 6.99/7.03 c | 12977 | 6660 13131 53080 | 6655 3892 358 | 0.000 % | 7.19/7.20 c | 13314 | 6660 13131 53080 | 7320 4229 361 | 0.000 % | 7.19/7.22 c =============================================================================== 7.19/7.22 c New solution: 191 7.19/7.22 o 191 7.19/7.22 c Elapsed CPU time: 7.13192 s Remaining CPU time: 172.868 s 7.19/7.22 c =============================================================================== 7.19/7.22 c | 13336 | 6660 13132 53280 | 5000 4251 359 | 0.000 % | 7.29/7.31 c | 13441 | 6660 13132 53280 | 5500 4356 360 | 0.000 % | 7.29/7.40 c | 13591 | 6660 13132 53280 | 6050 4506 361 | 0.000 % | 7.39/7.46 c | 13816 | 6660 13132 53280 | 6655 4731 362 | 0.000 % | 7.49/7.56 c | 14153 | 6660 13132 53280 | 7320 5068 364 | 0.000 % | 7.49/7.59 c =============================================================================== 7.49/7.59 c New solution: 190 7.49/7.59 o 190 7.49/7.59 c Elapsed CPU time: 7.49886 s Remaining CPU time: 172.501 s 7.49/7.59 c =============================================================================== 7.49/7.59 c | 14194 | 6660 13133 53480 | 5000 5109 362 | 0.000 % | 7.79/7.80 c | 14294 | 6660 13133 53480 | 5500 2655 365 | 0.000 % | 8.39/8.46 c | 14444 | 6660 13133 53480 | 6050 2805 361 | 0.000 % | 8.59/8.69 c | 14674 | 6660 13133 53480 | 6655 3035 359 | 0.000 % | 8.99/9.00 c | 15037 | 6660 13133 53480 | 7320 3398 361 | 0.000 % | 9.59/9.66 c | 15550 | 6660 13133 53480 | 8052 3911 362 | 0.000 % | 9.80/9.85 c | 16309 | 6660 13133 53480 | 8857 4670 366 | 0.000 % | 9.80/9.89 c =============================================================================== 9.80/9.89 c New solution: 189 9.80/9.89 o 189 9.80/9.89 c Elapsed CPU time: 9.78451 s Remaining CPU time: 170.215 s 9.80/9.89 c =============================================================================== 9.80/9.89 c | 16335 | 6660 13134 53680 | 5000 4696 364 | 0.000 % | 9.89/9.92 c | 16435 | 6660 13134 53680 | 5500 4796 364 | 0.000 % | 9.89/9.96 c | 16585 | 6660 13134 53680 | 6050 4946 364 | 0.000 % | 9.98/10.01 c | 16811 | 6660 13134 53680 | 6655 5172 364 | 0.000 % | 9.98/10.09 c | 17148 | 6660 13134 53680 | 7320 5509 365 | 0.000 % | 10.19/10.23 c | 17654 | 6660 13134 53680 | 8052 6015 367 | 0.000 % | 10.19/10.27 c =============================================================================== 10.19/10.27 c New solution: 188 10.19/10.27 o 188 10.19/10.27 c Elapsed CPU time: 10.1525 s Remaining CPU time: 169.848 s 10.19/10.27 c =============================================================================== 10.19/10.27 c | 17719 | 6660 13135 53880 | 5000 6080 364 | 0.000 % | 10.28/10.35 c | 17824 | 6660 13135 53880 | 5500 3145 367 | 0.000 % | 10.28/10.39 c | 17974 | 6660 13135 53880 | 6050 3295 367 | 0.000 % | 10.38/10.44 c | 18200 | 6660 13135 53880 | 6655 3521 368 | 0.000 % | 10.48/10.51 c | 18538 | 6660 13135 53880 | 7320 3859 369 | 0.000 % | 10.59/10.66 c | 19044 | 6660 13135 53880 | 8052 4365 370 | 0.000 % | 10.79/10.87 c | 19803 | 6660 13135 53880 | 8857 5124 372 | 0.000 % | 10.89/10.92 c =============================================================================== 10.89/10.92 c New solution: 187 10.89/10.92 o 187 10.89/10.92 c Elapsed CPU time: 10.7934 s Remaining CPU time: 169.207 s 10.89/10.92 c =============================================================================== 10.89/10.92 c | 19854 | 6660 13136 54080 | 5000 5175 369 | 0.000 % | 10.89/11.00 c | 19959 | 6660 13136 54080 | 5500 2693 371 | 0.000 % | 10.99/11.04 c | 20110 | 6660 13136 54080 | 6050 2844 371 | 0.000 % | 10.99/11.09 c | 20335 | 6660 13136 54080 | 6655 3069 372 | 0.000 % | 11.09/11.17 c | 20672 | 6660 13136 54080 | 7320 3406 372 | 0.000 % | 11.19/11.28 c | 21179 | 6660 13136 54080 | 8052 3913 373 | 0.000 % | 11.39/11.45 c | 21938 | 6660 13136 54080 | 8857 4672 374 | 0.000 % | 11.69/11.76 c | 23078 | 6660 13136 54080 | 9743 5812 375 | 0.000 % | 12.10/12.16 c | 24786 | 6660 13136 54080 | 10717 7520 372 | 0.000 % | 12.89/12.99 c | 27348 | 6660 13136 54080 | 11789 10082 373 | 0.000 % | 14.49/14.56 c | 31192 | 6660 13136 54080 | 12968 13926 374 | 0.000 % | 16.98/17.02 c | 36958 | 6660 13136 54080 | 14265 12729 378 | 0.000 % | 17.09/17.12 c =============================================================================== 17.09/17.12 c New solution: 186 17.09/17.12 o 186 17.09/17.12 c Elapsed CPU time: 16.9054 s Remaining CPU time: 163.095 s 17.09/17.12 c =============================================================================== 17.09/17.12 c | 37125 | 6660 13137 54280 | 5000 12896 375 | 0.000 % | 17.19/17.28 c | 37230 | 6660 13137 54280 | 5500 3329 366 | 0.000 % | 17.29/17.32 c | 37381 | 6660 13137 54280 | 6050 3480 367 | 0.000 % | 17.29/17.37 c | 37606 | 6660 13137 54280 | 6655 3705 367 | 0.000 % | 17.38/17.47 c | 37944 | 6660 13137 54280 | 7320 4043 367 | 0.000 % | 17.60/17.66 c | 38450 | 6660 13137 54280 | 8052 4549 369 | 0.000 % | 17.68/17.71 c =============================================================================== 17.68/17.71 c New solution: 185 17.68/17.71 o 185 17.68/17.71 c Elapsed CPU time: 17.4823 s Remaining CPU time: 162.518 s 17.68/17.71 c =============================================================================== 17.68/17.71 c | 38515 | 6660 13138 54480 | 5000 4614 365 | 0.000 % | 17.68/17.75 c | 38615 | 6660 13138 54480 | 5500 4714 366 | 0.000 % | 17.68/17.79 c | 38765 | 6660 13138 54480 | 6050 4864 366 | 0.000 % | 17.79/17.85 c | 38991 | 6660 13138 54480 | 6655 5090 366 | 0.000 % | 17.89/17.94 c | 39329 | 6660 13138 54480 | 7320 5428 367 | 0.000 % | 17.99/18.09 c | 39835 | 6660 13138 54480 | 8052 5934 367 | 0.000 % | 18.18/18.30 c | 40594 | 6660 13138 54480 | 8857 6693 368 | 0.000 % | 18.49/18.59 c | 41733 | 6660 13138 54480 | 9743 7832 370 | 0.000 % | 19.09/19.12 c | 43441 | 6660 13138 54480 | 10717 9540 371 | 0.000 % | 19.98/20.10 c | 46004 | 6660 13138 54480 | 11789 12103 372 | 0.000 % | 20.19/20.23 c =============================================================================== 20.19/20.23 c New solution: 184 20.19/20.23 o 184 20.19/20.23 c Elapsed CPU time: 19.959 s Remaining CPU time: 160.041 s 20.19/20.23 c =============================================================================== 20.19/20.23 c | 46278 | 6660 13139 54680 | 5000 6326 365 | 0.000 % | 20.69/20.74 c | 46430 | 6660 13139 54680 | 5500 3315 352 | 0.000 % | 20.79/20.85 c | 46583 | 6660 13139 54680 | 6050 3468 353 | 0.000 % | 20.89/20.91 c | 46808 | 6660 13139 54680 | 6655 3693 354 | 0.000 % | 20.99/21.07 c | 47146 | 6660 13139 54680 | 7320 4031 327 | 0.000 % | 22.38/22.49 c | 47677 | 6660 13139 54680 | 8052 4562 329 | 0.000 % | 22.58/22.67 c | 48436 | 6660 13139 54680 | 8857 5321 336 | 0.000 % | 22.89/22.97 c | 49575 | 6660 13139 54680 | 9743 6460 342 | 0.000 % | 23.38/23.43 c | 51283 | 6660 13139 54680 | 10717 8168 350 | 0.000 % | 24.19/24.24 c | 53845 | 6660 13139 54680 | 11789 10730 356 | 0.000 % | 25.48/25.58 c | 57690 | 6660 13139 54680 | 12968 14575 361 | 0.000 % | 27.88/27.99 c | 63456 | 6660 13139 54680 | 14265 13054 375 | 0.000 % | 32.38/32.45 c | 72107 | 6660 13139 54680 | 15692 11273 376 | 0.000 % | 32.48/32.58 c =============================================================================== 32.48/32.58 c New solution: 183 32.48/32.58 o 183 32.48/32.58 c Elapsed CPU time: 32.1681 s Remaining CPU time: 147.832 s 32.48/32.58 c =============================================================================== 32.48/32.58 c | 72309 | 6660 13140 54880 | 5000 11475 370 | 0.000 % | 32.58/32.65 c | 72409 | 6660 13140 54880 | 5500 2969 353 | 0.000 % | 32.58/32.69 c | 72559 | 6660 13140 54880 | 6050 3119 354 | 0.000 % | 32.68/32.74 c | 72784 | 6660 13140 54880 | 6655 3344 355 | 0.000 % | 32.78/32.82 c | 73121 | 6660 13140 54880 | 7320 3681 356 | 0.000 % | 32.89/32.93 c | 73627 | 6660 13140 54880 | 8052 4187 358 | 0.000 % | 33.08/33.12 c | 74386 | 6660 13140 54880 | 8857 4946 360 | 0.000 % | 33.18/33.25 c =============================================================================== 33.18/33.25 c New solution: 182 33.18/33.25 o 182 33.18/33.25 c Elapsed CPU time: 32.821 s Remaining CPU time: 147.179 s 33.18/33.25 c =============================================================================== 33.18/33.25 c | 74744 | 6660 13141 55080 | 5000 5304 341 | 0.000 % | 33.28/33.34 c | 74849 | 6660 13141 55080 | 5500 2757 325 | 0.000 % | 33.28/33.38 c | 74999 | 6660 13141 55080 | 6050 2907 328 | 0.000 % | 33.38/33.42 c | 75224 | 6660 13141 55080 | 6655 3132 331 | 0.000 % | 33.38/33.49 c | 75561 | 6660 13141 55080 | 7320 3469 335 | 0.000 % | 33.58/33.60 c | 76067 | 6660 13141 55080 | 8052 3975 339 | 0.000 % | 33.68/33.78 c | 76826 | 6660 13141 55080 | 8857 4734 345 | 0.000 % | 33.99/34.09 c | 77965 | 6660 13141 55080 | 9743 5873 350 | 0.000 % | 34.48/34.57 c | 79673 | 6660 13141 55080 | 10717 7581 354 | 0.000 % | 35.08/35.19 c =============================================================================== 35.08/35.19 c New solution: 181 35.08/35.19 o 181 35.08/35.19 c Elapsed CPU time: 34.7237 s Remaining CPU time: 145.276 s 35.08/35.19 c =============================================================================== 35.08/35.19 c | 81585 | 6660 13142 55280 | 5000 9493 297 | 0.000 % | 35.18/35.24 c | 81685 | 6660 13142 55280 | 5500 4847 248 | 0.000 % | 35.18/35.27 c | 81835 | 6660 13142 55280 | 6050 4997 252 | 0.000 % | 35.28/35.32 c | 82060 | 6660 13142 55280 | 6655 5222 256 | 0.000 % | 35.28/35.38 c | 82397 | 6660 13142 55280 | 7320 5559 262 | 0.000 % | 35.38/35.50 c | 82903 | 6660 13142 55280 | 8052 6065 271 | 0.000 % | 35.58/35.65 c | 83663 | 6660 13142 55280 | 8857 6825 281 | 0.000 % | 35.88/35.94 c | 84802 | 6660 13142 55280 | 9743 7964 294 | 0.000 % | 36.29/36.37 c | 86510 | 6660 13142 55280 | 10717 9672 304 | 0.000 % | 37.07/37.18 c | 89072 | 6660 13142 55280 | 11789 12234 318 | 0.000 % | 38.18/38.23 c | 92917 | 6660 13142 55280 | 12968 9962 362 | 0.000 % | 40.07/40.19 c | 98683 | 6660 13142 55280 | 14265 15728 366 | 0.000 % | 42.98/43.06 c | 107332 | 6660 13142 55280 | 15692 16513 360 | 0.000 % | 47.28/47.37 c | 120306 | 6660 13142 55280 | 17261 21231 352 | 0.000 % | 56.58/56.62 c | 139768 | 6660 13142 55280 | 18987 17020 339 | 0.000 % | 70.46/70.51 c | 168961 | 6660 13142 55280 | 20886 16836 358 | 0.000 % | 99.75/99.81 c | 212750 | 6660 13142 55280 | 22974 10993 369 | 0.000 % | 145.05/145.19 c | 278434 | 6660 13142 55280 | 25272 21105 368 | 0.000 % | 145.24/145.35 c =============================================================================== 145.24/145.35 c New solution: 180 145.24/145.35 o 180 145.24/145.35 c Elapsed CPU time: 143.887 s Remaining CPU time: 36.1129 s 145.24/145.35 c =============================================================================== 145.24/145.35 c | 278690 | 6660 13143 55480 | 5000 21361 364 | 0.000 % | 145.54/145.68 c | 278795 | 6660 13143 55480 | 5500 2776 339 | 0.000 % | 145.64/145.72 c | 278945 | 6660 13143 55480 | 6050 2926 341 | 0.000 % | 145.64/145.77 c | 279171 | 6660 13143 55480 | 6655 3152 343 | 0.000 % | 145.75/145.85 c | 279508 | 6660 13143 55480 | 7320 3489 344 | 0.000 % | 145.84/145.95 c | 280014 | 6660 13143 55480 | 8052 3995 347 | 0.000 % | 146.05/146.12 c | 280773 | 6660 13143 55480 | 8857 4754 348 | 0.000 % | 146.25/146.35 c | 281913 | 6660 13143 55480 | 9743 5894 348 | 0.000 % | 146.64/146.76 c | 283622 | 6660 13143 55480 | 10717 7603 353 | 0.000 % | 147.94/148.01 c | 286184 | 6660 13143 55480 | 11789 10165 301 | 0.000 % | 149.74/149.84 c | 290028 | 6660 13143 55480 | 12968 14009 297 | 0.000 % | 151.54/151.66 c | 295794 | 6660 13143 55480 | 14265 12771 298 | 0.000 % | 151.65/151.74 c =============================================================================== 151.65/151.74 c New solution: 179 151.65/151.74 o 179 151.65/151.74 c Elapsed CPU time: 150.189 s Remaining CPU time: 29.8108 s 151.65/151.74 c =============================================================================== 151.65/151.74 c | 295958 | 6660 13144 55680 | 5000 12935 294 | 0.000 % | 151.75/151.82 c | 296059 | 6660 13144 55680 | 5500 3335 341 | 0.000 % | 151.75/151.85 c | 296209 | 6660 13144 55680 | 6050 3485 342 | 0.000 % | 151.84/151.91 c | 296434 | 6660 13144 55680 | 6655 3710 343 | 0.000 % | 151.84/151.99 c | 296771 | 6660 13144 55680 | 7320 4047 345 | 0.000 % | 152.04/152.11 c | 297277 | 6660 13144 55680 | 8052 4553 348 | 0.000 % | 152.23/152.30 c | 298036 | 6660 13144 55680 | 8857 5312 350 | 0.000 % | 152.54/152.64 c | 299175 | 6660 13144 55680 | 9743 6451 352 | 0.000 % | 152.93/153.05 c | 300884 | 6660 13144 55680 | 10717 8160 355 | 0.000 % | 153.84/153.95 c | 303446 | 6660 13144 55680 | 11789 10722 354 | 0.000 % | 155.05/155.14 c | 307290 | 6660 13144 55680 | 12968 14566 358 | 0.000 % | 157.94/158.06 c | 313056 | 6660 13144 55680 | 14265 13049 284 | 0.000 % | 161.03/161.17 c | 321705 | 6660 13144 55680 | 15692 11306 324 | 0.000 % | 166.33/166.43 c | 334679 | 6660 13144 55680 | 17261 12764 366 | 0.000 % | 176.53/176.69 c =============================================================================== 176.53/176.69 c New solution: 178 176.53/176.69 o 178 176.53/176.69 c Elapsed CPU time: 174.893 s Remaining CPU time: 5.10659 s 176.53/176.69 c =============================================================================== 176.53/176.69 c | 349284 | 6660 13145 55880 | 5000 14523 216 | 0.000 % | 176.73/176.84 c | 349384 | 6660 13145 55880 | 5500 3731 202 | 0.000 % | 176.73/176.87 c | 349534 | 6660 13145 55880 | 6050 3881 208 | 0.000 % | 176.83/176.94 c | 349759 | 6660 13145 55880 | 6655 4106 216 | 0.000 % | 176.94/177.02 c | 350096 | 6660 13145 55880 | 7320 4443 227 | 0.000 % | 177.03/177.16 c | 350603 | 6660 13145 55880 | 8052 4950 241 | 0.000 % | 177.23/177.35 c | 351362 | 6660 13145 55880 | 8857 5709 257 | 0.000 % | 177.83/177.97 c | 352505 | 6660 13145 55880 | 9743 6852 242 | 0.000 % | 178.63/178.75 c | 354213 | 6660 13145 55880 | 10717 8560 246 | 0.000 % | 180.23/180.34 c | 356775 | 6660 13145 55880 | 11789 11122 226 | 0.000 % | 181.73/181.86 c There are 0 assigned variables. 0 in cost function. 182.12/182.25 c core #1 182.12/182.25 c #cores: 1 182.12/182.25 c Final Weight: 178 182.12/182.25 o 178 182.12/182.25 s OPTIMUM FOUND 182.12/182.25 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 -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 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -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 182.12/182.25 c Total CPU time: 180.392 s
OK -22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702694-1278574709/watcher-2702694-1278574709 -o /tmp/evaluation-result-2702694-1278574709/solver-2702694-1278574709 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702694-1278574709.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.92 0.95 0.87 3/106 28606 /proc/meminfo: memFree=1854188/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=3732 CPUtime=0 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 422 0 0 0 0 0 0 0 18 0 1 0 25677998 3821568 340 1992294400 134512640 135751879 4288584752 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 933 340 142 303 0 497 0 [startup+0.0952491 s] /proc/loadavg: 0.92 0.95 0.87 3/106 28606 /proc/meminfo: memFree=1854188/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=6056 CPUtime=0.09 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 1190 0 0 0 9 0 0 0 21 0 1 0 25677998 6201344 978 1992294400 134512640 135751879 4288584752 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 1514 980 144 303 0 1209 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6056 [startup+0.10125 s] /proc/loadavg: 0.92 0.95 0.87 3/106 28606 /proc/meminfo: memFree=1854188/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=6188 CPUtime=0.09 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 1300 0 0 0 9 0 0 0 21 0 1 0 25677998 6336512 1087 1992294400 134512640 135751879 4288584752 18446744073709551615 135204210 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 1547 1087 144 303 0 1242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6188 [startup+0.301284 s] /proc/loadavg: 0.92 0.95 0.87 3/106 28606 /proc/meminfo: memFree=1854188/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=7156 CPUtime=0.3 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 1520 0 0 0 29 1 0 0 21 0 1 0 25677998 7327744 1307 1992294400 134512640 135751879 4288584752 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 1789 1307 146 303 0 1484 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 7156 [startup+0.701354 s] /proc/loadavg: 0.92 0.95 0.87 3/106 28606 /proc/meminfo: memFree=1854188/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=7156 CPUtime=0.7 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 1521 0 0 0 69 1 0 0 22 0 1 0 25677998 7327744 1308 1992294400 134512640 135751879 4288584752 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 1789 1308 147 303 0 1484 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 7156 [startup+1.50049 s] /proc/loadavg: 0.92 0.95 0.87 2/107 28607 /proc/meminfo: memFree=1849964/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=8464 CPUtime=1.49 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 1842 0 0 0 147 2 0 0 25 0 1 0 25677998 8667136 1629 1992294400 134512640 135751879 4288584752 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 2116 1629 147 303 0 1811 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8464 [startup+3.10077 s] /proc/loadavg: 0.92 0.95 0.87 2/107 28607 /proc/meminfo: memFree=1845376/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=15264 CPUtime=3.09 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 3546 0 0 0 306 3 0 0 25 0 1 0 25677998 15630336 3333 1992294400 134512640 135751879 4288584752 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 3816 3333 147 303 0 3511 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15264 [startup+6.30132 s] /proc/loadavg: 0.93 0.95 0.87 2/107 28607 /proc/meminfo: memFree=1835084/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=23840 CPUtime=6.29 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 5696 0 0 0 623 6 0 0 25 0 1 0 25677998 24412160 5483 1992294400 134512640 135751879 4288584752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 5960 5483 147 303 0 5655 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23840 [startup+12.7004 s] /proc/loadavg: 0.93 0.95 0.87 2/107 28607 /proc/meminfo: memFree=1812888/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=47364 CPUtime=12.68 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 11574 0 0 0 1253 15 0 0 25 0 1 0 25677998 48500736 11361 1992294400 134512640 135751879 4288584752 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 11841 11361 148 303 0 11536 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 47364 [startup+25.5016 s] /proc/loadavg: 0.95 0.96 0.87 2/107 28607 /proc/meminfo: memFree=1761676/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=95976 CPUtime=25.48 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 23733 0 0 0 2516 32 0 0 25 0 1 0 25677998 98279424 23520 1992294400 134512640 135751879 4288584752 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 23994 23520 148 303 0 23689 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 95976 [startup+51.1011 s] /proc/loadavg: 0.96 0.96 0.88 2/107 28608 /proc/meminfo: memFree=1653796/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=204368 CPUtime=51.07 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 50829 0 0 0 5042 65 0 0 25 0 1 0 25677998 209272832 50616 1992294400 134512640 135751879 4288584752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 51092 50616 148 303 0 50787 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 204368 [startup+102.309 s] /proc/loadavg: 0.98 0.96 0.88 2/107 28609 /proc/meminfo: memFree=1514916/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=341348 CPUtime=102.26 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 85051 0 0 0 10120 106 0 0 25 0 1 0 25677998 349540352 84838 1992294400 134512640 135751879 4288584752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 85337 84838 148 303 0 85032 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 341348 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.89 2/107 28611 /proc/meminfo: memFree=1363884/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=495228 CPUtime=162.23 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 123506 0 0 0 16062 161 0 0 25 0 1 0 25677998 507113472 123293 1992294400 134512640 135751879 4288584752 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 123807 123293 148 303 0 123502 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 495228 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.99 0.97 0.89 2/107 28611 /proc/meminfo: memFree=1347020/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=509552 CPUtime=166.23 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 127075 0 0 0 16458 165 0 0 25 0 1 0 25677998 521781248 126862 1992294400 134512640 135751879 4288584752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 127388 126862 148 303 0 127083 0 Current children cumulated CPU time (s) 166.23 Current children cumulated vsize (KiB) 509552 [startup+172.709 s] /proc/loadavg: 0.99 0.97 0.89 2/107 28611 /proc/meminfo: memFree=1338340/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=517368 CPUtime=172.64 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 129023 0 0 0 17094 170 0 0 25 0 1 0 25677998 529784832 128810 1992294400 134512640 135751879 4288584752 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 129342 128810 148 303 0 129037 0 Current children cumulated CPU time (s) 172.64 Current children cumulated vsize (KiB) 517368 [startup+179.101 s] /proc/loadavg: 0.99 0.97 0.89 2/107 28611 /proc/meminfo: memFree=1327552/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=530100 CPUtime=179.02 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 132203 0 0 0 17725 177 0 0 25 0 1 0 25677998 542822400 131990 1992294400 134512640 135751879 4288584752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 132525 131990 148 303 0 132220 0 Current children cumulated CPU time (s) 179.02 Current children cumulated vsize (KiB) 530100 [startup+180.701 s] /proc/loadavg: 0.99 0.97 0.89 2/107 28611 /proc/meminfo: memFree=1323956/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=532168 CPUtime=180.62 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 132739 0 0 0 17884 178 0 0 25 0 1 0 25677998 544940032 132526 1992294400 134512640 135751879 4288584752 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 133042 132526 148 303 0 132737 0 Current children cumulated CPU time (s) 180.62 Current children cumulated vsize (KiB) 532168 [startup+181.509 s] /proc/loadavg: 0.99 0.97 0.89 2/107 28611 /proc/meminfo: memFree=1322220/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=533608 CPUtime=181.44 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 133084 0 0 0 17965 179 0 0 25 0 1 0 25677998 546414592 132871 1992294400 134512640 135751879 4288584752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 133402 132871 148 303 0 133097 0 Current children cumulated CPU time (s) 181.44 Current children cumulated vsize (KiB) 533608 [startup+181.901 s] /proc/loadavg: 0.99 0.97 0.89 2/107 28611 /proc/meminfo: memFree=1322220/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=536312 CPUtime=181.82 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202496 133728 0 0 0 18003 179 0 0 25 0 1 0 25677998 549183488 133515 1992294400 134512640 135751879 4288584752 18446744073709551615 134712379 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28606/statm: 134078 133515 149 303 0 133773 0 Current children cumulated CPU time (s) 181.82 Current children cumulated vsize (KiB) 536312 [startup+182.301 s] /proc/loadavg: 0.99 0.97 0.89 2/107 28611 /proc/meminfo: memFree=1322220/2059040 swapFree=4139716/4192956 [pid=28606] ppid=28604 vsize=0 CPUtime=182.23 /proc/28606/stat : 28606 (wbo1.4b) R 28604 28606 28405 0 -1 4202500 133755 0 0 0 18039 184 0 0 25 0 1 0 25677998 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28606/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 182.23 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 182.31 CPU time (s): 182.245 CPU user time (s): 180.392 CPU system time (s): 1.85372 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (KiB): 536312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.392 system time used= 1.85372 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133755 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= 11 involuntary context switches= 128 runsolver used 0.334949 second user time and 0.840872 second system time The end
Begin job on node048 at 2010-07-08 09:38:29 IDJOB=2702694 IDBENCH=48282 IDSOLVER=1161 FILE ID=node048/2702694-1278574709 PBS_JOBID= 11240078 Free space on /tmp= 62564 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_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-2702694-1278574709/watcher-2702694-1278574709 -o /tmp/evaluation-result-2702694-1278574709/solver-2702694-1278574709 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702694-1278574709.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f7dd1b6b0a4946caf4c26a82905ed8fe RANDOM SEED=1159803550 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: 1855460 kB Buffers: 16820 kB Cached: 101816 kB SwapCached: 6676 kB Active: 95088 kB Inactive: 37020 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1855460 kB SwapTotal: 4192956 kB SwapFree: 4139716 kB Dirty: 2868 kB Writeback: 8 kB AnonPages: 11720 kB Mapped: 12036 kB Slab: 49460 kB PageTables: 4208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180152 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-2702694-1278574709.opb Free space on /tmp at the end= 62560 MiB End job on node048 at 2010-07-08 09:41:32