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