Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -23 | 1798.09 | 1798.53 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_4.opb |
MD5SUM | f7dd1b6b0a4946caf4c26a82905ed8fe |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -27 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -34 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12520 |
Sum of products size (including duplicates) | 25040 |
Number of different products | 6260 |
Sum of products size | 12520 |
0.00/0.01 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.01 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Learning Strategy: Cardinality Constraint Learning 0.00/0.01 c Instance file HOME/instance-2671131-1276719894.opb 0.00/0.01 c File size is 535263 bytes. 0.02/0.09 c Highest Coefficient sum: 400 0.02/0.09 c Parsing was ok!! 0.02/0.09 c Total parsing time: 0.091 s 0.09/0.10 c Var: 6660 Constr: 13122 6460/402/6260 Lit: 51280 Watch. Lit: 44622 0.09/0.10 c Obj. Vars: 200 (3.003 % of total variables) 9.49/9.58 c Pre-processing Time: 9.575 s 9.49/9.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.58 c 0 6660 13122 51280 3 44622 171687 0 0 9.57 9.49/9.58 c Switching off lower bounding mode. 9.49/9.58 o -1 9.59/9.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.60 c 0 6660 13123 51480 3 44625 171821 1 0 9.59 9.59/9.60 o -2 9.59/9.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.62 c 1 6660 13126 52080 3 44634 171887 4 0 9.61 9.59/9.62 o -3 9.59/9.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.64 c 3 6660 13130 52949 4 44647 171954 8 0 9.62 9.59/9.64 o -4 9.59/9.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.66 c 9 6660 13138 54215 4 44670 172021 16 0 9.64 9.59/9.66 o -5 9.59/9.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.68 c 21 6660 13152 56292 4 44707 172087 30 2 9.66 9.59/9.68 o -6 9.69/9.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.69/9.71 c 40 6660 13173 59150 4 44760 172154 51 4 9.69 9.69/9.71 o -7 9.69/9.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.69/9.73 c 52 6660 13187 61592 4 44801 172221 65 5 9.71 9.69/9.73 o -8 9.69/9.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.69/9.76 c 71 6660 13208 64439 4 44858 172287 86 7 9.73 9.69/9.76 o -9 9.69/9.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.69/9.78 c 95 6660 13234 67851 5 44927 172354 112 9 9.76 9.69/9.78 o -10 9.79/9.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.80 c 111 6660 13252 71251 5 44982 172421 130 11 9.78 9.79/9.80 o -11 9.79/9.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.83 c 136 6660 13279 74867 5 45057 172487 157 13 9.81 9.79/9.83 o -12 9.79/9.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.86 c 163 6660 13308 78657 5 45138 172554 186 16 9.83 9.79/9.86 o -13 9.79/9.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.88 c 201 6660 13348 83211 6 45243 172621 226 20 9.87 9.79/9.88 o -14 9.79/9.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.79/9.90 c 214 6660 13363 84932 6 45300 172687 241 21 9.88 9.79/9.90 o -15 9.89/9.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.89/9.92 c 231 6660 13382 85750 6 45367 172687 260 23 9.90 9.89/9.92 o -16 9.99/10.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.99/10.01 c 255 6660 13408 86589 6 45450 172687 286 25 9.93 9.99/10.01 o -17 9.99/10.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.99/10.05 c 341 6660 13496 99846 7 45659 172687 374 34 10.02 9.99/10.05 o -18 9.99/10.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.99/10.07 c 371 6660 13528 104485 7 45758 172687 406 36 10.05 9.99/10.07 o -19 9.99/10.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.99/10.09 c 390 6660 13549 105668 7 45837 172687 427 38 10.07 9.99/10.09 o -20 13.99/14.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.99/14.06 c 400 6660 13561 106466 7 45900 172687 439 39 10.09 13.99/14.06 c 500 6660 13662 110148 8 46122 189956 540 49 10.13 13.99/14.06 c 750 6660 13913 159714 11 46624 208952 791 73 10.27 13.99/14.06 c 1225 6660 14393 253725 17 47584 229848 1271 116 10.54 13.99/14.06 c 2038 6660 15208 414150 27 49214 252833 2086 183 11.09 13.99/14.06 c 3358 6660 16528 674798 40 51854 278117 3406 274 12.21 13.99/14.06 o -21 24.98/25.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.98/25.06 c 4449 6660 17633 857025 48 54085 172687 4511 316 14.07 24.98/25.06 c 4549 6660 17734 858854 48 54308 189956 4612 322 14.12 24.98/25.06 c 4799 6660 17986 908455 50 54812 208952 4864 335 14.32 24.98/25.06 c 5274 6660 18465 1001680 54 55770 229848 5343 358 14.70 24.98/25.06 c 6087 6660 19280 1162706 60 57400 252833 6158 396 15.37 24.98/25.06 c 7407 6660 20606 1423753 69 60052 278117 7484 445 16.61 24.98/25.06 c 9488 6660 22689 1832469 80 64218 305929 9567 508 18.66 24.98/25.06 c 12712 6660 25923 2405396 92 70686 336522 12801 574 22.12 24.98/25.06 o -22 38.68/38.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.68/38.72 c 14852 6660 28068 2811108 100 75017 172687 14946 592 25.06 38.68/38.72 c 14952 6660 28168 2830905 100 75217 189956 15046 594 25.16 38.68/38.72 c 15202 6660 28420 2880109 101 75721 208952 15298 599 25.34 38.68/38.72 c 15677 6660 28896 2973534 102 76673 229848 15774 610 25.66 38.68/38.72 c 16490 6660 29713 3134956 105 78307 252833 16591 627 26.27 38.68/38.72 c 17810 6660 31037 3396200 109 80955 278117 17915 641 27.75 38.68/38.72 c 19891 6660 33121 3806491 114 85123 305929 19999 642 30.97 38.68/38.72 c 23114 6660 36353 4385430 120 91647 336522 23231 636 36.34 38.68/38.72 o -23 1797.95/1798.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.44 c 24397 6660 37650 4619174 122 94824 172687 24528 630 38.71 1797.95/1798.44 c 24497 6660 37751 4638973 122 95026 189956 24629 630 38.87 1797.95/1798.44 c 24747 6660 38003 4688575 123 95530 208952 24881 631 39.16 1797.95/1798.44 c 25222 6660 38480 4781404 124 96484 229848 25358 635 39.69 1797.95/1798.44 c 26035 6660 39295 4942028 125 98114 252833 26173 641 40.60 1797.95/1798.44 c 27355 6660 40617 5203467 128 100758 278117 27495 648 42.16 1797.95/1798.44 c 29436 6660 42702 5611397 131 104928 305929 29580 656 44.80 1797.95/1798.44 c 32659 6660 45943 6189951 134 111543 336522 32821 641 50.88 1797.95/1798.44 c 37596 6660 51030 7165263 140 121978 370175 37908 609 61.64 1797.95/1798.44 c 45102 6660 58815 8845308 150 138367 407193 45693 562 80.23 1797.95/1798.44 c 56463 6660 70612 11479784 162 162688 447913 57490 491 114.82 1797.95/1798.44 c 73607 6660 88446 15462661 174 199061 492705 75324 413 178.15 1797.95/1798.44 c 99426 6660 115466 21567387 186 254023 541976 102344 339 293.26 1797.95/1798.44 c 138258 6660 156204 31283030 200 336414 596174 143082 254 543.90 1797.95/1798.44 c 196611 6660 217062 44822731 206 460221 655792 203940 203 967.61 1797.95/1798.44 c 284243 6660 308924 65109035 210 646311 721372 295802 161 1759.24 1797.95/1798.44 c Resources Exceeded 1797.95/1798.44 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 -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 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -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 1797.95/1798.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.45 c 57 287732 96173 566890 312672 65960019 299550 160 1798.01 1797.95/1798.45 c Objective: -23 1797.95/1798.45 s SATISFIABLE 1797.95/1798.45 c Total time: 1798.01 s
OK -23
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671131-1276719894/watcher-2671131-1276719894 -o /tmp/evaluation-result-2671131-1276719894/solver-2671131-1276719894 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671131-1276719894.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17576 /proc/meminfo: memFree=1804888/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=11460 CPUtime=0 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 356 0 0 0 0 0 0 0 19 0 1 0 13282121 11735040 275 1992294400 134512640 137138936 4290380912 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 2865 276 174 642 0 2090 0 [startup+0.024169 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17576 /proc/meminfo: memFree=1804888/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=11728 CPUtime=0.02 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 449 0 0 0 2 0 0 0 19 0 1 0 13282121 12009472 368 1992294400 134512640 137138936 4290380912 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 2932 369 193 642 0 2157 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11728 [startup+0.101175 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17576 /proc/meminfo: memFree=1804888/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=14104 CPUtime=0.09 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 1289 0 0 0 9 0 0 0 19 0 1 0 13282121 14442496 1077 1992294400 134512640 137138936 4290380912 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 3526 1079 182 642 0 2882 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14104 [startup+0.301192 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17576 /proc/meminfo: memFree=1804888/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=14380 CPUtime=0.29 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 1366 0 0 0 29 0 0 0 20 0 1 0 13282121 14725120 1154 1992294400 134512640 137138936 4290380912 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 3595 1154 184 642 0 2951 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14380 [startup+0.700227 s] /proc/loadavg: 1.00 1.00 1.00 3/106 17576 /proc/meminfo: memFree=1804888/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=14380 CPUtime=0.68 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 1367 0 0 0 68 0 0 0 20 0 1 0 13282121 14725120 1155 1992294400 134512640 137138936 4290380912 18446744073709551615 136504045 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 3595 1155 184 642 0 2951 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 14380 [startup+1.5003 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17577 /proc/meminfo: memFree=1801284/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=14380 CPUtime=1.49 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 1367 0 0 0 148 1 0 0 23 0 1 0 13282121 14725120 1155 1992294400 134512640 137138936 4290380912 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 3595 1155 184 642 0 2951 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14380 [startup+3.10044 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17577 /proc/meminfo: memFree=1800912/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=14380 CPUtime=3.09 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 1367 0 0 0 308 1 0 0 25 0 1 0 13282121 14725120 1155 1992294400 134512640 137138936 4290380912 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 3595 1155 184 642 0 2951 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14380 [startup+6.30172 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17577 /proc/meminfo: memFree=1800912/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=14380 CPUtime=6.29 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 1367 0 0 0 628 1 0 0 25 0 1 0 13282121 14725120 1155 1992294400 134512640 137138936 4290380912 18446744073709551615 134566253 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 3595 1155 184 642 0 2951 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14380 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17577 /proc/meminfo: memFree=1793100/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=24120 CPUtime=12.69 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 4143 0 0 0 1262 7 0 0 25 0 1 0 13282121 24698880 3605 1992294400 134512640 137138936 4290380912 18446744073709551615 136504397 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 6030 3605 192 642 0 5386 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24120 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17577 /proc/meminfo: memFree=1763588/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=52832 CPUtime=25.48 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 11311 0 0 0 2531 17 0 0 25 0 1 0 13282121 54099968 10773 1992294400 134512640 137138936 4290380912 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 13208 10773 192 642 0 12564 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52832 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17579 /proc/meminfo: memFree=1719320/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=96444 CPUtime=51.07 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 22210 0 0 0 5070 37 0 0 25 0 1 0 13282121 98758656 21672 1992294400 134512640 137138936 4290380912 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 24111 21672 192 642 0 23467 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 96444 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17579 /proc/meminfo: memFree=1660916/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=154400 CPUtime=102.26 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 36704 0 0 0 10169 57 0 0 25 0 1 0 13282121 158105600 36166 1992294400 134512640 137138936 4290380912 18446744073709551615 134602766 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 38600 36166 192 642 0 37956 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 154400 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17581 /proc/meminfo: memFree=1609456/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=206136 CPUtime=162.24 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 49643 0 0 0 16149 75 0 0 25 0 1 0 13282121 211083264 49105 1992294400 134512640 137138936 4290380912 18446744073709551615 135984577 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 51534 49105 192 642 0 50890 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 206136 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17583 /proc/meminfo: memFree=1562708/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=252380 CPUtime=222.23 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 61189 0 0 0 22130 93 0 0 25 0 1 0 13282121 258437120 60651 1992294400 134512640 137138936 4290380912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 63095 60651 192 642 0 62451 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 252380 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17585 /proc/meminfo: memFree=1522284/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=292996 CPUtime=282.22 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 71348 0 0 0 28114 108 0 0 25 0 1 0 13282121 300027904 70810 1992294400 134512640 137138936 4290380912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 73249 70810 192 642 0 72605 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 292996 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17587 /proc/meminfo: memFree=1488680/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=326160 CPUtime=342.2 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 79640 0 0 0 34096 124 0 0 25 0 1 0 13282121 333987840 79102 1992294400 134512640 137138936 4290380912 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 81540 79102 192 642 0 80896 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 326160 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17587 /proc/meminfo: memFree=1457556/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=357460 CPUtime=402.19 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 87459 0 0 0 40081 138 0 0 25 0 1 0 13282121 366039040 86921 1992294400 134512640 137138936 4290380912 18446744073709551615 134542226 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 89365 86921 192 642 0 88721 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 357460 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17592 /proc/meminfo: memFree=1424820/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=389332 CPUtime=462.17 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 95429 0 0 0 46066 151 0 0 25 0 1 0 13282121 398675968 94891 1992294400 134512640 137138936 4290380912 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 97333 94891 192 642 0 96689 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 389332 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17594 /proc/meminfo: memFree=1394688/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=419448 CPUtime=522.15 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 102959 0 0 0 52054 161 0 0 25 0 1 0 13282121 429514752 102421 1992294400 134512640 137138936 4290380912 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 104862 102421 192 642 0 104218 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 419448 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17596 /proc/meminfo: memFree=1369020/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=444888 CPUtime=582.15 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 109331 0 0 0 58044 171 0 0 25 0 1 0 13282121 455565312 108793 1992294400 134512640 137138936 4290380912 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 111222 108793 192 642 0 110578 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 444888 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17598 /proc/meminfo: memFree=1340500/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=473208 CPUtime=642.13 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 116410 0 0 0 64031 182 0 0 25 0 1 0 13282121 484564992 115872 1992294400 134512640 137138936 4290380912 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 118302 115872 192 642 0 117658 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 473208 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1172852/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=641196 CPUtime=1062.03 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 158393 0 0 0 105948 255 0 0 25 0 1 0 13282121 656584704 157855 1992294400 134512640 137138936 4290380912 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 160299 157855 192 642 0 159655 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 641196 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17610 /proc/meminfo: memFree=1151028/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=662588 CPUtime=1122.01 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 163746 0 0 0 111936 265 0 0 25 0 1 0 13282121 678490112 163208 1992294400 134512640 137138936 4290380912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 165647 163208 192 642 0 165003 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 662588 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17612 /proc/meminfo: memFree=1127716/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=686060 CPUtime=1181.99 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 169627 0 0 0 117924 275 0 0 25 0 1 0 13282121 702525440 169089 1992294400 134512640 137138936 4290380912 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 171515 169089 192 642 0 170871 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 686060 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17614 /proc/meminfo: memFree=1106016/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=707404 CPUtime=1241.98 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 174951 0 0 0 123915 283 0 0 25 0 1 0 13282121 724381696 174413 1992294400 134512640 137138936 4290380912 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 176851 174413 192 642 0 176207 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 707404 [startup+1302.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 17614 /proc/meminfo: memFree=1083572/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=729580 CPUtime=1301.97 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 180494 0 0 0 129905 292 0 0 25 0 1 0 13282121 747089920 179956 1992294400 134512640 137138936 4290380912 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 182395 179956 192 642 0 181751 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 729580 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 17616 /proc/meminfo: memFree=1063856/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=749548 CPUtime=1361.96 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 185481 0 0 0 135894 302 0 0 25 0 1 0 13282121 767537152 184943 1992294400 134512640 137138936 4290380912 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 187387 184943 192 642 0 186743 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 749548 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/107 17618 /proc/meminfo: memFree=1044140/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=769016 CPUtime=1421.95 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 190347 0 0 0 141883 312 0 0 25 0 1 0 13282121 787472384 189809 1992294400 134512640 137138936 4290380912 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 192254 189809 192 642 0 191610 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 769016 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17620 /proc/meminfo: memFree=1024300/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=789068 CPUtime=1481.93 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 195361 0 0 0 147871 322 0 0 25 0 1 0 13282121 808005632 194823 1992294400 134512640 137138936 4290380912 18446744073709551615 134607231 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 197267 194823 192 642 0 196623 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 789068 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17622 /proc/meminfo: memFree=1003716/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=809340 CPUtime=1541.91 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 200437 0 0 0 153860 331 0 0 25 0 1 0 13282121 828764160 199899 1992294400 134512640 137138936 4290380912 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 202335 199899 192 642 0 201691 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 809340 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17622 /proc/meminfo: memFree=985116/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=828068 CPUtime=1601.9 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 205125 0 0 0 159850 340 0 0 25 0 1 0 13282121 847941632 204587 1992294400 134512640 137138936 4290380912 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 207017 204587 192 642 0 206373 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 828068 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17624 /proc/meminfo: memFree=965028/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=847964 CPUtime=1661.88 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 210085 0 0 0 165841 347 0 0 25 0 1 0 13282121 868315136 209547 1992294400 134512640 137138936 4290380912 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 211991 209547 192 642 0 211347 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 847964 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17626 /proc/meminfo: memFree=947792/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=865152 CPUtime=1721.86 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 214397 0 0 0 171832 354 0 0 25 0 1 0 13282121 885915648 213859 1992294400 134512640 137138936 4290380912 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 216288 213859 192 642 0 215644 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 865152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17628 /proc/meminfo: memFree=930556/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=882120 CPUtime=1781.85 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 218631 0 0 0 177824 361 0 0 25 0 1 0 13282121 903290880 218093 1992294400 134512640 137138936 4290380912 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 220530 218093 192 642 0 219886 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 882120 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17628 /proc/meminfo: memFree=927704/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=884952 CPUtime=1791.46 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 219338 0 0 0 178784 362 0 0 25 0 1 0 13282121 906190848 218800 1992294400 134512640 137138936 4290380912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 221238 218800 192 642 0 220594 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (KiB) 884952 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17628 /proc/meminfo: memFree=926588/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=885980 CPUtime=1794.65 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 219603 0 0 0 179103 362 0 0 25 0 1 0 13282121 907243520 219065 1992294400 134512640 137138936 4290380912 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 221495 219065 192 642 0 220851 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (KiB) 885980 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17628 /proc/meminfo: memFree=926216/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=886556 CPUtime=1796.24 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 219733 0 0 0 179262 362 0 0 25 0 1 0 13282121 907833344 219195 1992294400 134512640 137138936 4290380912 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 221639 219195 192 642 0 220995 0 Current children cumulated CPU time (s) 1796.24 Current children cumulated vsize (KiB) 886556 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17628 /proc/meminfo: memFree=925844/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=886716 CPUtime=1797.04 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 219784 0 0 0 179342 362 0 0 25 0 1 0 13282121 907997184 219246 1992294400 134512640 137138936 4290380912 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 221679 219246 192 642 0 221035 0 Current children cumulated CPU time (s) 1797.04 Current children cumulated vsize (KiB) 886716 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17628 /proc/meminfo: memFree=925844/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=886980 CPUtime=1797.85 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202496 219852 0 0 0 179422 363 0 0 25 0 1 0 13282121 908267520 219314 1992294400 134512640 137138936 4290380912 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/17576/statm: 221745 219314 192 642 0 221101 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 886980 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 17628 /proc/meminfo: memFree=925596/2059040 swapFree=4192888/4192956 [pid=17576] ppid=17574 vsize=0 CPUtime=1798.06 /proc/17576/stat : 17576 (bsolo_pb10) R 17574 17576 17028 0 -1 4202500 219863 0 0 0 179437 369 0 0 25 0 1 0 13282121 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/17576/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.06 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.53 CPU time (s): 1798.09 CPU user time (s): 1794.37 CPU system time (s): 3.71644 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 886980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.37 system time used= 3.71643 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 219863 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 19967 runsolver used 2.98355 second user time and 8.47471 second system time The end
Begin job on node041 at 2010-06-16 22:24:54 IDJOB=2671131 IDBENCH=48282 IDSOLVER=1162 FILE ID=node041/2671131-1276719894 PBS_JOBID= 11174188 Free space on /tmp= 62084 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671131-1276719894/watcher-2671131-1276719894 -o /tmp/evaluation-result-2671131-1276719894/solver-2671131-1276719894 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671131-1276719894.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f7dd1b6b0a4946caf4c26a82905ed8fe RANDOM SEED=1970043279 node041.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1806160 kB Buffers: 25560 kB Cached: 95952 kB SwapCached: 64 kB Active: 134896 kB Inactive: 46156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1806160 kB SwapTotal: 4192956 kB SwapFree: 4192888 kB Dirty: 4140 kB Writeback: 4 kB AnonPages: 59404 kB Mapped: 15332 kB Slab: 49988 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181472 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671131-1276719894.opb Free space on /tmp at the end= 62080 MiB End job on node041 at 2010-06-16 22:54:53