| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB Resolution 2.2.1 | MSAT (TO) | 1800.31 | 1843.86 |
| Name | /PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo |
| MD5SUM | baac82f1e5c2363a05a67929a02d4991 |
| Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 60112 |
| Best CPU time to get the best result obtained on this benchmark | 1800.31 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 9502 |
| Total number of constraints | 1168253 |
| Number of soft constraints | 1168001 |
| Number of constraints which are clauses | 1168001 |
| Number of constraints which are cardinality constraints (but not clauses) | 252 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 44 |
| Top cost | 939023 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 296009396 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version 2.2.1.v20100705 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.08 c java.vm.version 11.2-b01 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 32 0.00/0.08 c java.version 1.6.0_12 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch i386 0.00/0.08 c Free memory 1393557488 0.00/0.08 c Max memory 1395916800 0.00/0.08 c Total memory 1395916800 0.00/0.08 c Number of processors 8 0.00/0.10 c Pseudo Boolean Optimization 0.00/0.10 c --- Begin Solver configuration --- 0.00/0.10 c Stops conflict analysis at the first Unique Implication Point 0.00/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.00/0.10 c Learn all clauses as in MiniSAT 0.00/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.00/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.00/0.10 c Expensive reason simplification 0.00/0.10 c Armin Biere (Picosat) restarts strategy 0.00/0.10 c Glucose learned constraints deletion strategy 0.00/0.10 c timeout=2147483s 0.00/0.10 c DB Simplification allowed=false 0.00/0.10 c --- End Solver configuration --- 0.00/0.10 c solving HOME/instance-2701850-1278541998.wbo 0.00/0.10 c reading problem ... 20.70/8.36 c ... done. Wall clock time 8.258s. 20.70/8.36 c #vars 1177503 20.70/8.36 c #constraints 1168506 20.70/8.36 c constraints type 20.70/8.36 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1134923 20.70/8.36 c org.sat4j.minisat.constraints.card.MinWatchCard => 252 20.70/8.36 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 33330 20.70/8.36 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1117.79/1103.92 c SATISFIABLE 1117.79/1103.92 c OPTIMIZING... 1117.79/1103.92 c Got one! Elapsed wall clock time (in seconds):1103.816 1117.79/1103.92 o 66959 1800.03/1843.71 c starts : 6 1800.03/1843.71 c conflicts : 501 1800.03/1843.71 c decisions : 13768813 1800.03/1843.71 c propagations : 13967329 1800.03/1843.71 c inspects : 1442310 1800.03/1843.71 c learnt literals : 0 1800.03/1843.71 c learnt binary clauses : 0 1800.03/1843.71 c learnt ternary clauses : 0 1800.03/1843.71 c learnt clauses : 501 1800.03/1843.71 c ignored clauses : 0 1800.03/1843.71 c root simplifications : 0 1800.03/1843.71 c removed literals (reason simplification) : 7 1800.03/1843.71 c reason swapping (by a shorter reason) : 0 1800.03/1843.71 c Calls to reduceDB : 0 1800.03/1843.71 c number of reductions to clauses (during analyze) : 0 1800.03/1843.71 c number of learned constraints concerned by reduction : 0 1800.03/1843.71 c number of learning phase by resolution : 0 1800.03/1843.71 c number of learning phase by cutting planes : 0 1800.03/1843.71 c speed (assignments/second) : 18925.22766782245 1800.03/1843.71 c non guided choices 22 1800.03/1843.71 c learnt constraints type 1800.03/1843.71 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 501 1800.03/1843.71 c constraints type 1800.03/1843.71 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1134923 1800.03/1843.71 c org.sat4j.minisat.constraints.card.MinWatchCard => 252 1800.03/1843.71 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 33330 1800.03/1843.71 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.03/1843.71 s SATISFIABLE 1800.03/1843.72 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x3880 -x3881 -x3882 -x3883 -x3884 -x3885 x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 x3960 -x3961 x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 x4106 -x4107 -x4108 -x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 x4186 -x4187 -x4188 x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 x4234 -x4235 -x4236 -x4237 x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 x4578 x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4873 -x4874 -x4875 -x4876 -x4877 x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 x5223 -x5224 -x5225 -x5226 -x5227 -x5228 x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 x5308 x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 x5431 -x5432 -x5433 -x5434 x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 x5509 -x5510 -x5511 -x5512 x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 x5928 x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 x6331 -x6332 -x6333 -x6334 -x6335 x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 x6821 -x6822 x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 x7329 -x7330 -x7331 -x7332 x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 -x7983 x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 x8100 -x8101 -x8102 -x8103 -x8104 x8105 -x8106 -x8107 -x8108 -x8109 -x8110 x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 x8239 -x8240 -x8241 -x8242 -x8243 x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 x8452 x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 x9016 -x9017 -x9018 -x9019 x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 1800.03/1843.77 c objective function=66959 1800.03/1843.77 c Total wall clock time (in seconds): 1843.665
OK 60112
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701850-1278541998/watcher-2701850-1278541998 -o /tmp/evaluation-result-2701850-1278541998/solver-2701850-1278541998 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701850-1278541998.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.75 2.58 2.32 3/178 21503 /proc/meminfo: memFree=29640672/32950928 swapFree=67111528/67111528 [pid=21503] ppid=21501 vsize=13164 CPUtime=0 /proc/21503/stat : 21503 (java) R 21501 21503 19054 0 -1 4194304 770 0 0 0 0 0 0 0 17 0 1 0 22413445 13479936 342 4089446400 134512640 134550932 4293217440 18446744073709551615 6092421 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/21503/statm: 3291 347 141 10 0 1121 0 [startup+0.106364 s] /proc/loadavg: 2.75 2.58 2.32 3/178 21503 /proc/meminfo: memFree=29640672/32950928 swapFree=67111528/67111528 [pid=21503] ppid=21501 vsize=1529604 CPUtime=0.12 /proc/21503/stat : 21503 (java) S 21501 21503 19054 0 -1 4202496 5198 0 1 0 10 2 0 0 17 0 18 0 22413445 1566314496 4635 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/21503/statm: 382401 4635 1347 10 0 379704 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 1529604 [startup+0.205296 s] /proc/loadavg: 2.75 2.58 2.32 3/178 21503 /proc/meminfo: memFree=29640672/32950928 swapFree=67111528/67111528 [pid=21503] ppid=21501 vsize=1531936 CPUtime=0.32 /proc/21503/stat : 21503 (java) S 21501 21503 19054 0 -1 4202496 8304 0 1 0 30 2 0 0 17 0 18 0 22413445 1568702464 7674 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/21503/statm: 382984 7691 1392 10 0 380287 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1531936 [startup+0.300276 s] /proc/loadavg: 2.75 2.58 2.32 3/178 21503 /proc/meminfo: memFree=29640672/32950928 swapFree=67111528/67111528 [pid=21503] ppid=21501 vsize=1533268 CPUtime=0.58 /proc/21503/stat : 21503 (java) S 21501 21503 19054 0 -1 4202496 13232 0 1 0 55 3 0 0 17 0 18 0 22413445 1570066432 12323 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/21503/statm: 383317 12323 1413 10 0 380620 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 1533268 [startup+0.700268 s] /proc/loadavg: 2.75 2.58 2.32 3/178 21503 /proc/meminfo: memFree=29640672/32950928 swapFree=67111528/67111528 [pid=21503] ppid=21501 vsize=1533328 CPUtime=1.32 /proc/21503/stat : 21503 (java) S 21501 21503 19054 0 -1 4202496 39359 0 1 0 125 7 0 0 17 0 18 0 22413445 1570127872 38259 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/21503/statm: 383332 38259 1425 10 0 380635 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 1533328 [startup+1.50107 s] /proc/loadavg: 2.69 2.57 2.31 3/196 21521 /proc/meminfo: memFree=29458352/32950928 swapFree=67111528/67111528 [pid=21503] ppid=21501 vsize=1533328 CPUtime=2.85 /proc/21503/stat : 21503 (java) S 21501 21503 19054 0 -1 4202496 58155 0 1 0 273 12 0 0 17 0 18 0 22413445 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/21503/statm: 383332 57046 1425 10 0 380635 0 [pid=21503/tid=21505] ppid=21501 vsize=1533328 CPUtime=1.34 /proc/21503/task/21505/stat : 21505 (java) R 21501 21503 19054 0 -1 4202560 32036 0 1 0 128 6 0 0 18 0 18 0 22413446 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4109838609 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=21503/tid=21506] ppid=21501 vsize=1533328 CPUtime=0.08 /proc/21503/task/21506/stat : 21506 (java) S 21501 21503 19054 0 -1 4202560 2154 0 0 0 8 0 0 0 16 0 18 0 22413447 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21507] ppid=21501 vsize=1533328 CPUtime=0.09 /proc/21503/task/21507/stat : 21507 (java) S 21501 21503 19054 0 -1 4202560 3004 0 0 0 9 0 0 0 16 0 18 0 22413447 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21508] ppid=21501 vsize=1533328 CPUtime=0.13 /proc/21503/task/21508/stat : 21508 (java) S 21501 21503 19054 0 -1 4202560 3613 0 0 0 13 0 0 0 16 0 18 0 22413447 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21509] ppid=21501 vsize=1533328 CPUtime=0.13 /proc/21503/task/21509/stat : 21509 (java) S 21501 21503 19054 0 -1 4202560 3983 0 0 0 13 0 0 0 16 0 18 0 22413447 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21510] ppid=21501 vsize=1533328 CPUtime=0.13 /proc/21503/task/21510/stat : 21510 (java) S 21501 21503 19054 0 -1 4202560 3599 0 0 0 13 0 0 0 16 0 18 0 22413447 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0 [pid=21503/tid=21511] ppid=21501 vsize=1533328 CPUtime=0.1 /proc/21503/task/21511/stat : 21511 (java) S 21501 21503 19054 0 -1 4202560 2694 0 0 0 10 0 0 0 16 0 18 0 22413447 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21512] ppid=21501 vsize=1533328 CPUtime=0.13 /proc/21503/task/21512/stat : 21512 (java) S 21501 21503 19054 0 -1 4202560 2881 0 0 0 12 1 0 0 16 0 18 0 22413447 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 2 0 0 0 [pid=21503/tid=21513] ppid=21501 vsize=1533328 CPUtime=0.05 /proc/21503/task/21513/stat : 21513 (java) S 21501 21503 19054 0 -1 4202560 1084 0 0 0 5 0 0 0 16 0 18 0 22413447 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 4 0 0 0 [pid=21503/tid=21514] ppid=21501 vsize=1533328 CPUtime=0 /proc/21503/task/21514/stat : 21514 (java) S 21501 21503 19054 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 22413447 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21515] ppid=21501 vsize=1533328 CPUtime=0 /proc/21503/task/21515/stat : 21515 (java) S 21501 21503 19054 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 18 0 22413448 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21516] ppid=21501 vsize=1533328 CPUtime=0 /proc/21503/task/21516/stat : 21516 (java) S 21501 21503 19054 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 22413448 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21517] ppid=21501 vsize=1533328 CPUtime=0 /proc/21503/task/21517/stat : 21517 (java) S 21501 21503 19054 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 22413450 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21518] ppid=21501 vsize=1533328 CPUtime=0.29 /proc/21503/task/21518/stat : 21518 (java) S 21501 21503 19054 0 -1 4202560 1251 0 0 0 29 0 0 0 25 0 18 0 22413450 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21519] ppid=21501 vsize=1533328 CPUtime=0.26 /proc/21503/task/21519/stat : 21519 (java) S 21501 21503 19054 0 -1 4202560 784 0 0 0 26 0 0 0 25 0 18 0 22413450 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21520] ppid=21501 vsize=1533328 CPUtime=0 /proc/21503/task/21520/stat : 21520 (java) S 21501 21503 19054 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22413450 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21521] ppid=21501 vsize=1533328 CPUtime=0 /proc/21503/task/21521/stat : 21521 (java) S 21501 21503 19054 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22413450 1570127872 57046 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2.85 Current children cumulated vsize (KiB) 1533328 [startup+3.10078 s] /proc/loadavg: 2.69 2.57 2.31 3/196 21521 /proc/meminfo: memFree=29374776/32950928 swapFree=67111528/67111528 [pid=21503] ppid=21501 vsize=1538544 CPUtime=7.02 /proc/21503/stat : 21503 (java) S 21501 21503 19054 0 -1 4202496 87212 0 1 0 677 25 0 0 17 0 18 0 22413445 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/21503/statm: 384636 84295 1425 10 0 381939 0 [pid=21503/tid=21505] ppid=21501 vsize=1538544 CPUtime=2.48 /proc/21503/task/21505/stat : 21505 (java) R 21501 21503 19054 0 -1 4202560 32045 0 1 0 242 6 0 0 15 0 18 0 22413446 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4109912983 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=21503/tid=21506] ppid=21501 vsize=1538544 CPUtime=0.41 /proc/21503/task/21506/stat : 21506 (java) S 21501 21503 19054 0 -1 4202560 5823 0 0 0 40 1 0 0 16 0 18 0 22413447 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 4 0 0 0 [pid=21503/tid=21507] ppid=21501 vsize=1538544 CPUtime=0.45 /proc/21503/task/21507/stat : 21507 (java) S 21501 21503 19054 0 -1 4202560 7538 0 0 0 43 2 0 0 16 0 18 0 22413447 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21508] ppid=21501 vsize=1538544 CPUtime=0.45 /proc/21503/task/21508/stat : 21508 (java) S 21501 21503 19054 0 -1 4202560 6151 0 0 0 43 2 0 0 16 0 18 0 22413447 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21509] ppid=21501 vsize=1538544 CPUtime=0.56 /proc/21503/task/21509/stat : 21509 (java) S 21501 21503 19054 0 -1 4202560 8291 0 0 0 54 2 0 0 16 0 18 0 22413447 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21510] ppid=21501 vsize=1538544 CPUtime=0.56 /proc/21503/task/21510/stat : 21510 (java) S 21501 21503 19054 0 -1 4202560 8081 0 0 0 54 2 0 0 16 0 18 0 22413447 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0 [pid=21503/tid=21511] ppid=21501 vsize=1538544 CPUtime=0.42 /proc/21503/task/21511/stat : 21511 (java) S 21501 21503 19054 0 -1 4202560 5828 0 0 0 41 1 0 0 16 0 18 0 22413447 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21512] ppid=21501 vsize=1538544 CPUtime=0.52 /proc/21503/task/21512/stat : 21512 (java) S 21501 21503 19054 0 -1 4202560 5340 0 0 0 50 2 0 0 16 0 18 0 22413447 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21513] ppid=21501 vsize=1538544 CPUtime=0.47 /proc/21503/task/21513/stat : 21513 (java) S 21501 21503 19054 0 -1 4202560 5008 0 0 0 46 1 0 0 16 0 18 0 22413447 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 2 0 0 0 [pid=21503/tid=21514] ppid=21501 vsize=1538544 CPUtime=0 /proc/21503/task/21514/stat : 21514 (java) S 21501 21503 19054 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 22413447 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21515] ppid=21501 vsize=1538544 CPUtime=0 /proc/21503/task/21515/stat : 21515 (java) S 21501 21503 19054 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 18 0 22413448 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21516] ppid=21501 vsize=1538544 CPUtime=0 /proc/21503/task/21516/stat : 21516 (java) S 21501 21503 19054 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 22413448 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21517] ppid=21501 vsize=1538544 CPUtime=0 /proc/21503/task/21517/stat : 21517 (java) S 21501 21503 19054 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 22413450 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21518] ppid=21501 vsize=1538544 CPUtime=0.29 /proc/21503/task/21518/stat : 21518 (java) S 21501 21503 19054 0 -1 4202560 1251 0 0 0 29 0 0 0 18 0 18 0 22413450 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21519] ppid=21501 vsize=1538544 CPUtime=0.26 /proc/21503/task/21519/stat : 21519 (java) S 21501 21503 19054 0 -1 4202560 784 0 0 0 26 0 0 0 25 0 18 0 22413450 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21520] ppid=21501 vsize=1538544 CPUtime=0 /proc/21503/task/21520/stat : 21520 (java) S 21501 21503 19054 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22413450 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21521] ppid=21501 vsize=1538544 CPUtime=0 /proc/21503/task/21521/stat : 21521 (java) S 21501 21503 19054 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22413450 1575469056 84295 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 7.02 Current children cumulated vsize (KiB) 1538544 [startup+6.30124 s] /proc/loadavg: 2.69 2.57 2.31 3/196 21521 /proc/meminfo: memFree=29152816/32950928 swapFree=67111528/67111528 [pid=21503] ppid=21501 vsize=1540224 CPUtime=16.19 /proc/21503/stat : 21503 (java) S 21501 21503 19054 0 -1 4202496 138689 0 1 0 1565 54 0 0 17 0 18 0 22413445 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/21503/statm: 385056 133854 1425 10 0 382359 0 [pid=21503/tid=21505] ppid=21501 vsize=1540224 CPUtime=4.62 /proc/21503/task/21505/stat : 21505 (java) R 21501 21503 19054 0 -1 4202560 32065 0 1 0 455 7 0 0 15 0 18 0 22413446 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4109754172 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=21503/tid=21506] ppid=21501 vsize=1540224 CPUtime=1.24 /proc/21503/task/21506/stat : 21506 (java) S 21501 21503 19054 0 -1 4202560 11883 0 0 0 121 3 0 0 16 0 18 0 22413447 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21507] ppid=21501 vsize=1540224 CPUtime=1.22 /proc/21503/task/21507/stat : 21507 (java) S 21501 21503 19054 0 -1 4202560 14048 0 0 0 117 5 0 0 16 0 18 0 22413447 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21508] ppid=21501 vsize=1540224 CPUtime=1.33 /proc/21503/task/21508/stat : 21508 (java) S 21501 21503 19054 0 -1 4202560 12503 0 0 0 128 5 0 0 15 0 18 0 22413447 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21509] ppid=21501 vsize=1540224 CPUtime=1.46 /proc/21503/task/21509/stat : 21509 (java) S 21501 21503 19054 0 -1 4202560 13107 0 0 0 141 5 0 0 16 0 18 0 22413447 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 2 0 0 0 [pid=21503/tid=21510] ppid=21501 vsize=1540224 CPUtime=1.51 /proc/21503/task/21510/stat : 21510 (java) S 21501 21503 19054 0 -1 4202560 16832 0 0 0 144 7 0 0 16 0 18 0 22413447 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21511] ppid=21501 vsize=1540224 CPUtime=1.38 /proc/21503/task/21511/stat : 21511 (java) S 21501 21503 19054 0 -1 4202560 12662 0 0 0 133 5 0 0 16 0 18 0 22413447 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 4 0 0 0 [pid=21503/tid=21512] ppid=21501 vsize=1540224 CPUtime=1.36 /proc/21503/task/21512/stat : 21512 (java) S 21501 21503 19054 0 -1 4202560 12369 0 0 0 131 5 0 0 16 0 18 0 22413447 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21513] ppid=21501 vsize=1540224 CPUtime=1.38 /proc/21503/task/21513/stat : 21513 (java) S 21501 21503 19054 0 -1 4202560 10113 0 0 0 133 5 0 0 16 0 18 0 22413447 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0 [pid=21503/tid=21514] ppid=21501 vsize=1540224 CPUtime=0 /proc/21503/task/21514/stat : 21514 (java) S 21501 21503 19054 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 22413447 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21515] ppid=21501 vsize=1540224 CPUtime=0 /proc/21503/task/21515/stat : 21515 (java) S 21501 21503 19054 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 18 0 22413448 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21516] ppid=21501 vsize=1540224 CPUtime=0 /proc/21503/task/21516/stat : 21516 (java) S 21501 21503 19054 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 22413448 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21517] ppid=21501 vsize=1540224 CPUtime=0 /proc/21503/task/21517/stat : 21517 (java) S 21501 21503 19054 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 22413450 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21518] ppid=21501 vsize=1540224 CPUtime=0.29 /proc/21503/task/21518/stat : 21518 (java) S 21501 21503 19054 0 -1 4202560 1251 0 0 0 29 0 0 0 16 0 18 0 22413450 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21519] ppid=21501 vsize=1540224 CPUtime=0.26 /proc/21503/task/21519/stat : 21519 (java) S 21501 21503 19054 0 -1 4202560 784 0 0 0 26 0 0 0 25 0 18 0 22413450 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21520] ppid=21501 vsize=1540224 CPUtime=0 /proc/21503/task/21520/stat : 21520 (java) S 21501 21503 19054 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 22413450 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21521] ppid=21501 vsize=1540224 CPUtime=0 /proc/21503/task/21521/stat : 21521 (java) S 21501 21503 19054 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 18 0 22413450 1577189376 133854 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.19 Current children cumulated vsize (KiB) 1540224 [startup+12.7011 s] /proc/loadavg: 3.17 2.68 2.35 3/197 21522 /proc/meminfo: memFree=28889068/32950928 swapFree=67111528/67111528 [pid=21503] ppid=21501 vsize=1544888 CPUtime=26.36 /proc/21503/stat : 21503 (java) S 21501 21503 19054 0 -1 4202496 196157 0 1 0 2558 78 0 0 17 0 19 0 22413445 1581965312 189306 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/21503/statm: 386222 189306 1438 10 0 383525 0 [pid=21503/tid=21505] ppid=21501 vsize=1544888 CPUtime=10.31 /proc/21503/task/21505/stat : 21505 (java) R 21501 21503 19054 0 -1 4202560 32133 0 1 0 1024 7 0 0 19 0 19 0 22413446 1581965312 189306 4089446400 134512640 134550932 4293217440 18446744073709551615 4110197637 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=21503/tid=21506] ppid=21501 vsize=1544888 CPUtime=1.81 /proc/21503/task/21506/stat : 21506 (java) S 21501 21503 19054 0 -1 4202560 24413 0 0 0 174 7 0 0 15 0 19 0 22413447 1581965312 189306 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21507] ppid=21501 vsize=1544888 CPUtime=1.74 /proc/21503/task/21507/stat : 21507 (java) S 21501 21503 19054 0 -1 4202560 23056 0 0 0 165 9 0 0 15 0 19 0 22413447 1581965312 189306 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0 [pid=21503/tid=21508] ppid=21501 vsize=1544888 CPUtime=1.76 /proc/21503/task/21508/stat : 21508 (java) S 21501 21503 19054 0 -1 4202560 16162 0 0 0 168 8 0 0 15 0 19 0 22413447 1581965312 189306 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 4 0 0 0 [pid=21503/tid=21509] ppid=21501 vsize=1544888 CPUtime=1.94 /proc/21503/task/21509/stat : 21509 (java) S 21501 21503 19054 0 -1 4202560 20914 0 0 0 187 7 0 0 15 0 19 0 22413447 1581965312 189306 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 2 0 0 0 ################ # More data... # ################ [pid=21503/tid=21511] ppid=21501 vsize=1550272 CPUtime=2.22 /proc/21503/task/21511/stat : 21511 (java) S 21501 21503 19054 0 -1 4202560 29496 0 0 0 212 10 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21512] ppid=21501 vsize=1550272 CPUtime=2.14 /proc/21503/task/21512/stat : 21512 (java) S 21501 21503 19054 0 -1 4202560 22810 0 0 0 205 9 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 4 0 0 0 [pid=21503/tid=21513] ppid=21501 vsize=1550272 CPUtime=2.29 /proc/21503/task/21513/stat : 21513 (java) S 21501 21503 19054 0 -1 4202560 26403 0 0 0 218 11 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21514] ppid=21501 vsize=1550272 CPUtime=0.01 /proc/21503/task/21514/stat : 21514 (java) S 21501 21503 19054 0 -1 4202560 11 0 0 0 1 0 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21515] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21515/stat : 21515 (java) S 21501 21503 19054 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 22413448 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21516] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21516/stat : 21516 (java) S 21501 21503 19054 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 22413448 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21517] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21517/stat : 21517 (java) S 21501 21503 19054 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21518] ppid=21501 vsize=1550272 CPUtime=0.68 /proc/21503/task/21518/stat : 21518 (java) S 21501 21503 19054 0 -1 4202560 2040 0 0 0 68 0 0 0 15 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21519] ppid=21501 vsize=1550272 CPUtime=0.83 /proc/21503/task/21519/stat : 21519 (java) S 21501 21503 19054 0 -1 4202560 1622 0 0 0 83 0 0 0 15 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21520] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21520/stat : 21520 (java) S 21501 21503 19054 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21521] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21521/stat : 21521 (java) S 21501 21503 19054 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21522] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21522/stat : 21522 (java) S 21501 21503 19054 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 22414416 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1741.39 Current children cumulated vsize (KiB) 1550272 [startup+1842.3 s] /proc/loadavg: 4.21 4.54 3.29 2/189 21702 /proc/meminfo: memFree=28762288/32950928 swapFree=67111528/67111528 [pid=21503] ppid=21501 vsize=1550272 CPUtime=1798.61 /proc/21503/stat : 21503 (java) S 21501 21503 19054 0 -1 4202496 249831 0 1 0 179755 106 0 0 17 0 19 0 22413445 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/21503/statm: 387568 240552 1441 10 0 384871 0 [pid=21503/tid=21505] ppid=21501 vsize=1550272 CPUtime=1779.26 /proc/21503/task/21505/stat : 21505 (java) R 21501 21503 19054 0 -1 4202560 32162 0 1 0 177911 15 0 0 25 0 19 0 22413446 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4110407464 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=21503/tid=21506] ppid=21501 vsize=1550272 CPUtime=2.12 /proc/21503/task/21506/stat : 21506 (java) S 21501 21503 19054 0 -1 4202560 29118 0 0 0 203 9 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0 [pid=21503/tid=21507] ppid=21501 vsize=1550272 CPUtime=2.08 /proc/21503/task/21507/stat : 21507 (java) S 21501 21503 19054 0 -1 4202560 30565 0 0 0 196 12 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 2 0 0 0 [pid=21503/tid=21508] ppid=21501 vsize=1550272 CPUtime=2.09 /proc/21503/task/21508/stat : 21508 (java) S 21501 21503 19054 0 -1 4202560 19808 0 0 0 199 10 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 4 0 0 0 [pid=21503/tid=21509] ppid=21501 vsize=1550272 CPUtime=2.32 /proc/21503/task/21509/stat : 21509 (java) S 21501 21503 19054 0 -1 4202560 27206 0 0 0 223 9 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21510] ppid=21501 vsize=1550272 CPUtime=2.45 /proc/21503/task/21510/stat : 21510 (java) S 21501 21503 19054 0 -1 4202560 27416 0 0 0 231 14 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21511] ppid=21501 vsize=1550272 CPUtime=2.22 /proc/21503/task/21511/stat : 21511 (java) S 21501 21503 19054 0 -1 4202560 29496 0 0 0 212 10 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21512] ppid=21501 vsize=1550272 CPUtime=2.14 /proc/21503/task/21512/stat : 21512 (java) S 21501 21503 19054 0 -1 4202560 22810 0 0 0 205 9 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 4 0 0 0 [pid=21503/tid=21513] ppid=21501 vsize=1550272 CPUtime=2.29 /proc/21503/task/21513/stat : 21513 (java) S 21501 21503 19054 0 -1 4202560 26403 0 0 0 218 11 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21514] ppid=21501 vsize=1550272 CPUtime=0.01 /proc/21503/task/21514/stat : 21514 (java) S 21501 21503 19054 0 -1 4202560 11 0 0 0 1 0 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21515] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21515/stat : 21515 (java) S 21501 21503 19054 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 22413448 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21516] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21516/stat : 21516 (java) S 21501 21503 19054 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 22413448 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21517] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21517/stat : 21517 (java) S 21501 21503 19054 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21518] ppid=21501 vsize=1550272 CPUtime=0.68 /proc/21503/task/21518/stat : 21518 (java) S 21501 21503 19054 0 -1 4202560 2040 0 0 0 68 0 0 0 15 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21519] ppid=21501 vsize=1550272 CPUtime=0.83 /proc/21503/task/21519/stat : 21519 (java) S 21501 21503 19054 0 -1 4202560 1622 0 0 0 83 0 0 0 15 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21520] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21520/stat : 21520 (java) S 21501 21503 19054 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21521] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21521/stat : 21521 (java) S 21501 21503 19054 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 2 0 0 0 [pid=21503/tid=21522] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21522/stat : 21522 (java) S 21501 21503 19054 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 22414416 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (KiB) 1550272 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1843.71 s] /proc/loadavg: 4.21 4.54 3.29 2/189 21702 /proc/meminfo: memFree=28762288/32950928 swapFree=67111528/67111528 [pid=21503] ppid=21501 vsize=1550272 CPUtime=1800.03 /proc/21503/stat : 21503 (java) S 21501 21503 19054 0 -1 4202496 249831 0 1 0 179897 106 0 0 17 0 19 0 22413445 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/21503/statm: 387568 240552 1441 10 0 384871 0 [pid=21503/tid=21505] ppid=21501 vsize=1550272 CPUtime=1780.68 /proc/21503/task/21505/stat : 21505 (java) R 21501 21503 19054 0 -1 4202560 32162 0 1 0 178053 15 0 0 25 0 19 0 22413446 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4110407448 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=21503/tid=21506] ppid=21501 vsize=1550272 CPUtime=2.12 /proc/21503/task/21506/stat : 21506 (java) S 21501 21503 19054 0 -1 4202560 29118 0 0 0 203 9 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0 [pid=21503/tid=21507] ppid=21501 vsize=1550272 CPUtime=2.08 /proc/21503/task/21507/stat : 21507 (java) S 21501 21503 19054 0 -1 4202560 30565 0 0 0 196 12 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 2 0 0 0 [pid=21503/tid=21508] ppid=21501 vsize=1550272 CPUtime=2.09 /proc/21503/task/21508/stat : 21508 (java) S 21501 21503 19054 0 -1 4202560 19808 0 0 0 199 10 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 4 0 0 0 [pid=21503/tid=21509] ppid=21501 vsize=1550272 CPUtime=2.32 /proc/21503/task/21509/stat : 21509 (java) S 21501 21503 19054 0 -1 4202560 27206 0 0 0 223 9 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21510] ppid=21501 vsize=1550272 CPUtime=2.45 /proc/21503/task/21510/stat : 21510 (java) S 21501 21503 19054 0 -1 4202560 27416 0 0 0 231 14 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21511] ppid=21501 vsize=1550272 CPUtime=2.22 /proc/21503/task/21511/stat : 21511 (java) S 21501 21503 19054 0 -1 4202560 29496 0 0 0 212 10 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21512] ppid=21501 vsize=1550272 CPUtime=2.14 /proc/21503/task/21512/stat : 21512 (java) S 21501 21503 19054 0 -1 4202560 22810 0 0 0 205 9 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 4 0 0 0 [pid=21503/tid=21513] ppid=21501 vsize=1550272 CPUtime=2.29 /proc/21503/task/21513/stat : 21513 (java) S 21501 21503 19054 0 -1 4202560 26403 0 0 0 218 11 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21514] ppid=21501 vsize=1550272 CPUtime=0.01 /proc/21503/task/21514/stat : 21514 (java) S 21501 21503 19054 0 -1 4202560 11 0 0 0 1 0 0 0 15 0 19 0 22413447 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21515] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21515/stat : 21515 (java) S 21501 21503 19054 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 22413448 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21516] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21516/stat : 21516 (java) S 21501 21503 19054 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 22413448 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21517] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21517/stat : 21517 (java) S 21501 21503 19054 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21518] ppid=21501 vsize=1550272 CPUtime=0.68 /proc/21503/task/21518/stat : 21518 (java) S 21501 21503 19054 0 -1 4202560 2040 0 0 0 68 0 0 0 15 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21519] ppid=21501 vsize=1550272 CPUtime=0.83 /proc/21503/task/21519/stat : 21519 (java) S 21501 21503 19054 0 -1 4202560 1622 0 0 0 83 0 0 0 15 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21520] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21520/stat : 21520 (java) S 21501 21503 19054 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21521] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21521/stat : 21521 (java) S 21501 21503 19054 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 22413450 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 2 0 0 0 [pid=21503/tid=21522] ppid=21501 vsize=1550272 CPUtime=0 /proc/21503/task/21522/stat : 21522 (java) S 21501 21503 19054 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 22414416 1587478528 240552 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1550272 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1843.81 s] /proc/loadavg: 4.21 4.54 3.29 2/189 21702 /proc/meminfo: memFree=28762288/32950928 swapFree=67111528/67111528 [pid=21503] ppid=21501 vsize=1550920 CPUtime=1800.25 /proc/21503/stat : 21503 (java) S 21501 21503 19054 0 -1 4202496 249865 0 1 0 179919 106 0 0 15 0 20 0 22413445 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/21503/statm: 387730 240584 1442 10 0 385033 0 [pid=21503/tid=21505] ppid=21501 vsize=1550920 CPUtime=1780.77 /proc/21503/task/21505/stat : 21505 (java) R 21501 21503 19054 0 -1 4202560 32162 0 1 0 178062 15 0 0 25 0 20 0 22413446 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4110407480 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=21503/tid=21506] ppid=21501 vsize=1550920 CPUtime=2.12 /proc/21503/task/21506/stat : 21506 (java) S 21501 21503 19054 0 -1 4202560 29118 0 0 0 203 9 0 0 15 0 20 0 22413447 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0 [pid=21503/tid=21507] ppid=21501 vsize=1550920 CPUtime=2.08 /proc/21503/task/21507/stat : 21507 (java) S 21501 21503 19054 0 -1 4202560 30565 0 0 0 196 12 0 0 15 0 20 0 22413447 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 2 0 0 0 [pid=21503/tid=21508] ppid=21501 vsize=1550920 CPUtime=2.09 /proc/21503/task/21508/stat : 21508 (java) S 21501 21503 19054 0 -1 4202560 19808 0 0 0 199 10 0 0 15 0 20 0 22413447 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 4 0 0 0 [pid=21503/tid=21509] ppid=21501 vsize=1550920 CPUtime=2.32 /proc/21503/task/21509/stat : 21509 (java) S 21501 21503 19054 0 -1 4202560 27206 0 0 0 223 9 0 0 15 0 20 0 22413447 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21510] ppid=21501 vsize=1550920 CPUtime=2.45 /proc/21503/task/21510/stat : 21510 (java) S 21501 21503 19054 0 -1 4202560 27416 0 0 0 231 14 0 0 15 0 20 0 22413447 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21511] ppid=21501 vsize=1550920 CPUtime=2.22 /proc/21503/task/21511/stat : 21511 (java) S 21501 21503 19054 0 -1 4202560 29496 0 0 0 212 10 0 0 15 0 20 0 22413447 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21512] ppid=21501 vsize=1550920 CPUtime=2.14 /proc/21503/task/21512/stat : 21512 (java) S 21501 21503 19054 0 -1 4202560 22810 0 0 0 205 9 0 0 15 0 20 0 22413447 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 4 0 0 0 [pid=21503/tid=21513] ppid=21501 vsize=1550920 CPUtime=2.29 /proc/21503/task/21513/stat : 21513 (java) S 21501 21503 19054 0 -1 4202560 26403 0 0 0 218 11 0 0 15 0 20 0 22413447 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21514] ppid=21501 vsize=1550920 CPUtime=0.01 /proc/21503/task/21514/stat : 21514 (java) S 21501 21503 19054 0 -1 4202560 11 0 0 0 1 0 0 0 15 0 20 0 22413447 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 0 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21515] ppid=21501 vsize=1550920 CPUtime=0 /proc/21503/task/21515/stat : 21515 (java) S 21501 21503 19054 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 20 0 22413448 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21516] ppid=21501 vsize=1550920 CPUtime=0 /proc/21503/task/21516/stat : 21516 (java) S 21501 21503 19054 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 20 0 22413448 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0 [pid=21503/tid=21517] ppid=21501 vsize=1550920 CPUtime=0 /proc/21503/task/21517/stat : 21517 (java) S 21501 21503 19054 0 -1 4202560 6 0 0 0 0 0 0 0 19 0 20 0 22413450 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 4 0 0 0 [pid=21503/tid=21518] ppid=21501 vsize=1550920 CPUtime=0.72 /proc/21503/task/21518/stat : 21518 (java) S 21501 21503 19054 0 -1 4202560 2046 0 0 0 72 0 0 0 16 0 20 0 22413450 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 0 0 0 0 [pid=21503/tid=21519] ppid=21501 vsize=1550920 CPUtime=0.86 /proc/21503/task/21519/stat : 21519 (java) S 21501 21503 19054 0 -1 4202560 1628 0 0 0 86 0 0 0 15 0 20 0 22413450 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0 [pid=21503/tid=21520] ppid=21501 vsize=1550920 CPUtime=0 /proc/21503/task/21520/stat : 21520 (java) S 21501 21503 19054 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 20 0 22413450 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0 [pid=21503/tid=21521] ppid=21501 vsize=1550920 CPUtime=0 /proc/21503/task/21521/stat : 21521 (java) S 21501 21503 19054 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 20 0 22413450 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 2 0 0 0 [pid=21503/tid=21522] ppid=21501 vsize=1550920 CPUtime=0 /proc/21503/task/21522/stat : 21522 (java) S 21501 21503 19054 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 20 0 22414416 1588142080 240584 4089446400 134512640 134550932 4293217440 18446744073709551615 4294960144 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 1550920 Child status: 143 Real time (s): 1843.86 CPU time (s): 1800.31 CPU user time (s): 1799.2 CPU system time (s): 1.10583 CPU usage (%): 97.6381 Max. virtual memory (cumulated for all children) (KiB): 1550920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.2 system time used= 1.10583 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 249865 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= 39945 involuntary context switches= 224340 runsolver used 2.97355 second user time and 6.36603 second system time The end
Begin job on node122 at 2010-07-08 00:33:19 IDJOB=2701850 IDBENCH=79647 IDSOLVER=1211 FILE ID=node122/2701850-1278541998 PBS_JOBID= 11239233 Free space on /tmp= 73344 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph12_wcsp.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701850-1278541998/watcher-2701850-1278541998 -o /tmp/evaluation-result-2701850-1278541998/solver-2701850-1278541998 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701850-1278541998.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= baac82f1e5c2363a05a67929a02d4991 RANDOM SEED=278107385 node122.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.839 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29641448 kB Buffers: 149552 kB Cached: 2877376 kB SwapCached: 0 kB Active: 1212240 kB Inactive: 1940924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29641448 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 35732 kB Writeback: 0 kB AnonPages: 126696 kB Mapped: 15212 kB Slab: 91672 kB PageTables: 5416 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 269688 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73372 MiB End job on node122 at 2010-07-08 01:04:05