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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462917-1307180874.opb
0.00/0.00	c File size is 617335 bytes.
0.00/0.04	c Highest Coefficient sum: 681
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.04 s
0.00/0.04	c Var: 6027 Constr: 21278 21277/1/0 Lit: 54071 Watch. Lit: 43169
0.00/0.04	c Obj. Vars: 650 (10.7848 % of total variables)
0.09/0.17	c Pre-processing Time: 0.167 s
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   6013    21245    54010    2    43108    8081      0      0 0.17
0.09/0.17	c Switching off lower bounding mode.
0.09/0.17	o 28
1.18/1.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.18/1.20	c        7   6013    21260    57971    2    43760    9081     15     40 0.17
1.18/1.20	c      109   6013    21383    69470    3    44006    9990    138    463 0.23
1.18/1.20	c      359   6013    21653    86453    3    44546   10990    408    829 0.43
1.18/1.20	c      834   6013    22183   129217    5    45606   12090    938   1156 0.72
1.18/1.20	c     1647   6013    23125   256980   11    47490   13300   1880   1373 1.20
1.18/1.20	o 27
3.79/3.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.79/3.88	c     1648   6013    23128   257753   11    48119    9081   1883   1367 1.21
3.79/3.88	c     1748   6013    23243   284258   12    48349    9990   1998   1365 1.28
3.79/3.88	c     1998   6013    23544   348783   14    48951   10990   2299   1383 1.44
3.79/3.88	c     2478   6013    24109   407733   16    50081   12090   2864   1408 1.76
3.79/3.88	c     3291   6013    25145   610126   24    52153   13300   3900   1355 2.43
3.79/3.88	c     4611   6013    26643   866112   32    55149   14631   5398   1247 3.70
3.79/3.88	o 26
1260.42/1260.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1260.42/1260.43	c     4876   6013    26942   892777   33    56371    9081   5697   1255 3.88
1260.42/1260.43	c     4977   6013    27060   904171   33    56607    9990   5815   1260 3.95
1260.42/1260.43	c     5227   6013    27353   942483   34    57193   10990   6108   1264 4.13
1260.42/1260.43	c     5703   6013    27888  1173223   42    58875   12090   6643   1209 4.72
1260.42/1260.43	c     6516   6013    28808  1262110   43    60715   13300   7563   1225 5.32
1260.42/1260.43	c     7836   6013    30271  1529903   50    64250   14631   9026   1223 6.41
1260.42/1260.43	c     9917   6013    32757  2224273   67    69222   16095  11512   1151 8.61
1260.42/1260.43	c    13141   6013    36608  3326622   90    77541   17705  15363   1034 12.71
1260.42/1260.43	c    18077   6013    30099  1961547   65    64539   19476   8854    878 20.59
1260.42/1260.43	c    25583   6013    38292  2840435   74    84650   21424  17047    849 30.11
1260.42/1260.43	c    36947   6013    35573  3172945   89    72989   23567  14328    814 45.36
1260.42/1260.43	c    54091   6013    37420   904723   24    76704   25924  16175    878 61.58
1260.42/1260.43	c    79911   6013    33982  3980842  117    71674   28517  12737    712 112.21
1260.42/1260.43	c   118743   6013    42729 10372369  242    92242   31369  21484    469 253.10
1260.42/1260.43	c   177096   6013    39335  8688109  220    85450   34506  18090    399 443.45
1260.42/1260.43	c   264728   6013    42681  6066351  142    97032   37957  21436    384 688.78
1260.42/1260.43	c   396280   6013    52500 15146889  288   112917   41753  31255    352 1123.46
1260.42/1260.43	o 25
1797.93/1797.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.97	c   444396   6013    40771  8706474  213    91338    9081  19526    352 1260.47
1797.93/1797.97	c   444496   6013    25926  2240264   86    53095    9990   4681    352 1260.77
1797.93/1797.97	c   444748   6013    26191  2265732   86    53625   10990   4946    352 1261.03
1797.93/1797.97	c   445223   6013    26753  2472064   92    54749   12090   5508    352 1261.54
1797.93/1797.97	c   446036   6013    27671  2600310   93    56585   13300   6426    353 1262.30
1797.93/1797.97	c   447357   6013    29221  2847450   97    59685   14631   7976    354 1263.39
1797.93/1797.97	c   449438   6013    31655  3484419  110    64553   16095  10410    355 1265.94
1797.93/1797.97	c   452662   6013    35653  4781382  134    73172   17705  14408    356 1270.19
1797.93/1797.97	c   457598   6013    30122  2860261   94    63349   19476   8877    357 1279.29
1797.93/1797.97	c   465104   6013    38916  4883171  125    82179   21424  17671    360 1288.74
1797.93/1797.97	c   476466   6013    36209  3967331  109    74905   23567  14964    364 1307.57
1797.93/1797.97	c   493611   6013    40012  5273669  131    85624   25924  18767    368 1337.73
1797.93/1797.97	c   519430   6013    35841  4097273  114    76017   28517  14596    373 1392.43
1797.93/1797.97	c   558262   6013    45372  5231589  115    93849   31369  24127    384 1452.80
1797.93/1797.97	c   616615   6013    41296  9425277  228    95756   34506  20051    387 1590.08
1797.93/1797.97	c Resources Exceeded
1797.93/1797.97	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.93/1797.97	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.97	c   43   665654 337567  4219590    47209 10853469  25964    370 1798.01
1797.93/1797.97	c Objective: 25
1797.93/1797.97	s SATISFIABLE
1797.93/1797.97	c Total time: 1798.01 s

