Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 26 | 1798.04 | 1798.57 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_3.opb |
MD5SUM | 82a3d84200b069df277c7f14e0e883d0 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | NO |
Number of variables | 6076 |
Total number of constraints | 21401 |
Number of constraints which are clauses | 21392 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 666 |
Number of terms in the objective function | 666 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 666 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 697 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657286-1276639305.opb 0.00/0.00 c File size is 619623 bytes. 0.09/0.11 c Highest Coefficient sum: 697 0.09/0.11 c Parsing was ok!! 0.09/0.11 c Total parsing time: 0.11 s 0.09/0.12 c Var: 6076 Constr: 21401 21400/1/0 Lit: 54392 Watch. Lit: 43431 0.09/0.12 c Obj. Vars: 666 (10.9612 % of total variables) 0.29/0.38 c Pre-processing Time: 0.386 s 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 0 6067 21380 54355 2 43394 8126 0 0 0.39 0.29/0.38 c Switching off lower bounding mode. 0.39/0.40 o 28 1.19/1.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.23 c 12 6067 21393 57430 2 44058 9126 13 29 0.40 1.19/1.23 c 112 6067 21493 61938 2 44258 10039 113 187 0.60 1.19/1.23 c 362 6067 21743 70066 3 44758 11043 363 506 0.71 1.19/1.23 c 838 6067 22219 97489 4 45710 12148 839 954 0.88 1.19/1.23 c 1651 6067 23032 202562 8 47336 13363 1652 1355 1.22 1.19/1.23 o 27 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 1652 6067 23034 203329 8 47979 9126 1654 1339 1.23 1.39/1.41 c 1753 6067 23135 212134 9 48181 10039 1755 1361 1.29 1.39/1.41 c 2004 6067 23386 243647 10 48683 11043 2006 1437 1.39 1.39/1.41 o 26 1797.97/1798.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.53 c 2016 6067 23399 245538 10 49349 9126 2019 1420 1.42 1797.97/1798.53 c 2116 6067 23499 252406 10 49549 10039 2119 1420 1.49 1797.97/1798.53 c 2366 6067 23749 283425 11 50049 11043 2369 1425 1.66 1797.97/1798.53 c 2843 6067 24226 313960 12 51003 12148 2846 1443 1.97 1797.97/1798.53 c 3656 6067 25039 429066 17 52629 13363 3659 1515 2.41 1797.97/1798.53 c 4977 6067 26360 650333 24 55271 14700 4980 1642 3.03 1797.97/1798.53 c 7058 6067 28441 1185731 41 59433 16171 7061 1534 4.60 1797.97/1798.53 c 10281 6067 31664 2234940 70 65879 17789 10284 1337 7.69 1797.97/1798.53 c 15217 6067 36600 5348694 146 75751 19568 15220 963 15.80 1797.97/1798.53 c 22724 6067 31166 4980705 159 63606 21525 9786 673 33.75 1797.97/1798.53 c 34086 6067 42528 7296526 171 86330 23678 21148 644 52.89 1797.97/1798.53 c 51230 6067 42385 4960750 117 86044 26046 21005 625 81.93 1797.97/1798.53 c 77049 6067 32622 2392862 73 66518 28651 11242 601 128.01 1797.97/1798.53 c 115883 6067 49059 9585830 195 99392 31517 27679 476 243.03 1797.97/1798.53 c 174235 6067 33187 2747271 82 67648 34669 11807 346 502.37 1797.97/1798.53 c 261868 6067 36598 3050303 83 74470 38136 15218 366 715.00 1797.97/1798.53 c 393420 6067 41889 11520603 275 85052 41950 20509 261 1506.01 1797.97/1798.53 c Resources Exceeded 1797.97/1798.53 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 1797.97/1798.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.53 c 25 477794 224313 1543176 56554 9618903 35174 265 1798.00 1797.97/1798.53 c Objective: 26 1797.97/1798.53 s SATISFIABLE 1797.97/1798.53 c Total time: 1798 s
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657286-1276639305/watcher-2657286-1276639305 -o /tmp/evaluation-result-2657286-1276639305/solver-2657286-1276639305 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657286-1276639305.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.00 1.00 1.00 3/106 11827 /proc/meminfo: memFree=1815136/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=11540 CPUtime=0 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 354 0 0 0 0 0 0 0 24 0 1 0 5218607 11816960 272 1992294400 134512640 137138936 4289515856 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 2885 272 176 642 0 2089 0 [startup+0.041137 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11827 /proc/meminfo: memFree=1815136/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=12232 CPUtime=0.03 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 587 0 0 0 3 0 0 0 24 0 1 0 5218607 12525568 505 1992294400 134512640 137138936 4289515856 18446744073709551615 136520930 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 3058 505 220 642 0 2262 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12232 [startup+0.101145 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11827 /proc/meminfo: memFree=1815136/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=13608 CPUtime=0.09 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 1007 0 0 0 9 0 0 0 24 0 1 0 5218607 13934592 925 1992294400 134512640 137138936 4289515856 18446744073709551615 136659561 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 3402 925 302 642 0 2606 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13608 [startup+0.301173 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11827 /proc/meminfo: memFree=1815136/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=14808 CPUtime=0.29 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 1488 0 0 0 29 0 0 0 25 0 1 0 5218607 15163392 1254 1992294400 134512640 137138936 4289515856 18446744073709551615 134542690 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 3702 1254 184 642 0 3058 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14808 [startup+0.70123 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11827 /proc/meminfo: memFree=1815136/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=15676 CPUtime=0.69 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 1916 0 0 0 66 3 0 0 25 0 1 0 5218607 16052224 1476 1992294400 134512640 137138936 4289515856 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 3919 1476 192 642 0 3275 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15676 [startup+1.50134 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11828 /proc/meminfo: memFree=1809548/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=17776 CPUtime=1.49 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 2447 0 0 0 144 5 0 0 25 0 1 0 5218607 18202624 2007 1992294400 134512640 137138936 4289515856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 4444 2007 192 642 0 3800 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17776 [startup+3.10057 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11828 /proc/meminfo: memFree=1806324/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=23572 CPUtime=3.09 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 3894 0 0 0 303 6 0 0 25 0 1 0 5218607 24137728 3454 1992294400 134512640 137138936 4289515856 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 5893 3454 192 642 0 5249 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23572 [startup+6.30102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11828 /proc/meminfo: memFree=1790328/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=38456 CPUtime=6.28 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 7629 0 0 0 620 8 0 0 25 0 1 0 5218607 39378944 7189 1992294400 134512640 137138936 4289515856 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 9614 7189 192 642 0 8970 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 38456 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11828 /proc/meminfo: memFree=1755980/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=72060 CPUtime=12.68 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 16033 0 0 0 1253 15 0 0 25 0 1 0 5218607 73789440 15593 1992294400 134512640 137138936 4289515856 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 18015 15593 192 642 0 17371 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 72060 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11830 /proc/meminfo: memFree=1709852/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=115776 CPUtime=25.48 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 26952 0 0 0 2521 27 0 0 25 0 1 0 5218607 118554624 26512 1992294400 134512640 137138936 4289515856 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 28944 26512 192 642 0 28300 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 115776 [startup+51.1004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11830 /proc/meminfo: memFree=1693608/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=131240 CPUtime=51.08 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 30821 0 0 0 5073 35 0 0 25 0 1 0 5218607 134389760 30381 1992294400 134512640 137138936 4289515856 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 32810 30381 192 642 0 32166 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 131240 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11832 /proc/meminfo: memFree=1693360/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=131168 CPUtime=102.26 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 30829 0 0 0 10172 54 0 0 25 0 1 0 5218607 134316032 30372 1992294400 134512640 137138936 4289515856 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 32792 30372 192 642 0 32148 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 131168 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11832 /proc/meminfo: memFree=1693360/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=131168 CPUtime=162.24 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 30829 0 0 0 16158 66 0 0 25 0 1 0 5218607 134316032 30372 1992294400 134512640 137138936 4289515856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 32792 30372 192 642 0 32148 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 131168 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11834 /proc/meminfo: memFree=1680588/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=143928 CPUtime=222.22 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 34037 0 0 0 22144 78 0 0 25 0 1 0 5218607 147382272 33546 1992294400 134512640 137138936 4289515856 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 35982 33546 192 642 0 35338 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 143928 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11836 /proc/meminfo: memFree=1664716/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=159732 CPUtime=282.2 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 38023 0 0 0 28127 93 0 0 25 0 1 0 5218607 163565568 37496 1992294400 134512640 137138936 4289515856 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 39933 37496 192 642 0 39289 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 159732 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11838 /proc/meminfo: memFree=1664592/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=159732 CPUtime=342.19 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 38023 0 0 0 34119 100 0 0 25 0 1 0 5218607 163565568 37496 1992294400 134512640 137138936 4289515856 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 39933 37496 192 642 0 39289 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 159732 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11840 /proc/meminfo: memFree=1647480/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=176968 CPUtime=402.17 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 42317 0 0 0 40109 108 0 0 25 0 1 0 5218607 181215232 41790 1992294400 134512640 137138936 4289515856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 44242 41790 192 642 0 43598 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 176968 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11840 /proc/meminfo: memFree=1647480/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=176968 CPUtime=462.15 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 42317 0 0 0 46101 114 0 0 25 0 1 0 5218607 181215232 41790 1992294400 134512640 137138936 4289515856 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 44242 41790 192 642 0 43598 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 176968 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11842 /proc/meminfo: memFree=1647356/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=176804 CPUtime=522.14 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 42317 0 0 0 52090 124 0 0 25 0 1 0 5218607 181047296 41781 1992294400 134512640 137138936 4289515856 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 44201 41781 192 642 0 43557 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 176804 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11844 /proc/meminfo: memFree=1647232/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=176816 CPUtime=582.12 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 42320 0 0 0 58076 136 0 0 25 0 1 0 5218607 181059584 41784 1992294400 134512640 137138936 4289515856 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 44204 41784 192 642 0 43560 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 176816 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11846 /proc/meminfo: memFree=1647232/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=176816 CPUtime=642.11 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 42320 0 0 0 64068 143 0 0 25 0 1 0 5218607 181059584 41784 1992294400 134512640 137138936 4289515856 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 44204 41784 192 642 0 43560 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 176816 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1520876/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=302848 CPUtime=1061.98 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 73839 0 0 0 105986 212 0 0 25 0 1 0 5218607 310116352 73260 1992294400 134512640 137138936 4289515856 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 75712 73260 192 642 0 75068 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 302848 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11858 /proc/meminfo: memFree=1520752/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=302848 CPUtime=1121.96 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 73839 0 0 0 111981 215 0 0 25 0 1 0 5218607 310116352 73260 1992294400 134512640 137138936 4289515856 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 75712 73260 192 642 0 75068 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 302848 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11860 /proc/meminfo: memFree=1509220/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=314992 CPUtime=1181.95 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 76876 0 0 0 117975 220 0 0 25 0 1 0 5218607 322551808 76297 1992294400 134512640 137138936 4289515856 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 78748 76297 192 642 0 78104 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 314992 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11862 /proc/meminfo: memFree=1470656/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=352912 CPUtime=1241.92 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 86370 0 0 0 123964 228 0 0 25 0 1 0 5218607 361381888 85791 1992294400 134512640 137138936 4289515856 18446744073709551615 134617973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88228 85791 192 642 0 87584 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 352912 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11864 /proc/meminfo: memFree=1467432/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=355848 CPUtime=1301.91 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87089 0 0 0 129956 235 0 0 25 0 1 0 5218607 364388352 86510 1992294400 134512640 137138936 4289515856 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88962 86510 192 642 0 88318 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 355848 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 11864 /proc/meminfo: memFree=1467432/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=355848 CPUtime=1361.89 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87089 0 0 0 135948 241 0 0 25 0 1 0 5218607 364388352 86510 1992294400 134512640 137138936 4289515856 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88962 86510 192 642 0 88318 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 355848 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11866 /proc/meminfo: memFree=1467432/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=355848 CPUtime=1421.88 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87089 0 0 0 141942 246 0 0 25 0 1 0 5218607 364388352 86510 1992294400 134512640 137138936 4289515856 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88962 86510 192 642 0 88318 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 355848 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11868 /proc/meminfo: memFree=1467308/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=355604 CPUtime=1481.85 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87089 0 0 0 147934 251 0 0 25 0 1 0 5218607 364138496 86481 1992294400 134512640 137138936 4289515856 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88901 86481 192 642 0 88257 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 355604 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11870 /proc/meminfo: memFree=1467308/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=355604 CPUtime=1541.83 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87089 0 0 0 153920 263 0 0 25 0 1 0 5218607 364138496 86481 1992294400 134512640 137138936 4289515856 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88901 86481 192 642 0 88257 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 355604 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11872 /proc/meminfo: memFree=1469292/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=353388 CPUtime=1601.82 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87093 0 0 0 159902 280 0 0 25 0 1 0 5218607 361869312 85928 1992294400 134512640 137138936 4289515856 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88347 85928 192 642 0 87703 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 353388 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11872 /proc/meminfo: memFree=1469168/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=353388 CPUtime=1661.8 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87093 0 0 0 165887 293 0 0 25 0 1 0 5218607 361869312 85928 1992294400 134512640 137138936 4289515856 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88347 85928 192 642 0 87703 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 353388 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11874 /proc/meminfo: memFree=1469044/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=353388 CPUtime=1721.79 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87093 0 0 0 171878 301 0 0 25 0 1 0 5218607 361869312 85928 1992294400 134512640 137138936 4289515856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88347 85928 192 642 0 87703 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 353388 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11876 /proc/meminfo: memFree=1468920/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=353388 CPUtime=1781.77 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87093 0 0 0 177862 315 0 0 25 0 1 0 5218607 361869312 85928 1992294400 134512640 137138936 4289515856 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88347 85928 192 642 0 87703 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 353388 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11876 /proc/meminfo: memFree=1468920/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=353388 CPUtime=1791.37 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87093 0 0 0 178821 316 0 0 25 0 1 0 5218607 361869312 85928 1992294400 134512640 137138936 4289515856 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88347 85928 192 642 0 87703 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 353388 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11876 /proc/meminfo: memFree=1468920/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=353388 CPUtime=1794.57 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87093 0 0 0 179140 317 0 0 25 0 1 0 5218607 361869312 85928 1992294400 134512640 137138936 4289515856 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88347 85928 192 642 0 87703 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 353388 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11876 /proc/meminfo: memFree=1468920/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=353388 CPUtime=1796.16 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87093 0 0 0 179299 317 0 0 25 0 1 0 5218607 361869312 85928 1992294400 134512640 137138936 4289515856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88347 85928 192 642 0 87703 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 353388 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11876 /proc/meminfo: memFree=1468920/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=353388 CPUtime=1796.96 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87093 0 0 0 179379 317 0 0 25 0 1 0 5218607 361869312 85928 1992294400 134512640 137138936 4289515856 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88347 85928 192 642 0 87703 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 353388 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11876 /proc/meminfo: memFree=1468920/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=353388 CPUtime=1797.77 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87093 0 0 0 179459 318 0 0 25 0 1 0 5218607 361869312 85928 1992294400 134512640 137138936 4289515856 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88347 85928 192 642 0 87703 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 353388 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11876 /proc/meminfo: memFree=1468920/2059040 swapFree=4144492/4192956 [pid=11827] ppid=11825 vsize=353388 CPUtime=1797.97 /proc/11827/stat : 11827 (bsolo_pb10) R 11825 11827 11469 0 -1 4202496 87093 0 0 0 179479 318 0 0 25 0 1 0 5218607 361869312 85928 1992294400 134512640 137138936 4289515856 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11827/statm: 88347 85928 192 642 0 87703 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 353388 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.04 CPU user time (s): 1794.82 CPU system time (s): 3.21651 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 355848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.82 system time used= 3.21651 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87094 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= 5122 runsolver used 2.92556 second user time and 8.5327 second system time The end
Begin job on node049 at 2010-06-16 00:01:46 IDJOB=2657286 IDBENCH=25012 IDSOLVER=1163 FILE ID=node049/2657286-1276639305 PBS_JOBID= 11172395 Free space on /tmp= 62524 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657286-1276639305/watcher-2657286-1276639305 -o /tmp/evaluation-result-2657286-1276639305/solver-2657286-1276639305 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657286-1276639305.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0 RANDOM SEED=579914152 node049.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.244 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1815664 kB Buffers: 53788 kB Cached: 96240 kB SwapCached: 5376 kB Active: 91244 kB Inactive: 75392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1815664 kB SwapTotal: 4192956 kB SwapFree: 4144492 kB Dirty: 4584 kB Writeback: 0 kB AnonPages: 14120 kB Mapped: 12992 kB Slab: 54792 kB PageTables: 3932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183952 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62520 MiB End job on node049 at 2010-06-16 00:31:44