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