Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
absconPseudo 1 | SAT (TO) | 88 | 1800.35 | 1799.36 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-exam.pi.opb |
MD5SUM | c7b7ba2fb8a9fff5b9677d5bbd1edc0f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 63 |
Best CPU time to get the best result obtained on this benchmark | 905.426 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63 |
Optimality of the best value was proved | YES |
Number of variables | 4676 |
Total number of constraints | 509 |
Number of constraints which are clauses | 509 |
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 | 166 |
Number of terms in the objective function | 4676 |
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 | 4676 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4676 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
2.11 o 89 72.57 o 88 1799.25 s SATISFIABLE 1799.32 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 1799.32 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1799.32 v -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1799.32 v -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 x103 -x104 -x105 -x106 1799.32 v -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 1799.32 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1799.32 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1799.32 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1799.32 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 1799.32 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 1799.32 v -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 1799.32 v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 1799.32 v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 1799.32 v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 1799.32 v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1799.32 v x338 x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 1799.32 v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 1799.32 v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1799.32 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1799.32 v -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 1799.32 v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 1799.32 v -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 1799.32 v -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 1799.32 v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 1799.32 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1799.32 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 1799.32 v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 1799.32 v -x590 -x591 -x592 x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 1799.32 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 1799.32 v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 1799.32 v -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 1799.32 v -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 1799.32 v -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 1799.32 v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 1799.32 v -x737 -x738 -x739 -x740 -x741 x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 1799.32 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 1799.32 v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 1799.32 v -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1799.32 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 1799.32 v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 1799.32 v -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 1799.32 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1799.32 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 1799.32 v -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1799.32 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 1799.32 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 1799.32 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1799.32 v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1799.32 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 1799.32 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1799.32 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1799.32 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 1799.32 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1799.32 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1799.32 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1799.32 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1799.32 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1799.32 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 1799.32 v -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1799.32 v -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 1799.32 v -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1799.32 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 1799.32 v -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 1799.32 v -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 1799.32 v -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1799.32 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 1799.32 v -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 1799.32 v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1799.32 v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 1799.32 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 1799.32 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 1799.32 v -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 1799.32 v -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 1799.32 v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 1799.32 v -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1799.32 v -x1487 x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 1799.32 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1799.32 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 1799.32 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 1799.32 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1799.32 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1799.32 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 1799.32 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1799.32 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1799.32 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1799.32 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1799.32 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1799.32 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1799.32 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 1799.32 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1799.32 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1799.32 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1799.32 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1799.32 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1799.32 v -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1799.32 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1799.32 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1799.32 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1799.32 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1799.32 v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 1799.32 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 1799.32 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1799.32 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1799.32 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1799.32 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 1799.32 v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 1799.32 v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 1799.32 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1799.32 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1799.32 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1799.32 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1799.32 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1799.32 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 x2131 -x2132 -x2133 1799.32 v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 x2149 -x2150 -x2151 1799.32 v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 1799.32 v -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 1799.32 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 1799.32 v -x2203 x2204 -x2205 x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1799.32 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 1799.32 v -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 1799.32 v -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 1799.32 v -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 1799.32 v -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 1799.32 v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1799.32 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1799.32 v -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 1799.32 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 1799.32 v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1799.32 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 1799.32 v -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 1799.32 v -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 1799.32 v -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 -x2458 1799.32 v -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1799.32 v -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 1799.32 v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 1799.32 v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1799.32 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1799.32 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1799.32 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1799.32 v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 1799.32 v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 1799.32 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 1799.32 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 1799.32 v -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 1799.32 v -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 1799.32 v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 1799.32 v -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 1799.32 v -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1799.32 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 1799.32 v -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 1799.32 v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 1799.32 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1799.32 v -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 1799.32 v -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 1799.32 v -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 1799.32 v -x2850 x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 1799.32 v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 1799.32 v -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 1799.32 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 1799.32 v -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 1799.32 v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 1799.32 v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 1799.32 v -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 1799.32 v -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 1799.32 v -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 1799.32 v -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 1799.32 v -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 1799.32 v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1799.32 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 1799.32 v -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 1799.32 v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 1799.32 v -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 1799.32 v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 1799.32 v -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 1799.32 v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 1799.32 v -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 1799.32 v -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 1799.32 v -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 1799.32 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 1799.32 v -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 1799.32 v -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 1799.32 v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 1799.32 v -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 1799.32 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 1799.32 v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 1799.32 v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 1799.32 v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 1799.32 v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 1799.32 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 1799.32 v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 1799.32 v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 1799.32 v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 1799.32 v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 1799.32 v -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 1799.32 v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 1799.32 v -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 1799.32 v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 1799.32 v -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 1799.32 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 1799.32 v -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 1799.32 v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 1799.32 v -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 1799.32 v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 1799.32 v -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 1799.32 v -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 1799.32 v -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 1799.32 v -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 1799.32 v -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 1799.32 v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 1799.32 v -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 1799.32 v -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 1799.32 v -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 1799.32 v x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 1799.32 v -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 1799.32 v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 1799.32 v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 1799.32 v -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 1799.32 v -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 1799.32 v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 1799.32 v -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 1799.32 v -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 1799.32 v -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 1799.32 v -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 1799.32 v -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 1799.32 v -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 1799.32 v -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 1799.32 v -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 1799.32 v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 1799.32 v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 1799.32 v -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 1799.32 v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 1799.32 v -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 1799.32 v -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 1799.32 v -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 1799.32 v -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 x4207 -x4208 -x4209 -x4210 1799.32 v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 1799.32 v -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 1799.32 v -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 1799.32 v -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 1799.32 v -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 1799.32 v -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 1799.32 v -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 1799.32 v -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 1799.32 v -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 1799.32 v -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 1799.32 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 1799.32 v -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 1799.32 v -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 1799.32 v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 1799.32 v -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 1799.32 v -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 1799.32 v -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 -x4498 -x4499 -x4500 1799.32 v -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 1799.32 v -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 1799.32 v -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 1799.32 v -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 1799.32 v -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 1799.32 v -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 1799.32 v -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 1799.32 v -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 1799.32 v -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 1799.32 v -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 1799.32 v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676
OK 88
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-30953-1149405986 -o ROOT/results/node72/solver-30953-1149405986 -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/node72/30953-1149405986/instance-30953-1149405986.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 3/64 7138 /proc/meminfo: memFree=1493136/2055920 swapFree=4182268/4192956 [pid=7138] ppid=7136 vsize=0 CPUtime=0 /proc/7138/stat : 7138 (runsolver) R 7136 7138 7092 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 206263050 0 0 18446744073709551615 0 0 0 18446744073709551615 234517753127 0 0 4096 24578 0 0 0 17 1 0 0 /proc/7138/statm: 0 0 0 0 0 0 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.99 2/75 7149 /proc/meminfo: memFree=1434880/2055920 swapFree=4182268/4192956 [pid=7138] ppid=7136 vsize=1717852 CPUtime=11.34 /proc/7138/stat : 7138 (java) R 7136 7138 7092 0 -1 0 20241 0 1 0 1124 10 0 0 25 0 12 0 206263050 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071639231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7138/statm: 429463 16995 2565 14 0 415855 0 [pid=7138/tid=7139] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7139/stat : 7139 (java) S 7136 7138 7092 0 -1 64 2182 0 0 0 3 0 0 0 16 0 12 0 206263053 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7140] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7092 0 -1 64 2018 0 0 0 2 1 0 0 17 0 12 0 206263053 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7141] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7092 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7142] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7092 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7143] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7092 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7144] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7145] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7092 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7146] ppid=7136 vsize=1717852 CPUtime=1.04 /proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7092 0 -1 64 3300 0 0 0 103 1 0 0 16 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7147] ppid=7136 vsize=1717852 CPUtime=0.86 /proc/7138/task/7147/stat : 7147 (java) S 7136 7138 7092 0 -1 64 1931 0 0 0 85 1 0 0 16 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7148] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7148/stat : 7148 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7149] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7149/stat : 7149 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.34 Current children cumulated vsize (Kb) 1717852 [startup+20.0094 s] /proc/loadavg: 0.94 0.98 0.99 2/75 7149 /proc/meminfo: memFree=1434944/2055920 swapFree=4182268/4192956 [pid=7138] ppid=7136 vsize=1717852 CPUtime=21.34 /proc/7138/stat : 7138 (java) R 7136 7138 7092 0 -1 0 20242 0 1 0 2124 10 0 0 25 0 12 0 206263050 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071639231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7138/statm: 429463 16995 2565 14 0 415855 0 [pid=7138/tid=7139] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7139/stat : 7139 (java) S 7136 7138 7092 0 -1 64 2182 0 0 0 3 0 0 0 16 0 12 0 206263053 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7140] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7092 0 -1 64 2018 0 0 0 2 1 0 0 17 0 12 0 206263053 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7141] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7092 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7142] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7092 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7143] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7092 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7144] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7145] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7092 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7146] ppid=7136 vsize=1717852 CPUtime=1.04 /proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7092 0 -1 64 3300 0 0 0 103 1 0 0 16 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7147] ppid=7136 vsize=1717852 CPUtime=0.86 /proc/7138/task/7147/stat : 7147 (java) S 7136 7138 7092 0 -1 64 1931 0 0 0 85 1 0 0 16 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7148] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7148/stat : 7148 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7149] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7149/stat : 7149 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.34 Current children cumulated vsize (Kb) 1717852 [startup+30.0163 s] /proc/loadavg: 0.95 0.98 0.99 2/75 7149 /proc/meminfo: memFree=1435008/2055920 swapFree=4182268/4192956 [pid=7138] ppid=7136 vsize=1717852 CPUtime=31.34 /proc/7138/stat : 7138 (java) R 7136 7138 7092 0 -1 0 20242 0 1 0 3124 10 0 0 25 0 12 0 206263050 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071639231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7138/statm: 429463 16995 2565 14 0 415855 0 [pid=7138/tid=7139] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7139/stat : 7139 (java) S 7136 7138 7092 0 -1 64 2182 0 0 0 3 0 0 0 16 0 12 0 206263053 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7140] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7092 0 -1 64 2018 0 0 0 2 1 0 0 17 0 12 0 206263053 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7141] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7092 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7142] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7092 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7143] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7092 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7144] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7145] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7092 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7146] ppid=7136 vsize=1717852 CPUtime=1.04 /proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7092 0 -1 64 3300 0 0 0 103 1 0 0 16 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7147] ppid=7136 vsize=1717852 CPUtime=0.86 /proc/7138/task/7147/stat : 7147 (java) S 7136 7138 7092 0 -1 64 1931 0 0 0 85 1 0 0 16 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7148] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7148/stat : 7148 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7149] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7149/stat : 7149 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.34 Current children cumulated vsize (Kb) 1717852 [startup+40.0222 s] /proc/loadavg: 0.96 0.98 0.99 2/75 7149 /proc/meminfo: memFree=1434944/2055920 swapFree=4182268/4192956 [pid=7138] ppid=7136 vsize=1717852 CPUtime=41.35 /proc/7138/stat : 7138 (java) R 7136 7138 7092 0 -1 0 20242 0 1 0 4125 10 0 0 25 0 12 0 206263050 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071639228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7138/statm: 429463 16995 2565 14 0 415855 0 [pid=7138/tid=7139] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7139/stat : 7139 (java) S 7136 7138 7092 0 -1 64 2182 0 0 0 3 0 0 0 16 0 12 0 206263053 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7140] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7092 0 -1 64 2018 0 0 0 2 1 0 0 17 0 12 0 206263053 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7141] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7092 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7142] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7092 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7143] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7092 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7144] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7145] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7092 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7146] ppid=7136 vsize=1717852 CPUtime=1.04 /proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7092 0 -1 64 3300 0 0 0 103 1 0 0 16 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7147] ppid=7136 vsize=1717852 CPUtime=0.86 /proc/7138/task/7147/stat : 7147 (java) S 7136 7138 7092 0 -1 64 1931 0 0 0 85 1 0 0 16 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7148] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7148/stat : 7148 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7149] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7149/stat : 7149 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.35 Current children cumulated vsize (Kb) 1717852 [startup+50.0291 s] /proc/loadavg: 0.96 0.98 0.99 2/75 7149 /proc/meminfo: memFree=1435008/2055920 swapFree=4182268/4192956 [pid=7138] ppid=7136 vsize=1717852 CPUtime=51.36 /proc/7138/stat : 7138 (java) R 7136 7138 7092 0 -1 0 20242 0 1 0 5126 10 0 0 25 0 12 0 206263050 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071639249 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7138/statm: 429463 16995 2565 14 0 415855 0 [pid=7138/tid=7139] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7139/stat : 7139 (java) S 7136 7138 7092 0 -1 64 2182 0 0 0 3 0 0 0 16 0 12 0 206263053 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7140] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7092 0 -1 64 2018 0 0 0 2 1 0 0 17 0 12 0 206263053 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7141] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7092 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7142] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7092 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7143] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7092 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7144] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7145] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7092 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7146] ppid=7136 vsize=1717852 CPUtime=1.04 /proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7092 0 -1 64 3300 0 0 0 103 1 0 0 16 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7147] ppid=7136 vsize=1717852 CPUtime=0.86 /proc/7138/task/7147/stat : 7147 (java) S 7136 7138 7092 0 -1 64 1931 0 0 0 85 1 0 0 16 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7148] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7148/stat : 7148 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7149] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7149/stat : 7149 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.36 Current children cumulated vsize (Kb) 1717852 [startup+60.035 s] /proc/loadavg: 0.97 0.98 0.99 2/75 7149 /proc/meminfo: memFree=1435008/2055920 swapFree=4182268/4192956 [pid=7138] ppid=7136 vsize=1717852 CPUtime=61.36 /proc/7138/stat : 7138 (java) R 7136 7138 7092 0 -1 0 20242 0 1 0 6126 10 0 0 25 0 12 0 206263050 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071598132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7138/statm: 429463 16995 2565 14 0 415855 0 [pid=7138/tid=7139] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7139/stat : 7139 (java) S 7136 7138 7092 0 -1 64 2182 0 0 0 3 0 0 0 16 0 12 0 206263053 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7140] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7092 0 -1 64 2018 0 0 0 2 1 0 0 17 0 12 0 206263053 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7141] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7092 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7142] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7092 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7143] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7092 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7144] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7145] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7092 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7146] ppid=7136 vsize=1717852 CPUtime=1.04 /proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7092 0 -1 64 3300 0 0 0 103 1 0 0 16 0 12 0 206263063 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7147] ppid=7136 vsize=1717852 CPUtime=0.86 /proc/7138/task/7147/stat : 7147 (java) S 7136 7138 7092 0 -1 64 1931 0 0 0 85 1 0 0 16 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7148] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7148/stat : 7148 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7149] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7149/stat : 7149 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 206263064 1759080448 16995 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [startup+1795.23 s] /proc/loadavg: 1.00 1.00 1.00 2/75 7151 /proc/meminfo: memFree=1434304/2055920 swapFree=4182268/4192956 [pid=7138] ppid=7136 vsize=1717852 CPUtime=1796.14 /proc/7138/stat : 7138 (java) R 7136 7138 7092 0 -1 0 20244 0 1 0 179603 11 0 0 25 0 12 0 206263050 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071598132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7138/statm: 429463 16997 2565 14 0 415855 0 [pid=7138/tid=7139] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7139/stat : 7139 (java) S 7136 7138 7092 0 -1 64 2182 0 0 0 3 0 0 0 16 0 12 0 206263053 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7140] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7092 0 -1 64 2018 0 0 0 2 1 0 0 17 0 12 0 206263053 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7141] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7092 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7142] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7092 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7143] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7092 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7144] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7145] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7092 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7146] ppid=7136 vsize=1717852 CPUtime=1.05 /proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7092 0 -1 64 3302 0 0 0 104 1 0 0 17 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7147] ppid=7136 vsize=1717852 CPUtime=0.86 /proc/7138/task/7147/stat : 7147 (java) S 7136 7138 7092 0 -1 64 1931 0 0 0 85 1 0 0 16 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7148] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7148/stat : 7148 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7149] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7149/stat : 7149 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.14 Current children cumulated vsize (Kb) 1717852 [startup+1796.23 s] /proc/loadavg: 1.00 1.00 1.00 2/75 7151 /proc/meminfo: memFree=1434304/2055920 swapFree=4182268/4192956 [pid=7138] ppid=7136 vsize=1717852 CPUtime=1797.15 /proc/7138/stat : 7138 (java) R 7136 7138 7092 0 -1 0 20244 0 1 0 179704 11 0 0 25 0 12 0 206263050 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071598078 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7138/statm: 429463 16997 2565 14 0 415855 0 [pid=7138/tid=7139] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7139/stat : 7139 (java) S 7136 7138 7092 0 -1 64 2182 0 0 0 3 0 0 0 16 0 12 0 206263053 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7140] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7092 0 -1 64 2018 0 0 0 2 1 0 0 17 0 12 0 206263053 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7141] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7092 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7142] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7092 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7143] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7092 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7144] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7145] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7092 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7146] ppid=7136 vsize=1717852 CPUtime=1.05 /proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7092 0 -1 64 3302 0 0 0 104 1 0 0 17 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7147] ppid=7136 vsize=1717852 CPUtime=0.86 /proc/7138/task/7147/stat : 7147 (java) S 7136 7138 7092 0 -1 64 1931 0 0 0 85 1 0 0 16 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7148] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7148/stat : 7148 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7149] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7149/stat : 7149 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.15 Current children cumulated vsize (Kb) 1717852 [startup+1797.24 s] /proc/loadavg: 1.00 1.00 1.00 2/75 7151 /proc/meminfo: memFree=1434304/2055920 swapFree=4182268/4192956 [pid=7138] ppid=7136 vsize=1717852 CPUtime=1798.15 /proc/7138/stat : 7138 (java) R 7136 7138 7092 0 -1 0 20244 0 1 0 179804 11 0 0 25 0 12 0 206263050 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071598132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7138/statm: 429463 16997 2565 14 0 415855 0 [pid=7138/tid=7139] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7139/stat : 7139 (java) S 7136 7138 7092 0 -1 64 2182 0 0 0 3 0 0 0 16 0 12 0 206263053 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7140] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7092 0 -1 64 2018 0 0 0 2 1 0 0 17 0 12 0 206263053 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7141] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7092 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7142] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7092 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7143] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7092 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7144] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7145] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7092 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7146] ppid=7136 vsize=1717852 CPUtime=1.05 /proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7092 0 -1 64 3302 0 0 0 104 1 0 0 17 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7147] ppid=7136 vsize=1717852 CPUtime=0.86 /proc/7138/task/7147/stat : 7147 (java) S 7136 7138 7092 0 -1 64 1931 0 0 0 85 1 0 0 16 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7148] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7148/stat : 7148 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7149] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7149/stat : 7149 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.15 Current children cumulated vsize (Kb) 1717852 [startup+1798.24 s] /proc/loadavg: 1.00 1.00 1.00 2/75 7151 /proc/meminfo: memFree=1434304/2055920 swapFree=4182268/4192956 [pid=7138] ppid=7136 vsize=1717852 CPUtime=1799.16 /proc/7138/stat : 7138 (java) R 7136 7138 7092 0 -1 0 20244 0 1 0 179905 11 0 0 25 0 12 0 206263050 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071598179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7138/statm: 429463 16997 2565 14 0 415855 0 [pid=7138/tid=7139] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7139/stat : 7139 (java) S 7136 7138 7092 0 -1 64 2182 0 0 0 3 0 0 0 16 0 12 0 206263053 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7140] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7092 0 -1 64 2018 0 0 0 2 1 0 0 17 0 12 0 206263053 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7141] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7092 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7142] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7092 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7143] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7092 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7144] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7145] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7092 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7146] ppid=7136 vsize=1717852 CPUtime=1.05 /proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7092 0 -1 64 3302 0 0 0 104 1 0 0 17 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7147] ppid=7136 vsize=1717852 CPUtime=0.86 /proc/7138/task/7147/stat : 7147 (java) S 7136 7138 7092 0 -1 64 1931 0 0 0 85 1 0 0 16 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7148] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7148/stat : 7148 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7149] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7149/stat : 7149 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.16 Current children cumulated vsize (Kb) 1717852 [startup+1799.25 s] /proc/loadavg: 1.00 1.00 1.00 2/75 7151 /proc/meminfo: memFree=1434304/2055920 swapFree=4182268/4192956 [pid=7138] ppid=7136 vsize=1717852 CPUtime=1800.16 /proc/7138/stat : 7138 (java) R 7136 7138 7092 0 -1 0 20244 0 1 0 180005 11 0 0 25 0 12 0 206263050 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071598148 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7138/statm: 429463 16997 2565 14 0 415855 0 [pid=7138/tid=7139] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7139/stat : 7139 (java) S 7136 7138 7092 0 -1 64 2182 0 0 0 3 0 0 0 16 0 12 0 206263053 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7140] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7092 0 -1 64 2018 0 0 0 2 1 0 0 17 0 12 0 206263053 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7141] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7092 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7142] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7092 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7143] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7092 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7144] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7145] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7092 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7146] ppid=7136 vsize=1717852 CPUtime=1.05 /proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7092 0 -1 64 3302 0 0 0 104 1 0 0 17 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7147] ppid=7136 vsize=1717852 CPUtime=0.86 /proc/7138/task/7147/stat : 7147 (java) S 7136 7138 7092 0 -1 64 1931 0 0 0 85 1 0 0 16 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7148] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7148/stat : 7148 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7149] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7149/stat : 7149 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (Kb) 1717852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.25 s] /proc/loadavg: 1.00 1.00 1.00 2/75 7151 /proc/meminfo: memFree=1434304/2055920 swapFree=4182268/4192956 [pid=7138] ppid=7136 vsize=1717852 CPUtime=1800.17 /proc/7138/stat : 7138 (java) R 7136 7138 7092 0 -1 0 20244 0 1 0 180006 11 0 0 25 0 12 0 206263050 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071598368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/7138/statm: 429463 16997 2565 14 0 415855 0 [pid=7138/tid=7139] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7139/stat : 7139 (java) S 7136 7138 7092 0 -1 64 2182 0 0 0 3 0 0 0 16 0 12 0 206263053 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7140] ppid=7136 vsize=1717852 CPUtime=0.03 /proc/7138/task/7140/stat : 7140 (java) S 7136 7138 7092 0 -1 64 2018 0 0 0 2 1 0 0 17 0 12 0 206263053 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7141] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7141/stat : 7141 (java) S 7136 7138 7092 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7142] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7142/stat : 7142 (java) S 7136 7138 7092 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7143] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7143/stat : 7143 (java) S 7136 7138 7092 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 206263056 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7144] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7144/stat : 7144 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7145] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7145/stat : 7145 (java) S 7136 7138 7092 0 -1 64 4 0 0 0 0 0 0 0 16 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7146] ppid=7136 vsize=1717852 CPUtime=1.05 /proc/7138/task/7146/stat : 7146 (java) S 7136 7138 7092 0 -1 64 3302 0 0 0 104 1 0 0 17 0 12 0 206263063 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=7138/tid=7147] ppid=7136 vsize=1717852 CPUtime=0.86 /proc/7138/task/7147/stat : 7147 (java) S 7136 7138 7092 0 -1 64 1931 0 0 0 85 1 0 0 16 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7148] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7148/stat : 7148 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=7138/tid=7149] ppid=7136 vsize=1717852 CPUtime=0 /proc/7138/task/7149/stat : 7149 (java) S 7136 7138 7092 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 206263064 1759080448 16997 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (Kb) 1717852 Sending SIGTERM to -7138 Sleeping 2 seconds Child status: 143 Real time (s): 1799.36 CPU time (s): 1800.35 CPU user time (s): 1800.22 CPU system time (s): 0.13098 CPU usage (%): 100.055 Max. virtual memory (cumulated for all children) (Kb): 1717852
Begin job on node72 on Sun Jun 4 07:26:26 UTC 2006 FILE ID= 30953-1149405986 PBS_JOBID= 314410 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.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/node72/30953-1149405986/instance-30953-1149405986.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-30953-1149405986 -o ROOT/results/node72/solver-30953-1149405986 -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/node72/30953-1149405986/instance-30953-1149405986.opb MD5SUM SOLVER= 4ca9ffbd6a9584cc3ed948681986e0cb 7445d5e2b836dfb8cfc1479ab819c771 MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f RANDOM SEED= 208121303 /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.227 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.227 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: 1493344 kB Buffers: 34780 kB Cached: 450560 kB SwapCached: 2492 kB Active: 105996 kB Inactive: 388108 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1493344 kB SwapTotal: 4192956 kB SwapFree: 4182268 kB Dirty: 164 kB Writeback: 0 kB Mapped: 15676 kB Slab: 54528 kB Committed_AS: 376468 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node72 on Sun Jun 4 07:56:26 UTC 2006