Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB CuttingPlanes 2.2.0 2010-05-26 | MSAT (TO) | 1800.18 | 1773.38 |
| Name | /SOFT-BIGINT-LIN/PB06/web/ uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-0-100-0.wbo |
| MD5SUM | ae1c71418dfe9cc95c50a98d4ee97169 |
| Bench Category | SOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 10.8194 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 8937 |
| Total number of constraints | 26319 |
| Number of soft constraints | 26319 |
| Number of constraints which are clauses | 26047 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 272 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 9 |
| Top cost | 1332841 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 1332840 |
| Biggest number in a constraint | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 62 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.06/0.07 c version 2.2.0.v20100526 0.06/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.06/0.07 c java.vm.version 11.2-b01 0.06/0.07 c java.vm.vendor Sun Microsystems Inc. 0.06/0.07 c sun.arch.data.model 32 0.06/0.07 c java.version 1.6.0_12 0.06/0.07 c os.name Linux 0.06/0.07 c os.version 2.6.18-164.el5 0.06/0.07 c os.arch i386 0.06/0.07 c Free memory 1393557488 0.06/0.07 c Max memory 1395916800 0.06/0.07 c Total memory 1395916800 0.06/0.07 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1b16e52 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2691920-1277918256.wbo 0.11/0.10 c reading problem ... 0.97/0.57 c ... done. Wall clock time 0.471s. 0.97/0.57 c #vars 35256 0.97/0.57 c #constraints 26319 0.97/0.57 c constraints type 0.97/0.57 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17097 0.97/0.57 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2066 0.97/0.57 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6884 0.97/0.57 c org.sat4j.pb.constraints.pb.MaxWatchPb => 272 2.98/1.63 c SATISFIABLE 2.98/1.63 c OPTIMIZING... 2.98/1.63 c Got one! Elapsed wall clock time (in seconds):1.529 2.98/1.63 o 3634 11.36/9.58 c Got one! Elapsed wall clock time (in seconds):9.479 11.36/9.58 o 3606 1800.02/1773.31 c starts : 5 1800.02/1773.31 c conflicts : 259 1800.02/1773.31 c decisions : 275269 1800.02/1773.31 c propagations : 601578 1800.02/1773.31 c inspects : 568444 1800.02/1773.31 c learnt literals : 0 1800.02/1773.31 c learnt binary clauses : 4 1800.02/1773.31 c learnt ternary clauses : 4 1800.02/1773.31 c learnt clauses : 258 1800.02/1773.31 c ignored clauses : 0 1800.02/1773.31 c root simplifications : 0 1800.02/1773.31 c removed literals (reason simplification) : 0 1800.02/1773.31 c reason swapping (by a shorter reason) : 0 1800.02/1773.31 c Calls to reduceDB : 0 1800.02/1773.31 c number of reductions to clauses (during analyze) : 0 1800.02/1773.31 c number of learned constraints concerned by reduction : 0 1800.02/1773.31 c number of learning phase by resolution : 0 1800.02/1773.31 c number of learning phase by cutting planes : 0 1800.02/1773.31 c speed (assignments/second) : 341.09152144515605 1800.02/1773.31 c non guided choices 905 1800.02/1773.31 c learnt constraints type 1800.02/1773.31 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 7 1800.02/1773.31 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 3 1800.02/1773.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 248 1800.02/1773.31 c constraints type 1800.02/1773.31 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 17097 1800.02/1773.31 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2066 1800.02/1773.31 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 6884 1800.02/1773.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 273 1800.02/1773.31 s SATISFIABLE 1800.02/1773.32 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 1800.02/1773.33 c objective function=3606 1800.02/1773.33 c Total wall clock time (in seconds): 1773.233
OK 1663
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2691920-1277918256/watcher-2691920-1277918256 -o /tmp/evaluation-result-2691920-1277918256/solver-2691920-1277918256 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691920-1277918256.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.00 2.00 2.00 3/178 13019 /proc/meminfo: memFree=31200440/32950928 swapFree=67111528/67111528 [pid=13019] ppid=13017 vsize=13164 CPUtime=0 /proc/13019/stat : 13019 (java) R 13017 13019 12498 0 -1 4194304 657 0 0 0 0 0 0 0 20 0 1 0 133121981 13479936 286 4089446400 134512640 134550932 4288043968 18446744073709551615 4138629 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/13019/statm: 3291 293 141 10 0 1121 0 [startup+0.0733869 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13019 /proc/meminfo: memFree=31200440/32950928 swapFree=67111528/67111528 [pid=13019] ppid=13017 vsize=1527700 CPUtime=0.06 /proc/13019/stat : 13019 (java) S 13017 13019 12498 0 -1 4202496 4290 0 1 0 4 2 0 0 20 0 18 0 133121981 1564364800 3730 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13019/statm: 381925 3730 1091 10 0 379227 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1527700 [startup+0.100381 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13019 /proc/meminfo: memFree=31200440/32950928 swapFree=67111528/67111528 [pid=13019] ppid=13017 vsize=1530140 CPUtime=0.11 /proc/13019/stat : 13019 (java) S 13017 13019 12498 0 -1 4202496 5228 0 1 0 9 2 0 0 20 0 18 0 133121981 1566863360 4666 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13019/statm: 382535 4666 1347 10 0 379837 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530140 [startup+0.300349 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13019 /proc/meminfo: memFree=31200440/32950928 swapFree=67111528/67111528 [pid=13019] ppid=13017 vsize=1531972 CPUtime=0.53 /proc/13019/stat : 13019 (java) S 13017 13019 12498 0 -1 4202496 7771 0 1 0 51 2 0 0 20 0 18 0 133121981 1568739328 7110 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13019/statm: 382993 7110 1403 10 0 380295 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 1531972 [startup+0.700279 s] /proc/loadavg: 2.00 2.00 2.00 3/178 13019 /proc/meminfo: memFree=31200440/32950928 swapFree=67111528/67111528 [pid=13019] ppid=13017 vsize=1533748 CPUtime=1.42 /proc/13019/stat : 13019 (java) S 13017 13019 12498 0 -1 4202496 22656 0 1 0 138 4 0 0 20 0 18 0 133121981 1570557952 21464 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13019/statm: 383437 21464 1430 10 0 380739 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 1533748 [startup+1.5012 s] /proc/loadavg: 2.16 2.03 2.01 5/197 13038 /proc/meminfo: memFree=31083172/32950928 swapFree=67111528/67111528 [pid=13019] ppid=13017 vsize=1535432 CPUtime=2.88 /proc/13019/stat : 13019 (java) S 13017 13019 12498 0 -1 4202496 39795 0 1 0 282 6 0 0 20 0 19 0 133121981 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13019/statm: 383858 37366 1442 10 0 381160 0 [pid=13019/tid=13021] ppid=13017 vsize=1535432 CPUtime=1.46 /proc/13019/task/13021/stat : 13021 (java) R 13017 13019 12498 0 -1 4202560 32039 0 1 0 142 4 0 0 25 0 19 0 133121982 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4110194646 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13019/tid=13022] ppid=13017 vsize=1535432 CPUtime=0.01 /proc/13019/task/13022/stat : 13022 (java) S 13017 13019 12498 0 -1 4202560 843 0 0 0 1 0 0 0 18 0 19 0 133121983 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13023] ppid=13017 vsize=1535432 CPUtime=0.01 /proc/13019/task/13023/stat : 13023 (java) S 13017 13019 12498 0 -1 4202560 924 0 0 0 1 0 0 0 18 0 19 0 133121983 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13024] ppid=13017 vsize=1535432 CPUtime=0.01 /proc/13019/task/13024/stat : 13024 (java) S 13017 13019 12498 0 -1 4202560 991 0 0 0 1 0 0 0 18 0 19 0 133121983 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13025] ppid=13017 vsize=1535432 CPUtime=0 /proc/13019/task/13025/stat : 13025 (java) S 13017 13019 12498 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133121983 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13026] ppid=13017 vsize=1535432 CPUtime=0 /proc/13019/task/13026/stat : 13026 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133121983 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13027] ppid=13017 vsize=1535432 CPUtime=0 /proc/13019/task/13027/stat : 13027 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133121983 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13028] ppid=13017 vsize=1535432 CPUtime=0 /proc/13019/task/13028/stat : 13028 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133121983 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13029] ppid=13017 vsize=1535432 CPUtime=0 /proc/13019/task/13029/stat : 13029 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133121983 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13030] ppid=13017 vsize=1535432 CPUtime=0 /proc/13019/task/13030/stat : 13030 (java) S 13017 13019 12498 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 133121983 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13031] ppid=13017 vsize=1535432 CPUtime=0 /proc/13019/task/13031/stat : 13031 (java) S 13017 13019 12498 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133121984 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13032] ppid=13017 vsize=1535432 CPUtime=0 /proc/13019/task/13032/stat : 13032 (java) S 13017 13019 12498 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133121984 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13033] ppid=13017 vsize=1535432 CPUtime=0 /proc/13019/task/13033/stat : 13033 (java) S 13017 13019 12498 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 133121986 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13034] ppid=13017 vsize=1535432 CPUtime=0.66 /proc/13019/task/13034/stat : 13034 (java) S 13017 13019 12498 0 -1 4202560 1662 0 0 0 66 0 0 0 25 0 19 0 133121986 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13035] ppid=13017 vsize=1535432 CPUtime=0.69 /proc/13019/task/13035/stat : 13035 (java) S 13017 13019 12498 0 -1 4202560 2257 0 0 0 69 0 0 0 15 0 19 0 133121986 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 4 0 0 0 [pid=13019/tid=13036] ppid=13017 vsize=1535432 CPUtime=0 /proc/13019/task/13036/stat : 13036 (java) S 13017 13019 12498 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 133121986 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13037] ppid=13017 vsize=1535432 CPUtime=0 /proc/13019/task/13037/stat : 13037 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133121986 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 0 0 0 0 [pid=13019/tid=13038] ppid=13017 vsize=1535432 CPUtime=0 /proc/13019/task/13038/stat : 13038 (java) S 13017 13019 12498 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133122058 1572282368 37366 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.88 Current children cumulated vsize (KiB) 1535432 [startup+3.10087 s] /proc/loadavg: 2.16 2.03 2.01 3/197 13038 /proc/meminfo: memFree=31050712/32950928 swapFree=67111528/67111528 [pid=13019] ppid=13017 vsize=1540552 CPUtime=4.9 /proc/13019/stat : 13019 (java) S 13017 13019 12498 0 -1 4202496 42909 0 1 0 483 7 0 0 20 0 19 0 133121981 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13019/statm: 385138 38613 1442 10 0 382440 0 [pid=13019/tid=13021] ppid=13017 vsize=1540552 CPUtime=3.06 /proc/13019/task/13021/stat : 13021 (java) R 13017 13019 12498 0 -1 4202560 32059 0 1 0 302 4 0 0 25 0 19 0 133121982 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4110041570 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13019/tid=13022] ppid=13017 vsize=1540552 CPUtime=0.01 /proc/13019/task/13022/stat : 13022 (java) S 13017 13019 12498 0 -1 4202560 843 0 0 0 1 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13023] ppid=13017 vsize=1540552 CPUtime=0.01 /proc/13019/task/13023/stat : 13023 (java) S 13017 13019 12498 0 -1 4202560 924 0 0 0 1 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13024] ppid=13017 vsize=1540552 CPUtime=0.01 /proc/13019/task/13024/stat : 13024 (java) S 13017 13019 12498 0 -1 4202560 991 0 0 0 1 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13025] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13025/stat : 13025 (java) S 13017 13019 12498 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13026] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13026/stat : 13026 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13027] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13027/stat : 13027 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13028] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13028/stat : 13028 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13029] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13029/stat : 13029 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13030] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13030/stat : 13030 (java) S 13017 13019 12498 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13031] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13031/stat : 13031 (java) S 13017 13019 12498 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133121984 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13032] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13032/stat : 13032 (java) S 13017 13019 12498 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133121984 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13033] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13033/stat : 13033 (java) S 13017 13019 12498 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 133121986 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13034] ppid=13017 vsize=1540552 CPUtime=0.9 /proc/13019/task/13034/stat : 13034 (java) S 13017 13019 12498 0 -1 4202560 4414 0 0 0 90 0 0 0 20 0 19 0 133121986 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13035] ppid=13017 vsize=1540552 CPUtime=0.86 /proc/13019/task/13035/stat : 13035 (java) S 13017 13019 12498 0 -1 4202560 2599 0 0 0 86 0 0 0 15 0 19 0 133121986 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 4 0 0 0 [pid=13019/tid=13036] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13036/stat : 13036 (java) S 13017 13019 12498 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 133121986 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13037] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13037/stat : 13037 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133121986 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 0 0 0 0 [pid=13019/tid=13038] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13038/stat : 13038 (java) S 13017 13019 12498 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133122058 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.9 Current children cumulated vsize (KiB) 1540552 [startup+6.30133 s] /proc/loadavg: 2.16 2.03 2.01 3/197 13038 /proc/meminfo: memFree=31049844/32950928 swapFree=67111528/67111528 [pid=13019] ppid=13017 vsize=1540552 CPUtime=8.1 /proc/13019/stat : 13019 (java) S 13017 13019 12498 0 -1 4202496 42910 0 1 0 803 7 0 0 20 0 19 0 133121981 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13019/statm: 385138 38613 1442 10 0 382440 0 [pid=13019/tid=13021] ppid=13017 vsize=1540552 CPUtime=6.26 /proc/13019/task/13021/stat : 13021 (java) R 13017 13019 12498 0 -1 4202560 32060 0 1 0 622 4 0 0 25 0 19 0 133121982 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4110041258 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13019/tid=13022] ppid=13017 vsize=1540552 CPUtime=0.01 /proc/13019/task/13022/stat : 13022 (java) S 13017 13019 12498 0 -1 4202560 843 0 0 0 1 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13023] ppid=13017 vsize=1540552 CPUtime=0.01 /proc/13019/task/13023/stat : 13023 (java) S 13017 13019 12498 0 -1 4202560 924 0 0 0 1 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13024] ppid=13017 vsize=1540552 CPUtime=0.01 /proc/13019/task/13024/stat : 13024 (java) S 13017 13019 12498 0 -1 4202560 991 0 0 0 1 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13025] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13025/stat : 13025 (java) S 13017 13019 12498 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13026] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13026/stat : 13026 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13027] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13027/stat : 13027 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13028] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13028/stat : 13028 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13029] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13029/stat : 13029 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13030] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13030/stat : 13030 (java) S 13017 13019 12498 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 133121983 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13031] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13031/stat : 13031 (java) S 13017 13019 12498 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133121984 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13032] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13032/stat : 13032 (java) S 13017 13019 12498 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133121984 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13033] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13033/stat : 13033 (java) S 13017 13019 12498 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 133121986 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13034] ppid=13017 vsize=1540552 CPUtime=0.9 /proc/13019/task/13034/stat : 13034 (java) S 13017 13019 12498 0 -1 4202560 4414 0 0 0 90 0 0 0 18 0 19 0 133121986 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13035] ppid=13017 vsize=1540552 CPUtime=0.86 /proc/13019/task/13035/stat : 13035 (java) S 13017 13019 12498 0 -1 4202560 2599 0 0 0 86 0 0 0 15 0 19 0 133121986 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 4 0 0 0 [pid=13019/tid=13036] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13036/stat : 13036 (java) S 13017 13019 12498 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 133121986 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13037] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13037/stat : 13037 (java) S 13017 13019 12498 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 133121986 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 0 0 0 0 [pid=13019/tid=13038] ppid=13017 vsize=1540552 CPUtime=0 /proc/13019/task/13038/stat : 13038 (java) S 13017 13019 12498 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133122058 1577525248 38613 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.1 Current children cumulated vsize (KiB) 1540552 [startup+12.7013 s] /proc/loadavg: 2.13 2.03 2.01 3/197 13038 /proc/meminfo: memFree=31034356/32950928 swapFree=67111528/67111528 [pid=13019] ppid=13017 vsize=1540552 CPUtime=14.61 /proc/13019/stat : 13019 (java) S 13017 13019 12498 0 -1 4202496 46629 0 1 0 1454 7 0 0 20 0 19 0 133121981 1577525248 42323 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13019/statm: 385138 42323 1442 10 0 382440 0 [pid=13019/tid=13021] ppid=13017 vsize=1540552 CPUtime=12.65 /proc/13019/task/13021/stat : 13021 (java) R 13017 13019 12498 0 -1 4202560 32101 0 1 0 1261 4 0 0 25 0 19 0 133121982 1577525248 42323 4089446400 134512640 134550932 4288043968 18446744073709551615 4110102640 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13019/tid=13022] ppid=13017 vsize=1540552 CPUtime=0.01 /proc/13019/task/13022/stat : 13022 (java) S 13017 13019 12498 0 -1 4202560 1254 0 0 0 1 0 0 0 18 0 19 0 133121983 1577525248 42323 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 0 0 0 0 ################ # More data... # ################ [pid=13019/tid=13027] ppid=13017 vsize=1541576 CPUtime=4.17 /proc/13019/task/13027/stat : 13027 (java) S 13017 13019 12498 0 -1 4202560 3859 0 0 0 348 69 0 0 15 0 19 0 133121983 1578573824 69367 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13028] ppid=13017 vsize=1541576 CPUtime=4 /proc/13019/task/13028/stat : 13028 (java) S 13017 13019 12498 0 -1 4202560 4026 0 0 0 324 76 0 0 16 0 19 0 133121983 1578573824 69367 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13029] ppid=13017 vsize=1541576 CPUtime=3.97 /proc/13019/task/13029/stat : 13029 (java) S 13017 13019 12498 0 -1 4202560 4123 0 0 0 320 77 0 0 15 0 19 0 133121983 1578573824 69367 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 0 0 0 0 [pid=13019/tid=13030] ppid=13017 vsize=1541576 CPUtime=0.97 /proc/13019/task/13030/stat : 13030 (java) S 13017 13019 12498 0 -1 4202560 128 0 0 0 48 49 0 0 15 0 19 0 133121983 1578573824 69367 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13031] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13031/stat : 13031 (java) S 13017 13019 12498 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133121984 1578573824 69367 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13032] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13032/stat : 13032 (java) S 13017 13019 12498 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133121984 1578573824 69367 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13033] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13033/stat : 13033 (java) S 13017 13019 12498 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 133121986 1578573824 69367 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13034] ppid=13017 vsize=1541576 CPUtime=0.96 /proc/13019/task/13034/stat : 13034 (java) S 13017 13019 12498 0 -1 4202560 4417 0 0 0 95 1 0 0 16 0 19 0 133121986 1578573824 69367 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13035] ppid=13017 vsize=1541576 CPUtime=1.22 /proc/13019/task/13035/stat : 13035 (java) S 13017 13019 12498 0 -1 4202560 2640 0 0 0 122 0 0 0 15 0 19 0 133121986 1578573824 69367 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 4 0 0 0 [pid=13019/tid=13036] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13036/stat : 13036 (java) S 13017 13019 12498 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 133121986 1578573824 69367 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13037] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13037/stat : 13037 (java) S 13017 13019 12498 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 133121986 1578573824 69367 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 0 0 0 0 [pid=13019/tid=13038] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13038/stat : 13038 (java) S 13017 13019 12498 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133122058 1578573824 69367 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1686.69 Current children cumulated vsize (KiB) 1541576 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/215 13160 /proc/meminfo: memFree=30846936/32950928 swapFree=67111528/67111528 [pid=13019] ppid=13017 vsize=1541576 CPUtime=1747.93 /proc/13019/stat : 13019 (java) S 13017 13019 12498 0 -1 4202496 81730 0 1 0 174091 702 0 0 20 0 19 0 133121981 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13019/statm: 385394 70156 1446 10 0 382696 0 [pid=13019/tid=13021] ppid=13017 vsize=1541576 CPUtime=1710.1 /proc/13019/task/13021/stat : 13021 (java) R 13017 13019 12498 0 -1 4202560 38444 0 1 0 170997 13 0 0 25 0 19 0 133121982 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4109800032 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=13019/tid=13022] ppid=13017 vsize=1541576 CPUtime=4.24 /proc/13019/task/13022/stat : 13022 (java) S 13017 13019 12498 0 -1 4202560 4537 0 0 0 342 82 0 0 15 0 19 0 133121983 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 2 0 0 0 [pid=13019/tid=13023] ppid=13017 vsize=1541576 CPUtime=4.42 /proc/13019/task/13023/stat : 13023 (java) S 13017 13019 12498 0 -1 4202560 3864 0 0 0 363 79 0 0 15 0 19 0 133121983 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13024] ppid=13017 vsize=1541576 CPUtime=4.39 /proc/13019/task/13024/stat : 13024 (java) S 13017 13019 12498 0 -1 4202560 5282 0 0 0 361 78 0 0 15 0 19 0 133121983 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13025] ppid=13017 vsize=1541576 CPUtime=4.37 /proc/13019/task/13025/stat : 13025 (java) S 13017 13019 12498 0 -1 4202560 4364 0 0 0 361 76 0 0 15 0 19 0 133121983 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 6 0 0 0 [pid=13019/tid=13026] ppid=13017 vsize=1541576 CPUtime=4.24 /proc/13019/task/13026/stat : 13026 (java) S 13017 13019 12498 0 -1 4202560 4360 0 0 0 345 79 0 0 15 0 19 0 133121983 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13027] ppid=13017 vsize=1541576 CPUtime=4.41 /proc/13019/task/13027/stat : 13027 (java) S 13017 13019 12498 0 -1 4202560 4282 0 0 0 367 74 0 0 16 0 19 0 133121983 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13028] ppid=13017 vsize=1541576 CPUtime=4.23 /proc/13019/task/13028/stat : 13028 (java) S 13017 13019 12498 0 -1 4202560 4071 0 0 0 342 81 0 0 15 0 19 0 133121983 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13029] ppid=13017 vsize=1541576 CPUtime=4.22 /proc/13019/task/13029/stat : 13029 (java) S 13017 13019 12498 0 -1 4202560 4178 0 0 0 341 81 0 0 15 0 19 0 133121983 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 0 0 0 0 [pid=13019/tid=13030] ppid=13017 vsize=1541576 CPUtime=1.02 /proc/13019/task/13030/stat : 13030 (java) S 13017 13019 12498 0 -1 4202560 132 0 0 0 51 51 0 0 15 0 19 0 133121983 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13031] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13031/stat : 13031 (java) S 13017 13019 12498 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133121984 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13032] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13032/stat : 13032 (java) S 13017 13019 12498 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133121984 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13033] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13033/stat : 13033 (java) S 13017 13019 12498 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 133121986 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13034] ppid=13017 vsize=1541576 CPUtime=0.96 /proc/13019/task/13034/stat : 13034 (java) S 13017 13019 12498 0 -1 4202560 4417 0 0 0 95 1 0 0 16 0 19 0 133121986 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13035] ppid=13017 vsize=1541576 CPUtime=1.22 /proc/13019/task/13035/stat : 13035 (java) S 13017 13019 12498 0 -1 4202560 2640 0 0 0 122 0 0 0 15 0 19 0 133121986 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 4 0 0 0 [pid=13019/tid=13036] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13036/stat : 13036 (java) S 13017 13019 12498 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 133121986 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13037] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13037/stat : 13037 (java) S 13017 13019 12498 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 133121986 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13038] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13038/stat : 13038 (java) S 13017 13019 12498 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133122058 1578573824 70156 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1747.93 Current children cumulated vsize (KiB) 1541576 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1773.3 s] /proc/loadavg: 2.22 2.08 2.03 3/215 13162 /proc/meminfo: memFree=30843076/32950928 swapFree=67111528/67111528 [pid=13019] ppid=13017 vsize=1541576 CPUtime=1800.02 /proc/13019/stat : 13019 (java) S 13017 13019 12498 0 -1 4202496 82837 0 1 0 179265 737 0 0 20 0 19 0 133121981 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13019/statm: 385394 71073 1446 10 0 382696 0 [pid=13019/tid=13021] ppid=13017 vsize=1541576 CPUtime=1760.51 /proc/13019/task/13021/stat : 13021 (java) R 13017 13019 12498 0 -1 4202560 38620 0 1 0 176037 14 0 0 25 0 19 0 133121982 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4110133420 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=13019/tid=13022] ppid=13017 vsize=1541576 CPUtime=4.45 /proc/13019/task/13022/stat : 13022 (java) S 13017 13019 12498 0 -1 4202560 4563 0 0 0 358 87 0 0 15 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13023] ppid=13017 vsize=1541576 CPUtime=4.61 /proc/13019/task/13023/stat : 13023 (java) S 13017 13019 12498 0 -1 4202560 4194 0 0 0 378 83 0 0 16 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13024] ppid=13017 vsize=1541576 CPUtime=4.61 /proc/13019/task/13024/stat : 13024 (java) S 13017 13019 12498 0 -1 4202560 5365 0 0 0 378 83 0 0 16 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13025] ppid=13017 vsize=1541576 CPUtime=4.61 /proc/13019/task/13025/stat : 13025 (java) S 13017 13019 12498 0 -1 4202560 4411 0 0 0 381 80 0 0 16 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 4 0 0 0 [pid=13019/tid=13026] ppid=13017 vsize=1541576 CPUtime=4.41 /proc/13019/task/13026/stat : 13026 (java) S 13017 13019 12498 0 -1 4202560 4461 0 0 0 359 82 0 0 16 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13027] ppid=13017 vsize=1541576 CPUtime=4.63 /proc/13019/task/13027/stat : 13027 (java) S 13017 13019 12498 0 -1 4202560 4337 0 0 0 384 79 0 0 16 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 2 0 0 0 [pid=13019/tid=13028] ppid=13017 vsize=1541576 CPUtime=4.42 /proc/13019/task/13028/stat : 13028 (java) S 13017 13019 12498 0 -1 4202560 4238 0 0 0 357 85 0 0 15 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13029] ppid=13017 vsize=1541576 CPUtime=4.45 /proc/13019/task/13029/stat : 13029 (java) S 13017 13019 12498 0 -1 4202560 4296 0 0 0 361 84 0 0 16 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 6 0 0 0 [pid=13019/tid=13030] ppid=13017 vsize=1541576 CPUtime=1.03 /proc/13019/task/13030/stat : 13030 (java) S 13017 13019 12498 0 -1 4202560 134 0 0 0 51 52 0 0 15 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13031] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13031/stat : 13031 (java) S 13017 13019 12498 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133121984 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13032] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13032/stat : 13032 (java) S 13017 13019 12498 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133121984 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13033] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13033/stat : 13033 (java) S 13017 13019 12498 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 133121986 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13034] ppid=13017 vsize=1541576 CPUtime=0.96 /proc/13019/task/13034/stat : 13034 (java) S 13017 13019 12498 0 -1 4202560 4417 0 0 0 95 1 0 0 16 0 19 0 133121986 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13035] ppid=13017 vsize=1541576 CPUtime=1.22 /proc/13019/task/13035/stat : 13035 (java) S 13017 13019 12498 0 -1 4202560 2640 0 0 0 122 0 0 0 15 0 19 0 133121986 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 4 0 0 0 [pid=13019/tid=13036] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13036/stat : 13036 (java) S 13017 13019 12498 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 133121986 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13037] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13037/stat : 13037 (java) S 13017 13019 12498 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 133121986 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13038] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13038/stat : 13038 (java) S 13017 13019 12498 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133122058 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1541576 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1773.3 s] /proc/loadavg: 2.22 2.08 2.03 3/215 13162 /proc/meminfo: memFree=30843076/32950928 swapFree=67111528/67111528 [pid=13019] ppid=13017 vsize=1541576 CPUtime=1800.02 /proc/13019/stat : 13019 (java) S 13017 13019 12498 0 -1 4202496 82837 0 1 0 179265 737 0 0 20 0 19 0 133121981 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13019/statm: 385394 71073 1446 10 0 382696 0 [pid=13019/tid=13021] ppid=13017 vsize=1541576 CPUtime=1760.51 /proc/13019/task/13021/stat : 13021 (java) R 13017 13019 12498 0 -1 4202560 38620 0 1 0 176037 14 0 0 25 0 19 0 133121982 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4110133420 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=13019/tid=13022] ppid=13017 vsize=1541576 CPUtime=4.45 /proc/13019/task/13022/stat : 13022 (java) S 13017 13019 12498 0 -1 4202560 4563 0 0 0 358 87 0 0 15 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13023] ppid=13017 vsize=1541576 CPUtime=4.61 /proc/13019/task/13023/stat : 13023 (java) S 13017 13019 12498 0 -1 4202560 4194 0 0 0 378 83 0 0 16 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13024] ppid=13017 vsize=1541576 CPUtime=4.61 /proc/13019/task/13024/stat : 13024 (java) S 13017 13019 12498 0 -1 4202560 5365 0 0 0 378 83 0 0 16 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13025] ppid=13017 vsize=1541576 CPUtime=4.61 /proc/13019/task/13025/stat : 13025 (java) S 13017 13019 12498 0 -1 4202560 4411 0 0 0 381 80 0 0 16 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 4 0 0 0 [pid=13019/tid=13026] ppid=13017 vsize=1541576 CPUtime=4.41 /proc/13019/task/13026/stat : 13026 (java) S 13017 13019 12498 0 -1 4202560 4461 0 0 0 359 82 0 0 16 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13027] ppid=13017 vsize=1541576 CPUtime=4.63 /proc/13019/task/13027/stat : 13027 (java) S 13017 13019 12498 0 -1 4202560 4337 0 0 0 384 79 0 0 16 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 2 0 0 0 [pid=13019/tid=13028] ppid=13017 vsize=1541576 CPUtime=4.42 /proc/13019/task/13028/stat : 13028 (java) S 13017 13019 12498 0 -1 4202560 4238 0 0 0 357 85 0 0 15 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13029] ppid=13017 vsize=1541576 CPUtime=4.45 /proc/13019/task/13029/stat : 13029 (java) S 13017 13019 12498 0 -1 4202560 4296 0 0 0 361 84 0 0 16 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 6 0 0 0 [pid=13019/tid=13030] ppid=13017 vsize=1541576 CPUtime=1.03 /proc/13019/task/13030/stat : 13030 (java) S 13017 13019 12498 0 -1 4202560 134 0 0 0 51 52 0 0 15 0 19 0 133121983 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 0 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13031] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13031/stat : 13031 (java) S 13017 13019 12498 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 133121984 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 [pid=13019/tid=13032] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13032/stat : 13032 (java) S 13017 13019 12498 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 133121984 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 7 0 0 0 [pid=13019/tid=13033] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13033/stat : 13033 (java) S 13017 13019 12498 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 133121986 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13034] ppid=13017 vsize=1541576 CPUtime=0.96 /proc/13019/task/13034/stat : 13034 (java) S 13017 13019 12498 0 -1 4202560 4417 0 0 0 95 1 0 0 16 0 19 0 133121986 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13035] ppid=13017 vsize=1541576 CPUtime=1.22 /proc/13019/task/13035/stat : 13035 (java) S 13017 13019 12498 0 -1 4202560 2640 0 0 0 122 0 0 0 15 0 19 0 133121986 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 4 0 0 0 [pid=13019/tid=13036] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13036/stat : 13036 (java) S 13017 13019 12498 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 133121986 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 5 0 0 0 [pid=13019/tid=13037] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13037/stat : 13037 (java) S 13017 13019 12498 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 133121986 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 3 0 0 0 [pid=13019/tid=13038] ppid=13017 vsize=1541576 CPUtime=0 /proc/13019/task/13038/stat : 13038 (java) S 13017 13019 12498 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 133122058 1578573824 71073 4089446400 134512640 134550932 4288043968 18446744073709551615 4294960144 0 4 0 16800975 18446604453927048512 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1541576 Child status: 143 Real time (s): 1773.38 CPU time (s): 1800.18 CPU user time (s): 1792.8 CPU system time (s): 7.38788 CPU usage (%): 101.511 Max. virtual memory (cumulated for all children) (KiB): 1541616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.8 system time used= 7.38788 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82861 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= 223769 involuntary context switches= 2184022 runsolver used 3.3025 second user time and 6.37803 second system time The end
Begin job on node126 at 2010-06-30 19:17:36 IDJOB=2691920 IDBENCH=79102 IDSOLVER=1203 FILE ID=node126/2691920-1277918256 PBS_JOBID= 11197300 Free space on /tmp= 74188 MiB SOLVER NAME= SAT4J PB CuttingPlanes 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv10.ucl--soft-0-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2691920-1277918256/watcher-2691920-1277918256 -o /tmp/evaluation-result-2691920-1277918256/solver-2691920-1277918256 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar CuttingPlanes HOME/instance-2691920-1277918256.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ae1c71418dfe9cc95c50a98d4ee97169 RANDOM SEED=1108785935 node126.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.835 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.835 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 : 5332.83 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.835 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.835 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.83 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.835 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.72 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.835 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.82 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.835 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.75 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.835 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31200836 kB Buffers: 199276 kB Cached: 924496 kB SwapCached: 0 kB Active: 947292 kB Inactive: 660320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31200836 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 996 kB Writeback: 0 kB AnonPages: 483552 kB Mapped: 16192 kB Slab: 78332 kB PageTables: 5652 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 634928 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= 74188 MiB End job on node126 at 2010-06-30 19:47:11