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