Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | 24 | 1800.07 | 1800.51 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
MD5SUM | a6271c60ac3da107dd19024b50d39967 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 60.8677 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | YES |
Number of variables | 4318 |
Total number of constraints | 15120 |
Number of constraints which are clauses | 15112 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 7 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 490 |
Number of terms in the objective function | 490 |
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 | 490 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 28 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 518 |
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.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3736029-1338708266.opb 0.00/0.00 c File size is 435390 bytes. 0.00/0.04 c Highest Coefficient sum: 518 0.00/0.04 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.038 s 0.03/0.04 c Var: 4318 Constr: 15120 15119/1/0 Lit: 38442 Watch. Lit: 30696 0.03/0.04 c Obj. Vars: 490 (11.3478 % of total variables) 0.08/0.12 c Pre-processing Time: 0.115 s 0.08/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.12 c 0 4307 15096 38399 2 30653 6031 0 0 0.12 0.08/0.12 c Switching off LPR mode. 0.08/0.12 o 27 0.119 0.18/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.18/0.25 c 9 4307 15106 40601 2 31136 7031 10 75 0.12 0.18/0.25 c 111 4307 15208 45313 2 31340 7735 112 672 0.17 0.18/0.25 o 26 0.246 0.38/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.38/0.49 c 301 4307 15399 55484 3 32186 7031 303 1218 0.25 0.38/0.49 c 401 4307 15499 60326 3 32386 7735 403 1501 0.27 0.38/0.49 c 651 4307 15749 129804 8 32886 8509 653 1909 0.34 0.38/0.49 c 1127 4307 16225 173538 10 33838 9360 1129 2318 0.49 0.38/0.49 o 25 0.489 0.48/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.48/0.50 c 1128 4307 16227 174034 10 34307 7031 1131 2302 0.49 0.48/0.50 o 24 0.492 1800.06/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.50 c 1129 4307 16229 174706 10 34777 7031 1133 2290 0.49 1800.06/1800.50 c 1229 4307 16329 188102 11 34977 7735 1233 2363 0.52 1800.06/1800.50 c 1480 4307 16580 204729 12 35479 8509 1484 2610 0.57 1800.06/1800.50 c 1957 4307 17057 258837 15 36433 9360 1961 3116 0.63 1800.06/1800.50 c 2770 4307 17870 395456 22 38059 10297 2774 3551 0.78 1800.06/1800.50 c 4090 4307 19190 705296 36 40699 11327 4094 3906 1.05 1800.06/1800.50 c 6171 4307 21271 1015628 47 44861 12460 6175 3451 1.79 1800.06/1800.50 c 9394 4307 24494 2788711 113 51307 13707 9398 2129 4.41 1800.06/1800.50 c 14331 4307 21951 1723457 78 44829 15078 6855 2353 6.09 1800.06/1800.50 c 21838 4307 29458 5569689 189 59843 16586 14362 1621 13.47 1800.06/1800.50 c 33200 4307 28726 3692232 128 58379 18245 13630 1894 17.52 1800.06/1800.50 c 50345 4307 33085 9474573 286 67097 20070 17989 1068 47.10 1800.06/1800.50 c 76164 4307 31107 2510139 80 63141 22078 16011 1043 72.97 1800.06/1800.50 c 114996 4307 27702 4845450 174 56331 24286 12606 756 151.94 1800.06/1800.50 c 173348 4307 36919 5235991 141 74765 26715 21823 922 187.81 1800.06/1800.50 c 260980 4307 35831 13144587 366 72589 29387 20735 701 372.25 1800.06/1800.50 c 392535 4307 39832 2922667 73 80591 32326 24736 776 505.44 1800.06/1800.50 c 589967 4307 27468 4780864 174 55863 35559 12372 716 823.63 1800.06/1800.50 c 886220 4307 27728 1899112 68 56383 39115 12632 731 1210.97 1800.06/1800.50 c 1330702 4307 28699 4904306 170 58325 43027 13603 745 1783.94 1800.06/1800.50 c Caught signal: 15 1800.06/1800.50 v x1 x362 x440 x515 x581 -x741 -x799 -x857 -x915 x973 -x1031 -x1089 -x1147 -x11 -x1205 -x14 -x1232 -x17 -x1259 -x20 -x1286 -x23 -x1313 -x26 -x1340 -x29 -x1367 -x1394 -x34 -x1421 x37 -x1448 -x40 -x1475 -x1502 -x45 -x1529 -x48 -x1556 -x51 -x1583 -x54 -x1610 -x1637 -x59 -x1664 -x62 -x1691 -x65 -x1718 -x68 -x1745 -x71 -x1772 -x74 -x1799 -x77 -x1826 x1853 x82 -x1880 -x85 -x1907 -x88 -x1934 -x1961 -x1963 -x1975 -x1977 -x1989 -x1991 -x2003 -x2005 -x2017 -x2019 -x2031 -x2033 -x2045 -x2047 -x2059 -x2061 -x2073 -x2075 -x2087 -x2089 -x2101 -x2103 -x2115 -x2117 -x2129 -x2131 -x2143 -x2145 -x2157 -x2159 -x2171 -x2173 -x2185 -x2187 -x2199 -x2201 -x2213 -x2215 -x2227 -x2229 -x2241 -x2243 -x2255 -x2257 -x2269 -x2271 -x2283 -x2285 -x2297 -x2309 -x2311 -x2323 -x2325 -x2337 -x2339 -x2351 -x2353 -x2365 -x2367 -x2379 -x2381 -x2393 -x2395 -x2407 x2409 -x2421 -x2423 -x2435 -x2437 -x2449 -x2451 -x2463 -x2465 -x2477 -x2479 -x2491 -x2493 -x2505 -x2507 -x2519 -x2521 -x2533 -x2535 -x2547 -x2549 -x2561 -x2563 -x2575 -x2577 -x2589 -x2591 -x2603 -x2605 -x2617 -x2619 -x2631 -x2633 x2645 -x2647 -x2659 -x2661 -x2673 -x2675 -x2687 -x2689 -x2701 -x2703 -x2715 -x2717 -x2729 -x2731 -x2743 -x2748 -x2753 -x2758 -x2763 -x2768 -x2773 -x2778 -x2783 -x2788 -x2793 -x2798 -x2803 -x2808 -x2813 -x2818 -x2823 -x2828 -x2833 -x2838 -x2843 -x2848 -x2853 -x2858 -x2863 -x2868 -x2873 -x2878 -x2883 -x2888 -x2893 -x2898 -x2903 -x2908 -x2913 -x2918 -x2923 -x2928 -x2933 -x2938 -x2943 -x2948 -x2953 -x2958 -x2963 -x2968 -x2973 -x2978 -x2983 -x2988 -x2993 -x2998 -x3003 -x3008 -x3013 -x3018 x3023 -x3028 -x3033 -x3038 -x3043 -x3048 -x3053 -x3058 -x3063 -x3068 -x3073 -x3078 -x3083 -x3088 -x3093 -x3105 -x3117 -x3129 -x3141 -x3153 -x370 -x3165 -x3170 -x375 -x3175 -x378 -x3180 -x3185 -x383 -x3190 -x3195 -x388 -x3200 -x3205 -x393 -x3210 x396 -x3215 -x399 -x3220 -x402 -x3225 -x405 -x3230 -x408 -x3235 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 x3260 x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 x3292 -x3304 -x3316 -x3328 -x3340 -x448 -x3352 -x3357 -x3362 -x455 -x3367 -x458 -x3372 -x461 -x3377 -x464 x3382 -x3387 -x3392 -x471 -x3397 -x3402 -x476 -x3407 -x479 -x3412 -x482 -x3417 -x3422 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3477 -x3489 -x3501 -x3513 -x3525 -x524 -x3537 x527 x3542 -x530 -x3547 -x3552 -x3557 -x537 -x3562 -x3567 -x3572 -x3577 -x3582 -x3587 -x3592 -x3597 -x3602 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3666 -x3693 -x3720 -x3747 x3774 -x3801 -x3828 -x3840 -x3852 -x596 -x3864 -x599 x3876 -x3888 -x604 -x3900 -x3912 -x609 -x3924 -x3936 -x3948 -x616 -x3960 -x3972 -x3984 -x3996 -x625 -x4008 -x4020 -x630 -x4032 -x4044 -x635 -x4056 -x4068 -x4080 -x4082 -x4087 -x4089 -x4094 -x4096 -x4101 -x4103 -x4108 -x4110 -x4115 -x4117 -x4122 -x4124 -x4129 -x4131 -x4136 -x4141 -x4143 -x4148 x4150 -x4155 -x4157 -x4162 -x4164 -x4169 -x4171 -x4176 -x4178 -x4183 -x4185 -x4190 -x4192 -x4197 -x4199 -x4204 -x4206 -x4211 -x4213 -x4218 -x4220 -x4225 -x4227 -x4232 -x4234 -x4239 -x4241 -x4246 -x4251 -x4253 -x4258 -x4260 -x4265 -x4267 -x4272 x4277 -x4279 -x4284 -x4286 -x4291 -x4293 -x4298 -x4300 -x4305 -x4307 -x4312 -x4314 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x53 -x55 -x56 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x162 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235 x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x369 -x371 -x372 -x373 -x374 -x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x389 -x390 -x391 -x392 -x394 -x395 -x397 -x398 -x400 -x401 -x403 -x404 -x406 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 -x421 -x423 -x422 -x424 x426 x425 x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x363 -x364 -x365 -x366 -x367 -x368 -x447 -x449 -x450 -x451 -x452 -x453 -x454 -x456 -x457 -x459 -x460 -x462 -x463 x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x474 -x475 -x477 -x478 -x480 -x481 -x483 -x484 -x485 -x487 -x486 -x488 -x490 -x489 -x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x441 x442 -x443 -x444 -x445 -x446 -x522 -x523 -x525 x526 x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x556 -x555 -x558 -x557 -x560 -x559 -x562 -x561 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x516 -x517 -x518 -x519 -x520 -x521 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x597 -x598 x600 -x601 -x602 -x603 -x605 -x606 -x607 -x608 -x610 -x611 -x612 -x613 -x614 -x615 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x663 -x664 -x666 -x665 -x667 -x669 -x668 x670 -x672 -x671 -x673 -x675 -x674 -x676 -x678 -x677 -x679 -x681 -x680 -x682 -x684 -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700 -x702 -x701 -x703 -x705 -x704 -x706 -x708 -x707 -x709 -x710 -x711 -x713 -x712 -x714 -x716 -x715 -x717 -x719 -x718 -x720 -x721 -x722 x724 -x723 -x725 -x727 -x726 -x728 -x730 -x729 -x731 -x733 -x732 -x734 -x736 -x735 -x737 -x739 -x738 -x740 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -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 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -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 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 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 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -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 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -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 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -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 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -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 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -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 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 -x1474 -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 -x1501 -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 -x1528 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 -x1555 -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 -x1582 -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 -x1609 -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 -x1636 -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 -x1663 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 -x1690 -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 -x1717 -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 -x1744 -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 -x1771 -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 -x1798 -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 -x1825 -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 -x1852 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 -x1879 -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 -x1906 -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 -x1933 -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 -x1960 -x1962 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2032 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2046 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 x2104 -x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2116 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2172 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2214 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2228 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2242 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2256 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2270 x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2284 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2310 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2338 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2408 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2422 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2478 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2506 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2548 x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2562 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2576 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2604 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2618 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2632 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2646 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2674 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2688 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2730 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 -x2747 -x2749 -x2750 -x2751 -x2752 -x2754 -x2755 -x2756 -x2757 x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2774 -x2775 -x2776 -x2777 -x2779 -x2780 -x2781 -x2782 -x2784 -x2785 -x2786 -x2787 x2789 -x2790 -x2791 -x2792 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805 -x2806 -x2807 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 -x2819 -x2820 -x2821 -x2822 -x2824 -x2825 -x2826 -x2827 -x2829 -x2830 -x2831 -x2832 -x2834 -x2835 -x2836 -x2837 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2849 -x2850 -x2851 -x2852 -x2854 -x2855 -x2856 -x2857 x2859 -x2860 -x2861 -x2862 -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2874 -x2875 -x2876 -x2877 -x2879 -x2880 -x2881 -x2882 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 -x2901 -x2902 -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2919 -x2920 -x2921 -x2922 -x2924 -x2925 -x2926 -x2927 x2929 x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2949 -x2950 -x2951 -x2952 -x2954 -x2955 -x2956 -x2957 x2959 -x2960 -x2961 -x2962 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3004 -x3005 -x3006 -x3007 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3019 -x3020 -x3021 -x3022 x3024 -x3025 -x3026 -x3027 -x3029 -x3030 -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 -x3052 -x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3079 -x3080 -x3081 -x3082 -x3084 -x3085 -x3086 -x3087 -x3089 -x3090 -x3091 -x3092 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 x3160 -x3161 -x3162 -x3163 -x3164 -x3166 -x3167 -x3168 -x3169 x3171 -x3172 -x3173 -x3174 -x3176 -x3177 -x3178 -x3179 x3181 -x3182 -x3183 -x3184 x3186 -x3187 x3188 -x3189 -x3191 -x3192 -x3193 -x3194 x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203 -x3204 x3206 -x3207 -x3208 -x3209 -x3211 -x3212 -x3213 -x3214 x3216 -x3217 -x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3226 -x3227 -x3228 -x3229 x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3241 -x3243 x3245 x3247 -x3249 -x3251 -x3253 x3255 -x3257 -x3259 x3261 x3263 -x3265 x3267 -x3269 -x3271 -x3273 x3275 -x3277 x3279 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360 -x3361 -x3363 -x3364 -x3365 -x3366 -x3368 -x3369 -x3370 -x3371 -x3373 -x3374 -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 x3383 -x3384 -x3385 -x3386 -x3388 -x3389 -x3390 -x3391 x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3408 -x3409 -x3410 -x3411 -x3413 -x3414 -x3415 -x3416 x3418 -x3419 -x3420 -x3421 -x3423 -x3424 -x3425 -x3426 -x3428 x3430 -x3432 x3434 -x3436 -x3438 -x3440 x3442 -x3444 x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 x3460 x3462 -x3464 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3478 -x3479 x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3538 -x3539 -x3540 -x3541 x3543 -x3544 -x3545 -x3546 -x3548 -x3549 -x3550 -x3551 -x3553 -x3554 -x3555 -x3556 x3558 x3559 -x3560 -x3561 x3563 -x3564 -x3565 -x3566 -x3568 -x3569 -x3570 -x3571 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3593 -x3594 -x3595 -x3596 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 -x3608 x3610 -x3612 -x3614 x3616 x3618 -x3620 -x3622 -x3624 -x3626 x3628 -x3630 x3632 -x3634 x3636 -x3638 x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4081 -x4083 -x4084 -x4085 -x4086 -x4088 x4090 -x4091 -x4092 -x4093 -x4095 -x4097 -x4098 -x4099 -x4100 -x4102 x4104 -x4105 -x4106 -x4107 -x4109 -x4111 -x4112 -x4113 -x4114 -x4116 -x4118 -x4119 -x4120 -x4121 x4123 -x4125 -x4126 -x4127 -x4128 -x4130 -x4132 -x4133 -x4134 -x4135 -x4137 -x4138 -x4139 -x4140 -x4142 -x4144 -x4145 -x4146 -x4147 -x4149 x4151 -x4152 -x4153 -x4154 -x4156 -x4158 -x4159 -x4160 -x4161 x4163 -x4165 -x4166 -x4167 -x4168 -x4170 -x4172 -x4173 -x4174 -x4175 -x4177 -x4179 -x4180 -x4181 -x4182 -x4184 -x4186 -x4187 -x4188 -x4189 x4191 -x4193 -x4194 -x4195 -x4196 -x4198 -x4200 -x4201 -x4202 -x4203 -x4205 -x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 -x4219 x4221 -x4222 -x4223 -x4224 -x4226 -x4228 -x4229 -x4230 -x4231 x4233 -x4235 -x4236 -x4237 -x4238 -x4240 -x4242 -x4243 -x4244 -x4245 -x4247 -x4248 -x4249 -x4250 x4252 -x4254 -x4255 -x4256 -x4257 -x4259 -x4261 -x4262 -x4263 -x4264 -x4266 -x4268 -x4269 -x4270 -x4271 -x4273 -x4274 -x4275 -x4276 x4278 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 x4292 -x4294 -x4295 -x4296 -x4297 -x4299 -x4301 -x4302 -x4303 -x4304 -x4306 -x4308 -x4309 -x4310 -x4311 x4313 -x4315 -x4316 -x4317 -x4318 1800.06/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.50 c 27 1344413 565794 3882058 42410 10686879 27314 746 1800.07 1800.06/1800.50 c Objective: 24 1800.06/1800.50 s SATISFIABLE 1800.06/1800.50 c Total time: 1800.07 s
OK 24
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736029-1338708266/watcher-3736029-1338708266 -o /tmp/evaluation-result-3736029-1338708266/solver-3736029-1338708266 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736029-1338708266.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.00 1.99 3/174 28956 /proc/meminfo: memFree=28372808/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=2660 CPUtime=0 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) D 28954 28956 25229 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 336952035 2723840 47 33554432000 134512640 135840783 4291263840 4291261876 11355076 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 665 47 37 325 0 32 0 [startup+0.0464549 s] /proc/loadavg: 1.92 2.00 1.99 3/174 28956 /proc/meminfo: memFree=28372808/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=6352 CPUtime=0.03 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 1020 0 0 0 3 0 0 0 20 0 1 0 336952035 6504448 849 33554432000 134512640 135840783 4291263840 4291263404 134560672 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 1588 849 337 325 0 524 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6352 [startup+0.100265 s] /proc/loadavg: 1.92 2.00 1.99 3/174 28956 /proc/meminfo: memFree=28372808/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=7460 CPUtime=0.08 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 1292 0 0 0 8 0 0 0 20 0 1 0 336952035 7639040 1121 33554432000 134512640 135840783 4291263840 4291211116 8582192 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 1865 1121 342 325 0 801 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7460 [startup+0.300225 s] /proc/loadavg: 1.92 2.00 1.99 3/174 28956 /proc/meminfo: memFree=28372808/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=8072 CPUtime=0.28 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 1596 0 0 0 28 0 0 0 20 0 1 0 336952035 8265728 1289 33554432000 134512640 135840783 4291263840 4291263200 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 2018 1289 349 325 0 954 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 8072 [startup+0.700223 s] /proc/loadavg: 1.92 2.00 1.99 3/174 28956 /proc/meminfo: memFree=28372808/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=11296 CPUtime=0.69 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 2411 0 0 0 68 1 0 0 20 0 1 0 336952035 11567104 2104 33554432000 134512640 135840783 4291263840 4291263200 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 2824 2104 349 325 0 1760 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11296 [startup+1.50022 s] /proc/loadavg: 1.92 2.00 1.99 3/175 28957 /proc/meminfo: memFree=28361632/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=19032 CPUtime=1.48 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 4340 0 0 0 147 1 0 0 20 0 1 0 336952035 19488768 4033 33554432000 134512640 135840783 4291263840 4291263200 134550808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 4758 4033 349 325 0 3694 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19032 [startup+3.1003 s] /proc/loadavg: 1.92 2.00 1.99 3/175 28957 /proc/meminfo: memFree=28353324/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=34716 CPUtime=3.09 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 8253 0 0 0 307 2 0 0 20 0 1 0 336952035 35549184 7946 33554432000 134512640 135840783 4291263840 4291247328 134586828 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 8679 7946 349 325 0 7615 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34716 [startup+6.30026 s] /proc/loadavg: 1.93 2.00 1.99 3/175 28957 /proc/meminfo: memFree=28327152/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=52612 CPUtime=6.29 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 12722 0 0 0 626 3 0 0 20 0 1 0 336952035 53874688 12415 33554432000 134512640 135840783 4291263840 4291263200 134550899 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 13153 12415 349 325 0 12089 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52612 [startup+12.7003 s] /proc/loadavg: 2.01 2.01 2.00 3/175 28957 /proc/meminfo: memFree=28304708/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=74776 CPUtime=12.68 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 18261 0 0 0 1263 5 0 0 20 0 1 0 336952035 76570624 17954 33554432000 134512640 135840783 4291263840 4291262976 11864990 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 18694 17954 349 325 0 17630 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 74776 [startup+25.5003 s] /proc/loadavg: 2.01 2.01 2.00 3/175 28957 /proc/meminfo: memFree=28268008/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=109220 CPUtime=25.47 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 26882 0 0 0 2541 6 0 0 20 0 1 0 336952035 111841280 26580 33554432000 134512640 135840783 4291263840 4291263200 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 27305 26580 349 325 0 26241 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 109220 [startup+51.1003 s] /proc/loadavg: 2.00 2.01 2.00 3/175 28957 /proc/meminfo: memFree=28236480/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=140328 CPUtime=51.06 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 34676 0 0 0 5098 8 0 0 20 0 1 0 336952035 143695872 34358 33554432000 134512640 135840783 4291263840 4291263200 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 35082 34358 349 325 0 34018 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 140328 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28957 /proc/meminfo: memFree=28224868/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=151780 CPUtime=102.22 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 37583 0 0 0 10213 9 0 0 20 0 1 0 336952035 155422720 37225 33554432000 134512640 135840783 4291263840 4291263200 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 37945 37225 349 325 0 36881 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 151780 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28957 /proc/meminfo: memFree=28174944/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=201328 CPUtime=162.17 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 50007 0 0 0 16204 13 0 0 20 0 1 0 336952035 206159872 49611 33554432000 134512640 135840783 4291263840 4291263200 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 50332 49611 349 325 0 49268 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 201328 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28957 /proc/meminfo: memFree=28174820/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=201336 CPUtime=222.16 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 50009 0 0 0 22203 13 0 0 20 0 1 0 336952035 206168064 49613 33554432000 134512640 135840783 4291263840 4291263200 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 50334 49613 349 325 0 49270 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 201336 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28958 /proc/meminfo: memFree=28173084/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=201336 CPUtime=282.15 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 50009 0 0 0 28202 13 0 0 20 0 1 0 336952035 206168064 49613 33554432000 134512640 135840783 4291263840 4291263200 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 50334 49613 349 325 0 49270 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 201336 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 28961 /proc/meminfo: memFree=28142352/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=231920 CPUtime=342.14 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 57658 0 0 0 34198 16 0 0 20 0 1 0 336952035 237486080 57262 33554432000 134512640 135840783 4291263840 4291263200 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 57980 57262 349 325 0 56916 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 231920 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28961 /proc/meminfo: memFree=28138920/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=235248 CPUtime=402.13 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 58530 0 0 0 40197 16 0 0 20 0 1 0 336952035 240893952 58097 33554432000 134512640 135840783 4291263840 4291263200 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 58812 58097 349 325 0 57748 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 235248 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28961 /proc/meminfo: memFree=28138968/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=235248 CPUtime=462.11 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 58537 0 0 0 46195 16 0 0 20 0 1 0 336952035 240893952 58097 33554432000 134512640 135840783 4291263840 4291263200 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 58812 58097 349 325 0 57748 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 235248 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28961 /proc/meminfo: memFree=28139072/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=235260 CPUtime=522.1 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 58549 0 0 0 52194 16 0 0 20 0 1 0 336952035 240906240 58099 33554432000 134512640 135840783 4291263840 4291263312 134552320 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 58815 58099 349 325 0 57751 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 235260 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28962 /proc/meminfo: memFree=28139072/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=235260 CPUtime=582.09 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 58549 0 0 0 58193 16 0 0 20 0 1 0 336952035 240906240 58099 33554432000 134512640 135840783 4291263840 4291263152 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 58815 58099 349 325 0 57751 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 235260 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 28963 /proc/meminfo: memFree=27920988/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449788 CPUtime=881.99 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 88164 35 0 0 20 0 1 0 336952035 460582912 111732 33554432000 134512640 135840783 4291263840 4291263200 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112447 111732 349 325 0 111383 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 449788 [startup+942.3 s] /proc/loadavg: 2.04 2.01 2.00 3/176 28966 /proc/meminfo: memFree=27921212/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449788 CPUtime=941.99 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 94164 35 0 0 20 0 1 0 336952035 460582912 111732 33554432000 134512640 135840783 4291263840 4291263200 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112447 111732 349 325 0 111383 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 449788 [startup+1002.3 s] /proc/loadavg: 2.01 2.01 2.00 3/175 29005 /proc/meminfo: memFree=27920580/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449788 CPUtime=1001.98 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 100163 35 0 0 20 0 1 0 336952035 460582912 111732 33554432000 134512640 135840783 4291263840 4291263200 134551065 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112447 111732 349 325 0 111383 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 449788 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 29005 /proc/meminfo: memFree=27862796/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449788 CPUtime=1061.97 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 106162 35 0 0 20 0 1 0 336952035 460582912 111732 33554432000 134512640 135840783 4291263840 4291263200 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112447 111732 349 325 0 111383 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 449788 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 29005 /proc/meminfo: memFree=27819476/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449788 CPUtime=1121.96 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 112161 35 0 0 20 0 1 0 336952035 460582912 111732 33554432000 134512640 135840783 4291263840 4291263200 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112447 111732 349 325 0 111383 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 449788 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 29006 /proc/meminfo: memFree=27780568/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449788 CPUtime=1181.95 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 118160 35 0 0 20 0 1 0 336952035 460582912 111732 33554432000 134512640 135840783 4291263840 4291263200 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112447 111732 349 325 0 111383 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 449788 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 29006 /proc/meminfo: memFree=27744024/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449240 CPUtime=1241.94 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129735 0 0 0 124159 35 0 0 20 0 1 0 336952035 460021760 111595 33554432000 134512640 135840783 4291263840 4291263200 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112310 111595 349 325 0 111246 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 449240 [startup+1302.3 s] /proc/loadavg: 2.07 2.02 2.00 3/175 29006 /proc/meminfo: memFree=27715504/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449252 CPUtime=1301.94 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 130159 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112313 111598 349 325 0 111249 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 449252 [startup+1362.3 s] /proc/loadavg: 2.02 2.01 2.00 3/175 29006 /proc/meminfo: memFree=27694920/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449252 CPUtime=1361.92 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 136157 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112313 111598 349 325 0 111249 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 449252 [startup+1422.31 s] /proc/loadavg: 2.01 2.00 2.00 3/175 29006 /proc/meminfo: memFree=27676940/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449252 CPUtime=1421.92 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 142157 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112313 111598 349 325 0 111249 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 449252 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 29007 /proc/meminfo: memFree=27658092/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449252 CPUtime=1481.9 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 148155 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134551186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112313 111598 349 325 0 111249 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 449252 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 29010 /proc/meminfo: memFree=27634980/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449252 CPUtime=1541.89 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 154154 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112313 111598 349 325 0 111249 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 449252 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 29010 /proc/meminfo: memFree=27615776/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449252 CPUtime=1601.89 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 160154 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112313 111598 349 325 0 111249 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 449252 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 29010 /proc/meminfo: memFree=27592864/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449252 CPUtime=1661.88 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 166153 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263076 11862186 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112313 111598 349 325 0 111249 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 449252 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/175 29010 /proc/meminfo: memFree=27582268/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449252 CPUtime=1721.87 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 172152 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263200 134550817 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112313 111598 349 325 0 111249 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 449252 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.00 3/175 29011 /proc/meminfo: memFree=27581772/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449252 CPUtime=1781.86 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 178151 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263152 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112313 111598 349 325 0 111249 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 449252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.05 2.01 2.00 3/175 29011 /proc/meminfo: memFree=27581896/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449252 CPUtime=1800.06 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 179971 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263152 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112313 111598 349 325 0 111249 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 449252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.05 2.01 2.00 3/175 29011 /proc/meminfo: memFree=27581896/32873852 swapFree=7624/7624 [pid=28956] ppid=28954 vsize=449252 CPUtime=1800.06 cores=1,3,5,7 /proc/28956/stat : 28956 (bsolo3.0.17) R 28954 28956 25229 0 -1 4202496 129738 0 0 0 179971 35 0 0 20 0 1 0 336952035 460034048 111598 33554432000 134512640 135840783 4291263840 4291263152 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/28956/statm: 112313 111598 349 325 0 111249 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 449252 Child status: 15 Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.72 CPU system time (s): 0.354946 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 519760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.72 system time used= 0.354946 maximum resident set size= 516768 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 129741 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= 181 involuntary context switches= 1848 runsolver used 3.61145 second user time and 9.54355 second system time The end
Begin job on node131 at 2012-06-03 09:24:26 IDJOB=3736029 IDBENCH=25017 IDSOLVER=2318 FILE ID=node131/3736029-1338708266 RUNJOBID= node131-1338678620-25249 PBS_JOBID= 14636682 Free space on /tmp= 71396 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736029-1338708266/watcher-3736029-1338708266 -o /tmp/evaluation-result-3736029-1338708266/solver-3736029-1338708266 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736029-1338708266.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967 RANDOM SEED=1549433341 node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.805 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873852 kB MemFree: 28372816 kB Buffers: 555044 kB Cached: 3047908 kB SwapCached: 2348 kB Active: 1435192 kB Inactive: 2198388 kB Active(anon): 26864 kB Inactive(anon): 3664 kB Active(file): 1408328 kB Inactive(file): 2194724 kB Unevictable: 7624 kB Mlocked: 7624 kB SwapTotal: 67108856 kB SwapFree: 67099088 kB Dirty: 6784 kB Writeback: 4 kB AnonPages: 34968 kB Mapped: 15676 kB Shmem: 0 kB Slab: 727672 kB SReclaimable: 169888 kB SUnreclaim: 557784 kB KernelStack: 1440 kB PageTables: 3776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545780 kB Committed_AS: 149372 kB VmallocTotal: 34359738367 kB VmallocUsed: 346360 kB VmallocChunk: 34341988004 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71388 MiB End job on node131 at 2012-06-03 09:54:28