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