Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 7771 | 1800.99 | 1757.68 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod010.opb |
MD5SUM | 0155c0c96434984f6ded6bb7ada20c0c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6548 |
Best CPU time to get the best result obtained on this benchmark | 1.90971 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6548 |
Optimality of the best value was proved | YES |
Number of variables | 2655 |
Total number of constraints | 146 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 145 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 2655 |
Number of terms in the objective function | 2655 |
Biggest coefficient in the objective function | 266 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 489211 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 266 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 489211 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 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.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.21 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node63/42679-1149366858/instance-42679-1149366858.opb 0.21 c reading problem ... 0.73 c ... done. Time 0.517 ms. 0.73 c #vars 2655 0.73 c #constraints 291 218.86 c SATISFIABLE 218.86 c OPTIMIZING... 218.86 c Got one! Ellapsed CPU time (in seconds):218.646 218.88 o 8257 224.23 c Got one! Ellapsed CPU time (in seconds):224.019 224.24 o 8256 340.66 c Got one! Ellapsed CPU time (in seconds):340.452 340.67 o 8242 432.53 c Got one! Ellapsed CPU time (in seconds):432.32 432.54 o 8091 766.40 c Got one! Ellapsed CPU time (in seconds):766.187 766.41 o 7991 896.85 c Got one! Ellapsed CPU time (in seconds):896.633 896.85 o 7935 1061.02 c Got one! Ellapsed CPU time (in seconds):1060.808 1061.03 o 7809 1215.67 c Got one! Ellapsed CPU time (in seconds):1215.46 1215.68 o 7771 1757.40 c starts : 33 1757.40 c conflicts : 5868 1757.40 c decisions : 176848 1757.40 c propagations : 750051 1757.40 c inspects : 22397221 1757.40 c learnt literals : 0 1757.40 c learnt binary clauses : 0 1757.40 c learnt ternary clauses : 0 1757.40 c learnt clauses : 5867 1757.40 c root simplifications : 0 1757.40 c removed literals (reason simplification) : 0 1757.40 c reason swapping (by a shorter reason) : 0 1757.40 c Calls to reduceDB : 0 1757.40 c speed (decisions/second) : 326.4685250138453 1757.40 c non guided choices 5 1757.40 s SATISFIABLE 1757.45 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 1757.45 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 1757.45 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 1757.45 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 1757.45 v -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1757.45 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 1757.45 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1757.45 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1757.45 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1757.45 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 1757.45 v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 1757.45 v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 1757.45 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 1757.45 v -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1757.45 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1757.45 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 1757.45 v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 1757.45 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1757.45 v -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1757.45 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 1757.45 v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 1757.45 v -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 1757.45 v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 1757.45 v -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 1757.45 v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 1757.45 v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 1757.45 v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 1757.45 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 1757.45 v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1757.45 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1757.45 v -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 1757.45 v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 1757.45 v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 1757.45 v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 1757.45 v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 1757.45 v -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 1757.45 v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 1757.45 v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 1757.45 v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1757.45 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 1757.45 v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 1757.45 v -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 1757.45 v -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 1757.45 v -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 1757.45 v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1757.45 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 1757.45 v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 1757.45 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1757.45 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 1757.45 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1757.45 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1757.45 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1757.45 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1757.45 v -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1757.45 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1757.45 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 1757.45 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1757.45 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1757.45 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 1757.45 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 1757.45 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1757.45 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 1757.45 v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 1757.45 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 1757.45 v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 1757.45 v -x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1757.45 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1757.45 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1757.45 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 1757.45 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1757.45 v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1757.45 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1757.45 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1757.45 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1757.45 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1757.45 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1757.45 v -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1757.45 v -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 1757.45 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1757.45 v -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 1757.45 v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1757.45 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 1757.45 v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1757.45 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 1757.45 v x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 1757.45 v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 1757.45 v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1757.45 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1757.45 v -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1757.45 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1757.45 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1757.45 v -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1757.45 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1757.45 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1757.45 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1757.45 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1757.45 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1757.45 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1757.45 v -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1757.45 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1757.45 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 1757.45 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 1757.45 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1757.45 v -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 1757.45 v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1757.45 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 1757.45 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1757.45 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1757.45 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 1757.45 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 1757.45 v -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 -x2095 -x2096 -x2097 1757.45 v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 1757.45 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 x2127 -x2128 -x2129 -x2130 -x2131 1757.45 v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 1757.45 v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 1757.45 v -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 1757.45 v -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1757.45 v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 1757.45 v -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 1757.45 v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 1757.45 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 1757.45 v -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 1757.45 v -x2285 -x2286 x2287 -x2288 -x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1757.45 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1757.45 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1757.45 v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1757.45 v x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 1757.45 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1757.45 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 1757.45 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 1757.45 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1757.45 v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 1757.45 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1757.45 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1757.45 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1757.45 v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 1757.45 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1757.45 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 1757.45 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1757.45 v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 1757.45 v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1757.45 v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 1757.45 v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 1757.45 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 x2651 -x2652 -x2653 -x2654 -x2655 1757.47 c objective function=7771 1757.47 c Total wall clock time (ms): 1757.257
OK 7771
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/node63/watcher-42679-1149366858 -o ROOT/results/node63/solver-42679-1149366858 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node63/42679-1149366858/instance-42679-1149366858.opb 810722459 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 4/64 25643 /proc/meminfo: memFree=1737744/2055920 swapFree=4182320/4192956 [pid=25643] ppid=25641 vsize=1784 CPUtime=0 /proc/25643/stat : 25643 (java) D 25641 25643 25597 0 -1 0 170 0 0 0 0 0 0 0 20 0 1 0 202252925 1826816 141 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/25643/statm: 446 141 106 14 0 91 0 [startup+10.0031 s] /proc/loadavg: 0.93 0.98 0.99 2/76 25655 /proc/meminfo: memFree=1547776/2055920 swapFree=4182320/4192956 [pid=25643] ppid=25641 vsize=1712584 CPUtime=11.67 /proc/25643/stat : 25643 (java) R 25641 25643 25597 0 -1 0 52831 0 1 0 1144 23 0 0 23 0 13 0 202252925 1753686016 49251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071672538 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/25643/statm: 428146 49251 1908 14 0 414893 0 [pid=25643/tid=25644] ppid=25641 vsize=1712584 CPUtime=0.32 /proc/25643/task/25644/stat : 25644 (java) S 25641 25643 25597 0 -1 64 7471 0 0 0 29 3 0 0 16 0 13 0 202252928 1753686016 49251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25645] ppid=25641 vsize=1712584 CPUtime=0.32 /proc/25643/task/25645/stat : 25645 (java) S 25641 25643 25597 0 -1 64 5921 0 0 0 29 3 0 0 15 0 13 0 202252928 1753686016 49251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25646] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25646/stat : 25646 (java) S 25641 25643 25597 0 -1 64 23 0 0 0 0 0 0 0 16 0 13 0 202252931 1753686016 49251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25647] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25647/stat : 25647 (java) S 25641 25643 25597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 202252931 1753686016 49251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25648] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25648/stat : 25648 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202252931 1753686016 49251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25649] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25649/stat : 25649 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1753686016 49251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25650] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25650/stat : 25650 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202252935 1753686016 49251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25651] ppid=25641 vsize=1712584 CPUtime=1.09 /proc/25643/task/25651/stat : 25651 (java) S 25641 25643 25597 0 -1 64 1844 0 0 0 109 0 0 0 16 0 13 0 202252935 1753686016 49251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25652] ppid=25641 vsize=1712584 CPUtime=0.79 /proc/25643/task/25652/stat : 25652 (java) S 25641 25643 25597 0 -1 64 1007 0 0 0 79 0 0 0 16 0 13 0 202252935 1753686016 49251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25653] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25653/stat : 25653 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1753686016 49251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25654] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25654/stat : 25654 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202252935 1753686016 49251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25655] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25655/stat : 25655 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 21 0 13 0 202253011 1753686016 49251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.67 Current children cumulated vsize (Kb) 1712584 [startup+20.0104 s] /proc/loadavg: 0.94 0.98 0.99 2/76 25655 /proc/meminfo: memFree=1579208/2055920 swapFree=4182320/4192956 [pid=25643] ppid=25641 vsize=1712584 CPUtime=21.71 /proc/25643/stat : 25643 (java) R 25641 25643 25597 0 -1 0 53554 0 1 0 2148 23 0 0 20 0 13 0 202252925 1753686016 41420 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071672549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25643/statm: 428146 41420 1908 14 0 414893 0 [pid=25643/tid=25644] ppid=25641 vsize=1712584 CPUtime=0.35 /proc/25643/task/25644/stat : 25644 (java) S 25641 25643 25597 0 -1 64 7822 0 0 0 32 3 0 0 16 0 13 0 202252928 1753686016 41420 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25645] ppid=25641 vsize=1712584 CPUtime=0.35 /proc/25643/task/25645/stat : 25645 (java) S 25641 25643 25597 0 -1 64 6229 0 0 0 32 3 0 0 16 0 13 0 202252928 1753686016 41420 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25646] ppid=25641 vsize=1712584 CPUtime=0.01 /proc/25643/task/25646/stat : 25646 (java) S 25641 25643 25597 0 -1 64 32 0 0 0 1 0 0 0 16 0 13 0 202252931 1753686016 41420 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25647] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25647/stat : 25647 (java) S 25641 25643 25597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 202252931 1753686016 41420 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25648] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25648/stat : 25648 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202252931 1753686016 41420 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25649] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25649/stat : 25649 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1753686016 41420 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25650] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25650/stat : 25650 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202252935 1753686016 41420 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25651] ppid=25641 vsize=1712584 CPUtime=1.09 /proc/25643/task/25651/stat : 25651 (java) S 25641 25643 25597 0 -1 64 1846 0 0 0 109 0 0 0 16 0 13 0 202252935 1753686016 41420 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25652] ppid=25641 vsize=1712584 CPUtime=0.81 /proc/25643/task/25652/stat : 25652 (java) S 25641 25643 25597 0 -1 64 1029 0 0 0 81 0 0 0 16 0 13 0 202252935 1753686016 41420 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25653] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25653/stat : 25653 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1753686016 41420 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25654] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25654/stat : 25654 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202252935 1753686016 41420 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25655] ppid=25641 vsize=1712584 CPUtime=0 /proc/25643/task/25655/stat : 25655 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 21 0 13 0 202253011 1753686016 41420 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.71 Current children cumulated vsize (Kb) 1712584 [startup+30.0172 s] /proc/loadavg: 0.95 0.98 0.99 2/76 25655 /proc/meminfo: memFree=1508680/2055920 swapFree=4182320/4192956 [pid=25643] ppid=25641 vsize=1713608 CPUtime=31.93 /proc/25643/stat : 25643 (java) R 25641 25643 25597 0 -1 0 73629 0 1 0 3161 32 0 0 25 0 13 0 202252925 1754734592 59087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071682989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25643/statm: 428402 59087 1908 14 0 415149 0 [pid=25643/tid=25644] ppid=25641 vsize=1713608 CPUtime=0.53 /proc/25643/task/25644/stat : 25644 (java) S 25641 25643 25597 0 -1 64 12440 0 0 0 48 5 0 0 15 0 13 0 202252928 1754734592 59087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25645] ppid=25641 vsize=1713608 CPUtime=0.54 /proc/25643/task/25645/stat : 25645 (java) S 25641 25643 25597 0 -1 64 11083 0 0 0 48 6 0 0 16 0 13 0 202252928 1754734592 59087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25646] ppid=25641 vsize=1713608 CPUtime=0.01 /proc/25643/task/25646/stat : 25646 (java) S 25641 25643 25597 0 -1 64 58 0 0 0 1 0 0 0 16 0 13 0 202252931 1754734592 59087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25647] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25647/stat : 25647 (java) S 25641 25643 25597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 59087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25648] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25648/stat : 25648 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 59087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25649] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25649/stat : 25649 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 59087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25650] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25650/stat : 25650 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202252935 1754734592 59087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25651] ppid=25641 vsize=1713608 CPUtime=1.1 /proc/25643/task/25651/stat : 25651 (java) S 25641 25643 25597 0 -1 64 1846 0 0 0 110 0 0 0 15 0 13 0 202252935 1754734592 59087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25652] ppid=25641 vsize=1713608 CPUtime=0.85 /proc/25643/task/25652/stat : 25652 (java) S 25641 25643 25597 0 -1 64 1340 0 0 0 85 0 0 0 15 0 13 0 202252935 1754734592 59087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25653] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25653/stat : 25653 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 59087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25654] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25654/stat : 25654 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202252935 1754734592 59087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25655] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25655/stat : 25655 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 21 0 13 0 202253011 1754734592 59087 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.93 Current children cumulated vsize (Kb) 1713608 [startup+40.0243 s] /proc/loadavg: 0.96 0.98 0.99 2/76 25655 /proc/meminfo: memFree=1527688/2055920 swapFree=4182320/4192956 [pid=25643] ppid=25641 vsize=1713608 CPUtime=41.96 /proc/25643/stat : 25643 (java) R 25641 25643 25597 0 -1 0 74324 0 1 0 4162 34 0 0 25 0 13 0 202252925 1754734592 54283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071458516 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25643/statm: 428402 54283 1908 14 0 415149 0 [pid=25643/tid=25644] ppid=25641 vsize=1713608 CPUtime=0.56 /proc/25643/task/25644/stat : 25644 (java) S 25641 25643 25597 0 -1 64 12802 0 0 0 51 5 0 0 15 0 13 0 202252928 1754734592 54283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25645] ppid=25641 vsize=1713608 CPUtime=0.56 /proc/25643/task/25645/stat : 25645 (java) S 25641 25643 25597 0 -1 64 11389 0 0 0 50 6 0 0 16 0 13 0 202252928 1754734592 54283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25646] ppid=25641 vsize=1713608 CPUtime=0.01 /proc/25643/task/25646/stat : 25646 (java) S 25641 25643 25597 0 -1 64 58 0 0 0 1 0 0 0 16 0 13 0 202252931 1754734592 54283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25647] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25647/stat : 25647 (java) S 25641 25643 25597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 54283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25648] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25648/stat : 25648 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 54283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25649] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25649/stat : 25649 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 54283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25650] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25650/stat : 25650 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202252935 1754734592 54283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25651] ppid=25641 vsize=1713608 CPUtime=1.1 /proc/25643/task/25651/stat : 25651 (java) S 25641 25643 25597 0 -1 64 1846 0 0 0 110 0 0 0 15 0 13 0 202252935 1754734592 54283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25652] ppid=25641 vsize=1713608 CPUtime=0.85 /proc/25643/task/25652/stat : 25652 (java) S 25641 25643 25597 0 -1 64 1340 0 0 0 85 0 0 0 15 0 13 0 202252935 1754734592 54283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25653] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25653/stat : 25653 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 54283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25654] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25654/stat : 25654 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202252935 1754734592 54283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25655] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25655/stat : 25655 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 202253011 1754734592 54283 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.96 Current children cumulated vsize (Kb) 1713608 [startup+50.0314 s] /proc/loadavg: 1.04 1.00 1.00 2/76 25655 /proc/meminfo: memFree=1490440/2055920 swapFree=4182320/4192956 [pid=25643] ppid=25641 vsize=1713608 CPUtime=52.1 /proc/25643/stat : 25643 (java) R 25641 25643 25597 0 -1 0 85082 0 1 0 5172 38 0 0 23 0 13 0 202252925 1754734592 63641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071682113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25643/statm: 428402 63641 1908 14 0 415149 0 [pid=25643/tid=25644] ppid=25641 vsize=1713608 CPUtime=0.7 /proc/25643/task/25644/stat : 25644 (java) S 25641 25643 25597 0 -1 64 15730 0 0 0 63 7 0 0 16 0 13 0 202252928 1754734592 63641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25645] ppid=25641 vsize=1713608 CPUtime=0.7 /proc/25643/task/25645/stat : 25645 (java) S 25641 25643 25597 0 -1 64 14155 0 0 0 63 7 0 0 16 0 13 0 202252928 1754734592 63641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25646] ppid=25641 vsize=1713608 CPUtime=0.03 /proc/25643/task/25646/stat : 25646 (java) S 25641 25643 25597 0 -1 64 70 0 0 0 2 1 0 0 16 0 13 0 202252931 1754734592 63641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25647] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25647/stat : 25647 (java) S 25641 25643 25597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 63641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25648] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25648/stat : 25648 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 63641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25649] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25649/stat : 25649 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 63641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25650] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25650/stat : 25650 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202252935 1754734592 63641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25651] ppid=25641 vsize=1713608 CPUtime=1.1 /proc/25643/task/25651/stat : 25651 (java) S 25641 25643 25597 0 -1 64 1846 0 0 0 110 0 0 0 16 0 13 0 202252935 1754734592 63641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25652] ppid=25641 vsize=1713608 CPUtime=0.86 /proc/25643/task/25652/stat : 25652 (java) S 25641 25643 25597 0 -1 64 1348 0 0 0 86 0 0 0 16 0 13 0 202252935 1754734592 63641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25653] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25653/stat : 25653 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 63641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25654] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25654/stat : 25654 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202252935 1754734592 63641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25655] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25655/stat : 25655 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 202253011 1754734592 63641 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 52.1 Current children cumulated vsize (Kb) 1713608 [startup+60.0384 s] /proc/loadavg: 1.04 1.00 1.00 2/76 25655 /proc/meminfo: memFree=1487560/2055920 swapFree=4182320/4192956 [pid=25643] ppid=25641 vsize=1713608 CPUtime=62.22 /proc/25643/stat : 25643 (java) R 25641 25643 25597 0 -1 0 88273 0 1 0 6182 40 0 0 25 0 13 0 202252925 1754734592 64311 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071458438 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25643/statm: 428402 64311 1908 14 0 415149 0 [pid=25643/tid=25644] ppid=25641 vsize=1713608 CPUtime=0.81 /proc/25643/task/25644/stat : 25644 (java) S 25641 25643 25597 0 -1 64 17148 0 0 0 73 8 0 0 16 0 13 0 202252928 1754734592 64311 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25645] ppid=25641 vsize=1713608 CPUtime=0.79 /proc/25643/task/25645/stat : 25645 (java) S 25641 25643 25597 0 -1 64 15905 0 0 0 72 7 0 0 15 0 13 0 202252928 1754734592 64311 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25646] ppid=25641 vsize=1713608 CPUtime=0.03 /proc/25643/task/25646/stat : 25646 (java) S 25641 25643 25597 0 -1 64 73 0 0 0 2 1 0 0 16 0 13 0 202252931 1754734592 64311 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25647] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25647/stat : 25647 (java) S 25641 25643 25597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 64311 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25648] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25648/stat : 25648 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 64311 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25649] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25649/stat : 25649 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 64311 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=25643/tid=25647] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25647/stat : 25647 (java) S 25641 25643 25597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 259145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25648] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25648/stat : 25648 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 259145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25649] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25649/stat : 25649 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 259145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25650] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25650/stat : 25650 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202252935 1754734592 259145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25651] ppid=25641 vsize=1713608 CPUtime=1.16 /proc/25643/task/25651/stat : 25651 (java) S 25641 25643 25597 0 -1 64 1856 0 0 0 116 0 0 0 16 0 13 0 202252935 1754734592 259145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25652] ppid=25641 vsize=1713608 CPUtime=0.99 /proc/25643/task/25652/stat : 25652 (java) S 25641 25643 25597 0 -1 64 1384 0 0 0 99 0 0 0 17 0 13 0 202252935 1754734592 259145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25653] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25653/stat : 25653 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 259145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25654] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25654/stat : 25654 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202252935 1754734592 259145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25665] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25665/stat : 25665 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202374496 1754734592 259145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (Kb) 1713608 [startup+1754.38 s] /proc/loadavg: 1.07 1.06 1.01 2/76 25860 /proc/meminfo: memFree=705672/2055920 swapFree=4182320/4192956 [pid=25643] ppid=25641 vsize=1713608 CPUtime=1797.48 /proc/25643/stat : 25643 (java) R 25641 25643 25597 0 -1 0 355650 0 1 0 179488 260 0 0 17 0 13 0 202252925 1754734592 259155 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071683661 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25643/statm: 428402 259155 1911 14 0 415149 0 [pid=25643/tid=25644] ppid=25641 vsize=1713608 CPUtime=42.6 /proc/25643/task/25644/stat : 25644 (java) S 25641 25643 25597 0 -1 64 137765 0 0 0 4169 91 0 0 16 0 13 0 202252928 1754734592 259155 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25645] ppid=25641 vsize=1713608 CPUtime=42.65 /proc/25643/task/25645/stat : 25645 (java) S 25641 25643 25597 0 -1 64 127391 0 0 0 4185 80 0 0 17 0 13 0 202252928 1754734592 259155 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25646] ppid=25641 vsize=1713608 CPUtime=0.76 /proc/25643/task/25646/stat : 25646 (java) S 25641 25643 25597 0 -1 64 180 0 0 0 46 30 0 0 15 0 13 0 202252931 1754734592 259155 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25647] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25647/stat : 25647 (java) S 25641 25643 25597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 259155 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25648] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25648/stat : 25648 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 259155 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25649] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25649/stat : 25649 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 259155 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25650] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25650/stat : 25650 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202252935 1754734592 259155 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25651] ppid=25641 vsize=1713608 CPUtime=1.16 /proc/25643/task/25651/stat : 25651 (java) S 25641 25643 25597 0 -1 64 1856 0 0 0 116 0 0 0 16 0 13 0 202252935 1754734592 259155 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25652] ppid=25641 vsize=1713608 CPUtime=0.99 /proc/25643/task/25652/stat : 25652 (java) S 25641 25643 25597 0 -1 64 1384 0 0 0 99 0 0 0 17 0 13 0 202252935 1754734592 259155 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25653] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25653/stat : 25653 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 259155 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25654] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25654/stat : 25654 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202252935 1754734592 259155 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25665] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25665/stat : 25665 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202374496 1754734592 259155 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 1713608 [startup+1755.38 s] /proc/loadavg: 1.07 1.06 1.01 2/76 25860 /proc/meminfo: memFree=705544/2055920 swapFree=4182320/4192956 [pid=25643] ppid=25641 vsize=1713608 CPUtime=1798.52 /proc/25643/stat : 25643 (java) R 25641 25643 25597 0 -1 0 355660 0 1 0 179592 260 0 0 18 0 13 0 202252925 1754734592 259163 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25643/statm: 428402 259163 1911 14 0 415149 0 [pid=25643/tid=25644] ppid=25641 vsize=1713608 CPUtime=42.64 /proc/25643/task/25644/stat : 25644 (java) S 25641 25643 25597 0 -1 64 137770 0 0 0 4173 91 0 0 16 0 13 0 202252928 1754734592 259163 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25645] ppid=25641 vsize=1713608 CPUtime=42.68 /proc/25643/task/25645/stat : 25645 (java) S 25641 25643 25597 0 -1 64 127394 0 0 0 4188 80 0 0 16 0 13 0 202252928 1754734592 259163 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25646] ppid=25641 vsize=1713608 CPUtime=0.76 /proc/25643/task/25646/stat : 25646 (java) S 25641 25643 25597 0 -1 64 180 0 0 0 46 30 0 0 15 0 13 0 202252931 1754734592 259163 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25647] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25647/stat : 25647 (java) S 25641 25643 25597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 259163 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25648] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25648/stat : 25648 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 259163 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25649] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25649/stat : 25649 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 259163 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25650] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25650/stat : 25650 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202252935 1754734592 259163 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25651] ppid=25641 vsize=1713608 CPUtime=1.16 /proc/25643/task/25651/stat : 25651 (java) S 25641 25643 25597 0 -1 64 1856 0 0 0 116 0 0 0 16 0 13 0 202252935 1754734592 259163 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25652] ppid=25641 vsize=1713608 CPUtime=0.99 /proc/25643/task/25652/stat : 25652 (java) S 25641 25643 25597 0 -1 64 1384 0 0 0 99 0 0 0 17 0 13 0 202252935 1754734592 259163 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25653] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25653/stat : 25653 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 259163 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25654] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25654/stat : 25654 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202252935 1754734592 259163 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25665] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25665/stat : 25665 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202374496 1754734592 259163 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 1713608 [startup+1756.39 s] /proc/loadavg: 1.07 1.06 1.01 2/76 25860 /proc/meminfo: memFree=705544/2055920 swapFree=4182320/4192956 [pid=25643] ppid=25641 vsize=1713608 CPUtime=1799.56 /proc/25643/stat : 25643 (java) R 25641 25643 25597 0 -1 0 355672 0 1 0 179696 260 0 0 19 0 13 0 202252925 1754734592 259173 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071458242 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25643/statm: 428402 259173 1911 14 0 415149 0 [pid=25643/tid=25644] ppid=25641 vsize=1713608 CPUtime=42.67 /proc/25643/task/25644/stat : 25644 (java) S 25641 25643 25597 0 -1 64 137776 0 0 0 4176 91 0 0 16 0 13 0 202252928 1754734592 259173 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25645] ppid=25641 vsize=1713608 CPUtime=42.72 /proc/25643/task/25645/stat : 25645 (java) S 25641 25643 25597 0 -1 64 127398 0 0 0 4192 80 0 0 16 0 13 0 202252928 1754734592 259173 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25646] ppid=25641 vsize=1713608 CPUtime=0.76 /proc/25643/task/25646/stat : 25646 (java) S 25641 25643 25597 0 -1 64 180 0 0 0 46 30 0 0 16 0 13 0 202252931 1754734592 259173 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25647] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25647/stat : 25647 (java) S 25641 25643 25597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 259173 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25648] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25648/stat : 25648 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 259173 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25649] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25649/stat : 25649 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 259173 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25650] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25650/stat : 25650 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202252935 1754734592 259173 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25651] ppid=25641 vsize=1713608 CPUtime=1.16 /proc/25643/task/25651/stat : 25651 (java) S 25641 25643 25597 0 -1 64 1856 0 0 0 116 0 0 0 16 0 13 0 202252935 1754734592 259173 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25652] ppid=25641 vsize=1713608 CPUtime=0.99 /proc/25643/task/25652/stat : 25652 (java) S 25641 25643 25597 0 -1 64 1384 0 0 0 99 0 0 0 17 0 13 0 202252935 1754734592 259173 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25653] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25653/stat : 25653 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 259173 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25654] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25654/stat : 25654 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202252935 1754734592 259173 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25665] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25665/stat : 25665 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202374496 1754734592 259173 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 1713608 [startup+1757.39 s] /proc/loadavg: 1.07 1.06 1.01 2/76 25860 /proc/meminfo: memFree=704840/2055920 swapFree=4182320/4192956 [pid=25643] ppid=25641 vsize=1713608 CPUtime=1800.63 /proc/25643/stat : 25643 (java) R 25641 25643 25597 0 -1 0 355856 0 1 0 179803 260 0 0 19 0 13 0 202252925 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25643/statm: 428402 259346 1911 14 0 415149 0 [pid=25643/tid=25644] ppid=25641 vsize=1713608 CPUtime=42.74 /proc/25643/task/25644/stat : 25644 (java) S 25641 25643 25597 0 -1 64 137889 0 0 0 4183 91 0 0 16 0 13 0 202252928 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25645] ppid=25641 vsize=1713608 CPUtime=42.79 /proc/25643/task/25645/stat : 25645 (java) S 25641 25643 25597 0 -1 64 127466 0 0 0 4199 80 0 0 17 0 13 0 202252928 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25646] ppid=25641 vsize=1713608 CPUtime=0.76 /proc/25643/task/25646/stat : 25646 (java) S 25641 25643 25597 0 -1 64 181 0 0 0 46 30 0 0 15 0 13 0 202252931 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25647] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25647/stat : 25647 (java) S 25641 25643 25597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25648] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25648/stat : 25648 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25649] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25649/stat : 25649 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25650] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25650/stat : 25650 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202252935 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25651] ppid=25641 vsize=1713608 CPUtime=1.16 /proc/25643/task/25651/stat : 25651 (java) S 25641 25643 25597 0 -1 64 1856 0 0 0 116 0 0 0 16 0 13 0 202252935 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25652] ppid=25641 vsize=1713608 CPUtime=0.99 /proc/25643/task/25652/stat : 25652 (java) S 25641 25643 25597 0 -1 64 1384 0 0 0 99 0 0 0 17 0 13 0 202252935 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25653] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25653/stat : 25653 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25654] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25654/stat : 25654 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202252935 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25665] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25665/stat : 25665 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202374496 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 1713608 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1757.4 s] /proc/loadavg: 1.07 1.06 1.01 2/76 25860 /proc/meminfo: memFree=704840/2055920 swapFree=4182320/4192956 [pid=25643] ppid=25641 vsize=1713608 CPUtime=1800.64 /proc/25643/stat : 25643 (java) R 25641 25643 25597 0 -1 0 355856 0 1 0 179804 260 0 0 19 0 13 0 202252925 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071458293 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/25643/statm: 428402 259346 1911 14 0 415149 0 [pid=25643/tid=25644] ppid=25641 vsize=1713608 CPUtime=42.74 /proc/25643/task/25644/stat : 25644 (java) S 25641 25643 25597 0 -1 64 137889 0 0 0 4183 91 0 0 16 0 13 0 202252928 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25645] ppid=25641 vsize=1713608 CPUtime=42.79 /proc/25643/task/25645/stat : 25645 (java) S 25641 25643 25597 0 -1 64 127466 0 0 0 4199 80 0 0 17 0 13 0 202252928 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25646] ppid=25641 vsize=1713608 CPUtime=0.76 /proc/25643/task/25646/stat : 25646 (java) S 25641 25643 25597 0 -1 64 181 0 0 0 46 30 0 0 15 0 13 0 202252931 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25647] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25647/stat : 25647 (java) S 25641 25643 25597 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25648] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25648/stat : 25648 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202252931 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25649] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25649/stat : 25649 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25650] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25650/stat : 25650 (java) S 25641 25643 25597 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 202252935 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25651] ppid=25641 vsize=1713608 CPUtime=1.16 /proc/25643/task/25651/stat : 25651 (java) S 25641 25643 25597 0 -1 64 1856 0 0 0 116 0 0 0 16 0 13 0 202252935 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25652] ppid=25641 vsize=1713608 CPUtime=0.99 /proc/25643/task/25652/stat : 25652 (java) S 25641 25643 25597 0 -1 64 1384 0 0 0 99 0 0 0 17 0 13 0 202252935 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=25643/tid=25653] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25653/stat : 25653 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 202252935 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25654] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25654/stat : 25654 (java) S 25641 25643 25597 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 202252935 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=25643/tid=25665] ppid=25641 vsize=1713608 CPUtime=0 /proc/25643/task/25665/stat : 25665 (java) S 25641 25643 25597 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 202374496 1754734592 259346 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 1713608 Sending SIGTERM to -25643 Sleeping 2 seconds Child status: 143 Real time (s): 1757.68 CPU time (s): 1800.99 CPU user time (s): 1798.23 CPU system time (s): 2.76558 CPU usage (%): 102.464 Max. virtual memory (cumulated for all children) (Kb): 1713608
Begin job on node63 on Sat Jun 3 20:34:18 UTC 2006 FILE ID= 42679-1149366858 PBS_JOBID= 311891 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node63/42679-1149366858/instance-42679-1149366858.opb 810722459 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-42679-1149366858 -o ROOT/results/node63/solver-42679-1149366858 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node63/42679-1149366858/instance-42679-1149366858.opb 810722459 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= 0155c0c96434984f6ded6bb7ada20c0c RANDOM SEED= 810722459 /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.228 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.228 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: 1737952 kB Buffers: 21728 kB Cached: 230528 kB SwapCached: 2336 kB Active: 82388 kB Inactive: 178524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1737952 kB SwapTotal: 4192956 kB SwapFree: 4182320 kB Dirty: 204 kB Writeback: 0 kB Mapped: 15864 kB Slab: 43044 kB Committed_AS: 357092 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node63 on Sat Jun 3 21:03:36 UTC 2006