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