Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
absconPseudo 1 | SAT (TO) | 59 | 1800.22 | 1799.57 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-ex5.r.opb |
MD5SUM | a65b7dae8af36ed37815bca4e48a5306 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 43.4524 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | YES |
Number of variables | 2428 |
Total number of constraints | 831 |
Number of constraints which are clauses | 831 |
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 | 3 |
Maximum length of a constraint | 146 |
Number of terms in the objective function | 2428 |
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 | 2428 |
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 | 2428 |
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 |
2.05 o 61 2.08 o 60 715.06 o 59 1799.44 s SATISFIABLE 1799.50 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 1799.50 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1799.50 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1799.50 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1799.50 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 1799.50 v -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1799.50 v -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 1799.50 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1799.50 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1799.50 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1799.50 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1799.50 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1799.50 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1799.50 v -x294 x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1799.50 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1799.50 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1799.50 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1799.50 v x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1799.50 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1799.50 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1799.50 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1799.50 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1799.50 v -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1799.50 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1799.50 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1799.50 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1799.50 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 1799.50 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1799.50 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1799.50 v -x630 -x631 -x632 -x633 x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 1799.50 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1799.50 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1799.50 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1799.50 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1799.50 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1799.50 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1799.50 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1799.50 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1799.50 v -x819 -x820 x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1799.50 v -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1799.50 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 1799.50 v -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1799.50 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1799.50 v -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1799.50 v -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 1799.50 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1799.50 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1799.50 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 1799.50 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1799.50 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1799.50 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 1799.50 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 x1088 -x1089 -x1090 -x1091 1799.50 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 1799.50 v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1799.50 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 1799.50 v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 1799.50 v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 1799.50 v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 1799.50 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1799.50 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 1799.50 v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 1799.50 v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1799.50 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1799.50 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 1799.50 v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1799.50 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 1799.50 v -x1330 x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 1799.50 v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 1799.50 v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 1799.50 v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 1799.50 v x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 1799.50 v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1799.50 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 1799.50 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1799.50 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 1799.50 v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1799.50 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1799.50 v -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 1799.50 v -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 1799.50 v -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 1799.50 v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 1799.50 v -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 1799.50 v -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1799.50 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 1799.50 v -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 1799.50 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 1799.50 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 1799.50 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 1799.50 v -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 1799.50 v -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1799.50 v -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1799.50 v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 1799.50 v -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 1799.50 v -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 1799.50 v -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1799.50 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1799.50 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1799.50 v -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1799.50 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1799.50 v -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 1799.50 v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 1799.50 v -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 1799.50 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1799.50 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 1799.50 v -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 1799.50 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 1799.50 v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 1799.50 v -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 1799.50 v -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 1799.50 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 -x2078 -x2079 1799.50 v -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 1799.50 v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 1799.50 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1799.50 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 1799.50 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 1799.50 v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1799.50 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 1799.50 v -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 1799.50 v -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 1799.50 v -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 1799.50 v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 1799.50 v -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 1799.50 v -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 1799.50 v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 1799.50 v -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 1799.50 v -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 1799.50 v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 1799.50 v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1799.50 v -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 1799.50 v -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 1799.50 v -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428
OK 59
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/node18/watcher-49202-1154090504 -o ROOT/results/node18/solver-49202-1154090504 -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/node18/49202-1154090504/instance-49202-1154090504.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.95 3/64 9196 /proc/meminfo: memFree=529208/2055920 swapFree=4152732/4192956 [pid=9196] ppid=9194 vsize=1596 CPUtime=0 /proc/9196/stat : 9196 (java) D 9194 9196 9147 0 -1 0 159 0 0 0 0 0 0 0 18 0 1 0 155911043 1634304 128 18446744073709551615 134512640 134570276 4294956512 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/9196/statm: 399 128 105 14 0 44 0 [startup+10.0017 s] /proc/loadavg: 1.07 0.99 0.96 2/75 9207 /proc/meminfo: memFree=470064/2055920 swapFree=4152732/4192956 [pid=9196] ppid=9194 vsize=1717148 CPUtime=11.06 /proc/9196/stat : 9196 (java) R 9194 9196 9147 0 -1 0 18016 0 19 0 1095 11 0 0 25 0 12 0 155911043 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071628517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9196/statm: 429287 15542 2561 14 0 415679 0 [pid=9196/tid=9197] ppid=9194 vsize=1717148 CPUtime=0.03 /proc/9196/task/9197/stat : 9197 (java) S 9194 9196 9147 0 -1 64 2222 0 0 0 2 1 0 0 16 0 12 0 155911045 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9198] ppid=9194 vsize=1717148 CPUtime=0.02 /proc/9196/task/9198/stat : 9198 (java) S 9194 9196 9147 0 -1 64 1650 0 0 0 2 0 0 0 16 0 12 0 155911045 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9199] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9199/stat : 9199 (java) S 9194 9196 9147 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 155911048 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9200] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9200/stat : 9200 (java) S 9194 9196 9147 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9201] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9201/stat : 9201 (java) S 9194 9196 9147 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9202] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9202/stat : 9202 (java) S 9194 9196 9147 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9203] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9203/stat : 9203 (java) S 9194 9196 9147 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9204] ppid=9194 vsize=1717148 CPUtime=0.72 /proc/9196/task/9204/stat : 9204 (java) S 9194 9196 9147 0 -1 64 1754 0 0 0 72 0 0 0 16 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9205] ppid=9194 vsize=1717148 CPUtime=0.78 /proc/9196/task/9205/stat : 9205 (java) S 9194 9196 9147 0 -1 64 2359 0 0 0 77 1 0 0 16 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9206] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9206/stat : 9206 (java) S 9194 9196 9147 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9207] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9207/stat : 9207 (java) S 9194 9196 9147 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.06 Current children cumulated vsize (Kb) 1717148 [startup+20.0087 s] /proc/loadavg: 1.06 0.99 0.96 2/75 9207 /proc/meminfo: memFree=470192/2055920 swapFree=4152732/4192956 [pid=9196] ppid=9194 vsize=1717148 CPUtime=21.07 /proc/9196/stat : 9196 (java) R 9194 9196 9147 0 -1 0 18016 0 19 0 2096 11 0 0 25 0 12 0 155911043 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071547439 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9196/statm: 429287 15542 2561 14 0 415679 0 [pid=9196/tid=9197] ppid=9194 vsize=1717148 CPUtime=0.03 /proc/9196/task/9197/stat : 9197 (java) S 9194 9196 9147 0 -1 64 2222 0 0 0 2 1 0 0 16 0 12 0 155911045 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9198] ppid=9194 vsize=1717148 CPUtime=0.02 /proc/9196/task/9198/stat : 9198 (java) S 9194 9196 9147 0 -1 64 1650 0 0 0 2 0 0 0 16 0 12 0 155911045 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9199] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9199/stat : 9199 (java) S 9194 9196 9147 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 155911048 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9200] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9200/stat : 9200 (java) S 9194 9196 9147 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9201] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9201/stat : 9201 (java) S 9194 9196 9147 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9202] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9202/stat : 9202 (java) S 9194 9196 9147 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9203] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9203/stat : 9203 (java) S 9194 9196 9147 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9204] ppid=9194 vsize=1717148 CPUtime=0.72 /proc/9196/task/9204/stat : 9204 (java) S 9194 9196 9147 0 -1 64 1754 0 0 0 72 0 0 0 16 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9205] ppid=9194 vsize=1717148 CPUtime=0.78 /proc/9196/task/9205/stat : 9205 (java) S 9194 9196 9147 0 -1 64 2359 0 0 0 77 1 0 0 16 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9206] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9206/stat : 9206 (java) S 9194 9196 9147 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9207] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9207/stat : 9207 (java) S 9194 9196 9147 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.07 Current children cumulated vsize (Kb) 1717148 [startup+30.0156 s] /proc/loadavg: 1.05 0.99 0.96 2/75 9207 /proc/meminfo: memFree=470256/2055920 swapFree=4152732/4192956 [pid=9196] ppid=9194 vsize=1717148 CPUtime=31.07 /proc/9196/stat : 9196 (java) R 9194 9196 9147 0 -1 0 18017 0 19 0 3096 11 0 0 25 0 12 0 155911043 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071547377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9196/statm: 429287 15542 2561 14 0 415679 0 [pid=9196/tid=9197] ppid=9194 vsize=1717148 CPUtime=0.03 /proc/9196/task/9197/stat : 9197 (java) S 9194 9196 9147 0 -1 64 2222 0 0 0 2 1 0 0 16 0 12 0 155911045 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9198] ppid=9194 vsize=1717148 CPUtime=0.02 /proc/9196/task/9198/stat : 9198 (java) S 9194 9196 9147 0 -1 64 1650 0 0 0 2 0 0 0 16 0 12 0 155911045 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9199] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9199/stat : 9199 (java) S 9194 9196 9147 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 155911048 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9200] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9200/stat : 9200 (java) S 9194 9196 9147 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9201] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9201/stat : 9201 (java) S 9194 9196 9147 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9202] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9202/stat : 9202 (java) S 9194 9196 9147 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9203] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9203/stat : 9203 (java) S 9194 9196 9147 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9204] ppid=9194 vsize=1717148 CPUtime=0.72 /proc/9196/task/9204/stat : 9204 (java) S 9194 9196 9147 0 -1 64 1754 0 0 0 72 0 0 0 16 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9205] ppid=9194 vsize=1717148 CPUtime=0.78 /proc/9196/task/9205/stat : 9205 (java) S 9194 9196 9147 0 -1 64 2359 0 0 0 77 1 0 0 16 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9206] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9206/stat : 9206 (java) S 9194 9196 9147 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9207] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9207/stat : 9207 (java) S 9194 9196 9147 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.07 Current children cumulated vsize (Kb) 1717148 [startup+40.0226 s] /proc/loadavg: 1.04 0.99 0.96 2/75 9207 /proc/meminfo: memFree=470256/2055920 swapFree=4152732/4192956 [pid=9196] ppid=9194 vsize=1717148 CPUtime=41.08 /proc/9196/stat : 9196 (java) R 9194 9196 9147 0 -1 0 18017 0 19 0 4097 11 0 0 25 0 12 0 155911043 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071547377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9196/statm: 429287 15542 2561 14 0 415679 0 [pid=9196/tid=9197] ppid=9194 vsize=1717148 CPUtime=0.03 /proc/9196/task/9197/stat : 9197 (java) S 9194 9196 9147 0 -1 64 2222 0 0 0 2 1 0 0 16 0 12 0 155911045 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9198] ppid=9194 vsize=1717148 CPUtime=0.02 /proc/9196/task/9198/stat : 9198 (java) S 9194 9196 9147 0 -1 64 1650 0 0 0 2 0 0 0 16 0 12 0 155911045 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9199] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9199/stat : 9199 (java) S 9194 9196 9147 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 155911048 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9200] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9200/stat : 9200 (java) S 9194 9196 9147 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9201] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9201/stat : 9201 (java) S 9194 9196 9147 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9202] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9202/stat : 9202 (java) S 9194 9196 9147 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9203] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9203/stat : 9203 (java) S 9194 9196 9147 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9204] ppid=9194 vsize=1717148 CPUtime=0.72 /proc/9196/task/9204/stat : 9204 (java) S 9194 9196 9147 0 -1 64 1754 0 0 0 72 0 0 0 16 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9205] ppid=9194 vsize=1717148 CPUtime=0.78 /proc/9196/task/9205/stat : 9205 (java) S 9194 9196 9147 0 -1 64 2359 0 0 0 77 1 0 0 16 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9206] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9206/stat : 9206 (java) S 9194 9196 9147 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9207] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9207/stat : 9207 (java) S 9194 9196 9147 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.08 Current children cumulated vsize (Kb) 1717148 [startup+50.0296 s] /proc/loadavg: 1.04 0.99 0.96 2/75 9207 /proc/meminfo: memFree=470320/2055920 swapFree=4152732/4192956 [pid=9196] ppid=9194 vsize=1717148 CPUtime=51.08 /proc/9196/stat : 9196 (java) R 9194 9196 9147 0 -1 0 18017 0 19 0 5097 11 0 0 25 0 12 0 155911043 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071547478 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9196/statm: 429287 15542 2561 14 0 415679 0 [pid=9196/tid=9197] ppid=9194 vsize=1717148 CPUtime=0.03 /proc/9196/task/9197/stat : 9197 (java) S 9194 9196 9147 0 -1 64 2222 0 0 0 2 1 0 0 16 0 12 0 155911045 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9198] ppid=9194 vsize=1717148 CPUtime=0.02 /proc/9196/task/9198/stat : 9198 (java) S 9194 9196 9147 0 -1 64 1650 0 0 0 2 0 0 0 16 0 12 0 155911045 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9199] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9199/stat : 9199 (java) S 9194 9196 9147 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 155911048 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9200] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9200/stat : 9200 (java) S 9194 9196 9147 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9201] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9201/stat : 9201 (java) S 9194 9196 9147 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9202] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9202/stat : 9202 (java) S 9194 9196 9147 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9203] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9203/stat : 9203 (java) S 9194 9196 9147 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9204] ppid=9194 vsize=1717148 CPUtime=0.72 /proc/9196/task/9204/stat : 9204 (java) S 9194 9196 9147 0 -1 64 1754 0 0 0 72 0 0 0 16 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9205] ppid=9194 vsize=1717148 CPUtime=0.78 /proc/9196/task/9205/stat : 9205 (java) S 9194 9196 9147 0 -1 64 2359 0 0 0 77 1 0 0 16 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9206] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9206/stat : 9206 (java) S 9194 9196 9147 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9207] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9207/stat : 9207 (java) S 9194 9196 9147 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (Kb) 1717148 [startup+60.0356 s] /proc/loadavg: 1.03 0.99 0.96 2/75 9207 /proc/meminfo: memFree=470320/2055920 swapFree=4152732/4192956 [pid=9196] ppid=9194 vsize=1717148 CPUtime=61.09 /proc/9196/stat : 9196 (java) R 9194 9196 9147 0 -1 0 18017 0 19 0 6098 11 0 0 25 0 12 0 155911043 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071547377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9196/statm: 429287 15542 2561 14 0 415679 0 [pid=9196/tid=9197] ppid=9194 vsize=1717148 CPUtime=0.03 /proc/9196/task/9197/stat : 9197 (java) S 9194 9196 9147 0 -1 64 2222 0 0 0 2 1 0 0 16 0 12 0 155911045 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9198] ppid=9194 vsize=1717148 CPUtime=0.02 /proc/9196/task/9198/stat : 9198 (java) S 9194 9196 9147 0 -1 64 1650 0 0 0 2 0 0 0 16 0 12 0 155911045 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9199] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9199/stat : 9199 (java) S 9194 9196 9147 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 155911048 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9200] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9200/stat : 9200 (java) S 9194 9196 9147 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9201] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9201/stat : 9201 (java) S 9194 9196 9147 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9202] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9202/stat : 9202 (java) S 9194 9196 9147 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9203] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9203/stat : 9203 (java) S 9194 9196 9147 0 -1 64 6 0 0 0 0 0 0 0 17 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9204] ppid=9194 vsize=1717148 CPUtime=0.72 /proc/9196/task/9204/stat : 9204 (java) S 9194 9196 9147 0 -1 64 1754 0 0 0 72 0 0 0 16 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9205] ppid=9194 vsize=1717148 CPUtime=0.78 /proc/9196/task/9205/stat : 9205 (java) S 9194 9196 9147 0 -1 64 2359 0 0 0 77 1 0 0 16 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9206] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9206/stat : 9206 (java) S 9194 9196 9147 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 155911052 1758359552 15542 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9207] ppid=9194 vsize=1717148 CPUtime=0 ################ # More data... # ################ /proc/loadavg: 1.00 1.00 0.97 2/75 9405 /proc/meminfo: memFree=469808/2055920 swapFree=4152732/4192956 [pid=9196] ppid=9194 vsize=1717148 CPUtime=1795.99 /proc/9196/stat : 9196 (java) R 9194 9196 9147 0 -1 0 18022 0 19 0 179582 17 0 0 25 0 12 0 155911043 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071547377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9196/statm: 429287 15545 2561 14 0 415679 0 [pid=9196/tid=9197] ppid=9194 vsize=1717148 CPUtime=0.03 /proc/9196/task/9197/stat : 9197 (java) S 9194 9196 9147 0 -1 64 2222 0 0 0 2 1 0 0 16 0 12 0 155911045 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9198] ppid=9194 vsize=1717148 CPUtime=0.02 /proc/9196/task/9198/stat : 9198 (java) S 9194 9196 9147 0 -1 64 1650 0 0 0 2 0 0 0 16 0 12 0 155911045 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9199] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9199/stat : 9199 (java) S 9194 9196 9147 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 155911048 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9200] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9200/stat : 9200 (java) S 9194 9196 9147 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9201] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9201/stat : 9201 (java) S 9194 9196 9147 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9202] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9202/stat : 9202 (java) S 9194 9196 9147 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9203] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9203/stat : 9203 (java) S 9194 9196 9147 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9204] ppid=9194 vsize=1717148 CPUtime=0.74 /proc/9196/task/9204/stat : 9204 (java) S 9194 9196 9147 0 -1 64 1757 0 0 0 74 0 0 0 17 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9205] ppid=9194 vsize=1717148 CPUtime=0.78 /proc/9196/task/9205/stat : 9205 (java) S 9194 9196 9147 0 -1 64 2360 0 0 0 77 1 0 0 16 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9206] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9206/stat : 9206 (java) S 9194 9196 9147 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9207] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9207/stat : 9207 (java) S 9194 9196 9147 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1795.99 Current children cumulated vsize (Kb) 1717148 [startup+1796.41 s] /proc/loadavg: 1.00 1.00 0.97 2/75 9405 /proc/meminfo: memFree=469808/2055920 swapFree=4152732/4192956 [pid=9196] ppid=9194 vsize=1717148 CPUtime=1797 /proc/9196/stat : 9196 (java) R 9194 9196 9147 0 -1 0 18022 0 19 0 179683 17 0 0 25 0 12 0 155911043 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071547689 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9196/statm: 429287 15545 2561 14 0 415679 0 [pid=9196/tid=9197] ppid=9194 vsize=1717148 CPUtime=0.03 /proc/9196/task/9197/stat : 9197 (java) S 9194 9196 9147 0 -1 64 2222 0 0 0 2 1 0 0 16 0 12 0 155911045 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9198] ppid=9194 vsize=1717148 CPUtime=0.02 /proc/9196/task/9198/stat : 9198 (java) S 9194 9196 9147 0 -1 64 1650 0 0 0 2 0 0 0 16 0 12 0 155911045 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9199] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9199/stat : 9199 (java) S 9194 9196 9147 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 155911048 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9200] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9200/stat : 9200 (java) S 9194 9196 9147 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9201] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9201/stat : 9201 (java) S 9194 9196 9147 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9202] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9202/stat : 9202 (java) S 9194 9196 9147 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9203] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9203/stat : 9203 (java) S 9194 9196 9147 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9204] ppid=9194 vsize=1717148 CPUtime=0.74 /proc/9196/task/9204/stat : 9204 (java) S 9194 9196 9147 0 -1 64 1757 0 0 0 74 0 0 0 17 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9205] ppid=9194 vsize=1717148 CPUtime=0.78 /proc/9196/task/9205/stat : 9205 (java) S 9194 9196 9147 0 -1 64 2360 0 0 0 77 1 0 0 16 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9206] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9206/stat : 9206 (java) S 9194 9196 9147 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9207] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9207/stat : 9207 (java) S 9194 9196 9147 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (Kb) 1717148 [startup+1797.42 s] /proc/loadavg: 1.00 1.00 0.97 2/75 9405 /proc/meminfo: memFree=469808/2055920 swapFree=4152732/4192956 [pid=9196] ppid=9194 vsize=1717148 CPUtime=1798 /proc/9196/stat : 9196 (java) R 9194 9196 9147 0 -1 0 18022 0 19 0 179783 17 0 0 25 0 12 0 155911043 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071547424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9196/statm: 429287 15545 2561 14 0 415679 0 [pid=9196/tid=9197] ppid=9194 vsize=1717148 CPUtime=0.03 /proc/9196/task/9197/stat : 9197 (java) S 9194 9196 9147 0 -1 64 2222 0 0 0 2 1 0 0 16 0 12 0 155911045 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9198] ppid=9194 vsize=1717148 CPUtime=0.02 /proc/9196/task/9198/stat : 9198 (java) S 9194 9196 9147 0 -1 64 1650 0 0 0 2 0 0 0 16 0 12 0 155911045 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9199] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9199/stat : 9199 (java) S 9194 9196 9147 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 155911048 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9200] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9200/stat : 9200 (java) S 9194 9196 9147 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9201] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9201/stat : 9201 (java) S 9194 9196 9147 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9202] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9202/stat : 9202 (java) S 9194 9196 9147 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9203] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9203/stat : 9203 (java) S 9194 9196 9147 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9204] ppid=9194 vsize=1717148 CPUtime=0.74 /proc/9196/task/9204/stat : 9204 (java) S 9194 9196 9147 0 -1 64 1757 0 0 0 74 0 0 0 17 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9205] ppid=9194 vsize=1717148 CPUtime=0.78 /proc/9196/task/9205/stat : 9205 (java) S 9194 9196 9147 0 -1 64 2360 0 0 0 77 1 0 0 16 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9206] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9206/stat : 9206 (java) S 9194 9196 9147 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9207] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9207/stat : 9207 (java) S 9194 9196 9147 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (Kb) 1717148 [startup+1798.42 s] /proc/loadavg: 1.00 1.00 0.97 2/75 9405 /proc/meminfo: memFree=469808/2055920 swapFree=4152732/4192956 [pid=9196] ppid=9194 vsize=1717148 CPUtime=1799.01 /proc/9196/stat : 9196 (java) R 9194 9196 9147 0 -1 0 18022 0 19 0 179884 17 0 0 25 0 12 0 155911043 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071547380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9196/statm: 429287 15545 2561 14 0 415679 0 [pid=9196/tid=9197] ppid=9194 vsize=1717148 CPUtime=0.03 /proc/9196/task/9197/stat : 9197 (java) S 9194 9196 9147 0 -1 64 2222 0 0 0 2 1 0 0 16 0 12 0 155911045 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9198] ppid=9194 vsize=1717148 CPUtime=0.02 /proc/9196/task/9198/stat : 9198 (java) S 9194 9196 9147 0 -1 64 1650 0 0 0 2 0 0 0 16 0 12 0 155911045 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9199] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9199/stat : 9199 (java) S 9194 9196 9147 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 155911048 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9200] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9200/stat : 9200 (java) S 9194 9196 9147 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9201] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9201/stat : 9201 (java) S 9194 9196 9147 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9202] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9202/stat : 9202 (java) S 9194 9196 9147 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9203] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9203/stat : 9203 (java) S 9194 9196 9147 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9204] ppid=9194 vsize=1717148 CPUtime=0.74 /proc/9196/task/9204/stat : 9204 (java) S 9194 9196 9147 0 -1 64 1757 0 0 0 74 0 0 0 17 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9205] ppid=9194 vsize=1717148 CPUtime=0.78 /proc/9196/task/9205/stat : 9205 (java) S 9194 9196 9147 0 -1 64 2360 0 0 0 77 1 0 0 16 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9206] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9206/stat : 9206 (java) S 9194 9196 9147 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9207] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9207/stat : 9207 (java) S 9194 9196 9147 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.01 Current children cumulated vsize (Kb) 1717148 [startup+1799.43 s] /proc/loadavg: 1.00 1.00 0.97 2/75 9405 /proc/meminfo: memFree=469808/2055920 swapFree=4152732/4192956 [pid=9196] ppid=9194 vsize=1717148 CPUtime=1800.01 /proc/9196/stat : 9196 (java) R 9194 9196 9147 0 -1 0 18022 0 19 0 179984 17 0 0 25 0 12 0 155911043 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071547377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9196/statm: 429287 15545 2561 14 0 415679 0 [pid=9196/tid=9197] ppid=9194 vsize=1717148 CPUtime=0.03 /proc/9196/task/9197/stat : 9197 (java) S 9194 9196 9147 0 -1 64 2222 0 0 0 2 1 0 0 16 0 12 0 155911045 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9198] ppid=9194 vsize=1717148 CPUtime=0.02 /proc/9196/task/9198/stat : 9198 (java) S 9194 9196 9147 0 -1 64 1650 0 0 0 2 0 0 0 16 0 12 0 155911045 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9199] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9199/stat : 9199 (java) S 9194 9196 9147 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 155911048 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9200] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9200/stat : 9200 (java) S 9194 9196 9147 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9201] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9201/stat : 9201 (java) S 9194 9196 9147 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9202] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9202/stat : 9202 (java) S 9194 9196 9147 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9203] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9203/stat : 9203 (java) S 9194 9196 9147 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9204] ppid=9194 vsize=1717148 CPUtime=0.74 /proc/9196/task/9204/stat : 9204 (java) S 9194 9196 9147 0 -1 64 1757 0 0 0 74 0 0 0 17 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9205] ppid=9194 vsize=1717148 CPUtime=0.78 /proc/9196/task/9205/stat : 9205 (java) S 9194 9196 9147 0 -1 64 2360 0 0 0 77 1 0 0 16 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9206] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9206/stat : 9206 (java) S 9194 9196 9147 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9207] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9207/stat : 9207 (java) S 9194 9196 9147 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (Kb) 1717148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.43 s] /proc/loadavg: 1.00 1.00 0.97 2/75 9405 /proc/meminfo: memFree=469808/2055920 swapFree=4152732/4192956 [pid=9196] ppid=9194 vsize=1717148 CPUtime=1800.02 /proc/9196/stat : 9196 (java) R 9194 9196 9147 0 -1 0 18022 0 19 0 179985 17 0 0 25 0 12 0 155911043 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071547403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/9196/statm: 429287 15545 2561 14 0 415679 0 [pid=9196/tid=9197] ppid=9194 vsize=1717148 CPUtime=0.03 /proc/9196/task/9197/stat : 9197 (java) S 9194 9196 9147 0 -1 64 2222 0 0 0 2 1 0 0 16 0 12 0 155911045 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9198] ppid=9194 vsize=1717148 CPUtime=0.02 /proc/9196/task/9198/stat : 9198 (java) S 9194 9196 9147 0 -1 64 1650 0 0 0 2 0 0 0 16 0 12 0 155911045 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9199] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9199/stat : 9199 (java) S 9194 9196 9147 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 155911048 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9200] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9200/stat : 9200 (java) S 9194 9196 9147 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9201] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9201/stat : 9201 (java) S 9194 9196 9147 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 155911049 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9202] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9202/stat : 9202 (java) S 9194 9196 9147 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9203] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9203/stat : 9203 (java) S 9194 9196 9147 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9204] ppid=9194 vsize=1717148 CPUtime=0.74 /proc/9196/task/9204/stat : 9204 (java) S 9194 9196 9147 0 -1 64 1757 0 0 0 74 0 0 0 17 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9205] ppid=9194 vsize=1717148 CPUtime=0.78 /proc/9196/task/9205/stat : 9205 (java) S 9194 9196 9147 0 -1 64 2360 0 0 0 77 1 0 0 16 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=9196/tid=9206] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9206/stat : 9206 (java) S 9194 9196 9147 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=9196/tid=9207] ppid=9194 vsize=1717148 CPUtime=0 /proc/9196/task/9207/stat : 9207 (java) S 9194 9196 9147 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 155911052 1758359552 15545 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (Kb) 1717148 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1799.57 CPU time (s): 1800.22 CPU user time (s): 1800.03 CPU system time (s): 0.187971 CPU usage (%): 100.036 Max. virtual memory (cumulated for all children) (Kb): 1717148 The end
Begin job on node18 on Fri Jul 28 12:41:44 UTC 2006 FILE ID= 49202-1154090504 PBS_JOBID= 885658 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-ex5.r.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/node18/49202-1154090504/instance-49202-1154090504.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-49202-1154090504 -o ROOT/results/node18/solver-49202-1154090504 -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/node18/49202-1154090504/instance-49202-1154090504.opb MD5SUM SOLVER= 4ca9ffbd6a9584cc3ed948681986e0cb 7445d5e2b836dfb8cfc1479ab819c771 MD5SUM BENCH= a65b7dae8af36ed37815bca4e48a5306 RANDOM SEED= 11305477 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.236 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.236 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: 529416 kB Buffers: 36972 kB Cached: 1396308 kB SwapCached: 33956 kB Active: 300104 kB Inactive: 1173032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 529416 kB SwapTotal: 4192956 kB SwapFree: 4152732 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14552 kB Slab: 39452 kB Committed_AS: 618296 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node18 on Fri Jul 28 13:11:44 UTC 2006