Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
sat4jPseudoCP 2007-03-23 | SAT (TO) | 7508861 | 1800.36 | 1784.02 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos17.opb |
MD5SUM | 6ec9fbaf74a275630384576eed2d57d7 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 7508861 |
Best CPU time to get the best result obtained on this benchmark | 1800.36 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7508861 |
Optimality of the best value was proved | NO |
Number of variables | 3115 |
Total number of constraints | 671 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 671 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 780 |
Number of terms in the objective function | 2126 |
Biggest coefficient in the objective function | 27663360 |
Number of bits for the biggest coefficient in the objective function | 25 |
Sum of the numbers in the objective function | 110500348 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 1677721600000000 |
Number of bits of the biggest number in a constraint | 51 |
Biggest sum of numbers in a constraint | 40265324766820451 |
Number of bits of the biggest sum of numbers | 56 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.14 c no version file found!!! 0.09/0.14 c sun.arch.data.model 32 0.09/0.14 c java.version 1.6.0 0.09/0.14 c os.name Linux 0.09/0.14 c os.version 2.6.9-22.EL.rootsmp 0.09/0.14 c os.arch i386 0.09/0.15 c Free memory 1651659224 0.09/0.15 c Max memory 1654456320 0.09/0.15 c Total memory 1654456320 0.09/0.15 c Number of processors 2 0.20/0.20 c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolver) 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/354049-1176692652/instance-354049-1176692652.opb 0.20/0.20 c reading problem ... 2.48/1.75 c ... done. Wall clock time 1.555s. 2.48/1.76 c CPU time (experimental) 1.2s. 2.48/1.76 c #vars 3115 2.48/1.76 c #constraints 672 12.42/9.97 c SATISFIABLE 12.42/9.97 c OPTIMIZING... 12.42/9.97 c Got one! Elapsed wall clock time (in seconds):9.767 12.42/9.98 o 34787593 15.27/12.76 c Got one! Elapsed wall clock time (in seconds):12.56 15.27/12.77 o 14319050 16.15/13.59 c Got one! Elapsed wall clock time (in seconds):13.392 16.25/13.60 o 10630083 18.91/16.28 c Got one! Elapsed wall clock time (in seconds):16.083 18.91/16.29 o 8819636 20.66/17.90 c Got one! Elapsed wall clock time (in seconds):17.699 20.66/17.90 o 7508861 1800.06/1783.82 c starts : 8 1800.06/1783.82 c conflicts : 742 1800.06/1783.82 c decisions : 56269 1800.06/1783.82 c propagations : 100540 1800.06/1783.82 c inspects : 1519285 1800.06/1783.82 c learnt literals : 0 1800.06/1783.82 c learnt binary clauses : 0 1800.06/1783.82 c learnt ternary clauses : 0 1800.06/1783.82 c learnt clauses : 741 1800.06/1783.82 c root simplifications : 0 1800.06/1783.82 c removed literals (reason simplification) : 0 1800.06/1783.82 c reason swapping (by a shorter reason) : 0 1800.06/1783.82 c Calls to reduceDB : 0 1800.06/1783.82 c speed (decisions/second) : 31.864078912422908 1800.06/1783.82 c non guided choices 2098 1800.06/1783.82 s SATISFIABLE 1800.06/1783.87 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 1800.06/1783.87 v -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 1800.06/1783.87 v -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 1800.06/1783.87 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.06/1783.87 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.06/1783.87 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.06/1783.87 v -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.06/1783.87 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.06/1783.87 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.06/1783.87 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.06/1783.87 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.06/1783.87 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.06/1783.87 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.06/1783.87 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.06/1783.87 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.06/1783.87 v -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.06/1783.87 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.06/1783.87 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 1800.06/1783.87 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.06/1783.87 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.06/1783.87 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.06/1783.87 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.06/1783.87 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.06/1783.87 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.06/1783.87 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.06/1783.87 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.06/1783.87 v -x567 -x568 -x569 -x570 x571 -x572 x573 x574 x575 -x576 x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1800.06/1783.87 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1800.06/1783.87 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1800.06/1783.87 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.06/1783.87 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1800.06/1783.87 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1800.06/1783.87 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1800.06/1783.87 v -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1800.06/1783.87 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 1800.06/1783.87 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1800.06/1783.87 v -x778 -x779 -x780 -x781 x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 x793 -x794 -x795 -x796 x797 x798 x799 1800.06/1783.87 v x800 x801 x802 -x803 -x804 -x805 x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 x820 x821 1800.06/1783.87 v -x822 x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 x831 x832 x833 -x834 x835 x836 -x837 x838 -x839 x840 -x841 x842 -x843 x844 1800.06/1783.87 v x845 x846 x847 x848 x849 -x850 -x851 -x852 x853 x854 -x855 x856 x857 -x858 x859 -x860 -x861 x862 x863 -x864 -x865 x866 -x867 1800.06/1783.87 v -x868 -x869 x870 -x871 x872 -x873 x874 -x875 -x876 x877 -x878 x879 -x880 x881 -x882 x883 x884 -x885 -x886 -x887 x888 -x889 1800.06/1783.87 v x890 x891 x892 -x893 -x894 x895 x896 -x897 x898 -x899 x900 -x901 x902 -x903 x904 -x905 x906 -x907 -x908 -x909 -x910 x911 x912 1800.06/1783.87 v -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 x925 -x926 -x927 x928 -x929 x930 x931 x932 -x933 -x934 1800.06/1783.87 v -x935 -x936 x937 x938 -x939 -x940 -x941 -x942 x943 x944 x945 x946 -x947 -x948 x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 1800.06/1783.87 v x957 x958 x959 x960 x961 -x962 x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 x971 x972 -x973 -x974 x975 -x976 x977 -x978 -x979 1800.06/1783.87 v x980 x981 -x982 x983 x984 -x985 x986 x987 x988 x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 x998 -x999 x1000 -x1001 x1002 1800.06/1783.87 v x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 x1010 x1011 -x1012 -x1013 x1014 x1015 -x1016 x1017 -x1018 x1019 x1020 -x1021 1800.06/1783.87 v -x1022 -x1023 -x1024 x1025 x1026 x1027 -x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 x1035 -x1036 x1037 -x1038 x1039 x1040 1800.06/1783.87 v x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 x1051 -x1052 -x1053 x1054 x1055 x1056 x1057 -x1058 x1059 1800.06/1783.87 v -x1060 -x1061 x1062 x1063 -x1064 -x1065 -x1066 x1067 x1068 x1069 x1070 x1071 x1072 x1073 x1074 -x1075 -x1076 -x1077 x1078 1800.06/1783.87 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 1800.06/1783.87 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1800.06/1783.87 v -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 1800.06/1783.87 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.06/1783.87 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.06/1783.87 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.06/1783.87 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 1800.06/1783.87 v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 1800.06/1783.87 v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 1800.06/1783.87 v -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 x1249 -x1250 1800.06/1783.87 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 1800.06/1783.87 v -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 x1280 x1281 x1282 x1283 x1284 x1285 x1286 x1287 1800.06/1783.87 v -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 1800.06/1783.87 v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 x1313 x1314 x1315 x1316 x1317 x1318 x1319 x1320 -x1321 -x1322 -x1323 1800.06/1783.87 v -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 x1337 -x1338 -x1339 -x1340 -x1341 1800.06/1783.87 v -x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 1800.06/1783.87 v -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 1800.06/1783.87 v -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 1800.06/1783.87 v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 1800.06/1783.87 v -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 1800.06/1783.87 v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 1800.06/1783.87 v -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 1800.06/1783.87 v -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 1800.06/1783.87 v -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 1800.06/1783.87 v -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 1800.06/1783.87 v -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 1800.06/1783.87 v -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 1800.06/1783.87 v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 1800.06/1783.87 v -x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 x1579 -x1580 -x1581 1800.06/1783.87 v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1800.06/1783.87 v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 x1612 -x1613 -x1614 -x1615 -x1616 1800.06/1783.87 v -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 1800.06/1783.87 v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 x1648 -x1649 x1650 -x1651 1800.06/1783.87 v -x1652 -x1653 -x1654 x1655 x1656 x1657 -x1658 x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 1800.06/1783.87 v -x1670 -x1671 -x1672 -x1673 -x1674 x1675 x1676 x1677 x1678 x1679 x1680 x1681 x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1800.06/1783.87 v x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1800.06/1783.87 v -x1706 -x1707 -x1708 -x1709 x1710 x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 1800.06/1783.87 v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 1800.06/1783.87 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 1800.06/1783.87 v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 1800.06/1783.87 v -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 1800.06/1783.87 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 1800.06/1783.87 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1800.06/1783.87 v -x1827 -x1828 -x1829 -x1830 x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 1800.06/1783.87 v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 1800.06/1783.87 v -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 1800.06/1783.87 v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1800.06/1783.87 v -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 1800.06/1783.87 v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 1800.06/1783.87 v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944 -x1945 -x1946 1800.06/1783.87 v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 1800.06/1783.87 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1800.06/1783.87 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 1800.06/1783.87 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 x2007 x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1800.06/1783.87 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 1800.06/1783.87 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1800.06/1783.87 v -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1800.06/1783.87 v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 x2083 -x2084 -x2085 1800.06/1783.87 v -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 1800.06/1783.87 v -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 1800.06/1783.87 v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 1800.06/1783.87 v -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 1800.06/1783.87 v -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 1800.06/1783.87 v -x2172 x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 1800.06/1783.87 v -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 1800.06/1783.87 v -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 1800.06/1783.87 v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 1800.06/1783.87 v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 x2259 1800.06/1783.87 v x2260 x2261 x2262 x2263 x2264 x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 x2276 -x2277 -x2278 1800.06/1783.87 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 1800.06/1783.87 v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 1800.06/1783.87 v x2313 x2314 x2315 x2316 x2317 x2318 x2319 x2320 x2321 -x2322 -x2323 -x2324 -x2325 x2326 x2327 x2328 -x2329 x2330 -x2331 1800.06/1783.87 v x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 x2348 x2349 1800.06/1783.87 v x2350 -x2351 x2352 -x2353 x2354 -x2355 -x2356 x2357 x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 x2366 -x2367 1800.06/1783.87 v -x2368 -x2369 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 1800.06/1783.87 v -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 1800.06/1783.87 v -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1800.06/1783.87 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 1800.06/1783.87 v -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 1800.06/1783.87 v -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 1800.06/1783.87 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 1800.06/1783.87 v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 1800.06/1783.87 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 x2512 x2513 x2514 x2515 x2516 x2517 x2518 x2519 -x2520 -x2521 -x2522 -x2523 1800.06/1783.87 v x2524 x2525 x2526 -x2527 x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 1800.06/1783.87 v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 1800.06/1783.87 v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1800.06/1783.87 v -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 x2589 x2590 x2591 x2592 x2593 x2594 x2595 1800.06/1783.87 v x2596 -x2597 -x2598 -x2599 -x2600 x2601 x2602 x2603 -x2604 x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 1800.06/1783.87 v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 1800.06/1783.87 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1800.06/1783.87 v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 1800.06/1783.87 v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 x2678 x2679 -x2680 -x2681 -x2682 1800.06/1783.87 v -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 1800.06/1783.87 v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 1800.06/1783.87 v -x2717 -x2718 -x2719 x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2729 -x2730 -x2731 -x2732 -x2733 -x2734 1800.06/1783.87 v -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 1800.06/1783.87 v -x2753 -x2754 x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 1800.06/1783.87 v -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 1800.06/1783.87 v -x2787 x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 1800.06/1783.87 v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 1800.06/1783.87 v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 1800.06/1783.87 v -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 x2855 1800.06/1783.87 v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 1800.06/1783.87 v -x2873 -x2874 -x2875 x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 1800.06/1783.87 v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1800.06/1783.87 v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 1800.06/1783.87 v -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 x2931 x2932 x2933 -x2934 x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 1800.06/1783.87 v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 1800.06/1783.87 v -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 1800.06/1783.87 v x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 1800.06/1783.87 v -x2993 -x2994 -x2995 x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 x3008 -x3009 -x3010 1800.06/1783.87 v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 1800.06/1783.87 v -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 x3041 -x3042 -x3043 -x3044 1800.06/1783.87 v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 1800.06/1783.87 v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 1800.06/1783.87 v -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 x3095 x3096 1800.06/1783.87 v x3097 x3098 x3099 x3100 x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 1800.06/1783.87 v -x3115 1800.06/1783.89 c objective function=7508861 1800.06/1783.89 c Total wall clock time (ms): 1783.686
OK 7508861
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-354049-1176692652 -o ROOT/results/node71/solver-354049-1176692652 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354049-1176692652/sat4jPseudoCP.jar /tmp/evaluation/354049-1176692652/instance-354049-1176692652.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 2/64 5393 /proc/meminfo: memFree=1690688/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=0 CPUtime=0 /proc/5393/stat : 5393 (runsolver) R 5391 5393 3610 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 145254550 0 0 18446744073709551615 0 0 0 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0 /proc/5393/statm: 0 0 0 0 0 0 0 [startup+0.018485 s] /proc/loadavg: 0.92 0.98 0.99 2/64 5393 /proc/meminfo: memFree=1690688/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=12620 CPUtime=0 /proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 845 0 0 0 0 0 0 0 18 0 2 0 145254550 12922880 602 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 3155 602 285 9 0 1243 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12620 [startup+0.101502 s] /proc/loadavg: 0.92 0.98 0.99 2/64 5393 /proc/meminfo: memFree=1690688/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=1780108 CPUtime=0.09 /proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 3971 0 1 0 7 2 0 0 18 0 12 0 145254550 1822830592 3713 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 445027 3713 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.301529 s] /proc/loadavg: 0.92 0.98 0.99 2/64 5393 /proc/meminfo: memFree=1690688/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=1782300 CPUtime=0.35 /proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 5115 0 1 0 32 3 0 0 18 0 12 0 145254550 1825075200 4852 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 445575 4853 1267 9 0 443187 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1782300 [startup+0.701586 s] /proc/loadavg: 0.92 0.98 0.99 2/64 5393 /proc/meminfo: memFree=1690688/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=1787412 CPUtime=0.98 /proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 8152 0 1 0 93 5 0 0 18 0 12 0 145254550 1830309888 7449 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 446853 7453 1303 9 0 444465 0 Current children cumulated CPU time (s) 0.98 Current children cumulated vsize (KiB) 1787412 [startup+1.5027 s] /proc/loadavg: 0.92 0.98 0.99 4/76 5405 /proc/meminfo: memFree=1656928/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=1792628 CPUtime=2.28 /proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 21842 0 1 0 218 10 0 0 18 0 12 0 145254550 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 448157 18563 1304 9 0 445769 0 [pid=5393/tid=5395] ppid=5391 vsize=1792628 CPUtime=0.94 /proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 15021 0 1 0 88 6 0 0 25 0 12 0 145254551 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109185704 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5396] ppid=5391 vsize=1792628 CPUtime=0 /proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 145254553 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5397] ppid=5391 vsize=1792628 CPUtime=0 /proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 145254553 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5398] ppid=5391 vsize=1792628 CPUtime=0 /proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 145254555 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5399] ppid=5391 vsize=1792628 CPUtime=0 /proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 145254555 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5400] ppid=5391 vsize=1792628 CPUtime=0 /proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 145254555 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5401] ppid=5391 vsize=1792628 CPUtime=0 /proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 145254559 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5402] ppid=5391 vsize=1792628 CPUtime=0.54 /proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 1682 0 0 0 54 0 0 0 16 0 12 0 145254559 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5403] ppid=5391 vsize=1792628 CPUtime=0.75 /proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 4421 0 0 0 74 1 0 0 17 0 12 0 145254559 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5404] ppid=5391 vsize=1792628 CPUtime=0 /proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 145254559 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5405] ppid=5391 vsize=1792628 CPUtime=0 /proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 145254559 1835651072 18563 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 1792628 [startup+3.10292 s] /proc/loadavg: 0.92 0.98 0.99 4/77 5406 /proc/meminfo: memFree=1591768/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=1799012 CPUtime=4.63 /proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 50897 0 1 0 440 23 0 0 18 0 13 0 145254550 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 449753 44741 1322 9 0 447365 0 [pid=5393/tid=5395] ppid=5391 vsize=1799012 CPUtime=2.11 /proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 37720 0 1 0 194 17 0 0 17 0 13 0 145254551 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109749440 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5396] ppid=5391 vsize=1799012 CPUtime=0.02 /proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 972 0 0 0 2 0 0 0 17 0 13 0 145254553 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5397] ppid=5391 vsize=1799012 CPUtime=0.03 /proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 953 0 0 0 3 0 0 0 17 0 13 0 145254553 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5398] ppid=5391 vsize=1799012 CPUtime=0 /proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145254555 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5399] ppid=5391 vsize=1799012 CPUtime=0 /proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5400] ppid=5391 vsize=1799012 CPUtime=0 /proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 145254555 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5401] ppid=5391 vsize=1799012 CPUtime=0 /proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5402] ppid=5391 vsize=1799012 CPUtime=1.07 /proc/5393/task/5402/stat : 5402 (java) R 5391 5393 3610 0 -1 64 3465 0 0 0 106 1 0 0 17 0 13 0 145254559 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 103313512 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5403] ppid=5391 vsize=1799012 CPUtime=1.35 /proc/5393/task/5403/stat : 5403 (java) R 5391 5393 3610 0 -1 64 7060 0 0 0 132 3 0 0 17 0 13 0 145254559 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 104846905 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5404] ppid=5391 vsize=1799012 CPUtime=0 /proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5405] ppid=5391 vsize=1799012 CPUtime=0 /proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5406] ppid=5391 vsize=1799012 CPUtime=0 /proc/5393/task/5406/stat : 5406 (java) S 5391 5393 3610 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 145254733 1842188288 44741 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.63 Current children cumulated vsize (KiB) 1799012 [startup+6.30234 s] /proc/loadavg: 0.93 0.98 0.99 2/77 5406 /proc/meminfo: memFree=1510936/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=1795360 CPUtime=8.61 /proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 54822 0 1 0 836 25 0 0 18 0 13 0 145254550 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 448840 44156 1332 9 0 446452 0 [pid=5393/tid=5395] ppid=5391 vsize=1795360 CPUtime=4.97 /proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 37729 0 1 0 480 17 0 0 24 0 13 0 145254551 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550097 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5396] ppid=5391 vsize=1795360 CPUtime=0.13 /proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 2234 0 0 0 13 0 0 0 16 0 13 0 145254553 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5397] ppid=5391 vsize=1795360 CPUtime=0.14 /proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 2175 0 0 0 14 0 0 0 17 0 13 0 145254553 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5398] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 145254555 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5399] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5400] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 145254555 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5401] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5402] ppid=5391 vsize=1795360 CPUtime=1.38 /proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3496 0 0 0 137 1 0 0 15 0 13 0 145254559 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5403] ppid=5391 vsize=1795360 CPUtime=1.93 /proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8449 0 0 0 190 3 0 0 16 0 13 0 145254559 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5404] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5405] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5406] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5406/stat : 5406 (java) S 5391 5393 3610 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 145254733 1838448640 44156 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.61 Current children cumulated vsize (KiB) 1795360 [startup+12.7051 s] /proc/loadavg: 0.93 0.98 0.99 2/77 5407 /proc/meminfo: memFree=1490448/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=1795360 CPUtime=15.27 /proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 62432 0 1 0 1498 29 0 0 18 0 13 0 145254550 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 448840 51395 1336 9 0 446452 0 [pid=5393/tid=5395] ppid=5391 vsize=1795360 CPUtime=11.19 /proc/5393/task/5395/stat : 5395 (java) S 5391 5393 3610 0 -1 64 38900 0 1 0 1101 18 0 0 22 0 13 0 145254551 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5396] ppid=5391 vsize=1795360 CPUtime=0.26 /proc/5393/task/5396/stat : 5396 (java) R 5391 5393 3610 0 -1 64 5709 0 0 0 24 2 0 0 16 0 13 0 145254553 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5397] ppid=5391 vsize=1795360 CPUtime=0.26 /proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 5113 0 0 0 24 2 0 0 16 0 13 0 145254553 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5398] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 33 0 0 0 0 0 0 0 15 0 13 0 145254555 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5399] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5400] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 145254555 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5401] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5402] ppid=5391 vsize=1795360 CPUtime=1.46 /proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3499 0 0 0 145 1 0 0 16 0 13 0 145254559 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5403] ppid=5391 vsize=1795360 CPUtime=2.04 /proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8456 0 0 0 201 3 0 0 17 0 13 0 145254559 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5404] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5405] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5407] ppid=5391 vsize=1795360 CPUtime=0 /proc/5393/task/5407/stat : 5407 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 145255554 1838448640 51395 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 15.27 Current children cumulated vsize (KiB) 1795360 [startup+25.503 s] /proc/loadavg: 0.95 0.98 0.99 2/77 5411 /proc/meminfo: memFree=1503664/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=1795360 CPUtime=28.3 /proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 68891 0 1 0 2798 32 0 0 18 0 13 0 145254550 1838448640 47815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 448840 47815 1336 9 0 446452 0 [pid=5393/tid=5395] ppid=5391 vsize=1795360 CPUtime=23.85 /proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 43666 0 1 0 2366 19 0 0 22 0 13 0 145254551 1838448640 47815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550300 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5396] ppid=5391 vsize=1795360 CPUtime=0.36 /proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 6653 0 0 0 33 3 0 0 16 0 13 0 145254553 1838448640 47815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5397] ppid=5391 vsize=1795360 CPUtime=0.33 /proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 5834 0 0 0 31 2 0 0 16 0 13 0 145254553 1838448640 47815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5398] ppid=5391 vsize=1795360 CPUtime=0.02 /proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 48 0 0 0 1 1 0 0 15 0 13 0 145254555 1838448640 47815 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=5393/tid=5398] ppid=5391 vsize=1794872 CPUtime=1.07 /proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 512 0 0 0 57 50 0 0 16 0 13 0 145254555 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5399] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5400] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5401] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5402] ppid=5391 vsize=1794872 CPUtime=1.81 /proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3519 0 0 0 180 1 0 0 16 0 13 0 145254559 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5403] ppid=5391 vsize=1794872 CPUtime=2.15 /proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8460 0 0 0 212 3 0 0 17 0 13 0 145254559 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5404] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5405] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5411] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5411/stat : 5411 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 145256342 1837948928 130928 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1616.62 Current children cumulated vsize (KiB) 1794872 [startup+1662.3 s] /proc/loadavg: 1.08 1.07 1.04 2/77 5411 /proc/meminfo: memFree=1161776/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=1794872 CPUtime=1677.17 /proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 327207 0 1 0 167486 231 0 0 18 0 13 0 145254550 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 448718 133019 1336 9 0 446330 0 [pid=5393/tid=5395] ppid=5391 vsize=1794872 CPUtime=1644.33 /proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 174505 0 1 0 164347 86 0 0 25 0 13 0 145254551 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550429 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5396] ppid=5391 vsize=1794872 CPUtime=13.88 /proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 71705 0 0 0 1344 44 0 0 16 0 13 0 145254553 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5397] ppid=5391 vsize=1794872 CPUtime=13.83 /proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 67774 0 0 0 1341 42 0 0 16 0 13 0 145254553 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5398] ppid=5391 vsize=1794872 CPUtime=1.1 /proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 517 0 0 0 59 51 0 0 15 0 13 0 145254555 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5399] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5400] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5401] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5402] ppid=5391 vsize=1794872 CPUtime=1.81 /proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3519 0 0 0 180 1 0 0 16 0 13 0 145254559 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5403] ppid=5391 vsize=1794872 CPUtime=2.15 /proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8460 0 0 0 212 3 0 0 17 0 13 0 145254559 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5404] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5405] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5411] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5411/stat : 5411 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 145256342 1837948928 133019 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1677.17 Current children cumulated vsize (KiB) 1794872 [startup+1722.3 s] /proc/loadavg: 1.03 1.06 1.03 2/77 5411 /proc/meminfo: memFree=1147952/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=1794872 CPUtime=1737.8 /proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 333585 0 1 0 173545 235 0 0 18 0 13 0 145254550 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 448718 136533 1336 9 0 446330 0 [pid=5393/tid=5395] ppid=5391 vsize=1794872 CPUtime=1703.54 /proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 176208 0 1 0 170268 86 0 0 25 0 13 0 145254551 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550738 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5396] ppid=5391 vsize=1794872 CPUtime=14.6 /proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 74447 0 0 0 1414 46 0 0 16 0 13 0 145254553 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5397] ppid=5391 vsize=1794872 CPUtime=14.52 /proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 69702 0 0 0 1409 43 0 0 16 0 13 0 145254553 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5398] ppid=5391 vsize=1794872 CPUtime=1.12 /proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 522 0 0 0 60 52 0 0 16 0 13 0 145254555 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5399] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5400] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5401] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5402] ppid=5391 vsize=1794872 CPUtime=1.81 /proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3519 0 0 0 180 1 0 0 16 0 13 0 145254559 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5403] ppid=5391 vsize=1794872 CPUtime=2.15 /proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8460 0 0 0 212 3 0 0 17 0 13 0 145254559 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5404] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5405] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5411] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5411/stat : 5411 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 145256342 1837948928 136533 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1737.8 Current children cumulated vsize (KiB) 1794872 [startup+1782.3 s] /proc/loadavg: 1.01 1.04 1.02 2/77 5411 /proc/meminfo: memFree=1134384/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=1794872 CPUtime=1798.52 /proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 340011 0 1 0 179612 240 0 0 18 0 13 0 145254550 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 448718 139942 1336 9 0 446330 0 [pid=5393/tid=5395] ppid=5391 vsize=1794872 CPUtime=1762.69 /proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 177988 0 1 0 176182 87 0 0 25 0 13 0 145254551 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550137 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5396] ppid=5391 vsize=1794872 CPUtime=15.35 /proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 76374 0 0 0 1488 47 0 0 16 0 13 0 145254553 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5397] ppid=5391 vsize=1794872 CPUtime=15.3 /proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 72416 0 0 0 1485 45 0 0 15 0 13 0 145254553 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5398] ppid=5391 vsize=1794872 CPUtime=1.15 /proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 527 0 0 0 62 53 0 0 16 0 13 0 145254555 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5399] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5400] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5401] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5402] ppid=5391 vsize=1794872 CPUtime=1.81 /proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3519 0 0 0 180 1 0 0 16 0 13 0 145254559 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5403] ppid=5391 vsize=1794872 CPUtime=2.15 /proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8460 0 0 0 212 3 0 0 17 0 13 0 145254559 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5404] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5405] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5411] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5411/stat : 5411 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 145256342 1837948928 139942 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (KiB) 1794872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.8 s] /proc/loadavg: 1.01 1.04 1.02 2/77 5411 /proc/meminfo: memFree=1133040/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=1794872 CPUtime=1800.06 /proc/5393/stat : 5393 (java) S 5391 5393 3610 0 -1 0 340384 0 1 0 179766 240 0 0 18 0 13 0 145254550 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 448718 140273 1336 9 0 446330 0 [pid=5393/tid=5395] ppid=5391 vsize=1794872 CPUtime=1764.16 /proc/5393/task/5395/stat : 5395 (java) R 5391 5393 3610 0 -1 64 178021 0 1 0 176329 87 0 0 25 0 13 0 145254551 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109550256 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5396] ppid=5391 vsize=1794872 CPUtime=15.39 /proc/5393/task/5396/stat : 5396 (java) S 5391 5393 3610 0 -1 64 76509 0 0 0 1492 47 0 0 16 0 13 0 145254553 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5397] ppid=5391 vsize=1794872 CPUtime=15.33 /proc/5393/task/5397/stat : 5397 (java) S 5391 5393 3610 0 -1 64 72621 0 0 0 1488 45 0 0 16 0 13 0 145254553 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5398] ppid=5391 vsize=1794872 CPUtime=1.15 /proc/5393/task/5398/stat : 5398 (java) S 5391 5393 3610 0 -1 64 527 0 0 0 62 53 0 0 16 0 13 0 145254555 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5399] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5399/stat : 5399 (java) S 5391 5393 3610 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5400] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5400/stat : 5400 (java) S 5391 5393 3610 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145254555 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5401] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5401/stat : 5401 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 145254559 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5402] ppid=5391 vsize=1794872 CPUtime=1.81 /proc/5393/task/5402/stat : 5402 (java) S 5391 5393 3610 0 -1 64 3519 0 0 0 180 1 0 0 16 0 13 0 145254559 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=5393/tid=5403] ppid=5391 vsize=1794872 CPUtime=2.15 /proc/5393/task/5403/stat : 5403 (java) S 5391 5393 3610 0 -1 64 8460 0 0 0 212 3 0 0 17 0 13 0 145254559 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5404] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5404/stat : 5404 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145254559 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5405] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5405/stat : 5405 (java) S 5391 5393 3610 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145254559 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=5393/tid=5411] ppid=5391 vsize=1794872 CPUtime=0 /proc/5393/task/5411/stat : 5411 (java) S 5391 5393 3610 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 145256342 1837948928 140273 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1794872 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1784 s] /proc/loadavg: 1.01 1.04 1.02 2/77 5411 /proc/meminfo: memFree=1133040/2055920 swapFree=4184248/4192956 [pid=5393] ppid=5391 vsize=0 CPUtime=1800.33 /proc/5393/stat : 5393 (java) Z 5391 5393 3610 0 -1 1036 340538 0 1 0 179786 247 0 0 16 0 2 0 145254550 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/5393/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1784.02 CPU time (s): 1800.36 CPU user time (s): 1797.86 CPU system time (s): 2.49362 CPU usage (%): 100.916 Max. virtual memory (cumulated for all children) (KiB): 1799012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.86 system time used= 2.49362 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 340538 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= 85891 involuntary context switches= 48133 runsolver used 1.9757 second user time and 5.21521 second system time The end
Begin job on node71 on Mon Apr 16 03:04:12 UTC 2007 IDJOB= 354049 IDBENCH= 2327 IDSOLVER= 160 FILE ID= node71/354049-1176692652 PBS_JOBID= 4559997 Free space on /tmp= 66552 MiB SOLVER NAME= sat4jPseudoCP 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos17.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354049-1176692652/sat4jPseudoCP.jar /tmp/evaluation/354049-1176692652/instance-354049-1176692652.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-354049-1176692652 -o ROOT/results/node71/solver-354049-1176692652 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354049-1176692652/sat4jPseudoCP.jar /tmp/evaluation/354049-1176692652/instance-354049-1176692652.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 6ec9fbaf74a275630384576eed2d57d7 RANDOM SEED= 785878681 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1691096 kB Buffers: 51104 kB Cached: 219072 kB SwapCached: 2640 kB Active: 168940 kB Inactive: 124668 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1691096 kB SwapTotal: 4192956 kB SwapFree: 4184248 kB Dirty: 5136 kB Writeback: 0 kB Mapped: 28984 kB Slab: 57080 kB Committed_AS: 2465624 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66552 MiB End job on node71 on Mon Apr 16 03:33:58 UTC 2007