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