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

OK	28

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656361-1276639280/watcher-2656361-1276639280 -o /tmp/evaluation-result-2656361-1276639280/solver-2656361-1276639280 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656361-1276639280.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: 1.91 1.93 1.63 3/105 13901
/proc/meminfo: memFree=1713824/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=11540 CPUtime=0
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 358 0 0 0 0 0 0 0 25 0 1 0 5221133 11816960 276 1992294400 134512640 137138936 4294651120 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 2885 276 177 642 0 2089 0

[startup+0.108344 s]
/proc/loadavg: 1.91 1.93 1.63 3/105 13901
/proc/meminfo: memFree=1713824/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=14016 CPUtime=0.1
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 1279 0 0 0 10 0 0 0 25 0 1 0 5221133 14352384 1045 1992294400 134512640 137138936 4294651120 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 3504 1047 182 642 0 2860 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14016

[startup+0.201369 s]
/proc/loadavg: 1.91 1.93 1.63 3/105 13901
/proc/meminfo: memFree=1713824/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=14808 CPUtime=0.19
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 1487 0 0 0 19 0 0 0 25 0 1 0 5221133 15163392 1253 1992294400 134512640 137138936 4294651120 18446744073709551615 136504438 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 3702 1253 184 642 0 3058 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14808

[startup+0.300367 s]
/proc/loadavg: 1.91 1.93 1.63 3/105 13901
/proc/meminfo: memFree=1713824/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=14808 CPUtime=0.29
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 1487 0 0 0 28 1 0 0 25 0 1 0 5221133 15163392 1253 1992294400 134512640 137138936 4294651120 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 3702 1253 184 642 0 3058 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14808

[startup+0.700416 s]
/proc/loadavg: 1.91 1.93 1.63 3/105 13901
/proc/meminfo: memFree=1713824/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=15676 CPUtime=0.69
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 1915 0 0 0 66 3 0 0 25 0 1 0 5221133 16052224 1475 1992294400 134512640 137138936 4294651120 18446744073709551615 134543094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 3919 1475 192 642 0 3275 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15676

[startup+1.50051 s]
/proc/loadavg: 1.91 1.93 1.63 2/106 13902
/proc/meminfo: memFree=1708608/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=15676 CPUtime=1.49
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 1928 0 0 0 145 4 0 0 25 0 1 0 5221133 16052224 1488 1992294400 134512640 137138936 4294651120 18446744073709551615 136505051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 3919 1488 192 642 0 3275 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15676

[startup+3.10071 s]
/proc/loadavg: 1.91 1.93 1.63 2/106 13902
/proc/meminfo: memFree=1707492/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=18184 CPUtime=3.09
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 2557 0 0 0 305 4 0 0 25 0 1 0 5221133 18620416 2117 1992294400 134512640 137138936 4294651120 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 4546 2117 192 642 0 3902 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18184

[startup+6.3011 s]
/proc/loadavg: 2.00 1.95 1.64 2/106 13902
/proc/meminfo: memFree=1701416/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=23532 CPUtime=6.29
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 3885 0 0 0 622 7 0 0 25 0 1 0 5221133 24096768 3445 1992294400 134512640 137138936 4294651120 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 5883 3445 192 642 0 5239 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23532

[startup+12.7009 s]
/proc/loadavg: 1.92 1.93 1.63 2/106 13902
/proc/meminfo: memFree=1686784/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=38492 CPUtime=12.69
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 7825 0 0 0 1259 10 0 0 25 0 1 0 5221133 39415808 7188 1992294400 134512640 137138936 4294651120 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 9623 7188 192 642 0 8979 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38492

[startup+25.5004 s]
/proc/loadavg: 1.71 1.89 1.62 2/106 13904
/proc/meminfo: memFree=1662108/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=62368 CPUtime=25.48
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 13804 0 0 0 2533 15 0 0 25 0 1 0 5221133 63864832 13160 1992294400 134512640 137138936 4294651120 18446744073709551615 134618342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 15592 13160 192 642 0 14948 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62368

[startup+51.1006 s]
/proc/loadavg: 1.47 1.81 1.61 2/106 13904
/proc/meminfo: memFree=1615360/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=108876 CPUtime=51.08
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 25975 0 0 0 5081 27 0 0 25 0 1 0 5221133 111489024 24796 1992294400 134512640 137138936 4294651120 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 27219 24796 192 642 0 26575 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 108876

[startup+102.301 s]
/proc/loadavg: 1.20 1.69 1.57 2/106 13906
/proc/meminfo: memFree=1583616/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=139740 CPUtime=102.27
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 33956 0 0 0 10184 43 0 0 25 0 1 0 5221133 143093760 32506 1992294400 134512640 137138936 4294651120 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 34935 32506 192 642 0 34291 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 139740

[startup+162.301 s]
/proc/loadavg: 1.07 1.56 1.53 2/106 13906
/proc/meminfo: memFree=1562164/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=161728 CPUtime=162.25
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 39829 0 0 0 16169 56 0 0 25 0 1 0 5221133 165609472 38011 1992294400 134512640 137138936 4294651120 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 40432 38011 192 642 0 39788 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 161728

