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-2670863-1276709524.opb
0.00/0.00	c File size is 460397 bytes.
0.00/0.08	c Highest Coefficient sum: 200
0.00/0.08	c Parsing was ok!!
0.00/0.08	c Total parsing time: 0.079 s
0.00/0.08	c Var: 6426 Constr: 12652 6426/0/6226 Lit: 43782 Watch. Lit: 31530
0.00/0.08	c Obj. Vars: 200 (3.11236 % of total variables)
0.49/0.53	c Pre-processing Time: 0.528 s
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c        0   6426    12652    43782    3    31530   39497      0      0 0.53
0.49/0.53	c Switching off lower bounding mode.
0.49/0.53	o 199
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c        0   6426    12653    43982    3    31533   39631      1      0 0.54
0.49/0.54	o 198
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        0   6426    12654    44182    3    31537   39831      2      0 0.54
0.49/0.55	o 197
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c        0   6426    12655    44382    3    31542   40097      3      0 0.55
0.49/0.55	o 196
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c        1   6426    12657    44779    3    31550   40164      5      1 0.56
0.49/0.56	o 16
38.28/38.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.28/38.38	c        1   6426    12658    44979    3    31736   40831      6      1 0.57
38.28/38.38	c      101   6426    12766    61550    4    31952   44915    114    154 0.65
38.28/38.38	c      351   6426    13029    90576    6    32838   49407    377    401 0.87
38.28/38.38	c      826   6426    13537   167092   12    33911   54348    885    649 1.27
38.28/38.38	c     1640   6426    14425   307750   21    35867   59783   1773    779 2.10
38.28/38.38	c     2960   6426    15840   589832   37    39388   65762   3188    793 3.73
38.28/38.38	c     5042   6426    18040   921796   51    44148   72339   5388    716 7.04
38.28/38.38	c     8265   6426    21478  1464266   68    51562   79573   8826    607 13.60
38.28/38.38	c    13203   6426    26761  2323034   86    63054   87531  14109    475 27.79
38.28/38.38	o 15
983.56/983.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
983.56/983.96	c    16591   6426    30423  3012266   99    71687   40831  17771    432 38.37
983.56/983.96	c    16691   6426    30524  3026328   99    71889   44915  17872    430 38.80
983.56/983.96	c    16943   6426    30786  3065402   99    72594   49407  18134    426 39.70
983.56/983.96	c    17419   6426    31292  3135357  100    73606   54348  18640    424 41.07
983.56/983.96	c    18232   6426    32191  3257833  101    75404   59783  19539    422 43.12
983.56/983.96	c    19552   6426    33625  3481534  103    78272   65762  20973    413 47.30
983.56/983.96	c    21633   6426    35868  3770464  105    83302   72339  23216    395 54.72
983.56/983.96	c    24857   6426    39271  4272330  108    90600   79573  26619    368 67.51
983.56/983.96	c    29794   6426    44599  5176347  116   101847   87531  31947    336 88.53
983.56/983.96	c    37301   6426    52687  6435144  122   118731   96285  40035    287 129.76
983.56/983.96	c    48662   6426    65036  9089816  139   146926  105914  52384    239 203.39
983.56/983.96	c    65807   6426    83760 14097624  168   195480  116506  71108    194 339.12
983.56/983.96	c    91626   6426   112019 21617887  192   261330  128157  99367    136 669.53
983.56/983.96	o 14
1797.98/1798.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.62	c   110908   6426   132699 27420799  206   311109   40831 120047    112 983.63
1797.98/1798.62	c   111009   6426    26180  3787734  144    64595   44915  13528    110 1000.86
1797.98/1798.62	c   111260   6426    26460  3861668  145    65505   49407  13808    111 1002.01
1797.98/1798.62	c   111735   6426    26976  3999732  148    66537   54348  14324    111 1004.20
1797.98/1798.62	c   112548   6426    27846  4207653  151    68442   59783  15194    111 1007.12
1797.98/1798.62	c   113869   6426    29267  4398929  150    71328   65762  16615    112 1012.28
1797.98/1798.62	c   115950   6426    31543  4780016  151    76701   72339  18891    113 1021.03
1797.98/1798.62	c   119177   6426    34969  5128541  146    83895   79573  22317    115 1034.57
1797.98/1798.62	c   124114   6426    40196  5785509  143    94705   87531  27544    116 1062.54
1797.98/1798.62	c   131620   6426    48306  6965317  144   112266   96285  35654    119 1102.29
1797.98/1798.62	c   142982   6426    60629 10083943  166   143404  105914  47977    120 1190.65
1797.98/1798.62	c   160126   6426    79631 16755049  210   197903  116506  66979    115 1384.31
1797.98/1798.62	c Resources Exceeded
1797.98/1798.62	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 -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 
1797.98/1798.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.62	c   38   185730  57940   313676   108817 27680874  96165    103 1798.01
1797.98/1798.62	c Objective: 14
1797.98/1798.62	s SATISFIABLE
1797.98/1798.62	c Total time: 1798.01 s

