0.00/0.00 c wbo 1.6 beta - 20110321
0.00/0.00 c Parsing opb file format. File HOME/instance-3460720-1307108962.opb.
0.00/0.00 c Instance file HOME/instance-3460720-1307108962.opb
0.00/0.00 c File size is 600996 bytes.
0.00/0.04 c Highest Coefficient sum: 251
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Parsing time: 0.04 s |
0.00/0.04 c | Number Variables: 5060 |
0.00/0.04 c | Number Clauses: 20188 |
0.00/0.04 c | Number Cardinality: 0 |
0.00/0.04 c | Number PB Constraints: 0 |
0.00/0.05 c ============================[ Search Statistics ]==============================
0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.00/0.05 c ===============================================================================
0.00/0.05 c | 0 | 5031 20188 52059 | 6729 0 -nan | 0.000 % |
0.00/0.09 c core #1
0.00/0.09 c
0.00/0.09 c
0.00/0.09 c Core size: 4 Core Weight: 1 Total Weight: 30
0.00/0.09 c Current CPU time: 0.058991 s
0.00/0.09 c
0.00/0.09 c core #2
0.00/0.09 c
0.00/0.09 c
0.00/0.09 c Core size: 27 Core Weight: 1 Total Weight: 31
0.00/0.09 c Current CPU time: 0.065989 s
0.00/0.09 c
0.00/0.09 c core #3
0.00/0.09 c
0.00/0.09 c
0.00/0.09 c Core size: 12 Core Weight: 1 Total Weight: 32
0.00/0.09 c Current CPU time: 0.072988 s
0.00/0.09 c
0.00/0.09 c core #4
0.00/0.09 c
0.00/0.09 c
0.00/0.09 c Core size: 639 Core Weight: 1 Total Weight: 33
0.00/0.09 c Current CPU time: 0.080987 s
0.00/0.09 c
0.00/0.09 c ============================[ Search Statistics ]==============================
0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.00/0.09 c ===============================================================================
0.00/0.09 c | 0 | 3000 20700 39237 | 6900 0 -nan | 0.000 % |
0.00/0.09 c ===============================================================================
0.00/0.10 c core #5
0.00/0.10 c
0.00/0.10 c
0.00/0.10 c Core size: 454 Core Weight: 1 Total Weight: 34
0.00/0.10 c Current CPU time: 0.091986 s
0.00/0.10 c
0.00/0.10 c ============================[ Search Statistics ]==============================
0.00/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.00/0.10 c ===============================================================================
0.00/0.10 c | 0 | 4693 20701 48202 | 6900 0 -nan | 0.000 % |
0.10/0.12 c | 100 | 4691 20701 48202 | 7590 100 139 | 15.705 % |
0.10/0.15 c | 250 | 4688 20701 48202 | 8349 250 108 | 15.760 % |
0.19/0.21 c | 477 | 4688 20701 48202 | 9184 477 102 | 15.759 % |
0.19/0.28 c | 814 | 4686 20701 48202 | 10102 814 105 | 15.796 % |
0.29/0.38 c | 1323 | 4684 20701 48202 | 11113 1323 111 | 15.831 % |
0.49/0.50 c ===============================================================================
0.49/0.52 c core #6
0.49/0.52 c
0.49/0.52 c
0.49/0.52 c Core size: 736 Core Weight: 1 Total Weight: 35
0.49/0.52 c Current CPU time: 0.509922 s
0.49/0.52 c
0.49/0.52 c ============================[ Search Statistics ]==============================
0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | |
0.49/0.52 c ===============================================================================
0.49/0.52 c | 0 | 5994 20702 54329 | 6900 0 -nan | 0.000 % |
0.49/0.54 c | 102 | 5994 20702 54329 | 7590 102 437 | 1.171 % |
0.49/0.58 c | 252 | 5994 20702 54329 | 8349 252 430 | 1.171 % |
0.59/0.65 c | 477 | 5994 20702 54329 | 9184 477 379 | 1.171 % |
0.69/0.72 c | 817 | 5994 20702 54329 | 10103 817 373 | 1.171 % |
0.79/0.89 c | 1323 | 5994 20702 54329 | 11113 1323 330 | 1.171 % |
0.99/1.06 c | 2082 | 5993 20702 54329 | 12224 2082 270 | 1.187 % |
0.99/1.09 c ===============================================================================
0.99/1.09 c #cores: 6
0.99/1.09 c Final Weight: 35
0.99/1.09 o 35
0.99/1.09 s OPTIMUM FOUND
0.99/1.09 v x1 x2 x3 x4 x5 x6 x9 x10 x11 x12 x13 x31 x39 x40 x47 x70 x92 x93 x96 x97 x98 x114 x330 x434 x435 x475 x476 x525 x526 -x527 x528 -x529 -x530 -x532 -x535 -x537 -x538 -x540 -x544 -x549 -x550 -x552 -x562 -x564 -x567 -x572 -x575 -x577 -x579 -x581 -x584 -x586 -x589 -x591 -x592 -x594 -x596 -x598 -x601 -x604 -x606 -x607 -x609 -x611 -x613 -x624 -x635 -x637 -x638 -x639 -x641 -x645 x648 -x650 -x653 -x655 x658 -x660 -x663 -x666 -x669 -x672 x674 -x675 -x677 -x680 -x682 -x684 x686 -x688 -x690 -x692 -x695 -x705 -x708 -x710 -x712 -x715 -x719 -x731 -x741 -x745 -x747 -x752 -x755 -x767 -x771 -x773 -x774 -x776 -x779 -x780 -x782 -x789 -x793 -x803 -x808 -x811 -x814 -x821 -x829 -x832 -x835 -x837 -x839 -x841 -x842 -x843 -x845 -x852 -x853 -x855 -x859 -x867 -x871 -x874 -x876 -x878 -x903 -x926 -x927 -x928 -x930 -x981 -x982 -x984 -x1005 -x1052 -x1061 -x1082 -x1108 -x1109 -x1111 -x1152 -x1198 -x1200 -x1202 -x1204 -x1207 -x1219 -x1228 -x1250 -x1272 -x1275 -x1282 -x1292 -x1294 -x1300 -x1305 -x1308 -x1314 -x1317 -x1319 -x1325 -x1334 -x1337 -x1385 -x1391 -x1400 -x1402 -x1406 -x1408 -x1430 -x1435 -x1437 -x1482 -x1484 -x1508 -x1532 -x1581 -x1583 -x1587 -x1589 -x1591 -x1593 -x1594 -x1596 -x1646 -x1652 -x1654 -x1661 -x1668 -x1671 -x1677 -x1700 -x1725 -x1727 -x1729 -x1735 -x1737 -x1756 -x1762 -x1813 -x1815 -x1818 -x1822 -x1829 -x1831 -x1834 -x1853 -x1861 -x1863 -x1865 -x1882 -x1884 -x1886 -x1889 -x1907 -x1909 -x1912 -x1921 -x1940 -x1942 -x1983 -x1986 -x1994 -x1997 -x2006 -x2057 -x2075 -x2125 -x2127 -x2129 -x2152 -x2203 -x2205 -x2218 -x2219 -x2220 -x2222 -x2239 -x2240 -x2242 -x2257 -x2259 -x2270 -x2272 -x2320 -x2327 -x2335 -x2344 -x2347 -x2353 -x2358 -x2399 -x2401 -x2422 -x2428 -x2431 -x2436 -x2438 -x2440 -x2446 -x2448 -x2473 -x2491 -x2506 -x2524 -x2526 -x2558 -x2590 -x2697 -x2739 -x2742 -x2757 -x2774 -x2794 -x2810 -x2812 -x2815 -x2818 -x2823 -x2838 -x2840 -x2844 -x2860 -x2969 -x3013 -x3014 -x3016 -x3062 -x3084 -x3086 -x3138 -x3142 -x3147 -x3149 -x3165 -x3173 -x3176 -x3178 -x3195 -x3198 -x3201 -x3217 -x3226 -x3229 -x3231 -x3272 -x3283 -x3285 -x3286 -x3288 -x3294 -x3306 -x3313 -x3316 -x3419 -x3431 -x3432 -x3434 -x3437 -x3454 -x3489 -x3495 -x3507 -x3513 -x3527 -x3540 -x3543 -x3544 -x3546 -x3553 -x3558 -x3571 -x3574 -x3593 -x3597 -x3606 -x3623 -x3637 -x3639 -x3641 -x3644 -x3649 -x3651 -x3652 -x3654 -x3675 -x3677 -x3679 -x3681 -x3689 -x3692 -x3697 -x3704 -x3710 -x3713 -x3727 -x3759 -x3762 -x3765 -x3770 -x3773 -x3783 -x3785 -x3787 -x3789 -x3792 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3803 -x3842 -x3857 -x3859 -x3896 -x3933 -x3935 -x3938 -x3940 -x3943 -x3964 -x3974 -x3976 -x3989 -x4000 -x4010 -x4013 -x4016 -x4023 -x4059 -x4067 -x4069 -x4071 -x4077 -x4083 -x4087 -x4090 -x4131 -x4140 -x4143 -x4144 -x4146 -x4153 -x4159 -x4162 -x4165 -x4169 -x4172 -x4175 -x4178 -x4180 -x4183 -x4186 -x4187 -x4189 -x4206 -x4211 -x4213 -x4229 -x4230 -x4232 -x4238 -x4240 -x4264 -x4276 -x4296 -x4298 -x4301 -x4303 -x4307 -x4319 -x4321 -x4338 -x4357 -x4358 -x4360 -x4363 -x4365 -x4368 -x4372 -x4375 -x4378 -x4420 -x4437 -x4439 -x4441 -x4444 -x4493 -x4543 -x4561 -x4563 -x4565 -x4584 -x4586 -x4591 -x4593 -x4596 -x4601 -x4602 -x4604 -x4608 -x4652 -x4656 -x4658 -x4664 -x4672 -x4674 -x4680 -x4682 -x4687 -x4690 -x4696 -x4713 -x4725 -x4731 -x4753 -x4759 -x4803 -x4806 -x4811 -x4814 -x4861 -x4863 -x4865 -x4867 -x4870 -x4888 -x4890 -x4893 -x4897 -x4900 -x4903 -x4904 -x4905 -x4907 -x4926 -x4929 -x4932 -x4947 -x4949 -x4953 -x4955 -x4957 -x4959 -x4963 -x4973 -x4974 -x4976 -x4981 -x4984 -x4987 -x4990 -x5004 -x5007 -x5010 -x5013 -x5022 -x5037 x5050 -x5052 -x5055 -x5059 -x531 -x7 -x534 -x8 -x539 -x14 -x15 -x551 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x603 -x26 -x612 -x623 -x27 -x28 -x29 -x30 -x32 -x33 -x654 -x34 -x593 -x35 -x662 -x36 -x37 -x38 -x671 -x665 -x41 -x42 -x43 -x679 -x44 -x45 -x580 -x46 -x683 -x48 -x49 -x50 -x694 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x718 -x730 -x59 -x60 -x61 -x62 -x63 -x746 -x64 -x754 -x65 -x66 -x67 -x68 -x69 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x781 -x597 -x79 -x792 -x80 -x802 -x775 -x81 -x807 -x82 -x83 -x813 -x84 -x820 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x834 -x94 -x95 -x576 -x99 -x100 -x101 -x102 -x103 -x844 -x104 -x105 -x106 -x858 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x115 -x116 -x117 -x118 -x119 -x929 -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 -x1390 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x1582 -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 -x2151 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x2271 -x2319 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x2447 -x227 -x228 -x229 -x230 -x231 -x2589 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x2859 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x788 -x255 -x256 -x3172 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x3315 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x3573 -x287 -x3596 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x3680 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x766 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x3988 -x328 -x329 -x331 -x332 -x4022 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x4089 -x340 -x341 -x4139 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x4182 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x4239 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x4302 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x2811 -x1660 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x4377 -x390 -x391 -x392 -x4443 -x4492 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x1507 -x403 -x404 -x405 -x4607 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x4689 -x416 -x417 -x418 -x419 -x420 -x421 -x4758 -x422 -x423 -x424 -x425 -x426 -x427 -x4813 -x428 -x429 -x430 -x4866 -x431 -x432 -x433 -x436 -x873 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x4906 -x453 -x454 -x4931 -x455 -x456 -x457 -x458 -x459 -x460 -x2124 -x461 -x608 -x462 -x463 -x464 -x4962 -x465 -x466 -x4595 -x467 x468 -x4066 -x469 -x470 -x471 -x472 -x473 -x474 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x4989 -x484 -x485 -x486 -x487 -x488 -x4603 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x5012 -x496 -x497 -x5021 -x498 -x1993 -x499 -x500 -x501 -x1249 -x502 -x503 -x504 -x5036 -x505 -x4542 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x533 x536 x541 -x542 -x588 -x585 -x543 -x545 -x546 -x547 -x548 -x553 -x566 -x644 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x563 x565 -x568 -x569 -x570 -x571 -x573 -x574 x578 -x582 -x583 x587 x590 x595 x599 -x600 x602 -x605 x610 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x640 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x636 -x642 -x643 x646 -x647 -x649 -x651 -x652 x656 -x659 -x668 -x657 x661 x664 x667 x670 -x673 -x676 -x678 -x681 -x685 -x687 x689 -x691 x693 -x696 -x697 -x698 -x699 -x700 -x701 -x740 -x702 -x703 -x704 x706 -x707 -x709 -x711 -x713 -x714 -x716 -x717 -x720 -x751 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x732 -x733 -x734 -x770 -x735 -x736 -x737 -x738 -x739 -x742 -x743 -x744 -x748 -x749 -x750 x753 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x768 x769 -x772 -x777 -x778 x783 -x784 -x785 -x786 -x787 -x790 -x791 -x831 -x794 -x795 -x796 -x797 -x798 -x828 -x799 -x800 -x801 -x804 -x805 -x806 -x810 -x809 x812 x815 -x816 -x817 -x818 -x819 x822 -x823 -x824 -x825 -x826 -x827 x830 x833 x836 -x838 -x840 -x846 -x854 -x847 -x870 -x848 -x849 -x850 -x851 x856 -x857 -x860 -x861 -x862 -x866 -x863 -x864 -x865 -x868 -x869 -x872 -x875 -x3640 -x877 -x879 -x2435 -x880 -x1281 -x1051 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x1304 -x889 -x890 -x891 -x892 -x893 -x1206 -x894 -x895 -x896 -x3539 -x897 -x1274 -x3761 -x898 -x899 -x900 -x901 -x902 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x3696 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x3934 -x924 -x925 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x3200 -x940 -x941 -x942 -x943 -x944 -x945 -x3177 -x946 -x1920 -x947 -x2221 -x948 -x949 -x3764 -x950 -x951 -x952 -x953 -x954 -x955 -x1060 -x956 -x957 -x958 -x959 -x960 -x1199 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x983 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x3506 -x997 -x998 -x1985 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x3418 -x1016 -x1017 -x1982 -x1018 -x2241 -x1728 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x3772 -x1041 -x1042 -x1043 -x1044 -x1888 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x2738 -x1203 -x1586 -x1059 -x1814 -x1062 -x1063 -x1064 -x1065 -x1324 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1755 -x3648 -x1218 -x1091 -x3691 -x1092 -x1093 -x1094 -x1095 -x3592 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1821 -x1105 -x1106 -x1107 -x1110 x1112 -x1113 -x3512 -x1114 -x1115 -x1116 -x1117 -x1118 -x1881 -x1119 -x1120 -x1121 -x1122 -x1123 -x2421 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x2756 -x1137 -x1138 -x1139 -x1140 -x1830 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1153 -x1154 -x1155 -x1156 -x2204 -x2490 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x2258 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x3197 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1201 -x1205 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1860 -x1215 -x2839 -x1216 -x1217 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x2427 -x1227 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1318 -x1235 -x1236 -x1237 -x1238 -x1239 -x1996 -x1240 -x1241 -x1242 -x1243 -x2346 -x1244 -x1245 -x1246 -x1247 -x1293 -x1248 -x3488 -x1251 -x1252 -x1253 -x1254 -x3552 -x1255 -x1256 -x1257 -x1258 -x3769 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x3164 -x1269 -x1270 -x1271 x1273 -x1590 -x1276 -x1277 -x1278 -x3312 -x1279 -x1280 -x2343 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1295 -x3676 -x1667 -x1296 -x2814 -x1297 -x1298 -x1299 -x1301 -x1302 -x1724 -x1303 -x1306 -x1307 x1309 -x1310 -x1311 -x3788 -x1312 -x1313 -x1315 -x3282 -x1316 -x1320 -x1321 -x3194 -x1322 -x1323 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1335 -x1336 -x1338 -x1339 -x1340 -x1341 -x1342 -x3688 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x2741 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x3436 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1386 -x1387 -x3709 -x1388 -x1389 -x1392 -x1393 -x1394 -x1395 -x3939 -x1396 -x1397 -x1398 -x1399 -x1401 -x1403 -x1404 -x1405 -x1407 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x3791 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1431 -x1432 -x1885 -x1433 -x1434 -x3570 -x1436 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x3305 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x3605 -x1457 -x1458 -x3271 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x3494 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1483 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x3216 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x3545 -x1500 -x2326 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1653 -x2056 -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 -x3148 -x1574 -x1575 -x1576 -x3526 -x2793 -x1577 -x1578 -x1579 -x1580 -x1584 -x3784 -x1585 -x1588 x1592 -x1595 -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 -x3712 -x1627 -x1628 -x1629 -x1864 -x1630 -x1631 -x3975 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1647 -x3758 -x1648 -x1649 -x1650 -x1651 x1655 -x1656 -x1657 -x1658 -x1659 x1662 -x1663 -x1664 -x1665 -x1666 -x1669 -x1670 -x1672 -x1673 -x1674 -x1675 -x1676 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x2334 -x1689 -x2352 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1726 -x1730 -x1731 -x1732 -x1817 -x1733 -x1734 -x1736 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x2817 -x1752 -x1753 -x1754 -x1757 -x1758 -x1908 -x1759 -x1760 -x1761 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x3061 -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 -x2505 -x1811 -x1812 -x1816 -x1819 -x1820 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1832 -x1833 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x3225 -x1862 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x2439 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1883 -x1887 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1910 -x1911 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1941 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 -x1984 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1995 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2007 -x2008 -x2009 -x2010 -x2011 -x2472 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2773 -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 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -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 -x2126 -x2128 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2430 -x2142 -x3287 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2843 -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 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2243 -x2244 -x2245 -x2246 -x3137 -x2247 -x2248 -x3703 -x3643 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2822 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x3293 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2321 -x2322 -x2323 -x2324 -x2325 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2345 -x2348 -x2349 -x2350 -x2351 -x2354 -x2355 -x2356 -x2357 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 -x2400 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2423 -x2424 -x2425 -x2426 x2429 x2432 -x2433 -x2434 -x2437 -x2441 -x2442 -x3433 -x2443 -x2444 -x2445 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 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 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x3622 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -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 -x2696 -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 -x3726 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x3963 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x3141 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2740 x2743 -x2744 -x3636 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2813 -x2816 -x2819 -x2820 -x2821 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2841 -x2842 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 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 -x3085 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2968 -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 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x3557 -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 -x3015 -x3017 -x3018 -x3019 -x3020 -x3653 -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 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -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 -x3139 -x3140 -x3143 -x3144 -x3145 -x3146 x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3174 -x3175 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3196 -x3199 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3227 -x3228 -x3230 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3841 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3284 -x3289 -x3290 -x3291 -x3292 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3307 -x3308 -x3309 -x3310 -x3311 -x3314 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3895 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3942 -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 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 x3435 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -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 -x3490 -x3491 -x3492 -x3493 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3508 -x3509 -x3510 -x3511 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3541 -x3542 -x3547 -x3548 -x3549 -x3550 -x3551 -x3554 -x3555 -x3556 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3572 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3594 -x3595 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3638 -x3642 -x3645 -x3646 -x3647 -x3650 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3678 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3690 -x3693 -x3694 -x3695 -x3698 -x3699 -x3700 -x3701 -x3702 -x3705 -x3706 -x3707 -x3708 x3711 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3999 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3760 -x3763 x3766 -x3767 -x3768 -x3771 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3786 -x3790 -x3793 -x3794 -x3795 -x3802 -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 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3858 -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 -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 -x3936 -x3937 -x3941 x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4011 -x4012 -x4014 -x4015 x4017 -x4018 -x4019 -x4020 -x4802 -x4021 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4712 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4263 -x4057 -x4724 -x4058 -x4060 -x4061 -x4062 -x4174 -x4592 -x4063 -x4064 -x4065 -x4164 -x4068 -x4070 x4072 -x4073 -x4171 -x4074 -x4075 -x4076 -x4078 -x4079 -x4371 -x4080 -x4081 -x4082 -x4084 -x4085 -x4436 -x4086 x4088 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4374 -x4098 -x4275 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4695 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4306 -x4128 -x4129 -x4585 -x4130 -x4132 -x4133 -x4686 -x4134 -x4135 -x4136 -x4810 -x4137 -x4138 -x4158 -x4141 -x4142 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4154 -x4155 -x4156 -x4157 -x4161 -x4160 -x4163 -x4166 -x4167 -x4168 -x4170 -x4173 -x4176 -x4177 -x4179 -x4181 -x4184 -x4185 -x4188 -x4190 -x4191 -x4192 -x4205 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4367 -x4200 -x4201 -x4202 -x4203 -x4204 -x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4673 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4231 -x4233 -x4234 -x4862 -x4235 -x4236 -x4237 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4651 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4663 -x4261 -x4262 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4681 -x4287 -x4657 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4297 -x4299 -x4300 -x4304 -x4305 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4320 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4752 -x4333 -x4334 -x4335 -x4805 -x4336 -x4337 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4359 -x4361 -x4362 -x4364 -x4366 -x4369 -x4370 -x4373 -x4376 -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 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4438 -x4440 -x4442 -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 -x4730 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4564 -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 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4562 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4587 -x4588 -x4589 -x4590 x4594 -x4597 -x4598 -x4599 -x4600 -x4605 -x4606 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 x4653 -x4654 -x4655 -x4659 -x4660 -x4661 -x4662 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4675 -x4676 -x4677 -x4678 -x4679 x4683 -x4684 -x4685 x4688 -x4691 -x4692 -x4693 -x4694 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 x4726 x4727 -x4728 -x4729 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4754 -x4755 -x4756 -x4757 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 -x4869 -x4801 -x4804 -x4807 -x4808 -x4809 -x4812 -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 -x4864 -x4868 x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4889 -x4891 -x4954 -x4892 -x4894 -x4895 -x4928 -x4896 -x4898 -x4899 -x4901 -x4902 -x4983 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4975 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4927 x4930 x4933 -x4958 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4948 -x4950 -x4951 -x4952 -x4980 -x4956 -x4960 -x4961 x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4977 -x4978 -x4979 -x4982 -x4985 -x4986 -x4988 -x5009 -x4991 -x5003 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5051 -x5058 -x5002 -x5005 -x5006 -x5008 -x5011 -x5014 -x5054 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5053 -x5056 -x5057 -x5060
0.99/1.09 c Total CPU time: 1.07784 s
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460720-1307108962/watcher-3460720-1307108962 -o /tmp/evaluation-result-3460720-1307108962/solver-3460720-1307108962 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460720-1307108962.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 3/327 20535
/proc/meminfo: memFree=24044108/32951124 swapFree=67056304/67111528
[pid=20535] ppid=20533 vsize=3720 CPUtime=0.01 cores=0,2,4,6
/proc/20535/stat : 20535 (wbo1.6) R 20533 20535 18990 0 -1 4202496 579 0 0 0 1 0 0 0 25 0 1 0 901126787 3809280 533 33554432000 4194304 5714214 140736771459824 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20535/statm: 930 534 198 372 0 408 0
[startup+0.112433 s]
/proc/loadavg: 2.00 2.00 1.98 3/327 20535
/proc/meminfo: memFree=24044108/32951124 swapFree=67056304/67111528
[pid=20535] ppid=20533 vsize=10728 CPUtime=0.1 cores=0,2,4,6
/proc/20535/stat : 20535 (wbo1.6) R 20533 20535 18990 0 -1 4202496 2823 0 0 0 10 0 0 0 25 0 1 0 901126787 10985472 2378 33554432000 4194304 5714214 140736771459824 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20535/statm: 2682 2378 179 372 0 2307 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10728
[startup+0.200457 s]
/proc/loadavg: 2.00 2.00 1.98 3/327 20535
/proc/meminfo: memFree=24044108/32951124 swapFree=67056304/67111528
[pid=20535] ppid=20533 vsize=10728 CPUtime=0.19 cores=0,2,4,6
/proc/20535/stat : 20535 (wbo1.6) R 20533 20535 18990 0 -1 4202496 2824 0 0 0 19 0 0 0 25 0 1 0 901126787 10985472 2379 33554432000 4194304 5714214 140736771459824 18446744073709551615 4319347 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20535/statm: 2682 2379 180 372 0 2307 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10728
[startup+0.300399 s]
/proc/loadavg: 2.00 2.00 1.98 3/327 20535
/proc/meminfo: memFree=24044108/32951124 swapFree=67056304/67111528
[pid=20535] ppid=20533 vsize=10728 CPUtime=0.29 cores=0,2,4,6
/proc/20535/stat : 20535 (wbo1.6) R 20533 20535 18990 0 -1 4202496 2824 0 0 0 29 0 0 0 25 0 1 0 901126787 10985472 2379 33554432000 4194304 5714214 140736771459824 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20535/statm: 2682 2379 180 372 0 2307 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10728
[startup+0.700365 s]
/proc/loadavg: 2.00 2.00 1.98 3/327 20535
/proc/meminfo: memFree=24044108/32951124 swapFree=67056304/67111528
[pid=20535] ppid=20533 vsize=12436 CPUtime=0.69 cores=0,2,4,6
/proc/20535/stat : 20535 (wbo1.6) R 20533 20535 18990 0 -1 4202496 3266 0 0 0 69 0 0 0 25 0 1 0 901126787 12734464 2821 33554432000 4194304 5714214 140736771459824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20535/statm: 3109 2821 180 372 0 2734 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12436
Solver just ended. Dumping a history of the last processes samples
[startup+0.800361 s]
/proc/loadavg: 2.00 2.00 1.98 3/327 20535
/proc/meminfo: memFree=24044108/32951124 swapFree=67056304/67111528
[pid=20535] ppid=20533 vsize=12436 CPUtime=0.79 cores=0,2,4,6
/proc/20535/stat : 20535 (wbo1.6) R 20533 20535 18990 0 -1 4202496 3266 0 0 0 78 1 0 0 25 0 1 0 901126787 12734464 2821 33554432000 4194304 5714214 140736771459824 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20535/statm: 3109 2821 180 372 0 2734 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 12436
[startup+1.00032 s]
/proc/loadavg: 2.00 2.00 1.98 3/327 20535
/proc/meminfo: memFree=24044108/32951124 swapFree=67056304/67111528
[pid=20535] ppid=20533 vsize=12436 CPUtime=0.99 cores=0,2,4,6
/proc/20535/stat : 20535 (wbo1.6) R 20533 20535 18990 0 -1 4202496 3266 0 0 0 98 1 0 0 25 0 1 0 901126787 12734464 2821 33554432000 4194304 5714214 140736771459824 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20535/statm: 3109 2821 180 372 0 2734 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 12436
Child status: 0
Real time (s): 1.09459
CPU time (s): 1.09483
CPU user time (s): 1.07784
CPU system time (s): 0.016997
CPU usage (%): 100.022
Max. virtual memory (cumulated for all children) (KiB): 12436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.07784
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3269
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= 2
involuntary context switches= 1
runsolver used 0.005999 second user time and 0.017997 second system time
The end
Begin job on node110 at 2011-06-03 15:49:22
IDJOB=3460720
IDBENCH=25030
IDSOLVER=1953
FILE ID=node110/3460720-1307108962
RUNJOBID= node110-1307105356-20241
PBS_JOBID= 13497978
Free space on /tmp= 74004 MiB
SOLVER NAME= wbo 1.6
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460720-1307108962/watcher-3460720-1307108962 -o /tmp/evaluation-result-3460720-1307108962/solver-3460720-1307108962 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460720-1307108962.opb
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 267e112b52309c055e255eac2f43ef33
RANDOM SEED=337130864
node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 24044264 kB
Buffers: 286804 kB
Cached: 4583664 kB
SwapCached: 8652 kB
Active: 4085912 kB
Inactive: 4500800 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 24044264 kB
SwapTotal: 67111528 kB
SwapFree: 67056304 kB
Dirty: 4684 kB
Writeback: 0 kB
AnonPages: 3713920 kB
Mapped: 28056 kB
Slab: 229100 kB
PageTables: 27664 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 75713224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74000 MiB
End job on node110 at 2011-06-03 15:49:23