Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | -65295401 | 1801.15 | 1786.67 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-harp2.opb |
MD5SUM | a22cdb58cc05b8a325a786916e6a7ab8 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -65295401 |
Best CPU time to get the best result obtained on this benchmark | 1801.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -66737705 |
Optimality of the best value was proved | NO |
Number of variables | 2993 |
Total number of constraints | 112 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 73 |
Number of constraints which are nor clauses,nor cardinality constraints | 39 |
Minimum length of a constraint | 41 |
Maximum length of a constraint | 73 |
Number of terms in the objective function | 2993 |
Biggest coefficient in the objective function | 17006200 |
Number of bits for the biggest coefficient in the objective function | 25 |
Sum of the numbers in the objective function | 4415092451 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 4208540000 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 46909379837 |
Number of bits of the biggest sum of numbers | 36 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.22 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node14/43321-1149314796/instance-43321-1149314796.opb 0.22 c reading problem ... 0.71 c ... done. Time 0.491 ms. 0.71 c #vars 2993 0.71 c #constraints 185 16.63 c SATISFIABLE 16.63 c OPTIMIZING... 16.63 c Got one! Ellapsed CPU time (in seconds):16.403 16.65 o -56692814 16.95 c Got one! Ellapsed CPU time (in seconds):16.724 16.95 o -64871877 35.02 c Got one! Ellapsed CPU time (in seconds):34.793 35.02 o -65011817 35.46 c Got one! Ellapsed CPU time (in seconds):35.236 35.47 o -65295401 1786.34 c starts : 11 1786.34 c conflicts : 1253 1786.34 c decisions : 11309 1786.34 c propagations : 79117 1786.34 c inspects : 2779853 1786.34 c learnt literals : 0 1786.34 c learnt binary clauses : 0 1786.34 c learnt ternary clauses : 0 1786.34 c learnt clauses : 1252 1786.34 c root simplifications : 0 1786.34 c removed literals (reason simplification) : 0 1786.34 c reason swapping (by a shorter reason) : 0 1786.34 c Calls to reduceDB : 0 1786.34 c speed (decisions/second) : 6.459222197472056 1786.34 c non guided choices 0 1786.34 s SATISFIABLE 1786.39 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 1786.39 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 1786.39 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 1786.39 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 -x105 1786.39 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1786.39 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1786.39 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 1786.39 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1786.39 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1786.39 v x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1786.39 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1786.39 v -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1786.39 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 1786.39 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1786.39 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1786.39 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1786.39 v -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1786.39 v -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1786.39 v -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1786.39 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1786.39 v -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1786.39 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1786.39 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1786.39 v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 1786.39 v -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1786.39 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1786.39 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1786.39 v x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1786.39 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 1786.39 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1786.39 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 1786.39 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1786.39 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 1786.39 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1786.39 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 1786.39 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 1786.39 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1786.39 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1786.39 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1786.39 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1786.39 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 1786.39 v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1786.39 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1786.39 v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 1786.39 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1786.39 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 1786.39 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1786.39 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1786.39 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1786.39 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1786.39 v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 1786.39 v -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 1786.39 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1786.39 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1786.39 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1786.39 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1786.39 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1786.39 v -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1786.39 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1786.39 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1786.39 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1786.39 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 1786.39 v -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1786.39 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1786.39 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1786.39 v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1786.39 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1786.39 v -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1786.39 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1786.39 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 1786.39 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1786.39 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1786.39 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1786.39 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1786.39 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1786.39 v -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 1786.39 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1786.39 v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 1786.39 v -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 1786.39 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1786.39 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1786.39 v -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 1786.39 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 1786.39 v -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 1786.39 v -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 1786.39 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 1786.39 v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 1786.39 v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 1786.39 v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 1786.39 v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 1786.39 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 1786.39 v -x1758 -x1759 x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 -x1773 -x1774 -x1775 1786.39 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1786.39 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1786.39 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1786.39 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1786.39 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1786.39 v -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1786.39 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1786.39 v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 1786.39 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 1786.39 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1786.39 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1786.39 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1786.39 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 1786.39 v -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 1786.39 v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 1786.39 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1786.39 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1786.39 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x2080 -x2081 1786.39 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1786.39 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1786.39 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1786.39 v -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1786.39 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1786.39 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 x2182 -x2183 1786.39 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 1786.39 v x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1786.39 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1786.39 v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 1786.39 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1786.39 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1786.39 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302 1786.39 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1786.39 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1786.39 v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1786.39 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 1786.39 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1786.39 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 1786.39 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 1786.39 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 x2434 -x2435 -x2436 -x2437 -x2438 -x2439 1786.39 v -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 1786.39 v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 1786.39 v -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 1786.39 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 1786.39 v -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 1786.39 v x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 1786.39 v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 1786.39 v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 1786.39 v -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 1786.39 v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 1786.39 v -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 1786.39 v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 1786.39 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 x2656 -x2657 -x2658 -x2659 -x2660 1786.39 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 1786.39 v -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 1786.39 v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 1786.39 v -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 1786.39 v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 1786.39 v -x2746 -x2747 x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 -x2763 1786.39 v -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1786.39 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 1786.39 v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 1786.39 v -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 x2828 -x2829 -x2830 -x2831 1786.39 v -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 1786.39 v -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 1786.39 v -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 1786.39 v -x2883 -x2884 -x2885 x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 1786.39 v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 1786.39 v -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 x2931 -x2932 -x2933 1786.39 v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 1786.39 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 1786.39 v -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 1786.39 v -x2985 -x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 1786.40 c objective function=-65295401 1786.40 c Total wall clock time (ms): 1786.173
OK -65295401
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-43321-1149314796 -o ROOT/results/node14/solver-43321-1149314796 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node14/43321-1149314796/instance-43321-1149314796.opb 605518050 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 32562 /proc/meminfo: memFree=1523968/2055920 swapFree=4181448/4192956 [pid=32562] ppid=32560 vsize=168 CPUtime=0 /proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 197142311 172032 23 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 1 0 0 /proc/32562/statm: 42 23 18 14 0 2 0 [startup+10.0017 s] /proc/loadavg: 1.01 1.00 1.00 2/76 32574 /proc/meminfo: memFree=1339696/2055920 swapFree=4181448/4192956 [pid=32562] ppid=32560 vsize=1713272 CPUtime=11.33 /proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 52608 0 1 0 1110 23 0 0 25 0 13 0 197142311 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071592818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32562/statm: 428318 47815 1909 14 0 415065 0 [pid=32562/tid=32563] ppid=32560 vsize=1713272 CPUtime=0.06 /proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 2039 0 0 0 6 0 0 0 16 0 13 0 197142314 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32564] ppid=32560 vsize=1713272 CPUtime=0.06 /proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 1919 0 0 0 6 0 0 0 16 0 13 0 197142314 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32565] ppid=32560 vsize=1713272 CPUtime=0 /proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 197142317 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32566] ppid=32560 vsize=1713272 CPUtime=0 /proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32567] ppid=32560 vsize=1713272 CPUtime=0 /proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32568] ppid=32560 vsize=1713272 CPUtime=0 /proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32569] ppid=32560 vsize=1713272 CPUtime=0 /proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32570] ppid=32560 vsize=1713272 CPUtime=0.94 /proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2317 0 0 0 94 0 0 0 15 0 13 0 197142321 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32571] ppid=32560 vsize=1713272 CPUtime=0.93 /proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2652 0 0 0 93 0 0 0 16 0 13 0 197142321 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32572] ppid=32560 vsize=1713272 CPUtime=0 /proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32573] ppid=32560 vsize=1713272 CPUtime=0 /proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32574] ppid=32560 vsize=1713272 CPUtime=0 /proc/32562/task/32574/stat : 32574 (java) S 32560 32562 32516 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 197142405 1754390528 47815 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.33 Current children cumulated vsize (Kb) 1713272 [startup+20.0087 s] /proc/loadavg: 1.08 1.02 1.01 2/76 32576 /proc/meminfo: memFree=1323120/2055920 swapFree=4181448/4192956 [pid=32562] ppid=32560 vsize=1713240 CPUtime=21.55 /proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 59718 0 1 0 2128 27 0 0 17 0 13 0 197142311 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071443549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32562/statm: 428310 52012 1912 14 0 415057 0 [pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=0.17 /proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 5376 0 0 0 15 2 0 0 16 0 13 0 197142314 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=0.16 /proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 4940 0 0 0 14 2 0 0 16 0 13 0 197142314 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 37 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.02 /proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2350 0 0 0 102 0 0 0 16 0 13 0 197142321 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1 /proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2658 0 0 0 100 0 0 0 17 0 13 0 197142321 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32576] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32576/stat : 32576 (java) S 32560 32562 32516 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197144010 1754357760 52012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.55 Current children cumulated vsize (Kb) 1713240 [startup+30.0156 s] /proc/loadavg: 1.07 1.02 1.00 2/76 32576 /proc/meminfo: memFree=1298096/2055920 swapFree=4181448/4192956 [pid=32562] ppid=32560 vsize=1713240 CPUtime=31.66 /proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 68649 0 1 0 3134 32 0 0 25 0 13 0 197142311 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071516058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32562/statm: 428310 58233 1912 14 0 415057 0 [pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=0.27 /proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 10236 0 0 0 23 4 0 0 16 0 13 0 197142314 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=0.27 /proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 8999 0 0 0 22 5 0 0 16 0 13 0 197142314 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 37 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.02 /proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2350 0 0 0 102 0 0 0 16 0 13 0 197142321 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1 /proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2658 0 0 0 100 0 0 0 17 0 13 0 197142321 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32576] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32576/stat : 32576 (java) S 32560 32562 32516 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197144010 1754357760 58233 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.66 Current children cumulated vsize (Kb) 1713240 [startup+40.0226 s] /proc/loadavg: 1.06 1.01 1.00 2/76 32578 /proc/meminfo: memFree=1249768/2055920 swapFree=4181448/4192956 [pid=32562] ppid=32560 vsize=1713240 CPUtime=41.95 /proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 84491 0 1 0 4155 40 0 0 25 0 13 0 197142311 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071570784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32562/statm: 428310 70336 1913 14 0 415057 0 [pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=0.5 /proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 18362 0 0 0 42 8 0 0 16 0 13 0 197142314 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=0.5 /proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 16697 0 0 0 42 8 0 0 16 0 13 0 197142314 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=0.01 /proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 38 0 0 0 1 0 0 0 16 0 13 0 197142317 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.05 /proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2351 0 0 0 105 0 0 0 16 0 13 0 197142321 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.05 /proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2660 0 0 0 105 0 0 0 16 0 13 0 197142321 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197145862 1754357760 70336 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.95 Current children cumulated vsize (Kb) 1713240 [startup+50.0295 s] /proc/loadavg: 1.05 1.01 1.00 2/76 32578 /proc/meminfo: memFree=1235112/2055920 swapFree=4181448/4192956 [pid=32562] ppid=32560 vsize=1713240 CPUtime=52.09 /proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 91262 0 1 0 5165 44 0 0 22 0 13 0 197142311 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071631237 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32562/statm: 428310 73997 1913 14 0 415057 0 [pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=0.64 /proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 21845 0 0 0 54 10 0 0 16 0 13 0 197142314 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=0.63 /proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 19970 0 0 0 53 10 0 0 16 0 13 0 197142314 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=0.02 /proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 41 0 0 0 1 1 0 0 16 0 13 0 197142317 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.05 /proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2351 0 0 0 105 0 0 0 16 0 13 0 197142321 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.05 /proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2660 0 0 0 105 0 0 0 16 0 13 0 197142321 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 197145862 1754357760 73997 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.09 Current children cumulated vsize (Kb) 1713240 [startup+60.0365 s] /proc/loadavg: 1.04 1.01 1.00 2/76 32578 /proc/meminfo: memFree=1215912/2055920 swapFree=4181448/4192956 [pid=32562] ppid=32560 vsize=1713240 CPUtime=62.23 /proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 97304 0 1 0 6176 47 0 0 22 0 13 0 197142311 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071443234 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32562/statm: 428310 78789 1913 14 0 415057 0 [pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=0.77 /proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 25240 0 0 0 66 11 0 0 16 0 13 0 197142314 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=0.77 /proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 22609 0 0 0 66 11 0 0 16 0 13 0 197142314 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=0.02 /proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 41 0 0 0 1 1 0 0 16 0 13 0 197142317 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 78789 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.06 /proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2352 0 0 0 106 0 0 0 16 0 13 0 197142321 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.07 /proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2661 0 0 0 107 0 0 0 17 0 13 0 197142321 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197145862 1754357760 379560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (Kb) 1713240 [startup+1783.31 s] /proc/loadavg: 1.00 1.01 1.00 2/76 32580 /proc/meminfo: memFree=60208/2055920 swapFree=4181448/4192956 [pid=32562] ppid=32560 vsize=1713240 CPUtime=1797.74 /proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 675408 0 1 0 179428 346 0 0 25 0 13 0 197142311 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071608046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32562/statm: 428310 379287 1915 14 0 415057 0 [pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=13.79 /proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 300088 0 0 0 1235 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=13.71 /proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 298615 0 0 0 1227 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=2.18 /proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 442 0 0 0 199 19 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.06 /proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2352 0 0 0 106 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.07 /proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2661 0 0 0 107 0 0 0 17 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197145862 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (Kb) 1713240 [startup+1784.32 s] /proc/loadavg: 1.00 1.01 1.00 2/76 32580 /proc/meminfo: memFree=60208/2055920 swapFree=4181448/4192956 [pid=32562] ppid=32560 vsize=1713240 CPUtime=1798.74 /proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 675408 0 1 0 179528 346 0 0 25 0 13 0 197142311 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071545321 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32562/statm: 428310 379287 1915 14 0 415057 0 [pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=13.79 /proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 300088 0 0 0 1235 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=13.71 /proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 298615 0 0 0 1227 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=2.18 /proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 442 0 0 0 199 19 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.06 /proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2352 0 0 0 106 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.07 /proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2661 0 0 0 107 0 0 0 17 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197145862 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.74 Current children cumulated vsize (Kb) 1713240 [startup+1785.32 s] /proc/loadavg: 1.00 1.01 1.00 2/76 32580 /proc/meminfo: memFree=60208/2055920 swapFree=4181448/4192956 [pid=32562] ppid=32560 vsize=1713240 CPUtime=1799.75 /proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 675408 0 1 0 179629 346 0 0 25 0 13 0 197142311 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071608091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32562/statm: 428310 379287 1915 14 0 415057 0 [pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=13.79 /proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 300088 0 0 0 1235 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=13.71 /proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 298615 0 0 0 1227 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=2.18 /proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 442 0 0 0 199 19 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.06 /proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2352 0 0 0 106 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.07 /proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2661 0 0 0 107 0 0 0 17 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197145862 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.75 Current children cumulated vsize (Kb) 1713240 [startup+1786.33 s] /proc/loadavg: 1.00 1.01 1.00 2/76 32580 /proc/meminfo: memFree=60208/2055920 swapFree=4181448/4192956 [pid=32562] ppid=32560 vsize=1713240 CPUtime=1800.76 /proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 675408 0 1 0 179730 346 0 0 25 0 13 0 197142311 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071640198 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32562/statm: 428310 379287 1915 14 0 415057 0 [pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=13.79 /proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 300088 0 0 0 1235 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=13.71 /proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 298615 0 0 0 1227 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=2.18 /proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 442 0 0 0 199 19 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.06 /proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2352 0 0 0 106 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.07 /proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2661 0 0 0 107 0 0 0 17 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197145862 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (Kb) 1713240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.33 s] /proc/loadavg: 1.00 1.01 1.00 2/76 32580 /proc/meminfo: memFree=60208/2055920 swapFree=4181448/4192956 [pid=32562] ppid=32560 vsize=1713240 CPUtime=1800.76 /proc/32562/stat : 32562 (java) R 32560 32562 32516 0 -1 0 675408 0 1 0 179730 346 0 0 25 0 13 0 197142311 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071640647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/32562/statm: 428310 379287 1915 14 0 415057 0 [pid=32562/tid=32563] ppid=32560 vsize=1713240 CPUtime=13.79 /proc/32562/task/32563/stat : 32563 (java) S 32560 32562 32516 0 -1 64 300088 0 0 0 1235 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32564] ppid=32560 vsize=1713240 CPUtime=13.71 /proc/32562/task/32564/stat : 32564 (java) S 32560 32562 32516 0 -1 64 298615 0 0 0 1227 144 0 0 16 0 13 0 197142314 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32565] ppid=32560 vsize=1713240 CPUtime=2.18 /proc/32562/task/32565/stat : 32565 (java) S 32560 32562 32516 0 -1 64 442 0 0 0 199 19 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32566] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32566/stat : 32566 (java) S 32560 32562 32516 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32567] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32567/stat : 32567 (java) S 32560 32562 32516 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 197142317 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32568] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32568/stat : 32568 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32569] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32569/stat : 32569 (java) S 32560 32562 32516 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32570] ppid=32560 vsize=1713240 CPUtime=1.06 /proc/32562/task/32570/stat : 32570 (java) S 32560 32562 32516 0 -1 64 2352 0 0 0 106 0 0 0 16 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32571] ppid=32560 vsize=1713240 CPUtime=1.07 /proc/32562/task/32571/stat : 32571 (java) S 32560 32562 32516 0 -1 64 2661 0 0 0 107 0 0 0 17 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32572] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32572/stat : 32572 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=32562/tid=32573] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32573/stat : 32573 (java) S 32560 32562 32516 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 197142321 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=32562/tid=32578] ppid=32560 vsize=1713240 CPUtime=0 /proc/32562/task/32578/stat : 32578 (java) S 32560 32562 32516 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 197145862 1754357760 379287 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (Kb) 1713240 Sending SIGTERM to -32562 Sleeping 2 seconds Child status: 143 Real time (s): 1786.67 CPU time (s): 1801.15 CPU user time (s): 1797.45 CPU system time (s): 3.70044 CPU usage (%): 100.811 Max. virtual memory (cumulated for all children) (Kb): 1713272
Begin job on node14 on Sat Jun 3 06:06:36 UTC 2006 FILE ID= 43321-1149314796 PBS_JOBID= 308276 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-harp2.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node14/43321-1149314796/instance-43321-1149314796.opb 605518050 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-43321-1149314796 -o ROOT/results/node14/solver-43321-1149314796 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node14/43321-1149314796/instance-43321-1149314796.opb 605518050 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= a22cdb58cc05b8a325a786916e6a7ab8 RANDOM SEED= 605518050 /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.241 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.241 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: 1524240 kB Buffers: 31284 kB Cached: 429832 kB SwapCached: 3188 kB Active: 36648 kB Inactive: 433072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1524240 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14740 kB Slab: 47984 kB Committed_AS: 320072 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node14 on Sat Jun 3 06:36:23 UTC 2006