OK	14

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670863-1276709524/watcher-2670863-1276709524 -o /tmp/evaluation-result-2670863-1276709524/solver-2670863-1276709524 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670863-1276709524.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 18436
/proc/meminfo: memFree=1693540/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=11392 CPUtime=0
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 12244763 11665408 290 1992294400 134512640 137138936 4291074320 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 2848 290 175 642 0 2091 0

[startup+0.0882409 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 18436
/proc/meminfo: memFree=1693540/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=13820 CPUtime=0.08
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 1207 0 0 0 8 0 0 0 20 0 1 0 12244763 14151680 1012 1992294400 134512640 137138936 4291074320 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 3455 1012 184 642 0 2811 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13820

[startup+0.101243 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 18436
/proc/meminfo: memFree=1693540/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=13820 CPUtime=0.09
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 1207 0 0 0 9 0 0 0 20 0 1 0 12244763 14151680 1012 1992294400 134512640 137138936 4291074320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 3455 1012 184 642 0 2811 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13820

[startup+0.301279 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 18436
/proc/meminfo: memFree=1693540/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=13820 CPUtime=0.29
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 1207 0 0 0 29 0 0 0 20 0 1 0 12244763 14151680 1012 1992294400 134512640 137138936 4291074320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 3455 1012 184 642 0 2811 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13820

[startup+0.701351 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 18436
/proc/meminfo: memFree=1693540/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=14388 CPUtime=0.69
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 1658 0 0 0 66 3 0 0 20 0 1 0 12244763 14733312 1156 1992294400 134512640 137138936 4291074320 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 3597 1156 192 642 0 2953 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14388

[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18437
/proc/meminfo: memFree=1689192/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=16380 CPUtime=1.49
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 2156 0 0 0 146 3 0 0 22 0 1 0 12244763 16773120 1654 1992294400 134512640 137138936 4291074320 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 4095 1654 192 642 0 3451 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16380

[startup+3.10179 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18437
/proc/meminfo: memFree=1686216/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=20124 CPUtime=3.1
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 3104 0 0 0 306 4 0 0 25 0 1 0 12244763 20606976 2602 1992294400 134512640 137138936 4291074320 18446744073709551615 134551897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 5031 2602 192 642 0 4387 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 20124

[startup+6.30137 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18437
/proc/meminfo: memFree=1680016/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=25044 CPUtime=6.29
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 4337 0 0 0 624 5 0 0 25 0 1 0 12244763 25645056 3835 1992294400 134512640 137138936 4291074320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 6261 3835 192 642 0 5617 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25044

[startup+12.7015 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 18442
/proc/meminfo: memFree=1671212/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=32328 CPUtime=12.69
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 6142 0 0 0 1262 7 0 0 25 0 1 0 12244763 33103872 5640 1992294400 134512640 137138936 4291074320 18446744073709551615 136504452 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 8082 5640 192 642 0 7438 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32328

[startup+25.5009 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 18442
/proc/meminfo: memFree=1660300/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=43252 CPUtime=25.48
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 8861 0 0 0 2538 10 0 0 25 0 1 0 12244763 44290048 8359 1992294400 134512640 137138936 4291074320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 10813 8359 192 642 0 10169 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43252

[startup+51.1005 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 18442
/proc/meminfo: memFree=1641328/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=62244 CPUtime=51.08
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 13635 0 0 0 5091 17 0 0 25 0 1 0 12244763 63737856 13133 1992294400 134512640 137138936 4291074320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 15561 13133 192 642 0 14917 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 62244

[startup+102.309 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 18444
/proc/meminfo: memFree=1613676/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=89620 CPUtime=102.26
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 20464 0 0 0 10198 28 0 0 25 0 1 0 12244763 91770880 19962 1992294400 134512640 137138936 4291074320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 22405 19962 192 642 0 21761 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 89620

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18446
/proc/meminfo: memFree=1586272/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=117116 CPUtime=162.23
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 27349 0 0 0 16185 38 0 0 25 0 1 0 12244763 119926784 26847 1992294400 134512640 137138936 4291074320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 29279 26847 192 642 0 28635 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 117116

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18446
/proc/meminfo: memFree=1556636/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=146608 CPUtime=222.21
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 34712 0 0 0 22174 47 0 0 25 0 1 0 12244763 150126592 34210 1992294400 134512640 137138936 4291074320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 36652 34210 192 642 0 36008 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 146608

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18448
/proc/meminfo: memFree=1524024/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=179216 CPUtime=282.2
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 42876 0 0 0 28163 57 0 0 25 0 1 0 12244763 183517184 42374 1992294400 134512640 137138936 4291074320 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 44804 42374 192 642 0 44160 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 179216

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18450
/proc/meminfo: memFree=1500340/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=202636 CPUtime=342.17
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 48725 0 0 0 34153 64 0 0 25 0 1 0 12244763 207499264 48223 1992294400 134512640 137138936 4291074320 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 50659 48223 192 642 0 50015 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 202636

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18452
/proc/meminfo: memFree=1477896/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=225152 CPUtime=402.15
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 54367 0 0 0 40145 70 0 0 25 0 1 0 12244763 230555648 53865 1992294400 134512640 137138936 4291074320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 56288 53865 192 642 0 55644 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 225152

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18454
/proc/meminfo: memFree=1460784/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=241992 CPUtime=462.13
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 58575 0 0 0 46137 76 0 0 25 0 1 0 12244763 247799808 58073 1992294400 134512640 137138936 4291074320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 60498 58073 192 642 0 59854 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 241992

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18454
/proc/meminfo: memFree=1443796/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=259192 CPUtime=522.11
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 62862 0 0 0 52129 82 0 0 25 0 1 0 12244763 265412608 62360 1992294400 134512640 137138936 4291074320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 64798 62360 192 642 0 64154 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 259192

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18456
/proc/meminfo: memFree=1426684/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=276096 CPUtime=582.1
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 67098 0 0 0 58122 88 0 0 25 0 1 0 12244763 282722304 66596 1992294400 134512640 137138936 4291074320 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 69024 66596 192 642 0 68380 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 276096

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18458
/proc/meminfo: memFree=1409572/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=293012 CPUtime=642.08
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 71316 0 0 0 64116 92 0 0 25 0 1 0 12244763 300044288 70814 1992294400 134512640 137138936 4291074320 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 73253 70814 192 642 0 72609 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 293012

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=1324756/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1121.92
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92450 0 0 0 112055 137 0 0 25 0 1 0 12244763 386109440 91830 1992294400 134512640 137138936 4291074320 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91830 192 642 0 93621 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 377060

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18472
/proc/meminfo: memFree=1324632/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1181.9
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92450 0 0 0 118049 141 0 0 25 0 1 0 12244763 386109440 91830 1992294400 134512640 137138936 4291074320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91830 192 642 0 93621 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 377060

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18474
/proc/meminfo: memFree=1324508/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1241.88
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92450 0 0 0 124044 144 0 0 25 0 1 0 12244763 386109440 91830 1992294400 134512640 137138936 4291074320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91830 192 642 0 93621 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 377060

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18476
/proc/meminfo: memFree=1324384/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1301.86
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92450 0 0 0 130039 147 0 0 25 0 1 0 12244763 386109440 91830 1992294400 134512640 137138936 4291074320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91830 192 642 0 93621 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 377060

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18478
/proc/meminfo: memFree=1324384/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1361.83
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92450 0 0 0 136032 151 0 0 25 0 1 0 12244763 386109440 91830 1992294400 134512640 137138936 4291074320 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91830 192 642 0 93621 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 377060

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18478
/proc/meminfo: memFree=1324384/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1421.82
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92450 0 0 0 142028 154 0 0 25 0 1 0 12244763 386109440 91830 1992294400 134512640 137138936 4291074320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91830 192 642 0 93621 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 377060

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18480
/proc/meminfo: memFree=1324384/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1481.79
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92450 0 0 0 148021 158 0 0 25 0 1 0 12244763 386109440 91830 1992294400 134512640 137138936 4291074320 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91830 192 642 0 93621 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 377060

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18482
/proc/meminfo: memFree=1324384/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1541.77
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92450 0 0 0 154017 160 0 0 25 0 1 0 12244763 386109440 91830 1992294400 134512640 137138936 4291074320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91830 192 642 0 93621 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 377060

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18484
/proc/meminfo: memFree=1324384/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1601.75
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92450 0 0 0 160014 161 0 0 25 0 1 0 12244763 386109440 91830 1992294400 134512640 137138936 4291074320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91830 192 642 0 93621 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 377060

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18486
/proc/meminfo: memFree=1324384/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1661.73
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92450 0 0 0 166010 163 0 0 25 0 1 0 12244763 386109440 91830 1992294400 134512640 137138936 4291074320 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91830 192 642 0 93621 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 377060

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18486
/proc/meminfo: memFree=1324384/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1721.71
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92450 0 0 0 172007 164 0 0 25 0 1 0 12244763 386109440 91830 1992294400 134512640 137138936 4291074320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91830 192 642 0 93621 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 377060

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18497
/proc/meminfo: memFree=1323640/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1781.69
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92450 0 0 0 178003 166 0 0 25 0 1 0 12244763 386109440 91830 1992294400 134512640 137138936 4291074320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91830 192 642 0 93621 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 377060

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 18497
/proc/meminfo: memFree=1323640/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1791.28
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92450 0 0 0 178962 166 0 0 25 0 1 0 12244763 386109440 91830 1992294400 134512640 137138936 4291074320 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91830 192 642 0 93621 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 377060

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18497
/proc/meminfo: memFree=1323640/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377060 CPUtime=1794.48
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92451 0 0 0 179282 166 0 0 25 0 1 0 12244763 386109440 91831 1992294400 134512640 137138936 4291074320 18446744073709551615 134542363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94265 91831 192 642 0 93621 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 377060

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18497
/proc/meminfo: memFree=1323640/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377488 CPUtime=1796.07
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92552 0 0 0 179441 166 0 0 25 0 1 0 12244763 386547712 91932 1992294400 134512640 137138936 4291074320 18446744073709551615 134542280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94372 91932 192 642 0 93728 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 377488

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18497
/proc/meminfo: memFree=1323392/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=377756 CPUtime=1796.88
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92616 0 0 0 179521 167 0 0 25 0 1 0 12244763 386822144 91996 1992294400 134512640 137138936 4291074320 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94439 91996 192 642 0 93795 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 377756

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18497
/proc/meminfo: memFree=1323392/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=378032 CPUtime=1797.68
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92675 0 0 0 179601 167 0 0 25 0 1 0 12244763 387104768 92055 1992294400 134512640 137138936 4291074320 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94508 92055 192 642 0 93864 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 378032

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18497
/proc/meminfo: memFree=1323020/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=378032 CPUtime=1797.89
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92686 0 0 0 179622 167 0 0 25 0 1 0 12244763 387104768 92066 1992294400 134512640 137138936 4291074320 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94508 92066 192 642 0 93864 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 378032

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18497
/proc/meminfo: memFree=1323020/2059040 swapFree=4192956/4192956
[pid=18436] ppid=18434 vsize=378032 CPUtime=1797.98
/proc/18436/stat : 18436 (bsolo_pb10) R 18434 18436 17561 0 -1 4202496 92693 0 0 0 179631 167 0 0 25 0 1 0 12244763 387104768 92073 1992294400 134512640 137138936 4291074320 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18436/statm: 94508 92073 192 642 0 93864 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 378032

Child status: 0
Real time (s): 1798.66
CPU time (s): 1798.05
CPU user time (s): 1796.34
CPU system time (s): 1.71174
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 378032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.34
system time used= 1.71174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92696
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= 5877

runsolver used 2.81557 second user time and 8.64468 second system time

The end

Begin job on node044 at 2010-06-16 19:32:04
IDJOB=2670863
IDBENCH=48148
IDSOLVER=1162
FILE ID=node044/2670863-1276709524
PBS_JOBID= 11174099
Free space on /tmp= 62588 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670863-1276709524/watcher-2670863-1276709524 -o /tmp/evaluation-result-2670863-1276709524/solver-2670863-1276709524 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670863-1276709524.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e
RANDOM SEED=188146239

node044.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.266
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.53
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.266
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:       1694688 kB
Buffers:         86740 kB
Cached:         149184 kB
SwapCached:          0 kB
Active:         128276 kB
Inactive:       167132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1694688 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4028 kB
Writeback:           0 kB
AnonPages:       59428 kB
Mapped:          15364 kB
Slab:            47148 kB
PageTables:       3944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180204 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-2670863-1276709524.opb

Free space on /tmp at the end= 62584 MiB
End job on node044 at 2010-06-16 20:02:03