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-2670803-1276707659.opb
0.00/0.00	c File size is 484569 bytes.
0.04/0.08	c Highest Coefficient sum: 500
0.04/0.08	c Parsing was ok!!
0.04/0.08	c Total parsing time: 0.081 s
0.04/0.09	c Var: 6826 Constr: 13152 6826/0/6326 Lit: 44782 Watch. Lit: 32630
0.04/0.09	c Obj. Vars: 500 (7.32493 % of total variables)
0.29/0.31	c Pre-processing Time: 0.318 s
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c        0   6826    13152    44782    3    32630   40231      0      0 0.32
0.29/0.32	c Switching off lower bounding mode.
0.29/0.32	o 499
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0   6826    13153    45282    3    32633   40564      1      0 0.33
0.29/0.33	o 498
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0   6826    13154    45782    3    32637   41064      2      0 0.34
0.29/0.35	o 497
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c        0   6826    13155    46282    3    32642   41731      3      0 0.35
0.29/0.36	o 496
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c        0   6826    13156    46782    3    32648   42564      4      0 0.37
0.29/0.37	o 495
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c        0   6826    13157    47282    3    32655   43564      5      0 0.38
0.29/0.39	o 494
0.40/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.40/0.40	c        0   6826    13158    47782    3    32663   44564      6      0 0.39
0.40/0.40	o 493
0.40/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.40/0.42	c        0   6826    13159    48282    3    32672   45564      7      0 0.41
0.40/0.42	o 492
0.40/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.40/0.44	c        0   6826    13160    48782    3    32682   46564      8      0 0.43
0.40/0.44	o 491
0.40/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.40/0.46	c        1   6826    13162    49774    3    32695   46564     10      2 0.45
0.40/0.46	o 78
0.40/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.40/0.47	c        1   6826    13163    50274    3    33119   46564     11      2 0.46
0.40/0.47	o 76
1797.92/1798.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.58	c        1   6826    13164    50774    3    33545   46564     12      2 0.47
1797.92/1798.58	c      101   6826    13266    64113    4    33749   51221    114    171 0.59
1797.92/1798.58	c      352   6826    13521    93248    6    34259   56344    369    409 0.86
1797.92/1798.58	c      828   6826    14012   148111   10    35241   61979    860    616 1.34
1797.92/1798.58	c     1642   6826    14840   232748   15    36897   68177   1688    742 2.21
1797.92/1798.58	c     2963   6826    16231   415991   25    39679   74995   3079    780 3.79
1797.92/1798.58	c     5045   6826    18394   673651   36    44005   82495   5242    799 6.31
1797.92/1798.58	c     8268   6826    21725  1048382   48    50667   90745   8573    742 11.14
1797.92/1798.58	c    13204   6826    26923  1716541   63    61063   99820  13771    654 20.17
1797.92/1798.58	c    20711   6826    34544  2476415   71    77147  109803  21392    639 32.37
1797.92/1798.58	c    32073   6826    46406  4014686   86   100871  120784  33254    565 56.68
1797.92/1798.58	c    49218   6826    64795  7121756  109   138491  132863  51643    411 119.68
1797.92/1798.58	c    75037   6826    92034 10991604  119   194229  146150  78882    326 229.53
1797.92/1798.58	c   113869   6826   134021 18396739  137   280943  160766 120869    243 468.52
1797.92/1798.58	c   172223   6826    41789  3878530   92    91592  176843  28637    215 800.10
1797.92/1798.58	c   259855   6826   136201 17199781  126   280838  194528 123049    201 1286.55
1797.92/1798.58	c Resources Exceeded
1797.92/1798.58	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 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 x6434 -x6435 -x6436 -x6437 x6438 -x6439 -x6440 x6441 x6442 -x6443 -x6444 -x6445 -x6446 -x6447 x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 x6470 -x6471 -x6472 x6473 x6474 x6475 -x6476 -x6477 -x6478 -x6479 -x6480 x6481 x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 x6507 -x6508 -x6509 -x6510 -x6511 -x6512 x6513 x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 x6531 -x6532 x6533 x6534 -x6535 -x6536 -x6537 x6538 x6539 -x6540 x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 x6572 -x6573 -x6574 x6575 -x6576 -x6577 -x6578 -x6579 -x6580 x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 x6603 -x6604 -x6605 x6606 x6607 -x6608 -x6609 -x6610 -x6611 x6612 -x6613 -x6614 -x6615 x6616 -x6617 -x6618 -x6619 -x6620 -x6621 x6622 -x6623 x6624 -x6625 -x6626 -x6627 -x6628 x6629 -x6630 x6631 x6632 -x6633 -x6634 x6635 -x6636 -x6637 -x6638 -x6639 -x6640 x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 x6657 -x6658 -x6659 -x6660 -x6661 -x6662 x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 x6672 -x6673 -x6674 x6675 x6676 x6677 -x6678 -x6679 -x6680 -x6681 x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 x6714 -x6715 -x6716 x6717 -x6718 -x6719 -x6720 -x6721 -x6722 x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 x6732 -x6733 x6734 -x6735 x6736 x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 x6751 -x6752 -x6753 x6754 -x6755 -x6756 -x6757 -x6758 -x6759 x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 x6772 -x6773 -x6774 -x6775 -x6776 -x6777 x6778 -x6779 -x6780 -x6781 -x6782 -x6783 x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 x6806 -x6807 x6808 x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 
1797.92/1798.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.58	c   26   333197 120829   605310   213346 27002788 200194    185 1798.01
1797.92/1798.58	c Objective: 76
1797.92/1798.58	s SATISFIABLE
1797.92/1798.58	c Total time: 1798.01 s

