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

OK	15

Linearizing /tmp/evaluation/453857-1178160734/instance-453857-1178160734.opb

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node16/watcher-453857-1178160734 -o ROOT/results/node16/solver-453857-1178160734 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453857-1178160734/instance-453857-1178160734.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.94 0.99 0.99 3/77 3913
/proc/meminfo: memFree=1764344/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=2552 CPUtime=0
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 263991087 2613248 239 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 7603885 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 638 239 199 16 0 77 0

[startup+0.0201269 s]
/proc/loadavg: 0.94 0.99 0.99 3/77 3913
/proc/meminfo: memFree=1764344/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=2952 CPUtime=0.01
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 376 0 0 0 1 0 0 0 18 0 1 0 263991087 3022848 347 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 7671511 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 738 347 199 16 0 177 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2952

[startup+0.101109 s]
/proc/loadavg: 0.94 0.99 0.99 3/77 3913
/proc/meminfo: memFree=1764344/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=4016 CPUtime=0.09
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 639 0 0 0 9 0 0 0 18 0 1 0 263991087 4112384 610 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 7671511 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 1004 610 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301067 s]
/proc/loadavg: 0.94 0.99 0.99 3/77 3913
/proc/meminfo: memFree=1764344/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=6788 CPUtime=0.29
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 1314 0 0 0 29 0 0 0 19 0 1 0 263991087 6950912 1285 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134532444 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 1697 1285 203 16 0 1136 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6788

[startup+0.701983 s]
/proc/loadavg: 0.94 0.99 0.99 3/77 3913
/proc/meminfo: memFree=1764344/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=7456 CPUtime=0.69
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 1455 0 0 0 69 0 0 0 23 0 1 0 263991087 7634944 1426 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 1864 1426 205 16 0 1303 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7456

