Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
absconPseudo 1 | SAT (TO) | 39 | 1800.47 | 1798.41 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bw.b.opb |
MD5SUM | acd1698068c8e97cbd0c7cd62fe047fc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24 |
Best CPU time to get the best result obtained on this benchmark | 1800.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 2847 |
Total number of constraints | 4902 |
Number of constraints which are clauses | 4902 |
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 | 2 |
Maximum length of a constraint | 860 |
Number of terms in the objective function | 2847 |
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 | 2847 |
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 | 2847 |
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 |
9.76 o 39 1798.30 s SATISFIABLE 1798.36 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 x30 1798.36 v -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 -x56 x57 -x58 -x59 1798.36 v x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 x69 x70 -x71 x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 1798.36 v -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 1798.36 v -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 1798.36 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 1798.36 v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 1798.36 v -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 1798.36 v -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 1798.36 v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1798.36 v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 1798.36 v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 1798.36 v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 1798.36 v -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 1798.36 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1798.36 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 1798.36 v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 1798.36 v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 1798.36 v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 1798.36 v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1798.36 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 1798.36 v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 1798.36 v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 1798.36 v -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 1798.36 v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 1798.36 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 1798.36 v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 1798.36 v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 1798.36 v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 1798.36 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 1798.36 v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 1798.36 v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1798.36 v -x698 x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1798.36 v x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 1798.36 v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 1798.36 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 1798.36 v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 1798.36 v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 1798.36 v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 1798.36 v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 1798.36 v -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 1798.36 v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 1798.36 v -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 1798.36 v -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 1798.36 v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 1798.36 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 1798.36 v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1798.36 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1798.36 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1798.36 v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 1798.36 v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 1798.36 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1798.36 v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 1798.36 v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 1798.36 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1798.36 v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 1798.36 v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1798.36 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 1798.36 v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 1798.36 v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 1798.36 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 1798.36 v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 1798.36 v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 1798.36 v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1798.36 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1798.36 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1798.36 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1798.36 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1798.36 v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 1798.36 v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 1798.36 v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1798.36 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 1798.36 v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 1798.36 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 1798.36 v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1798.36 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 1798.36 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1798.36 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 1798.36 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1798.36 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1798.36 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1798.36 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 1798.36 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1798.36 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1798.36 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1798.36 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1798.36 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1798.36 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1798.36 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 1798.36 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1798.36 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1798.36 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1798.36 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1798.36 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1798.36 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1798.36 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1798.36 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1798.36 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1798.36 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1798.36 v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 1798.36 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 1798.36 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1798.36 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1798.36 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1798.36 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 1798.36 v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 1798.36 v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 1798.36 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1798.36 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1798.36 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1798.36 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1798.36 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1798.36 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1798.36 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1798.36 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1798.36 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 1798.36 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 1798.36 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1798.36 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1798.36 v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 1798.36 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1798.36 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1798.36 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1798.36 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1798.36 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1798.36 v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1798.36 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 1798.36 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1798.36 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 1798.36 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 1798.36 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1798.36 v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 1798.36 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1798.36 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1798.36 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1798.36 v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 1798.36 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1798.36 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 1798.36 v -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1798.36 v -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 1798.36 v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1798.36 v -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 1798.36 v -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 1798.36 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 1798.36 v -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 1798.36 v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 1798.36 v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1798.36 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 1798.36 v -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 1798.36 v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 1798.36 v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1798.36 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 1798.36 v -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 1798.36 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 1798.36 v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 1798.36 v -x2847
OK 39
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node27/watcher-49217-1154094394 -o ROOT/results/node27/solver-49217-1154094394 -C 1800 -M 1800 -S 64 java -server -Xms256M -Xmx1500M -cp ROOT/solvers/PB/PB06final/user2/absconPseudo1.jar abscon.Resolution ROOT/solvers/PB/PB06final/user2/configuration.xml 1 pseudo ROOT/tmp/node27/49217-1154094394/instance-49217-1154094394.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 26046 /proc/meminfo: memFree=1195944/2055920 swapFree=4183204/4192956 [pid=26046] ppid=26044 vsize=1456 CPUtime=0 /proc/26046/stat : 26046 (java) R 26044 26046 25997 0 -1 0 114 0 0 0 0 0 0 0 19 0 1 0 88307536 1490944 86 18446744073709551615 134512640 134570276 4294956512 18446744073709551615 134517585 0 0 4096 0 0 0 0 17 1 0 0 /proc/26046/statm: 365 96 76 14 0 10 0 [startup+10.002 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26057 /proc/meminfo: memFree=1014992/2055920 swapFree=4183204/4192956 [pid=26046] ppid=26044 vsize=1722096 CPUtime=12.44 /proc/26046/stat : 26046 (java) R 26044 26046 25997 0 -1 0 57866 0 1 0 1214 30 0 0 20 0 12 0 88307536 1763426304 47635 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071790498 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26046/statm: 430524 47635 2560 14 0 416916 0 [pid=26046/tid=26047] ppid=26044 vsize=1722096 CPUtime=0.22 /proc/26046/task/26047/stat : 26047 (java) S 26044 26046 25997 0 -1 64 13648 0 0 0 15 7 0 0 16 0 12 0 88307541 1763426304 47635 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26048] ppid=26044 vsize=1722096 CPUtime=0.18 /proc/26046/task/26048/stat : 26048 (java) S 26044 26046 25997 0 -1 64 8369 0 0 0 13 5 0 0 16 0 12 0 88307541 1763426304 47635 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26049] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26049/stat : 26049 (java) S 26044 26046 25997 0 -1 64 81 0 0 0 0 0 0 0 17 0 12 0 88307543 1763426304 47635 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26050] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26050/stat : 26050 (java) S 26044 26046 25997 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 88307544 1763426304 47635 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26051] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26051/stat : 26051 (java) S 26044 26046 25997 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 88307544 1763426304 47635 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26052] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26052/stat : 26052 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 88307547 1763426304 47635 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26053] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26053/stat : 26053 (java) S 26044 26046 25997 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 88307547 1763426304 47635 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26054] ppid=26044 vsize=1722096 CPUtime=0.7 /proc/26046/task/26054/stat : 26054 (java) S 26044 26046 25997 0 -1 64 1819 0 0 0 70 0 0 0 16 0 12 0 88307547 1763426304 47635 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26055] ppid=26044 vsize=1722096 CPUtime=2.06 /proc/26046/task/26055/stat : 26055 (java) S 26044 26046 25997 0 -1 64 10125 0 0 0 202 4 0 0 16 0 12 0 88307547 1763426304 47635 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26056] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26056/stat : 26056 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 88307547 1763426304 47635 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26057] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26057/stat : 26057 (java) S 26044 26046 25997 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 88307547 1763426304 47635 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 12.44 Current children cumulated vsize (Kb) 1722096 [startup+20.0101 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26057 /proc/meminfo: memFree=1015120/2055920 swapFree=4183204/4192956 [pid=26046] ppid=26044 vsize=1722096 CPUtime=22.52 /proc/26046/stat : 26046 (java) R 26044 26046 25997 0 -1 0 57883 0 1 0 2222 30 0 0 25 0 12 0 88307536 1763426304 47647 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071730979 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26046/statm: 430524 47647 2561 14 0 416916 0 [pid=26046/tid=26047] ppid=26044 vsize=1722096 CPUtime=0.22 /proc/26046/task/26047/stat : 26047 (java) S 26044 26046 25997 0 -1 64 13648 0 0 0 15 7 0 0 16 0 12 0 88307541 1763426304 47647 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26048] ppid=26044 vsize=1722096 CPUtime=0.18 /proc/26046/task/26048/stat : 26048 (java) S 26044 26046 25997 0 -1 64 8369 0 0 0 13 5 0 0 16 0 12 0 88307541 1763426304 47647 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26049] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26049/stat : 26049 (java) S 26044 26046 25997 0 -1 64 81 0 0 0 0 0 0 0 16 0 12 0 88307543 1763426304 47647 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26050] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26050/stat : 26050 (java) S 26044 26046 25997 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 88307544 1763426304 47647 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26051] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26051/stat : 26051 (java) S 26044 26046 25997 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 88307544 1763426304 47647 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26052] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26052/stat : 26052 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 88307547 1763426304 47647 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26053] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26053/stat : 26053 (java) S 26044 26046 25997 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 88307547 1763426304 47647 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26054] ppid=26044 vsize=1722096 CPUtime=0.74 /proc/26046/task/26054/stat : 26054 (java) S 26044 26046 25997 0 -1 64 1824 0 0 0 74 0 0 0 17 0 12 0 88307547 1763426304 47647 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26055] ppid=26044 vsize=1722096 CPUtime=2.12 /proc/26046/task/26055/stat : 26055 (java) S 26044 26046 25997 0 -1 64 10130 0 0 0 208 4 0 0 16 0 12 0 88307547 1763426304 47647 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26056] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26056/stat : 26056 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 88307547 1763426304 47647 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26057] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26057/stat : 26057 (java) S 26044 26046 25997 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 88307547 1763426304 47647 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 22.52 Current children cumulated vsize (Kb) 1722096 [startup+30.0181 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26057 /proc/meminfo: memFree=1015120/2055920 swapFree=4183204/4192956 [pid=26046] ppid=26044 vsize=1722096 CPUtime=32.57 /proc/26046/stat : 26046 (java) R 26044 26046 25997 0 -1 0 57893 0 1 0 3227 30 0 0 18 0 12 0 88307536 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071790498 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26046/statm: 430524 47655 2561 14 0 416916 0 [pid=26046/tid=26047] ppid=26044 vsize=1722096 CPUtime=0.22 /proc/26046/task/26047/stat : 26047 (java) S 26044 26046 25997 0 -1 64 13648 0 0 0 15 7 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26048] ppid=26044 vsize=1722096 CPUtime=0.18 /proc/26046/task/26048/stat : 26048 (java) S 26044 26046 25997 0 -1 64 8369 0 0 0 13 5 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26049] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26049/stat : 26049 (java) S 26044 26046 25997 0 -1 64 81 0 0 0 0 0 0 0 16 0 12 0 88307543 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26050] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26050/stat : 26050 (java) S 26044 26046 25997 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26051] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26051/stat : 26051 (java) S 26044 26046 25997 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26052] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26052/stat : 26052 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26053] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26053/stat : 26053 (java) S 26044 26046 25997 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26054] ppid=26044 vsize=1722096 CPUtime=0.77 /proc/26046/task/26054/stat : 26054 (java) S 26044 26046 25997 0 -1 64 1825 0 0 0 77 0 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26055] ppid=26044 vsize=1722096 CPUtime=2.17 /proc/26046/task/26055/stat : 26055 (java) S 26044 26046 25997 0 -1 64 10137 0 0 0 213 4 0 0 17 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26056] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26056/stat : 26056 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26057] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26057/stat : 26057 (java) S 26044 26046 25997 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 32.57 Current children cumulated vsize (Kb) 1722096 [startup+40.0251 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26057 /proc/meminfo: memFree=1015120/2055920 swapFree=4183204/4192956 [pid=26046] ppid=26044 vsize=1722096 CPUtime=42.57 /proc/26046/stat : 26046 (java) R 26044 26046 25997 0 -1 0 57895 0 1 0 4227 30 0 0 25 0 12 0 88307536 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071730973 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26046/statm: 430524 47655 2561 14 0 416916 0 [pid=26046/tid=26047] ppid=26044 vsize=1722096 CPUtime=0.22 /proc/26046/task/26047/stat : 26047 (java) S 26044 26046 25997 0 -1 64 13648 0 0 0 15 7 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26048] ppid=26044 vsize=1722096 CPUtime=0.18 /proc/26046/task/26048/stat : 26048 (java) S 26044 26046 25997 0 -1 64 8369 0 0 0 13 5 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26049] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26049/stat : 26049 (java) S 26044 26046 25997 0 -1 64 81 0 0 0 0 0 0 0 16 0 12 0 88307543 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26050] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26050/stat : 26050 (java) S 26044 26046 25997 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26051] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26051/stat : 26051 (java) S 26044 26046 25997 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26052] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26052/stat : 26052 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26053] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26053/stat : 26053 (java) S 26044 26046 25997 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26054] ppid=26044 vsize=1722096 CPUtime=0.78 /proc/26046/task/26054/stat : 26054 (java) S 26044 26046 25997 0 -1 64 1827 0 0 0 77 1 0 0 17 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26055] ppid=26044 vsize=1722096 CPUtime=2.18 /proc/26046/task/26055/stat : 26055 (java) S 26044 26046 25997 0 -1 64 10137 0 0 0 214 4 0 0 17 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26056] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26056/stat : 26056 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26057] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26057/stat : 26057 (java) S 26044 26046 25997 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 42.57 Current children cumulated vsize (Kb) 1722096 [startup+50.0321 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26057 /proc/meminfo: memFree=1015120/2055920 swapFree=4183204/4192956 [pid=26046] ppid=26044 vsize=1722096 CPUtime=52.58 /proc/26046/stat : 26046 (java) R 26044 26046 25997 0 -1 0 57898 0 1 0 5228 30 0 0 25 0 12 0 88307536 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071730979 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26046/statm: 430524 47655 2561 14 0 416916 0 [pid=26046/tid=26047] ppid=26044 vsize=1722096 CPUtime=0.22 /proc/26046/task/26047/stat : 26047 (java) S 26044 26046 25997 0 -1 64 13648 0 0 0 15 7 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26048] ppid=26044 vsize=1722096 CPUtime=0.18 /proc/26046/task/26048/stat : 26048 (java) S 26044 26046 25997 0 -1 64 8369 0 0 0 13 5 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26049] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26049/stat : 26049 (java) S 26044 26046 25997 0 -1 64 81 0 0 0 0 0 0 0 16 0 12 0 88307543 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26050] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26050/stat : 26050 (java) S 26044 26046 25997 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26051] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26051/stat : 26051 (java) S 26044 26046 25997 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26052] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26052/stat : 26052 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26053] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26053/stat : 26053 (java) S 26044 26046 25997 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26054] ppid=26044 vsize=1722096 CPUtime=0.78 /proc/26046/task/26054/stat : 26054 (java) S 26044 26046 25997 0 -1 64 1828 0 0 0 77 1 0 0 17 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26055] ppid=26044 vsize=1722096 CPUtime=2.18 /proc/26046/task/26055/stat : 26055 (java) S 26044 26046 25997 0 -1 64 10138 0 0 0 214 4 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26056] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26056/stat : 26056 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26057] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26057/stat : 26057 (java) S 26044 26046 25997 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 52.58 Current children cumulated vsize (Kb) 1722096 [startup+60.0392 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26057 /proc/meminfo: memFree=1015184/2055920 swapFree=4183204/4192956 [pid=26046] ppid=26044 vsize=1722096 CPUtime=62.58 /proc/26046/stat : 26046 (java) R 26044 26046 25997 0 -1 0 57901 0 1 0 6228 30 0 0 25 0 12 0 88307536 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071730982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26046/statm: 430524 47655 2561 14 0 416916 0 [pid=26046/tid=26047] ppid=26044 vsize=1722096 CPUtime=0.22 /proc/26046/task/26047/stat : 26047 (java) S 26044 26046 25997 0 -1 64 13648 0 0 0 15 7 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26048] ppid=26044 vsize=1722096 CPUtime=0.18 /proc/26046/task/26048/stat : 26048 (java) S 26044 26046 25997 0 -1 64 8369 0 0 0 13 5 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26049] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26049/stat : 26049 (java) S 26044 26046 25997 0 -1 64 81 0 0 0 0 0 0 0 16 0 12 0 88307543 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26050] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26050/stat : 26050 (java) S 26044 26046 25997 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26051] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26051/stat : 26051 (java) S 26044 26046 25997 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26052] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26052/stat : 26052 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26053] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26053/stat : 26053 (java) S 26044 26046 25997 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26054] ppid=26044 vsize=1722096 CPUtime=0.79 /proc/26046/task/26054/stat : 26054 (java) S 26044 26046 25997 0 -1 64 1829 0 0 0 78 1 0 0 17 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26055] ppid=26044 vsize=1722096 CPUtime=2.19 /proc/26046/task/26055/stat : 26055 (java) S 26044 26046 25997 0 -1 64 10139 0 0 0 215 4 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26056] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26056/stat : 26056 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26057] ppid=26044 vsize=1722096 CPUtime=0 ################ # More data... # ################ /proc/loadavg: 1.00 1.00 1.00 2/75 26255 /proc/meminfo: memFree=1014416/2055920 swapFree=4183204/4192956 [pid=26046] ppid=26044 vsize=1722096 CPUtime=1796.25 /proc/26046/stat : 26046 (java) R 26044 26046 25997 0 -1 0 57901 0 1 0 179592 33 0 0 25 0 12 0 88307536 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071731499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26046/statm: 430524 47655 2561 14 0 416916 0 [pid=26046/tid=26047] ppid=26044 vsize=1722096 CPUtime=0.22 /proc/26046/task/26047/stat : 26047 (java) S 26044 26046 25997 0 -1 64 13648 0 0 0 15 7 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26048] ppid=26044 vsize=1722096 CPUtime=0.18 /proc/26046/task/26048/stat : 26048 (java) S 26044 26046 25997 0 -1 64 8369 0 0 0 13 5 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26049] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26049/stat : 26049 (java) R 26044 26046 25997 0 -1 64 81 0 0 0 0 0 0 0 16 0 12 0 88307543 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26050] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26050/stat : 26050 (java) S 26044 26046 25997 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26051] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26051/stat : 26051 (java) S 26044 26046 25997 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26052] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26052/stat : 26052 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26053] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26053/stat : 26053 (java) S 26044 26046 25997 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26054] ppid=26044 vsize=1722096 CPUtime=0.8 /proc/26046/task/26054/stat : 26054 (java) S 26044 26046 25997 0 -1 64 1829 0 0 0 79 1 0 0 17 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26055] ppid=26044 vsize=1722096 CPUtime=2.19 /proc/26046/task/26055/stat : 26055 (java) S 26044 26046 25997 0 -1 64 10139 0 0 0 215 4 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26056] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26056/stat : 26056 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26057] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26057/stat : 26057 (java) S 26044 26046 25997 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.25 Current children cumulated vsize (Kb) 1722096 [startup+1795.27 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26255 /proc/meminfo: memFree=1014416/2055920 swapFree=4183204/4192956 [pid=26046] ppid=26044 vsize=1722096 CPUtime=1797.26 /proc/26046/stat : 26046 (java) R 26044 26046 25997 0 -1 0 57901 0 1 0 179693 33 0 0 25 0 12 0 88307536 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071790498 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26046/statm: 430524 47655 2561 14 0 416916 0 [pid=26046/tid=26047] ppid=26044 vsize=1722096 CPUtime=0.22 /proc/26046/task/26047/stat : 26047 (java) S 26044 26046 25997 0 -1 64 13648 0 0 0 15 7 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26048] ppid=26044 vsize=1722096 CPUtime=0.18 /proc/26046/task/26048/stat : 26048 (java) S 26044 26046 25997 0 -1 64 8369 0 0 0 13 5 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26049] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26049/stat : 26049 (java) R 26044 26046 25997 0 -1 64 81 0 0 0 0 0 0 0 16 0 12 0 88307543 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26050] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26050/stat : 26050 (java) S 26044 26046 25997 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26051] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26051/stat : 26051 (java) S 26044 26046 25997 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26052] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26052/stat : 26052 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26053] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26053/stat : 26053 (java) S 26044 26046 25997 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26054] ppid=26044 vsize=1722096 CPUtime=0.8 /proc/26046/task/26054/stat : 26054 (java) S 26044 26046 25997 0 -1 64 1829 0 0 0 79 1 0 0 17 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26055] ppid=26044 vsize=1722096 CPUtime=2.19 /proc/26046/task/26055/stat : 26055 (java) S 26044 26046 25997 0 -1 64 10139 0 0 0 215 4 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26056] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26056/stat : 26056 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26057] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26057/stat : 26057 (java) S 26044 26046 25997 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.26 Current children cumulated vsize (Kb) 1722096 [startup+1796.28 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26255 /proc/meminfo: memFree=1014416/2055920 swapFree=4183204/4192956 [pid=26046] ppid=26044 vsize=1722096 CPUtime=1798.26 /proc/26046/stat : 26046 (java) R 26044 26046 25997 0 -1 0 57901 0 1 0 179793 33 0 0 25 0 12 0 88307536 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071731037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26046/statm: 430524 47655 2561 14 0 416916 0 [pid=26046/tid=26047] ppid=26044 vsize=1722096 CPUtime=0.22 /proc/26046/task/26047/stat : 26047 (java) S 26044 26046 25997 0 -1 64 13648 0 0 0 15 7 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26048] ppid=26044 vsize=1722096 CPUtime=0.18 /proc/26046/task/26048/stat : 26048 (java) S 26044 26046 25997 0 -1 64 8369 0 0 0 13 5 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26049] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26049/stat : 26049 (java) R 26044 26046 25997 0 -1 64 81 0 0 0 0 0 0 0 16 0 12 0 88307543 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26050] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26050/stat : 26050 (java) S 26044 26046 25997 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26051] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26051/stat : 26051 (java) S 26044 26046 25997 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26052] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26052/stat : 26052 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26053] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26053/stat : 26053 (java) S 26044 26046 25997 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26054] ppid=26044 vsize=1722096 CPUtime=0.8 /proc/26046/task/26054/stat : 26054 (java) S 26044 26046 25997 0 -1 64 1829 0 0 0 79 1 0 0 17 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26055] ppid=26044 vsize=1722096 CPUtime=2.19 /proc/26046/task/26055/stat : 26055 (java) S 26044 26046 25997 0 -1 64 10139 0 0 0 215 4 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26056] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26056/stat : 26056 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26057] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26057/stat : 26057 (java) S 26044 26046 25997 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.26 Current children cumulated vsize (Kb) 1722096 [startup+1797.28 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26255 /proc/meminfo: memFree=1014416/2055920 swapFree=4183204/4192956 [pid=26046] ppid=26044 vsize=1722096 CPUtime=1799.27 /proc/26046/stat : 26046 (java) R 26044 26046 25997 0 -1 0 57901 0 1 0 179894 33 0 0 25 0 12 0 88307536 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071790501 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26046/statm: 430524 47655 2561 14 0 416916 0 [pid=26046/tid=26047] ppid=26044 vsize=1722096 CPUtime=0.22 /proc/26046/task/26047/stat : 26047 (java) S 26044 26046 25997 0 -1 64 13648 0 0 0 15 7 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26048] ppid=26044 vsize=1722096 CPUtime=0.18 /proc/26046/task/26048/stat : 26048 (java) S 26044 26046 25997 0 -1 64 8369 0 0 0 13 5 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26049] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26049/stat : 26049 (java) S 26044 26046 25997 0 -1 64 81 0 0 0 0 0 0 0 16 0 12 0 88307543 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26050] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26050/stat : 26050 (java) S 26044 26046 25997 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26051] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26051/stat : 26051 (java) S 26044 26046 25997 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26052] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26052/stat : 26052 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26053] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26053/stat : 26053 (java) S 26044 26046 25997 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26054] ppid=26044 vsize=1722096 CPUtime=0.8 /proc/26046/task/26054/stat : 26054 (java) S 26044 26046 25997 0 -1 64 1829 0 0 0 79 1 0 0 17 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26055] ppid=26044 vsize=1722096 CPUtime=2.19 /proc/26046/task/26055/stat : 26055 (java) S 26044 26046 25997 0 -1 64 10139 0 0 0 215 4 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26056] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26056/stat : 26056 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26057] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26057/stat : 26057 (java) S 26044 26046 25997 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.27 Current children cumulated vsize (Kb) 1722096 [startup+1798.29 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26255 /proc/meminfo: memFree=1014416/2055920 swapFree=4183204/4192956 [pid=26046] ppid=26044 vsize=1722096 CPUtime=1800.27 /proc/26046/stat : 26046 (java) R 26044 26046 25997 0 -1 0 57901 0 1 0 179994 33 0 0 25 0 12 0 88307536 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071730998 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26046/statm: 430524 47655 2561 14 0 416916 0 [pid=26046/tid=26047] ppid=26044 vsize=1722096 CPUtime=0.22 /proc/26046/task/26047/stat : 26047 (java) S 26044 26046 25997 0 -1 64 13648 0 0 0 15 7 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26048] ppid=26044 vsize=1722096 CPUtime=0.18 /proc/26046/task/26048/stat : 26048 (java) S 26044 26046 25997 0 -1 64 8369 0 0 0 13 5 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26049] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26049/stat : 26049 (java) S 26044 26046 25997 0 -1 64 81 0 0 0 0 0 0 0 16 0 12 0 88307543 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26050] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26050/stat : 26050 (java) S 26044 26046 25997 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26051] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26051/stat : 26051 (java) S 26044 26046 25997 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26052] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26052/stat : 26052 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26053] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26053/stat : 26053 (java) S 26044 26046 25997 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26054] ppid=26044 vsize=1722096 CPUtime=0.8 /proc/26046/task/26054/stat : 26054 (java) S 26044 26046 25997 0 -1 64 1829 0 0 0 79 1 0 0 17 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26055] ppid=26044 vsize=1722096 CPUtime=2.19 /proc/26046/task/26055/stat : 26055 (java) S 26044 26046 25997 0 -1 64 10139 0 0 0 215 4 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26056] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26056/stat : 26056 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26057] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26057/stat : 26057 (java) S 26044 26046 25997 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (Kb) 1722096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.29 s] /proc/loadavg: 1.00 1.00 1.00 2/75 26255 /proc/meminfo: memFree=1014416/2055920 swapFree=4183204/4192956 [pid=26046] ppid=26044 vsize=1722096 CPUtime=1800.28 /proc/26046/stat : 26046 (java) R 26044 26046 25997 0 -1 0 57901 0 1 0 179995 33 0 0 25 0 12 0 88307536 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071730976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/26046/statm: 430524 47655 2561 14 0 416916 0 [pid=26046/tid=26047] ppid=26044 vsize=1722096 CPUtime=0.22 /proc/26046/task/26047/stat : 26047 (java) S 26044 26046 25997 0 -1 64 13648 0 0 0 15 7 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26048] ppid=26044 vsize=1722096 CPUtime=0.18 /proc/26046/task/26048/stat : 26048 (java) S 26044 26046 25997 0 -1 64 8369 0 0 0 13 5 0 0 16 0 12 0 88307541 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26049] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26049/stat : 26049 (java) S 26044 26046 25997 0 -1 64 81 0 0 0 0 0 0 0 16 0 12 0 88307543 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26050] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26050/stat : 26050 (java) S 26044 26046 25997 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26051] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26051/stat : 26051 (java) S 26044 26046 25997 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 88307544 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26052] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26052/stat : 26052 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26053] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26053/stat : 26053 (java) S 26044 26046 25997 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26054] ppid=26044 vsize=1722096 CPUtime=0.8 /proc/26046/task/26054/stat : 26054 (java) S 26044 26046 25997 0 -1 64 1829 0 0 0 79 1 0 0 17 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=26046/tid=26055] ppid=26044 vsize=1722096 CPUtime=2.19 /proc/26046/task/26055/stat : 26055 (java) S 26044 26046 25997 0 -1 64 10139 0 0 0 215 4 0 0 16 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26056] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26056/stat : 26056 (java) S 26044 26046 25997 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=26046/tid=26057] ppid=26044 vsize=1722096 CPUtime=0 /proc/26046/task/26057/stat : 26057 (java) S 26044 26046 25997 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 88307547 1763426304 47655 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (Kb) 1722096 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1798.41 CPU time (s): 1800.47 CPU user time (s): 1800.1 CPU system time (s): 0.368943 CPU usage (%): 100.114 Max. virtual memory (cumulated for all children) (Kb): 1722096 The end
Begin job on node27 on Fri Jul 28 13:46:34 UTC 2006 FILE ID= 49217-1154094394 PBS_JOBID= 885853 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bw.b.opb COMMAND LINE= java -server -Xms256M -Xmx1500M -cp ROOT/solvers/PB/PB06final/user2/absconPseudo1.jar abscon.Resolution ROOT/solvers/PB/PB06final/user2/configuration.xml 1 pseudo ROOT/tmp/node27/49217-1154094394/instance-49217-1154094394.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-49217-1154094394 -o ROOT/results/node27/solver-49217-1154094394 -C 1800 -M 1800 -S 64 java -server -Xms256M -Xmx1500M -cp ROOT/solvers/PB/PB06final/user2/absconPseudo1.jar abscon.Resolution ROOT/solvers/PB/PB06final/user2/configuration.xml 1 pseudo ROOT/tmp/node27/49217-1154094394/instance-49217-1154094394.opb MD5SUM SOLVER= 4ca9ffbd6a9584cc3ed948681986e0cb 7445d5e2b836dfb8cfc1479ab819c771 MD5SUM BENCH= acd1698068c8e97cbd0c7cd62fe047fc RANDOM SEED= 291874698 TIMEOUT= 1800 seconds /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.222 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.222 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1196152 kB Buffers: 30476 kB Cached: 752688 kB SwapCached: 3460 kB Active: 84104 kB Inactive: 707548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1196152 kB SwapTotal: 4192956 kB SwapFree: 4183204 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14492 kB Slab: 54232 kB Committed_AS: 258848 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node27 on Fri Jul 28 14:16:32 UTC 2006