0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656364-1276640191.opb
0.00/0.00	c File size is 617335 bytes.
0.09/0.11	c Highest Coefficient sum: 681
0.09/0.11	c Parsing was ok!!
0.09/0.11	c Total parsing time: 0.109 s
0.09/0.12	c Var: 6027 Constr: 21278 21277/1/0 Lit: 54071 Watch. Lit: 43169
0.09/0.12	c Obj. Vars: 650 (10.7848 % of total variables)
0.29/0.39	c Pre-processing Time: 0.39 s
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c        0   6013    21245    54010    2    43108    8081      0      0 0.39
0.29/0.39	c Switching off lower bounding mode.
0.39/0.41	o 28
2.59/2.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.64	c        7   6013    21260    57971    2    43760    9081     15     17 0.41
2.59/2.64	c      109   6013    21383    69470    3    44006    9990    138    200 0.54
2.59/2.64	c      359   6013    21653    86453    3    44546   10990    408    355 1.01
2.59/2.64	c      834   6013    22183   129217    5    45606   12090    938    507 1.64
2.59/2.64	c     1647   6013    23125   256980   11    47490   13300   1880    627 2.63
2.59/2.64	o 27
8.59/8.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.60	c     1648   6013    23128   257753   11    48119    9081   1883    623 2.64
8.59/8.60	c     1748   6013    23243   284258   12    48349    9990   1998    624 2.80
8.59/8.60	c     1998   6013    23544   348783   14    48951   10990   2299    634 3.15
8.59/8.60	c     2478   6013    24109   407733   16    50081   12090   2864    646 3.83
8.59/8.60	c     3291   6013    25145   610126   24    52153   13300   3900    619 5.31
8.59/8.60	c     4611   6013    26643   866112   32    55149   14631   5398    562 8.19
8.59/8.60	o 26
1797.98/1798.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.61	c     4876   6013    26942   892777   33    56371    9081   5697    566 8.61
1797.98/1798.61	c     4977   6013    27060   904171   33    56607    9990   5815    568 8.75
1797.98/1798.61	c     5227   6013    27353   942483   34    57193   10990   6108    571 9.15
1797.98/1798.61	c     5703   6013    27888  1173223   42    58875   12090   6643    552 10.32
1797.98/1798.61	c     6516   6013    28808  1262110   43    60715   13300   7563    561 11.61
1797.98/1798.61	c     7836   6013    30271  1529903   50    64250   14631   9026    565 13.85
1797.98/1798.61	c     9917   6013    32757  2224273   67    69222   16095  11512    534 18.54
1797.98/1798.61	c    13141   6013    36608  3326622   90    77541   17705  15363    466 28.18
1797.98/1798.61	c    18077   6013    30099  1961547   65    64539   19476   8854    368 48.99
1797.98/1798.61	c    25583   6013    38292  2840435   74    84650   21424  17047    351 72.87
1797.98/1798.61	c    36947   6013    35573  3172945   89    72989   23567  14328    342 107.74
1797.98/1798.61	c    54091   6013    37420   904723   24    76704   25924  16175    364 148.44
1797.98/1798.61	c    79911   6013    33982  3980842  117    71674   28517  12737    306 260.34
1797.98/1798.61	c   118743   6013    42729 10372369  242    92242   31369  21484    210 565.25
1797.98/1798.61	c   177096   6013    39335  8688109  220    85450   34506  18090    179 983.94
1797.98/1798.61	c   264728   6013    42681  6066351  142    97032   37957  21436    168 1572.50
1797.98/1798.61	c Resources Exceeded
1797.98/1798.61	v x1 x176 x346 x700 x840 -x994 x1021 -x1048 -x1075 -x1102 -x1129 -x1156 -x10 -x1183 -x13 -x1195 -x16 -x1207 -x19 -x1219 -x22 -x1231 x25 -x1243 -x28 x1255 -x31 -x1267 -x34 -x1279 -x37 -x1291 -x40 -x1303 -x43 -x1315 -x46 -x1327 -x49 -x1339 -x52 -x1351 -x55 -x1363 -x58 -x1375 -x1387 -x63 -x1399 -x66 -x1411 -x69 -x1423 -x1435 -x1437 -x1442 -x1444 -x1449 -x1451 -x1456 -x1458 -x1463 -x1465 -x1470 -x1472 -x1477 -x1479 -x1484 -x1486 -x1491 -x1493 -x1498 -x1500 -x1505 -x1507 x1512 -x1514 -x1519 -x1521 -x1526 -x1528 -x1533 -x1535 -x1540 -x1542 -x1547 x1549 -x1554 -x1556 -x1561 -x1563 -x1568 -x1570 -x1575 -x1577 -x1582 -x1584 -x1589 -x1591 -x1596 -x1598 -x1603 -x1605 -x1610 -x1612 -x1617 -x1619 -x1624 -x1626 -x1631 -x1633 -x1638 -x1640 -x1645 -x1647 -x1652 -x1654 -x1659 -x1661 -x1666 -x1668 -x1673 -x1675 -x1680 -x1707 x1734 -x1761 -x1788 -x1815 -x1842 -x185 -x1869 -x1881 -x190 -x1893 -x193 -x1905 -x196 -x1917 -x199 -x1929 -x202 -x1941 -x1953 -x207 -x1965 x210 -x1977 -x1989 -x215 -x2001 -x2013 -x220 -x2025 x2037 -x225 -x2049 -x2061 -x230 -x2073 -x233 -x2085 -x236 -x2097 -x239 -x2109 -x2121 -x2123 -x2128 -x2130 -x2135 -x2137 -x2142 -x2144 -x2149 -x2151 -x2156 -x2158 -x2163 -x2165 -x2170 -x2172 -x2177 x2179 -x2184 -x2186 -x2191 -x2193 -x2198 -x2200 -x2205 -x2207 -x2212 -x2214 -x2219 -x2221 -x2226 -x2228 -x2233 -x2235 -x2240 -x2242 -x2247 -x2249 -x2254 -x2256 x2261 -x2263 -x2268 -x2270 -x2275 -x2277 -x2282 -x2284 -x2289 -x2291 -x2296 -x2298 -x2303 -x2305 -x2310 -x2312 -x2317 -x2319 -x2324 -x2326 -x2331 -x2333 -x2338 -x2340 -x2345 -x2347 -x2352 -x2354 -x2359 -x2361 -x2366 -x2424 -x2482 -x2540 -x2598 -x2656 -x2714 x2772 -x356 -x2830 -x359 -x2857 -x362 -x2884 -x365 -x2911 -x2938 -x370 -x2965 -x373 x2992 x376 -x3019 -x3046 -x3073 -x3100 -x385 -x3127 -x3154 -x3181 -x392 -x3208 -x395 -x3235 -x3262 -x400 -x3289 -x3316 -x405 -x3343 -x3370 -x410 -x3397 -x413 -x3424 -x416 -x3451 -x419 -x3478 -x3505 -x424 -x3532 -x427 -x3559 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 x3868 -x3880 -x3882 -x3894 -x3896 x3908 -x3910 -x3922 -x3924 -x3936 -x3938 -x3950 -x3962 -x3964 -x3976 -x3978 -x3990 -x3992 -x4004 -x4006 -x4018 -x4020 -x4032 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4128 -x4130 -x4142 -x4144 -x4156 -x4158 -x4170 -x4172 -x4184 -x4186 -x4198 -x4200 -x4212 -x4214 -x4226 -x4228 -x4240 -x4242 -x4254 -x4256 -x4268 -x4270 -x4282 -x4284 -x4296 -x4298 -x4310 -x4312 -x4324 -x4326 -x4338 -x4340 -x4352 -x4354 -x4366 -x4371 -x4376 -x4381 -x4386 -x4391 -x4396 -x4401 -x4406 -x4411 -x4416 -x4421 -x4426 -x4431 -x4436 -x4441 -x4446 -x4451 -x4456 -x4461 -x4466 -x4471 -x4476 -x4481 -x4486 -x4491 -x4496 -x4501 -x4506 -x4511 -x4516 -x4521 -x4526 -x4531 -x4536 -x4541 -x4546 -x4551 -x4556 -x4561 -x4566 -x4571 -x4576 -x4581 -x4586 -x4591 -x4596 -x4601 -x4606 -x4611 -x4616 -x4621 -x4626 -x4631 -x4636 -x4641 -x4646 -x4651 -x4656 -x4661 -x4666 -x4671 -x4676 -x4681 -x4686 -x4691 -x4696 x4701 -x4706 -x4711 -x4716 -x4743 -x4770 -x4797 -x4824 -x4851 -x4878 -x4905 -x4917 -x4929 -x4941 -x4953 -x4965 x4977 -x4989 -x725 -x5001 -x5013 -x5025 -x5037 -x5049 -x5061 -x5073 -x5085 -x5097 -x5109 -x5121 -x5133 -x5145 -x5157 -x5159 -x5164 -x5166 -x5168 -x5173 -x5175 -x5180 -x5182 -x5187 -x5192 -x5194 -x5196 -x5201 -x5206 -x5208 -x5213 -x5215 -x5220 -x5225 -x5227 -x5232 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5284 -x5289 -x5291 -x5293 -x5298 -x5303 -x5305 -x5310 -x5312 -x5317 -x5322 -x5327 -x5332 -x5337 -x5339 -x5344 -x5346 -x5351 -x5356 -x5361 -x5388 -x5415 -x5442 -x5469 x5496 -x5523 -x5550 -x5562 -x5574 -x855 -x5586 -x858 x5598 -x5610 -x863 -x5622 -x5634 -x868 -x5646 -x5658 -x5670 -x875 -x5682 -x5694 -x880 -x5706 -x5718 -x5730 -x5742 -x5754 -x5766 -x893 -x5778 -x5790 -x5802 -x5804 -x5809 -x5814 -x5816 -x5821 -x5823 -x5828 -x5833 -x5835 -x5840 -x5842 -x5847 -x5849 -x5854 -x5859 -x5861 -x5866 -x5868 -x5873 -x5878 x5880 -x5885 -x5887 -x5892 -x5894 -x5899 -x5901 -x5906 -x5908 -x5913 -x5915 -x5920 -x5922 -x5927 -x5929 -x5934 -x5939 -x5944 -x5946 -x5951 -x5953 -x5958 -x5960 -x5965 -x5967 -x5972 -x5974 -x5979 -x5981 -x5986 -x5988 -x5990 -x5995 -x5997 -x6002 -x6007 -x6009 -x6014 -x6016 -x6021 -x6023 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27 x29 -x30 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 -x60 -x61 -x62 -x64 -x65 -x67 -x68 -x70 -x72 -x71 -x73 -x75 -x74 -x76 -x78 -x77 -x79 -x81 -x80 -x82 -x84 -x83 -x85 -x87 -x86 -x88 -x90 -x89 -x91 -x93 -x92 -x94 -x96 -x95 -x97 -x99 -x98 -x100 -x102 -x101 -x103 x105 -x104 -x106 -x108 -x107 -x109 -x111 -x110 -x112 -x114 -x113 -x115 -x117 -x116 -x118 -x120 -x119 x121 -x123 -x122 -x124 -x126 -x125 -x127 -x129 -x128 -x130 -x132 -x131 -x133 -x135 -x134 -x136 -x138 -x137 -x139 -x141 -x140 -x142 -x144 -x143 -x145 -x147 -x146 -x148 -x150 -x149 -x151 -x153 -x152 -x154 -x156 -x155 -x157 -x159 -x158 -x160 -x162 -x161 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x184 -x186 -x187 -x188 -x189 -x191 -x192 -x194 -x195 -x197 -x198 -x200 -x201 -x203 -x204 -x205 -x206 -x208 -x209 -x211 -x212 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 x223 -x224 -x226 -x227 -x228 -x229 -x231 -x232 -x234 -x235 -x237 -x238 -x240 -x242 -x241 -x243 -x245 -x244 -x246 -x248 -x247 -x249 -x251 -x250 -x252 -x254 -x253 -x255 -x257 -x256 -x258 -x260 -x259 -x261 -x263 -x262 -x264 -x266 -x265 x267 -x269 -x268 -x270 -x272 -x271 -x273 -x275 -x274 -x276 -x278 -x277 -x279 -x281 -x280 -x282 -x284 -x283 -x285 -x287 -x286 -x288 -x290 -x289 -x291 -x293 -x292 -x294 -x296 -x295 -x297 -x299 -x298 -x300 x302 -x301 -x303 -x305 -x304 -x306 -x308 -x307 -x309 -x311 -x310 -x312 -x314 -x313 -x315 -x317 -x316 -x318 -x320 -x319 -x321 -x323 -x322 -x324 -x326 -x325 -x327 -x329 -x328 -x330 -x332 -x331 -x333 -x335 -x334 -x336 -x338 -x337 -x339 -x341 -x340 -x342 -x344 -x343 -x345 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x355 -x357 -x358 -x360 -x361 -x363 -x364 -x366 -x367 -x368 -x369 -x371 -x372 x374 -x375 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x386 -x387 -x388 -x389 -x390 -x391 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x406 -x407 -x408 -x409 -x411 -x412 -x414 -x415 -x417 -x418 -x420 -x421 -x422 -x423 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x439 -x438 -x440 -x442 -x441 -x443 -x445 -x444 -x446 -x448 -x447 -x449 -x451 -x450 -x452 -x454 -x453 -x455 -x457 -x456 -x458 -x460 -x459 -x461 -x463 -x462 -x464 -x466 -x465 -x467 -x469 -x468 -x470 -x472 -x471 -x473 -x475 -x474 -x476 -x478 -x477 -x479 -x481 -x480 -x482 -x484 -x483 -x485 -x487 -x486 -x488 -x490 -x489 x491 -x493 -x492 -x494 -x496 -x495 -x497 x499 -x498 -x500 -x502 -x501 -x503 -x505 -x504 -x506 -x507 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 -x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x540 -x539 -x541 -x542 -x543 -x545 -x544 -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 -x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 -x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 x696 -x698 -x697 -x699 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 x721 -x722 -x723 -x724 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x752 -x751 -x753 -x755 -x754 -x757 -x756 -x758 -x760 -x759 -x761 -x763 -x762 -x764 -x765 -x766 -x768 -x767 -x770 -x769 -x771 -x772 -x773 -x775 -x774 -x776 -x778 -x777 -x779 -x780 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x791 -x792 -x794 -x793 -x795 -x797 -x796 x798 -x800 -x799 -x801 -x803 -x802 -x804 -x805 -x806 -x807 -x808 -x810 -x809 -x812 -x811 -x813 -x814 -x815 -x817 -x816 -x818 -x820 -x819 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x831 -x830 -x832 -x834 -x833 -x835 -x836 -x837 -x838 -x839 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x856 -x857 x859 -x860 -x861 -x862 -x864 -x865 -x866 -x867 -x869 -x870 -x871 -x872 -x873 -x874 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x894 -x895 -x896 -x898 -x897 -x899 -x900 -x901 -x903 -x902 -x904 -x906 -x905 -x907 -x908 -x909 -x911 -x910 -x912 -x914 -x913 -x915 -x917 -x916 -x918 -x919 -x920 -x922 -x921 -x923 -x925 -x924 -x926 -x927 -x928 -x930 -x929 x931 -x933 -x932 -x934 -x936 -x935 -x937 -x939 -x938 -x940 -x942 -x941 -x943 -x945 -x944 -x946 -x948 -x947 -x949 -x951 -x950 -x952 -x953 -x954 -x955 -x956 -x958 -x957 -x959 -x961 -x960 -x962 -x964 -x963 -x965 -x967 -x966 -x968 -x970 -x969 -x971 -x973 -x972 -x974 -x976 -x975 -x978 -x977 -x979 -x981 -x980 -x982 -x983 -x984 -x986 -x985 -x987 -x989 -x988 -x990 -x992 -x991 -x993 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1436 -x1438 -x1439 -x1440 -x1441 -x1443 -x1445 -x1446 -x1447 -x1448 -x1450 -x1452 -x1453 -x1454 -x1455 -x1457 -x1459 -x1460 -x1461 -x1462 x1464 -x1466 -x1467 -x1468 -x1469 -x1471 -x1473 -x1474 -x1475 -x1476 -x1478 -x1480 -x1481 -x1482 -x1483 -x1485 -x1487 -x1488 -x1489 -x1490 x1492 -x1494 -x1495 -x1496 -x1497 -x1499 -x1501 -x1502 -x1503 -x1504 -x1506 -x1508 -x1509 -x1510 -x1511 x1513 -x1515 -x1516 -x1517 -x1518 -x1520 -x1522 -x1523 -x1524 -x1525 x1527 -x1529 -x1530 -x1531 -x1532 x1534 -x1536 -x1537 -x1538 -x1539 -x1541 -x1543 -x1544 -x1545 -x1546 -x1548 x1550 -x1551 -x1552 -x1553 -x1555 x1557 -x1558 -x1559 -x1560 -x1562 -x1564 -x1565 -x1566 -x1567 -x1569 -x1571 -x1572 -x1573 -x1574 -x1576 -x1578 -x1579 -x1580 -x1581 -x1583 -x1585 -x1586 -x1587 -x1588 -x1590 x1592 -x1593 -x1594 -x1595 -x1597 -x1599 -x1600 -x1601 -x1602 -x1604 -x1606 -x1607 -x1608 -x1609 -x1611 -x1613 -x1614 -x1615 -x1616 -x1618 -x1620 -x1621 -x1622 -x1623 -x1625 -x1627 -x1628 -x1629 -x1630 -x1632 x1634 -x1635 -x1636 -x1637 -x1639 -x1641 -x1642 -x1643 -x1644 -x1646 -x1648 -x1649 -x1650 -x1651 -x1653 -x1655 -x1656 -x1657 -x1658 -x1660 -x1662 -x1663 -x1664 -x1665 -x1667 -x1669 -x1670 -x1671 -x1672 -x1674 -x1676 -x1677 -x1678 -x1679 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2122 -x2124 -x2125 -x2126 -x2127 -x2129 -x2131 -x2132 -x2133 -x2134 -x2136 -x2138 -x2139 -x2140 -x2141 x2143 -x2145 -x2146 -x2147 -x2148 -x2150 -x2152 -x2153 -x2154 -x2155 -x2157 -x2159 -x2160 -x2161 -x2162 -x2164 x2166 -x2167 -x2168 -x2169 -x2171 -x2173 -x2174 -x2175 -x2176 -x2178 x2180 -x2181 -x2182 -x2183 -x2185 -x2187 -x2188 -x2189 -x2190 -x2192 -x2194 -x2195 -x2196 -x2197 -x2199 -x2201 -x2202 -x2203 -x2204 -x2206 -x2208 -x2209 -x2210 -x2211 -x2213 x2215 -x2216 -x2217 -x2218 -x2220 -x2222 -x2223 -x2224 -x2225 -x2227 -x2229 -x2230 -x2231 -x2232 -x2234 -x2236 -x2237 -x2238 -x2239 x2241 -x2243 -x2244 -x2245 -x2246 -x2248 -x2250 -x2251 -x2252 -x2253 -x2255 -x2257 -x2258 -x2259 -x2260 x2262 -x2264 -x2265 -x2266 -x2267 -x2269 -x2271 -x2272 -x2273 -x2274 x2276 -x2278 -x2279 -x2280 -x2281 -x2283 -x2285 -x2286 -x2287 -x2288 x2290 -x2292 -x2293 -x2294 -x2295 -x2297 -x2299 -x2300 -x2301 -x2302 -x2304 -x2306 -x2307 -x2308 -x2309 -x2311 -x2313 -x2314 -x2315 -x2316 -x2318 -x2320 -x2321 -x2322 -x2323 -x2325 x2327 -x2328 -x2329 -x2330 -x2332 -x2334 -x2335 -x2336 -x2337 -x2339 -x2341 -x2342 -x2343 -x2344 -x2346 -x2348 -x2349 -x2350 -x2351 -x2353 -x2355 -x2356 -x2357 -x2358 -x2360 -x2362 -x2363 -x2364 -x2365 x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3629 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3671 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3741 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3811 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x3881 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 x3895 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 x3909 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 x3937 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3963 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3977 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4005 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4033 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4061 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4129 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4143 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4157 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4171 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4185 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4199 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4213 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4227 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4241 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4255 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4269 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4283 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4297 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4325 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4339 x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4353 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4367 -x4368 -x4369 -x4370 -x4372 -x4373 -x4374 -x4375 -x4377 -x4378 -x4379 -x4380 -x4382 -x4383 -x4384 -x4385 x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4407 -x4408 -x4409 -x4410 -x4412 -x4413 -x4414 -x4415 -x4417 -x4418 -x4419 -x4420 -x4422 -x4423 -x4424 -x4425 -x4427 -x4428 -x4429 -x4430 -x4432 -x4433 -x4434 -x4435 -x4437 -x4438 -x4439 -x4440 -x4442 -x4443 -x4444 -x4445 -x4447 -x4448 -x4449 -x4450 -x4452 -x4453 -x4454 -x4455 -x4457 -x4458 -x4459 -x4460 -x4462 -x4463 -x4464 -x4465 -x4467 -x4468 -x4469 -x4470 -x4472 -x4473 -x4474 -x4475 -x4477 -x4478 -x4479 -x4480 -x4482 -x4483 -x4484 -x4485 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4497 -x4498 -x4499 -x4500 -x4502 -x4503 -x4504 -x4505 -x4507 -x4508 -x4509 -x4510 -x4512 -x4513 -x4514 -x4515 -x4517 -x4518 -x4519 -x4520 -x4522 -x4523 -x4524 -x4525 -x4527 -x4528 -x4529 -x4530 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4552 -x4553 -x4554 -x4555 -x4557 -x4558 -x4559 -x4560 -x4562 -x4563 -x4564 -x4565 -x4567 -x4568 -x4569 -x4570 -x4572 -x4573 -x4574 -x4575 -x4577 -x4578 -x4579 -x4580 -x4582 -x4583 -x4584 -x4585 -x4587 -x4588 -x4589 -x4590 -x4592 -x4593 -x4594 -x4595 -x4597 -x4598 -x4599 -x4600 -x4602 -x4603 -x4604 -x4605 -x4607 -x4608 -x4609 -x4610 -x4612 -x4613 -x4614 -x4615 -x4617 -x4618 -x4619 -x4620 -x4622 -x4623 -x4624 -x4625 -x4627 -x4628 -x4629 -x4630 x4632 -x4633 -x4634 -x4635 -x4637 -x4638 -x4639 -x4640 x4642 -x4643 -x4644 -x4645 -x4647 -x4648 -x4649 -x4650 -x4652 -x4653 -x4654 -x4655 -x4657 -x4658 -x4659 -x4660 -x4662 -x4663 -x4664 -x4665 -x4667 -x4668 -x4669 -x4670 x4672 -x4673 -x4674 -x4675 -x4677 -x4678 -x4679 -x4680 -x4682 -x4683 -x4684 -x4685 -x4687 -x4688 -x4689 -x4690 -x4692 -x4693 -x4694 -x4695 -x4697 -x4698 -x4699 -x4700 x4702 -x4703 -x4704 -x4705 -x4707 -x4708 -x4709 -x4710 -x4712 -x4713 -x4714 -x4715 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 x5122 -x5123 -x5124 -x5125 -x5126 x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 x5158 -x5160 -x5161 -x5162 -x5163 -x5165 x5167 -x5169 -x5170 -x5171 -x5172 -x5174 -x5176 -x5177 -x5178 -x5179 x5181 -x5183 -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 x5193 -x5195 -x5197 -x5198 -x5199 -x5200 -x5202 -x5203 -x5204 -x5205 x5207 -x5209 -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5222 -x5223 -x5224 x5226 -x5228 -x5229 -x5230 -x5231 x5233 -x5235 -x5236 -x5237 -x5238 x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 x5252 x5254 -x5255 -x5256 -x5257 x5259 x5261 -x5262 -x5263 -x5264 x5266 -x5268 -x5269 -x5270 -x5271 -x5273 -x5275 -x5276 -x5277 -x5278 -x5280 -x5281 -x5282 -x5283 -x5285 -x5286 -x5287 -x5288 -x5290 -x5292 -x5294 -x5295 -x5296 -x5297 -x5299 -x5300 -x5301 -x5302 -x5304 -x5306 -x5307 -x5308 -x5309 -x5311 -x5313 -x5314 -x5315 -x5316 -x5318 -x5319 -x5320 -x5321 x5323 -x5324 -x5325 -x5326 -x5328 -x5329 -x5330 -x5331 -x5333 -x5334 -x5335 -x5336 -x5338 x5340 -x5341 -x5342 x5343 -x5345 -x5347 -x5348 -x5349 -x5350 x5352 -x5353 -x5354 x5355 -x5357 -x5358 -x5359 -x5360 x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5803 -x5805 -x5806 -x5807 -x5808 -x5810 -x5811 -x5812 -x5813 -x5815 -x5817 -x5818 -x5819 -x5820 -x5822 -x5824 -x5825 -x5826 -x5827 -x5829 -x5830 -x5831 -x5832 -x5834 -x5836 -x5837 -x5838 -x5839 -x5841 x5843 -x5844 -x5845 -x5846 -x5848 x5850 -x5851 -x5852 -x5853 -x5855 -x5856 -x5857 -x5858 -x5860 -x5862 -x5863 -x5864 -x5865 -x5867 -x5869 -x5870 -x5871 -x5872 -x5874 -x5875 -x5876 -x5877 -x5879 x5881 -x5882 -x5883 -x5884 -x5886 -x5888 -x5889 -x5890 -x5891 -x5893 -x5895 -x5896 -x5897 -x5898 -x5900 -x5902 -x5903 -x5904 -x5905 -x5907 -x5909 -x5910 -x5911 -x5912 -x5914 -x5916 -x5917 -x5918 -x5919 x5921 -x5923 -x5924 -x5925 -x5926 -x5928 -x5930 -x5931 -x5932 -x5933 -x5935 -x5936 -x5937 -x5938 -x5940 -x5941 -x5942 -x5943 -x5945 -x5947 -x5948 -x5949 -x5950 x5952 -x5954 -x5955 -x5956 -x5957 x5959 -x5961 -x5962 -x5963 -x5964 -x5966 -x5968 -x5969 -x5970 -x5971 -x5973 -x5975 -x5976 -x5977 -x5978 -x5980 -x5982 -x5983 -x5984 -x5985 -x5987 -x5989 -x5991 -x5992 -x5993 -x5994 -x5996 -x5998 -x5999 -x6000 -x6001 -x6003 -x6004 -x6005 -x6006 -x6008 -x6010 -x6011 -x6012 -x6013 -x6015 -x6017 -x6018 -x6019 -x6020 -x6022 -x6024 -x6025 -x6026 -x6027 
1797.98/1798.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.61	c   27   301675 168298  2947411    57975 15107442  36730    167 1798.00
1797.98/1798.61	c Objective: 26
1797.98/1798.61	s SATISFIABLE
1797.98/1798.61	c Total time: 1798 s

