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