Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | SAT (TO) | 80 | 1801.1 | 1736.59 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-ex5.pi.opb |
MD5SUM | f97e3571862917880e13c63c8ac169f9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 65 |
Best CPU time to get the best result obtained on this benchmark | 28.7656 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 65 |
Optimality of the best value was proved | YES |
Number of variables | 2459 |
Total number of constraints | 873 |
Number of constraints which are clauses | 873 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 146 |
Number of terms in the objective function | 2459 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2459 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2459 |
Number of bits of the biggest sum of numbers | 12 |
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-34.ELsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.22 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node91/42867-1149404726/instance-42867-1149404726.opb 0.22 c reading problem ... 0.84 c ... done. Time 0.623 ms. 0.84 c #vars 2459 0.84 c #constraints 845 0.99 c SATISFIABLE 0.99 c OPTIMIZING... 0.99 c Got one! Ellapsed CPU time (in seconds):0.773 1.01 o 84 1.34 c Got one! Ellapsed CPU time (in seconds):1.123 1.35 o 83 1.68 c Got one! Ellapsed CPU time (in seconds):1.468 1.69 o 82 1.88 c Got one! Ellapsed CPU time (in seconds):1.663 1.88 o 81 2.47 c Got one! Ellapsed CPU time (in seconds):2.258 2.48 o 80 1736.39 c starts : 13 1736.39 c conflicts : 3801 1736.39 c decisions : 79691 1736.39 c propagations : 230511 1736.39 c inspects : 8256107 1736.39 c learnt literals : 0 1736.39 c learnt binary clauses : 0 1736.39 c learnt ternary clauses : 0 1736.39 c learnt clauses : 3801 1736.39 c root simplifications : 0 1736.39 c removed literals (reason simplification) : 0 1736.39 c reason swapping (by a shorter reason) : 0 1736.39 c Calls to reduceDB : 0 1736.39 c speed (decisions/second) : 45.960763415483775 1736.39 c non guided choices 0 1736.39 s SATISFIABLE 1736.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 1736.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 1736.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 1736.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 1736.43 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1736.43 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 1736.43 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1736.43 v -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1736.43 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1736.43 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1736.43 v -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1736.43 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1736.43 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1736.43 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1736.43 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 1736.43 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1736.43 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1736.43 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1736.43 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1736.43 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1736.43 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1736.43 v -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1736.43 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1736.43 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1736.43 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1736.43 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 1736.43 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1736.43 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1736.43 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 1736.43 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1736.43 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 1736.43 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1736.43 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1736.43 v -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1736.43 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 1736.43 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1736.43 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1736.43 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1736.43 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1736.43 v -x840 -x841 -x842 -x843 -x844 x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1736.43 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1736.43 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 1736.43 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 1736.43 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1736.43 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1736.43 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1736.43 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 1736.43 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 x1024 1736.43 v -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 1736.43 v -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1736.43 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 1736.43 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 1736.43 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1736.43 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 1736.43 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 1736.43 v -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 1736.43 v x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1736.43 v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 1736.43 v -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 1736.43 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 1736.43 v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 1736.43 v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 1736.43 v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 1736.43 v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1736.43 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 1736.43 v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1736.43 v -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 1736.43 v -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 1736.43 v -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 x1386 -x1387 1736.43 v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 1736.43 v -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 1736.43 v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 1736.43 v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1736.43 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 1736.43 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 1736.43 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1736.43 v -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 1736.43 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1736.43 v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 1736.43 v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 1736.43 v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 1736.43 v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 1736.43 v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 1736.43 v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 1736.43 v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 1736.43 v -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 1736.43 v -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 1736.43 v -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 1736.43 v -x1713 -x1714 -x1715 x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1736.43 v -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 1736.43 v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 x1761 -x1762 -x1763 -x1764 1736.43 v -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 1736.43 v -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 1736.43 v -x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 1736.43 v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 1736.43 v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1736.43 v -x1850 x1851 x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 1736.43 v -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1736.43 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 1736.43 v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 1736.43 v x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 1736.43 v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 1736.43 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 1736.43 v x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 1736.43 v -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 1736.43 v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 1736.43 v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 1736.43 v -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 x2056 1736.43 v -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 1736.43 v -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 1736.43 v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 1736.43 v -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 1736.43 v -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 1736.43 v -x2143 -x2144 x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1736.43 v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1736.43 v -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 1736.43 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1736.43 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1736.43 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 1736.43 v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 1736.43 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1736.43 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 1736.43 v -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 1736.43 v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1736.43 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 1736.43 v -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 1736.43 v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 1736.43 v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 1736.43 v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 1736.43 v -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1736.43 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1736.43 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 1736.43 c objective function=80 1736.43 c Total wall clock time (ms): 1736.218
OK 80
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/node91/watcher-42867-1149404726 -o ROOT/results/node91/solver-42867-1149404726 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node91/42867-1149404726/instance-42867-1149404726.opb 596308701 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.87 0.99 0.99 2/68 21364 /proc/meminfo: memFree=1563696/2055892 swapFree=4085372/4096564 [pid=21364] ppid=21362 vsize=1788 CPUtime=0 /proc/21364/stat : 21364 (java) R 21362 21364 21318 0 -1 0 170 0 0 0 0 0 0 0 18 0 1 0 206111566 1830912 139 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/21364/statm: 447 139 104 14 0 91 0 [startup+10.0028 s] /proc/loadavg: 0.89 0.99 0.99 2/80 21381 /proc/meminfo: memFree=1379032/2055892 swapFree=4085372/4096564 [pid=21364] ppid=21362 vsize=1712604 CPUtime=11.43 /proc/21364/stat : 21364 (java) R 21362 21364 21318 0 -1 0 51934 0 1 0 1122 21 0 0 16 0 13 0 206111566 1753706496 47910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071690376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21364/statm: 428151 47910 1911 14 0 414897 0 [pid=21364/tid=21365] ppid=21362 vsize=1712604 CPUtime=0.21 /proc/21364/task/21365/stat : 21365 (java) S 21362 21364 21318 0 -1 64 5150 0 0 0 19 2 0 0 16 0 13 0 206111570 1753706496 47910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21366] ppid=21362 vsize=1712604 CPUtime=0.21 /proc/21364/task/21366/stat : 21366 (java) S 21362 21364 21318 0 -1 64 5941 0 0 0 18 3 0 0 16 0 13 0 206111570 1753706496 47910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21367] ppid=21362 vsize=1712604 CPUtime=0 /proc/21364/task/21367/stat : 21367 (java) S 21362 21364 21318 0 -1 64 30 0 0 0 0 0 0 0 15 0 13 0 206111572 1753706496 47910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21368] ppid=21362 vsize=1712604 CPUtime=0 /proc/21364/task/21368/stat : 21368 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206111573 1753706496 47910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21369] ppid=21362 vsize=1712604 CPUtime=0 /proc/21364/task/21369/stat : 21369 (java) S 21362 21364 21318 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206111573 1753706496 47910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21370] ppid=21362 vsize=1712604 CPUtime=0 /proc/21364/task/21370/stat : 21370 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206111576 1753706496 47910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21371] ppid=21362 vsize=1712604 CPUtime=0 /proc/21364/task/21371/stat : 21371 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206111576 1753706496 47910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21372] ppid=21362 vsize=1712604 CPUtime=0.95 /proc/21364/task/21372/stat : 21372 (java) S 21362 21364 21318 0 -1 64 2150 0 0 0 94 1 0 0 16 0 13 0 206111576 1753706496 47910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21373] ppid=21362 vsize=1712604 CPUtime=0.92 /proc/21364/task/21373/stat : 21373 (java) S 21362 21364 21318 0 -1 64 1182 0 0 0 92 0 0 0 17 0 13 0 206111576 1753706496 47910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21374] ppid=21362 vsize=1712604 CPUtime=0 /proc/21364/task/21374/stat : 21374 (java) S 21362 21364 21318 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206111576 1753706496 47910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21375] ppid=21362 vsize=1712604 CPUtime=0 /proc/21364/task/21375/stat : 21375 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206111576 1753706496 47910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21381] ppid=21362 vsize=1712604 CPUtime=0 /proc/21364/task/21381/stat : 21381 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 206111816 1753706496 47910 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.43 Current children cumulated vsize (Kb) 1712604 [startup+20.0098 s] /proc/loadavg: 0.91 0.99 0.99 2/80 21381 /proc/meminfo: memFree=1348504/2055892 swapFree=4085372/4096564 [pid=21364] ppid=21362 vsize=1712476 CPUtime=21.66 /proc/21364/stat : 21364 (java) R 21362 21364 21318 0 -1 0 63548 0 1 0 2140 26 0 0 18 0 13 0 206111566 1753575424 55584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071725455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21364/statm: 428119 55584 1911 14 0 414865 0 [pid=21364/tid=21365] ppid=21362 vsize=1712476 CPUtime=0.37 /proc/21364/task/21365/stat : 21365 (java) S 21362 21364 21318 0 -1 64 9192 0 0 0 33 4 0 0 16 0 13 0 206111570 1753575424 55584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21366] ppid=21362 vsize=1712476 CPUtime=0.36 /proc/21364/task/21366/stat : 21366 (java) S 21362 21364 21318 0 -1 64 10138 0 0 0 32 4 0 0 16 0 13 0 206111570 1753575424 55584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21367] ppid=21362 vsize=1712476 CPUtime=0.01 /proc/21364/task/21367/stat : 21367 (java) S 21362 21364 21318 0 -1 64 43 0 0 0 1 0 0 0 15 0 13 0 206111572 1753575424 55584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21368] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21368/stat : 21368 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 55584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21369] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21369/stat : 21369 (java) S 21362 21364 21318 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 55584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21370] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21370/stat : 21370 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206111576 1753575424 55584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21371] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21371/stat : 21371 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206111576 1753575424 55584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21372] ppid=21362 vsize=1712476 CPUtime=1.01 /proc/21364/task/21372/stat : 21372 (java) S 21362 21364 21318 0 -1 64 2445 0 0 0 100 1 0 0 17 0 13 0 206111576 1753575424 55584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21373] ppid=21362 vsize=1712476 CPUtime=0.93 /proc/21364/task/21373/stat : 21373 (java) S 21362 21364 21318 0 -1 64 1182 0 0 0 93 0 0 0 16 0 13 0 206111576 1753575424 55584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21374] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21374/stat : 21374 (java) S 21362 21364 21318 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206111576 1753575424 55584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21375] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21375/stat : 21375 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206111576 1753575424 55584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21381] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21381/stat : 21381 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 206111816 1753575424 55584 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.66 Current children cumulated vsize (Kb) 1712476 [startup+30.0168 s] /proc/loadavg: 0.92 0.99 0.99 2/80 21381 /proc/meminfo: memFree=1338264/2055892 swapFree=4085372/4096564 [pid=21364] ppid=21362 vsize=1712476 CPUtime=31.78 /proc/21364/stat : 21364 (java) R 21362 21364 21318 0 -1 0 68583 0 1 0 3149 29 0 0 18 0 13 0 206111566 1753575424 58107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071756030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21364/statm: 428119 58107 1911 14 0 414865 0 [pid=21364/tid=21365] ppid=21362 vsize=1712476 CPUtime=0.5 /proc/21364/task/21365/stat : 21365 (java) S 21362 21364 21318 0 -1 64 11566 0 0 0 45 5 0 0 16 0 13 0 206111570 1753575424 58107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21366] ppid=21362 vsize=1712476 CPUtime=0.5 /proc/21364/task/21366/stat : 21366 (java) S 21362 21364 21318 0 -1 64 12772 0 0 0 44 6 0 0 15 0 13 0 206111570 1753575424 58107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21367] ppid=21362 vsize=1712476 CPUtime=0.01 /proc/21364/task/21367/stat : 21367 (java) S 21362 21364 21318 0 -1 64 43 0 0 0 1 0 0 0 16 0 13 0 206111572 1753575424 58107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21368] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21368/stat : 21368 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 58107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21369] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21369/stat : 21369 (java) S 21362 21364 21318 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 58107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21370] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21370/stat : 21370 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206111576 1753575424 58107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21371] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21371/stat : 21371 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206111576 1753575424 58107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21372] ppid=21362 vsize=1712476 CPUtime=1.01 /proc/21364/task/21372/stat : 21372 (java) S 21362 21364 21318 0 -1 64 2445 0 0 0 100 1 0 0 17 0 13 0 206111576 1753575424 58107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21373] ppid=21362 vsize=1712476 CPUtime=0.93 /proc/21364/task/21373/stat : 21373 (java) S 21362 21364 21318 0 -1 64 1182 0 0 0 93 0 0 0 16 0 13 0 206111576 1753575424 58107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21374] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21374/stat : 21374 (java) S 21362 21364 21318 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206111576 1753575424 58107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21375] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21375/stat : 21375 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206111576 1753575424 58107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21381] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21381/stat : 21381 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 206111816 1753575424 58107 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.78 Current children cumulated vsize (Kb) 1712476 [startup+40.0237 s] /proc/loadavg: 0.93 0.99 0.99 2/80 21381 /proc/meminfo: memFree=1328216/2055892 swapFree=4085372/4096564 [pid=21364] ppid=21362 vsize=1712476 CPUtime=41.85 /proc/21364/stat : 21364 (java) R 21362 21364 21318 0 -1 0 75037 0 1 0 4153 32 0 0 18 0 13 0 206111566 1753575424 60644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071550016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21364/statm: 428119 60644 1911 14 0 414865 0 [pid=21364/tid=21365] ppid=21362 vsize=1712476 CPUtime=0.56 /proc/21364/task/21365/stat : 21365 (java) S 21362 21364 21318 0 -1 64 12339 0 0 0 50 6 0 0 15 0 13 0 206111570 1753575424 60644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21366] ppid=21362 vsize=1712476 CPUtime=0.56 /proc/21364/task/21366/stat : 21366 (java) S 21362 21364 21318 0 -1 64 13574 0 0 0 50 6 0 0 16 0 13 0 206111570 1753575424 60644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21367] ppid=21362 vsize=1712476 CPUtime=0.02 /proc/21364/task/21367/stat : 21367 (java) S 21362 21364 21318 0 -1 64 59 0 0 0 1 1 0 0 16 0 13 0 206111572 1753575424 60644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21368] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21368/stat : 21368 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 60644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21369] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21369/stat : 21369 (java) S 21362 21364 21318 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 60644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21370] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21370/stat : 21370 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206111576 1753575424 60644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21371] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21371/stat : 21371 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206111576 1753575424 60644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21372] ppid=21362 vsize=1712476 CPUtime=1.01 /proc/21364/task/21372/stat : 21372 (java) S 21362 21364 21318 0 -1 64 2445 0 0 0 100 1 0 0 17 0 13 0 206111576 1753575424 60644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21373] ppid=21362 vsize=1712476 CPUtime=0.93 /proc/21364/task/21373/stat : 21373 (java) S 21362 21364 21318 0 -1 64 1182 0 0 0 93 0 0 0 16 0 13 0 206111576 1753575424 60644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21374] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21374/stat : 21374 (java) S 21362 21364 21318 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206111576 1753575424 60644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21375] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21375/stat : 21375 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206111576 1753575424 60644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21381] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21381/stat : 21381 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206111816 1753575424 60644 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.85 Current children cumulated vsize (Kb) 1712476 [startup+50.0317 s] /proc/loadavg: 0.94 0.99 0.99 2/80 21381 /proc/meminfo: memFree=1323992/2055892 swapFree=4085372/4096564 [pid=21364] ppid=21362 vsize=1712476 CPUtime=51.93 /proc/21364/stat : 21364 (java) R 21362 21364 21318 0 -1 0 77863 0 1 0 5159 34 0 0 17 0 13 0 206111566 1753575424 61664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071550368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21364/statm: 428119 61664 1911 14 0 414865 0 [pid=21364/tid=21365] ppid=21362 vsize=1712476 CPUtime=0.64 /proc/21364/task/21365/stat : 21365 (java) S 21362 21364 21318 0 -1 64 13168 0 0 0 58 6 0 0 16 0 13 0 206111570 1753575424 61664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21366] ppid=21362 vsize=1712476 CPUtime=0.64 /proc/21364/task/21366/stat : 21366 (java) S 21362 21364 21318 0 -1 64 14193 0 0 0 57 7 0 0 16 0 13 0 206111570 1753575424 61664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21367] ppid=21362 vsize=1712476 CPUtime=0.02 /proc/21364/task/21367/stat : 21367 (java) S 21362 21364 21318 0 -1 64 65 0 0 0 1 1 0 0 15 0 13 0 206111572 1753575424 61664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21368] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21368/stat : 21368 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 61664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21369] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21369/stat : 21369 (java) S 21362 21364 21318 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 61664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21370] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21370/stat : 21370 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206111576 1753575424 61664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21371] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21371/stat : 21371 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206111576 1753575424 61664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21372] ppid=21362 vsize=1712476 CPUtime=1.01 /proc/21364/task/21372/stat : 21372 (java) S 21362 21364 21318 0 -1 64 2445 0 0 0 100 1 0 0 17 0 13 0 206111576 1753575424 61664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21373] ppid=21362 vsize=1712476 CPUtime=0.93 /proc/21364/task/21373/stat : 21373 (java) S 21362 21364 21318 0 -1 64 1182 0 0 0 93 0 0 0 16 0 13 0 206111576 1753575424 61664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21374] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21374/stat : 21374 (java) S 21362 21364 21318 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206111576 1753575424 61664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21375] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21375/stat : 21375 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206111576 1753575424 61664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21381] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21381/stat : 21381 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206111816 1753575424 61664 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.93 Current children cumulated vsize (Kb) 1712476 [startup+60.0387 s] /proc/loadavg: 0.95 0.99 0.99 2/80 21381 /proc/meminfo: memFree=1324376/2055892 swapFree=4085372/4096564 [pid=21364] ppid=21362 vsize=1712476 CPUtime=62.02 /proc/21364/stat : 21364 (java) R 21362 21364 21318 0 -1 0 80383 0 1 0 6166 36 0 0 25 0 13 0 206111566 1753575424 61560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071724580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21364/statm: 428119 61560 1911 14 0 414865 0 [pid=21364/tid=21365] ppid=21362 vsize=1712476 CPUtime=0.72 /proc/21364/task/21365/stat : 21365 (java) S 21362 21364 21318 0 -1 64 14400 0 0 0 66 6 0 0 16 0 13 0 206111570 1753575424 61560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21366] ppid=21362 vsize=1712476 CPUtime=0.73 /proc/21364/task/21366/stat : 21366 (java) S 21362 21364 21318 0 -1 64 15437 0 0 0 66 7 0 0 16 0 13 0 206111570 1753575424 61560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21367] ppid=21362 vsize=1712476 CPUtime=0.03 /proc/21364/task/21367/stat : 21367 (java) S 21362 21364 21318 0 -1 64 67 0 0 0 2 1 0 0 16 0 13 0 206111572 1753575424 61560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21368] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21368/stat : 21368 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 61560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21369] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21369/stat : 21369 (java) S 21362 21364 21318 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 61560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21370] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21370/stat : 21370 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206111576 1753575424 61560 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=21364/tid=21368] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21368/stat : 21368 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 244255 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21369] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21369/stat : 21369 (java) S 21362 21364 21318 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 244255 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21370] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21370/stat : 21370 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206111576 1753575424 244255 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21371] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21371/stat : 21371 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206111576 1753575424 244255 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21372] ppid=21362 vsize=1712476 CPUtime=1.05 /proc/21364/task/21372/stat : 21372 (java) S 21362 21364 21318 0 -1 64 2446 0 0 0 104 1 0 0 17 0 13 0 206111576 1753575424 244255 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21373] ppid=21362 vsize=1712476 CPUtime=0.99 /proc/21364/task/21373/stat : 21373 (java) S 21362 21364 21318 0 -1 64 1185 0 0 0 99 0 0 0 17 0 13 0 206111576 1753575424 244255 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21374] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21374/stat : 21374 (java) S 21362 21364 21318 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206111576 1753575424 244255 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21375] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21375/stat : 21375 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206111576 1753575424 244255 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21381] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21381/stat : 21381 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206111816 1753575424 244255 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 1712476 [startup+1733.36 s] /proc/loadavg: 1.13 1.09 1.02 2/80 21381 /proc/meminfo: memFree=591448/2055892 swapFree=4085372/4096564 [pid=21364] ppid=21362 vsize=1712476 CPUtime=1797.64 /proc/21364/stat : 21364 (java) R 21362 21364 21318 0 -1 0 300592 0 1 0 179481 283 0 0 20 0 13 0 206111566 1753575424 244270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071618019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21364/statm: 428119 244270 1911 14 0 414865 0 [pid=21364/tid=21365] ppid=21362 vsize=1712476 CPUtime=64.62 /proc/21364/task/21365/stat : 21365 (java) S 21362 21364 21318 0 -1 64 118134 0 0 0 6359 103 0 0 16 0 13 0 206111570 1753575424 244270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21366] ppid=21362 vsize=1712476 CPUtime=64.61 /proc/21364/task/21366/stat : 21366 (java) S 21362 21364 21318 0 -1 64 119981 0 0 0 6364 97 0 0 16 0 13 0 206111570 1753575424 244270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21367] ppid=21362 vsize=1712476 CPUtime=0.96 /proc/21364/task/21367/stat : 21367 (java) S 21362 21364 21318 0 -1 64 101 0 0 0 55 41 0 0 15 0 13 0 206111572 1753575424 244270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21368] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21368/stat : 21368 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 244270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21369] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21369/stat : 21369 (java) S 21362 21364 21318 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 244270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21370] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21370/stat : 21370 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206111576 1753575424 244270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21371] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21371/stat : 21371 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206111576 1753575424 244270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21372] ppid=21362 vsize=1712476 CPUtime=1.05 /proc/21364/task/21372/stat : 21372 (java) S 21362 21364 21318 0 -1 64 2446 0 0 0 104 1 0 0 17 0 13 0 206111576 1753575424 244270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21373] ppid=21362 vsize=1712476 CPUtime=0.99 /proc/21364/task/21373/stat : 21373 (java) S 21362 21364 21318 0 -1 64 1185 0 0 0 99 0 0 0 17 0 13 0 206111576 1753575424 244270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21374] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21374/stat : 21374 (java) S 21362 21364 21318 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206111576 1753575424 244270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21375] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21375/stat : 21375 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206111576 1753575424 244270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21381] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21381/stat : 21381 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206111816 1753575424 244270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 1712476 [startup+1734.37 s] /proc/loadavg: 1.12 1.09 1.02 2/80 21381 /proc/meminfo: memFree=589912/2055892 swapFree=4085372/4096564 [pid=21364] ppid=21362 vsize=1712476 CPUtime=1798.74 /proc/21364/stat : 21364 (java) R 21362 21364 21318 0 -1 0 301010 0 1 0 179590 284 0 0 18 0 13 0 206111566 1753575424 244654 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071690295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21364/statm: 428119 244654 1911 14 0 414865 0 [pid=21364/tid=21365] ppid=21362 vsize=1712476 CPUtime=64.71 /proc/21364/task/21365/stat : 21365 (java) S 21362 21364 21318 0 -1 64 118341 0 0 0 6368 103 0 0 17 0 13 0 206111570 1753575424 244654 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21366] ppid=21362 vsize=1712476 CPUtime=64.71 /proc/21364/task/21366/stat : 21366 (java) S 21362 21364 21318 0 -1 64 120190 0 0 0 6373 98 0 0 16 0 13 0 206111570 1753575424 244654 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21367] ppid=21362 vsize=1712476 CPUtime=0.96 /proc/21364/task/21367/stat : 21367 (java) S 21362 21364 21318 0 -1 64 101 0 0 0 55 41 0 0 15 0 13 0 206111572 1753575424 244654 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21368] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21368/stat : 21368 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 244654 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21369] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21369/stat : 21369 (java) S 21362 21364 21318 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 244654 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21370] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21370/stat : 21370 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206111576 1753575424 244654 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21371] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21371/stat : 21371 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206111576 1753575424 244654 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21372] ppid=21362 vsize=1712476 CPUtime=1.05 /proc/21364/task/21372/stat : 21372 (java) S 21362 21364 21318 0 -1 64 2446 0 0 0 104 1 0 0 17 0 13 0 206111576 1753575424 244654 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21373] ppid=21362 vsize=1712476 CPUtime=0.99 /proc/21364/task/21373/stat : 21373 (java) S 21362 21364 21318 0 -1 64 1185 0 0 0 99 0 0 0 17 0 13 0 206111576 1753575424 244654 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21374] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21374/stat : 21374 (java) S 21362 21364 21318 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206111576 1753575424 244654 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21375] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21375/stat : 21375 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206111576 1753575424 244654 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21381] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21381/stat : 21381 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206111816 1753575424 244654 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.74 Current children cumulated vsize (Kb) 1712476 [startup+1735.37 s] /proc/loadavg: 1.12 1.09 1.02 2/80 21381 /proc/meminfo: memFree=589912/2055892 swapFree=4085372/4096564 [pid=21364] ppid=21362 vsize=1712476 CPUtime=1799.8 /proc/21364/stat : 21364 (java) R 21362 21364 21318 0 -1 0 301018 0 1 0 179696 284 0 0 22 0 13 0 206111566 1753575424 244659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071550191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21364/statm: 428119 244659 1911 14 0 414865 0 [pid=21364/tid=21365] ppid=21362 vsize=1712476 CPUtime=64.76 /proc/21364/task/21365/stat : 21365 (java) S 21362 21364 21318 0 -1 64 118345 0 0 0 6373 103 0 0 16 0 13 0 206111570 1753575424 244659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21366] ppid=21362 vsize=1712476 CPUtime=64.76 /proc/21364/task/21366/stat : 21366 (java) S 21362 21364 21318 0 -1 64 120191 0 0 0 6378 98 0 0 16 0 13 0 206111570 1753575424 244659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21367] ppid=21362 vsize=1712476 CPUtime=0.96 /proc/21364/task/21367/stat : 21367 (java) S 21362 21364 21318 0 -1 64 101 0 0 0 55 41 0 0 16 0 13 0 206111572 1753575424 244659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21368] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21368/stat : 21368 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 244659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21369] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21369/stat : 21369 (java) S 21362 21364 21318 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 244659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21370] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21370/stat : 21370 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206111576 1753575424 244659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21371] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21371/stat : 21371 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206111576 1753575424 244659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21372] ppid=21362 vsize=1712476 CPUtime=1.05 /proc/21364/task/21372/stat : 21372 (java) S 21362 21364 21318 0 -1 64 2446 0 0 0 104 1 0 0 17 0 13 0 206111576 1753575424 244659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21373] ppid=21362 vsize=1712476 CPUtime=0.99 /proc/21364/task/21373/stat : 21373 (java) S 21362 21364 21318 0 -1 64 1185 0 0 0 99 0 0 0 17 0 13 0 206111576 1753575424 244659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21374] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21374/stat : 21374 (java) S 21362 21364 21318 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206111576 1753575424 244659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21375] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21375/stat : 21375 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206111576 1753575424 244659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21381] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21381/stat : 21381 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206111816 1753575424 244659 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.8 Current children cumulated vsize (Kb) 1712476 [startup+1736.38 s] /proc/loadavg: 1.12 1.09 1.02 2/80 21381 /proc/meminfo: memFree=589784/2055892 swapFree=4085372/4096564 [pid=21364] ppid=21362 vsize=1712476 CPUtime=1800.84 /proc/21364/stat : 21364 (java) R 21362 21364 21318 0 -1 0 301058 0 1 0 179800 284 0 0 25 0 13 0 206111566 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071670798 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21364/statm: 428119 244694 1911 14 0 414865 0 [pid=21364/tid=21365] ppid=21362 vsize=1712476 CPUtime=64.8 /proc/21364/task/21365/stat : 21365 (java) S 21362 21364 21318 0 -1 64 118352 0 0 0 6377 103 0 0 16 0 13 0 206111570 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21366] ppid=21362 vsize=1712476 CPUtime=64.8 /proc/21364/task/21366/stat : 21366 (java) S 21362 21364 21318 0 -1 64 120222 0 0 0 6382 98 0 0 16 0 13 0 206111570 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21367] ppid=21362 vsize=1712476 CPUtime=0.96 /proc/21364/task/21367/stat : 21367 (java) S 21362 21364 21318 0 -1 64 101 0 0 0 55 41 0 0 16 0 13 0 206111572 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21368] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21368/stat : 21368 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21369] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21369/stat : 21369 (java) S 21362 21364 21318 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21370] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21370/stat : 21370 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206111576 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21371] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21371/stat : 21371 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206111576 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21372] ppid=21362 vsize=1712476 CPUtime=1.05 /proc/21364/task/21372/stat : 21372 (java) S 21362 21364 21318 0 -1 64 2446 0 0 0 104 1 0 0 17 0 13 0 206111576 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21373] ppid=21362 vsize=1712476 CPUtime=0.99 /proc/21364/task/21373/stat : 21373 (java) S 21362 21364 21318 0 -1 64 1185 0 0 0 99 0 0 0 17 0 13 0 206111576 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21374] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21374/stat : 21374 (java) S 21362 21364 21318 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206111576 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21375] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21375/stat : 21375 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206111576 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21381] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21381/stat : 21381 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206111816 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.84 Current children cumulated vsize (Kb) 1712476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1736.39 s] /proc/loadavg: 1.12 1.09 1.02 2/80 21381 /proc/meminfo: memFree=589784/2055892 swapFree=4085372/4096564 [pid=21364] ppid=21362 vsize=1712476 CPUtime=1800.84 /proc/21364/stat : 21364 (java) R 21362 21364 21318 0 -1 0 301058 0 1 0 179800 284 0 0 25 0 13 0 206111566 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071405062 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/21364/statm: 428119 244694 1911 14 0 414865 0 [pid=21364/tid=21365] ppid=21362 vsize=1712476 CPUtime=64.8 /proc/21364/task/21365/stat : 21365 (java) S 21362 21364 21318 0 -1 64 118352 0 0 0 6377 103 0 0 16 0 13 0 206111570 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21366] ppid=21362 vsize=1712476 CPUtime=64.8 /proc/21364/task/21366/stat : 21366 (java) S 21362 21364 21318 0 -1 64 120222 0 0 0 6382 98 0 0 16 0 13 0 206111570 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21367] ppid=21362 vsize=1712476 CPUtime=0.96 /proc/21364/task/21367/stat : 21367 (java) S 21362 21364 21318 0 -1 64 101 0 0 0 55 41 0 0 16 0 13 0 206111572 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21368] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21368/stat : 21368 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21369] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21369/stat : 21369 (java) S 21362 21364 21318 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 206111573 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21370] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21370/stat : 21370 (java) S 21362 21364 21318 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206111576 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21371] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21371/stat : 21371 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 206111576 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21372] ppid=21362 vsize=1712476 CPUtime=1.05 /proc/21364/task/21372/stat : 21372 (java) S 21362 21364 21318 0 -1 64 2446 0 0 0 104 1 0 0 17 0 13 0 206111576 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21373] ppid=21362 vsize=1712476 CPUtime=0.99 /proc/21364/task/21373/stat : 21373 (java) S 21362 21364 21318 0 -1 64 1185 0 0 0 99 0 0 0 17 0 13 0 206111576 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21374] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21374/stat : 21374 (java) S 21362 21364 21318 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206111576 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=21364/tid=21375] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21375/stat : 21375 (java) S 21362 21364 21318 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206111576 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=21364/tid=21381] ppid=21362 vsize=1712476 CPUtime=0 /proc/21364/task/21381/stat : 21381 (java) S 21362 21364 21318 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206111816 1753575424 244694 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.84 Current children cumulated vsize (Kb) 1712476 Sending SIGTERM to -21364 Sleeping 2 seconds Child status: 143 Real time (s): 1736.59 CPU time (s): 1801.1 CPU user time (s): 1798.11 CPU system time (s): 2.99154 CPU usage (%): 103.715 Max. virtual memory (cumulated for all children) (Kb): 1712604
Begin job on node91 on Sun Jun 4 07:05:26 UTC 2006 FILE ID= 42867-1149404726 PBS_JOBID= 314338 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-ex5.pi.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node91/42867-1149404726/instance-42867-1149404726.opb 596308701 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node91/watcher-42867-1149404726 -o ROOT/results/node91/solver-42867-1149404726 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node91/42867-1149404726/instance-42867-1149404726.opb 596308701 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= f97e3571862917880e13c63c8ac169f9 RANDOM SEED= 596308701 /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.279 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 : 6006.18 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.279 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 : 5999.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1563840 kB Buffers: 27728 kB Cached: 398320 kB SwapCached: 2352 kB Active: 36540 kB Inactive: 398080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1563840 kB SwapTotal: 4096564 kB SwapFree: 4085372 kB Dirty: 200 kB Writeback: 0 kB Mapped: 16592 kB Slab: 43936 kB Committed_AS: 490032 kB PageTables: 1284 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node91 on Sun Jun 4 07:34:23 UTC 2006