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