[startup+222.307 s]
/proc/loadavg: 1.02 1.45 1.50 2/106 13908
/proc/meminfo: memFree=1532404/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=190868 CPUtime=222.23
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 47223 0 0 0 22145 78 0 0 25 0 1 0 5221133 195448832 45291 1992294400 134512640 137138936 4294651120 18446744073709551615 134599681 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 47717 45291 192 642 0 47073 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 190868

[startup+282.301 s]
/proc/loadavg: 1.01 1.37 1.46 2/106 13910
/proc/meminfo: memFree=1532404/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=190836 CPUtime=282.21
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 47226 0 0 0 28135 86 0 0 25 0 1 0 5221133 195416064 45288 1992294400 134512640 137138936 4294651120 18446744073709551615 134542460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 47709 45288 192 642 0 47065 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 190836

[startup+342.301 s]
/proc/loadavg: 1.00 1.30 1.43 2/106 13912
/proc/meminfo: memFree=1532280/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=190840 CPUtime=342.2
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 47227 0 0 0 34129 91 0 0 25 0 1 0 5221133 195420160 45289 1992294400 134512640 137138936 4294651120 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 47710 45289 192 642 0 47066 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 190840

[startup+402.3 s]
/proc/loadavg: 1.00 1.24 1.40 2/106 13914
/proc/meminfo: memFree=1532280/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=190844 CPUtime=402.18
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 47229 0 0 0 40120 98 0 0 25 0 1 0 5221133 195424256 45290 1992294400 134512640 137138936 4294651120 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 47711 45290 192 642 0 47067 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 190844

[startup+462.301 s]
/proc/loadavg: 1.00 1.20 1.37 2/106 13914
/proc/meminfo: memFree=1532156/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=190844 CPUtime=462.16
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 47229 0 0 0 46113 103 0 0 25 0 1 0 5221133 195424256 45290 1992294400 134512640 137138936 4294651120 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 47711 45290 192 642 0 47067 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 190844

