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

OK	13

Linearizing /tmp/evaluation/453467-1178139268/instance-453467-1178139268.opb

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

command line: runsolver --timestamp -w ROOT/results/node13/watcher-453467-1178139268 -o ROOT/results/node13/solver-453467-1178139268 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453467-1178139268/instance-453467-1178139268.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16010
/proc/meminfo: memFree=1764224/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=2552 CPUtime=0
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 261844685 2613248 238 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 12345047 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 638 238 199 16 0 77 0

[startup+0.041319 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16010
/proc/meminfo: memFree=1764224/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=3352 CPUtime=0.03
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 472 0 0 0 3 0 0 0 18 0 1 0 261844685 3432448 443 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 12345047 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 838 443 199 16 0 277 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3352

[startup+0.101332 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16010
/proc/meminfo: memFree=1764224/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=4016 CPUtime=0.09
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 639 0 0 0 9 0 0 0 18 0 1 0 261844685 4112384 610 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 12345047 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 1004 610 199 16 0 443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4016

[startup+0.301375 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16010
/proc/meminfo: memFree=1764224/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=6724 CPUtime=0.29
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 1294 0 0 0 29 0 0 0 19 0 1 0 261844685 6885376 1265 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 12314235 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 1681 1265 203 16 0 1120 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6724

[startup+0.70146 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 16010
/proc/meminfo: memFree=1764224/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=7388 CPUtime=0.7
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 1462 0 0 0 69 1 0 0 23 0 1 0 261844685 7565312 1433 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 1847 1433 205 16 0 1286 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 7388

[startup+1.50263 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 16011
/proc/meminfo: memFree=1759160/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=8448 CPUtime=1.49
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 1733 0 0 0 148 1 0 0 25 0 1 0 261844685 8650752 1704 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 2112 1704 205 16 0 1551 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8448

[startup+3.10197 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 16011
/proc/meminfo: memFree=1756856/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=11316 CPUtime=3.09
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 2426 0 0 0 307 2 0 0 25 0 1 0 261844685 11587584 2397 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 2829 2397 205 16 0 2268 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11316

[startup+6.30165 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 16011
/proc/meminfo: memFree=1752312/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=14984 CPUtime=6.29
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 3333 0 0 0 626 3 0 0 25 0 1 0 261844685 15343616 3304 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 3746 3304 205 16 0 3185 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14984

[startup+12.702 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 16011
/proc/meminfo: memFree=1749256/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=17424 CPUtime=12.69
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 3974 0 0 0 1265 4 0 0 25 0 1 0 261844685 17842176 3945 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 4356 3945 205 16 0 3795 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17424

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 16011
/proc/meminfo: memFree=1744712/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=21768 CPUtime=25.48
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 5038 0 0 0 2542 6 0 0 25 0 1 0 261844685 22290432 5009 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 5442 5009 205 16 0 4881 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21768

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 16011
/proc/meminfo: memFree=1741128/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=25384 CPUtime=51.08
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 5935 0 0 0 5097 11 0 0 25 0 1 0 261844685 25993216 5906 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 6346 5906 205 16 0 5785 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25384

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 16011
/proc/meminfo: memFree=1734344/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=32204 CPUtime=102.26
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 7640 0 0 0 10209 17 0 0 25 0 1 0 261844685 32976896 7611 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 8051 7611 205 16 0 7490 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 32204

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16011
/proc/meminfo: memFree=1731016/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=35400 CPUtime=162.23
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 8462 0 0 0 16200 23 0 0 25 0 1 0 261844685 36249600 8433 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 8850 8433 205 16 0 8289 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 35400

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16011
/proc/meminfo: memFree=1730952/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=35400 CPUtime=222.21
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 8462 0 0 0 22191 30 0 0 25 0 1 0 261844685 36249600 8433 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 8850 8433 205 16 0 8289 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 35400

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16011
/proc/meminfo: memFree=1730952/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=35400 CPUtime=282.19
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 8464 0 0 0 28181 38 0 0 25 0 1 0 261844685 36249600 8435 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 8850 8435 205 16 0 8289 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 35400

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 16011
/proc/meminfo: memFree=1730888/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=35400 CPUtime=342.17
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 8464 0 0 0 34173 44 0 0 25 0 1 0 261844685 36249600 8435 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 8850 8435 205 16 0 8289 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 35400

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 16085
/proc/meminfo: memFree=1705352/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=59844 CPUtime=402.11
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 14662 0 0 0 40159 52 0 0 25 0 1 0 261844685 61280256 14530 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 14961 14530 205 16 0 14400 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 59844

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1682696/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=83204 CPUtime=462.02
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 20507 0 0 0 46143 59 0 0 25 0 1 0 261844685 85200896 20375 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134519100 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 20801 20375 205 16 0 20240 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 83204

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1671560/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=94624 CPUtime=522.01
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 23363 0 0 0 52137 64 0 0 25 0 1 0 261844685 96894976 23231 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 23656 23231 205 16 0 23095 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 94624

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1670856/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=95340 CPUtime=581.98
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 23545 0 0 0 58132 66 0 0 25 0 1 0 261844685 97628160 23413 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 23835 23413 205 16 0 23274 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 95340

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1652232/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=113712 CPUtime=641.97
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28480 0 0 0 64122 75 0 0 25 0 1 0 261844685 116441088 28012 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 28428 28012 205 16 0 27867 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 113712


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

/proc/meminfo: memFree=1653320/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=112784 CPUtime=821.9
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28480 0 0 0 82094 96 0 0 25 0 1 0 261844685 115490816 27780 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 28196 27780 205 16 0 27635 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 112784

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654536/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=881.87
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28482 0 0 0 88084 103 0 0 25 0 1 0 261844685 114216960 27471 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27471 205 16 0 27324 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 111540

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654536/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=941.85
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28482 0 0 0 94075 110 0 0 25 0 1 0 261844685 114216960 27471 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27471 205 16 0 27324 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 111540

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654600/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1001.83
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28482 0 0 0 100068 115 0 0 25 0 1 0 261844685 114216960 27471 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27471 205 16 0 27324 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 111540

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654664/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1061.81
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28482 0 0 0 106060 121 0 0 25 0 1 0 261844685 114216960 27471 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27471 205 16 0 27324 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 111540

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654664/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1121.79
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28482 0 0 0 112052 127 0 0 25 0 1 0 261844685 114216960 27471 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27471 205 16 0 27324 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 111540

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654664/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1181.77
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28482 0 0 0 118045 132 0 0 25 0 1 0 261844685 114216960 27471 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27471 205 16 0 27324 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 111540

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654664/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1241.74
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28482 0 0 0 124038 136 0 0 25 0 1 0 261844685 114216960 27471 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27471 205 16 0 27324 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 111540

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654600/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1301.72
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28482 0 0 0 130030 142 0 0 25 0 1 0 261844685 114216960 27471 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27471 205 16 0 27324 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 111540

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654664/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1361.7
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28483 0 0 0 136021 149 0 0 25 0 1 0 261844685 114216960 27472 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134516822 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27472 205 16 0 27324 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 111540

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654664/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1421.68
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28485 0 0 0 142013 155 0 0 25 0 1 0 261844685 114216960 27474 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27474 205 16 0 27324 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 111540

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654664/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1481.65
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28485 0 0 0 148004 161 0 0 25 0 1 0 261844685 114216960 27474 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27474 205 16 0 27324 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 111540

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654600/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1541.63
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28485 0 0 0 153997 166 0 0 25 0 1 0 261844685 114216960 27474 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27474 205 16 0 27324 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 111540

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654664/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1601.61
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28485 0 0 0 159990 171 0 0 25 0 1 0 261844685 114216960 27474 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27474 205 16 0 27324 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 111540

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654664/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1661.59
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28485 0 0 0 165982 177 0 0 25 0 1 0 261844685 114216960 27474 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27474 205 16 0 27324 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 111540

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654664/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1721.57
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28485 0 0 0 171975 182 0 0 25 0 1 0 261844685 114216960 27474 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27474 205 16 0 27324 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 111540

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654728/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1781.55
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28485 0 0 0 177967 188 0 0 25 0 1 0 261844685 114216960 27474 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27474 205 16 0 27324 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 111540

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

[startup+1783.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654728/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=111540 CPUtime=1782.35
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194304 28485 0 0 0 178047 188 0 0 25 0 1 0 261844685 114216960 27474 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 27885 27474 205 16 0 27324 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 111540

[startup+1783.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 16209
/proc/meminfo: memFree=1654728/2055920 swapFree=4159360/4192956
[pid=16010] ppid=16008 vsize=0 CPUtime=1782.75
/proc/16010/stat : 16010 (Pueblo) R 16008 16010 15877 0 -1 4194308 28492 0 0 0 178085 190 0 0 25 0 1 0 261844685 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/16010/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.75
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.5
CPU time (s): 1782.76
CPU user time (s): 1780.85
CPU system time (s): 1.90371
CPU usage (%): 99.958
Max. virtual memory (cumulated for all children) (KiB): 115144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.85
system time used= 1.90371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 2624

runsolver used 1.39579 second user time and 3.82042 second system time

The end

Begin job on node13 on Wed May  2 20:54:28 UTC 2007

IDJOB= 453467
IDBENCH= 48132
IDSOLVER= 165
FILE ID= node13/453467-1178139268

PBS_JOBID= 4751061

Free space on /tmp= 66562 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_4.opb
COMMAND LINE= Pueblo /tmp/evaluation/453467-1178139268/instance-453467-1178139268.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-453467-1178139268 -o ROOT/results/node13/conversion-453467-1178139268 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453467-1178139268/instance-453467-1178139268.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  64354bd2b9c3cc2f1ca2c32032e5c032

RANDOM SEED= 854936020

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1764696 kB
Buffers:         91200 kB
Cached:         105844 kB
SwapCached:      12872 kB
Active:         121832 kB
Inactive:       100960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1764696 kB
SwapTotal:     4192956 kB
SwapFree:      4159360 kB
Dirty:            2816 kB
Writeback:           0 kB
Mapped:          31624 kB
Slab:            53924 kB
Committed_AS:  9481704 kB
PageTables:       1876 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node13 on Wed May  2 21:24:12 UTC 2007