Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 7 | 1798.06 | 1798.55 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-saucier.r.opb |
MD5SUM | aa80468537d69826ea16800f352007ec |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 1336.36 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 6207 |
Total number of constraints | 171 |
Number of constraints which are clauses | 171 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5184 |
Number of terms in the objective function | 6207 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6207 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6207 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 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: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657547-1276591683.opb 0.00/0.00 c File size is 4472668 bytes. 0.69/0.72 c Highest Coefficient sum: 6207 0.69/0.72 c Parsing was ok!! 0.69/0.72 c Total parsing time: 0.721 s 0.69/0.72 c Var: 6207 Constr: 171 171/0/0 Lit: 500632 Watch. Lit: 342 0.69/0.72 c Obj. Vars: 6207 (100 % of total variables) 179.74/179.83 c Pre-processing Time: 179.783 s 179.74/179.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.74/179.83 c 0 6206 116 340256 2933 232 38 0 0 179.78 179.74/179.83 c Switching off lower bounding mode. 179.74/179.84 o 12 179.74/179.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.74/179.86 c 0 6206 117 346462 2961 6428 1038 1 0 179.80 179.74/179.86 o 11 179.74/179.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.74/179.88 c 5 6206 123 374028 3040 12635 1038 7 0 179.82 179.74/179.88 o 10 179.84/179.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.84/179.90 c 5 6206 124 380234 3066 18833 1038 8 0 179.84 179.84/179.90 o 9 190.54/190.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 190.54/190.67 c 7 6206 127 396481 3121 25036 1038 11 0 179.86 190.54/190.67 c 107 6206 227 747742 3294 25236 1142 111 0 180.51 190.54/190.67 c 361 6206 481 1648432 3427 25744 1257 365 1 182.21 190.54/190.67 c 836 6206 956 3147762 3292 26694 1383 840 4 183.60 190.54/190.67 c 1650 6206 809 2568530 3174 7815 1522 693 8 186.82 190.54/190.67 c 2970 6206 878 2695350 3069 7953 1675 762 15 190.61 190.54/190.67 o 8 1478.29/1478.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1478.29/1478.80 c 2970 6206 879 2701556 3073 14153 1038 763 15 190.63 1478.29/1478.80 c 3070 6206 979 3009156 3073 14353 1142 863 16 190.94 1478.29/1478.80 c 3320 6206 1229 3782913 3078 14853 1257 1113 17 191.63 1478.29/1478.80 c 3795 6206 746 2284553 3062 7690 1383 630 19 193.08 1478.29/1478.80 c 4608 6206 809 2475054 3059 7816 1522 693 23 195.61 1478.29/1478.80 c 5928 6206 878 2692608 3066 7954 1675 762 29 199.69 1478.29/1478.80 c 8009 6206 955 2950271 3089 8108 1843 839 38 206.28 1478.29/1478.80 c 11232 6206 1039 3183645 3064 8276 2028 923 52 215.69 1478.29/1478.80 c 16169 6206 1131 3471101 3069 8460 2231 1015 69 231.03 1478.29/1478.80 c 23675 6206 1817 5603559 3083 9832 2455 1701 92 254.76 1478.29/1478.80 c 35036 6206 1345 4171843 3101 8888 2701 1229 117 298.16 1478.29/1478.80 c 52182 6206 1468 4937398 3363 9134 2972 1352 80 648.83 1478.29/1478.80 c 78001 6206 1603 4662618 2908 9404 3270 1487 73 1067.74 1478.29/1478.80 o 7 1798.00/1798.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1798.00/1798.50 c 108353 6206 1752 6731612 3842 9703 1038 1636 73 1478.63 1798.00/1798.50 c 108455 6206 738 2695858 3652 7675 1142 622 73 1479.33 1798.00/1798.50 c 108705 6206 988 3474986 3517 8175 1257 872 73 1480.19 1798.00/1798.50 c 109180 6206 746 2129599 2854 7691 1383 630 73 1482.22 1798.00/1798.50 c 109993 6206 809 2152481 2660 7817 1522 693 74 1485.22 1798.00/1798.50 c 111313 6206 878 2297933 2617 7955 1675 762 74 1489.37 1798.00/1798.50 c 113395 6206 955 2626104 2749 8109 1843 839 75 1495.66 1798.00/1798.50 c 116618 6206 1039 2834637 2728 8277 2028 923 77 1506.71 1798.00/1798.50 c 121554 6206 1131 2941263 2600 8461 2231 1015 79 1523.01 1798.00/1798.50 c 129060 6206 1907 5492964 2880 10013 2455 1791 82 1561.77 1798.00/1798.50 c 140421 6206 1345 3584032 2664 8889 2701 1229 86 1615.15 1798.00/1798.50 c 157565 6206 1468 4021934 2739 9135 2972 1352 93 1682.61 1798.00/1798.50 c Resources Exceeded 1798.00/1798.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 1798.00/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.00/1798.51 c 34 165249 132784 10339508 1853 5472024 1737 91 1798.02 1798.00/1798.51 c Objective: 7 1798.00/1798.51 s SATISFIABLE 1798.00/1798.51 c Total time: 1798.02 s
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657547-1276591683/watcher-2657547-1276591683 -o /tmp/evaluation-result-2657547-1276591683/solver-2657547-1276591683 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657547-1276591683.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.03 1.26 1.10 3/106 8727 /proc/meminfo: memFree=1569152/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=23132 CPUtime=0 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 374 0 0 0 0 0 0 0 17 0 1 0 461110 23687168 292 1992294400 134512640 137138936 4291482176 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 5783 293 174 642 0 4047 0 [startup+0.062302 s] /proc/loadavg: 1.03 1.26 1.10 3/106 8727 /proc/meminfo: memFree=1569152/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=23748 CPUtime=0.06 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 623 0 0 0 6 0 0 0 17 0 1 0 461110 24317952 541 1992294400 134512640 137138936 4291482176 18446744073709551615 136660712 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 5937 541 257 642 0 4201 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 23748 [startup+0.101306 s] /proc/loadavg: 1.03 1.26 1.10 3/106 8727 /proc/meminfo: memFree=1569152/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=24092 CPUtime=0.09 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 764 0 0 0 9 0 0 0 17 0 1 0 461110 24670208 682 1992294400 134512640 137138936 4291482176 18446744073709551615 134517325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 6023 682 316 642 0 4287 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24092 [startup+0.301329 s] /proc/loadavg: 1.03 1.26 1.10 3/106 8727 /proc/meminfo: memFree=1569152/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=25872 CPUtime=0.29 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 1511 0 0 0 29 0 0 0 17 0 1 0 461110 26492928 1429 1992294400 134512640 137138936 4291482176 18446744073709551615 136525391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 6468 1429 618 642 0 4732 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25872 [startup+0.700377 s] /proc/loadavg: 1.03 1.26 1.10 3/106 8727 /proc/meminfo: memFree=1569152/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=21664 CPUtime=0.69 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 3014 0 0 0 69 0 0 0 17 0 1 0 461110 22183936 2932 1992294400 134512640 137138936 4291482176 18446744073709551615 134531572 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 5416 2932 1223 642 0 3680 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21664 [startup+1.50047 s] /proc/loadavg: 1.03 1.26 1.10 2/107 8728 /proc/meminfo: memFree=1553396/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=21196 CPUtime=1.49 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 5989 0 0 0 147 2 0 0 18 0 1 0 461110 21704704 2868 1992294400 134512640 137138936 4291482176 18446744073709551615 134532617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 5299 2868 185 642 0 4655 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21196 [startup+3.10066 s] /proc/loadavg: 1.03 1.26 1.10 2/107 8728 /proc/meminfo: memFree=1558108/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=21196 CPUtime=3.09 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 5989 0 0 0 307 2 0 0 21 0 1 0 461110 21704704 2868 1992294400 134512640 137138936 4291482176 18446744073709551615 134532597 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 5299 2868 185 642 0 4655 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21196 [startup+6.30104 s] /proc/loadavg: 1.03 1.26 1.10 2/107 8728 /proc/meminfo: memFree=1558108/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=21196 CPUtime=6.29 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 5989 0 0 0 627 2 0 0 25 0 1 0 461110 21704704 2868 1992294400 134512640 137138936 4291482176 18446744073709551615 134532602 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 5299 2868 185 642 0 4655 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21196 [startup+12.7008 s] /proc/loadavg: 1.03 1.25 1.10 2/107 8728 /proc/meminfo: memFree=1558108/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=21196 CPUtime=12.69 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 5989 0 0 0 1267 2 0 0 25 0 1 0 461110 21704704 2868 1992294400 134512640 137138936 4291482176 18446744073709551615 134532610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 5299 2868 185 642 0 4655 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21196 [startup+25.5013 s] /proc/loadavg: 1.02 1.24 1.10 2/107 8728 /proc/meminfo: memFree=1558108/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=21196 CPUtime=25.49 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 5989 0 0 0 2547 2 0 0 25 0 1 0 461110 21704704 2868 1992294400 134512640 137138936 4291482176 18446744073709551615 134532602 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 5299 2868 185 642 0 4655 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21196 [startup+51.1013 s] /proc/loadavg: 1.01 1.22 1.10 2/107 8730 /proc/meminfo: memFree=1557984/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=21196 CPUtime=51.08 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 5989 0 0 0 5106 2 0 0 25 0 1 0 461110 21704704 2868 1992294400 134512640 137138936 4291482176 18446744073709551615 134532576 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 5299 2868 185 642 0 4655 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21196 [startup+102.309 s] /proc/loadavg: 1.00 1.18 1.09 2/107 8730 /proc/meminfo: memFree=1557860/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=21196 CPUtime=102.27 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 5989 0 0 0 10225 2 0 0 25 0 1 0 461110 21704704 2868 1992294400 134512640 137138936 4291482176 18446744073709551615 134532584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 5299 2868 185 642 0 4655 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21196 [startup+162.302 s] /proc/loadavg: 1.00 1.15 1.08 2/107 8732 /proc/meminfo: memFree=1557736/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=21196 CPUtime=162.25 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 5989 0 0 0 16223 2 0 0 25 0 1 0 461110 21704704 2868 1992294400 134512640 137138936 4291482176 18446744073709551615 134532584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 5299 2868 185 642 0 4655 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 21196 [startup+222.301 s] /proc/loadavg: 1.00 1.12 1.08 2/107 8734 /proc/meminfo: memFree=1402984/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=175832 CPUtime=222.24 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 45911 0 0 0 22116 108 0 0 25 0 1 0 461110 180051968 41549 1992294400 134512640 137138936 4291482176 18446744073709551615 134603195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 43958 41549 191 642 0 43314 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 175832 [startup+282.301 s] /proc/loadavg: 1.00 1.09 1.07 2/107 8736 /proc/meminfo: memFree=1235832/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=342688 CPUtime=282.22 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 87615 0 0 0 27962 260 0 0 25 0 1 0 461110 350912512 83253 1992294400 134512640 137138936 4291482176 18446744073709551615 134542737 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 85672 83253 191 642 0 85028 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 342688 [startup+342.302 s] /proc/loadavg: 1.00 1.07 1.06 2/107 8738 /proc/meminfo: memFree=1235708/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=342688 CPUtime=342.2 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 87615 0 0 0 33952 268 0 0 25 0 1 0 461110 350912512 83253 1992294400 134512640 137138936 4291482176 18446744073709551615 136504479 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 85672 83253 191 642 0 85028 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 342688 [startup+402.302 s] /proc/loadavg: 1.00 1.06 1.06 2/107 8738 /proc/meminfo: memFree=1235584/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=342688 CPUtime=402.19 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 87615 0 0 0 39949 270 0 0 25 0 1 0 461110 350912512 83253 1992294400 134512640 137138936 4291482176 18446744073709551615 134575765 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 85672 83253 191 642 0 85028 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 342688 [startup+462.302 s] /proc/loadavg: 1.00 1.05 1.05 2/107 8740 /proc/meminfo: memFree=1194540/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=383812 CPUtime=462.17 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 98360 0 0 0 45939 278 0 0 25 0 1 0 461110 393023488 93529 1992294400 134512640 137138936 4291482176 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 95953 93529 191 642 0 95309 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 383812 [startup+522.301 s] /proc/loadavg: 1.00 1.03 1.05 2/107 8742 /proc/meminfo: memFree=1194416/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=383812 CPUtime=522.16 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 98360 0 0 0 51932 284 0 0 25 0 1 0 461110 393023488 93529 1992294400 134512640 137138936 4291482176 18446744073709551615 134575667 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 95953 93529 191 642 0 95309 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 383812 [startup+582.302 s] /proc/loadavg: 1.00 1.03 1.04 2/107 8744 /proc/meminfo: memFree=1194416/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=383812 CPUtime=582.14 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 98360 0 0 0 57923 291 0 0 25 0 1 0 461110 393023488 93529 1992294400 134512640 137138936 4291482176 18446744073709551615 134575900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 95953 93529 191 642 0 95309 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 383812 [startup+642.302 s] /proc/loadavg: 1.00 1.02 1.04 2/107 8746 /proc/meminfo: memFree=1194292/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=383588 CPUtime=642.13 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 98360 0 0 0 63917 296 0 0 25 0 1 0 461110 392794112 93489 1992294400 134512640 137138936 4291482176 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 95897 93489 191 642 0 95253 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 383588 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=1142212/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=435496 CPUtime=1061.99 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 116435 0 0 0 105853 346 0 0 25 0 1 0 461110 445947904 106451 1992294400 134512640 137138936 4291482176 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 108874 106451 191 642 0 108230 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 435496 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8767 /proc/meminfo: memFree=1142212/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=435496 CPUtime=1121.98 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 116435 0 0 0 111844 354 0 0 25 0 1 0 461110 445947904 106451 1992294400 134512640 137138936 4291482176 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 108874 106451 191 642 0 108230 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 435496 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8769 /proc/meminfo: memFree=1151512/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=425556 CPUtime=1181.96 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 116436 0 0 0 117840 356 0 0 25 0 1 0 461110 435769344 103981 1992294400 134512640 137138936 4291482176 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 106389 103981 191 642 0 105745 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 425556 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8771 /proc/meminfo: memFree=1143824/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=434312 CPUtime=1241.95 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 118848 0 0 0 123836 359 0 0 25 0 1 0 461110 444735488 106169 1992294400 134512640 137138936 4291482176 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 108578 106169 191 642 0 107934 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 434312 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8771 /proc/meminfo: memFree=1113816/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=463600 CPUtime=1301.94 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 129830 364 0 0 25 0 1 0 461110 474726400 113477 1992294400 134512640 137138936 4291482176 18446744073709551615 134575800 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 115900 113477 191 642 0 115256 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 463600 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8773 /proc/meminfo: memFree=1113816/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=463600 CPUtime=1361.92 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 135823 369 0 0 25 0 1 0 461110 474726400 113477 1992294400 134512640 137138936 4291482176 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 115900 113477 191 642 0 115256 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 463600 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8775 /proc/meminfo: memFree=1150272/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=426632 CPUtime=1421.91 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 141817 374 0 0 25 0 1 0 461110 436871168 104250 1992294400 134512640 137138936 4291482176 18446744073709551615 134618135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 106658 104250 191 642 0 106014 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 426632 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8777 /proc/meminfo: memFree=1150148/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=426632 CPUtime=1481.88 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 147808 380 0 0 25 0 1 0 461110 436871168 104250 1992294400 134512640 137138936 4291482176 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 106658 104250 191 642 0 106014 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 426632 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8779 /proc/meminfo: memFree=1164656/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=412288 CPUtime=1541.87 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 153706 481 0 0 25 0 1 0 461110 422182912 100664 1992294400 134512640 137138936 4291482176 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 103072 100664 191 642 0 102428 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 412288 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8779 /proc/meminfo: memFree=1164656/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=412288 CPUtime=1601.85 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 159661 524 0 0 25 0 1 0 461110 422182912 100664 1992294400 134512640 137138936 4291482176 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 103072 100664 191 642 0 102428 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 412288 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8781 /proc/meminfo: memFree=1164532/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=412288 CPUtime=1661.84 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 165438 746 0 0 25 0 1 0 461110 422182912 100664 1992294400 134512640 137138936 4291482176 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 103072 100664 191 642 0 102428 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 412288 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8783 /proc/meminfo: memFree=1164408/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=412288 CPUtime=1721.81 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 171375 806 0 0 25 0 1 0 461110 422182912 100664 1992294400 134512640 137138936 4291482176 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 103072 100664 191 642 0 102428 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 412288 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8785 /proc/meminfo: memFree=1164284/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=412288 CPUtime=1781.8 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 177372 808 0 0 25 0 1 0 461110 422182912 100664 1992294400 134512640 137138936 4291482176 18446744073709551615 134575807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 103072 100664 191 642 0 102428 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 412288 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 8785 /proc/meminfo: memFree=1164284/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=412288 CPUtime=1791.41 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 178331 810 0 0 25 0 1 0 461110 422182912 100664 1992294400 134512640 137138936 4291482176 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 103072 100664 191 642 0 102428 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 412288 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8785 /proc/meminfo: memFree=1164284/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=412288 CPUtime=1794.6 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 178650 810 0 0 25 0 1 0 461110 422182912 100664 1992294400 134512640 137138936 4291482176 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 103072 100664 191 642 0 102428 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 412288 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8785 /proc/meminfo: memFree=1164284/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=412288 CPUtime=1796.2 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 178809 811 0 0 25 0 1 0 461110 422182912 100664 1992294400 134512640 137138936 4291482176 18446744073709551615 134575629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 103072 100664 191 642 0 102428 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (KiB) 412288 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8785 /proc/meminfo: memFree=1164284/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=412288 CPUtime=1797 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 178889 811 0 0 25 0 1 0 461110 422182912 100664 1992294400 134512640 137138936 4291482176 18446744073709551615 134575602 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 103072 100664 191 642 0 102428 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 412288 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8785 /proc/meminfo: memFree=1164284/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=412288 CPUtime=1797.8 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 178969 811 0 0 25 0 1 0 461110 422182912 100664 1992294400 134512640 137138936 4291482176 18446744073709551615 134575747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 103072 100664 191 642 0 102428 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 412288 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 8785 /proc/meminfo: memFree=1164284/2059040 swapFree=4192956/4192956 [pid=8727] ppid=8725 vsize=412288 CPUtime=1798 /proc/8727/stat : 8727 (bsolo_pb10) R 8725 8727 2332 0 -1 4202496 126427 0 0 0 178989 811 0 0 25 0 1 0 461110 422182912 100664 1992294400 134512640 137138936 4291482176 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8727/statm: 103072 100664 191 642 0 102428 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 412288 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798.06 CPU user time (s): 1789.9 CPU system time (s): 8.15376 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 463600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.9 system time used= 8.15376 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 126428 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2683 runsolver used 2.71159 second user time and 8.75567 second system time The end
Begin job on node038 at 2010-06-15 10:48:03 IDJOB=2657547 IDBENCH=2850 IDSOLVER=1163 FILE ID=node038/2657547-1276591683 PBS_JOBID= 11172213 Free space on /tmp= 62472 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657547-1276591683/watcher-2657547-1276591683 -o /tmp/evaluation-result-2657547-1276591683/solver-2657547-1276591683 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657547-1276591683.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aa80468537d69826ea16800f352007ec RANDOM SEED=1605058824 node038.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.222 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.222 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: 1569804 kB Buffers: 37316 kB Cached: 326484 kB SwapCached: 0 kB Active: 181692 kB Inactive: 241524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1569804 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 8240 kB Writeback: 0 kB AnonPages: 59412 kB Mapped: 15336 kB Slab: 44192 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179808 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62468 MiB End job on node038 at 2010-06-15 11:18:02