| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| pwbo 2.02 | SAT (TO) | 8616 | 1800.54 | 900.351 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb |
| MD5SUM | f480d2d56550630df651872786c078c9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 939 |
| Best CPU time to get the best result obtained on this benchmark | 5.37918 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 999 |
| Optimality of the best value was proved | NO |
| Number of variables | 8405 |
| Total number of constraints | 10667 |
| Number of constraints which are clauses | 9918 |
| Number of constraints which are cardinality constraints (but not clauses) | 749 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 351 |
| Number of terms in the objective function | 6892 |
| Biggest coefficient in the objective function | 667 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 371779 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 667 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 371779 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | pwbo: 2.02 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3725947-1338654274.opb. 0.00/0.00 c Instance file HOME/instance-3725947-1338654274.opb 0.00/0.00 c File size is 551521 bytes. 0.01/0.05 c Cost Offset: -3212 0.01/0.05 c Highest Coefficient sum: 386 0.01/0.05 c ============================[ Problem Statistics ]============================= 0.01/0.05 c | | 0.01/0.05 c | Parsing time: 0.05 s | 0.01/0.05 c | Number Variables: 8405 | 0.01/0.05 c | Number Clauses: 10619 | 0.01/0.05 c | Number Cardinality: 748 | 0.01/0.05 c | Number PB Constraints: 0 | 0.01/0.05 c | | 0.01/0.06 c | Problem Type: Optimization | 0.01/0.06 c | Objective Function: PB Constraint | 0.01/0.06 c | | 0.01/0.06 c =============================================================================== 1800.13/900.31 o 8616 1800.13/900.31 c =============================================================================== 1800.13/900.31 c Wall Clock Time: 900.31 s 1800.13/900.31 c Best Solution: 8616 1800.13/900.31 s SATISFIABLE 1800.13/900.31 v -x2 -x1049 -x1398 x2445 -x3143 -x4194 -x4545 -x4896 -x6651 -x7002 x7353 -x7704 -x8055 -x3 -x1050 -x1399 x3144 -x4195 x4546 -x4897 -x6652 -x7003 -x7354 -x7705 -x4 -x1400 x2796 -x3494 -x4196 x4547 -x4898 -x5 -x1401 x4197 -x4548 -x4899 -x5250 x1053 -x2449 -x3147 x5602 -x6655 -x7006 -x7357 -x7708 -x356 -x705 -x1752 -x2101 x5603 -x5954 -x6305 -x357 x706 -x2102 -x5604 -x5955 -x6306 -x1056 -x3150 x6658 -x7009 -x7360 -x7711 -x1755 x11 -x360 -x709 -x1058 -x1407 -x1756 -x2105 -x3152 -x4203 -x4554 -x4905 -x5607 -x5958 x6309 -x6660 -x7011 -x7362 -x7713 -x12 -x361 -x710 -x1059 -x1408 -x1757 x2106 -x3153 -x4204 x4555 -x4906 -x5608 -x5959 -x6310 -x6661 -x7012 -x7363 -x7714 -x13 x362 -x711 -x1060 -x1409 -x1758 -x2107 -x3154 -x4205 x4556 -x4907 -x5258 -x5609 -x5960 -x6311 -x6662 -x7013 -x7364 -x7715 -x363 -x712 -x1061 -x1759 x2108 -x3155 -x5259 -x5610 -x5961 -x6312 -x6663 -x7014 x7365 -x7716 -x364 -x713 -x1760 x2109 -x2458 -x5611 -x5962 -x6313 -x8068 -x365 x714 -x2110 -x2459 -x5612 -x5963 -x6314 -x8070 -x367 x716 -x2112 -x2461 -x5614 -x5965 -x6316 -x8072 -x1765 -x2812 x3510 -x21 -x370 -x719 x1068 -x1417 -x1766 -x2115 -x3162 -x4213 -x4564 -x4915 -x5266 x5617 -x5968 -x6319 -x6670 -x7021 -x7372 -x7723 -x22 -x371 -x720 x1069 -x1418 -x1767 -x2116 -x3163 -x4214 x4565 -x4916 -x5618 -x5969 -x6320 -x6671 -x7022 -x7373 -x7724 -x2816 -x3514 x3865 -x374 x2468 -x5270 -x26 -x375 -x724 -x1073 -x1422 -x1771 -x2120 x3167 -x4218 x4569 -x4920 -x5622 -x5973 -x6324 -x6675 -x7026 -x7377 -x7728 -x27 -x1423 x4219 -x4570 -x4921 -x8080 -x2820 -x3518 x8081 -x378 -x727 -x1774 x2123 x5274 -x5625 -x5976 -x6327 -x8082 x2822 -x3520 -x5275 -x1078 x3172 x3872 -x6680 -x7031 -x7382 -x7733 x1079 -x3173 x3873 -x6681 -x7032 -x7383 -x7734 -x33 -x382 -x731 -x1080 -x1429 -x1778 x2127 -x3174 -x4225 -x4576 -x4927 -x5278 -x5629 -x5980 -x6331 -x6682 -x7033 -x7384 x7735 x1779 -x2826 x3524 -x8087 x1780 x8088 -x36 x1432 -x2828 -x3526 -x4228 -x4579 -x4930 -x5281 x7738 x2480 x3878 -x387 -x736 -x1783 -x2132 x2481 -x3879 -x5283 x5634 -x5985 -x6336 -x8091 x2831 -x3529 -x5284 -x41 x1437 -x4233 -x4584 -x4935 -x8094 -x2834 x3532 -x5287 x392 -x741 -x1788 -x2137 -x3884 x5288 -x5639 -x5990 -x6341 -x5289 x2488 -x2837 x3535 -x8098 -x5291 x6344 x2490 x3888 -x48 -x1444 x2840 -x3538 -x4240 x4591 -x4942 -x49 -x398 -x747 -x1445 -x1794 x2143 -x2492 -x4241 x4592 -x4943 -x5294 -x5645 -x5996 -x6347 -x8102 -x50 -x1446 x4242 -x4593 -x4944 -x5295 -x51 -x400 -x749 -x1447 x1796 -x2145 -x4243 x4594 -x4945 -x5296 -x5647 -x5998 -x6349 x52 -x1099 -x1448 -x3193 -x4244 -x4595 -x4946 -x6701 -x7052 x7403 -x7754 -x402 -x751 -x1100 -x1798 x2147 -x3194 -x5298 -x5649 -x6000 -x6351 -x6702 -x7053 -x7404 x7755 -x54 -x403 -x752 -x1450 -x1799 -x2148 x2497 -x4246 x4597 -x4948 -x5299 -x5650 -x6001 -x6352 -x8107 -x55 -x404 -x753 -x1451 x1800 -x2149 -x4247 x4598 -x4949 -x5300 -x5651 -x6002 -x6353 -x3546 x5301 -x8109 -x2848 x3547 -x5302 -x57 x406 -x755 -x1104 -x1453 -x1802 -x2151 -x3198 -x4250 -x4601 -x4952 -x5303 -x5654 -x6005 -x6356 x6707 -x7058 -x7409 -x7760 x2850 -x3549 x3900 x2851 -x3550 -x8113 -x60 -x409 -x758 x1456 -x1805 -x2154 -x4253 -x4604 -x4955 -x5306 x5657 -x6008 -x6359 x61 -x410 -x759 -x1108 -x1457 -x1806 -x2155 -x3202 -x4254 -x4605 -x4956 -x5658 -x6009 -x6360 -x6711 -x7062 -x7413 x7764 -x62 -x411 -x760 x1109 -x1458 -x1807 -x2156 -x3203 -x4255 -x4606 x4957 -x5659 -x6010 -x6361 -x6712 -x7063 -x7414 -x7765 -x3554 x5309 -x8117 -x63 x1459 -x4257 -x4608 -x4959 -x5310 -x413 x762 -x1809 -x2158 x5311 -x5662 -x6013 -x6364 -x2857 -x3557 -x8120 -x415 -x764 x1113 -x1811 -x2160 -x3207 x5313 -x5664 -x6015 -x6366 -x6717 -x7068 -x7419 -x7770 x2859 -x3559 x8122 x68 -x1464 -x2860 -x3560 -x4262 -x4613 -x4964 -x5315 x69 -x1465 -x4263 -x4614 -x4965 -x5316 x2862 -x3562 x5317 x71 -x420 -x769 -x1467 -x1816 -x2165 -x4265 -x4616 -x4967 -x5318 -x5669 -x6020 x6371 x72 -x421 -x770 -x1468 -x1817 -x2166 -x4266 -x4617 -x4968 -x5319 -x5670 -x6021 x6372 -x73 -x422 x771 -x1120 -x1469 -x1818 -x2167 -x3214 -x4267 x4618 -x4969 -x5320 -x5671 -x6022 -x6373 -x6724 -x7075 -x7426 -x7777 -x74 -x1470 x2866 -x3566 -x4268 x4619 -x4970 -x2867 x3567 -x8130 -x76 -x1472 x2868 -x3568 x4270 -x4621 -x4972 x8132 -x3570 -x3921 x4272 -x4623 -x4974 -x5325 -x5676 -x6027 -x6378 -x78 -x1125 -x1474 x3219 -x4273 x4624 -x4975 -x6730 -x7081 -x7432 -x7783 -x428 -x777 x1126 -x2173 -x3220 x5678 -x6029 -x6380 -x6731 -x7082 -x7433 -x7784 -x80 -x1127 x1476 -x3221 -x4275 -x4626 -x4977 -x6732 -x7083 x7434 -x7785 -x81 -x1477 x2873 -x3574 -x4276 x4627 -x4978 -x82 -x431 -x780 x1478 -x1827 -x2176 -x4277 -x4628 -x4979 -x5330 x5681 -x6032 -x6383 -x83 -x1479 x4278 -x4629 -x4980 -x5331 -x8139 -x84 -x1480 x1829 x4279 -x4630 -x4981 -x5332 -x85 -x434 -x783 x1132 -x1481 -x1830 -x2179 -x3226 -x4280 x4631 -x4982 -x5684 -x6035 -x6386 -x6737 -x7088 -x7439 -x7790 -x435 x784 -x1831 -x2180 -x5334 -x5685 -x6036 -x6387 x87 -x1483 -x4282 -x4633 -x4984 -x5335 -x88 x1135 -x1484 -x3229 -x4283 -x4634 -x4985 -x6740 -x7091 -x7442 -x7793 -x1136 -x3230 -x3933 x6741 -x7092 -x7443 -x7794 -x90 x1486 -x4285 -x4636 -x4987 -x5338 -x91 -x440 -x789 x1487 -x2185 -x4286 -x4637 -x4988 -x5690 -x6041 x6392 -x441 x790 -x1139 -x2186 -x3233 -x5691 -x6042 -x6393 -x6744 -x7095 -x7446 x7797 -x1838 x2885 -x3586 -x5341 -x94 -x1141 -x1490 x2537 -x2886 -x3235 -x3587 -x3938 -x4289 -x4640 -x4991 x6746 -x7097 -x7448 -x7799 -x8150 -x95 x444 -x793 -x1491 -x2189 -x4290 x4641 -x4992 -x5694 -x6045 -x6396 x96 -x1492 x3940 -x4291 -x4642 -x4993 -x446 -x795 -x1144 x2191 -x3238 -x5696 -x6047 -x6398 -x6749 -x7100 x7451 -x7802 -x99 -x1495 x1844 x4294 -x4645 -x4996 -x5347 -x449 x798 -x1147 -x2194 -x3241 -x5699 -x6050 -x6401 -x6752 -x7103 -x7454 x7805 x101 -x1497 -x4296 -x4647 -x4998 -x5349 -x102 -x451 x800 -x1498 -x2196 -x4297 x4648 -x4999 -x5701 -x6052 -x6403 -x3596 x5351 x452 -x801 -x1150 -x2197 -x3244 -x5703 -x6054 -x6405 -x6756 -x7107 -x7458 x7809 -x104 -x1500 x1849 x4300 -x4651 -x5002 -x105 x1501 x3950 -x4301 -x4652 -x5003 x455 -x804 -x1851 -x2200 x5355 -x5706 -x6057 -x6408 -x456 x805 -x1154 -x2201 -x3248 -x5707 -x6058 -x6409 -x6760 -x7111 -x7462 x7813 x2551 -x5357 -x8165 -x458 -x807 x1854 -x2203 -x2552 -x2901 x3603 -x5358 -x5709 -x6060 -x6411 -x8166 -x459 x808 -x1157 -x1855 -x2204 -x3251 -x3955 -x5359 -x5710 -x6061 -x6412 x6763 -x7114 -x7465 -x7816 -x2554 -x2903 -x3605 x8168 x112 -x461 -x810 -x1508 -x1857 -x2206 -x4308 -x4659 -x5010 -x5361 x5712 -x6063 -x6414 -x2905 -x3607 x8170 -x114 -x1510 x1859 -x4310 -x4661 x5012 -x115 -x1511 -x4311 -x4662 x5013 -x5364 -x2908 x3610 -x8173 -x1164 -x3258 -x3962 x6770 -x7121 -x7472 -x7823 x118 -x467 -x816 -x1514 -x1863 -x2212 -x2910 -x3612 -x3963 -x4314 -x4665 -x5016 -x5367 x5718 -x6069 -x6420 -x2911 x3613 -x5368 -x1865 -x5369 -x470 -x819 -x1168 x1866 -x2215 -x2913 -x3262 -x3615 -x5370 -x5721 -x6072 -x6423 -x6774 -x7125 -x7476 x7827 -x122 x1518 -x4318 -x4669 -x5020 -x5371 -x123 x472 -x821 -x1519 -x2217 -x2915 -x3617 -x4319 x4670 -x5021 -x5723 -x6074 -x6425 -x1171 -x3265 -x3969 x6777 -x7128 -x7479 -x7830 -x8181 x474 -x823 -x1870 -x2219 x5374 -x5725 -x6076 -x6427 -x126 -x475 -x824 -x1173 -x1522 -x2220 x2918 -x3267 -x3620 -x3971 -x4322 -x4673 -x5024 x5726 -x6077 -x6428 -x6779 -x7130 -x7481 -x7832 -x127 -x1523 x4323 -x4674 -x5025 -x5376 -x1873 -x5377 -x129 x478 -x827 -x1525 -x1874 -x2223 -x4325 x4676 -x5027 -x5378 -x5729 -x6080 -x6431 -x7484 -x1177 -x2922 -x3271 -x3624 -x6783 -x7134 -x7485 x7836 -x131 -x480 -x829 -x1527 -x1876 x2225 -x4327 x4678 -x5029 -x5380 -x5731 -x6082 -x6433 -x132 -x1528 x4328 -x4679 -x5030 -x5381 x482 -x831 -x1180 -x1878 -x2227 -x2576 -x3274 -x5382 -x5733 -x6084 -x6435 -x6786 -x7137 x7488 -x7839 -x8190 -x134 -x483 x832 -x1181 -x1530 -x1879 -x2228 -x3275 -x4330 -x4681 -x5032 x5383 -x5734 -x6085 -x6436 -x6787 -x7138 -x7489 -x7840 -x1182 x1880 -x3276 -x5384 x6788 -x7139 -x7490 -x7841 x1881 x8193 x137 -x486 -x835 -x1184 -x1533 -x1882 -x2231 -x3278 -x4333 -x4684 -x5035 -x5386 -x5737 -x6088 -x6439 -x6790 -x7141 -x7492 x7843 x138 -x487 -x836 -x1534 -x1883 -x2232 -x4334 -x4685 -x5036 -x5387 x5738 -x6089 -x6440 -x488 x837 -x1186 -x1884 -x2233 -x3280 -x5388 -x5739 -x6090 -x6441 -x6792 -x7143 x7494 -x7845 -x489 -x838 -x1187 x1885 -x2234 -x3281 -x5389 -x5740 -x6091 -x6442 -x6793 -x7144 -x7495 x7846 -x1188 x2933 -x3282 -x3635 x6794 -x7145 -x7496 -x7847 -x142 -x1538 -x1887 -x2236 x2934 -x3636 -x4338 -x4689 -x5040 x5742 -x492 x841 -x1190 -x1888 -x2237 -x3284 x5392 -x5743 -x6094 -x6445 -x6796 -x7147 -x7498 -x7849 -x144 -x1191 x1540 -x3285 -x4340 -x4691 -x5042 -x5393 -x6797 -x7148 x7499 -x7850 -x146 -x1193 -x1542 x2938 -x3287 -x3640 -x4342 x4693 -x5044 -x6799 -x7150 -x7501 -x7852 -x147 x1543 -x2590 -x4343 -x4694 -x5045 -x497 -x846 x1195 -x1893 -x2242 -x3289 x5397 -x5748 -x6099 -x6450 -x6801 -x7152 -x7503 -x7854 -x498 -x847 -x1894 -x2243 -x3994 -x5398 x5749 -x6100 -x6451 x499 -x848 -x1895 -x2244 -x2942 -x3644 x5399 -x5750 -x6101 -x6452 -x2594 x2943 -x3645 -x5400 -x8208 x501 -x850 -x1897 -x2246 x5401 -x5752 -x6103 -x6454 -x2596 x2945 -x3647 x8210 x154 -x503 -x852 -x1201 -x1550 -x1899 -x2248 -x3295 -x4350 -x4701 -x5052 -x5403 -x5754 -x6105 -x6456 x6807 -x7158 -x7509 -x7860 x155 -x1551 -x1900 -x4351 -x4702 -x5053 x8212 -x156 -x1552 x2948 -x3650 -x4352 x4703 -x5054 -x5405 -x8213 -x506 x855 -x1902 -x2251 x5406 -x5757 -x6108 -x6459 -x1205 -x3299 -x6811 -x7162 -x7513 x7864 x159 -x508 -x857 -x1206 -x1555 -x1904 -x2253 -x3300 -x4355 -x4706 -x5057 -x5408 -x5759 -x6110 -x6461 -x6812 -x7163 -x7514 x7865 -x509 -x858 -x1905 x2254 -x5409 -x5760 -x6111 -x6462 x1907 -x2605 -x5411 x8219 -x163 -x1210 x1559 -x3304 -x4008 -x4359 -x4710 -x5061 -x6816 x7167 -x7518 -x7869 x164 -x513 -x862 -x1211 -x1560 -x1909 -x2258 -x3305 -x4360 -x4711 -x5062 -x5413 -x5764 -x6115 -x6466 -x6817 -x7168 -x7519 x7870 -x165 -x1561 x2957 -x3659 x4010 -x4361 -x4712 -x5063 -x166 -x515 -x864 -x1562 -x1911 x2260 -x4362 x4713 -x5064 -x5415 -x5766 -x6117 -x6468 x516 -x865 -x1912 -x2261 x5416 -x5767 -x6118 -x6469 x517 -x866 -x1913 -x2262 -x2960 -x3662 x5417 -x5768 -x6119 -x6470 -x518 -x867 -x1216 -x1914 -x2263 x3310 -x4014 -x5418 x5769 -x6120 -x6471 -x6822 -x7173 -x7524 -x7875 -x170 -x1566 x2962 -x3664 -x4366 x4717 -x5068 -x5419 -x8227 -x171 -x520 -x869 x1567 -x1916 -x2265 -x4016 -x4367 -x4718 -x5069 -x5420 x5771 -x6122 -x6473 -x1917 -x8229 x173 -x522 -x871 -x1569 -x1918 -x2267 -x4369 -x4720 -x5071 -x5422 x5773 -x6124 -x6475 -x4721 -x5423 -x174 -x523 x872 -x1570 -x1919 -x2268 -x4371 -x4722 x5073 -x5424 -x5775 -x6126 -x6477 -x175 -x1571 x2967 -x3670 -x4372 -x4723 x5074 -x525 x874 -x1921 -x2270 x5426 -x5777 -x6128 -x6479 -x1224 x1922 -x3318 -x4023 -x5427 -x6831 -x7182 x7533 -x7884 x527 -x876 -x1225 -x2272 -x3319 -x4024 -x5779 -x6130 -x6481 x6832 -x7183 -x7534 -x7885 -x1227 x2623 -x3321 -x5430 -x6834 -x7185 x7536 -x7887 -x8238 -x181 -x530 -x879 -x1577 -x1926 -x2275 x2973 -x182 -x1229 -x1578 -x2974 x3323 -x3676 -x4378 -x4729 x5080 -x6835 -x7186 -x7537 -x7888 x186 -x1233 -x1582 -x3327 -x4382 -x4733 -x5084 x6839 -x7190 -x7541 -x7892 -x187 x536 -x885 -x1234 -x1583 -x2281 -x3328 -x4032 -x4383 -x4734 -x5085 -x5787 -x6138 -x6489 -x6840 x7191 -x7542 -x7893 -x1235 -x3329 x6841 -x7192 -x7543 -x7894 -x8245 -x538 -x887 -x1236 x1934 -x2283 -x3330 -x4034 -x5438 -x5789 -x6140 -x6491 x6842 -x7193 -x7544 -x7895 -x190 -x1586 -x4386 -x4737 x5088 -x7896 -x8247 -x191 -x540 x889 -x1238 -x1587 -x1936 -x2285 -x3332 -x4036 -x4387 -x4738 -x5089 -x5440 -x5791 -x6142 -x6493 -x6844 -x7195 -x7546 x7897 -x8248 -x8249 x542 -x891 -x1938 -x2287 x5442 -x5793 -x6144 -x6495 -x194 -x543 -x892 -x1241 -x1590 x1939 -x2288 -x3335 -x4390 -x4741 -x5092 -x5443 -x5794 -x6145 -x6496 x6847 -x7198 -x7549 -x7900 -x195 x1242 -x1591 -x3336 -x4391 -x4742 x5093 -x6848 -x7199 -x7550 -x7901 -x196 -x545 -x894 -x1243 -x1592 -x1941 x2290 -x3337 -x4392 -x4743 -x5094 -x5445 -x5796 -x6147 -x6498 x6849 -x7200 -x7551 -x7902 -x197 -x1244 -x1593 x3338 -x4393 -x4744 x5095 -x6850 -x7201 -x7552 -x7903 -x198 -x547 x896 -x1245 -x1594 -x1943 -x2292 -x3339 -x4394 -x4745 x5096 -x5447 -x5798 -x6149 -x6500 -x6851 -x7202 -x7553 -x7904 x1246 -x3340 x4044 -x6852 -x7203 -x7554 -x7905 -x1247 x2643 -x3341 -x6853 -x7204 -x7555 x7906 -x8257 -x201 -x1597 -x2644 x2993 -x3695 x4397 -x4748 -x5099 -x8258 -x1249 -x2645 x3343 -x6855 -x7206 -x7557 -x7908 x8259 -x203 -x552 x901 -x1599 -x1948 -x2297 -x2646 -x4399 -x4750 x5101 -x5452 -x5803 -x6154 -x6505 -x8260 -x204 -x553 -x902 -x1251 -x1600 x1949 -x2298 -x3345 -x4400 -x4751 x5102 -x5453 -x5804 -x6155 -x6506 -x6857 -x7208 -x7559 -x7910 -x205 -x554 x903 -x1601 -x1950 -x2299 -x4401 -x4752 x5103 -x5454 -x5805 -x6156 -x6507 -x206 -x555 x904 -x1602 -x1951 -x2300 -x4051 -x4402 -x4753 x5104 -x5455 -x5806 -x6157 -x6508 -x207 -x1603 x4403 -x4754 -x5105 x208 -x557 -x906 -x1255 -x1604 -x1953 -x2302 -x3349 -x4404 -x4755 -x5106 -x5808 -x6159 x6510 -x6861 -x7212 -x7563 -x7914 x209 -x1256 -x1954 -x2303 -x5107 x5458 -x5809 -x6160 -x6511 -x6862 -x210 -x1606 x1955 -x4406 -x4757 x5108 -x5459 -x8267 x211 -x1607 -x2654 x4056 -x4407 -x4758 -x5109 -x212 -x1608 x1957 -x4408 -x4759 x5110 -x5461 -x8269 -x562 -x911 -x1958 x2307 x5462 -x5813 -x6164 -x6515 -x214 -x1610 x2657 -x4410 -x4761 x5112 -x215 -x1611 x2658 -x4411 -x4762 x5113 -x5464 -x8272 -x3008 x3710 -x5465 -x1264 -x3358 -x5817 -x6870 -x7221 x7572 -x7923 -x3010 -x3712 -x6169 -x219 -x1266 x1615 -x3360 -x4415 -x4766 -x5117 x6872 -x7223 -x7574 -x7925 -x569 -x918 -x1267 -x1965 -x2314 x3361 -x5469 -x5820 -x6171 -x6522 -x6873 -x7224 -x7575 -x7926 -x221 x1617 x4066 -x4417 -x4768 -x5119 -x5470 -x5120 -x6173 -x223 -x1270 x1619 -x2666 -x3015 -x3364 -x3717 -x4419 -x4770 -x5121 x6876 -x7227 -x7578 -x7929 -x8280 x1969 -x5473 -x225 x1621 x4070 -x4421 -x4772 -x5123 -x226 x575 -x924 -x1273 -x1622 -x1971 -x2320 -x3367 -x4422 -x4773 -x5124 -x5475 -x5826 -x6177 -x6528 x6879 -x7230 -x7581 -x7932 -x227 -x1274 -x1623 x3368 -x228 -x1624 -x4423 -x4774 x5125 -x8284 -x229 -x578 -x927 -x1276 x1625 -x1974 -x2323 -x3370 -x4424 -x4775 -x5126 -x5477 -x5828 -x6179 -x6530 x6881 -x7232 -x7583 -x7934 -x230 -x1626 -x3022 -x3723 -x4425 -x4776 x5127 -x5478 -x8286 -x231 -x1627 -x4426 -x4777 x5128 -x8287 -x232 -x581 -x930 -x1279 -x1628 -x2326 x3373 -x4076 -x4427 -x4778 -x5129 -x5831 x6182 -x6533 -x6884 -x7235 -x7586 -x7937 -x582 -x931 -x2327 x2676 -x4077 x5832 -x6183 -x6534 -x8289 x3026 -x3727 -x8290 -x235 -x1631 x1980 x4430 -x4781 -x5132 x1981 -x2679 -x5484 -x8292 x238 -x1634 -x1983 -x4433 -x4784 -x5135 -x588 -x937 -x1286 -x2333 x3380 -x4083 -x5838 x6189 -x6540 -x6891 -x7242 -x7593 -x7944 -x5137 -x6190 x1986 -x5489 x242 -x1289 -x1638 -x2685 -x3383 -x4437 -x4788 -x5139 x6894 -x7245 -x7596 -x7947 -x8298 -x592 -x941 -x1290 -x1988 -x2337 x3384 -x5491 -x5842 -x6193 -x6544 -x6895 -x7246 -x7597 -x7948 -x244 -x1291 x1640 -x2687 -x3385 -x4439 -x4790 -x5141 -x6896 x7247 -x7598 -x7949 -x8300 x1990 -x2688 -x5493 -x5844 x8301 -x246 -x1293 x1642 -x3387 -x4441 -x4792 -x5143 x6898 -x7249 -x7600 -x7951 x247 -x1294 -x1643 -x3388 -x4442 -x4793 -x5144 x6899 -x7250 -x7601 -x7952 -x8303 x3040 -x3741 -x5496 -x2692 -x5497 x8305 -x250 -x599 -x948 -x1297 x1646 -x2344 -x3391 -x4445 -x4796 -x5147 -x5849 -x6200 -x6551 x6902 -x7253 -x7604 -x7955 -x251 -x1298 x1647 -x3392 -x4446 -x4797 -x5148 -x6903 x7254 -x7605 -x7956 -x3044 -x3745 x5500 -x253 -x602 -x951 -x1300 x1649 -x1998 -x2347 -x3394 -x4448 -x4799 -x5150 -x5501 x5852 -x6203 -x6554 -x6905 -x7256 -x7607 -x7958 -x254 -x603 -x952 -x1301 x1650 -x2348 -x3395 -x4098 -x4449 -x4800 -x5151 -x5853 -x6204 -x6555 x6906 -x7257 -x7608 -x7959 x3047 -x3748 x8311 -x605 -x954 -x2001 x2350 x5504 -x5855 -x6206 -x6557 -x257 -x1653 x2002 -x4452 -x4803 x5154 -x5505 -x258 -x607 x956 -x1654 -x2003 -x2352 -x4453 -x4804 x5155 -x5506 -x5857 -x6208 -x6559 -x3051 x3752 -x5507 -x260 -x1656 x2005 x4455 -x4806 -x5157 -x610 -x959 -x1308 x2006 -x2355 -x3402 -x5509 -x5860 -x6211 -x6562 -x6913 -x7264 x7615 -x7966 -x262 -x1658 x4457 -x4808 -x5159 -x263 -x1659 x4458 -x4809 -x5160 -x8319 x2707 -x5512 -x8320 x265 -x1661 -x4460 -x4811 -x5162 -x5513 -x2709 -x5514 x8322 -x267 -x616 x965 -x1314 -x1663 -x2361 -x3408 -x4462 -x4813 -x5164 -x5866 -x6217 -x6568 x6919 -x7270 -x7621 -x7972 -x268 -x1664 x4463 -x4814 -x5165 -x8324 -x618 -x967 -x2014 x2363 -x2712 x5517 -x5868 -x6219 -x6570 -x8325 x3062 -x3763 x8326 -x1318 x2016 -x3412 -x6923 -x7274 x7625 -x7976 -x272 -x621 x970 -x1668 -x2366 -x4467 x4818 -x5169 -x5871 -x6222 -x6573 -x273 -x1320 x1669 -x3414 x4117 -x4468 -x4819 -x5170 -x6925 -x7276 -x7627 -x7978 -x5522 x8330 -x624 -x973 -x1322 x2369 -x3416 -x5874 -x6225 -x6576 -x6927 -x7278 -x7629 x7980 -x2719 x3068 -x3769 -x8332 -x4121 x5876 -x6227 -x6578 x277 -x626 -x975 -x1324 -x1673 -x2022 -x2371 -x3418 -x4473 -x4824 -x5175 -x5526 -x5877 -x6228 -x6579 -x6930 -x7281 -x7632 x7983 x278 -x1325 -x1674 -x3419 -x4474 -x4825 -x5176 -x6931 -x7282 -x7633 x7984 -x279 x628 -x977 -x1326 -x1675 -x2024 -x2373 -x3420 x4475 -x4826 -x5177 -x5528 -x5879 -x6230 -x6581 -x6932 -x7283 -x7634 -x7985 -x280 -x629 -x978 x1676 -x2025 -x2374 -x3072 -x3774 -x4476 -x4827 -x5178 x5880 -x6231 -x6582 x3073 -x3775 x5530 -x8338 x282 -x1329 -x1678 -x3423 -x4478 -x4829 -x5180 -x6935 -x7286 -x7637 x7988 -x283 x1330 -x1679 -x3424 -x4128 x4479 -x4830 -x5181 -x6936 -x7287 -x7638 -x7989 -x1331 x2727 -x3425 -x5533 x6937 -x7288 -x7639 -x7990 -x8341 -x1332 -x3426 -x5534 x6938 -x7289 -x7640 -x7991 -x286 -x1333 x1682 -x3427 -x4482 -x4833 -x5184 -x6939 -x7290 x7641 -x7992 -x1334 -x3079 x3428 x3781 -x6940 -x7291 -x7642 -x7993 -x2731 -x5537 x8345 -x638 x987 -x2034 -x2383 -x4134 x5538 -x5889 -x6240 -x6591 -x639 -x988 -x2035 -x2384 -x3082 -x3784 -x4135 -x5539 x5890 -x6241 -x6592 -x8348 -x291 -x1338 -x1687 -x2734 x3432 -x4488 x4839 -x5190 -x6945 -x7296 -x7647 -x7998 -x8349 x8350 -x1340 x2736 -x3434 -x6947 -x7298 x7649 -x8000 -x8351 -x294 -x1690 x4491 -x4842 -x5193 -x8352 -x295 -x644 -x993 -x1342 -x1691 -x2040 -x2389 x3436 -x4492 -x4843 -x5194 -x5545 x5896 -x6247 -x6598 -x6949 -x7300 -x7651 -x8002 -x296 x645 -x994 -x1692 -x2390 -x3088 -x646 -x995 -x1344 -x2042 x2391 -x3438 -x5546 -x5897 -x6248 -x6599 -x6950 -x7301 x7652 -x8003 -x298 -x647 -x996 x1345 -x1694 -x2043 -x2392 -x3439 -x4494 -x4845 -x5196 -x5547 x5898 -x6249 -x6600 -x6951 -x7302 -x7653 -x8004 -x299 x648 -x997 -x1346 -x1695 -x2044 -x2393 -x3440 -x4495 -x4846 -x5197 -x5548 -x5899 -x6250 -x6601 x6952 -x7303 -x7654 -x8005 -x300 -x649 x998 -x1696 -x2045 -x2394 -x4496 x4847 -x5198 -x5900 -x6251 -x6602 -x302 -x651 -x1000 -x1349 x1698 -x2047 -x2396 -x3443 -x4498 -x4849 -x5200 -x5551 -x5902 -x6253 -x6604 -x6955 -x7306 -x7657 x8008 -x8359 x2048 -x3095 -x3797 -x5201 -x5552 -x6254 -x8360 -x304 -x653 -x1002 -x1700 -x2049 x2398 -x3096 -x3798 -x4500 x4851 -x5202 -x5553 -x5904 -x6255 -x6606 x305 -x1701 -x4501 -x4852 -x5203 -x5554 -x2750 -x3099 -x3801 x8364 x657 -x1006 -x2053 -x2402 -x2751 -x3100 -x3802 x4153 -x5557 -x5908 -x6259 -x6610 -x8365 -x658 -x1007 -x2054 -x2403 x3101 -x3803 -x4154 -x5558 x5909 -x6260 -x6611 -x310 -x659 -x1008 -x1357 -x1706 -x2055 -x2404 x3451 -x4155 -x4506 -x4857 -x5208 -x5559 x5910 -x6261 -x6612 -x6963 -x7314 -x7665 -x8016 -x311 x1707 -x661 -x1010 x1359 -x2057 -x2406 -x3453 -x4156 -x5560 x5911 -x6262 -x6613 -x6964 -x7315 -x7666 -x8017 -x313 -x662 -x1011 -x1360 -x1709 x2058 -x2407 -x3105 -x3454 -x3806 -x4157 -x4508 -x4859 -x5210 -x5561 -x5912 -x6263 -x6614 -x6965 -x7316 -x7667 x8018 -x314 -x663 -x1012 -x1361 -x1710 -x2059 x2408 -x3455 -x4509 -x4860 x5211 -x5562 -x5913 -x6264 -x6615 -x6966 -x7317 -x7668 -x8019 -x1362 x3107 -x3456 -x3808 -x5563 -x6967 -x7318 -x7669 x8020 -x665 -x1014 x2410 -x3108 x3809 -x5915 -x6266 -x6617 -x2062 x3109 -x3810 x5565 -x318 -x667 x1016 -x1714 -x2063 -x2412 -x4513 -x4864 x5215 -x5566 -x5917 -x6268 -x6619 -x319 -x1715 x4163 -x4514 -x4865 -x5216 -x669 -x1018 -x2065 -x2414 -x4164 -x5568 x5919 -x6270 -x6621 x1368 -x3113 -x3462 x3814 -x6973 -x7324 -x7675 -x8026 -x322 -x1718 -x3114 -x3815 -x4166 -x4517 -x4868 x5219 -x1370 -x3115 x3464 x3816 -x6975 -x7326 -x7677 -x8028 -x5572 -x674 -x1023 x1372 -x2070 -x2419 -x3466 -x5573 x5924 -x6275 -x6626 -x6977 -x7328 -x7679 -x8030 -x326 x1373 -x1722 -x3467 -x4521 -x4872 x5223 -x5574 -x6978 -x7329 -x7680 -x8031 -x1374 -x3468 -x5575 -x6979 -x7330 -x7681 x8032 -x328 -x1375 x1724 -x3469 -x4523 -x4874 -x5225 -x5576 -x6980 -x7331 -x7682 x8033 -x2772 -x3121 -x3822 x8385 -x330 x1377 -x1726 -x3122 -x3471 -x3823 -x4525 -x4876 x5227 -x6982 -x7333 -x7684 -x8035 -x2774 x3123 -x3824 x8387 -x332 -x681 -x1030 x1728 -x2426 -x4527 -x4878 -x5229 -x5931 -x6282 x6633 x3125 -x3826 x4177 -x5581 x334 -x683 -x1032 -x1381 -x1730 -x2079 -x2428 -x3475 -x4529 -x4880 -x5231 -x5582 -x5933 -x6284 -x6635 -x6986 x7337 -x7688 -x8039 x2778 x4179 -x6285 -x336 -x685 -x1034 -x1383 -x1732 x2081 -x2430 -x2779 -x3477 -x4180 -x4531 -x4882 -x5233 -x5584 -x5935 -x6286 -x6637 -x6988 -x7339 -x7690 x8041 -x8392 x686 -x1035 -x2082 -x2431 -x2780 -x5234 x5585 -x5936 -x6287 -x6638 -x8393 -x2083 -x8394 x339 -x688 -x1037 -x1386 -x1735 -x2084 -x2433 -x3480 -x4534 -x4885 -x5236 -x5587 -x5938 -x6289 -x6640 -x6991 -x7342 -x7693 x8044 x2783 -x3132 -x3833 -x8396 -x341 x690 -x1039 -x1737 -x2086 -x2435 -x6993 -x7344 -x7695 x8046 -x342 -x1738 x4537 -x4888 -x5239 -x5590 -x692 x1041 -x2437 -x2786 -x5942 -x6293 -x6644 -x344 -x693 -x1042 x1391 -x1740 -x2438 -x3136 -x3485 -x3837 -x4188 -x4539 -x4890 x5241 -x5943 -x6294 -x6645 -x6996 -x7347 -x7698 -x8049 x1392 -x3486 -x6997 -x7348 -x7699 -x8050 x8401 -x346 -x695 x1044 -x1393 -x1742 -x2091 -x2440 -x3487 -x4541 -x4892 -x5243 -x5594 -x5945 -x6296 -x6647 -x6998 x7349 -x7700 -x8051 x1394 -x2092 -x2441 -x3139 -x3488 -x3840 -x4191 x5946 -x6999 -x7350 -x7701 -x8052 x3140 -x7000 -x7351 x7702 -x8053 -x2095 x2793 -x351 -x700 -x1747 -x2096 -x3843 -x5247 -x5598 -x5949 -x6300 -x352 -x701 -x1748 -x2097 -x2446 -x2795 -x3493 -x3844 -x5248 -x5599 -x5950 -x6301 -x8056 -x353 -x702 -x1051 -x1749 -x2098 -x3145 -x5600 -x5951 -x6302 -x6653 -x7004 -x7355 -x7706 -x354 -x703 -x1052 -x1750 -x2099 x2448 -x2797 -x3146 -x3495 -x3846 -x5601 -x5952 -x6303 -x6654 -x7005 -x7356 -x7707 -x8058 -x6 -x1402 -x4198 -x4549 -x4900 -x5251 -x1753 -x2451 -x2800 -x3498 -x5253 -x8061 -x1754 -x3850 -x5254 -x10 x359 -x708 -x1057 -x1406 -x2104 -x2453 -x2802 -x3151 -x3500 -x4202 -x4553 -x4904 -x5255 -x5606 -x5957 -x6308 -x6659 x7010 -x7361 -x7712 -x8063 -x2454 -x2803 -x3501 -x5256 -x8064 -x2455 -x2804 -x3502 -x3853 -x5257 -x8065 -x2456 -x2805 -x3503 -x3854 -x8066 -x14 -x1410 -x2457 -x2806 -x3504 -x3855 -x4206 -x4557 -x4908 -x8067 -x15 -x1062 -x1411 -x2807 -x3156 -x3505 -x3856 -x4207 -x4558 -x4909 -x6664 -x7015 x7366 -x7717 -x16 -x1063 -x1412 -x1761 -x2808 -x3157 x3506 -x4208 -x4559 -x4910 -x5261 -x6665 -x7016 -x7367 -x7718 -x8069 -x17 -x366 -x715 -x1064 -x1413 -x1762 -x2111 -x3158 -x3858 -x4209 -x4560 -x4911 -x5262 -x5613 -x5964 -x6315 -x6666 x7017 -x7368 -x7719 -x18 -x1065 -x1414 -x1763 -x2810 -x3159 -x3508 -x4210 -x4561 -x4912 -x5263 -x6667 -x7018 -x7369 -x7720 -x19 -x368 -x717 -x1066 -x1415 x1764 -x2113 -x2462 -x2811 -x3160 -x3509 -x3860 -x4211 -x4562 -x4913 -x5264 -x5615 -x5966 -x6317 -x6668 x7019 -x7370 -x7721 -x20 -x369 -x718 x1067 -x1416 -x2114 -x2463 -x3161 -x3861 -x4212 -x4563 -x4914 -x5265 -x5616 -x5967 -x6318 -x6669 -x7020 -x7371 -x7722 -x8073 -x2464 -x2813 -x3511 -x3862 -x8074 -x2465 -x2814 -x3512 -x3863 -x8075 x2466 -x8076 -x24 -x373 -x722 x1071 -x1420 -x1769 -x2118 -x2467 -x3165 -x4216 -x4567 -x4918 -x5269 -x5620 -x5971 -x6322 -x6673 -x7024 -x7375 -x7726 -x8077 -x25 -x1072 -x1421 -x2817 -x3166 -x3515 -x3866 -x4217 -x4568 -x4919 -x6674 x7025 -x7376 -x7727 -x8078 -x2818 -x3516 -x3867 -x5271 -x1074 -x2470 -x3168 -x3868 -x6676 -x7027 -x7378 -x7729 -x28 x377 -x726 -x1075 -x1424 -x1773 -x2122 -x2471 -x3169 -x3869 -x4220 -x4571 -x4922 -x5273 -x5624 -x5975 -x6326 -x6677 -x7028 -x7379 -x7730 -x29 -x1076 -x1425 -x2472 -x2821 -x3170 -x3519 -x3870 -x4221 -x4572 -x4923 -x6678 -x7029 -x7380 -x7731 -x30 -x379 -x728 -x1077 -x1426 -x1775 -x2124 -x2473 -x3171 -x3871 -x4222 -x4573 -x4924 -x5626 -x5977 -x6328 -x6679 x7030 -x7381 -x7732 -x8083 -x31 -x380 -x729 -x1427 -x1776 -x2125 -x2823 -x3521 -x4223 -x4574 -x4925 -x5276 -x5627 -x5978 -x6329 -x32 -x381 -x730 -x1428 -x1777 -x2126 -x2824 -x3522 -x4224 -x4575 -x4926 -x5277 -x5628 -x5979 -x6330 -x2476 -x2825 -x3523 -x3874 -x8086 -x34 -x383 -x732 -x1081 -x1430 -x2128 -x2477 -x3175 -x3875 -x4226 -x4577 -x4928 -x5279 -x5630 -x5981 -x6332 -x6683 -x7034 -x7385 -x7736 -x35 -x384 -x733 -x1082 -x1431 -x2129 -x2827 -x3176 -x3525 -x3876 -x4227 -x4578 -x4929 -x5280 -x5631 -x5982 -x6333 -x6684 -x7035 -x7386 -x7737 -x385 -x734 -x1781 -x2130 -x2479 -x3877 -x5632 -x5983 -x6334 -x8089 -x38 -x1085 -x1434 -x2830 -x3179 -x3528 -x4230 -x4581 -x4932 -x6687 -x7038 -x7389 -x7740 -x2482 -x8092 -x389 -x738 -x1785 -x2134 -x2483 -x3881 -x5285 -x5636 x5987 -x6338 -x8093 -x390 -x739 -x1786 -x2135 -x2833 -x3531 -x3882 -x5637 x5988 -x6339 -x2485 -x8095 -x43 -x1090 -x1439 -x2486 -x3184 -x4235 -x4586 -x4937 -x6692 -x7043 -x7394 -x7745 -x8096 -x2487 -x2836 -x3534 -x3885 -x8097 -x394 -x743 -x1790 -x2139 -x5290 -x5641 -x5992 -x6343 -x2489 -x2838 -x3536 -x8099 -x397 -x746 -x1095 -x1793 -x2142 -x2491 -x3189 -x3889 -x5293 -x5644 -x5995 -x6346 -x6697 -x7048 -x7399 -x7750 -x8101 -x1096 -x2841 -x3190 -x3539 -x3890 -x6698 -x7049 -x7400 -x7751 -x1097 -x2493 -x2842 x3191 -x3540 -x3891 -x6699 -x7050 -x7401 -x7752 -x8103 -x1098 -x2494 -x2843 -x3192 -x3541 -x3892 -x6700 -x7051 -x7402 -x7753 -x8104 -x401 -x750 -x1797 -x2146 -x2495 -x2844 -x3542 -x3893 -x5297 -x5648 -x5999 -x6350 -x8105 -x2496 -x2845 -x3543 -x8106 -x1101 -x2846 -x3195 -x3544 -x3895 -x6703 -x7054 -x7405 -x7756 -x1102 -x2498 -x2847 -x3196 -x3545 -x3896 -x6704 -x7055 -x7406 -x7757 -x8108 -x3897 -x4248 -x4599 -x4950 -x5652 -x6003 -x6354 -x6705 -x7056 -x7407 -x7758 x56 -x405 -x754 -x1103 -x1452 -x1801 -x2150 -x2499 -x3197 -x3898 -x4249 -x4600 -x4951 -x5653 -x6004 -x6355 -x6706 -x7057 -x7408 -x7759 -x8110 -x2500 -x2849 -x3548 -x3899 -x8111 -x58 -x407 -x756 -x1105 -x1454 -x1803 -x2152 -x2501 -x3199 -x4251 -x4602 -x4953 -x5304 -x5655 -x6006 -x6357 -x6708 -x7059 -x7410 -x7761 -x8112 -x59 -x408 -x757 -x1106 -x1455 -x1804 -x2153 -x2502 -x3200 -x3901 -x4252 -x4603 -x4954 -x5305 -x5656 x6007 -x6358 -x6709 -x7060 -x7411 -x7762 -x1107 -x2503 -x2852 -x3201 -x3551 -x3902 -x6710 -x7061 -x7412 -x7763 -x8114 -x2504 -x2853 -x3552 -x3903 -x5307 -x8115 -x2505 -x2854 -x3553 -x3904 -x5308 -x8116 -x3905 -x4256 -x4607 -x4958 -x5660 -x6011 -x6362 -x6713 -x7064 -x7415 -x7766 -x2506 -x2855 -x3555 -x8118 -x1111 -x2507 -x2856 -x3205 -x3556 -x3907 -x6715 -x7066 -x7417 -x7768 -x8119 -x65 -x414 -x763 -x1112 x1461 -x1810 -x2159 -x2508 -x3206 -x3908 -x4259 -x4610 -x4961 -x5312 -x5663 x6014 -x6365 -x6716 -x7067 -x7418 -x7769 -x66 -x1462 -x2509 -x2858 -x3558 -x3909 -x4260 -x4611 -x4962 -x8121 -x67 -x416 -x765 -x1114 -x1463 -x1812 -x2161 -x2510 -x3208 -x3910 -x4261 -x4612 -x4963 -x5314 -x5665 -x6016 -x6367 -x6718 -x7069 -x7420 -x7771 -x417 -x766 -x1115 -x1813 -x2162 -x2511 -x3209 -x3911 -x5666 x6017 -x6368 -x6719 -x7070 -x7421 -x7772 -x8123 -x1116 -x2512 -x2861 -x3210 -x3561 -x3912 -x6720 -x7071 -x7422 -x7773 -x8124 -x70 -x419 -x768 -x1117 -x1466 -x1815 -x2164 -x2513 -x3211 -x3913 -x4264 -x4615 -x4966 -x5668 -x6019 -x6370 -x6721 -x7072 -x7423 -x7774 -x8125 -x1118 -x2514 -x2863 -x3212 -x3563 -x3914 -x6722 -x7073 -x7424 -x7775 -x8126 -x1119 -x2515 -x2864 -x3213 -x3564 -x3915 -x6723 -x7074 -x7425 -x7776 -x8127 -x2516 -x2865 -x3565 -x3916 -x8128 -x423 -x772 -x1819 -x2168 -x2517 -x3917 -x5321 -x5672 -x6023 -x6374 -x8129 -x75 -x424 -x773 -x1122 -x1471 -x1820 -x2169 x3216 -x3918 -x4269 -x4620 -x4971 -x5322 -x5673 -x6024 -x6375 -x6726 -x7077 -x7428 -x7779 -x425 -x774 -x1123 -x1821 -x2170 -x2519 -x3217 -x3919 -x5323 -x5674 -x6025 -x6376 -x6727 -x7078 -x7429 -x7780 -x8131 -x77 -x426 -x775 -x1124 -x1473 -x1822 x2171 -x2520 -x2869 -x3218 -x3569 -x3920 -x4271 -x4622 -x4973 -x5324 -x5675 -x6026 -x6377 -x6728 -x7079 -x7430 -x7781 -x6729 -x7080 -x7431 -x7782 -x8133 -x2521 -x2870 -x3571 -x3922 -x8134 -x2522 -x2871 -x3572 -x3923 -x8135 -x429 -x778 -x1825 -x2174 -x2523 -x2872 -x3573 -x3924 -x5328 -x5679 -x6030 -x6381 -x8136 -x430 -x779 -x1128 -x1826 -x2175 -x2524 -x3222 -x3925 -x5329 -x5680 -x6031 -x6382 -x6733 -x7084 -x7435 -x7786 -x8137 -x1129 -x2525 -x2874 -x3223 -x3575 -x3926 -x6734 -x7085 -x7436 -x7787 -x8138 -x432 -x781 -x1130 -x1828 -x2177 -x2526 -x2875 x3224 -x3576 -x3927 -x5682 -x6033 -x6384 -x6735 -x7086 -x7437 -x7788 -x433 -x782 -x1131 -x2178 -x2527 -x2876 -x3225 -x3577 -x3928 -x5683 -x6034 -x6385 -x6736 -x7087 -x7438 -x7789 -x8140 -x2528 -x2877 -x3578 -x3929 -x8141 -x86 -x1133 -x1482 -x2529 -x2878 -x3227 -x3579 -x3930 -x4281 -x4632 -x4983 -x6738 -x7089 x7440 -x7791 -x8142 -x436 -x785 -x1134 -x1832 -x2181 -x2530 -x2879 -x3228 -x3580 -x3931 -x5686 x6037 -x6388 -x6739 -x7090 -x7441 -x7792 -x8143 -x2531 -x2880 -x3581 -x3932 -x8144 -x2881 -x3582 -x439 -x788 -x1835 -x2184 -x2533 -x2882 -x3583 -x3934 -x5689 -x6040 -x6391 -x8146 -x1138 -x1836 -x2534 -x2883 -x3232 -x3584 -x3935 -x5339 -x6743 -x7094 -x7445 -x7796 -x8147 -x93 -x442 -x791 -x1140 -x1489 -x2187 -x2536 -x3234 -x3937 -x4288 -x4639 -x4990 -x5692 x6043 -x6394 -x6745 -x7096 -x7447 -x7798 -x8149 -x443 -x792 -x1839 -x2188 -x5342 -x5693 -x6044 -x6395 -x2538 -x2887 -x3588 -x3939 -x8151 -x2539 -x2888 -x3589 -x8152 -x97 -x1493 -x2540 -x2889 -x3590 -x3941 -x4292 -x4643 -x4994 -x448 -x797 -x1146 -x2193 -x2542 -x2891 -x3240 -x3592 -x3943 -x5698 -x6049 -x6400 -x6751 -x7102 -x7453 -x7804 -x8155 -x2543 -x2892 -x3593 -x3944 -x8156 -x450 -x799 -x1148 -x1846 -x2195 -x2544 -x2893 -x3242 -x3594 -x3945 -x5700 x6051 -x6402 -x6753 -x7104 -x7455 -x7806 -x8157 -x2545 -x2894 -x3595 -x3946 -x8158 -x3947 -x4298 -x4649 -x5000 -x5702 -x6053 -x6404 -x6755 -x7106 -x7457 -x7808 -x8159 -x453 -x802 -x2198 -x2896 -x3598 -x3949 -x5704 -x6055 -x6406 -x2548 -x2897 -x3599 -x8162 -x106 -x1153 -x1502 -x2549 -x2898 -x3247 -x3600 -x3951 -x4302 -x4653 -x5004 -x6759 -x7110 -x7461 -x7812 -x8163 -x107 -x1503 -x2550 -x2899 -x3601 -x4303 -x4654 -x5005 -x108 -x1504 -x2900 -x3602 -x3953 -x4304 -x4655 -x5006 -x109 -x1156 -x1505 -x3250 -x3954 -x4305 -x4656 -x5007 -x6762 -x7113 -x7464 -x7815 -x110 -x1506 -x2553 -x2902 -x3604 -x4306 -x4657 -x5008 -x8167 -x111 -x460 x809 -x1158 -x1507 -x1856 -x2205 -x3252 -x3956 -x4307 -x4658 -x5009 -x5360 -x5711 -x6062 -x6413 -x6764 -x7115 -x7466 -x7817 -x1159 -x2555 -x2904 -x3253 -x3606 -x3957 -x6765 -x7116 -x7467 -x7818 -x8169 -x113 -x462 -x811 -x1160 -x1509 -x1858 x2207 -x2556 -x3254 -x3958 -x4309 -x4660 -x5011 -x5362 -x5713 -x6064 -x6415 -x6766 -x7117 -x7468 -x7819 -x1161 -x2557 -x2906 -x3255 -x3608 -x6767 -x7118 -x7469 -x7820 -x8171 x2558 -x8172 -x116 -x465 -x814 -x1163 -x1512 -x1861 x2210 -x3257 -x3961 -x4312 -x4663 -x5014 -x5365 -x5716 -x6067 -x6418 -x6769 -x7120 -x7471 -x7822 -x466 x815 -x1862 -x2211 -x2560 -x2909 -x3611 -x5366 -x5717 -x6068 -x6419 -x8174 -x1165 -x2561 -x3259 -x6771 -x7122 -x7473 -x7824 -x8175 -x468 -x817 -x1166 -x1864 -x2213 x2562 -x3260 -x3964 -x5719 -x6070 -x6421 -x6772 -x7123 -x7474 -x7825 -x8176 x2563 -x2912 -x3614 -x3965 -x8177 -x121 -x1517 -x2564 -x3966 -x4317 -x4668 -x5019 -x8178 -x1169 -x2565 -x2914 -x3263 -x3616 -x3967 -x6775 -x7126 -x7477 -x7828 -x8179 -x1170 -x1868 -x2566 -x3264 -x3968 -x5372 -x6776 -x7127 -x7478 -x7829 -x8180 -x125 -x1172 -x1521 -x2568 -x2917 -x3266 -x3619 -x3970 -x4321 -x4672 -x5023 -x6778 -x7129 -x7480 -x7831 -x8182 -x1871 -x2569 -x5375 -x8183 x476 -x825 -x1174 -x1872 -x2221 -x2570 -x2919 -x3268 -x3621 -x3972 -x5727 -x6078 -x6429 -x6780 -x7131 -x7482 -x7833 -x8184 -x2571 -x2920 -x3622 -x3973 -x8185 -x2572 -x2921 -x3623 -x8186 -x3975 -x1178 -x2574 -x2923 -x3272 -x3625 -x3976 -x6784 -x7135 -x7486 -x7837 -x8188 -x1179 -x2575 -x2924 x3273 -x3626 -x3977 -x6785 -x7136 -x7487 -x7838 -x8189 -x133 -x1529 -x2925 -x3627 -x3978 -x4329 -x4680 -x5031 -x2577 -x2926 -x3628 -x3979 -x8191 -x135 -x484 -x833 -x1531 -x2229 -x2578 -x3980 -x4331 -x4682 -x5033 -x5735 -x6086 -x6437 -x8192 -x136 -x485 -x834 -x1183 -x1532 -x2230 -x2579 -x2928 -x3277 -x3630 -x3981 -x4332 -x4683 -x5034 -x5385 -x5736 -x6087 -x6438 -x6789 -x7140 -x7491 -x7842 -x2580 -x2929 -x3631 -x3982 -x8194 -x1185 -x2581 -x2930 -x3279 -x3632 -x3983 -x6791 -x7142 -x7493 -x7844 -x8195 -x139 -x1535 -x2582 -x2931 -x3633 -x3984 -x4335 -x4686 -x5037 -x8196 -x2583 -x2932 -x3634 -x3985 -x8197 -x141 -x1537 -x4337 -x4688 -x5039 -x143 -x1539 -x2586 -x2935 -x3637 -x3988 -x4339 -x4690 -x5041 -x8200 -x2587 -x2936 -x3638 -x3989 -x8201 -x145 x494 -x843 -x1192 -x1541 -x1890 -x2239 -x2588 -x2937 -x3286 -x3639 -x3990 -x4341 -x4692 -x5043 -x5394 -x5745 -x6096 -x6447 -x6798 x7149 -x7500 -x7851 -x8202 -x495 -x844 -x1891 -x2240 -x2589 -x3991 -x5395 -x5746 -x6097 -x6448 -x8203 -x496 -x845 -x1892 -x2241 -x2939 -x3641 -x3992 -x5396 -x5747 x6098 -x6449 -x8204 -x148 -x1544 -x2591 -x2940 -x3642 -x3993 -x4344 -x4695 -x5046 -x8205 -x1196 x2592 -x2941 -x3290 -x3643 -x6802 -x7153 -x7504 -x7855 -x8206 -x1197 -x2593 -x3291 -x3995 -x6803 -x7154 -x7505 -x7856 -x8207 -x151 -x500 -x849 -x1198 -x1547 -x1896 -x2245 -x3292 -x3996 -x4347 -x4698 -x5049 -x5751 x6102 -x6453 -x6804 -x7155 -x7506 -x7857 -x152 -x1548 -x2944 -x3646 -x3997 -x4348 -x4699 -x5050 -x502 -x851 -x1200 -x1898 -x2247 -x3294 -x3998 -x5402 -x5753 -x6104 -x6455 -x6806 -x7157 -x7508 -x7859 -x2597 -x2946 -x3648 -x3999 -x8211 -x504 -x853 -x1202 -x2249 -x2598 -x2947 -x3296 -x3649 -x4000 -x5404 -x5755 -x6106 -x6457 -x6808 -x7159 -x7510 -x7861 -x505 -x854 -x1203 -x1901 -x2250 -x2599 -x3297 -x4001 -x5756 -x6107 -x6458 -x6809 -x7160 -x7511 -x7862 -x157 -x1204 -x1553 -x2600 -x2949 -x3298 -x3651 -x4002 -x4353 -x4704 -x5055 -x6810 -x7161 -x7512 -x7863 -x8214 -x2601 -x2950 -x3652 -x4003 -x8215 -x2602 -x2951 -x3653 -x4004 -x8216 -x1207 -x2603 -x2952 -x3301 -x3654 -x4005 -x6813 -x7164 x7515 -x7866 -x8217 x2604 -x2953 -x3655 -x4006 -x8218 -x162 -x511 -x860 -x1209 -x1558 -x2256 -x2954 -x3303 -x3656 -x4007 -x4358 -x4709 -x5060 -x5762 -x6113 -x6464 -x6815 -x7166 -x7517 -x7868 -x512 -x861 -x1908 -x2257 -x2606 -x2955 -x3657 -x5412 -x5763 -x6114 -x6465 -x8220 -x2607 -x2956 -x3658 -x4009 -x8221 -x514 -x863 -x1212 -x1910 -x2259 -x2608 -x3306 -x5414 -x5765 -x6116 -x6467 -x6818 -x7169 -x7520 -x7871 -x8222 -x1213 -x2609 -x2958 -x3307 -x3660 -x6819 -x7170 -x7521 -x7872 -x8223 -x2610 -x2959 -x3661 -x8224 -x168 -x1215 -x1564 -x2611 -x3309 -x4013 -x4364 -x4715 -x5066 -x6821 -x7172 -x7523 -x7874 -x8225 -x169 -x1565 -x2612 -x2961 -x3663 -x4365 -x4716 -x5067 -x8226 -x519 -x868 -x1217 -x1915 -x2264 -x2613 -x3311 -x4015 -x5770 -x6121 -x6472 -x6823 -x7174 -x7525 -x7876 -x1218 -x2614 -x2963 -x3312 -x3665 -x6824 -x7175 -x7526 -x7877 -x8228 -x521 -x870 x1219 -x2266 -x2615 -x2964 -x3313 -x3666 -x4017 -x5421 -x5772 -x6123 x6474 -x6825 -x7176 -x7527 -x7878 -x1220 -x2616 -x2965 -x3314 -x3667 -x6826 -x7177 -x7528 -x7879 -x8230 -x3668 -x1221 -x2617 -x2966 -x3315 -x3669 -x6828 -x7179 -x7530 -x7881 -x8232 -x524 -x873 -x1920 -x2269 -x2618 -x4021 -x5425 -x5776 -x6127 -x6478 -x8233 -x176 -x1223 -x1572 -x3317 -x4022 -x4373 -x4724 -x5075 -x6830 -x7181 -x7532 -x7883 -x177 -x526 -x875 -x1573 -x2271 -x2620 -x2969 -x3672 -x4374 -x4725 -x5076 -x5778 -x6129 -x6480 -x8235 -x178 -x1574 -x1923 -x2621 -x2970 -x3673 -x4375 -x4726 -x5077 -x5428 -x8236 x528 -x877 -x1924 -x2273 -x5429 -x5780 -x6131 -x6482 -x180 -x529 -x878 -x1576 -x1925 -x2274 -x2972 -x3675 -x4026 -x4377 -x4728 -x5079 -x5781 -x6132 -x6483 -x1228 -x2624 -x3322 -x531 -x880 -x1927 -x2276 -x2625 -x4027 -x5431 -x5782 -x6133 -x6484 -x8239 -x2626 -x8240 -x2627 -x8241 -x2977 -x3679 -x535 -x884 -x1931 -x2280 -x2629 -x4031 -x5435 -x5786 -x6137 -x6488 -x8243 -x1932 -x2630 -x2979 -x3681 -x5436 -x8244 -x188 -x537 -x886 -x1584 -x1933 x2282 -x2631 -x2980 -x3682 -x4033 -x4384 -x4735 -x5086 -x5437 -x5788 -x6139 -x6490 -x2632 -x2981 -x3683 -x8246 -x539 -x888 -x1935 -x2284 -x2633 -x2982 -x3684 -x4035 -x5439 -x5790 -x6141 -x6492 -x2634 -x2983 -x3685 x192 -x541 -x890 -x1239 -x1588 -x1937 -x2286 -x2984 -x3333 -x3686 -x4037 -x4388 -x4739 -x5090 -x5792 x6143 -x6494 -x6845 -x7196 -x7547 -x7898 -x2985 -x3687 -x2637 -x2986 -x3688 -x4039 -x8251 -x544 -x893 -x1940 -x2289 -x4040 -x5444 -x5795 -x6146 -x6497 -x2639 -x2988 -x3690 -x4041 -x8253 -x546 -x895 -x1942 -x2291 -x4042 -x5446 -x5797 -x6148 -x6499 -x2641 -x2990 -x3692 -x4043 -x8255 -x199 -x548 -x897 -x1595 -x1944 -x2293 -x2642 -x2991 -x3693 -x4395 -x4746 -x5097 -x5448 -x5799 -x6150 -x6501 -x8256 -x200 -x549 -x898 -x1596 -x1945 -x2294 -x2992 -x3694 -x4396 -x4747 -x5098 -x5449 -x5800 -x6151 -x6502 -x550 -x899 -x1248 -x1946 -x2295 -x3342 -x4046 -x5450 -x5801 -x6152 -x6503 -x6854 -x7205 -x7556 -x7907 -x202 -x1598 -x2994 -x3696 -x4398 -x4749 -x5100 -x1250 -x3344 -x6856 -x7207 -x7558 -x7909 -x2647 -x2996 -x3698 -x4049 -x8261 -x1252 -x2648 -x2997 -x3346 -x3699 -x4050 -x6858 -x7209 -x7560 -x7911 -x8262 -x1253 -x2649 -x2998 -x3347 -x3700 -x6859 -x7210 -x7561 -x7912 -x8263 -x2650 -x2999 -x3701 -x8264 -x2651 -x3000 -x3702 -x4053 -x8265 -x559 -x908 -x2304 -x2653 -x3002 -x3704 -x4055 -x5810 -x6161 -x6512 -x560 -x909 -x1258 -x1956 -x2305 -x3003 -x3352 -x3705 -x5460 -x5811 -x6162 -x6513 -x6864 -x7215 -x7566 -x7917 -x8268 -x561 -x910 -x2306 -x2655 -x3004 -x3706 -x4057 -x5812 -x6163 -x6514 -x213 -x1260 -x1609 -x3005 -x3354 -x3707 -x4409 -x4760 -x5111 -x6866 -x7217 -x7568 -x7919 -x563 -x912 -x1261 -x1959 -x2308 -x3355 -x5463 -x5814 -x6165 -x6516 -x6867 -x7218 -x7569 -x7920 -x8271 -x564 -x913 -x1262 -x1960 -x2309 -x3007 -x3356 -x3709 -x4060 -x5815 -x6166 -x6517 -x6868 -x7219 -x7570 -x7921 -x565 -x914 -x1263 -x1961 -x2310 x2659 -x3357 -x4061 -x5816 -x6167 -x6518 -x6869 -x7220 -x7571 -x7922 -x8273 -x217 -x1613 -x3009 -x3711 -x4413 -x4764 -x5115 -x218 -x1614 -x2661 -x4414 -x4765 -x5116 -x8275 -x2662 -x3011 -x3713 -x4064 -x8276 -x220 -x1616 -x2663 -x4416 -x4767 -x5118 -x8277 -x570 -x919 -x1268 -x1966 -x2315 -x2664 -x3013 -x3362 -x3715 -x5821 -x6172 -x6523 -x6874 -x7225 -x7576 -x7927 -x8278 -x2665 -x3014 -x3716 -x8279 -x572 -x921 -x1968 -x2317 -x4068 -x5472 -x5823 -x6174 -x6525 -x224 -x573 -x922 -x1271 -x1620 -x2318 -x2667 -x3016 -x3365 x3718 -x4069 -x4420 -x4771 -x5122 -x5824 -x6175 -x6526 -x6877 -x7228 -x7579 -x7930 -x8281 -x574 -x923 -x1272 -x1970 -x2319 -x2668 -x3017 -x3366 -x3719 -x5474 -x5825 -x6176 -x6527 -x6878 -x7229 -x7580 -x7931 -x8282 -x2669 -x3018 -x3720 -x4071 -x8283 -x2670 -x577 -x926 -x1275 x1973 -x2322 -x3020 -x3369 -x3721 -x5827 -x6178 -x6529 -x6880 -x7231 -x7582 -x7933 -x2672 -x3021 -x3722 -x4073 -x8285 -x579 x928 -x1277 -x1975 -x2324 -x2673 -x3371 -x4074 -x5829 -x6180 -x6531 -x6882 -x7233 -x7584 -x7935 x580 -x929 -x1278 -x1976 -x2325 -x3023 -x3372 -x3724 -x5830 -x6181 -x6532 -x6883 -x7234 -x7585 -x7936 -x2675 -x3024 -x3725 -x8288 -x233 -x1280 -x1629 -x1978 -x3025 -x3374 -x3726 -x4428 -x4779 -x5130 -x5481 -x6885 -x7236 -x7587 -x7938 -x584 -x933 -x1282 -x2329 -x2678 -x3027 -x3376 -x3728 -x4079 -x5483 -x5834 -x6185 -x6536 -x6887 -x7238 -x7589 -x7940 -x8291 -x236 -x585 -x934 -x1632 -x2330 -x3028 x3729 -x4431 -x4782 -x5133 -x5835 -x6186 -x6537 -x4081 -x1285 -x2681 -x3030 -x3379 -x3731 -x4082 -x6890 -x7241 -x7592 -x7943 -x8294 -x239 -x1635 -x1984 -x2682 -x3031 -x3732 -x4434 -x4785 -x5136 -x5487 -x8295 -x2683 -x3032 -x3733 -x4084 -x8296 -x590 -x939 -x1288 -x2335 -x2684 -x3033 -x3382 x3734 -x4085 -x5840 -x6191 -x6542 -x6893 -x7244 -x7595 -x7946 -x8297 -x591 -x940 -x1987 -x2336 -x3034 -x3735 -x4086 -x5490 -x5841 -x6192 -x6543 -x2686 -x3035 -x3736 x4087 -x8299 -x593 -x942 -x1989 -x2338 -x3036 -x3737 -x4088 -x5492 -x5843 -x6194 -x6545 -x245 -x1641 -x4089 -x4440 -x4791 -x5142 -x595 -x944 -x1991 -x2340 -x2689 -x3038 -x3739 -x4090 -x5494 -x5845 -x6196 -x6547 -x8302 -x3039 -x3740 -x248 -x597 -x946 -x1295 -x1644 -x1993 -x2342 -x2691 -x3389 -x4092 -x4443 -x4794 -x5145 -x5847 -x6198 -x6549 -x6900 x7251 -x7602 -x7953 -x8304 -x249 -x1296 -x1645 -x3041 x3390 -x3742 -x4093 -x4444 -x4795 -x5146 -x6901 -x7252 -x7603 -x7954 -x1995 -x2693 -x3042 -x3743 -x4094 -x5498 -x8306 -x600 -x949 -x1996 -x2345 -x2694 -x3043 -x3744 -x4095 -x5499 -x5850 -x6201 -x6552 -x8307 -x252 -x601 -x950 -x1299 -x1648 -x1997 x2346 -x2695 -x3393 -x4096 -x4447 -x4798 -x5149 -x5851 -x6202 -x6553 -x6904 -x7255 -x7606 -x7957 -x8308 -x2696 -x3045 -x3746 -x4097 -x8309 -x1999 -x2697 -x3046 -x3747 -x5502 -x8310 -x255 -x604 -x953 -x1302 -x1651 -x2000 -x2349 -x3396 -x4099 -x4450 -x4801 -x5152 -x5503 -x5854 -x6205 -x6556 -x6907 -x7258 -x7609 -x7960 -x2699 -x3048 -x3749 -x4100 -x8312 -x606 -x955 -x1304 -x2351 -x2700 -x3049 -x3398 -x3750 -x4101 -x5856 -x6207 -x6558 -x6909 -x7260 -x7611 -x7962 -x8313 -x1305 -x2701 -x3050 -x3399 -x3751 -x4102 -x6910 -x7261 -x7612 -x7963 -x8314 -x259 -x608 -x957 -x1306 -x1655 -x2004 -x2353 -x2702 x3400 -x4103 -x4454 -x4805 -x5156 -x5858 -x6209 -x6560 -x6911 -x7262 -x7613 -x7964 -x8315 -x2703 -x3052 -x3753 -x4104 -x5508 -x8316 -x2704 -x3053 -x3754 -x4105 -x8317 -x2705 -x3054 -x3755 -x8318 -x612 -x961 -x1310 x2008 -x2357 -x2706 -x3055 -x3404 -x3756 -x4107 -x5511 -x5862 -x6213 -x6564 -x6915 -x7266 -x7617 -x7968 -x264 -x1660 -x3056 -x3757 -x4459 -x4810 -x5161 -x614 -x963 -x1312 -x2010 -x2359 -x2708 -x3057 -x3406 -x3758 -x4109 -x5864 -x6215 -x6566 -x6917 x7268 -x7619 -x7970 -x8321 -x266 -x615 -x964 -x1313 -x1662 -x2011 x2360 -x3058 -x3407 -x3759 -x4110 -x4461 -x4812 -x5163 -x5865 -x6216 -x6567 -x6918 -x7269 -x7620 -x7971 -x3059 -x3760 -x617 -x966 -x1315 -x2013 -x2362 x2711 -x3060 -x3409 -x3761 -x4112 -x5516 -x5867 -x6218 -x6569 -x6920 -x7271 -x7622 -x7973 -x269 -x1316 -x1665 -x3061 -x3410 -x3762 -x4113 -x4464 -x4815 -x5166 -x6921 -x7272 -x7623 -x7974 -x270 -x619 -x968 -x1317 -x1666 -x2015 -x2364 -x2713 -x3411 -x4114 -x4465 -x4816 -x5167 -x5518 -x5869 -x6220 -x6571 -x6922 -x7273 -x7624 -x7975 -x271 -x620 -x969 -x1667 -x2365 -x2714 -x3063 -x3764 -x4115 -x4466 -x4817 -x5168 -x5519 -x5870 -x6221 -x6572 -x8327 -x2715 -x3064 -x3765 -x4116 -x8328 -x2018 -x3065 -x3766 -x5521 -x274 x623 -x972 -x1321 -x1670 -x2019 -x2368 -x3415 -x4118 -x4469 -x4820 -x5171 -x5873 -x6224 -x6575 -x6926 -x7277 -x7628 -x7979 -x2718 -x3067 -x3768 -x4119 -x8331 -x276 -x625 -x974 -x1323 -x1672 -x2021 -x2370 -x3417 -x4120 -x4471 -x4822 -x5173 -x5524 -x5875 -x6226 -x6577 -x6928 x7279 -x7630 -x7981 -x3770 -x2720 -x3069 -x3771 -x4122 -x8334 -x627 -x976 -x2023 -x2372 -x2721 -x3070 -x3772 -x4123 -x5527 -x5878 -x6229 -x6580 -x8335 -x2722 -x3071 -x3773 -x4124 -x8336 -x2723 -x8337 -x281 -x630 -x979 -x1328 -x1677 -x2026 -x2375 -x3422 -x4126 -x4477 -x4828 -x5179 -x5881 -x6232 -x6583 -x6934 -x7285 -x7636 -x7987 -x631 -x980 -x2027 -x2376 -x3074 -x3776 -x4127 -x5531 -x5882 -x6233 -x6584 -x632 -x981 -x2028 -x2377 -x2726 -x3075 -x3777 -x5532 -x5883 -x6234 -x6585 -x8340 -x284 -x633 -x982 -x1680 -x2029 -x2378 -x4129 -x4480 -x4831 -x5182 -x5884 -x6235 -x6586 -x285 -x634 -x983 x1681 -x2030 -x2379 -x2728 -x3077 -x3779 -x4130 -x4481 -x4832 -x5183 -x5885 -x6236 -x6587 -x8342 -x287 -x636 -x985 -x1683 -x2032 -x2381 -x2730 -x4132 -x4483 -x4834 -x5185 -x5536 -x5887 -x6238 -x6589 -x8344 -x637 -x986 -x2033 -x2382 -x4133 -x5888 -x6239 -x6590 -x2732 -x3081 -x3783 -x8346 -x2733 -x8347 -x4487 -x4838 -x5189 -x5540 -x5891 -x6242 -x6593 -x6944 x7295 -x7646 -x7997 -x640 -x989 -x2036 -x2385 -x3083 -x3786 -x4137 -x5541 -x5892 -x6243 -x6594 -x292 -x1339 x1688 -x3433 -x4489 -x4840 -x5191 -x6946 -x7297 -x7648 -x7999 -x293 -x642 -x991 -x1689 -x2038 -x2387 -x3085 -x3788 -x4139 -x4490 -x4841 -x5192 -x5543 -x5894 -x6245 -x6596 -x643 -x992 -x1341 -x2039 x2388 -x3086 -x3435 -x3789 -x4140 -x5544 -x5895 -x6246 -x6597 -x6948 -x7299 -x7650 -x8001 -x2738 -x3087 -x3790 -x4141 -x8353 -x2041 -x2739 -x297 -x1693 -x2740 -x3089 -x3791 -x4142 -x4493 -x4844 -x5195 -x8354 -x2741 -x3090 -x3792 -x4143 -x8355 -x2742 -x3091 -x3793 -x4144 -x8356 -x1347 -x2743 -x3092 -x3441 -x3794 -x4145 -x6953 -x7304 -x7655 -x8006 -x8357 -x301 -x650 -x999 -x1348 -x1697 -x2046 -x2395 x2744 -x3093 -x3442 x3795 -x4146 -x4497 -x4848 -x5199 -x5550 -x5901 -x6252 -x6603 -x6954 -x7305 -x7656 -x8007 -x8358 -x2745 -x3094 -x3796 -x4147 -x1351 -x2747 -x3445 -x4149 -x6957 -x7308 -x7659 -x8010 -x8361 -x1352 -x2748 -x3097 -x3446 -x3799 -x4150 -x6958 -x7309 -x7660 -x8011 -x8362 -x307 x656 -x1005 -x1354 -x1703 -x2052 -x2401 -x3448 -x4152 -x4503 -x4854 -x5205 -x5556 -x5907 -x6258 -x6609 -x6960 -x7311 -x7662 -x8013 -x308 -x1355 -x1704 -x3449 -x4504 -x4855 -x5206 -x6961 -x7312 -x7663 -x8014 -x309 -x1356 -x1705 -x2752 -x3450 -x4505 -x4856 -x5207 -x6962 -x7313 -x7664 -x8015 -x8366 -x2753 -x3102 -x3804 -x8367 -x2756 -x8369 -x2757 -x3106 -x3807 -x4158 -x8370 -x315 -x664 -x1013 -x1711 -x2060 -x2409 -x2758 -x4159 -x4510 -x4861 -x5212 -x5914 -x6265 -x6616 -x8371 -x316 -x1363 -x1712 -x2061 -x2759 -x3457 -x4160 -x4511 -x4862 -x5213 -x5564 -x6968 -x7319 -x7670 -x8021 -x8372 -x317 -x666 -x1015 -x1713 -x2411 -x2760 -x4161 -x4512 -x4863 -x5214 -x5916 -x6267 -x6618 -x8373 -x1365 -x2761 -x3110 -x3459 -x3811 -x4162 -x6970 -x7321 -x7672 -x8023 -x8374 -x668 -x1017 -x1366 -x2064 x2413 -x2762 -x3111 -x3460 -x3812 -x5567 -x5918 -x6269 -x6620 -x6971 -x7322 -x7673 -x8024 -x8375 x320 -x1367 -x1716 -x2763 -x3112 -x3461 -x3813 -x4515 -x4866 -x5217 -x6972 -x7323 -x7674 -x8025 -x8376 -x670 -x1019 -x2066 -x2415 -x2764 -x4165 -x5569 -x5920 -x6271 -x6622 -x8377 -x2766 -x8379 -x324 -x673 -x1022 -x1371 -x1720 -x2069 -x2418 x2767 -x3116 -x3465 -x3817 -x4168 -x4519 -x4870 -x5221 -x5923 x6274 -x6625 -x6976 -x7327 -x7678 -x8029 -x8380 -x325 -x1721 -x2768 -x3117 -x3818 -x4169 -x4520 -x4871 -x5222 -x8381 -x2769 -x3118 -x3819 -x8382 -x327 x676 -x1025 -x1723 -x2072 -x2421 -x2770 -x3119 -x3820 -x4171 -x4522 -x4873 -x5224 -x5926 -x6277 -x6628 -x8383 -x2771 -x3120 -x3821 -x8384 -x329 -x678 -x1027 -x1376 -x1725 -x2074 -x2423 x3470 -x4173 -x4524 -x4875 -x5226 -x5577 -x5928 -x6279 -x6630 -x6981 -x7332 -x7683 -x8034 -x679 -x1028 -x2075 -x2424 -x2773 -x4174 -x5578 -x5929 -x6280 -x6631 -x8386 -x331 -x680 -x1029 -x1378 -x1727 -x2076 -x2425 -x3472 -x4175 -x4526 -x4877 -x5228 -x5579 -x5930 -x6281 -x6632 -x6983 -x7334 -x7685 -x8036 -x2775 -x3124 -x3825 -x4176 -x8388 -x333 -x682 -x1031 -x1380 -x1729 -x2078 -x2427 -x2776 -x3474 -x4528 -x4879 -x5230 -x5932 -x6283 -x6634 -x6985 -x7336 -x7687 -x8038 -x2777 -x3126 -x3827 -x4178 -x8390 -x335 -x1382 -x1731 -x3476 -x4530 -x4881 -x5232 -x6987 -x7338 -x7689 -x8040 -x4181 -x338 -x687 -x1036 x1385 -x1734 -x2432 -x2781 -x3130 -x3479 -x3831 -x4182 -x4533 -x4884 -x5235 -x5586 -x5937 -x6288 x6639 -x6990 -x7341 -x7692 -x8043 -x2782 -x3131 -x3832 -x4183 -x8395 -x2784 -x3133 -x4185 -x4536 -x4887 -x5238 -x5589 -x5940 -x6291 -x6642 -x8397 -x691 -x1040 -x1389 -x2087 -x2436 -x2785 -x3483 -x5941 -x6292 -x6643 -x6994 -x7345 -x7696 -x8047 -x8398 -x343 -x1390 -x1739 -x2088 -x3484 -x4187 -x4538 -x4889 -x5240 -x5591 -x6995 -x7346 -x7697 -x8048 -x8399 -x2089 -x2787 -x5592 -x8400 -x345 -x1741 -x3137 -x3838 -x4189 -x4540 -x4891 -x5242 -x2789 -x3138 -x3839 -x4190 -x8402 -x2790 -x8403 -x3841 -x4543 -x4894 -x5245 -x5596 -x5947 -x6298 -x6649 -x8404 -x349 -x698 -x1047 -x1396 -x1745 -x2094 -x2443 -x3141 -x3490 -x350 -x699 -x1048 -x1397 -x1746 -x2444 -x3142 -x3491 -x3842 -x4193 -x4544 -x4895 -x5246 -x5597 -x5948 -x6299 -x6650 -x7001 x7352 -x7703 -x8054 -x8405 x1 -x7 -x8 -x9 -x23 -x37 -x39 -x40 -x42 -x44 -x45 -x46 -x47 -x53 -x64 -x79 -x89 -x92 -x98 -x100 -x103 -x117 -x119 -x120 -x124 -x128 -x130 -x140 -x149 -x150 -x153 -x158 -x160 -x161 -x167 -x172 -x179 -x183 -x184 -x185 -x189 -x193 -x216 -x222 -x234 -x237 -x240 -x241 -x243 -x256 -x261 -x275 x288 -x289 -x290 -x303 -x306 -x312 -x321 -x323 -x337 -x340 -x347 -x348 -x355 -x358 -x372 -x376 -x386 -x388 -x391 -x393 -x395 -x396 -x399 -x412 -x418 -x427 -x437 -x438 -x445 x447 -x454 -x457 -x463 -x464 -x469 -x471 x473 -x477 -x479 -x481 -x490 -x491 -x493 -x507 -x510 -x532 -x533 -x534 -x551 -x556 -x558 -x566 x567 -x568 -x571 -x576 -x583 -x586 -x587 -x589 -x594 -x596 -x598 -x609 -x611 -x613 -x622 -x635 -x641 -x652 -x654 -x655 -x660 -x671 -x672 -x675 -x677 -x684 -x689 -x694 -x696 -x697 -x704 x707 -x721 -x723 x725 -x735 -x737 -x740 -x742 -x744 -x745 -x748 -x761 -x767 -x776 -x786 -x787 -x794 -x796 -x803 -x806 -x812 -x813 -x818 -x820 -x822 -x826 -x828 -x830 -x839 -x840 -x842 x856 -x859 -x881 -x882 -x883 -x900 -x905 -x907 -x915 -x916 -x917 -x920 -x925 -x932 -x935 -x936 -x938 -x943 -x945 -x947 -x958 x960 -x962 -x971 -x984 -x990 -x1001 -x1003 -x1004 -x1009 -x1020 -x1021 -x1024 -x1026 -x1033 -x1038 -x1043 -x1045 -x1046 -x1054 -x1055 -x1070 -x1083 -x1084 -x1086 x1087 -x1088 -x1089 x1091 -x1092 -x1093 -x1094 -x1110 -x1121 -x1137 -x1142 -x1143 -x1145 -x1149 -x1151 -x1152 -x1155 -x1162 -x1167 x1175 -x1176 -x1189 -x1194 -x1199 -x1208 -x1214 -x1222 -x1226 -x1230 x1231 x1232 -x1237 -x1240 -x1254 -x1257 -x1259 -x1265 -x1269 -x1281 -x1283 x1284 -x1287 -x1292 -x1303 -x1307 -x1309 -x1311 -x1319 -x1327 -x1335 -x1336 x1337 -x1343 -x1350 x1353 -x1358 -x1364 x1369 -x1379 -x1384 -x1387 -x1388 -x1395 -x1403 -x1404 -x1405 -x1419 -x1433 -x1435 -x1436 -x1438 -x1440 -x1441 -x1442 -x1443 -x1449 -x1460 -x1475 -x1485 -x1488 -x1494 -x1496 -x1499 -x1513 -x1515 -x1516 -x1520 -x1524 -x1526 -x1536 -x1545 -x1546 -x1549 -x1554 -x1556 -x1557 -x1563 -x1568 -x1575 x1579 -x1580 -x1581 -x1585 -x1589 -x1605 -x1612 -x1618 -x1630 -x1633 x1636 -x1637 -x1639 -x1652 -x1657 -x1671 -x1684 -x1685 -x1686 -x1699 -x1702 -x1708 -x1717 -x1719 -x1733 -x1736 -x1743 -x1744 -x1751 -x1768 -x1770 -x1772 -x1782 -x1784 x1787 -x1789 -x1791 -x1792 -x1795 -x1808 -x1814 -x1823 -x1824 -x1833 x1834 -x1837 -x1840 -x1841 -x1842 -x1843 -x1845 -x1847 -x1848 -x1850 -x1852 -x1853 -x1860 -x1867 -x1869 -x1875 -x1877 -x1886 -x1889 -x1903 -x1906 -x1928 -x1929 -x1930 -x1947 -x1952 -x1962 -x1963 -x1964 -x1967 -x1972 -x1977 -x1979 -x1982 -x1985 -x1992 -x1994 -x2007 -x2009 -x2012 -x2017 -x2020 -x2031 -x2037 -x2050 -x2051 -x2056 -x2067 -x2068 -x2071 -x2073 -x2077 -x2080 -x2085 -x2090 -x2093 -x2100 -x2103 -x2117 -x2119 -x2121 -x2131 -x2133 -x2136 -x2138 -x2140 -x2141 -x2144 -x2157 -x2163 -x2172 -x2182 -x2183 -x2190 -x2192 -x2199 -x2202 -x2208 -x2209 -x2214 -x2216 -x2218 -x2222 -x2224 -x2226 -x2235 -x2238 -x2252 -x2255 -x2277 -x2278 -x2279 -x2296 x2301 -x2311 -x2312 -x2313 -x2316 -x2321 -x2328 -x2331 -x2332 -x2334 -x2339 -x2341 -x2343 -x2354 -x2356 -x2358 -x2367 -x2380 -x2386 -x2397 -x2399 -x2400 -x2405 -x2416 -x2417 -x2420 -x2422 -x2429 -x2434 -x2439 -x2442 -x2447 -x2450 -x2452 x2460 -x2469 -x2474 -x2475 -x2478 -x2484 -x2518 -x2532 -x2535 -x2541 -x2546 -x2547 -x2559 -x2567 x2573 -x2584 -x2585 -x2595 -x2619 -x2622 -x2628 -x2635 -x2636 -x2638 -x2640 -x2652 -x2656 x2660 -x2671 -x2674 -x2677 -x2680 -x2690 -x2698 -x2710 -x2716 -x2717 -x2724 -x2725 -x2729 -x2735 -x2737 -x2746 -x2749 -x2754 -x2755 -x2765 -x2788 -x2791 x2792 -x2794 -x2798 -x2799 -x2801 -x2809 -x2815 -x2819 -x2829 -x2832 -x2835 -x2839 -x2884 -x2890 -x2895 -x2907 -x2916 -x2927 -x2968 -x2971 -x2975 -x2976 -x2978 -x2987 -x2989 -x2995 -x3001 -x3006 -x3012 -x3019 -x3029 -x3037 -x3066 -x3076 -x3078 -x3080 -x3084 -x3098 -x3103 -x3104 -x3127 -x3128 -x3129 x3134 -x3135 x3148 -x3149 -x3164 -x3177 -x3178 -x3180 -x3181 -x3182 -x3183 -x3185 -x3186 x3187 -x3188 -x3204 -x3215 -x3231 -x3236 -x3237 -x3239 -x3243 -x3245 -x3246 -x3249 -x3256 -x3261 -x3269 -x3270 -x3283 -x3288 -x3293 -x3302 -x3308 -x3316 -x3320 -x3324 -x3325 -x3326 x3331 -x3334 -x3348 -x3350 -x3351 -x3353 -x3359 x3363 -x3375 -x3377 -x3378 -x3381 -x3386 -x3397 -x3401 -x3403 -x3405 -x3413 -x3421 -x3429 -x3430 -x3431 -x3437 -x3444 -x3447 -x3452 -x3458 -x3463 -x3473 -x3478 -x3481 -x3482 -x3489 -x3492 -x3496 -x3497 -x3499 -x3507 -x3513 -x3517 -x3527 -x3530 -x3533 -x3537 -x3585 -x3591 -x3597 -x3609 -x3618 -x3629 -x3671 -x3674 x3677 -x3678 -x3680 -x3689 -x3691 -x3697 -x3703 -x3708 -x3714 -x3730 -x3738 -x3767 -x3778 -x3780 -x3782 -x3785 -x3787 -x3800 -x3805 -x3828 -x3829 -x3830 -x3834 -x3835 x3836 -x3845 -x3847 -x3848 -x3849 -x3851 -x3852 -x3857 x3859 -x3864 -x3880 -x3883 -x3886 -x3887 -x3894 -x3906 -x3936 -x3942 -x3948 -x3952 -x3959 -x3960 -x3974 -x3986 -x3987 -x4011 -x4012 -x4018 -x4019 -x4020 -x4025 -x4028 -x4029 -x4030 -x4038 -x4045 -x4047 -x4048 -x4052 -x4054 -x4058 -x4059 -x4062 -x4063 x4065 -x4067 -x4072 -x4075 -x4078 -x4080 -x4091 -x4106 -x4108 -x4111 -x4125 -x4131 -x4136 -x4138 x4148 -x4151 -x4167 -x4170 -x4172 -x4184 -x4186 -x4192 -x4199 -x4200 -x4201 -x4215 -x4229 -x4231 -x4232 -x4234 -x4236 -x4237 -x4238 -x4239 -x4245 -x4258 -x4274 -x4284 -x4287 -x4293 -x4295 -x4299 -x4313 -x4315 -x4316 -x4320 -x4324 -x4326 -x4336 -x4345 -x4346 -x4349 -x4354 -x4356 -x4357 -x4363 -x4368 -x4370 -x4376 -x4379 -x4380 -x4381 -x4385 -x4389 -x4405 -x4412 -x4418 -x4429 -x4432 -x4435 -x4436 -x4438 -x4451 -x4456 -x4470 -x4472 -x4484 -x4485 -x4486 -x4499 -x4502 -x4507 -x4516 -x4518 -x4532 -x4535 -x4542 -x4550 -x4551 -x4552 -x4566 -x4580 -x4582 -x4583 -x4585 -x4587 -x4588 -x4589 -x4590 -x4596 -x4609 -x4625 -x4635 -x4638 -x4644 -x4646 -x4650 -x4664 -x4666 -x4667 -x4671 -x4675 -x4677 -x4687 -x4696 -x4697 -x4700 -x4705 -x4707 -x4708 -x4714 -x4719 -x4727 -x4730 -x4731 -x4732 -x4736 -x4740 -x4756 -x4763 -x4769 -x4780 -x4783 -x4786 -x4787 -x4789 -x4802 -x4807 -x4821 -x4823 -x4835 -x4836 -x4837 -x4850 -x4853 -x4858 -x4867 -x4869 -x4883 -x4886 -x4893 -x4901 -x4902 -x4903 -x4917 -x4931 -x4933 -x4934 -x4936 -x4938 -x4939 -x4940 -x4941 -x4947 -x4960 -x4976 -x4986 -x4989 -x4995 -x4997 -x5001 -x5015 -x5017 -x5018 -x5022 -x5026 -x5028 -x5038 -x5047 -x5048 -x5051 -x5056 -x5058 -x5059 -x5065 -x5070 -x5072 -x5078 -x5081 -x5082 -x5083 -x5087 -x5091 -x5114 -x5131 -x5134 -x5138 -x5140 -x5153 -x5158 -x5172 -x5174 -x5186 -x5187 -x5188 -x5204 -x5209 -x5218 -x5220 -x5237 -x5244 -x5249 -x5252 -x5260 -x5267 -x5268 -x5272 -x5282 -x5286 -x5292 -x5326 -x5327 -x5333 -x5336 -x5337 -x5340 -x5343 -x5344 -x5345 -x5346 -x5348 -x5350 -x5352 -x5353 -x5354 -x5356 -x5363 -x5373 -x5379 -x5390 -x5391 -x5407 -x5410 -x5432 -x5433 -x5434 -x5441 -x5451 -x5456 -x5457 -x5466 -x5467 -x5468 -x5471 -x5476 -x5479 -x5480 -x5482 -x5485 -x5486 -x5488 -x5495 -x5510 -x5515 -x5520 -x5523 -x5525 -x5529 -x5535 -x5542 -x5549 -x5555 -x5570 -x5571 -x5580 -x5583 -x5588 -x5593 -x5595 -x5605 -x5619 -x5621 -x5623 -x5633 -x5635 -x5638 -x5640 -x5642 -x5643 -x5646 -x5661 -x5667 -x5677 -x5687 -x5688 -x5695 -x5697 -x5705 -x5708 -x5714 -x5715 -x5720 -x5722 -x5724 -x5728 -x5730 -x5732 -x5741 -x5744 -x5758 -x5761 -x5774 -x5783 -x5784 -x5785 -x5802 -x5807 -x5818 -x5819 -x5822 -x5833 -x5836 -x5837 -x5839 -x5846 -x5848 -x5859 -x5861 -x5863 -x5872 -x5886 -x5893 -x5903 -x5905 -x5906 -x5921 -x5922 -x5925 -x5927 -x5934 -x5939 -x5944 -x5953 -x5956 x5970 -x5972 -x5974 -x5984 x5986 -x5989 x5991 -x5993 -x5994 -x5997 -x6012 x6018 -x6028 -x6038 -x6039 -x6046 -x6048 -x6056 -x6059 -x6065 -x6066 -x6071 x6073 -x6075 x6079 -x6081 -x6083 -x6092 -x6093 -x6095 -x6109 -x6112 -x6125 -x6134 -x6135 x6136 -x6153 -x6158 -x6168 -x6170 -x6184 -x6187 -x6188 -x6195 -x6197 -x6199 -x6210 -x6212 -x6214 -x6223 -x6237 -x6244 -x6256 -x6257 -x6272 -x6273 -x6276 -x6278 x6290 -x6295 -x6297 -x6304 -x6307 -x6321 -x6323 -x6325 -x6335 -x6337 -x6340 -x6342 -x6345 -x6348 x6363 -x6369 -x6379 x6389 -x6390 -x6397 -x6399 -x6407 -x6410 -x6416 -x6417 x6422 -x6424 -x6426 -x6430 -x6432 -x6434 -x6443 -x6444 -x6446 -x6460 x6463 x6476 -x6485 x6486 -x6487 -x6504 -x6509 -x6519 -x6520 -x6521 x6524 x6535 x6538 x6539 x6541 -x6546 -x6548 -x6550 -x6561 -x6563 -x6565 -x6574 -x6588 -x6595 -x6605 x6607 x6608 -x6623 -x6624 -x6627 -x6629 -x6636 -x6641 -x6646 -x6648 -x6656 -x6657 -x6672 -x6685 -x6686 -x6688 -x6689 -x6690 -x6691 -x6693 -x6694 -x6695 -x6696 -x6714 -x6725 -x6742 -x6747 -x6748 -x6750 -x6754 -x6757 -x6758 -x6761 -x6768 -x6773 -x6781 -x6782 -x6795 -x6800 -x6805 -x6814 -x6820 -x6827 -x6829 -x6833 -x6836 -x6837 -x6838 -x6843 -x6846 -x6860 -x6863 -x6865 -x6871 -x6875 -x6886 -x6888 -x6889 -x6892 -x6897 -x6908 -x6912 -x6914 -x6916 -x6924 -x6929 -x6933 -x6941 -x6942 -x6943 -x6956 -x6959 -x6969 -x6974 -x6984 -x6989 -x6992 -x7007 -x7008 -x7023 -x7036 -x7037 -x7039 -x7040 -x7041 -x7042 -x7044 -x7045 -x7046 -x7047 -x7065 -x7076 x7093 -x7098 -x7099 x7101 -x7105 -x7108 -x7109 x7112 -x7119 -x7124 -x7132 -x7133 -x7146 -x7151 -x7156 -x7165 -x7171 -x7178 -x7180 x7184 -x7187 -x7188 -x7189 -x7194 -x7197 -x7211 -x7213 -x7214 -x7216 -x7222 -x7226 -x7237 -x7239 -x7240 -x7243 -x7248 -x7259 -x7263 -x7265 x7267 -x7275 -x7280 -x7284 -x7292 -x7293 -x7294 -x7307 -x7310 -x7320 -x7325 -x7335 -x7340 -x7343 -x7358 x7359 -x7374 -x7387 -x7388 -x7390 -x7391 -x7392 -x7393 -x7395 -x7396 -x7397 -x7398 -x7416 -x7427 -x7444 -x7449 -x7450 -x7452 -x7456 -x7459 -x7460 -x7463 -x7470 -x7475 -x7483 -x7497 -x7502 -x7507 -x7516 -x7522 -x7529 -x7531 -x7535 -x7538 -x7539 -x7540 -x7545 -x7548 -x7562 -x7564 -x7565 -x7567 x7573 -x7577 -x7588 -x7590 -x7591 -x7594 -x7599 -x7610 -x7614 -x7616 -x7618 -x7626 -x7631 -x7635 -x7643 -x7644 -x7645 -x7658 -x7661 -x7671 -x7676 -x7686 -x7691 -x7694 -x7709 -x7710 -x7725 -x7739 -x7741 -x7742 -x7743 -x7744 -x7746 -x7747 -x7748 -x7749 -x7767 -x7778 -x7795 -x7800 -x7801 -x7803 -x7807 -x7810 -x7811 -x7814 -x7821 -x7826 -x7834 -x7835 -x7848 -x7853 -x7858 -x7867 -x7873 -x7880 -x7882 -x7886 -x7889 -x7890 -x7891 -x7899 -x7913 -x7915 -x7916 -x7918 -x7924 -x7928 -x7939 -x7941 -x7942 -x7945 -x7950 -x7961 -x7965 -x7967 -x7969 -x7977 -x7982 -x7986 -x7994 -x7995 -x7996 -x8009 -x8012 -x8022 -x8027 -x8037 -x8042 -x8045 -x8057 -x8059 -x8060 -x8062 -x8071 -x8079 -x8084 -x8085 -x8090 -x8100 -x8145 -x8148 -x8153 -x8154 -x8160 -x8161 -x8164 -x8187 -x8198 -x8199 -x8209 -x8231 -x8234 -x8237 -x8242 -x8250 -x8252 -x8254 -x8266 -x8270 -x8274 -x8293 -x8323 -x8329 -x8333 -x8339 -x8343 -x8363 -x8368 -x8378 -x8389 -x8391
OK 8616
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3725947-1338654274/watcher-3725947-1338654274 -o /tmp/evaluation-result-3725947-1338654274/solver-3725947-1338654274 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725947-1338654274.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.72 3.94 3.85 4/178 29902 /proc/meminfo: memFree=29498392/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=6388 CPUtime=0 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) R 29900 29902 27825 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 331552851 6541312 703 33554432000 4194304 5964478 140735833404448 140735833402392 4395406 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 1597 705 159 433 0 1026 0 [startup+0.0186439 s] /proc/loadavg: 3.72 3.94 3.85 4/178 29902 /proc/meminfo: memFree=29498392/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=9276 CPUtime=0.01 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) R 29900 29902 27825 0 -1 4202496 1463 0 0 0 1 0 0 0 20 0 1 0 331552851 9498624 1416 33554432000 4194304 5964478 140735833404448 140735833402392 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 2319 1420 196 433 0 1748 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9276 [startup+0.100169 s] /proc/loadavg: 3.72 3.94 3.85 4/178 29902 /proc/meminfo: memFree=29498392/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=173280 CPUtime=0.13 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 6600 0 0 0 12 1 0 0 20 0 3 0 331552851 177438720 6114 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 43320 6115 195 433 0 42884 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 173280 [startup+0.300162 s] /proc/loadavg: 3.72 3.94 3.85 4/178 29902 /proc/meminfo: memFree=29498392/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=173280 CPUtime=0.53 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 9246 0 0 0 51 2 0 0 20 0 3 0 331552851 177438720 8106 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 43320 8106 197 433 0 42884 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 173280 [startup+0.700162 s] /proc/loadavg: 3.72 3.94 3.85 4/178 29902 /proc/meminfo: memFree=29498392/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=173924 CPUtime=1.33 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 12478 0 0 0 129 4 0 0 20 0 3 0 331552851 178098176 10723 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 43481 10723 197 433 0 43045 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 173924 [startup+1.50022 s] /proc/loadavg: 3.72 3.94 3.85 5/181 29905 /proc/meminfo: memFree=29441964/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=173280 CPUtime=2.93 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 18133 0 0 0 288 5 0 0 20 0 3 0 331552851 177438720 14525 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 43320 14525 198 433 0 42884 0 [pid=29902/tid=29904] ppid=29900 vsize=173280 CPUtime=1.43 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 9904 0 0 0 140 3 0 0 20 0 3 0 331552857 177438720 14525 33554432000 4194304 5964478 140735833404448 140359282702680 4388703 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=173280 CPUtime=1.43 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 5262 0 0 0 141 2 0 0 20 0 3 0 331552857 177438720 14525 33554432000 4194304 5964478 140735833404448 140359272212792 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.93 Current children cumulated vsize (KiB) 173280 [startup+3.10025 s] /proc/loadavg: 3.72 3.94 3.85 5/181 29905 /proc/meminfo: memFree=29424008/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=173280 CPUtime=6.12 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 24042 0 0 0 605 7 0 0 20 0 3 0 331552851 177438720 20154 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 43320 20154 198 433 0 42884 0 [pid=29902/tid=29904] ppid=29900 vsize=173280 CPUtime=3.03 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 10861 0 0 0 300 3 0 0 20 0 3 0 331552857 177438720 20155 33554432000 4194304 5964478 140735833404448 140359282702728 4389170 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=173280 CPUtime=3.03 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 10215 0 0 0 298 5 0 0 20 0 3 0 331552857 177438720 20155 33554432000 4194304 5964478 140735833404448 140359272212792 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.12 Current children cumulated vsize (KiB) 173280 [startup+6.30028 s] /proc/loadavg: 3.75 3.94 3.85 5/181 29905 /proc/meminfo: memFree=29397596/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=173280 CPUtime=12.53 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 26130 0 0 0 1245 8 0 0 20 0 3 0 331552851 177438720 21779 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 43320 21779 198 433 0 42884 0 [pid=29902/tid=29904] ppid=29900 vsize=173280 CPUtime=6.23 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 11791 0 0 0 620 3 0 0 20 0 3 0 331552857 177438720 21779 33554432000 4194304 5964478 140735833404448 140359282702264 4400435 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=173280 CPUtime=6.23 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 11372 0 0 0 618 5 0 0 20 0 3 0 331552857 177438720 21779 33554432000 4194304 5964478 140735833404448 140359272212792 4403367 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.53 Current children cumulated vsize (KiB) 173280 [startup+12.7002 s] /proc/loadavg: 3.77 3.94 3.85 5/181 29905 /proc/meminfo: memFree=29263296/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=238816 CPUtime=25.33 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 38607 0 0 0 2520 13 0 0 20 0 3 0 331552851 244547584 34255 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 59704 34255 198 433 0 59268 0 [pid=29902/tid=29904] ppid=29900 vsize=238816 CPUtime=12.63 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 14486 0 0 0 1259 4 0 0 20 0 3 0 331552857 244547584 34255 33554432000 4194304 5964478 140735833404448 140359282702872 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=238816 CPUtime=12.63 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 21154 0 0 0 1254 9 0 0 20 0 3 0 331552857 244547584 34255 33554432000 4194304 5964478 140735833404448 140359272212792 4382031 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 238816 [startup+25.5003 s] /proc/loadavg: 3.82 3.94 3.85 5/181 29905 /proc/meminfo: memFree=29123544/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=238816 CPUtime=50.93 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 48563 0 0 0 5075 18 0 0 20 0 3 0 331552851 244547584 44211 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 59704 44211 198 433 0 59268 0 [pid=29902/tid=29904] ppid=29900 vsize=238816 CPUtime=25.43 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 15629 0 0 0 2538 5 0 0 20 0 3 0 331552857 244547584 44211 33554432000 4194304 5964478 140735833404448 140359282702872 4403367 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=238816 CPUtime=25.43 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 29967 0 0 0 2529 14 0 0 20 0 3 0 331552857 244547584 44211 33554432000 4194304 5964478 140735833404448 140359272212792 4389601 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 50.93 Current children cumulated vsize (KiB) 238816 [startup+51.1003 s] /proc/loadavg: 3.88 3.95 3.85 5/181 29905 /proc/meminfo: memFree=28965164/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=371496 CPUtime=102.11 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 75548 0 0 0 10182 29 0 0 20 0 3 0 331552851 380411904 71195 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 92874 71195 198 433 0 92438 0 [pid=29902/tid=29904] ppid=29900 vsize=371496 CPUtime=51.03 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 18419 0 0 0 5097 6 0 0 20 0 3 0 331552857 380411904 71195 33554432000 4194304 5964478 140735833404448 140359282702872 5142487 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=371496 CPUtime=51.03 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 54162 0 0 0 5078 25 0 0 20 0 3 0 331552857 380411904 71195 33554432000 4194304 5964478 140735833404448 140359272212792 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.11 Current children cumulated vsize (KiB) 371496 [startup+102.307 s] /proc/loadavg: 3.95 3.95 3.86 5/181 29905 /proc/meminfo: memFree=28898480/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=374488 CPUtime=204.51 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 82411 0 0 0 20417 34 0 0 20 0 3 0 331552851 383475712 76970 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 93622 76970 199 433 0 93186 0 [pid=29902/tid=29904] ppid=29900 vsize=374488 CPUtime=102.24 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 20458 0 0 0 10215 9 0 0 20 0 3 0 331552857 383475712 76970 33554432000 4194304 5964478 140735833404448 140359282701848 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=374488 CPUtime=102.24 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 58986 0 0 0 10196 28 0 0 20 0 3 0 331552857 383475712 76970 33554432000 4194304 5964478 140735833404448 140359272212552 4378836 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 204.51 Current children cumulated vsize (KiB) 374488 [startup+162.3 s] /proc/loadavg: 4.04 3.97 3.87 5/182 29906 /proc/meminfo: memFree=28726528/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=441940 CPUtime=324.48 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 88695 0 0 0 32406 42 0 0 20 0 3 0 331552851 452546560 83254 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 110485 83254 199 433 0 110049 0 [pid=29902/tid=29904] ppid=29900 vsize=441940 CPUtime=162.24 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 26373 0 0 0 16206 18 0 0 20 0 3 0 331552857 452546560 83254 33554432000 4194304 5964478 140735833404448 140359282702136 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=441940 CPUtime=162.24 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 59355 0 0 0 16195 29 0 0 20 0 3 0 331552857 452546560 83254 33554432000 4194304 5964478 140735833404448 140359272212552 4403713 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 324.48 Current children cumulated vsize (KiB) 441940 [startup+222.3 s] /proc/loadavg: 4.07 3.99 3.88 5/181 29907 /proc/meminfo: memFree=28506728/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=507640 CPUtime=444.46 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 120433 0 0 0 44378 68 0 0 20 0 3 0 331552851 519823360 114396 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 126910 114396 199 433 0 126474 0 [pid=29902/tid=29904] ppid=29900 vsize=507640 CPUtime=222.24 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 36214 0 0 0 22200 24 0 0 20 0 3 0 331552857 519823360 114396 33554432000 4194304 5964478 140735833404448 140359282703288 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=507640 CPUtime=222.24 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 81252 0 0 0 22173 51 0 0 20 0 3 0 331552857 519823360 114396 33554432000 4194304 5964478 140735833404448 140359272212792 4381702 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 444.46 Current children cumulated vsize (KiB) 507640 [startup+282.3 s] /proc/loadavg: 4.02 3.99 3.89 5/181 29907 /proc/meminfo: memFree=28428840/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=574348 CPUtime=564.43 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 125744 0 0 0 56372 71 0 0 20 0 3 0 331552851 588132352 119199 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 143587 119199 199 433 0 143151 0 [pid=29902/tid=29904] ppid=29900 vsize=574348 CPUtime=282.24 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 36275 0 0 0 28199 25 0 0 20 0 3 0 331552857 588132352 119199 33554432000 4194304 5964478 140735833404448 140359282702872 4400018 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=574348 CPUtime=282.23 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 86502 0 0 0 28169 54 0 0 20 0 3 0 331552857 588132352 119199 33554432000 4194304 5964478 140735833404448 140359272212792 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 564.43 Current children cumulated vsize (KiB) 574348 [startup+342.3 s] /proc/loadavg: 4.01 3.99 3.89 5/182 29910 /proc/meminfo: memFree=28315420/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=640072 CPUtime=684.39 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 153048 0 0 0 68348 91 0 0 20 0 3 0 331552851 655433728 146496 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 160018 146496 199 433 0 159582 0 [pid=29902/tid=29904] ppid=29900 vsize=640072 CPUtime=342.25 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 36365 0 0 0 34199 26 0 0 20 0 3 0 331552857 655433728 146496 33554432000 4194304 5964478 140735833404448 140359282702872 4399912 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=640072 CPUtime=342.2 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 113716 0 0 0 34145 75 0 0 20 0 3 0 331552857 655433728 146496 33554432000 4194304 5964478 140735833404448 140359272212792 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 684.39 Current children cumulated vsize (KiB) 640072 [startup+402.3 s] /proc/loadavg: 4.00 3.99 3.90 5/181 29910 /proc/meminfo: memFree=28194144/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=838396 CPUtime=804.34 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 182199 0 0 0 80320 114 0 0 20 0 3 0 331552851 858517504 175626 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 209599 175626 199 433 0 209163 0 [pid=29902/tid=29904] ppid=29900 vsize=838396 CPUtime=402.25 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 40006 0 0 0 40194 31 0 0 20 0 3 0 331552857 858517504 175626 33554432000 4194304 5964478 140735833404448 140359282702376 4400018 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=838396 CPUtime=402.18 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 139226 0 0 0 40121 97 0 0 20 0 3 0 331552857 858517504 175626 33554432000 4194304 5964478 140735833404448 140359272212552 4222304 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 804.34 Current children cumulated vsize (KiB) 838396 [startup+462.3 s] /proc/loadavg: 4.00 3.99 3.90 5/181 29910 /proc/meminfo: memFree=27925076/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=1036308 CPUtime=924.27 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 235431 0 0 0 92281 146 0 0 20 0 3 0 331552851 1061179392 227562 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 259077 227562 199 433 0 258641 0 [pid=29902/tid=29904] ppid=29900 vsize=1036308 CPUtime=462.22 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 42303 0 0 0 46188 34 0 0 20 0 3 0 331552857 1061179392 227562 33554432000 4194304 5964478 140735833404448 140359282702872 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=1036308 CPUtime=462.16 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 190161 0 0 0 46088 128 0 0 20 0 3 0 331552857 1061179392 227562 33554432000 4194304 5964478 140735833404448 140359272212792 4399986 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 924.27 Current children cumulated vsize (KiB) 1036308 [startup+522.3 s] /proc/loadavg: 4.00 3.99 3.91 5/181 29911 /proc/meminfo: memFree=27717376/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=1102308 CPUtime=1044.23 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 249908 0 0 0 104266 157 0 0 20 0 3 0 331552851 1128763392 243020 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 275577 243020 199 433 0 275141 0 [pid=29902/tid=29904] ppid=29900 vsize=1102308 CPUtime=522.2 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 42334 0 0 0 52186 34 0 0 20 0 3 0 331552857 1128763392 243020 33554432000 4194304 5964478 140735833404448 140359282702872 4400490 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=1102308 CPUtime=522.16 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 204607 0 0 0 52078 138 0 0 20 0 3 0 331552857 1128763392 243020 33554432000 4194304 5964478 140735833404448 140359272212552 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1044.23 Current children cumulated vsize (KiB) 1102308 [startup+582.3 s] /proc/loadavg: 4.00 3.99 3.91 5/181 29911 /proc/meminfo: memFree=27782296/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=1102592 CPUtime=1164.21 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 249982 0 0 0 116264 157 0 0 20 0 3 0 331552851 1129054208 243094 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 275648 243094 199 433 0 275212 0 [pid=29902/tid=29904] ppid=29900 vsize=1102592 CPUtime=582.2 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 42338 0 0 0 58185 35 0 0 20 0 3 0 331552857 1129054208 243094 33554432000 4194304 5964478 140735833404448 140359282702872 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=1102592 CPUtime=582.16 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 204677 0 0 0 58077 139 0 0 20 0 3 0 331552857 1129054208 243094 33554432000 4194304 5964478 140735833404448 140359272212552 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1164.21 Current children cumulated vsize (KiB) 1102592 [startup+642.3 s] /proc/loadavg: 4.06 4.00 3.91 5/181 29911 /proc/meminfo: memFree=27584796/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=1102912 CPUtime=1284.2 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 261945 0 0 0 128255 165 0 0 20 0 3 0 331552851 1129381888 255057 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 275728 255057 199 433 0 275292 0 [pid=29902/tid=29904] ppid=29900 vsize=1102912 CPUtime=642.21 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 42340 0 0 0 64185 36 0 0 20 0 3 0 331552857 1129381888 255057 33554432000 4194304 5964478 140735833404448 140359282702872 4400010 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=1102912 CPUtime=642.17 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 216638 0 0 0 64068 149 0 0 20 0 3 0 331552857 1129381888 255057 33554432000 4194304 5964478 140735833404448 140359272212552 4373442 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1284.2 Current children cumulated vsize (KiB) 1102912 [startup+702.3 s] /proc/loadavg: 4.09 4.02 3.92 5/181 29911 /proc/meminfo: memFree=27475720/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=1103896 CPUtime=1404.17 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 262149 0 0 0 140252 165 0 0 20 0 3 0 331552851 1130389504 255261 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 275974 255261 199 433 0 275538 0 [pid=29902/tid=29904] ppid=29900 vsize=1103896 CPUtime=702.21 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 42340 0 0 0 70184 37 0 0 20 0 3 0 331552857 1130389504 255261 33554432000 4194304 5964478 140735833404448 140359282702872 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=1103896 CPUtime=702.17 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 216842 0 0 0 70067 150 0 0 20 0 3 0 331552857 1130389504 255261 33554432000 4194304 5964478 140735833404448 140359272212552 4431953 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1404.17 Current children cumulated vsize (KiB) 1103896 [startup+762.307 s] /proc/loadavg: 4.03 4.01 3.92 5/181 29911 /proc/meminfo: memFree=27561292/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=1104084 CPUtime=1524.17 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 262213 0 0 0 152251 166 0 0 20 0 3 0 331552851 1130582016 247856 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 276021 247856 199 433 0 275585 0 [pid=29902/tid=29904] ppid=29900 vsize=1104084 CPUtime=762.22 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 42342 0 0 0 76184 38 0 0 20 0 3 0 331552857 1130582016 247856 33554432000 4194304 5964478 140735833404448 140359282702872 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=1104084 CPUtime=762.18 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 216904 0 0 0 76067 151 0 0 20 0 3 0 331552857 1130582016 247856 33554432000 4194304 5964478 140735833404448 140359272212552 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1524.17 Current children cumulated vsize (KiB) 1104084 [startup+822.3 s] /proc/loadavg: 4.01 4.00 3.92 5/181 29912 /proc/meminfo: memFree=27420472/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=1105700 CPUtime=1644.14 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 262455 0 0 0 164248 166 0 0 20 0 3 0 331552851 1132236800 248098 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 276425 248098 199 433 0 275989 0 [pid=29902/tid=29904] ppid=29900 vsize=1105700 CPUtime=822.21 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 42342 0 0 0 82182 39 0 0 20 0 3 0 331552857 1132236800 248098 33554432000 4194304 5964478 140735833404448 140359282702872 4400519 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=1105700 CPUtime=822.18 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 217146 0 0 0 82066 152 0 0 20 0 3 0 331552857 1132236800 248098 33554432000 4194304 5964478 140735833404448 140359272212552 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1644.14 Current children cumulated vsize (KiB) 1105700 [startup+882.3 s] /proc/loadavg: 4.00 4.00 3.92 3/177 29913 /proc/meminfo: memFree=28831324/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=1105908 CPUtime=1764.12 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 262537 0 0 0 176246 166 0 0 20 0 3 0 331552851 1132449792 248180 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 276477 248180 199 433 0 276041 0 [pid=29902/tid=29904] ppid=29900 vsize=1105908 CPUtime=882.22 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 42342 0 0 0 88182 40 0 0 20 0 3 0 331552857 1132449792 248180 33554432000 4194304 5964478 140735833404448 140359282702872 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=1105908 CPUtime=882.18 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 217228 0 0 0 88065 153 0 0 20 0 3 0 331552857 1132449792 248180 33554432000 4194304 5964478 140735833404448 140359272212552 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1764.12 Current children cumulated vsize (KiB) 1105908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.3 s] /proc/loadavg: 4.00 4.00 3.92 5/181 29953 /proc/meminfo: memFree=28736220/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=1105908 CPUtime=1800.13 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 262537 0 0 0 179847 166 0 0 20 0 3 0 331552851 1132449792 248238 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 276477 248238 199 433 0 276041 0 [pid=29902/tid=29904] ppid=29900 vsize=1105908 CPUtime=900.22 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 42342 0 0 0 89982 40 0 0 20 0 3 0 331552857 1132449792 248238 33554432000 4194304 5964478 140735833404448 140359282702872 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=1105908 CPUtime=900.19 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 217228 0 0 0 89866 153 0 0 20 0 3 0 331552857 1132449792 248238 33554432000 4194304 5964478 140735833404448 140359272212552 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 1105908 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+900.3 s] /proc/loadavg: 4.00 4.00 3.92 5/181 29953 /proc/meminfo: memFree=28736220/32873648 swapFree=7116/7116 [pid=29902] ppid=29900 vsize=1105908 CPUtime=1800.13 cores=1,3,5,7 /proc/29902/stat : 29902 (pwbo2.02) S 29900 29902 27825 0 -1 4202496 262537 0 0 0 179847 166 0 0 20 0 3 0 331552851 1132449792 248238 33554432000 4194304 5964478 140735833404448 140735833403968 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/29902/statm: 276477 248238 199 433 0 276041 0 [pid=29902/tid=29904] ppid=29900 vsize=1105908 CPUtime=900.22 cores=1,3,5,7 /proc/29902/task/29904/stat : 29904 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 42342 0 0 0 89982 40 0 0 20 0 3 0 331552857 1132449792 248238 33554432000 4194304 5964478 140735833404448 140359282702872 4400078 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0 [pid=29902/tid=29905] ppid=29900 vsize=1105908 CPUtime=900.19 cores=1,3,5,7 /proc/29902/task/29905/stat : 29905 (pwbo2.02) R 29900 29902 27825 0 -1 4202560 217228 0 0 0 89866 153 0 0 20 0 3 0 331552857 1132449792 248238 33554432000 4194304 5964478 140735833404448 140359272212552 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 1105908 Child status: 0 Real time (s): 900.351 CPU time (s): 1800.54 CPU user time (s): 1798.55 CPU system time (s): 1.9957 CPU usage (%): 199.982 Max. virtual memory (cumulated for all children) (KiB): 1105908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.55 system time used= 1.9957 maximum resident set size= 1021044 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 262538 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= 677 involuntary context switches= 1857 runsolver used 1.68074 second user time and 5.11522 second system time The end
Begin job on node127 at 2012-06-02 18:24:34 IDJOB=3725947 IDBENCH=2233 IDSOLVER=2309 FILE ID=node127/3725947-1338654274 RUNJOBID= node127-1338651468-29220 PBS_JOBID= 14636453 Free space on /tmp= 70476 MiB SOLVER NAME= pwbo 2.02 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.opb COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725947-1338654274/watcher-3725947-1338654274 -o /tmp/evaluation-result-3725947-1338654274/solver-3725947-1338654274 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725947-1338654274.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f480d2d56550630df651872786c078c9 RANDOM SEED=2133993547 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 29498920 kB Buffers: 372576 kB Cached: 1785260 kB SwapCached: 1500 kB Active: 1304624 kB Inactive: 1187976 kB Active(anon): 329376 kB Inactive(anon): 7932 kB Active(file): 975248 kB Inactive(file): 1180044 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67104404 kB Dirty: 11804 kB Writeback: 0 kB AnonPages: 340604 kB Mapped: 11464 kB Shmem: 92 kB Slab: 743820 kB SReclaimable: 188092 kB SUnreclaim: 555728 kB KernelStack: 1472 kB PageTables: 4656 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 162128 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70472 MiB End job on node127 at 2012-06-02 18:39:36