OK	26

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656364-1276640191/watcher-2656364-1276640191 -o /tmp/evaluation-result-2656364-1276640191/solver-2656364-1276640191 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656364-1276640191.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 4348
/proc/meminfo: memFree=1859508/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=11536 CPUtime=0
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 352 0 0 0 0 0 0 0 20 0 1 0 39620607 11812864 271 1992294400 134512640 137138936 4288075056 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 2884 271 176 642 0 2089 0

[startup+0.0897381 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 4348
/proc/meminfo: memFree=1859508/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=13464 CPUtime=0.08
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 936 0 0 0 8 0 0 0 20 0 1 0 39620607 13787136 855 1992294400 134512640 137138936 4288075056 18446744073709551615 136297745 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 3366 855 288 642 0 2571 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13464

[startup+0.10174 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 4348
/proc/meminfo: memFree=1859508/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=13604 CPUtime=0.09
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 1016 0 0 0 9 0 0 0 20 0 1 0 39620607 13930496 935 1992294400 134512640 137138936 4288075056 18446744073709551615 134519470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 3401 936 304 642 0 2606 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13604

[startup+0.301765 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 4348
/proc/meminfo: memFree=1859508/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=14788 CPUtime=0.29
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 1479 0 0 0 29 0 0 0 20 0 1 0 39620607 15142912 1247 1992294400 134512640 137138936 4288075056 18446744073709551615 134543413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 3697 1247 184 642 0 3053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14788

[startup+0.700822 s]
/proc/loadavg: 0.92 0.99 0.99 3/106 4348
/proc/meminfo: memFree=1859508/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=15648 CPUtime=0.69
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 1901 0 0 0 66 3 0 0 21 0 1 0 39620607 16023552 1466 1992294400 134512640 137138936 4288075056 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 3912 1466 192 642 0 3268 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15648

[startup+1.50092 s]
/proc/loadavg: 0.92 0.99 0.99 2/107 4349
/proc/meminfo: memFree=1854168/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=15912 CPUtime=1.49
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 1982 0 0 0 146 3 0 0 23 0 1 0 39620607 16293888 1547 1992294400 134512640 137138936 4288075056 18446744073709551615 134575794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 3978 1547 192 642 0 3334 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15912

[startup+3.10113 s]
/proc/loadavg: 0.92 0.99 0.99 2/107 4349
/proc/meminfo: memFree=1852928/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=18844 CPUtime=3.09
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 2711 0 0 0 305 4 0 0 25 0 1 0 39620607 19296256 2276 1992294400 134512640 137138936 4288075056 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 4711 2276 192 642 0 4067 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18844

[startup+6.30155 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 4349
/proc/meminfo: memFree=1846728/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=23276 CPUtime=6.29
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 3823 0 0 0 623 6 0 0 25 0 1 0 39620607 23834624 3388 1992294400 134512640 137138936 4288075056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 5819 3388 192 642 0 5175 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23276

[startup+12.7014 s]
/proc/loadavg: 0.94 0.99 0.99 2/107 4349
/proc/meminfo: memFree=1837800/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=32788 CPUtime=12.69
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 6260 0 0 0 1258 11 0 0 25 0 1 0 39620607 33574912 5760 1992294400 134512640 137138936 4288075056 18446744073709551615 134552423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 8197 5760 192 642 0 7553 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32788

[startup+25.5011 s]
/proc/loadavg: 0.95 0.99 0.99 2/107 4351
/proc/meminfo: memFree=1816968/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=53088 CPUtime=25.48
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 11338 0 0 0 2531 17 0 0 25 0 1 0 39620607 54362112 10838 1992294400 134512640 137138936 4288075056 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 13272 10838 192 642 0 12628 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53088

[startup+51.1014 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 4351
/proc/meminfo: memFree=1797748/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=71600 CPUtime=51.07
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 15971 0 0 0 5082 25 0 0 25 0 1 0 39620607 73318400 15471 1992294400 134512640 137138936 4288075056 18446744073709551615 134543215 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 17900 15471 192 642 0 17256 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71600

[startup+102.309 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 4353
/proc/meminfo: memFree=1790184/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=78892 CPUtime=102.26
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 17795 0 0 0 10187 39 0 0 25 0 1 0 39620607 80785408 17295 1992294400 134512640 137138936 4288075056 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 19723 17295 192 642 0 19079 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 78892

[startup+162.302 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 4353
/proc/meminfo: memFree=1790060/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=78884 CPUtime=162.23
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 17796 0 0 0 16139 84 0 0 25 0 1 0 39620607 80777216 17296 1992294400 134512640 137138936 4288075056 18446744073709551615 134543222 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 19721 17296 192 642 0 19077 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 78884

[startup+222.302 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 4355
/proc/meminfo: memFree=1770964/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=98460 CPUtime=222.21
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 22667 0 0 0 22126 95 0 0 25 0 1 0 39620607 100823040 22167 1992294400 134512640 137138936 4288075056 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 24615 22167 192 642 0 23971 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 98460

[startup+282.302 s]
/proc/loadavg: 1.11 1.04 1.00 2/107 4357
/proc/meminfo: memFree=1742320/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=126604 CPUtime=282.19
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 29724 0 0 0 28109 110 0 0 25 0 1 0 39620607 129642496 29224 1992294400 134512640 137138936 4288075056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 31651 29224 192 642 0 31007 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 126604

[startup+342.302 s]
/proc/loadavg: 1.10 1.05 1.00 2/107 4359
/proc/meminfo: memFree=1690984/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=178232 CPUtime=342.17
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 43368 0 0 0 34085 132 0 0 25 0 1 0 39620607 182509568 42128 1992294400 134512640 137138936 4288075056 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 44558 42128 192 642 0 43914 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 178232

[startup+402.301 s]
/proc/loadavg: 1.09 1.05 1.00 2/107 4361
/proc/meminfo: memFree=1666184/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=202356 CPUtime=402.15
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 49642 0 0 0 40075 140 0 0 25 0 1 0 39620607 207212544 48156 1992294400 134512640 137138936 4288075056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 50589 48156 192 642 0 49945 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 202356

[startup+462.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 4361
/proc/meminfo: memFree=1623528/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=245372 CPUtime=462.13
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 60406 0 0 0 46061 152 0 0 25 0 1 0 39620607 251260928 58894 1992294400 134512640 137138936 4288075056 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 61343 58894 192 642 0 60699 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 245372

[startup+522.301 s]
/proc/loadavg: 1.03 1.04 1.00 2/107 4363
/proc/meminfo: memFree=1588808/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279796 CPUtime=522.11
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69055 0 0 0 52037 174 0 0 25 0 1 0 39620607 286511104 67495 1992294400 134512640 137138936 4288075056 18446744073709551615 134607571 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69949 67495 192 642 0 69305 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 279796

[startup+582.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 4365
/proc/meminfo: memFree=1588808/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279796 CPUtime=582.09
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69055 0 0 0 58020 189 0 0 25 0 1 0 39620607 286511104 67495 1992294400 134512640 137138936 4288075056 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69949 67495 192 642 0 69305 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 279796

[startup+642.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 4367
/proc/meminfo: memFree=1588684/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279656 CPUtime=642.08
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69058 0 0 0 64013 195 0 0 25 0 1 0 39620607 286367744 67492 1992294400 134512640 137138936 4288075056 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69914 67492 192 642 0 69270 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 279656

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=1588064/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279484 CPUtime=1121.91
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69059 0 0 0 111930 261 0 0 25 0 1 0 39620607 286191616 67448 1992294400 134512640 137138936 4288075056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69871 67448 192 642 0 69227 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 279484

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4381
/proc/meminfo: memFree=1588064/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279484 CPUtime=1181.89
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69059 0 0 0 117920 269 0 0 25 0 1 0 39620607 286191616 67448 1992294400 134512640 137138936 4288075056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69871 67448 192 642 0 69227 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 279484

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4383
/proc/meminfo: memFree=1587816/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279484 CPUtime=1241.87
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69060 0 0 0 123904 283 0 0 25 0 1 0 39620607 286191616 67449 1992294400 134512640 137138936 4288075056 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69871 67449 192 642 0 69227 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 279484

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4385
/proc/meminfo: memFree=1587692/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279484 CPUtime=1301.86
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69060 0 0 0 129897 289 0 0 25 0 1 0 39620607 286191616 67449 1992294400 134512640 137138936 4288075056 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69871 67449 192 642 0 69227 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 279484

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4385
/proc/meminfo: memFree=1587692/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279484 CPUtime=1361.83
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69060 0 0 0 135889 294 0 0 25 0 1 0 39620607 286191616 67449 1992294400 134512640 137138936 4288075056 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69871 67449 192 642 0 69227 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 279484

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4387
/proc/meminfo: memFree=1587692/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279484 CPUtime=1421.82
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69060 0 0 0 141863 319 0 0 25 0 1 0 39620607 286191616 67449 1992294400 134512640 137138936 4288075056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69871 67449 192 642 0 69227 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 279484

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4389
/proc/meminfo: memFree=1587816/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279484 CPUtime=1481.79
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69060 0 0 0 147836 343 0 0 25 0 1 0 39620607 286191616 67449 1992294400 134512640 137138936 4288075056 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69871 67449 192 642 0 69227 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 279484

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4391
/proc/meminfo: memFree=1587692/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279484 CPUtime=1541.77
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69060 0 0 0 153826 351 0 0 25 0 1 0 39620607 286191616 67449 1992294400 134512640 137138936 4288075056 18446744073709551615 134606973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69871 67449 192 642 0 69227 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 279484

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4393
/proc/meminfo: memFree=1587692/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279484 CPUtime=1601.75
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69060 0 0 0 159817 358 0 0 25 0 1 0 39620607 286191616 67449 1992294400 134512640 137138936 4288075056 18446744073709551615 134618280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69871 67449 192 642 0 69227 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 279484

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4393
/proc/meminfo: memFree=1587692/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279500 CPUtime=1661.72
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69064 0 0 0 165809 363 0 0 25 0 1 0 39620607 286208000 67453 1992294400 134512640 137138936 4288075056 18446744073709551615 134618004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69875 67453 192 642 0 69231 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 279500

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4395
/proc/meminfo: memFree=1587692/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279500 CPUtime=1721.71
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69064 0 0 0 171803 368 0 0 25 0 1 0 39620607 286208000 67453 1992294400 134512640 137138936 4288075056 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69875 67453 192 642 0 69231 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 279500

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4397
/proc/meminfo: memFree=1587444/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279500 CPUtime=1781.69
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69064 0 0 0 177797 372 0 0 25 0 1 0 39620607 286208000 67453 1992294400 134512640 137138936 4288075056 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69875 67453 192 642 0 69231 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 279500

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4397
/proc/meminfo: memFree=1587444/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279500 CPUtime=1791.29
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69064 0 0 0 178756 373 0 0 25 0 1 0 39620607 286208000 67453 1992294400 134512640 137138936 4288075056 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69875 67453 192 642 0 69231 0
Current children cumulated CPU time (s) 1791.29
Current children cumulated vsize (KiB) 279500

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4397
/proc/meminfo: memFree=1587444/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279500 CPUtime=1794.49
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69064 0 0 0 179076 373 0 0 25 0 1 0 39620607 286208000 67453 1992294400 134512640 137138936 4288075056 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69875 67453 192 642 0 69231 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (KiB) 279500

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4397
/proc/meminfo: memFree=1587444/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279500 CPUtime=1796.08
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69064 0 0 0 179235 373 0 0 25 0 1 0 39620607 286208000 67453 1992294400 134512640 137138936 4288075056 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69875 67453 192 642 0 69231 0
Current children cumulated CPU time (s) 1796.08
Current children cumulated vsize (KiB) 279500

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4397
/proc/meminfo: memFree=1587444/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279500 CPUtime=1796.88
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69064 0 0 0 179315 373 0 0 25 0 1 0 39620607 286208000 67453 1992294400 134512640 137138936 4288075056 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69875 67453 192 642 0 69231 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 279500

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4397
/proc/meminfo: memFree=1587444/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279500 CPUtime=1797.68
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69064 0 0 0 179395 373 0 0 25 0 1 0 39620607 286208000 67453 1992294400 134512640 137138936 4288075056 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69875 67453 192 642 0 69231 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 279500

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4397
/proc/meminfo: memFree=1587444/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279500 CPUtime=1797.89
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69064 0 0 0 179416 373 0 0 25 0 1 0 39620607 286208000 67453 1992294400 134512640 137138936 4288075056 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69875 67453 192 642 0 69231 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 279500

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4397
/proc/meminfo: memFree=1587444/2059040 swapFree=4139776/4192956
[pid=4348] ppid=4346 vsize=279500 CPUtime=1797.98
/proc/4348/stat : 4348 (bsolo_pb10) R 4346 4348 3662 0 -1 4202496 69064 0 0 0 179425 373 0 0 25 0 1 0 39620607 286208000 67453 1992294400 134512640 137138936 4288075056 18446744073709551615 134575200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4348/statm: 69875 67453 192 642 0 69231 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 279500

Child status: 0
Real time (s): 1798.64
CPU time (s): 1798.03
CPU user time (s): 1794.27
CPU system time (s): 3.76143
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 279808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.27
system time used= 3.76143
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69065
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 5478

runsolver used 2.73158 second user time and 8.72567 second system time

The end

Begin job on node013 at 2010-06-16 00:16:31
IDJOB=2656364
IDBENCH=25015
IDSOLVER=1162
FILE ID=node013/2656364-1276640191
PBS_JOBID= 11172351
Free space on /tmp= 62548 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656364-1276640191/watcher-2656364-1276640191 -o /tmp/evaluation-result-2656364-1276640191/solver-2656364-1276640191 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656364-1276640191.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= d25f6086317f033c233c4700493f03d1
RANDOM SEED=292234119

node013.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.253
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.253
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1859788 kB
Buffers:         19488 kB
Cached:          99164 kB
SwapCached:       6748 kB
Active:          89576 kB
Inactive:        43016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1859788 kB
SwapTotal:     4192956 kB
SwapFree:      4139776 kB
Dirty:            4508 kB
Writeback:           0 kB
AnonPages:       12228 kB
Mapped:          13100 kB
Slab:            44540 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180656 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62544 MiB
End job on node013 at 2010-06-16 00:46:30