Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB07: SAT4JPseudoResolution 2007-03-23 | SAT (TO) | 630323063039999996 | 1800.55 | 1794.79 |
| Name | /OPT-BIGINT-LIN/ heinz/normalized-sp98ic.opb |
| MD5SUM | 719fde9b23d3f6b632131842d6adb45e |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 622354759199999996 |
| Best CPU time to get the best result obtained on this benchmark | 1800.08 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10894 |
| Total number of constraints | 825 |
| Number of constraints which are clauses | 20 |
| Number of constraints which are cardinality constraints (but not clauses) | 624 |
| Number of constraints which are nor clauses,nor cardinality constraints | 181 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5038 |
| Number of terms in the objective function | 10894 |
| Biggest coefficient in the objective function | 172784353600000000 |
| Number of bits for the biggest coefficient in the objective function | 58 |
| Sum of the numbers in the objective function | 486507432685759999927 |
| Number of bits of the sum of numbers in the objective function | 69 |
| Biggest number in a constraint | 172784353600000000 |
| Number of bits of the biggest number in a constraint | 58 |
| Biggest sum of numbers in a constraint | 486507432685759999927 |
| Number of bits of the biggest sum of numbers | 69 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.04/0.07 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.04/0.07 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.04/0.08 c no version file found!!! 0.04/0.08 c sun.arch.data.model 64 0.04/0.08 c java.version 1.6.0_24 0.04/0.08 c os.name Linux 0.04/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.08 c os.arch amd64 0.04/0.08 c Free memory 1599470296 0.04/0.08 c Max memory 1607860224 0.04/0.08 c Total memory 1607860224 0.04/0.08 c Number of processors 8 0.09/0.10 --- Begin Solver configuration --- 0.09/0.10 c Stops conflict analysis at the first Unique Implication Point 0.09/0.10 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa 0.09/0.10 c Learn all clauses as in MiniSAT 0.09/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.10 c VSIDS like heuristics from MiniSAT using a heap 0.09/0.10 c No reason simplification 0.09/0.10 c --- End Solver configuration --- 0.09/0.10 c solving HOME/instance-3741587-1338745299.opb 0.09/0.10 c reading problem ... 1.33/0.89 c ... done. Wall clock time 0.787s. 1.33/0.89 c CPU time (experimental) 0.85s. 1.33/0.89 c #vars 10894 1.33/0.89 c #constraints 825 2.70/1.77 c SATISFIABLE 2.70/1.77 c OPTIMIZING... 2.70/1.77 c Got one! Elapsed wall clock time (in seconds):1.676 2.81/1.83 o 738615357599999997 3.57/2.54 c Got one! Elapsed wall clock time (in seconds):2.439 3.57/2.59 o 662708050079999997 4.38/3.27 c Got one! Elapsed wall clock time (in seconds):3.176 4.48/3.32 o 637596263519999995 5.08/3.96 c Got one! Elapsed wall clock time (in seconds):3.865 5.18/4.01 o 634188775199999996 5.78/4.67 c Got one! Elapsed wall clock time (in seconds):4.568 5.88/4.72 o 633524880959999996 6.48/5.36 c Got one! Elapsed wall clock time (in seconds):5.26 6.59/5.41 o 630323063039999996 1800.02/1794.71 c starts : 20 1800.02/1794.71 c conflicts : 44415 1800.02/1794.71 c decisions : 439426 1800.02/1794.71 c propagations : 33799537 1800.02/1794.71 c inspects : 761981904 1800.02/1794.71 c learnt literals : 0 1800.02/1794.71 c learnt binary clauses : 0 1800.02/1794.71 c learnt ternary clauses : 0 1800.02/1794.71 c learnt clauses : 44415 1800.02/1794.71 c root simplifications : 0 1800.02/1794.71 c removed literals (reason simplification) : 0 1800.02/1794.71 c reason swapping (by a shorter reason) : 0 1800.02/1794.71 c Calls to reduceDB : 0 1800.02/1794.71 c speed (decisions/second) : 245.59448344934202 1800.02/1794.71 c non guided choices 0 1800.02/1794.71 s SATISFIABLE 1800.02/1794.72 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 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 x9824 -x9825 -x9826 -x9827 x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 1800.02/1794.78 c objective function=630323063039999996 1800.02/1794.78 c Total wall clock time (ms): 1794.683
OK 630323063039999996
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741587-1338745299/watcher-3741587-1338745299 -o /tmp/evaluation-result-3741587-1338745299/solver-3741587-1338745299 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741587-1338745299.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 3/194 13050 /proc/meminfo: memFree=28812696/32873648 swapFree=7116/7116 [pid=13050] ppid=13048 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/13050/stat : 13050 (java) R 13048 13050 7854 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 340655346 278528 33 33554432000 1073741824 1073778376 140736163752608 140736640446280 214528257319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/13050/statm: 68 33 25 9 0 25 0 [startup+0.0638679 s] /proc/loadavg: 2.00 2.01 2.00 3/194 13050 /proc/meminfo: memFree=28812696/32873648 swapFree=7116/7116 [pid=13050] ppid=13048 vsize=2956804 CPUtime=0.04 cores=0,2,4,6 /proc/13050/stat : 13050 (java) S 13048 13050 7854 0 -1 4202496 4063 0 1 0 3 1 0 0 20 0 18 0 340655346 3027767296 5781 33554432000 1073741824 1073778376 140736163752608 140736163743744 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13050/statm: 739201 5781 1767 9 0 729885 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2956804 [startup+0.100209 s] /proc/loadavg: 2.00 2.01 2.00 3/194 13050 /proc/meminfo: memFree=28812696/32873648 swapFree=7116/7116 [pid=13050] ppid=13048 vsize=2957856 CPUtime=0.09 cores=0,2,4,6 /proc/13050/stat : 13050 (java) S 13048 13050 7854 0 -1 4202496 4910 0 1 0 8 1 0 0 20 0 18 0 340655346 3028844544 6616 33554432000 1073741824 1073778376 140736163752608 140736163743744 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13050/statm: 739464 6616 2127 9 0 729885 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2957856 [startup+0.300169 s] /proc/loadavg: 2.00 2.01 2.00 3/194 13050 /proc/meminfo: memFree=28812696/32873648 swapFree=7116/7116 [pid=13050] ppid=13048 vsize=2957856 CPUtime=0.49 cores=0,2,4,6 /proc/13050/stat : 13050 (java) S 13048 13050 7854 0 -1 4202496 6568 0 1 0 48 1 0 0 20 0 18 0 340655346 3028844544 11207 33554432000 1073741824 1073778376 140736163752608 140736163743744 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13050/statm: 739464 11207 2240 9 0 729885 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 2957856 [startup+0.700238 s] /proc/loadavg: 2.00 2.01 2.00 3/194 13050 /proc/meminfo: memFree=28812696/32873648 swapFree=7116/7116 [pid=13050] ppid=13048 vsize=2957856 CPUtime=1.22 cores=0,2,4,6 /proc/13050/stat : 13050 (java) S 13048 13050 7854 0 -1 4202496 12559 0 1 0 117 5 0 0 20 0 18 0 340655346 3028844544 51090 33554432000 1073741824 1073778376 140736163752608 140736163743744 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13050/statm: 739464 51090 2246 9 0 729885 0 Current children cumulated CPU time (s) 1.22 Current children cumulated vsize (KiB) 2957856 [startup+1.50067 s] /proc/loadavg: 2.00 2.01 2.00 4/212 13068 /proc/meminfo: memFree=28529640/32873648 swapFree=7116/7116 [pid=13050] ppid=13048 vsize=3024420 CPUtime=2.41 cores=0,2,4,6 /proc/13050/stat : 13050 (java) S 13048 13050 7854 0 -1 4202496 13402 0 1 0 234 7 0 0 20 0 19 0 340655346 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140736163743744 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13050/statm: 756105 83424 2276 9 0 746526 0 [pid=13050/tid=13052] ppid=13048 vsize=3024420 CPUtime=1.46 cores=0,2,4,6 /proc/13050/task/13052/stat : 13052 (java) R 13048 13050 7854 0 -1 4202560 3185 0 1 0 140 6 0 0 20 0 19 0 340655347 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289856771032 140289687762638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13053] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13053/stat : 13053 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289840204584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13054] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13054/stat : 13054 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289839151784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13055] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13055/stat : 13055 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289838099496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13056] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13056/stat : 13056 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289837046696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13057] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13057/stat : 13057 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289835993384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13058] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13058/stat : 13058 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289834940584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13059] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13059/stat : 13059 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289833888296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13060] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13060/stat : 13060 (java) S 13048 13050 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289832835496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13061] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13061/stat : 13061 (java) S 13048 13050 7854 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 340655349 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289820424936 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13062] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13062/stat : 13062 (java) S 13048 13050 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289819371000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13063] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13063/stat : 13063 (java) S 13048 13050 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289818318600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13064] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13064/stat : 13064 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289817267088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13065] ppid=13048 vsize=3024420 CPUtime=0.5 cores=0,2,4,6 /proc/13050/task/13065/stat : 13065 (java) R 13048 13050 7854 0 -1 4202560 4109 0 0 0 49 1 0 0 20 0 19 0 340655352 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289816213864 214537047198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13066] ppid=13048 vsize=3024420 CPUtime=0.4 cores=0,2,4,6 /proc/13050/task/13066/stat : 13066 (java) R 13048 13050 7854 0 -1 4202560 4908 0 0 0 39 1 0 0 20 0 19 0 340655352 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289815160888 140289859438999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13067] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13067/stat : 13067 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289814108792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13068] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13068/stat : 13068 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 83424 33554432000 1073741824 1073778376 140736163752608 140289813056200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.41 Current children cumulated vsize (KiB) 3024420 [startup+3.10068 s] /proc/loadavg: 2.00 2.01 2.00 3/213 13070 /proc/meminfo: memFree=28433212/32873648 swapFree=7116/7116 [pid=13050] ppid=13048 vsize=3024420 CPUtime=4.28 cores=0,2,4,6 /proc/13050/stat : 13050 (java) S 13048 13050 7854 0 -1 4202496 13564 0 1 0 416 12 0 0 20 0 19 0 340655346 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140736163743744 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13050/statm: 756105 121337 2291 9 0 746526 0 [pid=13050/tid=13052] ppid=13048 vsize=3024420 CPUtime=3.02 cores=0,2,4,6 /proc/13050/task/13052/stat : 13052 (java) R 13048 13050 7854 0 -1 4202560 3250 0 1 0 294 8 0 0 20 0 19 0 340655347 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289856777608 140289688511672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13053] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13053/stat : 13053 (java) S 13048 13050 7854 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289840204584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13054] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13054/stat : 13054 (java) S 13048 13050 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289839151784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13055] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13055/stat : 13055 (java) S 13048 13050 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289838099496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13056] ppid=13048 vsize=3024420 CPUtime=0.02 cores=0,2,4,6 /proc/13050/task/13056/stat : 13056 (java) S 13048 13050 7854 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 340655348 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289837046696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13057] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13057/stat : 13057 (java) S 13048 13050 7854 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289835993384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13058] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13058/stat : 13058 (java) S 13048 13050 7854 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289834940584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13059] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13059/stat : 13059 (java) S 13048 13050 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289833888296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13060] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13060/stat : 13060 (java) S 13048 13050 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289832835496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13061] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13061/stat : 13061 (java) S 13048 13050 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340655349 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289820424936 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13062] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13062/stat : 13062 (java) S 13048 13050 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289819371000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13063] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13063/stat : 13063 (java) S 13048 13050 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289818318600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13064] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13064/stat : 13064 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289817267088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13065] ppid=13048 vsize=3024420 CPUtime=0.6 cores=0,2,4,6 /proc/13050/task/13065/stat : 13065 (java) S 13048 13050 7854 0 -1 4202560 4121 0 0 0 59 1 0 0 20 0 19 0 340655352 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289816213688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13066] ppid=13048 vsize=3024420 CPUtime=0.49 cores=0,2,4,6 /proc/13050/task/13066/stat : 13066 (java) S 13048 13050 7854 0 -1 4202560 4908 0 0 0 47 2 0 0 20 0 19 0 340655352 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289815160888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13067] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13067/stat : 13067 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289814108792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13068] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13068/stat : 13068 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 121337 33554432000 1073741824 1073778376 140736163752608 140289813056200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.28 Current children cumulated vsize (KiB) 3024420 [startup+6.30068 s] /proc/loadavg: 2.08 2.03 2.00 3/212 13074 /proc/meminfo: memFree=28334668/32873648 swapFree=7116/7116 [pid=13050] ppid=13048 vsize=3024420 CPUtime=7.48 cores=0,2,4,6 /proc/13050/stat : 13050 (java) S 13048 13050 7854 0 -1 4202496 13582 0 1 0 735 13 0 0 20 0 19 0 340655346 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140736163743744 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13050/statm: 756105 121166 2294 9 0 746526 0 [pid=13050/tid=13052] ppid=13048 vsize=3024420 CPUtime=6.21 cores=0,2,4,6 /proc/13050/task/13052/stat : 13052 (java) R 13048 13050 7854 0 -1 4202560 3255 0 1 0 613 8 0 0 20 0 19 0 340655347 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289856776688 140289688482101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13053] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13053/stat : 13053 (java) S 13048 13050 7854 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289840204584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13054] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13054/stat : 13054 (java) S 13048 13050 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289839151784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13055] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13055/stat : 13055 (java) S 13048 13050 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289838099496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13056] ppid=13048 vsize=3024420 CPUtime=0.02 cores=0,2,4,6 /proc/13050/task/13056/stat : 13056 (java) S 13048 13050 7854 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 340655348 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289837046696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13057] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13057/stat : 13057 (java) S 13048 13050 7854 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289835993384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13058] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13058/stat : 13058 (java) S 13048 13050 7854 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289834940584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13059] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13059/stat : 13059 (java) S 13048 13050 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289833888296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13060] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13060/stat : 13060 (java) S 13048 13050 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340655348 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289832835496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13061] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13061/stat : 13061 (java) S 13048 13050 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340655349 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289820424936 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13062] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13062/stat : 13062 (java) S 13048 13050 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289819371000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13063] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13063/stat : 13063 (java) S 13048 13050 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289818318600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13064] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13064/stat : 13064 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289817267088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13065] ppid=13048 vsize=3024420 CPUtime=0.6 cores=0,2,4,6 /proc/13050/task/13065/stat : 13065 (java) S 13048 13050 7854 0 -1 4202560 4123 0 0 0 59 1 0 0 20 0 19 0 340655352 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289816213688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13066] ppid=13048 vsize=3024420 CPUtime=0.49 cores=0,2,4,6 /proc/13050/task/13066/stat : 13066 (java) S 13048 13050 7854 0 -1 4202560 4908 0 0 0 47 2 0 0 20 0 19 0 340655352 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289815160888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13067] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13067/stat : 13067 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289814108792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13068] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13068/stat : 13068 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 121166 33554432000 1073741824 1073778376 140736163752608 140289813056200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.48 Current children cumulated vsize (KiB) 3024420 [startup+12.7007 s] /proc/loadavg: 2.48 2.11 2.03 3/213 13075 /proc/meminfo: memFree=28291468/32873648 swapFree=7116/7116 [pid=13050] ppid=13048 vsize=3024420 CPUtime=14.05 cores=0,2,4,6 /proc/13050/stat : 13050 (java) S 13048 13050 7854 0 -1 4202496 13668 0 1 0 1386 19 0 0 20 0 19 0 340655346 3097006080 131923 33554432000 1073741824 1073778376 140736163752608 140736163743744 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13050/statm: 756105 131923 2294 9 0 746526 0 [pid=13050/tid=13052] ppid=13048 vsize=3024420 CPUtime=12.55 cores=0,2,4,6 ################ # More data... # ################ [pid=13050/tid=13058] ppid=13048 vsize=3024420 CPUtime=0.65 cores=0,2,4,6 /proc/13050/task/13058/stat : 13058 (java) S 13048 13050 7854 0 -1 4202560 79 0 0 0 60 5 0 0 20 0 19 0 340655348 3097006080 213924 33554432000 1073741824 1073778376 140736163752608 140289834940584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13059] ppid=13048 vsize=3024420 CPUtime=0.7 cores=0,2,4,6 /proc/13050/task/13059/stat : 13059 (java) S 13048 13050 7854 0 -1 4202560 79 0 0 0 65 5 0 0 20 0 19 0 340655348 3097006080 213924 33554432000 1073741824 1073778376 140736163752608 140289833888296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13060] ppid=13048 vsize=3024420 CPUtime=0.77 cores=0,2,4,6 /proc/13050/task/13060/stat : 13060 (java) S 13048 13050 7854 0 -1 4202560 93 0 0 0 71 6 0 0 20 0 19 0 340655348 3097006080 213924 33554432000 1073741824 1073778376 140736163752608 140289832835496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13061] ppid=13048 vsize=3024420 CPUtime=0.06 cores=0,2,4,6 /proc/13050/task/13061/stat : 13061 (java) S 13048 13050 7854 0 -1 4202560 106 0 0 0 2 4 0 0 20 0 19 0 340655349 3097006080 213924 33554432000 1073741824 1073778376 140736163752608 140289820424936 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13062] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13062/stat : 13062 (java) S 13048 13050 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 213924 33554432000 1073741824 1073778376 140736163752608 140289819371000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13063] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13063/stat : 13063 (java) S 13048 13050 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 213924 33554432000 1073741824 1073778376 140736163752608 140289818318600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13064] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13064/stat : 13064 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 213924 33554432000 1073741824 1073778376 140736163752608 140289817267088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13065] ppid=13048 vsize=3024420 CPUtime=0.64 cores=0,2,4,6 /proc/13050/task/13065/stat : 13065 (java) S 13048 13050 7854 0 -1 4202560 4131 0 0 0 63 1 0 0 20 0 19 0 340655352 3097006080 213924 33554432000 1073741824 1073778376 140736163752608 140289816213688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13066] ppid=13048 vsize=3024420 CPUtime=0.52 cores=0,2,4,6 /proc/13050/task/13066/stat : 13066 (java) S 13048 13050 7854 0 -1 4202560 4911 0 0 0 50 2 0 0 20 0 19 0 340655352 3097006080 213924 33554432000 1073741824 1073778376 140736163752608 140289815160888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13067] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13067/stat : 13067 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 213924 33554432000 1073741824 1073778376 140736163752608 140289814108792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13068] ppid=13048 vsize=3024420 CPUtime=0.57 cores=0,2,4,6 /proc/13050/task/13068/stat : 13068 (java) S 13048 13050 7854 0 -1 4202560 99 0 0 0 28 29 0 0 20 0 19 0 340655352 3097006080 213924 33554432000 1073741824 1073778376 140736163752608 140289813056200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13075] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13075/stat : 13075 (java) S 13048 13050 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340655894 3097006080 213924 33554432000 1073741824 1073778376 140736163752608 140289810855080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1727.47 Current children cumulated vsize (KiB) 3024420 [startup+1782.3 s] /proc/loadavg: 2.06 2.06 2.02 3/213 13236 /proc/meminfo: memFree=27675032/32873648 swapFree=7116/7116 [pid=13050] ppid=13048 vsize=3024420 CPUtime=1787.59 cores=0,2,4,6 /proc/13050/stat : 13050 (java) S 13048 13050 7854 0 -1 4202496 14686 0 1 0 178676 83 0 0 20 0 19 0 340655346 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140736163743744 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13050/statm: 756105 214437 2294 9 0 746526 0 [pid=13050/tid=13052] ppid=13048 vsize=3024420 CPUtime=1779.96 cores=0,2,4,6 /proc/13050/task/13052/stat : 13052 (java) R 13048 13050 7854 0 -1 4202560 3535 0 1 0 177957 39 0 0 20 0 19 0 340655347 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289856777344 140289688148451 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13053] ppid=13048 vsize=3024420 CPUtime=0.8 cores=0,2,4,6 /proc/13050/task/13053/stat : 13053 (java) S 13048 13050 7854 0 -1 4202560 120 0 0 0 73 7 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289840204584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13054] ppid=13048 vsize=3024420 CPUtime=0.72 cores=0,2,4,6 /proc/13050/task/13054/stat : 13054 (java) S 13048 13050 7854 0 -1 4202560 75 0 0 0 67 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289839151784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13055] ppid=13048 vsize=3024420 CPUtime=0.71 cores=0,2,4,6 /proc/13050/task/13055/stat : 13055 (java) S 13048 13050 7854 0 -1 4202560 79 0 0 0 68 3 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289838099496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13056] ppid=13048 vsize=3024420 CPUtime=0.76 cores=0,2,4,6 /proc/13050/task/13056/stat : 13056 (java) S 13048 13050 7854 0 -1 4202560 95 0 0 0 71 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289837046696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13057] ppid=13048 vsize=3024420 CPUtime=0.7 cores=0,2,4,6 /proc/13050/task/13057/stat : 13057 (java) S 13048 13050 7854 0 -1 4202560 69 0 0 0 65 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289835993384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13058] ppid=13048 vsize=3024420 CPUtime=0.67 cores=0,2,4,6 /proc/13050/task/13058/stat : 13058 (java) S 13048 13050 7854 0 -1 4202560 79 0 0 0 62 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289834940584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13059] ppid=13048 vsize=3024420 CPUtime=0.74 cores=0,2,4,6 /proc/13050/task/13059/stat : 13059 (java) S 13048 13050 7854 0 -1 4202560 80 0 0 0 69 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289833888296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13060] ppid=13048 vsize=3024420 CPUtime=0.79 cores=0,2,4,6 /proc/13050/task/13060/stat : 13060 (java) S 13048 13050 7854 0 -1 4202560 93 0 0 0 73 6 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289832835496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13061] ppid=13048 vsize=3024420 CPUtime=0.06 cores=0,2,4,6 /proc/13050/task/13061/stat : 13061 (java) S 13048 13050 7854 0 -1 4202560 110 0 0 0 2 4 0 0 20 0 19 0 340655349 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289820424936 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13062] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13062/stat : 13062 (java) S 13048 13050 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289819371000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13063] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13063/stat : 13063 (java) S 13048 13050 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289818318600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13064] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13064/stat : 13064 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289817267088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13065] ppid=13048 vsize=3024420 CPUtime=0.64 cores=0,2,4,6 /proc/13050/task/13065/stat : 13065 (java) S 13048 13050 7854 0 -1 4202560 4131 0 0 0 63 1 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289816213688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13066] ppid=13048 vsize=3024420 CPUtime=0.52 cores=0,2,4,6 /proc/13050/task/13066/stat : 13066 (java) S 13048 13050 7854 0 -1 4202560 4911 0 0 0 50 2 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289815160888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13067] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13067/stat : 13067 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289814108792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13068] ppid=13048 vsize=3024420 CPUtime=0.59 cores=0,2,4,6 /proc/13050/task/13068/stat : 13068 (java) S 13048 13050 7854 0 -1 4202560 103 0 0 0 30 29 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289813056200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13075] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13075/stat : 13075 (java) S 13048 13050 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340655894 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289810855080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1787.59 Current children cumulated vsize (KiB) 3024420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.7 s] /proc/loadavg: 2.05 2.06 2.02 3/213 13236 /proc/meminfo: memFree=27658528/32873648 swapFree=7116/7116 [pid=13050] ppid=13048 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6 /proc/13050/stat : 13050 (java) S 13048 13050 7854 0 -1 4202496 14688 0 1 0 179918 84 0 0 20 0 19 0 340655346 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140736163743744 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13050/statm: 756105 214437 2294 9 0 746526 0 [pid=13050/tid=13052] ppid=13048 vsize=3024420 CPUtime=1792.35 cores=0,2,4,6 /proc/13050/task/13052/stat : 13052 (java) R 13048 13050 7854 0 -1 4202560 3537 0 1 0 179196 39 0 0 20 0 19 0 340655347 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289856777440 140289688481051 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13053] ppid=13048 vsize=3024420 CPUtime=0.81 cores=0,2,4,6 /proc/13050/task/13053/stat : 13053 (java) S 13048 13050 7854 0 -1 4202560 120 0 0 0 74 7 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289840204584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13054] ppid=13048 vsize=3024420 CPUtime=0.72 cores=0,2,4,6 /proc/13050/task/13054/stat : 13054 (java) S 13048 13050 7854 0 -1 4202560 75 0 0 0 67 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289839151784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13055] ppid=13048 vsize=3024420 CPUtime=0.71 cores=0,2,4,6 /proc/13050/task/13055/stat : 13055 (java) S 13048 13050 7854 0 -1 4202560 79 0 0 0 68 3 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289838099496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13056] ppid=13048 vsize=3024420 CPUtime=0.77 cores=0,2,4,6 /proc/13050/task/13056/stat : 13056 (java) S 13048 13050 7854 0 -1 4202560 95 0 0 0 72 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289837046696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13057] ppid=13048 vsize=3024420 CPUtime=0.7 cores=0,2,4,6 /proc/13050/task/13057/stat : 13057 (java) S 13048 13050 7854 0 -1 4202560 69 0 0 0 65 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289835993384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13058] ppid=13048 vsize=3024420 CPUtime=0.67 cores=0,2,4,6 /proc/13050/task/13058/stat : 13058 (java) S 13048 13050 7854 0 -1 4202560 79 0 0 0 62 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289834940584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13059] ppid=13048 vsize=3024420 CPUtime=0.74 cores=0,2,4,6 /proc/13050/task/13059/stat : 13059 (java) S 13048 13050 7854 0 -1 4202560 80 0 0 0 69 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289833888296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13060] ppid=13048 vsize=3024420 CPUtime=0.79 cores=0,2,4,6 /proc/13050/task/13060/stat : 13060 (java) S 13048 13050 7854 0 -1 4202560 93 0 0 0 73 6 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289832835496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13061] ppid=13048 vsize=3024420 CPUtime=0.06 cores=0,2,4,6 /proc/13050/task/13061/stat : 13061 (java) S 13048 13050 7854 0 -1 4202560 110 0 0 0 2 4 0 0 20 0 19 0 340655349 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289820424936 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13062] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13062/stat : 13062 (java) S 13048 13050 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289819371000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13063] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13063/stat : 13063 (java) S 13048 13050 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289818318600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13064] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13064/stat : 13064 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289817267088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13065] ppid=13048 vsize=3024420 CPUtime=0.64 cores=0,2,4,6 /proc/13050/task/13065/stat : 13065 (java) S 13048 13050 7854 0 -1 4202560 4131 0 0 0 63 1 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289816213688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13066] ppid=13048 vsize=3024420 CPUtime=0.52 cores=0,2,4,6 /proc/13050/task/13066/stat : 13066 (java) S 13048 13050 7854 0 -1 4202560 4911 0 0 0 50 2 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289815160888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13067] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13067/stat : 13067 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289814108792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13068] ppid=13048 vsize=3024420 CPUtime=0.59 cores=0,2,4,6 /proc/13050/task/13068/stat : 13068 (java) S 13048 13050 7854 0 -1 4202560 103 0 0 0 30 29 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289813056200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13075] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13075/stat : 13075 (java) S 13048 13050 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340655894 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289810855080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 3024420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1794.7 s] /proc/loadavg: 2.05 2.06 2.02 3/213 13236 /proc/meminfo: memFree=27658528/32873648 swapFree=7116/7116 [pid=13050] ppid=13048 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6 /proc/13050/stat : 13050 (java) S 13048 13050 7854 0 -1 4202496 14688 0 1 0 179918 84 0 0 20 0 19 0 340655346 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140736163743744 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/13050/statm: 756105 214437 2294 9 0 746526 0 [pid=13050/tid=13052] ppid=13048 vsize=3024420 CPUtime=1792.35 cores=0,2,4,6 /proc/13050/task/13052/stat : 13052 (java) R 13048 13050 7854 0 -1 4202560 3537 0 1 0 179196 39 0 0 20 0 19 0 340655347 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289856777440 140289688481051 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13053] ppid=13048 vsize=3024420 CPUtime=0.81 cores=0,2,4,6 /proc/13050/task/13053/stat : 13053 (java) S 13048 13050 7854 0 -1 4202560 120 0 0 0 74 7 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289840204584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13054] ppid=13048 vsize=3024420 CPUtime=0.72 cores=0,2,4,6 /proc/13050/task/13054/stat : 13054 (java) S 13048 13050 7854 0 -1 4202560 75 0 0 0 67 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289839151784 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13055] ppid=13048 vsize=3024420 CPUtime=0.71 cores=0,2,4,6 /proc/13050/task/13055/stat : 13055 (java) S 13048 13050 7854 0 -1 4202560 79 0 0 0 68 3 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289838099496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13056] ppid=13048 vsize=3024420 CPUtime=0.77 cores=0,2,4,6 /proc/13050/task/13056/stat : 13056 (java) S 13048 13050 7854 0 -1 4202560 95 0 0 0 72 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289837046696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13057] ppid=13048 vsize=3024420 CPUtime=0.7 cores=0,2,4,6 /proc/13050/task/13057/stat : 13057 (java) S 13048 13050 7854 0 -1 4202560 69 0 0 0 65 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289835993384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13058] ppid=13048 vsize=3024420 CPUtime=0.67 cores=0,2,4,6 /proc/13050/task/13058/stat : 13058 (java) S 13048 13050 7854 0 -1 4202560 79 0 0 0 62 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289834940584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13059] ppid=13048 vsize=3024420 CPUtime=0.74 cores=0,2,4,6 /proc/13050/task/13059/stat : 13059 (java) S 13048 13050 7854 0 -1 4202560 80 0 0 0 69 5 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289833888296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13060] ppid=13048 vsize=3024420 CPUtime=0.79 cores=0,2,4,6 /proc/13050/task/13060/stat : 13060 (java) S 13048 13050 7854 0 -1 4202560 93 0 0 0 73 6 0 0 20 0 19 0 340655348 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289832835496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13061] ppid=13048 vsize=3024420 CPUtime=0.06 cores=0,2,4,6 /proc/13050/task/13061/stat : 13061 (java) S 13048 13050 7854 0 -1 4202560 110 0 0 0 2 4 0 0 20 0 19 0 340655349 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289820424936 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=13050/tid=13062] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13062/stat : 13062 (java) S 13048 13050 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289819371000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13063] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13063/stat : 13063 (java) S 13048 13050 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 340655350 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289818318600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13064] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13064/stat : 13064 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289817267088 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13065] ppid=13048 vsize=3024420 CPUtime=0.64 cores=0,2,4,6 /proc/13050/task/13065/stat : 13065 (java) S 13048 13050 7854 0 -1 4202560 4131 0 0 0 63 1 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289816213688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=13050/tid=13066] ppid=13048 vsize=3024420 CPUtime=0.52 cores=0,2,4,6 /proc/13050/task/13066/stat : 13066 (java) S 13048 13050 7854 0 -1 4202560 4911 0 0 0 50 2 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289815160888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13067] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13067/stat : 13067 (java) S 13048 13050 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289814108792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=13050/tid=13068] ppid=13048 vsize=3024420 CPUtime=0.59 cores=0,2,4,6 /proc/13050/task/13068/stat : 13068 (java) S 13048 13050 7854 0 -1 4202560 103 0 0 0 30 29 0 0 20 0 19 0 340655352 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289813056200 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=13050/tid=13075] ppid=13048 vsize=3024420 CPUtime=0 cores=0,2,4,6 /proc/13050/task/13075/stat : 13075 (java) S 13048 13050 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340655894 3097006080 214437 33554432000 1073741824 1073778376 140736163752608 140289810855080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 3024420 Child status: 143 Real time (s): 1794.79 CPU time (s): 1800.55 CPU user time (s): 1799.25 CPU system time (s): 1.3018 CPU usage (%): 100.321 Max. virtual memory (cumulated for all children) (KiB): 3024420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.25 system time used= 1.3018 maximum resident set size= 857860 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14718 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1784 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46121 involuntary context switches= 33854 runsolver used 6.17106 second user time and 14.6118 second system time The end
Begin job on node127 at 2012-06-03 19:41:39 IDJOB=3741587 IDBENCH=89881 IDSOLVER=2319 FILE ID=node127/3741587-1338745299 RUNJOBID= node127-1338713637-7870 PBS_JOBID= 14636737 Free space on /tmp= 70476 MiB SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23 BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-sp98ic.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741587-1338745299/watcher-3741587-1338745299 -o /tmp/evaluation-result-3741587-1338745299/solver-3741587-1338745299 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741587-1338745299.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 719fde9b23d3f6b632131842d6adb45e RANDOM SEED=1853444760 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28812588 kB Buffers: 409584 kB Cached: 1953560 kB SwapCached: 1428 kB Active: 1838312 kB Inactive: 1328920 kB Active(anon): 798304 kB Inactive(anon): 7952 kB Active(file): 1040008 kB Inactive(file): 1320968 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67104508 kB Dirty: 6640 kB Writeback: 0 kB AnonPages: 820276 kB Mapped: 18992 kB Shmem: 92 kB Slab: 746328 kB SReclaimable: 190452 kB SUnreclaim: 555876 kB KernelStack: 1608 kB PageTables: 5848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1826748 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 778240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70464 MiB End job on node127 at 2012-06-03 20:11:36