OK	25

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3462917-1307180874/watcher-3462917-1307180874 -o /tmp/evaluation-result-3462917-1307180874/solver-3462917-1307180874 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462917-1307180874.opb 

running on 4 cores: 0,2,4,6

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: 2.00 2.02 2.00 3/477 30343
/proc/meminfo: memFree=21369832/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=12360 CPUtime=0.01 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 559 0 0 0 1 0 0 0 25 0 1 0 810502686 12656640 513 33554432000 134512640 137138936 4294139568 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 3090 514 222 642 0 2295 0

[startup+0.082057 s]
/proc/loadavg: 2.00 2.02 2.00 3/477 30343
/proc/meminfo: memFree=21369832/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=14788 CPUtime=0.07 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 1444 0 0 0 7 0 0 0 25 0 1 0 810502686 15142912 1247 33554432000 134512640 137138936 4294139568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 3697 1247 184 642 0 3053 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14788

[startup+0.101032 s]
/proc/loadavg: 2.00 2.02 2.00 3/477 30343
/proc/meminfo: memFree=21369832/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=14788 CPUtime=0.09 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 1444 0 0 0 9 0 0 0 25 0 1 0 810502686 15142912 1247 33554432000 134512640 137138936 4294139568 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 3697 1247 184 642 0 3053 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14788