[startup+1.50181 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 3914
/proc/meminfo: memFree=1759216/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=8244 CPUtime=1.49
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 1682 0 0 0 148 1 0 0 25 0 1 0 263991087 8441856 1653 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 2061 1653 205 16 0 1500 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8244

[startup+3.10148 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 3914
/proc/meminfo: memFree=1757104/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=11212 CPUtime=3.09
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 2415 0 0 0 308 1 0 0 25 0 1 0 263991087 11481088 2386 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134520019 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 2803 2386 205 16 0 2242 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11212

[startup+6.30181 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 3914
/proc/meminfo: memFree=1752944/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=14872 CPUtime=6.3
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 3320 0 0 0 627 3 0 0 25 0 1 0 263991087 15228928 3291 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 3718 3291 205 16 0 3157 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 14872

[startup+12.7015 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 3914
/proc/meminfo: memFree=1748408/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=18252 CPUtime=12.69
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 4164 0 0 0 1265 4 0 0 25 0 1 0 263991087 18690048 4135 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 4563 4135 205 16 0 4002 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18252

[startup+25.5018 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 3914
/proc/meminfo: memFree=1745336/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=21232 CPUtime=25.49
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 4928 0 0 0 2542 7 0 0 25 0 1 0 263991087 21741568 4899 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 5308 4899 205 16 0 4747 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21232

[startup+51.1014 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 3914
/proc/meminfo: memFree=1737976/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=28716 CPUtime=51.09
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 6772 0 0 0 5098 11 0 0 25 0 1 0 263991087 29405184 6743 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 7179 6743 205 16 0 6618 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28716

[startup+102.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 3914
/proc/meminfo: memFree=1737336/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=29380 CPUtime=102.3
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 6926 0 0 0 10212 18 0 0 25 0 1 0 263991087 30085120 6897 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557721 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 7345 6897 205 16 0 6784 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 29380

[startup+162.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 3914
/proc/meminfo: memFree=1735992/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=30644 CPUtime=162.3
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 7256 0 0 0 16204 26 0 0 25 0 1 0 263991087 31379456 7227 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 7661 7227 205 16 0 7100 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 30644

[startup+222.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 3914
/proc/meminfo: memFree=1730872/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=35692 CPUtime=222.3
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 8511 0 0 0 22196 34 0 0 25 0 1 0 263991087 36548608 8482 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134553214 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 8923 8482 205 16 0 8362 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 35692

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3914
/proc/meminfo: memFree=1730872/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=35692 CPUtime=282.31
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 8513 0 0 0 28190 41 0 0 25 0 1 0 263991087 36548608 8484 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 7639092 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 8923 8484 205 16 0 8362 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 35692

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3914
/proc/meminfo: memFree=1729976/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=36464 CPUtime=342.31
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 8720 0 0 0 34184 47 0 0 25 0 1 0 263991087 37339136 8691 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 9116 8691 205 16 0 8555 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 36464

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3914
/proc/meminfo: memFree=1726200/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=40324 CPUtime=402.31
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 9662 0 0 0 40179 52 0 0 25 0 1 0 263991087 41291776 9633 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 10081 9633 205 16 0 9520 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 40324

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3914
/proc/meminfo: memFree=1724920/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=41628 CPUtime=462.32
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 9990 0 0 0 46172 60 0 0 25 0 1 0 263991087 42627072 9961 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559236 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 10407 9961 205 16 0 9846 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 41628

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3914
/proc/meminfo: memFree=1724728/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=41756 CPUtime=522.32
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 10033 0 0 0 52166 66 0 0 25 0 1 0 263991087 42758144 10004 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 10439 10004 205 16 0 9878 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 41756

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1724392/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=41756 CPUtime=582.2
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 10033 0 0 0 58147 73 0 0 25 0 1 0 263991087 42758144 10004 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134557772 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 10439 10004 205 16 0 9878 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 41756

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1721144/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=45236 CPUtime=642.22
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 10901 0 0 0 64141 81 0 0 25 0 1 0 263991087 46321664 10872 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 11309 10872 205 16 0 10748 0
Current children cumulated CPU time (s) 642.22
Current children cumulated vsize (KiB) 45236


################
# More data... #
################

/proc/meminfo: memFree=1720440/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=46020 CPUtime=762.22
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 11089 0 0 0 76130 92 0 0 25 0 1 0 263991087 47124480 11060 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 11505 11060 205 16 0 10944 0
Current children cumulated CPU time (s) 762.22
Current children cumulated vsize (KiB) 46020

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1720440/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=45936 CPUtime=822.22
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 11090 0 0 0 82123 99 0 0 25 0 1 0 263991087 47038464 11059 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 11484 11059 205 16 0 10923 0
Current children cumulated CPU time (s) 822.22
Current children cumulated vsize (KiB) 45936

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1720376/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=45928 CPUtime=882.23
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 11090 0 0 0 88116 107 0 0 25 0 1 0 263991087 47030272 11057 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 11482 11057 205 16 0 10921 0
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (KiB) 45928

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1720440/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=45928 CPUtime=942.23
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 11090 0 0 0 94110 113 0 0 25 0 1 0 263991087 47030272 11057 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 11482 11057 205 16 0 10921 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 45928

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1720376/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=45928 CPUtime=1002.23
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 11090 0 0 0 100105 118 0 0 25 0 1 0 263991087 47030272 11057 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 11482 11057 205 16 0 10921 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 45928

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1720120/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=46308 CPUtime=1062.24
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 11160 0 0 0 106099 125 0 0 25 0 1 0 263991087 47419392 11127 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 11577 11127 205 16 0 11016 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 46308

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1716024/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=50320 CPUtime=1122.24
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 12182 0 0 0 112092 132 0 0 25 0 1 0 263991087 51527680 12149 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134520000 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 12580 12149 205 16 0 12019 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 50320

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1715640/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=50820 CPUtime=1182.24
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 12287 0 0 0 118086 138 0 0 25 0 1 0 263991087 52039680 12254 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134529031 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 12705 12254 205 16 0 12144 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 50820

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1715640/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=50816 CPUtime=1242.25
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 12287 0 0 0 124080 145 0 0 25 0 1 0 263991087 52035584 12254 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 12704 12254 205 16 0 12143 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 50816

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1715576/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=50768 CPUtime=1302.25
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 12287 0 0 0 130074 151 0 0 25 0 1 0 263991087 51986432 12254 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134556267 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 12692 12254 205 16 0 12131 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 50768

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1715640/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=50744 CPUtime=1362.25
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 12287 0 0 0 136067 158 0 0 25 0 1 0 263991087 51961856 12254 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 12686 12254 205 16 0 12125 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 50744

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1715512/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=50876 CPUtime=1422.26
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 12312 0 0 0 142061 165 0 0 25 0 1 0 263991087 52097024 12279 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 12719 12279 205 16 0 12158 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 50876

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1713976/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=52312 CPUtime=1482.26
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 12680 0 0 0 148053 173 0 0 25 0 1 0 263991087 53567488 12647 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 13078 12647 205 16 0 12517 0
Current children cumulated CPU time (s) 1482.26
Current children cumulated vsize (KiB) 52312

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1714040/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=52312 CPUtime=1542.26
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 12680 0 0 0 154046 180 0 0 25 0 1 0 263991087 53567488 12647 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 13078 12647 205 16 0 12517 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 52312

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1707832/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=59176 CPUtime=1602.26
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 14381 0 0 0 160040 186 0 0 25 0 1 0 263991087 60596224 14348 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 14794 14348 205 16 0 14233 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 59176

[startup+1662.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 4112
/proc/meminfo: memFree=1701880/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=64752 CPUtime=1662.27
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 15763 0 0 0 166035 192 0 0 25 0 1 0 263991087 66306048 15730 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 16188 15730 205 16 0 15627 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 64752

[startup+1722.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 4112
/proc/meminfo: memFree=1701112/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=65768 CPUtime=1722.27
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 16034 0 0 0 172030 197 0 0 25 0 1 0 263991087 67346432 16001 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 16442 16001 205 16 0 15881 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 65768

[startup+1782.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1699064/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=67584 CPUtime=1782.28
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 16471 0 0 0 178027 201 0 0 25 0 1 0 263991087 69206016 16438 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 16896 16438 205 16 0 16335 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 67584

Solver just ended. Dumping a history of the last processes samples

[startup+1782.7 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 4112
/proc/meminfo: memFree=1699064/2055920 swapFree=4148560/4192956
[pid=3913] ppid=3911 vsize=67840 CPUtime=1782.68
/proc/3913/stat : 3913 (Pueblo) R 3911 3913 2610 0 -1 4194304 16540 0 0 0 178067 201 0 0 25 0 1 0 263991087 69468160 16507 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3913/statm: 16960 16507 205 16 0 16399 0
Current children cumulated CPU time (s) 1782.68
Current children cumulated vsize (KiB) 67840

Child status: 10
Real time (s): 1782.77
CPU time (s): 1782.76
CPU user time (s): 1780.73
CPU system time (s): 2.02869
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 67840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.73
system time used= 2.02869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16555
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= 36254

runsolver used 1.42078 second user time and 4.05038 second system time

The end

Begin job on node16 on Thu May  3 02:52:14 UTC 2007

IDJOB= 453857
IDBENCH= 48158
IDSOLVER= 165
FILE ID= node16/453857-1178160734

PBS_JOBID= 4751086

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_3.opb
COMMAND LINE= Pueblo /tmp/evaluation/453857-1178160734/instance-453857-1178160734.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-453857-1178160734 -o ROOT/results/node16/conversion-453857-1178160734 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453857-1178160734/instance-453857-1178160734.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-453857-1178160734 -o ROOT/results/node16/solver-453857-1178160734 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/453857-1178160734/instance-453857-1178160734.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  0e507441d4bf529adaad354902c51a54

RANDOM SEED= 761705731

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.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.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1764752 kB
Buffers:         92464 kB
Cached:         108256 kB
SwapCached:      12528 kB
Active:         125088 kB
Inactive:       107392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1764752 kB
SwapTotal:     4192956 kB
SwapFree:      4148560 kB
Dirty:            2736 kB
Writeback:           0 kB
Mapped:          35148 kB
Slab:            44196 kB
Committed_AS: 13946540 kB
PageTables:       1848 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 node16 on Thu May  3 03:21:57 UTC 2007