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