[startup+0.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/477 30343
/proc/meminfo: memFree=21369832/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=15648 CPUtime=0.28 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 1866 0 0 0 27 1 0 0 25 0 1 0 810502686 16023552 1466 33554432000 134512640 137138936 4294139568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 3912 1466 192 642 0 3268 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15648

[startup+0.700929 s]
/proc/loadavg: 2.00 2.02 2.00 3/477 30343
/proc/meminfo: memFree=21369832/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=16020 CPUtime=0.68 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 1965 0 0 0 67 1 0 0 25 0 1 0 810502686 16404480 1565 33554432000 134512640 137138936 4294139568 18446744073709551615 134606691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 4005 1565 192 642 0 3361 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16020

[startup+1.50079 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30344
/proc/meminfo: memFree=21362756/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=19108 CPUtime=1.49 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 2750 0 0 0 147 2 0 0 25 0 1 0 810502686 19566592 2350 33554432000 134512640 137138936 4294139568 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 4777 2350 192 642 0 4133 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19108

[startup+3.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30345
/proc/meminfo: memFree=21357176/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=23876 CPUtime=3.09 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 3935 0 0 0 307 2 0 0 25 0 1 0 810502686 24449024 3535 33554432000 134512640 137138936 4294139568 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 5969 3535 192 642 0 5325 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23876

[startup+6.30094 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30345
/proc/meminfo: memFree=21346648/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=34384 CPUtime=6.29 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 6659 0 0 0 626 3 0 0 25 0 1 0 810502686 35209216 6174 33554432000 134512640 137138936 4294139568 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 8596 6174 192 642 0 7952 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34384

[startup+12.7008 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30345
/proc/meminfo: memFree=21321888/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=58396 CPUtime=12.69 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 12648 0 0 0 1263 6 0 0 25 0 1 0 810502686 59797504 12163 33554432000 134512640 137138936 4294139568 18446744073709551615 136520933 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 14599 12163 192 642 0 13955 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58396

[startup+25.5005 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30345
/proc/meminfo: memFree=21303044/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=71600 CPUtime=25.49 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 15956 0 0 0 2540 9 0 0 25 0 1 0 810502686 73318400 15471 33554432000 134512640 137138936 4294139568 18446744073709551615 134607004 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 17900 15471 192 642 0 17256 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71600

[startup+51.101 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30346
/proc/meminfo: memFree=21295784/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=78892 CPUtime=51.09 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 17780 0 0 0 5092 17 0 0 25 0 1 0 810502686 80785408 17295 33554432000 134512640 137138936 4294139568 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 19723 17295 192 642 0 19079 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 78892

[startup+102.318 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 30347
/proc/meminfo: memFree=21250484/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=112044 CPUtime=102.31 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 26064 0 0 0 10197 34 0 0 25 0 1 0 810502686 114733056 25579 33554432000 134512640 137138936 4294139568 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 28011 25579 192 642 0 27367 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 112044

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 30349
/proc/meminfo: memFree=21158280/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=202356 CPUtime=162.3 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 49543 0 0 0 16183 47 0 0 25 0 1 0 810502686 207212544 48167 33554432000 134512640 137138936 4294139568 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 50589 48167 192 642 0 49945 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 202356

[startup+222.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/478 30350
/proc/meminfo: memFree=21099360/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=261688 CPUtime=222.3 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 64655 0 0 0 22174 56 0 0 25 0 1 0 810502686 267968512 62994 33554432000 134512640 137138936 4294139568 18446744073709551615 134606630 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 65422 62994 192 642 0 64778 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 261688

[startup+282.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/478 30352
/proc/meminfo: memFree=21081072/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279588 CPUtime=282.3 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69345 0 0 0 28162 68 0 0 25 0 1 0 810502686 286298112 67470 33554432000 134512640 137138936 4294139568 18446744073709551615 134618022 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69897 67470 192 642 0 69253 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 279588

[startup+342.301 s]
/proc/loadavg: 2.15 2.06 2.01 3/478 30354
/proc/meminfo: memFree=21081368/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279588 CPUtime=342.3 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69345 0 0 0 34160 70 0 0 25 0 1 0 810502686 286298112 67470 33554432000 134512640 137138936 4294139568 18446744073709551615 134573763 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69897 67470 192 642 0 69253 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 279588

[startup+402.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/478 30355
/proc/meminfo: memFree=21081444/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279588 CPUtime=402.3 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69345 0 0 0 40159 71 0 0 25 0 1 0 810502686 286298112 67470 33554432000 134512640 137138936 4294139568 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69897 67470 192 642 0 69253 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 279588

[startup+462.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/478 30357
/proc/meminfo: memFree=21081136/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279588 CPUtime=462.3 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69345 0 0 0 46153 77 0 0 25 0 1 0 810502686 286298112 67470 33554432000 134512640 137138936 4294139568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69897 67470 192 642 0 69253 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 279588

[startup+522.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 30358
/proc/meminfo: memFree=21081216/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279596 CPUtime=522.3 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69346 0 0 0 52142 88 0 0 25 0 1 0 810502686 286306304 67471 33554432000 134512640 137138936 4294139568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69899 67471 192 642 0 69255 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 279596

[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 30360
/proc/meminfo: memFree=21078296/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279596 CPUtime=582.3 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69347 0 0 0 58135 95 0 0 25 0 1 0 810502686 286306304 67472 33554432000 134512640 137138936 4294139568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69899 67472 192 642 0 69255 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 279596

[startup+642.301 s]

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

/proc/meminfo: memFree=21065640/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279612 CPUtime=1062.31 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69351 0 0 0 106093 138 0 0 25 0 1 0 810502686 286322688 67476 33554432000 134512640 137138936 4294139568 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69903 67476 192 642 0 69259 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 279612

[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 30385
/proc/meminfo: memFree=21065604/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279612 CPUtime=1122.32 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69351 0 0 0 112091 141 0 0 25 0 1 0 810502686 286322688 67476 33554432000 134512640 137138936 4294139568 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69903 67476 192 642 0 69259 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 279612

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30387
/proc/meminfo: memFree=21065672/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279628 CPUtime=1182.32 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69355 0 0 0 118087 145 0 0 25 0 1 0 810502686 286339072 67480 33554432000 134512640 137138936 4294139568 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69907 67480 192 642 0 69263 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 279628

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30389
/proc/meminfo: memFree=21067080/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279628 CPUtime=1242.32 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69355 0 0 0 124084 148 0 0 25 0 1 0 810502686 286339072 67480 33554432000 134512640 137138936 4294139568 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69907 67480 192 642 0 69263 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 279628

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 30390
/proc/meminfo: memFree=21065804/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279628 CPUtime=1302.34 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69355 0 0 0 130083 151 0 0 25 0 1 0 810502686 286339072 67480 33554432000 134512640 137138936 4294139568 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69907 67480 192 642 0 69263 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 279628

[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/478 30392
/proc/meminfo: memFree=21066604/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279628 CPUtime=1362.32 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69355 0 0 0 136076 156 0 0 25 0 1 0 810502686 286339072 67480 33554432000 134512640 137138936 4294139568 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69907 67480 192 642 0 69263 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 279628

[startup+1422.32 s]
/proc/loadavg: 2.06 2.04 2.01 3/478 30393
/proc/meminfo: memFree=21065808/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279628 CPUtime=1422.34 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69355 0 0 0 142073 161 0 0 25 0 1 0 810502686 286339072 67480 33554432000 134512640 137138936 4294139568 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69907 67480 192 642 0 69263 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 279628

[startup+1482.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/478 30395
/proc/meminfo: memFree=21066000/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279628 CPUtime=1482.33 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69355 0 0 0 148062 171 0 0 25 0 1 0 810502686 286339072 67480 33554432000 134512640 137138936 4294139568 18446744073709551615 134604231 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69907 67480 192 642 0 69263 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 279628

[startup+1542.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/478 30397
/proc/meminfo: memFree=21065792/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279628 CPUtime=1542.33 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69355 0 0 0 154059 174 0 0 25 0 1 0 810502686 286339072 67480 33554432000 134512640 137138936 4294139568 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69907 67480 192 642 0 69263 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 279628

[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/478 30398
/proc/meminfo: memFree=21065872/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=279628 CPUtime=1602.33 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 69355 0 0 0 160056 177 0 0 25 0 1 0 810502686 286339072 67480 33554432000 134512640 137138936 4294139568 18446744073709551615 134601028 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 69907 67480 192 642 0 69263 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 279628

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 30427
/proc/meminfo: memFree=21025812/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=329084 CPUtime=1662.33 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 82960 0 0 0 166052 181 0 0 25 0 1 0 810502686 336982016 79844 33554432000 134512640 137138936 4294139568 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 82271 79844 192 642 0 81627 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 329084

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 30428
/proc/meminfo: memFree=20983656/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=329084 CPUtime=1722.33 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 82961 0 0 0 172050 183 0 0 25 0 1 0 810502686 336982016 79845 33554432000 134512640 137138936 4294139568 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 82271 79845 192 642 0 81627 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 329084

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30430
/proc/meminfo: memFree=20828852/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=391328 CPUtime=1782.33 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 98526 0 0 0 178044 189 0 0 25 0 1 0 810502686 400719872 95379 33554432000 134512640 137138936 4294139568 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 97832 95379 192 642 0 97188 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 391328

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30430
/proc/meminfo: memFree=20826364/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=391328 CPUtime=1785.53 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 98526 0 0 0 178364 189 0 0 25 0 1 0 810502686 400719872 95379 33554432000 134512640 137138936 4294139568 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 97832 95379 192 642 0 97188 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 391328

[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30430
/proc/meminfo: memFree=20818292/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=391328 CPUtime=1791.95 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 98526 0 0 0 179006 189 0 0 25 0 1 0 810502686 400719872 95379 33554432000 134512640 137138936 4294139568 18446744073709551615 134551655 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 97832 95379 192 642 0 97188 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 391328

[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30430
/proc/meminfo: memFree=20815564/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=391328 CPUtime=1795.15 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 98526 0 0 0 179325 190 0 0 25 0 1 0 810502686 400719872 95379 33554432000 134512640 137138936 4294139568 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 97832 95379 192 642 0 97188 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 391328

[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30430
/proc/meminfo: memFree=20814556/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=391328 CPUtime=1796.74 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 98526 0 0 0 179484 190 0 0 25 0 1 0 810502686 400719872 95379 33554432000 134512640 137138936 4294139568 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 97832 95379 192 642 0 97188 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 391328

[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30430
/proc/meminfo: memFree=20813068/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=391328 CPUtime=1797.54 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 98526 0 0 0 179564 190 0 0 25 0 1 0 810502686 400719872 95379 33554432000 134512640 137138936 4294139568 18446744073709551615 134542960 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 97832 95379 192 642 0 97188 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 391328

[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30430
/proc/meminfo: memFree=20813068/32951124 swapFree=67057928/67111528
[pid=30343] ppid=30341 vsize=391328 CPUtime=1797.93 cores=0,2,4,6
/proc/30343/stat : 30343 (bsolo) R 30341 30343 28116 0 -1 4202496 98526 0 0 0 179603 190 0 0 25 0 1 0 810502686 400719872 95379 33554432000 134512640 137138936 4294139568 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30343/statm: 97832 95379 192 642 0 97188 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 391328

Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.03
CPU user time (s): 1796.11
CPU system time (s): 1.91971
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 391328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.11
system time used= 1.91971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98527
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= 4
involuntary context switches= 2986

runsolver used 8.92464 second user time and 18.8691 second system time

The end

Begin job on node140 at 2011-06-04 11:47:54
IDJOB=3462917
IDBENCH=25015
IDSOLVER=1955
FILE ID=node140/3462917-1307180874
RUNJOBID= node140-1307175312-29220
PBS_JOBID= 13508839
Free space on /tmp= 73640 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d25f6086317f033c233c4700493f03d1
RANDOM SEED=402302255

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21369988 kB
Buffers:        313732 kB
Cached:        3987836 kB
SwapCached:       6932 kB
Active:        7442692 kB
Inactive:      3802848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21369988 kB
SwapTotal:    67111528 kB
SwapFree:     67057928 kB
Dirty:            4280 kB
Writeback:           0 kB
AnonPages:     6941892 kB
Mapped:          38768 kB
Slab:           214944 kB
PageTables:      52060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141437952 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73636 MiB
End job on node140 at 2011-06-04 12:17:52