[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.35 2/106 13916
/proc/meminfo: memFree=1532156/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=190844 CPUtime=522.15
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 47229 0 0 0 52106 109 0 0 25 0 1 0 5221133 195424256 45290 1992294400 134512640 137138936 4294651120 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 47711 45290 192 642 0 47067 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 190844

[startup+582.3 s]
/proc/loadavg: 1.00 1.13 1.32 2/106 13918
/proc/meminfo: memFree=1532156/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=190852 CPUtime=582.13
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 47231 0 0 0 58094 119 0 0 25 0 1 0 5221133 195432448 45292 1992294400 134512640 137138936 4294651120 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 47713 45292 192 642 0 47069 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 190852

[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.30 2/106 13920
/proc/meminfo: memFree=1532032/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=190852 CPUtime=642.11
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 47231 0 0 0 64086 125 0 0 25 0 1 0 5221133 195432448 45292 1992294400 134512640 137138936 4294651120 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 47713 45292 192 642 0 47069 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 190852

[startup+702.301 s]

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

/proc/meminfo: memFree=1376164/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=345976 CPUtime=1121.98
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 93200 0 0 0 112004 194 0 0 25 0 1 0 5221133 354279424 84073 1992294400 134512640 137138936 4294651120 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 86494 84073 192 642 0 85850 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 345976

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/106 13934
/proc/meminfo: memFree=1376040/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=345976 CPUtime=1181.96
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 93200 0 0 0 117998 198 0 0 25 0 1 0 5221133 354279424 84073 1992294400 134512640 137138936 4294651120 18446744073709551615 136504370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 86494 84073 192 642 0 85850 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 345976

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/106 13936
/proc/meminfo: memFree=1375792/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=345976 CPUtime=1241.94
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 93200 0 0 0 123993 201 0 0 25 0 1 0 5221133 354279424 84073 1992294400 134512640 137138936 4294651120 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 86494 84073 192 642 0 85850 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 345976

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/106 13938
/proc/meminfo: memFree=1364880/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=357824 CPUtime=1301.93
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 96130 0 0 0 129987 206 0 0 25 0 1 0 5221133 366411776 87003 1992294400 134512640 137138936 4294651120 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 89456 87003 192 642 0 88812 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 357824

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/106 13938
/proc/meminfo: memFree=1317512/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=404420 CPUtime=1361.91
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 107795 0 0 0 135977 214 0 0 25 0 1 0 5221133 414126080 98668 1992294400 134512640 137138936 4294651120 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 101105 98668 192 642 0 100461 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 404420

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/106 13940
/proc/meminfo: memFree=1317512/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=404420 CPUtime=1421.9
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 107795 0 0 0 141973 217 0 0 25 0 1 0 5221133 414126080 98668 1992294400 134512640 137138936 4294651120 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 101105 98668 192 642 0 100461 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 404420

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 13942
/proc/meminfo: memFree=1317512/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=404420 CPUtime=1481.88
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 107795 0 0 0 147967 221 0 0 25 0 1 0 5221133 414126080 98668 1992294400 134512640 137138936 4294651120 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 101105 98668 192 642 0 100461 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 404420

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.09 2/106 13944
/proc/meminfo: memFree=1317512/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=404420 CPUtime=1541.87
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 107795 0 0 0 153963 224 0 0 25 0 1 0 5221133 414126080 98668 1992294400 134512640 137138936 4294651120 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 101105 98668 192 642 0 100461 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 404420

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/106 13946
/proc/meminfo: memFree=1317388/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=404420 CPUtime=1601.85
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 107795 0 0 0 159958 227 0 0 25 0 1 0 5221133 414126080 98668 1992294400 134512640 137138936 4294651120 18446744073709551615 134618004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 101105 98668 192 642 0 100461 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 404420

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 13946
/proc/meminfo: memFree=1308832/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=412880 CPUtime=1661.83
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 109922 0 0 0 165950 233 0 0 25 0 1 0 5221133 422789120 100795 1992294400 134512640 137138936 4294651120 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 103220 100795 192 642 0 102576 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 412880

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/106 13948
/proc/meminfo: memFree=1308708/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=412880 CPUtime=1721.81
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 109922 0 0 0 171943 238 0 0 25 0 1 0 5221133 422789120 100795 1992294400 134512640 137138936 4294651120 18446744073709551615 134607612 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 103220 100795 192 642 0 102576 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 412880

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 13950
/proc/meminfo: memFree=1308460/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=412888 CPUtime=1781.79
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 109924 0 0 0 177936 243 0 0 25 0 1 0 5221133 422797312 100797 1992294400 134512640 137138936 4294651120 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 103222 100797 192 642 0 102578 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 412888

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

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 13950
/proc/meminfo: memFree=1308460/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=412888 CPUtime=1791.5
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 109924 0 0 0 178906 244 0 0 25 0 1 0 5221133 422797312 100797 1992294400 134512640 137138936 4294651120 18446744073709551615 134575390 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 103222 100797 192 642 0 102578 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 412888

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 13950
/proc/meminfo: memFree=1308460/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=412888 CPUtime=1794.7
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 109924 0 0 0 179226 244 0 0 25 0 1 0 5221133 422797312 100797 1992294400 134512640 137138936 4294651120 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 103222 100797 192 642 0 102578 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 412888

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 13950
/proc/meminfo: memFree=1308460/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=412888 CPUtime=1796.29
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 109924 0 0 0 179385 244 0 0 25 0 1 0 5221133 422797312 100797 1992294400 134512640 137138936 4294651120 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 103222 100797 192 642 0 102578 0
Current children cumulated CPU time (s) 1796.29
Current children cumulated vsize (KiB) 412888

[startup+1797.6 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 13950
/proc/meminfo: memFree=1308460/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=412888 CPUtime=1797.09
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 109924 0 0 0 179465 244 0 0 25 0 1 0 5221133 422797312 100797 1992294400 134512640 137138936 4294651120 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 103222 100797 192 642 0 102578 0
Current children cumulated CPU time (s) 1797.09
Current children cumulated vsize (KiB) 412888

[startup+1798 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 13950
/proc/meminfo: memFree=1308460/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=412888 CPUtime=1797.49
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 109924 0 0 0 179505 244 0 0 25 0 1 0 5221133 422797312 100797 1992294400 134512640 137138936 4294651120 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 103222 100797 192 642 0 102578 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 412888

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 13950
/proc/meminfo: memFree=1308460/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=412888 CPUtime=1797.89
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 109924 0 0 0 179545 244 0 0 25 0 1 0 5221133 422797312 100797 1992294400 134512640 137138936 4294651120 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 103222 100797 192 642 0 102578 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 412888

[startup+1798.5 s]
/proc/loadavg: 1.00 1.00 1.06 2/106 13950
/proc/meminfo: memFree=1308460/2059040 swapFree=4192956/4192956
[pid=13901] ppid=13899 vsize=412888 CPUtime=1798
/proc/13901/stat : 13901 (bsolo_pb10) R 13899 13901 13215 0 -1 4202496 109924 0 0 0 179556 244 0 0 25 0 1 0 5221133 422797312 100797 1992294400 134512640 137138936 4294651120 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13901/statm: 103222 100797 192 642 0 102578 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 412888

Child status: 0
Real time (s): 1798.59
CPU time (s): 1798.08
CPU user time (s): 1795.6
CPU system time (s): 2.48262
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 412888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.6
system time used= 2.48262
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109925
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= 3450

runsolver used 2.89656 second user time and 8.5587 second system time

The end

Begin job on node080 at 2010-06-16 00:01:20
IDJOB=2656361
IDBENCH=25012
IDSOLVER=1162
FILE ID=node080/2656361-1276639280
PBS_JOBID= 11172361
Free space on /tmp= 62592 MiB

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

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

MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0
RANDOM SEED=1534995969

node080.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.242
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.48
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.242
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	: 5999.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1714352 kB
Buffers:         59116 kB
Cached:         148688 kB
SwapCached:          0 kB
Active:         112032 kB
Inactive:       156132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1714352 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4772 kB
Writeback:           0 kB
AnonPages:       60320 kB
Mapped:          15352 kB
Slab:            54924 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183640 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= 62588 MiB
End job on node080 at 2010-06-16 00:31:18