Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | MSAT (TO) | 1800.26 | 1791.7 |
Name | /PARTIAL-BIGINT-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo |
MD5SUM | fddb3e21e350e2df5161d1678905aa9f |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints) |
Best result obtained on this benchmark | MSAT |
Best cost obtained on this benchmark | 10319 |
Best CPU time to get the best result obtained on this benchmark | 1800.26 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 5160 |
Total number of constraints | 512485 |
Number of soft constraints | 512344 |
Number of constraints which are clauses | 512344 |
Number of constraints which are cardinality constraints (but not clauses) | 141 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 44 |
Top cost | 463736 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 146536849 |
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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version 2.2.1.v20100705 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) Server VM 0.00/0.08 c java.vm.version 11.2-b01 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 32 0.00/0.08 c java.version 1.6.0_12 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch i386 0.00/0.08 c Free memory 1393557488 0.00/0.08 c Max memory 1395916800 0.00/0.08 c Total memory 1395916800 0.00/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c Stops conflict analysis at the first Unique Implication Point 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c Expensive reason simplification 0.11/0.10 c Armin Biere (Picosat) restarts strategy 0.11/0.10 c Glucose learned constraints deletion strategy 0.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2701826-1278541783.wbo 0.11/0.10 c reading problem ... 8.55/3.82 c ... done. Wall clock time 3.724s. 8.55/3.82 c #vars 517504 8.55/3.82 c #constraints 512627 8.55/3.82 c constraints type 8.55/3.82 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 493801 8.55/3.82 c org.sat4j.minisat.constraints.card.MinWatchCard => 141 8.55/3.82 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18684 8.55/3.82 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 219.54/213.27 c SATISFIABLE 219.54/213.27 c OPTIMIZING... 219.54/213.27 c Got one! Elapsed wall clock time (in seconds):213.173 219.54/213.27 o 66420 431.42/424.15 c Got one! Elapsed wall clock time (in seconds):424.052 431.42/424.15 o 10319 618.68/610.44 c cleaning 2498 clauses out of 5000 with flag 5000/5000 767.47/759.14 c cleaning 4214 clauses out of 8502 with flag 11000/11000 983.89/975.54 c cleaning 5603 clauses out of 11288 with flag 18000/18000 1800.06/1791.61 c starts : 54 1800.06/1791.61 c conflicts : 24035 1800.06/1791.61 c decisions : 7294679 1800.06/1791.61 c propagations : 442843680 1800.06/1791.61 c inspects : 24327530 1800.06/1791.61 c learnt literals : 0 1800.06/1791.61 c learnt binary clauses : 0 1800.06/1791.61 c learnt ternary clauses : 437 1800.06/1791.61 c learnt clauses : 24034 1800.06/1791.61 c ignored clauses : 0 1800.06/1791.61 c root simplifications : 0 1800.06/1791.61 c removed literals (reason simplification) : 330311 1800.06/1791.61 c reason swapping (by a shorter reason) : 0 1800.06/1791.61 c Calls to reduceDB : 3 1800.06/1791.61 c number of reductions to clauses (during analyze) : 0 1800.06/1791.61 c number of learned constraints concerned by reduction : 0 1800.06/1791.61 c number of learning phase by resolution : 0 1800.06/1791.61 c number of learning phase by cutting planes : 0 1800.06/1791.61 c speed (assignments/second) : 323993.71391279664 1800.06/1791.61 c non guided choices 85833 1800.06/1791.62 c learnt constraints type 1800.06/1791.62 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 11719 1800.06/1791.62 c constraints type 1800.06/1791.62 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 493801 1800.06/1791.62 c org.sat4j.minisat.constraints.card.MinWatchCard => 141 1800.06/1791.62 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18684 1800.06/1791.62 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2 1800.06/1791.62 s SATISFIABLE 1800.06/1791.63 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 1800.06/1791.64 c objective function=10319 1800.06/1791.64 c Total wall clock time (in seconds): 1791.546
OK 10319
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701826-1278541783/watcher-2701826-1278541783 -o /tmp/evaluation-result-2701826-1278541783/solver-2701826-1278541783 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701826-1278541783.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.97 2.03 2.14 3/196 20131 /proc/meminfo: memFree=29531220/32951124 swapFree=67111528/67111528 [pid=20131] ppid=20129 vsize=13164 CPUtime=0 /proc/20131/stat : 20131 (java) R 20129 20131 17859 0 -1 4194304 728 0 0 0 0 0 0 0 17 0 1 0 22391117 13479936 321 4089446400 134512640 134550932 4291822080 18446744073709551615 9074309 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20131/statm: 3291 327 142 10 0 1121 0 [startup+0.099631 s] /proc/loadavg: 1.97 2.03 2.14 3/196 20131 /proc/meminfo: memFree=29531220/32951124 swapFree=67111528/67111528 [pid=20131] ppid=20129 vsize=1530100 CPUtime=0.11 /proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 5232 0 1 0 10 1 0 0 17 0 18 0 22391117 1566822400 4669 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20131/statm: 382525 4670 1345 10 0 379828 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530100 [startup+0.100627 s] /proc/loadavg: 1.97 2.03 2.14 3/196 20131 /proc/meminfo: memFree=29531220/32951124 swapFree=67111528/67111528 [pid=20131] ppid=20129 vsize=1530100 CPUtime=0.11 /proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 5243 0 1 0 10 1 0 0 17 0 18 0 22391117 1566822400 4680 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20131/statm: 382525 4680 1345 10 0 379828 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530100 [startup+0.300567 s] /proc/loadavg: 1.97 2.03 2.14 3/196 20131 /proc/meminfo: memFree=29531220/32951124 swapFree=67111528/67111528 [pid=20131] ppid=20129 vsize=1532388 CPUtime=0.58 /proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 9660 0 1 0 57 1 0 0 17 0 18 0 22391117 1569165312 8730 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20131/statm: 383097 8730 1399 10 0 380400 0 Current children cumulated CPU time (s) 0.58 Current children cumulated vsize (KiB) 1532388 [startup+0.700464 s] /proc/loadavg: 1.97 2.03 2.14 3/196 20131 /proc/meminfo: memFree=29531220/32951124 swapFree=67111528/67111528 [pid=20131] ppid=20129 vsize=1542296 CPUtime=1.45 /proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 43019 0 1 0 139 6 0 0 17 0 18 0 22391117 1579311104 40813 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20131/statm: 385574 40813 1415 10 0 382877 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 1542296 [startup+1.50137 s] /proc/loadavg: 1.97 2.03 2.14 3/214 20149 /proc/meminfo: memFree=29336584/32951124 swapFree=67111528/67111528 [pid=20131] ppid=20129 vsize=1542296 CPUtime=2.7 /proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 57434 0 1 0 261 9 0 0 17 0 18 0 22391117 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20131/statm: 385574 55151 1415 10 0 382877 0 [pid=20131/tid=20133] ppid=20129 vsize=1542296 CPUtime=1.37 /proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32040 0 1 0 132 5 0 0 18 0 18 0 22391118 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4109027420 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=20131/tid=20134] ppid=20129 vsize=1542296 CPUtime=0.02 /proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 628 0 0 0 2 0 0 0 15 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0 [pid=20131/tid=20135] ppid=20129 vsize=1542296 CPUtime=0.08 /proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 2365 0 0 0 8 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20136] ppid=20129 vsize=1542296 CPUtime=0.09 /proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 3695 0 0 0 9 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0 [pid=20131/tid=20137] ppid=20129 vsize=1542296 CPUtime=0.09 /proc/20131/task/20137/stat : 20137 (java) S 20129 20131 17859 0 -1 4202560 3583 0 0 0 9 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20138] ppid=20129 vsize=1542296 CPUtime=0.04 /proc/20131/task/20138/stat : 20138 (java) S 20129 20131 17859 0 -1 4202560 2656 0 0 0 4 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0 [pid=20131/tid=20139] ppid=20129 vsize=1542296 CPUtime=0.09 /proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 2658 0 0 0 9 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 [pid=20131/tid=20140] ppid=20129 vsize=1542296 CPUtime=0.07 /proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 2227 0 0 0 7 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20141] ppid=20129 vsize=1542296 CPUtime=0.05 /proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 1175 0 0 0 5 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0 [pid=20131/tid=20142] ppid=20129 vsize=1542296 CPUtime=0 /proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 22391120 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 [pid=20131/tid=20143] ppid=20129 vsize=1542296 CPUtime=0 /proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 22391120 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20144] ppid=20129 vsize=1542296 CPUtime=0 /proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 18 0 22391120 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20145] ppid=20129 vsize=1542296 CPUtime=0 /proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 18 0 22391122 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20146] ppid=20129 vsize=1542296 CPUtime=0.36 /proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 1940 0 0 0 36 0 0 0 17 0 18 0 22391122 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20147] ppid=20129 vsize=1542296 CPUtime=0.35 /proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 3394 0 0 0 34 1 0 0 18 0 18 0 22391122 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0 [pid=20131/tid=20148] ppid=20129 vsize=1542296 CPUtime=0 /proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22391122 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20149] ppid=20129 vsize=1542296 CPUtime=0 /proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22391122 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.7 Current children cumulated vsize (KiB) 1542296 [startup+3.1011 s] /proc/loadavg: 1.97 2.03 2.14 11/214 20149 /proc/meminfo: memFree=29254496/32951124 swapFree=67111528/67111528 [pid=20131] ppid=20129 vsize=1547460 CPUtime=7.2 /proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 89232 0 1 0 694 26 0 0 17 0 18 0 22391117 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20131/statm: 386865 85576 1421 10 0 384168 0 [pid=20131/tid=20133] ppid=20129 vsize=1547460 CPUtime=2.46 /proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32069 0 1 0 241 5 0 0 15 0 18 0 22391118 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=20131/tid=20134] ppid=20129 vsize=1547460 CPUtime=0.47 /proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 4524 0 0 0 45 2 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0 [pid=20131/tid=20135] ppid=20129 vsize=1547460 CPUtime=0.52 /proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 6860 0 0 0 50 2 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20136] ppid=20129 vsize=1547460 CPUtime=0.51 /proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 9269 0 0 0 49 2 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20137] ppid=20129 vsize=1547460 CPUtime=0.58 /proc/20131/task/20137/stat : 20137 (java) S 20129 20131 17859 0 -1 4202560 7530 0 0 0 55 3 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20138] ppid=20129 vsize=1547460 CPUtime=0.4 /proc/20131/task/20138/stat : 20138 (java) S 20129 20131 17859 0 -1 4202560 4669 0 0 0 39 1 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20139] ppid=20129 vsize=1547460 CPUtime=0.37 /proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 6240 0 0 0 35 2 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 [pid=20131/tid=20140] ppid=20129 vsize=1547460 CPUtime=0.54 /proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 6162 0 0 0 52 2 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20141] ppid=20129 vsize=1547460 CPUtime=0.54 /proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 5502 0 0 0 53 1 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0 [pid=20131/tid=20142] ppid=20129 vsize=1547460 CPUtime=0 /proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 22391120 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 [pid=20131/tid=20143] ppid=20129 vsize=1547460 CPUtime=0 /proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 22391120 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20144] ppid=20129 vsize=1547460 CPUtime=0 /proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 18 0 22391120 1584599040 85577 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20145] ppid=20129 vsize=1547460 CPUtime=0 /proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 18 0 22391122 1584599040 85577 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20146] ppid=20129 vsize=1547460 CPUtime=0.36 /proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 1940 0 0 0 36 0 0 0 15 0 18 0 22391122 1584599040 85578 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20147] ppid=20129 vsize=1547460 CPUtime=0.35 /proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 3394 0 0 0 34 1 0 0 18 0 18 0 22391122 1584599040 85578 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0 [pid=20131/tid=20148] ppid=20129 vsize=1547460 CPUtime=0 /proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22391122 1584599040 85578 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20149] ppid=20129 vsize=1547460 CPUtime=0 /proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22391122 1584599040 85578 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.2 Current children cumulated vsize (KiB) 1547460 [startup+6.30152 s] /proc/loadavg: 2.13 2.06 2.15 3/215 20150 /proc/meminfo: memFree=29106564/32951124 swapFree=67111528/67111528 [pid=20131] ppid=20129 vsize=1551116 CPUtime=12.55 /proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 112059 0 1 0 1220 35 0 0 17 0 19 0 22391117 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20131/statm: 387779 107728 1439 10 0 385082 0 [pid=20131/tid=20133] ppid=20129 vsize=1551116 CPUtime=5.36 /proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32112 0 1 0 531 5 0 0 17 0 19 0 22391118 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4109576641 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=20131/tid=20134] ppid=20129 vsize=1551116 CPUtime=0.71 /proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 7650 0 0 0 67 4 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0 [pid=20131/tid=20135] ppid=20129 vsize=1551116 CPUtime=0.75 /proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 9726 0 0 0 71 4 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 [pid=20131/tid=20136] ppid=20129 vsize=1551116 CPUtime=0.61 /proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 10227 0 0 0 59 2 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20137] ppid=20129 vsize=1551116 CPUtime=0.82 /proc/20131/task/20137/stat : 20137 (java) S 20129 20131 17859 0 -1 4202560 10546 0 0 0 77 5 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20138] ppid=20129 vsize=1551116 CPUtime=0.66 /proc/20131/task/20138/stat : 20138 (java) S 20129 20131 17859 0 -1 4202560 10135 0 0 0 64 2 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20139] ppid=20129 vsize=1551116 CPUtime=0.54 /proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 7935 0 0 0 52 2 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20140] ppid=20129 vsize=1551116 CPUtime=0.74 /proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 8298 0 0 0 71 3 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20141] ppid=20129 vsize=1551116 CPUtime=0.77 /proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 8237 0 0 0 75 2 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0 [pid=20131/tid=20142] ppid=20129 vsize=1551116 CPUtime=0 /proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 22391120 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 [pid=20131/tid=20143] ppid=20129 vsize=1551116 CPUtime=0 /proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22391120 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20144] ppid=20129 vsize=1551116 CPUtime=0 /proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 22391120 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20145] ppid=20129 vsize=1551116 CPUtime=0 /proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 22391122 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20146] ppid=20129 vsize=1551116 CPUtime=0.61 /proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 2049 0 0 0 61 0 0 0 15 0 19 0 22391122 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20147] ppid=20129 vsize=1551116 CPUtime=0.85 /proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 4065 0 0 0 84 1 0 0 15 0 19 0 22391122 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20148] ppid=20129 vsize=1551116 CPUtime=0 /proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22391122 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20149] ppid=20129 vsize=1551116 CPUtime=0 /proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 22391122 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0 [pid=20131/tid=20150] ppid=20129 vsize=1551116 CPUtime=0 /proc/20131/task/20150/stat : 20150 (java) S 20129 20131 17859 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 22391579 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 1551116 [startup+12.7014 s] /proc/loadavg: 2.12 2.06 2.15 3/215 20151 /proc/meminfo: memFree=29106028/32951124 swapFree=67111528/67111528 [pid=20131] ppid=20129 vsize=1551116 CPUtime=19.04 /proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 112070 0 1 0 1869 35 0 0 17 0 19 0 22391117 1588342784 107736 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20131/statm: 387779 107736 1441 10 0 385082 0 [pid=20131/tid=20133] ppid=20129 vsize=1551116 CPUtime=11.76 /proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32115 0 1 0 1171 5 0 0 25 0 19 0 22391118 1588342784 107736 4089446400 134512640 134550932 4291822080 18446744073709551615 4109725688 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=20131/tid=20134] ppid=20129 vsize=1551116 CPUtime=0.71 /proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 7650 0 0 0 67 4 0 0 15 0 19 0 22391119 1588342784 107736 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0 [pid=20131/tid=20135] ppid=20129 vsize=1551116 CPUtime=0.75 /proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 9726 0 0 0 71 4 0 0 15 0 19 0 22391119 1588342784 107736 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 [pid=20131/tid=20136] ppid=20129 vsize=1551116 CPUtime=0.61 /proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 10227 0 0 0 59 2 0 0 15 0 19 0 22391119 1588342784 107736 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 ################ # More data... # ################ [pid=20131/tid=20139] ppid=20129 vsize=1552396 CPUtime=0.8 /proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 12343 0 0 0 76 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20140] ppid=20129 vsize=1552396 CPUtime=1.02 /proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 15335 0 0 0 98 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20141] ppid=20129 vsize=1552396 CPUtime=1.08 /proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 14866 0 0 0 103 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0 [pid=20131/tid=20142] ppid=20129 vsize=1552396 CPUtime=1.74 /proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10562 0 0 0 172 2 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 [pid=20131/tid=20143] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20144] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20145] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20146] ppid=20129 vsize=1552396 CPUtime=0.69 /proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 2067 0 0 0 69 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20147] ppid=20129 vsize=1552396 CPUtime=1.14 /proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 4553 0 0 0 113 1 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20148] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20149] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0 [pid=20131/tid=20150] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20150/stat : 20150 (java) S 20129 20131 17859 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 22391579 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1670.75 Current children cumulated vsize (KiB) 1552396 [startup+1722.3 s] /proc/loadavg: 1.00 1.06 1.40 2/189 20220 /proc/meminfo: memFree=29018304/32951124 swapFree=67111528/67111528 [pid=20131] ppid=20129 vsize=1552396 CPUtime=1730.75 /proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 162579 0 1 0 173022 53 0 0 17 0 19 0 22391117 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20131/statm: 388099 146580 1446 10 0 385402 0 [pid=20131/tid=20133] ppid=20129 vsize=1552396 CPUtime=1719.23 /proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32141 0 1 0 171918 5 0 0 25 0 19 0 22391118 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4109771820 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=20131/tid=20134] ppid=20129 vsize=1552396 CPUtime=1.01 /proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 10887 0 0 0 96 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0 [pid=20131/tid=20135] ppid=20129 vsize=1552396 CPUtime=1.02 /proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 15790 0 0 0 96 6 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0 [pid=20131/tid=20136] ppid=20129 vsize=1552396 CPUtime=0.89 /proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 14232 0 0 0 85 4 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0 [pid=20131/tid=20137] ppid=20129 vsize=1552396 CPUtime=1.11 /proc/20131/task/20137/stat : 20137 (java) S 20129 20131 17859 0 -1 4202560 14225 0 0 0 105 6 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20138] ppid=20129 vsize=1552396 CPUtime=0.9 /proc/20131/task/20138/stat : 20138 (java) S 20129 20131 17859 0 -1 4202560 14409 0 0 0 85 5 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20139] ppid=20129 vsize=1552396 CPUtime=0.8 /proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 12343 0 0 0 76 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20140] ppid=20129 vsize=1552396 CPUtime=1.02 /proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 15335 0 0 0 98 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20141] ppid=20129 vsize=1552396 CPUtime=1.08 /proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 14866 0 0 0 103 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0 [pid=20131/tid=20142] ppid=20129 vsize=1552396 CPUtime=1.74 /proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10562 0 0 0 172 2 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 [pid=20131/tid=20143] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20144] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20145] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20146] ppid=20129 vsize=1552396 CPUtime=0.69 /proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 2067 0 0 0 69 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20147] ppid=20129 vsize=1552396 CPUtime=1.14 /proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 4553 0 0 0 113 1 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20148] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20149] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0 [pid=20131/tid=20150] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20150/stat : 20150 (java) S 20129 20131 17859 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 22391579 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1730.75 Current children cumulated vsize (KiB) 1552396 [startup+1782.3 s] /proc/loadavg: 1.00 1.04 1.37 2/189 20221 /proc/meminfo: memFree=29018500/32951124 swapFree=67111528/67111528 [pid=20131] ppid=20129 vsize=1552396 CPUtime=1790.76 /proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 162581 0 1 0 179023 53 0 0 17 0 19 0 22391117 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20131/statm: 388099 146580 1446 10 0 385402 0 [pid=20131/tid=20133] ppid=20129 vsize=1552396 CPUtime=1779.23 /proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32141 0 1 0 177918 5 0 0 25 0 19 0 22391118 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4109771820 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=20131/tid=20134] ppid=20129 vsize=1552396 CPUtime=1.01 /proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 10887 0 0 0 96 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0 [pid=20131/tid=20135] ppid=20129 vsize=1552396 CPUtime=1.02 /proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 15790 0 0 0 96 6 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0 [pid=20131/tid=20136] ppid=20129 vsize=1552396 CPUtime=0.89 /proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 14232 0 0 0 85 4 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0 [pid=20131/tid=20137] ppid=20129 vsize=1552396 CPUtime=1.11 /proc/20131/task/20137/stat : 20137 (java) S 20129 20131 17859 0 -1 4202560 14225 0 0 0 105 6 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20138] ppid=20129 vsize=1552396 CPUtime=0.9 /proc/20131/task/20138/stat : 20138 (java) S 20129 20131 17859 0 -1 4202560 14409 0 0 0 85 5 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20139] ppid=20129 vsize=1552396 CPUtime=0.8 /proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 12343 0 0 0 76 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20140] ppid=20129 vsize=1552396 CPUtime=1.02 /proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 15335 0 0 0 98 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20141] ppid=20129 vsize=1552396 CPUtime=1.08 /proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 14866 0 0 0 103 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0 [pid=20131/tid=20142] ppid=20129 vsize=1552396 CPUtime=1.74 /proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10562 0 0 0 172 2 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 [pid=20131/tid=20143] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20144] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20145] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20146] ppid=20129 vsize=1552396 CPUtime=0.69 /proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 2067 0 0 0 69 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20147] ppid=20129 vsize=1552396 CPUtime=1.14 /proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 4553 0 0 0 113 1 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20148] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20149] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0 [pid=20131/tid=20150] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20150/stat : 20150 (java) S 20129 20131 17859 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 22391579 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1790.76 Current children cumulated vsize (KiB) 1552396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1791.6 s] /proc/loadavg: 1.00 1.04 1.36 2/189 20222 /proc/meminfo: memFree=29018480/32951124 swapFree=67111528/67111528 [pid=20131] ppid=20129 vsize=1552396 CPUtime=1800.06 /proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 162583 0 1 0 179953 53 0 0 17 0 19 0 22391117 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/20131/statm: 388099 146580 1446 10 0 385402 0 [pid=20131/tid=20133] ppid=20129 vsize=1552396 CPUtime=1788.54 /proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32141 0 1 0 178849 5 0 0 25 0 19 0 22391118 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4109697994 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=20131/tid=20134] ppid=20129 vsize=1552396 CPUtime=1.01 /proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 10887 0 0 0 96 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0 [pid=20131/tid=20135] ppid=20129 vsize=1552396 CPUtime=1.02 /proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 15790 0 0 0 96 6 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0 [pid=20131/tid=20136] ppid=20129 vsize=1552396 CPUtime=0.89 /proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 14232 0 0 0 85 4 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0 [pid=20131/tid=20137] ppid=20129 vsize=1552396 CPUtime=1.11 /proc/20131/task/20137/stat : 20137 (java) S 20129 20131 17859 0 -1 4202560 14225 0 0 0 105 6 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20138] ppid=20129 vsize=1552396 CPUtime=0.9 /proc/20131/task/20138/stat : 20138 (java) S 20129 20131 17859 0 -1 4202560 14409 0 0 0 85 5 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20139] ppid=20129 vsize=1552396 CPUtime=0.8 /proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 12343 0 0 0 76 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20140] ppid=20129 vsize=1552396 CPUtime=1.02 /proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 15335 0 0 0 98 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20141] ppid=20129 vsize=1552396 CPUtime=1.08 /proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 14866 0 0 0 103 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0 [pid=20131/tid=20142] ppid=20129 vsize=1552396 CPUtime=1.74 /proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10562 0 0 0 172 2 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 [pid=20131/tid=20143] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20144] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20145] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0 [pid=20131/tid=20146] ppid=20129 vsize=1552396 CPUtime=0.69 /proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 2067 0 0 0 69 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20147] ppid=20129 vsize=1552396 CPUtime=1.14 /proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 4553 0 0 0 113 1 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0 [pid=20131/tid=20148] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0 [pid=20131/tid=20149] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0 [pid=20131/tid=20150] ppid=20129 vsize=1552396 CPUtime=0 /proc/20131/task/20150/stat : 20150 (java) S 20129 20131 17859 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 22391579 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1552396 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1791.7 CPU time (s): 1800.26 CPU user time (s): 1799.7 CPU system time (s): 0.560914 CPU usage (%): 100.477 Max. virtual memory (cumulated for all children) (KiB): 1564404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.7 system time used= 0.560914 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 162616 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= 38326 involuntary context switches= 104280 runsolver used 2.85257 second user time and 6.21905 second system time The end
Begin job on node140 at 2010-07-08 00:29:43 IDJOB=2701826 IDBENCH=79643 IDSOLVER=1211 FILE ID=node140/2701826-1278541783 PBS_JOBID= 11239198 Free space on /tmp= 73684 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph07_wcsp.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701826-1278541783/watcher-2701826-1278541783 -o /tmp/evaluation-result-2701826-1278541783/solver-2701826-1278541783 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701826-1278541783.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fddb3e21e350e2df5161d1678905aa9f RANDOM SEED=1929707673 node140.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.817 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.63 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.817 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 : 5261.06 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.817 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.82 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.817 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.77 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.817 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.80 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.817 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.74 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29531492 kB Buffers: 142236 kB Cached: 2992936 kB SwapCached: 0 kB Active: 1229292 kB Inactive: 2035428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29531492 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 15740 kB Writeback: 0 kB AnonPages: 129732 kB Mapped: 20332 kB Slab: 89516 kB PageTables: 4984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1657604 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73684 MiB End job on node140 at 2010-07-08 00:59:37