Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB12: minisatp 1.0-2-g022594c | SAT (TO) | 6 | 1800.06 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-saucier.r.opb |
MD5SUM | aa80468537d69826ea16800f352007ec |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 1593.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 6207 |
Total number of constraints | 171 |
Number of constraints which are clauses | 171 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5184 |
Number of terms in the objective function | 6207 |
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 | 6207 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6207 |
Number of bits of the biggest sum of numbers | 13 |
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 Parsing PB file... 0.00/0.15 c Converting 171 PB-constraints to clauses... 0.00/0.16 c -- Unit propagations: (none) 0.00/0.16 c -- Detecting intervals from adjacent constraints: (none) 0.00/0.16 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................... 0.00/0.18 c ==================================[MINISAT+]================================== 0.00/0.18 c | Conflicts | Original | Learnt | Progress | 0.00/0.18 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.18 c ============================================================================== 0.00/0.18 c | 0 | 171 500632 | 57 0 0 -nan | 0.000 % | 0.00/0.18 c ============================================================================== 0.00/0.18 c [1mFound solution: 12[0m 0.00/0.18 c ---[ 0]---> Adder-cost: 12398 maxlim: 6195 bits: 13/13 0.00/0.67 c ==================================[MINISAT+]================================== 0.00/0.67 c | Conflicts | Original | Learnt | Progress | 0.00/0.67 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.67 c ============================================================================== 0.00/0.67 c | 0 | 86884 810307 | 28961 0 0 -nan | 0.000 % | 0.00/0.71 c | 100 | 86800 810019 | 31857 93 136209 1464.6 | 0.129 % | 0.00/0.76 c | 250 | 86723 809746 | 35042 232 136759 589.5 | 0.204 % | 0.00/0.86 c | 476 | 86712 809703 | 38547 457 137660 301.2 | 0.215 % | 0.99/1.06 c | 813 | 86617 809357 | 42401 782 138893 177.6 | 0.312 % | 1.18/1.25 c | 1319 | 86548 809096 | 46641 1278 168492 131.8 | 0.376 % | 1.68/1.75 c | 2078 | 86483 808855 | 51306 2026 262325 129.5 | 0.435 % | 1.68/1.79 c ============================================================================== 1.68/1.79 c [1mFound solution: 9[0m 1.78/1.80 c ---[ 0]---> Adder-cost: 0 maxlim: 6198 bits: 13/13 2.09/2.16 c ==================================[MINISAT+]================================== 2.09/2.16 c | Conflicts | Original | Learnt | Progress | 2.09/2.16 c | | Clauses Literals | Max Clauses Literals LPC | | 2.09/2.16 c ============================================================================== 2.09/2.16 c | 2204 | 86355 808386 | 28785 2128 277020 130.2 | 0.435 % | 2.09/2.19 c | 2304 | 85752 806359 | 31663 2120 280146 132.1 | 1.166 % | 2.28/2.31 c | 2454 | 82134 793627 | 34829 1632 352352 215.9 | 4.487 % | 2.48/2.50 c | 2679 | 81963 793056 | 38312 1825 411556 225.5 | 4.653 % | 2.78/2.80 c | 3017 | 81565 791692 | 42144 2102 475895 226.4 | 5.040 % | 3.08/3.16 c | 3524 | 81267 790712 | 46358 2561 527849 206.1 | 5.336 % | 3.19/3.22 c ============================================================================== 3.19/3.22 c [1mFound solution: 8[0m 3.19/3.22 c ---[ 0]---> Adder-cost: 0 maxlim: 6199 bits: 13/13 3.48/3.59 c ==================================[MINISAT+]================================== 3.48/3.59 c | Conflicts | Original | Learnt | Progress | 3.48/3.59 c | | Clauses Literals | Max Clauses Literals LPC | | 3.48/3.59 c ============================================================================== 3.48/3.59 c | 3702 | 77963 778934 | 25987 2135 587377 275.1 | 5.336 % | 3.58/3.62 c | 3802 | 77963 778934 | 28585 2235 698568 312.6 | 8.290 % | 3.58/3.68 c | 3953 | 77934 778833 | 31444 2383 914183 383.6 | 8.323 % | 3.68/3.73 c | 4179 | 77918 778781 | 34588 2605 1088756 417.9 | 8.339 % | 3.78/3.84 c | 4516 | 77909 778752 | 38047 2941 1456463 495.2 | 8.349 % | 3.98/4.07 c | 5024 | 77817 778432 | 41852 3436 1952677 568.3 | 8.446 % | 4.39/4.47 c | 5783 | 77645 777844 | 46037 4170 2829666 678.6 | 8.629 % | 4.98/5.09 c | 6924 | 77359 776878 | 50641 5265 3851825 731.6 | 8.903 % | 5.89/5.97 c | 8632 | 77042 775797 | 55705 6924 6281451 907.2 | 9.220 % | 7.38/7.40 c | 11196 | 76786 774927 | 61275 9454 8099985 856.8 | 9.489 % | 10.18/10.29 c | 15041 | 76370 773521 | 67403 13238 12139166 917.0 | 9.908 % | 13.88/13.95 c | 20808 | 76042 772369 | 74143 18962 19300507 1017.9 | 10.241 % | 20.79/20.80 c ============================================================================== 20.79/20.80 c [1mFound solution: 7[0m 20.79/20.80 c ---[ 0]---> Adder-cost: 0 maxlim: 6200 bits: 13/13 21.08/21.19 c ==================================[MINISAT+]================================== 21.08/21.19 c | Conflicts | Original | Learnt | Progress | 21.08/21.19 c | | Clauses Literals | Max Clauses Literals LPC | | 21.08/21.19 c ============================================================================== 21.08/21.19 c | 28562 | 75435 770333 | 25145 26622 31556282 1185.3 | 10.241 % | 21.18/21.27 c | 28663 | 75435 770333 | 27659 26723 31696217 1186.1 | 10.863 % | 21.48/21.52 c | 28815 | 75375 770127 | 30425 26866 31817807 1184.3 | 10.922 % | 21.89/21.93 c | 29040 | 75277 769809 | 33467 27076 31921934 1179.0 | 11.025 % | 22.28/22.30 c | 29378 | 75225 769641 | 36814 27407 32005031 1167.8 | 11.084 % | 23.09/23.15 c | 29885 | 75075 769155 | 40496 27893 32267126 1156.8 | 11.245 % | 24.08/24.17 c | 30644 | 74835 768331 | 44545 28610 32577665 1138.7 | 11.497 % | 24.58/24.65 c | 31784 | 74810 768250 | 49000 29747 34637340 1164.4 | 11.508 % | 26.87/26.91 c | 33492 | 74394 766872 | 53900 31389 36081293 1149.5 | 11.922 % | 28.48/28.52 c | 36054 | 74303 766569 | 59290 33938 39112921 1152.5 | 12.013 % | 32.78/32.81 c | 39899 | 74075 765829 | 65219 37745 45228855 1198.3 | 12.250 % | 38.77/38.85 c | 45667 | 73899 765257 | 71741 43480 54300070 1248.9 | 12.427 % | 52.25/52.30 c | 54318 | 73849 765095 | 78915 52119 71222739 1366.5 | 12.481 % | 75.64/75.77 c | 67293 | 73849 765095 | 86807 65094 110693180 1700.5 | 12.481 % | 141.99/142.15 c | 86754 | 73849 765095 | 95488 84555 171089121 2023.4 | 12.481 % | 197.76/197.90 c ============================================================================== 197.76/197.90 c [1mFound solution: 6[0m 197.76/197.90 c ---[ 0]---> Adder-cost: 0 maxlim: 6201 bits: 13/13 198.36/198.57 c ==================================[MINISAT+]================================== 198.36/198.57 c | Conflicts | Original | Learnt | Progress | 198.36/198.57 c | | Clauses Literals | Max Clauses Literals LPC | | 198.36/198.57 c ============================================================================== 198.36/198.57 c | 103403 | 73850 765098 | 24616 101204 226771466 2240.7 | 12.481 % | 198.76/198.90 c | 103503 | 73850 765098 | 27077 23963 46858526 1955.5 | 12.485 % | 198.97/199.15 c | 103653 | 73850 765098 | 29785 24113 46877392 1944.1 | 12.485 % | 199.26/199.49 c | 103879 | 73850 765098 | 32763 24339 46967661 1929.7 | 12.485 % | 199.46/199.66 c | 104216 | 73850 765098 | 36040 24676 47102294 1908.8 | 12.485 % | 199.76/199.95 c | 104722 | 73850 765098 | 39644 25182 47222081 1875.2 | 12.485 % | 200.46/200.66 c | 105482 | 73850 765098 | 43608 25942 47609204 1835.2 | 12.485 % | 201.17/201.37 c | 106621 | 73850 765098 | 47969 27081 47757699 1763.5 | 12.485 % | 203.06/203.20 c | 108329 | 73850 765098 | 52766 28789 48919976 1699.3 | 12.485 % | 205.16/205.35 c | 110891 | 73850 765098 | 58043 31351 50690859 1616.9 | 12.485 % | 211.35/211.53 c | 114737 | 73850 765098 | 63847 35197 62912735 1787.4 | 12.485 % | 219.25/219.48 c | 120506 | 73850 765098 | 70232 40966 83992488 2050.3 | 12.485 % | 244.64/244.85 c | 129156 | 73850 765098 | 77255 49616 115847573 2334.9 | 12.485 % | 281.12/281.31 c | 142130 | 73850 765098 | 84981 62590 158709874 2535.7 | 12.485 % | 357.08/357.33 c | 161595 | 73850 765098 | 93479 82055 236598095 2883.4 | 12.485 % | 518.30/518.61 c | 190794 | 73850 765098 | 102827 26367 60563672 2296.9 | 12.485 % | 671.94/672.30 c | 234584 | 73850 765098 | 113109 70157 205974433 2935.9 | 12.485 % | 950.09/950.60 c | 300269 | 73850 765098 | 124420 35089 82773061 2358.9 | 12.485 % | 1266.23/1266.82 c | 398795 | 73850 765098 | 136862 133615 424167289 3174.5 | 12.485 % | 1704.37/1705.09 c | 546588 | 73850 765098 | 150549 24814 73632244 2967.4 | 12.485 % | 1800.06/1800.71 c 1800.06/1800.71 c *** TERMINATED *** 1800.06/1800.71 s SATISFIABLE 1800.06/1800.71 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -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 -x799 -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 -x857 -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 -x915 -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 -x973 -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 -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 -x1068 -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 -x1126 -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 -x1184 -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 -x1242 -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 -x1300 -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 -x1358 -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 -x1416 -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 -x1474 -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 -x1501 -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 -x1528 -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 -x1555 -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 -x1582 -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 -x1609 -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 -x1636 -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 -x1663 -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 -x1690 -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 -x1717 -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 -x1744 -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 -x1771 -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 -x1798 -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 -x1825 -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 -x1852 -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 -x1879 -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 -x1906 -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 -x1933 -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 -x1960 -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 -x1987 -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 -x2014 -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 -x2041 -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 -x2068 -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 -x2095 -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 -x2122 -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 -x2149 -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 -x2176 -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 -x2203 -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 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -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 -x3666 -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 -x3693 -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 -x3720 -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 -x3747 -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 -x3774 -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 -x3801 -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 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -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 -x4073 -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 -x4100 -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 -x4127 -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 -x4154 -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 -x4181 -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 -x4208 -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 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -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 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207
OK 6
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-3723656-1338572906/watcher-3723656-1338572906 -o /tmp/evaluation-result-3723656-1338572906/solver-3723656-1338572906 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723656-1338572906.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.02 1.95 2/177 11049 /proc/meminfo: memFree=31630184/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [startup+0.053822 s] /proc/loadavg: 2.08 2.02 1.95 2/177 11049 /proc/meminfo: memFree=31630184/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100225 s] /proc/loadavg: 2.08 2.02 1.95 2/177 11049 /proc/meminfo: memFree=31630184/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300204 s] /proc/loadavg: 2.08 2.02 1.95 2/177 11049 /proc/meminfo: memFree=31630184/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700238 s] /proc/loadavg: 2.08 2.02 1.95 2/177 11049 /proc/meminfo: memFree=31630184/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.50024 s] /proc/loadavg: 2.07 2.02 1.95 3/179 11054 /proc/meminfo: memFree=31590052/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=44792 CPUtime=1.48 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 16292 0 0 0 145 3 0 0 20 0 1 0 323415129 45867008 10344 33554432000 4194304 5276501 140735789137040 140735789135224 4410936 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/11053/statm: 11198 10344 149 265 0 10930 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 53940 [startup+3.10027 s] /proc/loadavg: 2.07 2.02 1.95 3/179 11054 /proc/meminfo: memFree=31585952/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=47608 CPUtime=3.08 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 17008 0 0 0 305 3 0 0 20 0 1 0 323415129 48750592 11060 33554432000 4194304 5276501 140735789137040 140735789135288 4411440 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 /proc/11053/statm: 11902 11060 150 265 0 11634 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 56756 [startup+6.30031 s] /proc/loadavg: 2.07 2.02 1.95 3/179 11054 /proc/meminfo: memFree=31571568/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=72820 CPUtime=6.28 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 23330 0 0 0 624 4 0 0 20 0 1 0 323415129 74567680 17382 33554432000 4194304 5276501 140735789137040 140735789135032 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 18205 17382 150 265 0 17937 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 81968 [startup+12.7003 s] /proc/loadavg: 2.06 2.02 1.95 3/179 11054 /proc/meminfo: memFree=31515536/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=121952 CPUtime=12.68 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 35617 0 0 0 1262 6 0 0 20 0 1 0 323415129 124878848 29669 33554432000 4194304 5276501 140735789137040 140735789135032 4405155 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 30488 29669 150 265 0 30220 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 131100 [startup+25.5003 s] /proc/loadavg: 2.05 2.01 1.95 3/179 11054 /proc/meminfo: memFree=31438144/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=194868 CPUtime=25.47 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 53837 0 0 0 2538 9 0 0 20 0 1 0 323415129 199544832 47883 33554432000 4194304 5276501 140735789137040 140735789135032 4399918 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 48717 47883 150 265 0 48449 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 204016 [startup+51.1003 s] /proc/loadavg: 2.03 2.01 1.95 3/179 11054 /proc/meminfo: memFree=31294396/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=339040 CPUtime=51.06 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 89867 0 0 0 5089 17 0 0 20 0 1 0 323415129 347176960 83962 33554432000 4194304 5276501 140735789137040 140735789134632 4399913 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 84760 83962 150 265 0 84492 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 348188 [startup+102.306 s] /proc/loadavg: 2.23 2.07 1.97 3/180 11183 /proc/meminfo: memFree=30973360/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=633124 CPUtime=102.22 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 163342 0 0 0 10191 31 0 0 20 0 1 0 323415129 648318976 157406 33554432000 4194304 5276501 140735789137040 140735789135032 4405155 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 158281 157406 150 265 0 158013 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 642272 [startup+162.3 s] /proc/loadavg: 2.12 2.07 1.98 3/179 11183 /proc/meminfo: memFree=30742176/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=842092 CPUtime=162.18 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 215591 0 0 0 16175 43 0 0 20 0 1 0 323415129 862302208 209640 33554432000 4194304 5276501 140735789137040 140735789135032 4399904 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 210523 209640 150 265 0 210255 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 851240 [startup+222.3 s] /proc/loadavg: 2.04 2.05 1.98 3/179 11184 /proc/meminfo: memFree=30591792/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=985772 CPUtime=222.15 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 251357 0 0 0 22163 52 0 0 20 0 1 0 323415129 1009430528 245388 33554432000 4194304 5276501 140735789137040 140735789135288 4394779 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 246443 245388 150 265 0 246175 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 994920 [startup+282.3 s] /proc/loadavg: 2.05 2.05 1.98 3/179 11184 /proc/meminfo: memFree=30584876/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=985772 CPUtime=282.12 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 251388 0 0 0 28160 52 0 0 20 0 1 0 323415129 1009430528 245395 33554432000 4194304 5276501 140735789137040 140735789135288 4399904 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 246443 245395 150 265 0 246175 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 994920 [startup+342.3 s] /proc/loadavg: 2.02 2.04 1.98 3/179 11184 /proc/meminfo: memFree=30559484/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=1008516 CPUtime=342.09 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 257149 0 0 0 34156 53 0 0 20 0 1 0 323415129 1032720384 251129 33554432000 4194304 5276501 140735789137040 140735789134632 4399918 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 252129 251129 150 265 0 251861 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 1017664 [startup+402.3 s] /proc/loadavg: 2.00 2.03 1.98 3/179 11184 /proc/meminfo: memFree=30391492/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/11053/statm: 402752 402014 150 265 0 402484 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 1620156 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.00 3/179 11213 /proc/meminfo: memFree=29732164/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=1763888 CPUtime=1241.74 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 445723 0 0 0 124077 97 0 0 20 0 1 0 323415129 1806221312 440101 33554432000 4194304 5276501 140735789137040 140735789135224 4399918 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 440972 440101 150 265 0 440704 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 1773036 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/180 11216 /proc/meminfo: memFree=29568204/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=1925092 CPUtime=1301.73 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 485895 0 0 0 130067 106 0 0 20 0 1 0 323415129 1971294208 480273 33554432000 4194304 5276501 140735789137040 140735789135032 4399904 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 481273 480273 150 265 0 481005 0 Current children cumulated CPU time (s) 1301.73 Current children cumulated vsize (KiB) 1934240 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 11216 /proc/meminfo: memFree=29444360/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=2051576 CPUtime=1361.72 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 517280 0 0 0 136059 113 0 0 20 0 1 0 323415129 2100813824 511658 33554432000 4194304 5276501 140735789137040 140735789135032 4399937 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 512894 511658 150 265 0 512626 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 2060724 [startup+1422.31 s] /proc/loadavg: 2.13 2.04 2.01 3/178 11216 /proc/meminfo: memFree=29354956/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=2135060 CPUtime=1421.71 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 538166 0 0 0 142054 117 0 0 20 0 1 0 323415129 2186301440 532544 33554432000 4194304 5276501 140735789137040 140735789135032 4399904 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 533765 532544 150 265 0 533497 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 2144208 [startup+1482.3 s] /proc/loadavg: 2.05 2.03 2.00 3/179 11217 /proc/meminfo: memFree=29350864/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=2135060 CPUtime=1481.7 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 538206 0 0 0 148052 118 0 0 20 0 1 0 323415129 2186301440 532584 33554432000 4194304 5276501 140735789137040 140735789135032 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 533765 532584 150 265 0 533497 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 2144208 [startup+1542.3 s] /proc/loadavg: 2.02 2.02 2.00 3/179 11217 /proc/meminfo: memFree=29348384/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=2135060 CPUtime=1541.69 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 538215 0 0 0 154051 118 0 0 20 0 1 0 323415129 2186301440 532593 33554432000 4194304 5276501 140735789137040 140735789135032 4399840 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 533765 532593 150 265 0 533497 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 2144208 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 11217 /proc/meminfo: memFree=29344912/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=2135060 CPUtime=1601.68 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 538216 0 0 0 160050 118 0 0 20 0 1 0 323415129 2186301440 532594 33554432000 4194304 5276501 140735789137040 140735789135032 4397620 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 533765 532594 150 265 0 533497 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 2144208 [startup+1662.3 s] /proc/loadavg: 2.04 2.03 2.00 3/179 11217 /proc/meminfo: memFree=29342556/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=2135060 CPUtime=1661.67 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 538218 0 0 0 166049 118 0 0 20 0 1 0 323415129 2186301440 532596 33554432000 4194304 5276501 140735789137040 140735789135032 4397196 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 533765 532596 150 265 0 533497 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 2144208 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 11217 /proc/meminfo: memFree=29283780/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=2192140 CPUtime=1721.66 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 552460 0 0 0 172046 120 0 0 20 0 1 0 323415129 2244751360 546838 33554432000 4194304 5276501 140735789137040 140735789135288 4395041 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 548035 546838 150 265 0 547767 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 2201288 [startup+1782.3 s] /proc/loadavg: 2.04 2.03 2.00 3/179 11218 /proc/meminfo: memFree=29282288/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=2192140 CPUtime=1781.65 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 552497 0 0 0 178045 120 0 0 20 0 1 0 323415129 2244751360 546883 33554432000 4194304 5276501 140735789137040 140735789135288 4394769 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 548035 546883 150 265 0 547767 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 2201288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 2.03 2.03 2.00 3/179 11218 /proc/meminfo: memFree=29281792/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=2192140 CPUtime=1800.06 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 552497 0 0 0 179886 120 0 0 20 0 1 0 323415129 2244751360 546883 33554432000 4194304 5276501 140735789137040 140735789135288 4394975 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 548035 546883 150 265 0 547767 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 2201288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 2.03 2.03 2.00 3/179 11218 /proc/meminfo: memFree=29281792/32873844 swapFree=7900/7900 [pid=11049] ppid=11047 vsize=9148 CPUtime=0 cores=0,2,4,6 /proc/11049/stat : 11049 (minisat+_script) S 11047 11049 8567 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323415129 9367552 277 33554432000 4194304 5064252 140735947741680 140735947740592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0 /proc/11049/statm: 2287 277 236 213 0 72 0 [pid=11053] ppid=11049 vsize=2192140 CPUtime=1800.06 cores=0,2,4,6 /proc/11053/stat : 11053 (minisat+_64-bit) R 11049 11049 8567 0 -1 4202496 552497 0 0 0 179886 120 0 0 20 0 1 0 323415129 2244751360 546883 33554432000 4194304 5276501 140735789137040 140735789135288 4394975 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/11053/statm: 548035 546883 150 265 0 547767 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 2201288 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11049 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.72 CPU time (s): 1800.06 CPU user time (s): 1798.86 CPU system time (s): 1.2 CPU usage (%): 99.9635 Max. virtual memory (cumulated for all children) (KiB): 2201288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.001999 maximum resident set size= 1108 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 935 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= 11 involuntary context switches= 2 runsolver used 4.25935 second user time and 8.83566 second system time The end
Begin job on node137 at 2012-06-01 19:48:26 IDJOB=3723656 IDBENCH=2850 IDSOLVER=2307 FILE ID=node137/3723656-1338572906 RUNJOBID= node137-1338569029-10328 PBS_JOBID= 14635883 Free space on /tmp= 70692 MiB SOLVER NAME= minisatp 1.0-2-g022594c BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb COMMAND LINE= minisat+_script BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723656-1338572906/watcher-3723656-1338572906 -o /tmp/evaluation-result-3723656-1338572906/solver-3723656-1338572906 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723656-1338572906.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aa80468537d69826ea16800f352007ec RANDOM SEED=1291044697 node137.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.600 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.20 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.600 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.600 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.92 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.600 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.600 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.600 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.90 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.600 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.91 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.600 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31630564 kB Buffers: 111316 kB Cached: 314856 kB SwapCached: 5796 kB Active: 198028 kB Inactive: 241920 kB Active(anon): 8592 kB Inactive(anon): 7184 kB Active(file): 189436 kB Inactive(file): 234736 kB Unevictable: 7900 kB Mlocked: 7900 kB SwapTotal: 67108856 kB SwapFree: 67097500 kB Dirty: 9188 kB Writeback: 0 kB AnonPages: 33100 kB Mapped: 9512 kB Shmem: 0 kB Slab: 665476 kB SReclaimable: 106880 kB SUnreclaim: 558596 kB KernelStack: 1488 kB PageTables: 3792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 131492 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 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= 70688 MiB End job on node137 at 2012-06-01 20:18:29