| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT | 4.80227 | 3.95719 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_30.opb |
| MD5SUM | 9b3f3b3179d65f92280a08a48060346e |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.51992 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 8930 |
| Total number of constraints | 43809 |
| Number of constraints which are clauses | 43804 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 94 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 124 |
| Number of bits of the biggest sum of numbers | 7 |
| 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-2013 Artois University and CNRS 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.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization by upper bound 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 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 lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Glucose 2.1 dynamic restart strategy 0.11/0.10 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-4098231-1466119942.opb 0.11/0.10 c reading problem ... 0.11/0.10 c no objective function found 1.57/1.15 c ... done. Wall clock time 1.048s. 1.57/1.15 c declared #vars 8930 1.57/1.15 c #constraints 43813 1.57/1.15 c constraints type 1.57/1.15 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26226 1.57/1.15 c org.sat4j.specs.Constr$1 => 4 1.57/1.15 c org.sat4j.minisat.constraints.card.MinWatchCard => 3 1.57/1.15 c org.sat4j.minisat.constraints.cnf.UnitClause => 3 1.57/1.15 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17577 1.57/1.15 c 43813 constraints processed. 4.73/3.92 c SATISFIABLE 4.73/3.93 c starts : 4 4.73/3.93 c conflicts : 4726 4.73/3.93 c decisions : 70732 4.73/3.93 c propagations : 3538653 4.73/3.93 c inspects : 28915200 4.73/3.93 c shortcuts : 0 4.73/3.93 c learnt literals : 0 4.73/3.93 c learnt binary clauses : 0 4.73/3.93 c learnt ternary clauses : 0 4.73/3.93 c learnt constraints : 4726 4.73/3.93 c ignored constraints : 0 4.73/3.93 c root simplifications : 0 4.73/3.93 c removed literals (reason simplification) : 0 4.73/3.93 c reason swapping (by a shorter reason) : 0 4.73/3.93 c Calls to reduceDB : 0 4.73/3.93 c Number of update (reduction) of LBD : 2412 4.73/3.93 c Imported unit clauses : 0 4.73/3.93 c number of reductions to clauses (during analyze) : 0 4.73/3.93 c number of learned constraints concerned by reduction : 0 4.73/3.93 c number of learning phase by resolution : 0 4.73/3.93 c number of learning phase by cutting planes : 0 4.73/3.93 c speed (assignments/second) : 1279339.4793926247 4.73/3.93 c non guided choices 5991 4.73/3.93 c learnt constraints type 4.73/3.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 4726 4.73/3.93 s SATISFIABLE 4.73/3.93 c Found 1 solution(s) 4.73/3.94 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 4.73/3.95 c Total wall clock time (in seconds): 3.848
OK 0
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4098231-1466119942/watcher-4098231-1466119942 -o /tmp/evaluation-result-4098231-1466119942/solver-4098231-1466119942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466119911-1325 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4098231-1466119942.opb pid=2074 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.83 1.41 1.56 4/194 2077 /proc/meminfo: memFree=30222756/32872528 swapFree=1430864/1543284 [pid=2077] ppid=2074 vsize=89736 CPUtime=0 cores=0,2,4,6 /proc/2077/stat : 2077 (java) S 2074 2077 31185 0 -1 4202496 1239 0 0 0 0 0 0 0 20 0 2 0 14042914 91889664 883 33554432000 1073741824 1073778376 140737224382336 140737224373472 266439000125 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2077/statm: 22435 886 670 9 0 16770 0 [pid=2077/tid=2078] ppid=2074 vsize=91816 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2078/stat : 2078 (java) D 2074 2077 31185 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 14042915 94019584 917 33554432000 1073741824 1073778376 140737224382336 140292064779816 266426477863 0 0 4096 0 18446744072100609316 0 0 -1 4 0 0 0 0 0 [startup+0.10006 s] /proc/loadavg: 1.83 1.41 1.56 4/194 2077 /proc/meminfo: memFree=30222756/32872528 swapFree=1430864/1543284 [pid=2077] ppid=2074 vsize=9558476 CPUtime=0.11 cores=0,2,4,6 /proc/2077/stat : 2077 (java) S 2074 2077 31185 0 -1 4202496 4477 0 1 0 10 1 0 0 20 0 18 0 14042914 9787879424 6100 33554432000 1073741824 1073778376 140737224382336 140737224373472 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2077/statm: 2389619 6100 2155 9 0 2380296 0 [pid=2077/tid=2078] ppid=2074 vsize=9558476 CPUtime=0.07 cores=0,2,4,6 /proc/2077/task/2078/stat : 2078 (java) R 2074 2077 31185 0 -1 4202560 2377 0 1 0 7 0 0 0 20 0 18 0 14042915 9787879424 6100 33554432000 1073741824 1073778376 140737224382336 140292064783264 266439025933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200267 s] /proc/loadavg: 1.83 1.41 1.56 4/194 2077 /proc/meminfo: memFree=30222756/32872528 swapFree=1430864/1543284 [pid=2077] ppid=2074 vsize=9558476 CPUtime=0.31 cores=0,2,4,6 /proc/2077/stat : 2077 (java) S 2074 2077 31185 0 -1 4202496 5838 0 1 0 30 1 0 0 20 0 18 0 14042914 9787879424 7900 33554432000 1073741824 1073778376 140737224382336 140737224373472 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2077/statm: 2389619 7901 2221 9 0 2380296 0 [pid=2077/tid=2078] ppid=2074 vsize=9558476 CPUtime=0.17 cores=0,2,4,6 /proc/2077/task/2078/stat : 2078 (java) R 2074 2077 31185 0 -1 4202560 2399 0 1 0 17 0 0 0 20 0 18 0 14042915 9787879424 7901 33554432000 1073741824 1073778376 140737224382336 140292064764872 140291902399187 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 9558476 [startup+0.300266 s] /proc/loadavg: 1.83 1.41 1.56 4/194 2077 /proc/meminfo: memFree=30222756/32872528 swapFree=1430864/1543284 [pid=2077] ppid=2074 vsize=9558476 CPUtime=0.58 cores=0,2,4,6 /proc/2077/stat : 2077 (java) S 2074 2077 31185 0 -1 4202496 7317 0 1 0 57 1 0 0 20 0 18 0 14042914 9787879424 11269 33554432000 1073741824 1073778376 140737224382336 140737224373472 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2077/statm: 2389619 11269 2238 9 0 2380296 0 [pid=2077/tid=2078] ppid=2074 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/2077/task/2078/stat : 2078 (java) R 2074 2077 31185 0 -1 4202560 2404 0 1 0 26 1 0 0 20 0 18 0 14042915 9787879424 11269 33554432000 1073741824 1073778376 140737224382336 140292064764872 140291902727731 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 9558476 [startup+0.700268 s] /proc/loadavg: 1.83 1.41 1.56 4/194 2077 /proc/meminfo: memFree=30222756/32872528 swapFree=1430864/1543284 [pid=2077] ppid=2074 vsize=9558476 CPUtime=1.01 cores=0,2,4,6 /proc/2077/stat : 2077 (java) S 2074 2077 31185 0 -1 4202496 7424 0 1 0 97 4 0 0 20 0 18 0 14042914 9787879424 39948 33554432000 1073741824 1073778376 140737224382336 140737224373472 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2077/statm: 2389619 39948 2256 9 0 2380296 0 [pid=2077/tid=2078] ppid=2074 vsize=9558476 CPUtime=0.67 cores=0,2,4,6 /proc/2077/task/2078/stat : 2078 (java) R 2074 2077 31185 0 -1 4202560 2463 0 1 0 64 3 0 0 20 0 18 0 14042915 9787879424 39948 33554432000 1073741824 1073778376 140737224382336 140292064783632 266439025933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 9558476 [startup+1.50077 s] /proc/loadavg: 1.83 1.41 1.56 4/212 2095 /proc/meminfo: memFree=30063620/32872528 swapFree=1430864/1543284 [pid=2077] ppid=2074 vsize=9625040 CPUtime=2.24 cores=0,2,4,6 /proc/2077/stat : 2077 (java) S 2074 2077 31185 0 -1 4202496 9380 0 1 0 219 5 0 0 20 0 19 0 14042914 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140737224373472 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2077/statm: 2406260 42755 2276 9 0 2396937 0 [pid=2077/tid=2078] ppid=2074 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/2077/task/2078/stat : 2078 (java) R 2074 2077 31185 0 -1 4202560 2479 0 1 0 143 3 0 0 20 0 19 0 14042915 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140292064776344 140291902899786 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2080] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2080/stat : 2080 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140292026276264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2081] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2081/stat : 2081 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140292025223720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2082] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2082/stat : 2082 (java) S 2074 2077 31185 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140292024170664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2083] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2083/stat : 2083 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140292023118120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2077/tid=2084] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2084/stat : 2084 (java) S 2074 2077 31185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140292022066088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2085] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2085/stat : 2085 (java) S 2074 2077 31185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140292021013544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2086] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2086/stat : 2086 (java) S 2074 2077 31185 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140291902270120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2087] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2087/stat : 2087 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140291901217576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2088] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2088/stat : 2088 (java) S 2074 2077 31185 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140291889019240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2089] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2089/stat : 2089 (java) S 2074 2077 31185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140291887965560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2090] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2090/stat : 2090 (java) S 2074 2077 31185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140291886912392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2091] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2091/stat : 2091 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140291147294992 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2092] ppid=2074 vsize=9625040 CPUtime=0.34 cores=0,2,4,6 /proc/2077/task/2092/stat : 2092 (java) S 2074 2077 31185 0 -1 4202560 3198 0 0 0 34 0 0 0 20 0 19 0 14042919 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140291146242872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2093] ppid=2074 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/2077/task/2093/stat : 2093 (java) S 2074 2077 31185 0 -1 4202560 2333 0 0 0 36 0 0 0 20 0 19 0 14042919 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140291145190328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2094] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2094/stat : 2094 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140291144137464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2095] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2095/stat : 2095 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42755 33554432000 1073741824 1073778376 140737224382336 140291143085128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.24 Current children cumulated vsize (KiB) 9625040 [startup+3.10076 s] /proc/loadavg: 1.83 1.41 1.56 4/213 2096 /proc/meminfo: memFree=30058960/32872528 swapFree=1430864/1543284 [pid=2077] ppid=2074 vsize=9625040 CPUtime=3.89 cores=0,2,4,6 /proc/2077/stat : 2077 (java) S 2074 2077 31185 0 -1 4202496 9385 0 1 0 384 5 0 0 20 0 19 0 14042914 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140737224373472 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2077/statm: 2406260 42759 2279 9 0 2396937 0 [pid=2077/tid=2078] ppid=2074 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/2077/task/2078/stat : 2078 (java) R 2074 2077 31185 0 -1 4202560 2480 0 1 0 303 3 0 0 20 0 19 0 14042915 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292064782720 140291903052645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2080] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2080/stat : 2080 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292026276264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2081] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2081/stat : 2081 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292025223720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2082] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2082/stat : 2082 (java) S 2074 2077 31185 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292024170664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2083] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2083/stat : 2083 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292023118120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2077/tid=2084] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2084/stat : 2084 (java) S 2074 2077 31185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292022066088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2085] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2085/stat : 2085 (java) S 2074 2077 31185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292021013544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2086] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2086/stat : 2086 (java) S 2074 2077 31185 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291902270120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2087] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2087/stat : 2087 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291901217576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2088] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2088/stat : 2088 (java) S 2074 2077 31185 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291889019240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2089] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2089/stat : 2089 (java) S 2074 2077 31185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291887965560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2090] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2090/stat : 2090 (java) S 2074 2077 31185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291886912392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2091] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2091/stat : 2091 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291147294992 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2092] ppid=2074 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/2077/task/2092/stat : 2092 (java) S 2074 2077 31185 0 -1 4202560 3201 0 0 0 39 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291146242872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2093] ppid=2074 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/2077/task/2093/stat : 2093 (java) S 2074 2077 31185 0 -1 4202560 2333 0 0 0 36 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291145190328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2077/tid=2094] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2094/stat : 2094 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291144137464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2095] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2095/stat : 2095 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291143085128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2096] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2096/stat : 2096 (java) S 2074 2077 31185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14043031 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291142030376 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.89 Current children cumulated vsize (KiB) 9625040 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 2077 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20095 s] /proc/loadavg: 1.83 1.41 1.56 4/213 2096 /proc/meminfo: memFree=30058960/32872528 swapFree=1430864/1543284 [pid=2077] ppid=2074 vsize=9625040 CPUtime=3.99 cores=0,2,4,6 /proc/2077/stat : 2077 (java) S 2074 2077 31185 0 -1 4202496 9385 0 1 0 394 5 0 0 20 0 19 0 14042914 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140737224373472 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2077/statm: 2406260 42759 2279 9 0 2396937 0 [pid=2077/tid=2078] ppid=2074 vsize=9625040 CPUtime=3.16 cores=0,2,4,6 /proc/2077/task/2078/stat : 2078 (java) R 2074 2077 31185 0 -1 4202560 2480 0 1 0 313 3 0 0 20 0 19 0 14042915 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292064782720 140291902998934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2080] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2080/stat : 2080 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292026276264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2081] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2081/stat : 2081 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292025223720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2082] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2082/stat : 2082 (java) S 2074 2077 31185 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292024170664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2083] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2083/stat : 2083 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292023118120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2077/tid=2084] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2084/stat : 2084 (java) S 2074 2077 31185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292022066088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2085] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2085/stat : 2085 (java) S 2074 2077 31185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292021013544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2086] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2086/stat : 2086 (java) S 2074 2077 31185 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291902270120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2087] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2087/stat : 2087 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291901217576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2088] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2088/stat : 2088 (java) S 2074 2077 31185 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291889019240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2089] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2089/stat : 2089 (java) S 2074 2077 31185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291887965560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2090] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2090/stat : 2090 (java) S 2074 2077 31185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291886912392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2091] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2091/stat : 2091 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291147294992 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2092] ppid=2074 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/2077/task/2092/stat : 2092 (java) S 2074 2077 31185 0 -1 4202560 3201 0 0 0 39 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291146242872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2093] ppid=2074 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/2077/task/2093/stat : 2093 (java) S 2074 2077 31185 0 -1 4202560 2333 0 0 0 36 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291145190328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2077/tid=2094] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2094/stat : 2094 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291144137464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2095] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2095/stat : 2095 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291143085128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2096] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2096/stat : 2096 (java) S 2074 2077 31185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14043031 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291142030376 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.99 Current children cumulated vsize (KiB) 9625040 [startup+3.6008 s] /proc/loadavg: 1.83 1.41 1.56 3/213 2096 /proc/meminfo: memFree=30058836/32872528 swapFree=1430864/1543284 [pid=2077] ppid=2074 vsize=9625040 CPUtime=4.39 cores=0,2,4,6 /proc/2077/stat : 2077 (java) S 2074 2077 31185 0 -1 4202496 9385 0 1 0 434 5 0 0 20 0 19 0 14042914 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140737224373472 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2077/statm: 2406260 42759 2279 9 0 2396937 0 [pid=2077/tid=2078] ppid=2074 vsize=9625040 CPUtime=3.56 cores=0,2,4,6 /proc/2077/task/2078/stat : 2078 (java) R 2074 2077 31185 0 -1 4202560 2480 0 1 0 353 3 0 0 20 0 19 0 14042915 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292064782720 140291903052418 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2080] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2080/stat : 2080 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292026276264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2081] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2081/stat : 2081 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292025223720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2082] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2082/stat : 2082 (java) S 2074 2077 31185 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292024170664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2083] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2083/stat : 2083 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292023118120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2077/tid=2084] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2084/stat : 2084 (java) S 2074 2077 31185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292022066088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2085] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2085/stat : 2085 (java) S 2074 2077 31185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140292021013544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2086] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2086/stat : 2086 (java) S 2074 2077 31185 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291902270120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2087] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2087/stat : 2087 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291901217576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2088] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2088/stat : 2088 (java) S 2074 2077 31185 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291889019240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2089] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2089/stat : 2089 (java) S 2074 2077 31185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291887965560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2090] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2090/stat : 2090 (java) S 2074 2077 31185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291886912392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2091] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2091/stat : 2091 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291147294992 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2092] ppid=2074 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/2077/task/2092/stat : 2092 (java) S 2074 2077 31185 0 -1 4202560 3201 0 0 0 39 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291146242872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2093] ppid=2074 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/2077/task/2093/stat : 2093 (java) S 2074 2077 31185 0 -1 4202560 2333 0 0 0 36 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291145190328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2077/tid=2094] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2094/stat : 2094 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291144137464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2095] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2095/stat : 2095 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291143085128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2096] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2096/stat : 2096 (java) S 2074 2077 31185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14043031 9856040960 42759 33554432000 1073741824 1073778376 140737224382336 140291142030376 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.39 Current children cumulated vsize (KiB) 9625040 [startup+3.80078 s] /proc/loadavg: 1.83 1.41 1.56 3/213 2096 /proc/meminfo: memFree=30058836/32872528 swapFree=1430864/1543284 [pid=2077] ppid=2074 vsize=9625040 CPUtime=4.63 cores=0,2,4,6 /proc/2077/stat : 2077 (java) S 2074 2077 31185 0 -1 4202496 9387 0 1 0 458 5 0 0 20 0 19 0 14042914 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140737224373472 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2077/statm: 2406260 42760 2280 9 0 2396937 0 [pid=2077/tid=2078] ppid=2074 vsize=9625040 CPUtime=3.76 cores=0,2,4,6 /proc/2077/task/2078/stat : 2078 (java) R 2074 2077 31185 0 -1 4202560 2481 0 1 0 373 3 0 0 20 0 19 0 14042915 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292064782720 140291902944654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2080] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2080/stat : 2080 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292026276264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2081] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2081/stat : 2081 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292025223720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2082] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2082/stat : 2082 (java) S 2074 2077 31185 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292024170664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2083] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2083/stat : 2083 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292023118120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2077/tid=2084] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2084/stat : 2084 (java) S 2074 2077 31185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292022066088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2085] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2085/stat : 2085 (java) S 2074 2077 31185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292021013544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2086] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2086/stat : 2086 (java) S 2074 2077 31185 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291902270120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2087] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2087/stat : 2087 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291901217576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2088] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2088/stat : 2088 (java) S 2074 2077 31185 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291889019240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2089] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2089/stat : 2089 (java) S 2074 2077 31185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291887965560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2090] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2090/stat : 2090 (java) S 2074 2077 31185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291886912392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2091] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2091/stat : 2091 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291147294992 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2092] ppid=2074 vsize=9625040 CPUtime=0.43 cores=0,2,4,6 /proc/2077/task/2092/stat : 2092 (java) S 2074 2077 31185 0 -1 4202560 3202 0 0 0 43 0 0 0 20 0 19 0 14042919 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291146242872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2093] ppid=2074 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/2077/task/2093/stat : 2093 (java) S 2074 2077 31185 0 -1 4202560 2333 0 0 0 36 0 0 0 20 0 19 0 14042919 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291145190328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2077/tid=2094] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2094/stat : 2094 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291144137464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2095] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2095/stat : 2095 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291143085128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2096] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2096/stat : 2096 (java) S 2074 2077 31185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14043031 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291142030376 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.63 Current children cumulated vsize (KiB) 9625040 [startup+3.90078 s] /proc/loadavg: 1.83 1.41 1.56 3/213 2096 /proc/meminfo: memFree=30058836/32872528 swapFree=1430864/1543284 [pid=2077] ppid=2074 vsize=9625040 CPUtime=4.73 cores=0,2,4,6 /proc/2077/stat : 2077 (java) S 2074 2077 31185 0 -1 4202496 9387 0 1 0 468 5 0 0 20 0 19 0 14042914 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140737224373472 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/2077/statm: 2406260 42760 2280 9 0 2396937 0 [pid=2077/tid=2078] ppid=2074 vsize=9625040 CPUtime=3.86 cores=0,2,4,6 /proc/2077/task/2078/stat : 2078 (java) R 2074 2077 31185 0 -1 4202560 2481 0 1 0 383 3 0 0 20 0 19 0 14042915 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292064782720 140291903052645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2080] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2080/stat : 2080 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292026276264 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2081] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2081/stat : 2081 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292025223720 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2082] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2082/stat : 2082 (java) S 2074 2077 31185 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292024170664 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2083] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2083/stat : 2083 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292023118120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2077/tid=2084] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2084/stat : 2084 (java) S 2074 2077 31185 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292022066088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2085] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2085/stat : 2085 (java) S 2074 2077 31185 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140292021013544 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2086] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2086/stat : 2086 (java) S 2074 2077 31185 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291902270120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=2077/tid=2087] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2087/stat : 2087 (java) S 2074 2077 31185 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 14042916 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291901217576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2088] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2088/stat : 2088 (java) S 2074 2077 31185 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291889019240 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2089] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2089/stat : 2089 (java) S 2074 2077 31185 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291887965560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2090] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2090/stat : 2090 (java) S 2074 2077 31185 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 14042917 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291886912392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2091] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2091/stat : 2091 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291147294992 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=2077/tid=2092] ppid=2074 vsize=9625040 CPUtime=0.43 cores=0,2,4,6 /proc/2077/task/2092/stat : 2092 (java) S 2074 2077 31185 0 -1 4202560 3202 0 0 0 43 0 0 0 20 0 19 0 14042919 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291146242872 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2093] ppid=2074 vsize=9625040 CPUtime=0.36 cores=0,2,4,6 /proc/2077/task/2093/stat : 2093 (java) S 2074 2077 31185 0 -1 4202560 2333 0 0 0 36 0 0 0 20 0 19 0 14042919 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291145190328 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=2077/tid=2094] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2094/stat : 2094 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291144137464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2095] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2095/stat : 2095 (java) S 2074 2077 31185 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 14042919 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291143085128 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=2077/tid=2096] ppid=2074 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/2077/task/2096/stat : 2096 (java) S 2074 2077 31185 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 14043031 9856040960 42760 33554432000 1073741824 1073778376 140737224382336 140291142030376 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.73 Current children cumulated vsize (KiB) 9625040 Child status: 10 Real time (s): 3.95719 CPU time (s): 4.80227 CPU user time (s): 4.73128 CPU system time (s): 0.070989 CPU usage (%): 121.356 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.73128 system time used= 0.070989 maximum resident set size= 171540 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9407 page faults= 1 swaps= 0 block input operations= 0 block output operations= 64 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 381 involuntary context switches= 45 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.022996 second user time and 0.035994 second system time The end
Begin job on node116 at 2016-06-17 01:32:22 IDJOB=4098231 IDBENCH=107870 IDSOLVER=2546 FILE ID=node116/4098231-1466119942 RUNJOBID= node116-1466119911-1325 PBS_JOBID= 19904124 Free space on /tmp= 71624 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_30.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098231-1466119942/watcher-4098231-1466119942 -o /tmp/evaluation-result-4098231-1466119942/solver-4098231-1466119942 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466119911-1325 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4098231-1466119942.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9b3f3b3179d65f92280a08a48060346e RANDOM SEED=1645890385 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.781 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30222656 kB Buffers: 64340 kB Cached: 157280 kB SwapCached: 2876 kB Active: 280056 kB Inactive: 113500 kB Active(anon): 172672 kB Inactive(anon): 2164 kB Active(file): 107384 kB Inactive(file): 111336 kB Unevictable: 1543284 kB Mlocked: 1430864 kB SwapTotal: 67108856 kB SwapFree: 67099564 kB Dirty: 11768 kB Writeback: 0 kB AnonPages: 1720208 kB Mapped: 15316 kB Shmem: 0 kB Slab: 572872 kB SReclaimable: 16168 kB SUnreclaim: 556704 kB KernelStack: 1600 kB PageTables: 7400 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2230260 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 260096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71624 MiB End job on node116 at 2016-06-17 01:32:26