Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -24 | 1798.1 | 1798.49 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_2.opb |
MD5SUM | 219f407da86957d900e068170e9af8b6 |
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 | -26 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -32 |
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) | 12440 |
Sum of products size (including duplicates) | 24880 |
Number of different products | 6220 |
Sum of products size | 12440 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2671043-1276716028.opb 0.00/0.00 c File size is 531925 bytes. 0.04/0.09 c Highest Coefficient sum: 400 0.04/0.09 c Parsing was ok!! 0.04/0.09 c Total parsing time: 0.09 s 0.04/0.10 c Var: 6620 Constr: 13042 6420/402/6220 Lit: 50960 Watch. Lit: 44342 0.04/0.10 c Obj. Vars: 200 (3.02115 % of total variables) 9.09/9.13 c Pre-processing Time: 9.131 s 9.09/9.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.13 c 0 6620 13042 50960 3 44342 169370 0 0 9.13 9.09/9.13 c Switching off lower bounding mode. 9.09/9.14 o -1 9.09/9.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.16 c 0 6620 13043 51160 3 44345 169503 1 0 9.14 9.09/9.16 o -2 9.09/9.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.18 c 1 6620 13046 51760 3 44354 169570 4 0 9.16 9.09/9.18 o -3 9.09/9.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.20 c 2 6620 13049 52388 4 44365 169637 7 0 9.18 9.09/9.20 o -4 9.19/9.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.22 c 5 6620 13054 53021 4 44382 169703 12 0 9.20 9.19/9.22 o -5 9.19/9.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.23 c 8 6620 13059 53671 4 44401 169770 17 0 9.22 9.19/9.23 o -6 9.19/9.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.25 c 13 6620 13066 55142 4 44426 169837 24 1 9.24 9.19/9.25 o -7 9.19/9.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.27 c 18 6620 13073 56432 4 44453 169903 31 1 9.26 9.19/9.27 o -8 9.19/9.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.29 c 23 6620 13080 57354 4 44482 169970 38 2 9.27 9.19/9.29 o -9 9.29/9.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.29/9.31 c 39 6620 13098 58129 4 44535 170037 56 4 9.29 9.29/9.31 o -10 9.29/9.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.29/9.33 c 40 6620 13101 58835 4 44560 170103 59 4 9.31 9.29/9.33 o -11 9.29/9.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.29/9.35 c 52 6620 13115 59603 4 44609 170170 73 5 9.33 9.29/9.35 o -12 9.29/9.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.29/9.37 c 68 6620 13133 62761 4 44668 170237 91 7 9.36 9.29/9.37 o -13 9.39/9.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.39/9.40 c 79 6620 13146 65146 4 44719 170303 104 8 9.38 9.39/9.40 o -14 9.39/9.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.39/9.42 c 93 6620 13162 66629 5 44778 170370 120 9 9.40 9.39/9.42 o -15 9.39/9.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.39/9.45 c 104 6620 13175 67400 5 44833 170370 133 11 9.42 9.39/9.45 o -16 9.49/9.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.51 c 128 6620 13201 68231 5 44916 170370 159 13 9.45 9.49/9.51 o -17 9.49/9.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.54 c 223 6620 13298 83234 6 45143 170370 256 23 9.51 9.49/9.54 o -18 9.49/9.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.55 c 243 6620 13320 85128 6 45222 170370 278 25 9.54 9.49/9.55 o -19 9.49/9.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.57 c 248 6620 13327 85912 6 45273 170370 285 25 9.55 9.49/9.57 o -20 9.49/9.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.58 c 254 6620 13335 86699 6 45328 170370 293 26 9.57 9.49/9.58 o -21 9.59/9.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.60 c 265 6620 13348 87503 6 45395 170370 306 27 9.59 9.59/9.60 o -22 12.29/12.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.29/12.32 c 279 6620 13364 88316 6 45470 170370 322 29 9.61 12.29/12.32 c 379 6620 13465 89772 6 45694 187408 423 39 9.64 12.29/12.32 c 629 6620 13717 139369 10 46198 206149 675 64 9.79 12.29/12.32 c 1104 6620 14196 233585 16 47156 226764 1154 109 10.06 12.29/12.32 c 1917 6620 15011 383971 25 48786 249441 1969 173 11.06 12.29/12.32 o -23 12.29/12.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.29/12.35 c 2757 6620 15860 526148 33 50507 170370 2818 223 12.33 12.29/12.35 o -24 1797.91/1798.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1798.39 c 2776 6620 15881 526974 33 50596 170370 2839 224 12.36 1797.91/1798.39 c 2876 6620 15982 528521 33 50822 187408 2940 231 12.41 1797.91/1798.39 c 3126 6620 16234 577913 35 51326 206149 3192 248 12.56 1797.91/1798.39 c 3601 6620 16714 670341 40 52286 226764 3672 279 12.88 1797.91/1798.39 c 4414 6620 17529 830971 47 53916 249441 4487 328 13.43 1797.91/1798.39 c 5734 6620 18852 1091021 57 56562 274386 5810 398 14.39 1797.91/1798.39 c 7815 6620 20934 1498140 71 60726 301825 7892 487 16.05 1797.91/1798.39 c 11038 6620 24166 2113154 87 67190 332008 11124 590 18.70 1797.91/1798.39 c 15974 6620 29177 3017308 103 77212 365209 16135 607 26.27 1797.91/1798.39 c 23480 6620 36957 4593996 124 92911 401730 23915 578 40.58 1797.91/1798.39 c 34842 6620 48832 7187125 147 117193 441904 35790 532 65.40 1797.91/1798.39 c 51986 6620 66648 10981304 164 153499 486095 53606 486 106.81 1797.91/1798.39 c 77805 6620 93800 16940995 180 208169 534705 80758 415 187.19 1797.91/1798.39 c 116637 6620 134185 26097022 194 290604 588176 121143 325 358.21 1797.91/1798.39 c 174990 6620 195139 40031727 205 414215 646994 182097 258 677.27 1797.91/1798.39 c 262622 6620 286499 60999496 212 598884 711694 273457 193 1360.32 1797.91/1798.39 c Resources Exceeded 1797.91/1798.39 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 -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.91/1798.39 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.39 c 43 301173 98394 541727 326686 70066540 313644 167 1798.01 1797.91/1798.39 c Objective: -24 1797.91/1798.39 s SATISFIABLE 1797.91/1798.39 c Total time: 1798.01 s
OK -24
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671043-1276716028/watcher-2671043-1276716028 -o /tmp/evaluation-result-2671043-1276716028/solver-2671043-1276716028 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671043-1276716028.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 18672 /proc/meminfo: memFree=1852628/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=11452 CPUtime=0 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 360 0 0 0 0 0 0 0 15 0 1 0 12898237 11726848 278 1992294400 134512640 137138936 4289229552 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 2863 278 174 642 0 2089 0 [startup+0.051171 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18672 /proc/meminfo: memFree=1852628/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=12400 CPUtime=0.04 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 649 0 0 0 4 0 0 0 18 0 1 0 12898237 12697600 567 1992294400 134512640 137138936 4289229552 18446744073709551615 136396400 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 3100 567 236 642 0 2326 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12400 [startup+0.101172 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18672 /proc/meminfo: memFree=1852628/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=14360 CPUtime=0.09 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 1336 0 0 0 9 0 0 0 18 0 1 0 12898237 14704640 1124 1992294400 134512640 137138936 4289229552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 3590 1124 184 642 0 2946 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14360 [startup+0.301185 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18672 /proc/meminfo: memFree=1852628/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=14360 CPUtime=0.29 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 1358 0 0 0 29 0 0 0 18 0 1 0 12898237 14704640 1146 1992294400 134512640 137138936 4289229552 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 3590 1146 184 642 0 2946 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14360 [startup+0.70121 s] /proc/loadavg: 1.00 1.00 1.00 3/106 18672 /proc/meminfo: memFree=1852628/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=14360 CPUtime=0.69 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 1358 0 0 0 69 0 0 0 18 0 1 0 12898237 14704640 1146 1992294400 134512640 137138936 4289229552 18446744073709551615 136504925 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 3590 1146 184 642 0 2946 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14360 [startup+1.50126 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18673 /proc/meminfo: memFree=1849024/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=14360 CPUtime=1.49 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 1359 0 0 0 149 0 0 0 19 0 1 0 12898237 14704640 1147 1992294400 134512640 137138936 4289229552 18446744073709551615 136504849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 3590 1147 184 642 0 2946 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14360 [startup+3.10036 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18673 /proc/meminfo: memFree=1848776/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=14360 CPUtime=3.09 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 1359 0 0 0 309 0 0 0 23 0 1 0 12898237 14704640 1147 1992294400 134512640 137138936 4289229552 18446744073709551615 135984576 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 3590 1147 184 642 0 2946 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14360 [startup+6.30056 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18673 /proc/meminfo: memFree=1848652/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=14360 CPUtime=6.29 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 1359 0 0 0 628 1 0 0 25 0 1 0 12898237 14704640 1147 1992294400 134512640 137138936 4289229552 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 3590 1147 184 642 0 2946 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14360 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18673 /proc/meminfo: memFree=1842700/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=22024 CPUtime=12.69 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 3616 0 0 0 1263 6 0 0 25 0 1 0 12898237 22552576 3078 1992294400 134512640 137138936 4289229552 18446744073709551615 134552494 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 5506 3078 192 642 0 4862 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22024 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18675 /proc/meminfo: memFree=1810708/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=52756 CPUtime=25.48 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 11292 0 0 0 2534 14 0 0 25 0 1 0 12898237 54022144 10754 1992294400 134512640 137138936 4289229552 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 13189 10754 192 642 0 12545 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52756 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18675 /proc/meminfo: memFree=1774252/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=89428 CPUtime=51.09 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 20452 0 0 0 5083 26 0 0 25 0 1 0 12898237 91574272 19914 1992294400 134512640 137138936 4289229552 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 22357 19914 192 642 0 21713 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 89428 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18677 /proc/meminfo: memFree=1707912/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=154808 CPUtime=102.28 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 36796 0 0 0 10182 46 0 0 25 0 1 0 12898237 158523392 36258 1992294400 134512640 137138936 4289229552 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 38702 36258 192 642 0 38058 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 154808 [startup+162.301 s] /proc/loadavg: 1.08 1.02 1.01 2/107 18677 /proc/meminfo: memFree=1646532/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=216632 CPUtime=162.26 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 52252 0 0 0 16160 66 0 0 25 0 1 0 12898237 221831168 51714 1992294400 134512640 137138936 4289229552 18446744073709551615 136501980 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 54158 51714 192 642 0 53514 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 216632 [startup+222.301 s] /proc/loadavg: 1.10 1.03 1.00 2/107 18679 /proc/meminfo: memFree=1594204/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=268204 CPUtime=222.25 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 65158 0 0 0 22143 82 0 0 25 0 1 0 12898237 274640896 64620 1992294400 134512640 137138936 4289229552 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 67051 64620 192 642 0 66407 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 268204 [startup+282.302 s] /proc/loadavg: 1.10 1.04 1.00 2/107 18681 /proc/meminfo: memFree=1555516/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=307244 CPUtime=282.23 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 74912 0 0 0 28124 99 0 0 25 0 1 0 12898237 314617856 74374 1992294400 134512640 137138936 4289229552 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 76811 74374 192 642 0 76167 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 307244 [startup+342.301 s] /proc/loadavg: 1.04 1.03 1.00 2/107 18683 /proc/meminfo: memFree=1513108/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=349220 CPUtime=342.22 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 85413 0 0 0 34105 117 0 0 25 0 1 0 12898237 357601280 84875 1992294400 134512640 137138936 4289229552 18446744073709551615 134551472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 87305 84875 192 642 0 86661 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 349220 [startup+402.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 18685 /proc/meminfo: memFree=1473800/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=388708 CPUtime=402.21 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 95288 0 0 0 40088 133 0 0 25 0 1 0 12898237 398036992 94750 1992294400 134512640 137138936 4289229552 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 97177 94750 192 642 0 96533 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 388708 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 18685 /proc/meminfo: memFree=1436724/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=425444 CPUtime=462.19 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 104464 0 0 0 46073 146 0 0 25 0 1 0 12898237 435654656 103926 1992294400 134512640 137138936 4289229552 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 106361 103926 192 642 0 105717 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 425444 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18687 /proc/meminfo: memFree=1403740/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=458644 CPUtime=522.18 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 112761 0 0 0 52058 160 0 0 25 0 1 0 12898237 469651456 112223 1992294400 134512640 137138936 4289229552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 114661 112223 192 642 0 114017 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 458644 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18689 /proc/meminfo: memFree=1369764/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=492232 CPUtime=582.16 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 121156 0 0 0 58043 173 0 0 25 0 1 0 12898237 504045568 120618 1992294400 134512640 137138936 4289229552 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 123058 120618 192 642 0 122414 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 492232 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18691 /proc/meminfo: memFree=1336780/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=524896 CPUtime=642.16 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 129323 0 0 0 64030 186 0 0 25 0 1 0 12898237 537493504 128785 1992294400 134512640 137138936 4289229552 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 131224 128785 192 642 0 130580 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 524896 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1126228/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=734796 CPUtime=1122.05 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 181803 0 0 0 111936 269 0 0 25 0 1 0 12898237 752431104 181265 1992294400 134512640 137138936 4289229552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 183699 181265 192 642 0 183055 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 734796 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18708 /proc/meminfo: memFree=1104900/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=756172 CPUtime=1182.03 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 187148 0 0 0 117926 277 0 0 25 0 1 0 12898237 774320128 186610 1992294400 134512640 137138936 4289229552 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 189043 186610 192 642 0 188399 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 756172 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18710 /proc/meminfo: memFree=1082704/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=778252 CPUtime=1242.02 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 192659 0 0 0 123916 286 0 0 25 0 1 0 12898237 796930048 192121 1992294400 134512640 137138936 4289229552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 194563 192121 192 642 0 193919 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 778252 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18712 /proc/meminfo: memFree=1059392/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=801180 CPUtime=1302.02 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 198389 0 0 0 129905 297 0 0 25 0 1 0 12898237 820408320 197851 1992294400 134512640 137138936 4289229552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 200295 197851 192 642 0 199651 0 Current children cumulated CPU time (s) 1302.02 Current children cumulated vsize (KiB) 801180 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18712 /proc/meminfo: memFree=1039428/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=821396 CPUtime=1362 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 203443 0 0 0 135895 305 0 0 25 0 1 0 12898237 841109504 202905 1992294400 134512640 137138936 4289229552 18446744073709551615 134542460 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 205349 202905 192 642 0 204705 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 821396 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18714 /proc/meminfo: memFree=1018224/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=842224 CPUtime=1421.99 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 208656 0 0 0 141887 312 0 0 25 0 1 0 12898237 862437376 208118 1992294400 134512640 137138936 4289229552 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 210556 208118 192 642 0 209912 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 842224 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18716 /proc/meminfo: memFree=1004956/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=855596 CPUtime=1481.97 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 212006 0 0 0 147879 318 0 0 25 0 1 0 12898237 876130304 211468 1992294400 134512640 137138936 4289229552 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 213899 211468 192 642 0 213255 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 855596 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18718 /proc/meminfo: memFree=988588/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=871796 CPUtime=1541.96 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 216043 0 0 0 153870 326 0 0 25 0 1 0 12898237 892719104 215505 1992294400 134512640 137138936 4289229552 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 217949 215505 192 642 0 217305 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 871796 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18720 /proc/meminfo: memFree=973584/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=887012 CPUtime=1601.95 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 219847 0 0 0 159862 333 0 0 25 0 1 0 12898237 908300288 219309 1992294400 134512640 137138936 4289229552 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 221753 219309 192 642 0 221109 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 887012 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18720 /proc/meminfo: memFree=957712/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=902704 CPUtime=1661.94 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 223770 0 0 0 165853 341 0 0 25 0 1 0 12898237 924368896 223232 1992294400 134512640 137138936 4289229552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 225676 223232 192 642 0 225032 0 Current children cumulated CPU time (s) 1661.94 Current children cumulated vsize (KiB) 902704 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18722 /proc/meminfo: memFree=941592/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=918808 CPUtime=1721.93 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 227810 0 0 0 171846 347 0 0 25 0 1 0 12898237 940859392 227272 1992294400 134512640 137138936 4289229552 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 229702 227272 192 642 0 229058 0 Current children cumulated CPU time (s) 1721.93 Current children cumulated vsize (KiB) 918808 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18724 /proc/meminfo: memFree=924232/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=935740 CPUtime=1781.91 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 232033 0 0 0 177837 354 0 0 25 0 1 0 12898237 958197760 231495 1992294400 134512640 137138936 4289229552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 233935 231495 192 642 0 233291 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 935740 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 18724 /proc/meminfo: memFree=921256/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=938620 CPUtime=1791.51 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 232766 0 0 0 178795 356 0 0 25 0 1 0 12898237 961146880 232228 1992294400 134512640 137138936 4289229552 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 234655 232228 192 642 0 234011 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (KiB) 938620 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18724 /proc/meminfo: memFree=920388/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=939536 CPUtime=1794.71 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 232981 0 0 0 179115 356 0 0 25 0 1 0 12898237 962084864 232443 1992294400 134512640 137138936 4289229552 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 234884 232443 192 642 0 234240 0 Current children cumulated CPU time (s) 1794.71 Current children cumulated vsize (KiB) 939536 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18724 /proc/meminfo: memFree=920016/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=939952 CPUtime=1796.31 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 233101 0 0 0 179274 357 0 0 25 0 1 0 12898237 962510848 232563 1992294400 134512640 137138936 4289229552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 234988 232563 192 642 0 234344 0 Current children cumulated CPU time (s) 1796.31 Current children cumulated vsize (KiB) 939952 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18724 /proc/meminfo: memFree=919768/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=940212 CPUtime=1797.11 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 233163 0 0 0 179354 357 0 0 25 0 1 0 12898237 962777088 232625 1992294400 134512640 137138936 4289229552 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 235053 232625 192 642 0 234409 0 Current children cumulated CPU time (s) 1797.11 Current children cumulated vsize (KiB) 940212 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18724 /proc/meminfo: memFree=919768/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=940344 CPUtime=1797.51 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 233194 0 0 0 179394 357 0 0 25 0 1 0 12898237 962912256 232656 1992294400 134512640 137138936 4289229552 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 235086 232656 192 642 0 234442 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (KiB) 940344 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18724 /proc/meminfo: memFree=919768/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=940512 CPUtime=1797.91 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202496 233231 0 0 0 179434 357 0 0 25 0 1 0 12898237 963084288 232693 1992294400 134512640 137138936 4289229552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18672/statm: 235128 232693 192 642 0 234484 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 940512 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18724 /proc/meminfo: memFree=939732/2059040 swapFree=4139272/4192956 [pid=18672] ppid=18670 vsize=0 CPUtime=1798.02 /proc/18672/stat : 18672 (bsolo_pb10) R 18670 18672 18544 0 -1 4202500 233241 0 0 0 179444 358 0 0 25 0 1 0 12898237 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/18672/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.49 CPU time (s): 1798.1 CPU user time (s): 1794.44 CPU system time (s): 3.66144 CPU usage (%): 99.9785 Max. virtual memory (cumulated for all children) (KiB): 940512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.44 system time used= 3.66144 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 233241 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= 1338 runsolver used 2.79257 second user time and 8.66868 second system time The end
Begin job on node029 at 2010-06-16 21:20:28 IDJOB=2671043 IDBENCH=48238 IDSOLVER=1162 FILE ID=node029/2671043-1276716028 PBS_JOBID= 11174182 Free space on /tmp= 62576 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_2.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671043-1276716028/watcher-2671043-1276716028 -o /tmp/evaluation-result-2671043-1276716028/solver-2671043-1276716028 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671043-1276716028.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 219f407da86957d900e068170e9af8b6 RANDOM SEED=1550954367 node029.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.221 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.44 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.221 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1853900 kB Buffers: 25636 kB Cached: 99636 kB SwapCached: 7080 kB Active: 85608 kB Inactive: 53648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1853900 kB SwapTotal: 4192956 kB SwapFree: 4139272 kB Dirty: 4088 kB Writeback: 0 kB AnonPages: 11668 kB Mapped: 12972 kB Slab: 44212 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183148 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-2671043-1276716028.opb Free space on /tmp at the end= 62572 MiB End job on node029 at 2010-06-16 21:50:27