| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Resolution 2011-06-08 | MSAT (TO) | 1800.35 | 1795.62 |
| Name | /PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo |
| MD5SUM | b42a0c18226ee2c23d631dce3f98019c |
| Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
| Best result obtained on this benchmark | MSAT TO |
| Best cost obtained on this benchmark | 115680 |
| Best CPU time to get the best result obtained on this benchmark | 1800.35 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 7542 |
| Total number of constraints | 1065451 |
| Number of soft constraints | 1065251 |
| Number of constraints which are clauses | 1065251 |
| Number of constraints which are cardinality constraints (but not clauses) | 200 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 44 |
| Top cost | 476244 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 266649860 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 9996466904 0.00/0.09 c Max memory 10048897024 0.00/0.09 c Total memory 10048897024 0.00/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3493034-1307914045.wbo 0.10/0.11 c reading problem ... 8.45/6.38 c ... done. Wall clock time 6.277s. 8.45/6.38 c #vars 1072793 8.45/6.38 c #constraints 1065652 8.45/6.38 c constraints type 8.45/6.38 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1065451 8.45/6.38 c org.sat4j.minisat.constraints.card.MinWatchCard => 200 8.45/6.38 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 531.05/528.33 c SATISFIABLE 531.05/528.33 c OPTIMIZING... 531.05/528.33 c Got one! Elapsed wall clock time (in seconds):528.227 531.05/528.34 o 115680 757.44/754.61 c cleaning 2926 clauses out of 5856 with flag 5000/5856 1024.04/1019.64 c cleaning 4460 clauses out of 8930 with flag 11000/11856 1521.23/1516.78 c cleaning 5731 clauses out of 11470 with flag 18000/18856 1800.02/1795.41 c starts : 46 1800.02/1795.41 c conflicts : 19275 1800.02/1795.41 c decisions : 40123610 1800.02/1795.41 c propagations : 1194164642 1800.02/1795.41 c inspects : 57675034 1800.02/1795.41 c shortcuts : 0 1800.02/1795.41 c learnt literals : 0 1800.02/1795.41 c learnt binary clauses : 0 1800.02/1795.41 c learnt ternary clauses : 0 1800.02/1795.41 c learnt constraints : 19274 1800.02/1795.41 c ignored constraints : 0 1800.02/1795.41 c root simplifications : 0 1800.02/1795.41 c removed literals (reason simplification) : 355436 1800.02/1795.41 c reason swapping (by a shorter reason) : 0 1800.02/1795.41 c Calls to reduceDB : 3 1800.02/1795.41 c number of reductions to clauses (during analyze) : 0 1800.02/1795.41 c number of learned constraints concerned by reduction : 0 1800.02/1795.41 c number of learning phase by resolution : 0 1800.02/1795.41 c number of learning phase by cutting planes : 0 1800.02/1795.41 c speed (assignments/second) : 942709.2143041531 1800.02/1795.41 c non guided choices 825790 1800.02/1795.41 c learnt constraints type 1800.02/1795.41 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 6157 1800.02/1795.41 c constraints type 1800.02/1795.41 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1065451 1800.02/1795.41 c org.sat4j.minisat.constraints.card.MinWatchCard => 200 1800.02/1795.41 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2 1800.02/1795.41 s SATISFIABLE 1800.02/1795.42 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 1800.02/1795.45 c objective function=115680 1800.02/1795.45 c Total wall clock time (in seconds): 1795.344
OK 115680
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3493034-1307914045/watcher-3493034-1307914045 -o /var/tmp/evaluation-result-3493034-1307914045/solver-3493034-1307914045 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3493034-1307914045.wbo running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.00 2/195 11962 /proc/meminfo: memFree=1610252/32950928 swapFree=67055156/67111528 [pid=11962] ppid=11960 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/11962/stat : 11962 (java) R 11960 11962 9537 0 -1 4202496 953 0 0 0 0 0 0 0 24 0 1 0 903004372 23580672 696 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248084735889 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11962/statm: 5757 697 514 9 0 124 0 [startup+0.086346 s] /proc/loadavg: 2.00 2.01 2.00 2/195 11962 /proc/meminfo: memFree=1610252/32950928 swapFree=67055156/67111528 [pid=11962] ppid=11960 vsize=10539216 CPUtime=0.07 cores=0,2,4,6 /proc/11962/stat : 11962 (java) S 11960 11962 9537 0 -1 4202496 12428 0 1 0 6 1 0 0 24 0 18 0 903004372 10792157184 12121 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11962/statm: 2634804 12127 1975 9 0 2625538 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10539216 [startup+0.107374 s] /proc/loadavg: 2.00 2.01 2.00 2/195 11962 /proc/meminfo: memFree=1610252/32950928 swapFree=67055156/67111528 [pid=11962] ppid=11960 vsize=10539916 CPUtime=0.1 cores=0,2,4,6 /proc/11962/stat : 11962 (java) S 11960 11962 9537 0 -1 4202496 13140 0 1 0 9 1 0 0 24 0 18 0 903004372 10792873984 12815 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11962/statm: 2634979 12816 2093 9 0 2625713 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539916 [startup+0.300338 s] /proc/loadavg: 2.00 2.01 2.00 2/195 11962 /proc/meminfo: memFree=1610252/32950928 swapFree=67055156/67111528 [pid=11962] ppid=11960 vsize=10544944 CPUtime=0.56 cores=0,2,4,6 /proc/11962/stat : 11962 (java) S 11960 11962 9537 0 -1 4202496 21160 0 1 0 53 3 0 0 24 0 18 0 903004372 10798022656 19993 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11962/statm: 2636236 19994 2203 9 0 2626970 0 Current children cumulated CPU time (s) 0.56 Current children cumulated vsize (KiB) 10544944 [startup+0.700272 s] /proc/loadavg: 2.00 2.01 2.00 2/195 11962 /proc/meminfo: memFree=1610252/32950928 swapFree=67055156/67111528 [pid=11962] ppid=11960 vsize=10544264 CPUtime=1.31 cores=0,2,4,6 /proc/11962/stat : 11962 (java) S 11960 11962 9537 0 -1 4202496 58624 0 1 0 123 8 0 0 24 0 18 0 903004372 10797326336 56253 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11962/statm: 2636066 56257 2219 9 0 2626800 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 10544264 [startup+1.50102 s] /proc/loadavg: 2.00 2.01 2.00 3/213 11980 /proc/meminfo: memFree=1244184/32950928 swapFree=67055156/67111528 [pid=11962] ppid=11960 vsize=10544264 CPUtime=2.1 cores=0,2,4,6 /proc/11962/stat : 11962 (java) S 11960 11962 9537 0 -1 4202496 154857 0 1 0 194 16 0 0 24 0 18 0 903004372 10797326336 152485 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11962/statm: 2636066 152489 2220 9 0 2626800 0 [pid=11962/tid=11964] ppid=11960 vsize=10544264 CPUtime=1.48 cores=0,2,4,6 /proc/11962/task/11964/stat : 11964 (java) R 11960 11962 9537 0 -1 4202560 148550 0 1 0 133 15 0 0 19 0 18 0 903004373 10797326336 152492 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 46912505617678 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=11962/tid=11965] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11965/stat : 11965 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 152494 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11966] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11966/stat : 11966 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 152497 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11967] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11967/stat : 11967 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 152498 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11968] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11968/stat : 11968 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 152499 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11969] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11969/stat : 11969 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 152502 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11970] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11970/stat : 11970 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 152505 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11971] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11971/stat : 11971 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 152508 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11972] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11972/stat : 11972 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 152510 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11973] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11973/stat : 11973 (java) S 11960 11962 9537 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 903004375 10797326336 152513 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 0 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11974] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11974/stat : 11974 (java) S 11960 11962 9537 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 903004376 10797326336 152516 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11975] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11975/stat : 11975 (java) S 11960 11962 9537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 903004376 10797326336 152519 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11976] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11976/stat : 11976 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004378 10797326336 152522 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101521841 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11977] ppid=11960 vsize=10544264 CPUtime=0.3 cores=0,2,4,6 /proc/11962/task/11977/stat : 11977 (java) S 11960 11962 9537 0 -1 4202560 2224 0 0 0 30 0 0 0 17 0 18 0 903004378 10797326336 152524 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11978] ppid=11960 vsize=10544264 CPUtime=0.31 cores=0,2,4,6 /proc/11962/task/11978/stat : 11978 (java) S 11960 11962 9537 0 -1 4202560 2938 0 0 0 31 0 0 0 25 0 18 0 903004378 10797326336 152527 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11979] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11979/stat : 11979 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004378 10797326336 152530 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11980] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11980/stat : 11980 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 903004378 10797326336 152533 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.1 Current children cumulated vsize (KiB) 10544264 [startup+3.10085 s] /proc/loadavg: 2.00 2.01 2.00 3/213 11980 /proc/meminfo: memFree=731568/32950928 swapFree=67055156/67111528 [pid=11962] ppid=11960 vsize=10544264 CPUtime=3.71 cores=0,2,4,6 /proc/11962/stat : 11962 (java) S 11960 11962 9537 0 -1 4202496 342195 0 1 0 324 47 0 0 24 0 18 0 903004372 10797326336 339823 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11962/statm: 2636066 339828 2220 9 0 2626800 0 [pid=11962/tid=11964] ppid=11960 vsize=10544264 CPUtime=3.08 cores=0,2,4,6 /proc/11962/task/11964/stat : 11964 (java) R 11960 11962 9537 0 -1 4202560 335888 0 1 0 262 46 0 0 23 0 18 0 903004373 10797326336 339830 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 46912505572379 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=11962/tid=11965] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11965/stat : 11965 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 339833 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11966] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11966/stat : 11966 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 339836 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11967] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11967/stat : 11967 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 339839 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11968] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11968/stat : 11968 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 339842 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11969] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11969/stat : 11969 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 339844 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11970] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11970/stat : 11970 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 339847 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11971] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11971/stat : 11971 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 339850 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11972] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11972/stat : 11972 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004374 10797326336 339853 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11973] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11973/stat : 11973 (java) S 11960 11962 9537 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 903004375 10797326336 339856 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 0 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11974] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11974/stat : 11974 (java) S 11960 11962 9537 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 903004376 10797326336 339859 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11975] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11975/stat : 11975 (java) S 11960 11962 9537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 903004376 10797326336 339861 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11976] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11976/stat : 11976 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004378 10797326336 339864 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101521841 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11977] ppid=11960 vsize=10544264 CPUtime=0.3 cores=0,2,4,6 /proc/11962/task/11977/stat : 11977 (java) S 11960 11962 9537 0 -1 4202560 2224 0 0 0 30 0 0 0 17 0 18 0 903004378 10797326336 339867 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11978] ppid=11960 vsize=10544264 CPUtime=0.31 cores=0,2,4,6 /proc/11962/task/11978/stat : 11978 (java) S 11960 11962 9537 0 -1 4202560 2938 0 0 0 31 0 0 0 18 0 18 0 903004378 10797326336 339870 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11979] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11979/stat : 11979 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004378 10797326336 339873 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11980] ppid=11960 vsize=10544264 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11980/stat : 11980 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 903004378 10797326336 339875 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.71 Current children cumulated vsize (KiB) 10544264 [startup+6.30124 s] /proc/loadavg: 2.08 2.02 2.01 3/213 11980 /proc/meminfo: memFree=97176/32950928 swapFree=67055156/67111528 [pid=11962] ppid=11960 vsize=10542792 CPUtime=8.45 cores=0,2,4,6 /proc/11962/stat : 11962 (java) S 11960 11962 9537 0 -1 4202496 773071 0 1 0 739 106 0 0 24 0 18 0 903004372 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11962/statm: 2635698 770247 2243 9 0 2626432 0 [pid=11962/tid=11964] ppid=11960 vsize=10542792 CPUtime=5.77 cores=0,2,4,6 /proc/11962/task/11964/stat : 11964 (java) R 11960 11962 9537 0 -1 4202560 650990 0 1 0 488 89 0 0 21 0 18 0 903004373 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 46912505835597 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=11962/tid=11965] ppid=11960 vsize=10542792 CPUtime=0.01 cores=0,2,4,6 /proc/11962/task/11965/stat : 11965 (java) S 11960 11962 9537 0 -1 4202560 1017 0 0 0 1 0 0 0 18 0 18 0 903004374 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11966] ppid=11960 vsize=10542792 CPUtime=0.16 cores=0,2,4,6 /proc/11962/task/11966/stat : 11966 (java) S 11960 11962 9537 0 -1 4202560 8001 0 0 0 15 1 0 0 18 0 18 0 903004374 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 4 0 0 0 [pid=11962/tid=11967] ppid=11960 vsize=10542792 CPUtime=0.15 cores=0,2,4,6 /proc/11962/task/11967/stat : 11967 (java) S 11960 11962 9537 0 -1 4202560 7550 0 0 0 15 0 0 0 18 0 18 0 903004374 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11968] ppid=11960 vsize=10542792 CPUtime=0.2 cores=0,2,4,6 /proc/11962/task/11968/stat : 11968 (java) S 11960 11962 9537 0 -1 4202560 11564 0 0 0 19 1 0 0 18 0 18 0 903004374 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11969] ppid=11960 vsize=10542792 CPUtime=0.29 cores=0,2,4,6 /proc/11962/task/11969/stat : 11969 (java) S 11960 11962 9537 0 -1 4202560 16956 0 0 0 27 2 0 0 18 0 18 0 903004374 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11970] ppid=11960 vsize=10542792 CPUtime=0.46 cores=0,2,4,6 /proc/11962/task/11970/stat : 11970 (java) S 11960 11962 9537 0 -1 4202560 28921 0 0 0 43 3 0 0 18 0 18 0 903004374 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11971] ppid=11960 vsize=10542792 CPUtime=0.34 cores=0,2,4,6 /proc/11962/task/11971/stat : 11971 (java) S 11960 11962 9537 0 -1 4202560 23917 0 0 0 31 3 0 0 18 0 18 0 903004374 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 4 0 0 0 [pid=11962/tid=11972] ppid=11960 vsize=10542792 CPUtime=0.31 cores=0,2,4,6 /proc/11962/task/11972/stat : 11972 (java) S 11960 11962 9537 0 -1 4202560 17832 0 0 0 29 2 0 0 18 0 18 0 903004374 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11973] ppid=11960 vsize=10542792 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11973/stat : 11973 (java) S 11960 11962 9537 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 903004375 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 0 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11974] ppid=11960 vsize=10542792 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11974/stat : 11974 (java) S 11960 11962 9537 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 18 0 903004376 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11975] ppid=11960 vsize=10542792 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11975/stat : 11975 (java) S 11960 11962 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 18 0 903004376 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11976] ppid=11960 vsize=10542792 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11976/stat : 11976 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004378 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101521841 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11977] ppid=11960 vsize=10542792 CPUtime=0.34 cores=0,2,4,6 /proc/11962/task/11977/stat : 11977 (java) S 11960 11962 9537 0 -1 4202560 2229 0 0 0 34 0 0 0 15 0 18 0 903004378 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11978] ppid=11960 vsize=10542792 CPUtime=0.32 cores=0,2,4,6 /proc/11962/task/11978/stat : 11978 (java) S 11960 11962 9537 0 -1 4202560 2939 0 0 0 32 0 0 0 15 0 18 0 903004378 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11979] ppid=11960 vsize=10542792 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11979/stat : 11979 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 903004378 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11980] ppid=11960 vsize=10542792 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11980/stat : 11980 (java) S 11960 11962 9537 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 903004378 10795819008 770247 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.45 Current children cumulated vsize (KiB) 10542792 [startup+12.7012 s] /proc/loadavg: 2.07 2.02 2.00 3/214 11981 /proc/meminfo: memFree=95532/32950928 swapFree=67055156/67111528 [pid=11962] ppid=11960 vsize=10548492 CPUtime=15.4 cores=0,2,4,6 /proc/11962/stat : 11962 (java) S 11960 11962 9537 0 -1 4202496 774525 0 1 0 1434 106 0 0 24 0 19 0 903004372 10801655808 771454 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11962/statm: 2637123 771454 2254 9 0 2627857 0 [pid=11962/tid=11964] ppid=11960 vsize=10548492 CPUtime=12.17 cores=0,2,4,6 ################ # More data... # ################ /proc/11962/task/11975/stat : 11975 (java) S 11960 11962 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 903004376 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11976] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11976/stat : 11976 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101521841 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11977] ppid=11960 vsize=10548492 CPUtime=0.79 cores=0,2,4,6 /proc/11962/task/11977/stat : 11977 (java) S 11960 11962 9537 0 -1 4202560 3504 0 0 0 79 0 0 0 16 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11978] ppid=11960 vsize=10548492 CPUtime=0.61 cores=0,2,4,6 /proc/11962/task/11978/stat : 11978 (java) S 11960 11962 9537 0 -1 4202560 3124 0 0 0 61 0 0 0 15 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11979] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11979/stat : 11979 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11980] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11980/stat : 11980 (java) S 11960 11962 9537 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11981] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11981/stat : 11981 (java) S 11960 11962 9537 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 903005040 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1666.91 Current children cumulated vsize (KiB) 10548492 [startup+1722.3 s] /proc/loadavg: 1.00 1.33 1.69 2/190 12053 /proc/meminfo: memFree=223240/32950928 swapFree=67055156/67111528 [pid=11962] ppid=11960 vsize=10548492 CPUtime=1726.92 cores=0,2,4,6 /proc/11962/stat : 11962 (java) S 11960 11962 9537 0 -1 4202496 999641 0 1 0 172557 135 0 0 24 0 19 0 903004372 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11962/statm: 2637123 996214 2266 9 0 2627857 0 [pid=11962/tid=11964] ppid=11960 vsize=10548492 CPUtime=1717.62 cores=0,2,4,6 /proc/11962/task/11964/stat : 11964 (java) R 11960 11962 9537 0 -1 4202560 651037 0 1 0 171672 90 0 0 25 0 19 0 903004373 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 46912506165665 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=11962/tid=11965] ppid=11960 vsize=10548492 CPUtime=0.31 cores=0,2,4,6 /proc/11962/task/11965/stat : 11965 (java) S 11960 11962 9537 0 -1 4202560 21436 0 0 0 29 2 0 0 18 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11966] ppid=11960 vsize=10548492 CPUtime=0.53 cores=0,2,4,6 /proc/11962/task/11966/stat : 11966 (java) S 11960 11962 9537 0 -1 4202560 32958 0 0 0 49 4 0 0 18 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11967] ppid=11960 vsize=10548492 CPUtime=0.42 cores=0,2,4,6 /proc/11962/task/11967/stat : 11967 (java) S 11960 11962 9537 0 -1 4202560 19829 0 0 0 39 3 0 0 17 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11968] ppid=11960 vsize=10548492 CPUtime=0.42 cores=0,2,4,6 /proc/11962/task/11968/stat : 11968 (java) S 11960 11962 9537 0 -1 4202560 19320 0 0 0 40 2 0 0 16 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11969] ppid=11960 vsize=10548492 CPUtime=0.41 cores=0,2,4,6 /proc/11962/task/11969/stat : 11969 (java) S 11960 11962 9537 0 -1 4202560 23915 0 0 0 38 3 0 0 16 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11970] ppid=11960 vsize=10548492 CPUtime=0.71 cores=0,2,4,6 /proc/11962/task/11970/stat : 11970 (java) S 11960 11962 9537 0 -1 4202560 39524 0 0 0 67 4 0 0 18 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11971] ppid=11960 vsize=10548492 CPUtime=0.55 cores=0,2,4,6 /proc/11962/task/11971/stat : 11971 (java) S 11960 11962 9537 0 -1 4202560 29577 0 0 0 51 4 0 0 18 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11972] ppid=11960 vsize=10548492 CPUtime=0.82 cores=0,2,4,6 /proc/11962/task/11972/stat : 11972 (java) S 11960 11962 9537 0 -1 4202560 45710 0 0 0 76 6 0 0 17 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11973] ppid=11960 vsize=10548492 CPUtime=3.59 cores=0,2,4,6 /proc/11962/task/11973/stat : 11973 (java) S 11960 11962 9537 0 -1 4202560 108457 0 0 0 349 10 0 0 15 0 19 0 903004375 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 0 0 16800975 18446604453846934464 0 0 -1 4 0 0 0 [pid=11962/tid=11974] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11974/stat : 11974 (java) S 11960 11962 9537 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 903004376 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11975] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11975/stat : 11975 (java) S 11960 11962 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 903004376 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11976] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11976/stat : 11976 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101521841 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11977] ppid=11960 vsize=10548492 CPUtime=0.79 cores=0,2,4,6 /proc/11962/task/11977/stat : 11977 (java) S 11960 11962 9537 0 -1 4202560 3504 0 0 0 79 0 0 0 16 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11978] ppid=11960 vsize=10548492 CPUtime=0.61 cores=0,2,4,6 /proc/11962/task/11978/stat : 11978 (java) S 11960 11962 9537 0 -1 4202560 3124 0 0 0 61 0 0 0 15 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11979] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11979/stat : 11979 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11980] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11980/stat : 11980 (java) S 11960 11962 9537 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11981] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11981/stat : 11981 (java) S 11960 11962 9537 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 903005040 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1726.92 Current children cumulated vsize (KiB) 10548492 [startup+1782.3 s] /proc/loadavg: 1.00 1.27 1.64 2/190 12055 /proc/meminfo: memFree=223196/32950928 swapFree=67055156/67111528 [pid=11962] ppid=11960 vsize=10548492 CPUtime=1786.92 cores=0,2,4,6 /proc/11962/stat : 11962 (java) S 11960 11962 9537 0 -1 4202496 999643 0 1 0 178557 135 0 0 24 0 19 0 903004372 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11962/statm: 2637123 996214 2266 9 0 2627857 0 [pid=11962/tid=11964] ppid=11960 vsize=10548492 CPUtime=1777.62 cores=0,2,4,6 /proc/11962/task/11964/stat : 11964 (java) R 11960 11962 9537 0 -1 4202560 651037 0 1 0 177672 90 0 0 25 0 19 0 903004373 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 46912506142912 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=11962/tid=11965] ppid=11960 vsize=10548492 CPUtime=0.31 cores=0,2,4,6 /proc/11962/task/11965/stat : 11965 (java) S 11960 11962 9537 0 -1 4202560 21436 0 0 0 29 2 0 0 18 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11966] ppid=11960 vsize=10548492 CPUtime=0.53 cores=0,2,4,6 /proc/11962/task/11966/stat : 11966 (java) S 11960 11962 9537 0 -1 4202560 32958 0 0 0 49 4 0 0 18 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11967] ppid=11960 vsize=10548492 CPUtime=0.42 cores=0,2,4,6 /proc/11962/task/11967/stat : 11967 (java) S 11960 11962 9537 0 -1 4202560 19829 0 0 0 39 3 0 0 17 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11968] ppid=11960 vsize=10548492 CPUtime=0.42 cores=0,2,4,6 /proc/11962/task/11968/stat : 11968 (java) S 11960 11962 9537 0 -1 4202560 19320 0 0 0 40 2 0 0 16 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11969] ppid=11960 vsize=10548492 CPUtime=0.41 cores=0,2,4,6 /proc/11962/task/11969/stat : 11969 (java) S 11960 11962 9537 0 -1 4202560 23915 0 0 0 38 3 0 0 16 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11970] ppid=11960 vsize=10548492 CPUtime=0.71 cores=0,2,4,6 /proc/11962/task/11970/stat : 11970 (java) S 11960 11962 9537 0 -1 4202560 39524 0 0 0 67 4 0 0 18 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11971] ppid=11960 vsize=10548492 CPUtime=0.55 cores=0,2,4,6 /proc/11962/task/11971/stat : 11971 (java) S 11960 11962 9537 0 -1 4202560 29577 0 0 0 51 4 0 0 18 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11972] ppid=11960 vsize=10548492 CPUtime=0.82 cores=0,2,4,6 /proc/11962/task/11972/stat : 11972 (java) S 11960 11962 9537 0 -1 4202560 45710 0 0 0 76 6 0 0 17 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11973] ppid=11960 vsize=10548492 CPUtime=3.59 cores=0,2,4,6 /proc/11962/task/11973/stat : 11973 (java) S 11960 11962 9537 0 -1 4202560 108457 0 0 0 349 10 0 0 15 0 19 0 903004375 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 0 0 16800975 18446604453846934464 0 0 -1 4 0 0 0 [pid=11962/tid=11974] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11974/stat : 11974 (java) S 11960 11962 9537 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 903004376 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11975] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11975/stat : 11975 (java) S 11960 11962 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 903004376 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11976] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11976/stat : 11976 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101521841 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11977] ppid=11960 vsize=10548492 CPUtime=0.79 cores=0,2,4,6 /proc/11962/task/11977/stat : 11977 (java) S 11960 11962 9537 0 -1 4202560 3504 0 0 0 79 0 0 0 16 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11978] ppid=11960 vsize=10548492 CPUtime=0.61 cores=0,2,4,6 /proc/11962/task/11978/stat : 11978 (java) S 11960 11962 9537 0 -1 4202560 3124 0 0 0 61 0 0 0 15 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11979] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11979/stat : 11979 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11980] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11980/stat : 11980 (java) S 11960 11962 9537 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11981] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11981/stat : 11981 (java) S 11960 11962 9537 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 903005040 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1786.92 Current children cumulated vsize (KiB) 10548492 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.4 s] /proc/loadavg: 1.00 1.25 1.63 2/190 12055 /proc/meminfo: memFree=223180/32950928 swapFree=67055156/67111528 [pid=11962] ppid=11960 vsize=10548492 CPUtime=1800.02 cores=0,2,4,6 /proc/11962/stat : 11962 (java) S 11960 11962 9537 0 -1 4202496 999645 0 1 0 179867 135 0 0 24 0 19 0 903004372 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11962/statm: 2637123 996214 2266 9 0 2627857 0 [pid=11962/tid=11964] ppid=11960 vsize=10548492 CPUtime=1790.72 cores=0,2,4,6 /proc/11962/task/11964/stat : 11964 (java) R 11960 11962 9537 0 -1 4202560 651037 0 1 0 178982 90 0 0 25 0 19 0 903004373 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 46912505923006 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=11962/tid=11965] ppid=11960 vsize=10548492 CPUtime=0.31 cores=0,2,4,6 /proc/11962/task/11965/stat : 11965 (java) S 11960 11962 9537 0 -1 4202560 21436 0 0 0 29 2 0 0 18 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11966] ppid=11960 vsize=10548492 CPUtime=0.53 cores=0,2,4,6 /proc/11962/task/11966/stat : 11966 (java) S 11960 11962 9537 0 -1 4202560 32958 0 0 0 49 4 0 0 18 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11967] ppid=11960 vsize=10548492 CPUtime=0.42 cores=0,2,4,6 /proc/11962/task/11967/stat : 11967 (java) S 11960 11962 9537 0 -1 4202560 19829 0 0 0 39 3 0 0 17 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11968] ppid=11960 vsize=10548492 CPUtime=0.42 cores=0,2,4,6 /proc/11962/task/11968/stat : 11968 (java) S 11960 11962 9537 0 -1 4202560 19320 0 0 0 40 2 0 0 16 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11969] ppid=11960 vsize=10548492 CPUtime=0.41 cores=0,2,4,6 /proc/11962/task/11969/stat : 11969 (java) S 11960 11962 9537 0 -1 4202560 23915 0 0 0 38 3 0 0 16 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11970] ppid=11960 vsize=10548492 CPUtime=0.71 cores=0,2,4,6 /proc/11962/task/11970/stat : 11970 (java) S 11960 11962 9537 0 -1 4202560 39524 0 0 0 67 4 0 0 18 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11971] ppid=11960 vsize=10548492 CPUtime=0.55 cores=0,2,4,6 /proc/11962/task/11971/stat : 11971 (java) S 11960 11962 9537 0 -1 4202560 29577 0 0 0 51 4 0 0 18 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11972] ppid=11960 vsize=10548492 CPUtime=0.82 cores=0,2,4,6 /proc/11962/task/11972/stat : 11972 (java) S 11960 11962 9537 0 -1 4202560 45710 0 0 0 76 6 0 0 17 0 19 0 903004374 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11973] ppid=11960 vsize=10548492 CPUtime=3.59 cores=0,2,4,6 /proc/11962/task/11973/stat : 11973 (java) S 11960 11962 9537 0 -1 4202560 108457 0 0 0 349 10 0 0 15 0 19 0 903004375 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 0 0 16800975 18446604453846934464 0 0 -1 4 0 0 0 [pid=11962/tid=11974] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11974/stat : 11974 (java) S 11960 11962 9537 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 903004376 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11975] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11975/stat : 11975 (java) S 11960 11962 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 903004376 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11976] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11976/stat : 11976 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101521841 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11977] ppid=11960 vsize=10548492 CPUtime=0.79 cores=0,2,4,6 /proc/11962/task/11977/stat : 11977 (java) S 11960 11962 9537 0 -1 4202560 3504 0 0 0 79 0 0 0 16 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11978] ppid=11960 vsize=10548492 CPUtime=0.61 cores=0,2,4,6 /proc/11962/task/11978/stat : 11978 (java) S 11960 11962 9537 0 -1 4202560 3124 0 0 0 61 0 0 0 15 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 [pid=11962/tid=11979] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11979/stat : 11979 (java) S 11960 11962 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514137 0 4 0 16800975 18446604453846934464 0 0 -1 6 0 0 0 [pid=11962/tid=11980] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11980/stat : 11980 (java) S 11960 11962 9537 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 903004378 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 4 0 16800975 18446604453846934464 0 0 -1 2 0 0 0 [pid=11962/tid=11981] ppid=11960 vsize=10548492 CPUtime=0 cores=0,2,4,6 /proc/11962/task/11981/stat : 11981 (java) S 11960 11962 9537 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 903005040 10801655808 996214 33554432000 1073741824 1073778376 140736448374976 18446744073709551615 248101514752 0 4 0 16800975 18446604453846934464 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 10548492 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.6 s] /proc/loadavg: 1.00 1.25 1.63 2/190 12055 /proc/meminfo: memFree=223180/32950928 swapFree=67055156/67111528 [pid=11962] ppid=11960 vsize=0 CPUtime=1800.31 cores=0,2,4,6 /proc/11962/stat : 11962 (java) Z 11960 11962 9537 0 -1 4203548 999679 0 1 0 179882 149 0 0 17 0 2 0 903004372 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/11962/statm: 0 0 0 0 0 0 0 [pid=11962/tid=11971] ppid=11960 vsize=0 CPUtime=0.69 cores=0,2,4,6 /proc/11962/task/11971/stat : 11971 (java) R 11960 11962 9537 0 -1 4203588 29577 0 0 0 51 18 0 0 18 0 2 0 903004374 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.31 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1795.62 CPU time (s): 1800.35 CPU user time (s): 1798.83 CPU system time (s): 1.52077 CPU usage (%): 100.263 Max. virtual memory (cumulated for all children) (KiB): 10548492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.83 system time used= 1.52077 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 999679 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 36790 involuntary context switches= 3988 runsolver used 3.20151 second user time and 6.51201 second system time The end
Begin job on node123 at 2011-06-12 23:27:26 IDJOB=3493034 IDBENCH=79645 IDSOLVER=1982 FILE ID=node123/3493034-1307914045 RUNJOBID= node123-1307907982-10981 PBS_JOBID= 13559583 Free space on /var/tmp= 2864 MiB SOLVER NAME= Sat4j Resolution 2011-06-08 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph06_wcsp.wbo COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3493034-1307914045/watcher-3493034-1307914045 -o /var/tmp/evaluation-result-3493034-1307914045/solver-3493034-1307914045 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3493034-1307914045.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b42a0c18226ee2c23d631dce3f98019c RANDOM SEED=592457404 node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 1610804 kB Buffers: 69780 kB Cached: 30182692 kB SwapCached: 10036 kB Active: 14713244 kB Inactive: 15679580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 1610804 kB SwapTotal: 67111528 kB SwapFree: 67055156 kB Dirty: 33116 kB Writeback: 12 kB AnonPages: 137776 kB Mapped: 21156 kB Slab: 883024 kB PageTables: 5080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 10549520 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2864 MiB End job on node123 at 2011-06-12 23:57:23