Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | SAT (TO) | 11847160 | 1800.32 | 1793.2 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran6x43.opb |
MD5SUM | 9dd7506c46c3c26c10ff03753daf5d0f |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 8904699 |
Best CPU time to get the best result obtained on this benchmark | 1800.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8442880 |
Optimality of the best value was proved | NO |
Number of variables | 7998 |
Total number of constraints | 307 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 307 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1290 |
Number of terms in the objective function | 7998 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1568780661323 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1568780661323 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100526 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.15 c Total memory 1395916800 0.08/0.15 c Number of processors 2 0.22/0.22 c Pseudo Boolean Optimization 0.22/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.22/0.22 c --- Begin Solver configuration --- 0.22/0.22 c Stops conflict analysis at the first Unique Implication Point 0.22/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@16fd0b7 0.22/0.22 c Learn all clauses as in MiniSAT 0.22/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.22/0.22 c No reason simplification 0.22/0.22 c Armin Biere (Picosat) restarts strategy 0.22/0.22 c Glucose learned constraints deletion strategy 0.22/0.22 c timeout=2147483s 0.22/0.22 c DB Simplification allowed=false 0.22/0.22 c --- End Solver configuration --- 0.22/0.22 c solving HOME/instance-2660628-1276518060.opb 0.22/0.22 c reading problem ... 1.43/0.99 c ... done. Wall clock time 0.76s. 1.43/0.99 c #vars 7998 1.43/0.99 c #constraints 4627 1.43/0.99 c constraints type 1.43/0.99 c org.sat4j.pb.constraints.pb.MaxWatchPb => 356 63.40/60.99 c SATISFIABLE 63.40/60.99 c OPTIMIZING... 63.40/60.99 c Got one! Elapsed wall clock time (in seconds):60.771 63.40/60.99 o 12196820 87.07/84.47 c Got one! Elapsed wall clock time (in seconds):84.258 87.07/84.47 o 11847160 378.89/375.05 c cleaning 0 clauses out of 5000 with flag 0/5000 1800.01/1793.02 c starts : 23 1800.01/1793.02 c conflicts : 10022 1800.01/1793.02 c decisions : 247037 1800.01/1793.02 c propagations : 980041 1800.01/1793.02 c inspects : 278660344 1800.01/1793.02 c learnt literals : 0 1800.01/1793.02 c learnt binary clauses : 0 1800.01/1793.02 c learnt ternary clauses : 0 1800.01/1793.02 c learnt clauses : 10022 1800.01/1793.02 c ignored clauses : 0 1800.01/1793.02 c root simplifications : 0 1800.01/1793.02 c removed literals (reason simplification) : 0 1800.01/1793.02 c reason swapping (by a shorter reason) : 0 1800.01/1793.02 c Calls to reduceDB : 1 1800.01/1793.02 c number of reductions to clauses (during analyze) : 0 1800.01/1793.02 c number of learned constraints concerned by reduction : 0 1800.01/1793.02 c number of learning phase by resolution : 0 1800.01/1793.02 c number of learning phase by cutting planes : 0 1800.01/1793.02 c speed (assignments/second) : 573.6198581228198 1800.01/1793.02 c non guided choices 39 1800.01/1793.05 c learnt constraints type 1800.01/1793.05 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 8 1800.01/1793.05 c org.sat4j.pb.constraints.pb.MaxWatchPb => 10014 1800.01/1793.05 c constraints type 1800.01/1793.05 c org.sat4j.pb.constraints.pb.MaxWatchPb => 357 1800.01/1793.05 s SATISFIABLE 1800.19/1793.11 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 1800.19/1793.14 c objective function=11847160 1800.19/1793.14 c Total wall clock time (in seconds): 1792.929
OK 11847160
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2660628-1276518060/watcher-2660628-1276518060 -o /tmp/evaluation-result-2660628-1276518060/solver-2660628-1276518060 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660628-1276518060.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28887 /proc/meminfo: memFree=1708920/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=444 CPUtime=0 /proc/28887/stat : 28887 (java6) R 28885 28887 28862 0 -1 4194304 129 0 0 0 0 0 0 0 19 0 1 0 27409859 454656 48 1992294400 134512640 134550932 4287978688 18446744073709551615 3887700 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28887/statm: 111 48 38 10 0 25 0 [startup+0.039346 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28887 /proc/meminfo: memFree=1708920/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=1520328 CPUtime=0.02 /proc/28887/stat : 28887 (java) S 28885 28887 28862 0 -1 4202496 3309 0 1 0 1 1 0 0 15 0 4 0 27409859 1556815872 2752 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 380082 2753 945 10 0 377392 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1520328 [startup+0.101345 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28887 /proc/meminfo: memFree=1708920/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=1524184 CPUtime=0.08 /proc/28887/stat : 28887 (java) S 28885 28887 28862 0 -1 4202496 3960 0 1 0 6 2 0 0 15 0 12 0 27409859 1560764416 3399 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 381046 3399 1076 10 0 378348 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524184 [startup+0.30034 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28887 /proc/meminfo: memFree=1708920/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=1526936 CPUtime=0.35 /proc/28887/stat : 28887 (java) S 28885 28887 28862 0 -1 4202496 5483 0 1 0 32 3 0 0 15 0 12 0 27409859 1563582464 4920 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 381734 4920 1363 10 0 379036 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1526936 [startup+0.700332 s] /proc/loadavg: 0.92 0.98 0.99 3/106 28887 /proc/meminfo: memFree=1708920/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=1533952 CPUtime=1.03 /proc/28887/stat : 28887 (java) S 28885 28887 28862 0 -1 4202496 8537 0 1 0 98 5 0 0 15 0 12 0 27409859 1570766848 7735 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 383488 7735 1405 10 0 380790 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 1533952 [startup+1.50131 s] /proc/loadavg: 1.01 1.00 1.00 5/118 28899 /proc/meminfo: memFree=1665364/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=1543492 CPUtime=2.61 /proc/28887/stat : 28887 (java) S 28885 28887 28862 0 -1 4202496 18819 0 1 0 252 9 0 0 15 0 13 0 27409859 1580535808 16083 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 385873 16083 1428 10 0 383175 0 [pid=28887/tid=28889] ppid=28885 vsize=1543492 CPUtime=1.02 /proc/28887/task/28889/stat : 28889 (java) R 28885 28887 28862 0 -1 4202560 10767 0 1 0 97 5 0 0 19 0 13 0 27409860 1580535808 16083 1992294400 134512640 134550932 4290343856 18446744073709551615 4109634901 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28887/tid=28890] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28890/stat : 28890 (java) S 28885 28887 28862 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 27409862 1580535808 16083 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28891] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28891/stat : 28891 (java) S 28885 28887 28862 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 27409862 1580535808 16083 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28892] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28892/stat : 28892 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 27409863 1580535808 16083 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28893] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28893/stat : 28893 (java) S 28885 28887 28862 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 13 0 27409864 1580535808 16083 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28894] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28894/stat : 28894 (java) S 28885 28887 28862 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 27409864 1580535808 16083 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28895] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28895/stat : 28895 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 27409868 1580535808 16083 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28896] ppid=28885 vsize=1543492 CPUtime=0.83 /proc/28887/task/28896/stat : 28896 (java) R 28885 28887 28862 0 -1 4202560 1968 0 0 0 82 1 0 0 16 0 13 0 27409868 1580535808 16083 1992294400 134512640 134550932 4290343856 18446744073709551615 104163906 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=28887/tid=28897] ppid=28885 vsize=1543492 CPUtime=0.73 /proc/28887/task/28897/stat : 28897 (java) S 28885 28887 28862 0 -1 4202560 5019 0 0 0 72 1 0 0 16 0 13 0 27409868 1580535808 16083 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28898] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28898/stat : 28898 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 27409868 1580535808 16083 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28899] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28899/stat : 28899 (java) R 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 13 0 27409868 1580535808 16083 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.61 Current children cumulated vsize (KiB) 1543492 [startup+3.10128 s] /proc/loadavg: 1.01 1.00 1.00 2/119 28900 /proc/meminfo: memFree=1602488/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=1543492 CPUtime=4.54 /proc/28887/stat : 28887 (java) S 28885 28887 28862 0 -1 4202496 42666 0 1 0 433 21 0 0 15 0 13 0 27409859 1580535808 39907 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 385873 39907 1440 10 0 383175 0 [pid=28887/tid=28889] ppid=28885 vsize=1543492 CPUtime=2.45 /proc/28887/task/28889/stat : 28889 (java) R 28885 28887 28862 0 -1 4202560 32067 0 1 0 230 15 0 0 21 0 13 0 27409860 1580535808 39907 1992294400 134512640 134550932 4290343856 18446744073709551615 4110315204 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28887/tid=28890] ppid=28885 vsize=1543492 CPUtime=0.04 /proc/28887/task/28890/stat : 28890 (java) S 28885 28887 28862 0 -1 4202560 1318 0 0 0 4 0 0 0 16 0 13 0 27409862 1580535808 39907 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28891] ppid=28885 vsize=1543492 CPUtime=0.04 /proc/28887/task/28891/stat : 28891 (java) S 28885 28887 28862 0 -1 4202560 1179 0 0 0 4 0 0 0 16 0 13 0 27409862 1580535808 39907 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28892] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28892/stat : 28892 (java) S 28885 28887 28862 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 13 0 27409863 1580535808 39907 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28893] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28893/stat : 28893 (java) S 28885 28887 28862 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27409864 1580535808 39907 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28894] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28894/stat : 28894 (java) S 28885 28887 28862 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 13 0 27409864 1580535808 39907 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28895] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28895/stat : 28895 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 27409868 1580535808 39907 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28896] ppid=28885 vsize=1543492 CPUtime=1.05 /proc/28887/task/28896/stat : 28896 (java) S 28885 28887 28862 0 -1 4202560 1986 0 0 0 104 1 0 0 15 0 13 0 27409868 1580535808 39907 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28897] ppid=28885 vsize=1543492 CPUtime=0.89 /proc/28887/task/28897/stat : 28897 (java) S 28885 28887 28862 0 -1 4202560 5036 0 0 0 88 1 0 0 16 0 13 0 27409868 1580535808 39907 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28898] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28898/stat : 28898 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 27409868 1580535808 39907 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28899] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28899/stat : 28899 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 27409868 1580535808 39907 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28900] ppid=28885 vsize=1543492 CPUtime=0 /proc/28887/task/28900/stat : 28900 (java) S 28885 28887 28862 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27410009 1580535808 39907 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.54 Current children cumulated vsize (KiB) 1543492 [startup+6.30194 s] /proc/loadavg: 1.01 1.00 1.00 2/119 28900 /proc/meminfo: memFree=1552640/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=1542056 CPUtime=8.08 /proc/28887/stat : 28887 (java) S 28885 28887 28862 0 -1 4202496 43152 0 1 0 786 22 0 0 15 0 13 0 27409859 1579065344 39844 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 385514 39844 1440 10 0 382816 0 [pid=28887/tid=28889] ppid=28885 vsize=1542056 CPUtime=5.49 /proc/28887/task/28889/stat : 28889 (java) R 28885 28887 28862 0 -1 4202560 32072 0 1 0 533 16 0 0 25 0 13 0 27409860 1579065344 39844 1992294400 134512640 134550932 4290343856 18446744073709551615 4109969832 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28887/tid=28890] ppid=28885 vsize=1542056 CPUtime=0.07 /proc/28887/task/28890/stat : 28890 (java) S 28885 28887 28862 0 -1 4202560 1448 0 0 0 7 0 0 0 16 0 13 0 27409862 1579065344 39844 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28891] ppid=28885 vsize=1542056 CPUtime=0.07 /proc/28887/task/28891/stat : 28891 (java) S 28885 28887 28862 0 -1 4202560 1302 0 0 0 7 0 0 0 15 0 13 0 27409862 1579065344 39844 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28892] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28892/stat : 28892 (java) S 28885 28887 28862 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 13 0 27409863 1579065344 39844 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28893] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28893/stat : 28893 (java) S 28885 28887 28862 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 39844 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28894] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28894/stat : 28894 (java) S 28885 28887 28862 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 39844 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28895] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28895/stat : 28895 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 27409868 1579065344 39844 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28896] ppid=28885 vsize=1542056 CPUtime=1.37 /proc/28887/task/28896/stat : 28896 (java) S 28885 28887 28862 0 -1 4202560 2197 0 0 0 136 1 0 0 15 0 13 0 27409868 1579065344 39844 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28897] ppid=28885 vsize=1542056 CPUtime=1.01 /proc/28887/task/28897/stat : 28897 (java) S 28885 28887 28862 0 -1 4202560 5045 0 0 0 100 1 0 0 16 0 13 0 27409868 1579065344 39844 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28898] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28898/stat : 28898 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 27409868 1579065344 39844 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28899] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28899/stat : 28899 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 27409868 1579065344 39844 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28900] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28900/stat : 28900 (java) S 28885 28887 28862 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27410009 1579065344 39844 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.08 Current children cumulated vsize (KiB) 1542056 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/119 28900 /proc/meminfo: memFree=1522384/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=1542056 CPUtime=14.55 /proc/28887/stat : 28887 (java) S 28885 28887 28862 0 -1 4202496 51242 0 1 0 1431 24 0 0 15 0 13 0 27409859 1579065344 47757 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 385514 47757 1440 10 0 382816 0 [pid=28887/tid=28889] ppid=28885 vsize=1542056 CPUtime=11.8 /proc/28887/task/28889/stat : 28889 (java) R 28885 28887 28862 0 -1 4202560 35772 0 1 0 1163 17 0 0 25 0 13 0 27409860 1579065344 47757 1992294400 134512640 134550932 4290343856 18446744073709551615 4109969716 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=28887/tid=28890] ppid=28885 vsize=1542056 CPUtime=0.14 /proc/28887/task/28890/stat : 28890 (java) S 28885 28887 28862 0 -1 4202560 3705 0 0 0 13 1 0 0 16 0 13 0 27409862 1579065344 47757 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28891] ppid=28885 vsize=1542056 CPUtime=0.14 /proc/28887/task/28891/stat : 28891 (java) S 28885 28887 28862 0 -1 4202560 3431 0 0 0 14 0 0 0 16 0 13 0 27409862 1579065344 47757 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28892] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28892/stat : 28892 (java) S 28885 28887 28862 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 13 0 27409863 1579065344 47757 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28893] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28893/stat : 28893 (java) S 28885 28887 28862 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 47757 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28894] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28894/stat : 28894 (java) S 28885 28887 28862 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 47757 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28895] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28895/stat : 28895 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 27409868 1579065344 47757 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28896] ppid=28885 vsize=1542056 CPUtime=1.38 /proc/28887/task/28896/stat : 28896 (java) S 28885 28887 28862 0 -1 4202560 2197 0 0 0 137 1 0 0 15 0 13 0 27409868 1579065344 47757 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28897] ppid=28885 vsize=1542056 CPUtime=1.03 /proc/28887/task/28897/stat : 28897 (java) S 28885 28887 28862 0 -1 4202560 5045 0 0 0 102 1 0 0 15 0 13 0 27409868 1579065344 47757 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28898] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28898/stat : 28898 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 27409868 1579065344 47757 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28899] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28899/stat : 28899 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 27409868 1579065344 47757 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28900] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28900/stat : 28900 (java) S 28885 28887 28862 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27410009 1579065344 47757 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 14.55 Current children cumulated vsize (KiB) 1542056 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/119 28900 /proc/meminfo: memFree=1517920/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=1542056 CPUtime=27.65 /proc/28887/stat : 28887 (java) S 28885 28887 28862 0 -1 4202496 52550 0 1 0 2740 25 0 0 15 0 13 0 27409859 1579065344 48978 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 385514 48978 1444 10 0 382816 0 [pid=28887/tid=28889] ppid=28885 vsize=1542056 CPUtime=24.54 /proc/28887/task/28889/stat : 28889 (java) R 28885 28887 28862 0 -1 4202560 35780 0 1 0 2437 17 0 0 25 0 13 0 27409860 1579065344 48978 1992294400 134512640 134550932 4290343856 18446744073709551615 4110129069 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=28887/tid=28890] ppid=28885 vsize=1542056 CPUtime=0.19 /proc/28887/task/28890/stat : 28890 (java) S 28885 28887 28862 0 -1 4202560 4364 0 0 0 17 2 0 0 16 0 13 0 27409862 1579065344 48978 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28891] ppid=28885 vsize=1542056 CPUtime=0.19 /proc/28887/task/28891/stat : 28891 (java) S 28885 28887 28862 0 -1 4202560 4037 0 0 0 18 1 0 0 16 0 13 0 27409862 1579065344 48978 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28892] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28892/stat : 28892 (java) S 28885 28887 28862 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 13 0 27409863 1579065344 48978 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28893] ppid=28885 vsize=1542056 CPUtime=0 ################ # More data... # ################ [pid=28887/tid=28893] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28893/stat : 28893 (java) S 28885 28887 28862 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 76801 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28894] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28894/stat : 28894 (java) S 28885 28887 28862 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 76801 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28895] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28895/stat : 28895 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 27409868 1579065344 76801 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28896] ppid=28885 vsize=1542056 CPUtime=2.03 /proc/28887/task/28896/stat : 28896 (java) S 28885 28887 28862 0 -1 4202560 2235 0 0 0 202 1 0 0 15 0 13 0 27409868 1579065344 76801 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28897] ppid=28885 vsize=1542056 CPUtime=1.7 /proc/28887/task/28897/stat : 28897 (java) S 28885 28887 28862 0 -1 4202560 5111 0 0 0 169 1 0 0 15 0 13 0 27409868 1579065344 76801 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28898] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28898/stat : 28898 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 27409868 1579065344 76801 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28899] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28899/stat : 28899 (java) S 28885 28887 28862 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 13 0 27409868 1579065344 76801 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28900] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28900/stat : 28900 (java) S 28885 28887 28862 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27410009 1579065344 76801 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1608.5 Current children cumulated vsize (KiB) 1542056 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 28944 /proc/meminfo: memFree=1401112/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=1542056 CPUtime=1668.88 /proc/28887/stat : 28887 (java) S 28885 28887 28862 0 -1 4202496 84594 0 1 0 166801 87 0 0 15 0 13 0 27409859 1579065344 77681 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 385514 77681 1450 10 0 382816 0 [pid=28887/tid=28889] ppid=28885 vsize=1542056 CPUtime=1655.55 /proc/28887/task/28889/stat : 28889 (java) R 28885 28887 28862 0 -1 4202560 36860 0 1 0 165505 50 0 0 25 0 13 0 27409860 1579065344 77681 1992294400 134512640 134550932 4290343856 18446744073709551615 4109969661 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28887/tid=28890] ppid=28885 vsize=1542056 CPUtime=4.5 /proc/28887/task/28890/stat : 28890 (java) S 28885 28887 28862 0 -1 4202560 19904 0 0 0 435 15 0 0 16 0 13 0 27409862 1579065344 77681 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28891] ppid=28885 vsize=1542056 CPUtime=4.51 /proc/28887/task/28891/stat : 28891 (java) S 28885 28887 28862 0 -1 4202560 19190 0 0 0 440 11 0 0 16 0 13 0 27409862 1579065344 77681 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28892] ppid=28885 vsize=1542056 CPUtime=0.39 /proc/28887/task/28892/stat : 28892 (java) S 28885 28887 28862 0 -1 4202560 125 0 0 0 36 3 0 0 15 0 13 0 27409863 1579065344 77681 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28893] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28893/stat : 28893 (java) S 28885 28887 28862 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 77681 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28894] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28894/stat : 28894 (java) S 28885 28887 28862 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 77681 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28895] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28895/stat : 28895 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 27409868 1579065344 77681 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28896] ppid=28885 vsize=1542056 CPUtime=2.06 /proc/28887/task/28896/stat : 28896 (java) S 28885 28887 28862 0 -1 4202560 2237 0 0 0 205 1 0 0 15 0 13 0 27409868 1579065344 77681 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28897] ppid=28885 vsize=1542056 CPUtime=1.78 /proc/28887/task/28897/stat : 28897 (java) S 28885 28887 28862 0 -1 4202560 5117 0 0 0 177 1 0 0 15 0 13 0 27409868 1579065344 77681 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28898] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28898/stat : 28898 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 27409868 1579065344 77681 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28899] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28899/stat : 28899 (java) S 28885 28887 28862 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 13 0 27409868 1579065344 77681 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28900] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28900/stat : 28900 (java) S 28885 28887 28862 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27410009 1579065344 77681 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1668.88 Current children cumulated vsize (KiB) 1542056 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/119 28946 /proc/meminfo: memFree=1392680/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=1542056 CPUtime=1729.19 /proc/28887/stat : 28887 (java) S 28885 28887 28862 0 -1 4202496 86919 0 1 0 172828 91 0 0 15 0 13 0 27409859 1579065344 79751 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 385514 79751 1450 10 0 382816 0 [pid=28887/tid=28889] ppid=28885 vsize=1542056 CPUtime=1715.16 /proc/28887/task/28889/stat : 28889 (java) R 28885 28887 28862 0 -1 4202560 36886 0 1 0 171464 52 0 0 25 0 13 0 27409860 1579065344 79751 1992294400 134512640 134550932 4290343856 18446744073709551615 4110052417 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28887/tid=28890] ppid=28885 vsize=1542056 CPUtime=4.85 /proc/28887/task/28890/stat : 28890 (java) S 28885 28887 28862 0 -1 4202560 21200 0 0 0 468 17 0 0 16 0 13 0 27409862 1579065344 79751 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28891] ppid=28885 vsize=1542056 CPUtime=4.85 /proc/28887/task/28891/stat : 28891 (java) S 28885 28887 28862 0 -1 4202560 20185 0 0 0 473 12 0 0 15 0 13 0 27409862 1579065344 79751 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28892] ppid=28885 vsize=1542056 CPUtime=0.41 /proc/28887/task/28892/stat : 28892 (java) S 28885 28887 28862 0 -1 4202560 129 0 0 0 37 4 0 0 15 0 13 0 27409863 1579065344 79751 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28893] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28893/stat : 28893 (java) S 28885 28887 28862 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 79751 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28894] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28894/stat : 28894 (java) S 28885 28887 28862 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 79751 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28895] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28895/stat : 28895 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 27409868 1579065344 79751 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28896] ppid=28885 vsize=1542056 CPUtime=2.06 /proc/28887/task/28896/stat : 28896 (java) S 28885 28887 28862 0 -1 4202560 2237 0 0 0 205 1 0 0 15 0 13 0 27409868 1579065344 79751 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28897] ppid=28885 vsize=1542056 CPUtime=1.78 /proc/28887/task/28897/stat : 28897 (java) S 28885 28887 28862 0 -1 4202560 5117 0 0 0 177 1 0 0 15 0 13 0 27409868 1579065344 79751 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28898] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28898/stat : 28898 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 27409868 1579065344 79751 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28899] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28899/stat : 28899 (java) S 28885 28887 28862 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 27409868 1579065344 79751 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28900] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28900/stat : 28900 (java) S 28885 28887 28862 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27410009 1579065344 79751 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1729.19 Current children cumulated vsize (KiB) 1542056 [startup+1782.3 s] /proc/loadavg: 1.07 1.02 1.00 2/119 28946 /proc/meminfo: memFree=1386976/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=1542056 CPUtime=1789.27 /proc/28887/stat : 28887 (java) S 28885 28887 28862 0 -1 4202496 88436 0 1 0 178833 94 0 0 15 0 13 0 27409859 1579065344 81128 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 385514 81128 1450 10 0 382816 0 [pid=28887/tid=28889] ppid=28885 vsize=1542056 CPUtime=1775.02 /proc/28887/task/28889/stat : 28889 (java) R 28885 28887 28862 0 -1 4202560 36900 0 1 0 177449 53 0 0 25 0 13 0 27409860 1579065344 81128 1992294400 134512640 134550932 4290343856 18446744073709551615 4110098018 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28887/tid=28890] ppid=28885 vsize=1542056 CPUtime=4.95 /proc/28887/task/28890/stat : 28890 (java) S 28885 28887 28862 0 -1 4202560 22016 0 0 0 478 17 0 0 15 0 13 0 27409862 1579065344 81128 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28891] ppid=28885 vsize=1542056 CPUtime=4.96 /proc/28887/task/28891/stat : 28891 (java) S 28885 28887 28862 0 -1 4202560 20868 0 0 0 483 13 0 0 16 0 13 0 27409862 1579065344 81128 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28892] ppid=28885 vsize=1542056 CPUtime=0.41 /proc/28887/task/28892/stat : 28892 (java) S 28885 28887 28862 0 -1 4202560 131 0 0 0 37 4 0 0 15 0 13 0 27409863 1579065344 81128 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28893] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28893/stat : 28893 (java) S 28885 28887 28862 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 81128 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28894] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28894/stat : 28894 (java) S 28885 28887 28862 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 81128 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28895] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28895/stat : 28895 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 27409868 1579065344 81128 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28896] ppid=28885 vsize=1542056 CPUtime=2.06 /proc/28887/task/28896/stat : 28896 (java) S 28885 28887 28862 0 -1 4202560 2237 0 0 0 205 1 0 0 15 0 13 0 27409868 1579065344 81128 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28897] ppid=28885 vsize=1542056 CPUtime=1.78 /proc/28887/task/28897/stat : 28897 (java) S 28885 28887 28862 0 -1 4202560 5117 0 0 0 177 1 0 0 15 0 13 0 27409868 1579065344 81128 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28898] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28898/stat : 28898 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 27409868 1579065344 81128 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28899] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28899/stat : 28899 (java) S 28885 28887 28862 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 13 0 27409868 1579065344 81128 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28900] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28900/stat : 28900 (java) S 28885 28887 28862 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27410009 1579065344 81128 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1789.27 Current children cumulated vsize (KiB) 1542056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.01 s] /proc/loadavg: 1.13 1.03 1.01 2/119 28948 /proc/meminfo: memFree=1386232/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=1542056 CPUtime=1800.01 /proc/28887/stat : 28887 (java) S 28885 28887 28862 0 -1 4202496 88716 0 1 0 179906 95 0 0 15 0 13 0 27409859 1579065344 81359 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 385514 81359 1450 10 0 382816 0 [pid=28887/tid=28889] ppid=28885 vsize=1542056 CPUtime=1785.72 /proc/28887/task/28889/stat : 28889 (java) R 28885 28887 28862 0 -1 4202560 36903 0 1 0 178518 54 0 0 25 0 13 0 27409860 1579065344 81359 1992294400 134512640 134550932 4290343856 18446744073709551615 4109969661 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28887/tid=28890] ppid=28885 vsize=1542056 CPUtime=4.98 /proc/28887/task/28890/stat : 28890 (java) S 28885 28887 28862 0 -1 4202560 22174 0 0 0 480 18 0 0 16 0 13 0 27409862 1579065344 81359 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28891] ppid=28885 vsize=1542056 CPUtime=4.98 /proc/28887/task/28891/stat : 28891 (java) S 28885 28887 28862 0 -1 4202560 20983 0 0 0 485 13 0 0 15 0 13 0 27409862 1579065344 81359 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28892] ppid=28885 vsize=1542056 CPUtime=0.41 /proc/28887/task/28892/stat : 28892 (java) S 28885 28887 28862 0 -1 4202560 133 0 0 0 37 4 0 0 15 0 13 0 27409863 1579065344 81359 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 0 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28893] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28893/stat : 28893 (java) S 28885 28887 28862 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 81359 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28894] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28894/stat : 28894 (java) S 28885 28887 28862 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 13 0 27409864 1579065344 81359 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28895] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28895/stat : 28895 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 27409868 1579065344 81359 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28896] ppid=28885 vsize=1542056 CPUtime=2.06 /proc/28887/task/28896/stat : 28896 (java) S 28885 28887 28862 0 -1 4202560 2237 0 0 0 205 1 0 0 15 0 13 0 27409868 1579065344 81359 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 [pid=28887/tid=28897] ppid=28885 vsize=1542056 CPUtime=1.78 /proc/28887/task/28897/stat : 28897 (java) S 28885 28887 28862 0 -1 4202560 5117 0 0 0 177 1 0 0 15 0 13 0 27409868 1579065344 81359 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28898] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28898/stat : 28898 (java) S 28885 28887 28862 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 27409868 1579065344 81359 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28899] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28899/stat : 28899 (java) S 28885 28887 28862 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 27409868 1579065344 81359 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 0 0 0 0 [pid=28887/tid=28900] ppid=28885 vsize=1542056 CPUtime=0 /proc/28887/task/28900/stat : 28900 (java) S 28885 28887 28862 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 27410009 1579065344 81359 1992294400 134512640 134550932 4290343856 18446744073709551615 4294960144 0 4 0 16800975 18446604437857593472 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1542056 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1793.2 s] /proc/loadavg: 1.13 1.03 1.01 2/119 28948 /proc/meminfo: memFree=1386232/2059040 swapFree=4140388/4192956 [pid=28887] ppid=28885 vsize=0 CPUtime=1800.31 /proc/28887/stat : 28887 (java) Z 28885 28887 28862 0 -1 4203548 88740 0 1 0 179933 98 0 0 15 0 2 0 27409859 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28887/statm: 0 0 0 0 0 0 0 [pid=28887/tid=28898] ppid=28885 vsize=0 CPUtime=0.03 /proc/28887/task/28898/stat : 28898 (java) R 28885 28887 28862 0 -1 4203588 1 0 0 0 0 3 0 0 18 0 2 0 27409868 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1793.2 CPU time (s): 1800.32 CPU user time (s): 1799.33 CPU system time (s): 0.987849 CPU usage (%): 100.397 Max. virtual memory (cumulated for all children) (KiB): 1545864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 0.987849 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 88740 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 43649 involuntary context switches= 47753 runsolver used 4.04638 second user time and 9.40557 second system time The end
Begin job on node004 at 2010-06-14 14:21:00 IDJOB=2660628 IDBENCH=2282 IDSOLVER=1165 FILE ID=node004/2660628-1276518060 PBS_JOBID= 11173439 Free space on /tmp= 62548 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2660628-1276518060/watcher-2660628-1276518060 -o /tmp/evaluation-result-2660628-1276518060/solver-2660628-1276518060 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2660628-1276518060.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9dd7506c46c3c26c10ff03753daf5d0f RANDOM SEED=1653896519 node004.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1709440 kB Buffers: 123132 kB Cached: 143772 kB SwapCached: 6684 kB Active: 103172 kB Inactive: 177208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1709440 kB SwapTotal: 4192956 kB SwapFree: 4140388 kB Dirty: 980 kB Writeback: 0 kB AnonPages: 11204 kB Mapped: 12860 kB Slab: 47444 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180828 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62548 MiB End job on node004 at 2010-06-14 14:50:55