OK	76

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670803-1276707659/watcher-2670803-1276707659 -o /tmp/evaluation-result-2670803-1276707659/solver-2670803-1276707659 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670803-1276707659.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 17650
/proc/meminfo: memFree=1759520/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=11416 CPUtime=0
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 370 0 0 0 0 0 0 0 20 0 1 0 12056844 11689984 288 1992294400 134512640 137138936 4289585968 18446744073709551615 134517643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 2854 288 175 642 0 2091 0

[startup+0.050415 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17650
/proc/meminfo: memFree=1759520/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=12396 CPUtime=0.04
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 680 0 0 0 4 0 0 0 20 0 1 0 12056844 12693504 598 1992294400 134512640 137138936 4289585968 18446744073709551615 134516221 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 3099 598 238 642 0 2336 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12396

[startup+0.101423 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17650
/proc/meminfo: memFree=1759520/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=13996 CPUtime=0.09
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 1245 0 0 0 9 0 0 0 20 0 1 0 12056844 14331904 1044 1992294400 134512640 137138936 4289585968 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 3499 1044 184 642 0 2855 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13996

[startup+0.301456 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17650
/proc/meminfo: memFree=1759520/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=14836 CPUtime=0.29
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 1450 0 0 0 28 1 0 0 20 0 1 0 12056844 15192064 1249 1992294400 134512640 137138936 4289585968 18446744073709551615 136500576 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 3709 1249 185 642 0 3065 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14836

[startup+0.701523 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17650
/proc/meminfo: memFree=1759520/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=14640 CPUtime=0.69
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 1740 0 0 0 67 2 0 0 20 0 1 0 12056844 14991360 1224 1992294400 134512640 137138936 4289585968 18446744073709551615 134543094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 3660 1224 192 642 0 3016 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14640

[startup+1.50066 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17651
/proc/meminfo: memFree=1755172/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=15876 CPUtime=1.49
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 2042 0 0 0 147 2 0 0 23 0 1 0 12056844 16257024 1526 1992294400 134512640 137138936 4289585968 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 3969 1526 192 642 0 3325 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15876

[startup+3.10093 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 17652
/proc/meminfo: memFree=1753056/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=18160 CPUtime=3.08
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 2626 0 0 0 305 3 0 0 25 0 1 0 12056844 18595840 2110 1992294400 134512640 137138936 4289585968 18446744073709551615 134542963 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17650/statm: 4540 2110 192 642 0 3896 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18160

[startup+6.30146 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17660
/proc/meminfo: memFree=1748228/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=22808 CPUtime=6.28
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 3785 0 0 0 624 4 0 0 25 0 1 0 12056844 23355392 3269 1992294400 134512640 137138936 4289585968 18446744073709551615 136506299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 5702 3269 192 642 0 5058 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22808

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17660
/proc/meminfo: memFree=1740540/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=29936 CPUtime=12.68
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 5573 0 0 0 1261 7 0 0 25 0 1 0 12056844 30654464 5057 1992294400 134512640 137138936 4289585968 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 7484 5057 192 642 0 6840 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29936

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17660
/proc/meminfo: memFree=1727892/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=42032 CPUtime=25.48
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 8592 0 0 0 2536 12 0 0 25 0 1 0 12056844 43040768 8076 1992294400 134512640 137138936 4289585968 18446744073709551615 134575186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 10508 8076 192 642 0 9864 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42032

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17660
/proc/meminfo: memFree=1705696/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=64424 CPUtime=51.06
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 14191 0 0 0 5087 19 0 0 25 0 1 0 12056844 65970176 13675 1992294400 134512640 137138936 4289585968 18446744073709551615 134606697 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 16106 13675 192 642 0 15462 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 64424

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17662
/proc/meminfo: memFree=1668868/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=100756 CPUtime=102.26
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 23278 0 0 0 10192 34 0 0 25 0 1 0 12056844 103174144 22762 1992294400 134512640 137138936 4289585968 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 25189 22762 192 642 0 24545 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 100756

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17664
/proc/meminfo: memFree=1635636/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=134256 CPUtime=162.23
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 31637 0 0 0 16175 48 0 0 25 0 1 0 12056844 137478144 31121 1992294400 134512640 137138936 4289585968 18446744073709551615 134604237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 33564 31121 192 642 0 32920 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 134256

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17666
/proc/meminfo: memFree=1608976/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=160492 CPUtime=222.21
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 38209 0 0 0 22161 60 0 0 25 0 1 0 12056844 164343808 37693 1992294400 134512640 137138936 4289585968 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 40123 37693 192 642 0 39479 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 160492

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17668
/proc/meminfo: memFree=1580084/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=189692 CPUtime=282.19
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 45497 0 0 0 28145 74 0 0 25 0 1 0 12056844 194244608 44981 1992294400 134512640 137138936 4289585968 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 47423 44981 192 642 0 46779 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 189692

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17668
/proc/meminfo: memFree=1551688/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=217844 CPUtime=342.17
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 52538 0 0 0 34133 84 0 0 25 0 1 0 12056844 223072256 52022 1992294400 134512640 137138936 4289585968 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 54461 52022 192 642 0 53817 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 217844

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17670
/proc/meminfo: memFree=1528996/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=240608 CPUtime=402.15
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 58239 0 0 0 40122 93 0 0 25 0 1 0 12056844 246382592 57723 1992294400 134512640 137138936 4289585968 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 60152 57723 192 642 0 59508 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 240608

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17672
/proc/meminfo: memFree=1508908/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=260336 CPUtime=462.13
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 63156 0 0 0 46111 102 0 0 25 0 1 0 12056844 266584064 62640 1992294400 134512640 137138936 4289585968 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 65084 62640 192 642 0 64440 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 260336

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17674
/proc/meminfo: memFree=1489812/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=279656 CPUtime=522.12
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 67987 0 0 0 52099 113 0 0 25 0 1 0 12056844 286367744 67471 1992294400 134512640 137138936 4289585968 18446744073709551615 134618138 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 69914 67471 192 642 0 69270 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 279656

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17676
/proc/meminfo: memFree=1472328/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=296836 CPUtime=582.1
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 72290 0 0 0 58089 121 0 0 25 0 1 0 12056844 303960064 71774 1992294400 134512640 137138936 4289585968 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 74209 71774 192 642 0 73565 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 296836

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17676
/proc/meminfo: memFree=1454596/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=314380 CPUtime=642.08
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 76685 0 0 0 64078 130 0 0 25 0 1 0 12056844 321925120 76169 1992294400 134512640 137138936 4289585968 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 78595 76169 192 642 0 77951 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 314380

[startup+702.301 s]

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

/proc/meminfo: memFree=1429548/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=338600 CPUtime=1121.93
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 82891 0 0 0 112007 186 0 0 25 0 1 0 12056844 346726400 82212 1992294400 134512640 137138936 4289585968 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 84650 82212 192 642 0 84006 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 338600

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17692
/proc/meminfo: memFree=1429548/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=338600 CPUtime=1181.9
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 82891 0 0 0 118000 190 0 0 25 0 1 0 12056844 346726400 82212 1992294400 134512640 137138936 4289585968 18446744073709551615 134607032 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 84650 82212 192 642 0 84006 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 338600

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17692
/proc/meminfo: memFree=1429424/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=338600 CPUtime=1241.89
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 82891 0 0 0 123995 194 0 0 25 0 1 0 12056844 346726400 82212 1992294400 134512640 137138936 4289585968 18446744073709551615 134578220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 84650 82212 192 642 0 84006 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 338600

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17694
/proc/meminfo: memFree=1429300/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=338600 CPUtime=1301.88
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 82891 0 0 0 129989 199 0 0 25 0 1 0 12056844 346726400 82212 1992294400 134512640 137138936 4289585968 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 84650 82212 192 642 0 84006 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 338600

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17696
/proc/meminfo: memFree=1429300/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=338600 CPUtime=1361.85
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 82891 0 0 0 135980 205 0 0 25 0 1 0 12056844 346726400 82212 1992294400 134512640 137138936 4289585968 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 84650 82212 192 642 0 84006 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 338600

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17698
/proc/meminfo: memFree=1429300/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=338600 CPUtime=1421.84
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 82891 0 0 0 141974 210 0 0 25 0 1 0 12056844 346726400 82212 1992294400 134512640 137138936 4289585968 18446744073709551615 136511090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 84650 82212 192 642 0 84006 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 338600

[startup+1482.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 17700
/proc/meminfo: memFree=1429300/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=338600 CPUtime=1481.82
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 82891 0 0 0 147967 215 0 0 25 0 1 0 12056844 346726400 82212 1992294400 134512640 137138936 4289585968 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 84650 82212 192 642 0 84006 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 338600

[startup+1542.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 17700
/proc/meminfo: memFree=1429300/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=338600 CPUtime=1541.79
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 82891 0 0 0 153960 219 0 0 25 0 1 0 12056844 346726400 82212 1992294400 134512640 137138936 4289585968 18446744073709551615 136500220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 84650 82212 192 642 0 84006 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 338600

[startup+1602.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 17702
/proc/meminfo: memFree=1429300/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=338624 CPUtime=1601.78
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 82897 0 0 0 159955 223 0 0 25 0 1 0 12056844 346750976 82218 1992294400 134512640 137138936 4289585968 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 84656 82218 192 642 0 84012 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 338624

[startup+1662.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 17704
/proc/meminfo: memFree=1421984/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=346524 CPUtime=1661.76
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 84882 0 0 0 165947 229 0 0 25 0 1 0 12056844 354840576 84203 1992294400 134512640 137138936 4289585968 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 86631 84203 192 642 0 85987 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 346524

[startup+1722.3 s]
/proc/loadavg: 1.36 1.11 1.02 2/107 17706
/proc/meminfo: memFree=1407724/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=360820 CPUtime=1721.73
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 88451 0 0 0 171938 235 0 0 25 0 1 0 12056844 369479680 87772 1992294400 134512640 137138936 4289585968 18446744073709551615 134544812 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 90205 87772 192 642 0 89561 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 360820

[startup+1782.3 s]
/proc/loadavg: 1.13 1.09 1.02 2/107 17708
/proc/meminfo: memFree=1391728/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=376504 CPUtime=1781.71
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 92380 0 0 0 177928 243 0 0 25 0 1 0 12056844 385540096 91701 1992294400 134512640 137138936 4289585968 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 94126 91701 192 642 0 93482 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 376504

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 1.11 1.08 1.02 2/107 17708
/proc/meminfo: memFree=1389124/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=379164 CPUtime=1791.32
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 93029 0 0 0 178888 244 0 0 25 0 1 0 12056844 388263936 92350 1992294400 134512640 137138936 4289585968 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 94791 92350 192 642 0 94147 0
Current children cumulated CPU time (s) 1791.32
Current children cumulated vsize (KiB) 379164

[startup+1795.1 s]
/proc/loadavg: 1.10 1.08 1.02 2/107 17708
/proc/meminfo: memFree=1388256/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=380000 CPUtime=1794.52
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 93238 0 0 0 179207 245 0 0 25 0 1 0 12056844 389120000 92559 1992294400 134512640 137138936 4289585968 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 95000 92559 192 642 0 94356 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (KiB) 380000

[startup+1796.7 s]
/proc/loadavg: 1.10 1.08 1.02 2/107 17708
/proc/meminfo: memFree=1388008/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=380432 CPUtime=1796.11
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 93345 0 0 0 179366 245 0 0 25 0 1 0 12056844 389562368 92666 1992294400 134512640 137138936 4289585968 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 95108 92666 192 642 0 94464 0
Current children cumulated CPU time (s) 1796.11
Current children cumulated vsize (KiB) 380432

[startup+1797.5 s]
/proc/loadavg: 1.10 1.08 1.02 2/107 17708
/proc/meminfo: memFree=1387636/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=380652 CPUtime=1796.91
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 93401 0 0 0 179446 245 0 0 25 0 1 0 12056844 389787648 92722 1992294400 134512640 137138936 4289585968 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 95163 92722 192 642 0 94519 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 380652

[startup+1798.3 s]
/proc/loadavg: 1.10 1.08 1.02 2/107 17708
/proc/meminfo: memFree=1387636/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=380764 CPUtime=1797.71
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 93435 0 0 0 179526 245 0 0 25 0 1 0 12056844 389902336 92756 1992294400 134512640 137138936 4289585968 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 95191 92756 192 642 0 94547 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (KiB) 380764

[startup+1798.51 s]
/proc/loadavg: 1.09 1.08 1.02 2/107 17708
/proc/meminfo: memFree=1387388/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=380928 CPUtime=1797.92
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202496 93468 0 0 0 179547 245 0 0 25 0 1 0 12056844 390070272 92789 1992294400 134512640 137138936 4289585968 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17650/statm: 95232 92789 192 642 0 94588 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 380928

[startup+1798.6 s]
/proc/loadavg: 1.09 1.08 1.02 2/107 17708
/proc/meminfo: memFree=1387388/2059040 swapFree=4168596/4192956
[pid=17650] ppid=17648 vsize=0 CPUtime=1798.02
/proc/17650/stat : 17650 (bsolo_pb10) R 17648 17650 16884 0 -1 4202500 93469 0 0 0 179555 247 0 0 25 0 1 0 12056844 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/17650/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.63
CPU time (s): 1798.04
CPU user time (s): 1795.55
CPU system time (s): 2.49462
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 380928

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

runsolver used 2.90456 second user time and 8.5537 second system time

The end

Begin job on node055 at 2010-06-16 19:00:59
IDJOB=2670803
IDBENCH=48118
IDSOLVER=1162
FILE ID=node055/2670803-1276707659
PBS_JOBID= 11174090
Free space on /tmp= 62480 MiB

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

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

MD5SUM BENCH= 7603a459a5769ea7e43f52c522eb87aa
RANDOM SEED=1858871494

node055.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.258
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.51
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.258
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1760916 kB
Buffers:         76980 kB
Cached:         117704 kB
SwapCached:       1504 kB
Active:          97400 kB
Inactive:       133996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1760916 kB
SwapTotal:     4192956 kB
SwapFree:      4168596 kB
Dirty:            4004 kB
Writeback:           0 kB
AnonPages:       35148 kB
Mapped:          15028 kB
Slab:            45000 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181716 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-2670803-1276707659.opb

Free space on /tmp at the end= 62476 MiB
End job on node055 at 2010-06-16 19:30:58