1.11/1.12	o 211
1.69/1.41	o 189
1.89/1.54	o 182
3.28/2.24	o 170
3.68/2.44	o 158
4.88/3.04	o 153
6.46/3.88	o 134
6.86/4.05	o 131
8.24/4.74	o 124
9.63/5.47	o 119
10.83/6.05	o 85
10.83/6.09	o 82
12.22/6.77	o 70
13.80/7.51	o 65
25.92/13.68	o 58
63.65/32.67	o 53
2077.10/1046.38	o 48
3600.19/1812.80	s SATISFIABLE
3600.19/1812.80	v x1 x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 
3600.19/1812.80	v -x19 -x20 -x21 x22 x23 x24 x25 x26 x27 -x28 -x29 -x30 -x31 -x32 x33 x34 x35 
3600.19/1812.80	v -x36 -x37 -x38 -x39 -x40 x41 x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 
3600.19/1812.80	v -x52 -x53 x54 x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 
3600.19/1812.80	v x68 x69 x70 -x71 -x72 -x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 x83 -x84 
3600.19/1812.80	v -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 x93 x94 -x95 -x96 -x97 -x98 -x99 x100 
3600.19/1812.80	v x101 x102 -x103 -x104 x105 x106 x107 -x108 -x109 -x110 -x111 -x112 x113 x114 
3600.19/1812.80	v x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 
3600.19/1812.80	v -x128 x129 x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 
3600.19/1812.80	v -x141 -x142 x143 x144 -x145 -x146 -x147 -x148 -x149 x150 x151 x152 x153 x154 
3600.19/1812.80	v x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 -x164 -x165 -x166 -x167 
3600.19/1812.80	v -x168 -x169 -x170 -x171 x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 
3600.19/1812.80	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 x189 x190 -x191 -x192 -x193 
3600.19/1812.80	v x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 x203 -x204 -x205 -x206 -x207 
3600.19/1812.80	v -x208 -x209 -x210 -x211 x212 x213 x214 -x215 -x216 -x217 -x218 -x219 x220 x221 
3600.19/1812.80	v x222 -x223 -x224 -x225 -x226 -x227 x228 x229 x230 -x231 -x232 -x233 -x234 -x235 
3600.19/1812.80	v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 x246 x247 -x248 
3600.19/1812.80	v -x249 -x250 -x251 x252 x253 x254 -x255 -x256 -x257 -x258 -x259 x260 x261 x262 
3600.19/1812.80	v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 x275 
3600.19/1812.80	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 x287 x288 
3600.19/1812.80	v -x289 x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 -x300 -x301 -x302 
3600.19/1812.80	v -x303 -x304 -x305 x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 
3600.19/1812.80	v -x316 -x317 -x318 x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 
3600.19/1812.80	v -x329 -x330 -x331 x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 
3600.19/1812.80	v x342 x343 x344 x345 x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 
3600.19/1812.80	v x356 x357 x358 -x359 -x360 -x361 x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 
3600.19/1812.80	v -x370 -x371 -x372 -x373 x374 x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 
3600.19/1812.80	v -x383 -x384 -x385 -x386 -x387 x388 x389 x390 -x391 -x392 -x393 -x394 -x395 
3600.19/1812.80	v -x396 -x397 x398 x399 x400 -x401 -x402 -x403 x404 x405 x406 -x407 -x408 -x409 
3600.19/1812.80	v -x410 -x411 -x412 -x413 x414 x415 x416 x417 x418 x419 -x420 -x421 -x422 -x423 
3600.19/1812.80	v -x424 -x425 -x426 -x427 x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 
3600.19/1812.80	v -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 x446 x447 -x448 -x449 
3600.19/1812.80	v x450 x451 -x452 -x453 -x454 -x455 -x456 x457 x458 x459 -x460 -x461 -x462 -x463 
3600.19/1812.80	v -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 x472 -x473 x474 x475 -x476 -x477 
3600.19/1812.80	v -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 x487 x488 -x489 x490 x491 
3600.19/1812.80	v -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 x501 x502 -x503 -x504 
3600.19/1812.80	v x505 x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 
3600.19/1812.80	v -x518 x519 x520 -x521 -x522 -x523 x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 
3600.19/1812.80	v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 x544 
3600.19/1812.80	v -x545 -x546 -x547 x548 x549 x550 -x551 -x552 -x553 x554 x555 -x556 -x557 -x558 
3600.19/1812.80	v -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 x571 
3600.19/1812.80	v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 x583 x584 
3600.19/1812.80	v -x585 -x586 -x587 -x588 -x589 x590 x591 x592 -x593 -x594 -x595 x596 x597 x598 
3600.19/1812.80	v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 x608 -x609 -x610 -x611 
3600.19/1812.80	v -x612 -x613 x614 x615 x616 x617 x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 
3600.19/1812.80	v -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 x635 -x636 -x637 -x638 
3600.19/1812.80	v -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 x647 x648 x649 x650 x651 -x652 
3600.19/1812.80	v -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 x663 x664 -x665 
3600.19/1812.80	v x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 
3600.19/1812.80	v x679 x680 -x681 -x682 -x683 -x684 -x685 x686 x687 x688 -x689 -x690 -x691 -x692 
3600.19/1812.80	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 x703 x704 -x705 
3600.19/1812.80	v -x706 -x707 -x708 -x709 x710 x711 -x712 -x713 x714 x715 -x716 -x717 -x718 -x719 
3600.19/1812.80	v -x720 x721 x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 x731 -x732 -x733 
3600.19/1812.80	v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 x743 x744 x745 x746 x747 
3600.19/1812.80	v -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 x757 -x758 -x759 -x760 
3600.19/1812.80	v x761 x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 x773 x774 
3600.19/1812.80	v -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 x784 x785 x786 x787 -x788 
3600.19/1812.80	v -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 x797 -x798 -x799 -x800 -x801 
3600.19/1812.80	v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 x813 x814 
3600.19/1812.80	v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 x824 -x825 -x826 -x827 
3600.19/1812.80	v -x828 x829 x830 x831 -x832 x833 x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 
3600.19/1812.80	v -x842 -x843 -x844 -x845 -x846 x847 x848 -x849 -x850 -x851 -x852 -x853 -x854 
3600.19/1812.80	v -x855 -x856 x857 x858 x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 
3600.19/1812.80	v -x868 -x869 x870 x871 x872 -x873 -x874 -x875 -x876 -x877 x878 x879 x880 -x881 
3600.19/1812.80	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x890 x891 -x892 -x893 -x894 
3600.19/1812.80	v -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 x903 -x904 -x905 -x906 -x907 
3600.19/1812.80	v -x908 -x909 -x910 x911 x912 -x913 -x914 -x915 x916 x917 -x918 -x919 -x920 -x921 
3600.19/1812.80	v -x922 -x923 x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 x933 x934 -x935 
3600.19/1812.80	v -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 
3600.19/1812.80	v -x949 -x950 x951 x952 x953 x954 x955 -x956 -x957 -x958 -x959 -x960 x961 x962 
3600.19/1812.80	v x963 -x964 -x965 -x966 -x967 -x968 -x969 x970 x971 -x972 -x973 -x974 -x975 
3600.19/1812.80	v -x976 x977 x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 
3600.19/1812.80	v -x989 x990 x991 -x992 -x993 x994 x995 -x996 -x997 -x998 -x999 -x1000 x1001 
3600.19/1812.80	v x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 x1013 
3600.19/1812.80	v x1014 -x1015 -x1016 -x1017 x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 
3600.19/1812.80	v -x1026 -x1027 -x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 -x1035 x1036 x1037 
3600.19/1812.80	v -x1038 -x1039 -x1040 x1041 x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 
3600.19/1812.80	v -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 x1058 x1059 -x1060 -x1061 
3600.19/1812.80	v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 x1072 
3600.19/1812.80	v -x1073 -x1074 -x1075 x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 
3600.19/1812.80	v -x1084 -x1085 -x1086 x1087 x1088 x1089 x1090 x1091 -x1092 -x1093 -x1094 -x1095 
3600.19/1812.80	v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 
3600.19/1812.80	v -x1107 -x1108 -x1109 x1110 x1111 x1112 -x1113 -x1114 -x1115 x1116 x1117 x1118 
3600.19/1812.80	v -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 x1128 -x1129 
3600.19/1812.80	v -x1130 -x1131 -x1132 -x1133 -x1134 x1135 x1136 x1137 x1138 x1139 -x1140 -x1141 
3600.19/1812.80	v -x1142 -x1143 -x1144 x1145 x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 
3600.19/1812.80	v x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 
3600.19/1812.80	v -x1165 -x1166 -x1167 -x1168 x1169 x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 
3600.19/1812.80	v -x1177 x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 
3600.19/1812.80	v -x1188 -x1189 x1190 x1191 x1192 -x1193 -x1194 -x1195 x1196 x1197 x1198 -x1199 
3600.19/1812.80	v -x1200 -x1201 -x1202 -x1203 x1204 x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 
3600.19/1812.80	v x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 
3600.19/1812.80	v -x1223 -x1224 x1225 x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 
3600.19/1812.80	v -x1235 x1236 x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 
3600.19/1812.80	v x1247 x1248 -x1249 -x1250 -x1251 x1252 x1253 x1254 -x1255 -x1256 -x1257 -x1258 
3600.19/1812.80	v -x1259 x1260 x1261 x1262 -x1263 -x1264 -x1265 x1266 x1267 -x1268 -x1269 -x1270 
3600.19/1812.80	v -x1271 -x1272 -x1273 -x1274 -x1275 x1276 x1277 x1278 -x1279 -x1280 -x1281 x1282 
3600.19/1812.80	v x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 
3600.19/1812.80	v -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 x1301 x1302 -x1303 -x1304 -x1305 
3600.19/1812.80	v -x1306 -x1307 x1308 x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 x1317 
3600.19/1812.80	v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 
3600.19/1812.80	v -x1329 -x1330 -x1331 x1332 x1333 x1334 -x1335 -x1336 x1337 x1338 x1339 -x1340 
3600.19/1812.80	v -x1341 -x1342 -x1343 -x1344 x1345 x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 
3600.19/1812.80	v -x1353 -x1354 -x1355 x1356 x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 
3600.19/1812.80	v -x1364 -x1365 x1366 x1367 x1368 x1369 x1370 x1371 -x1372 -x1373 -x1374 -x1375 
3600.19/1812.80	v -x1376 x1377 x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 
3600.19/1812.80	v -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 
3600.19/1812.80	v x1399 x1400 x1401 x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 x1410 
3600.19/1812.80	v x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 
3600.19/1812.80	v x1422 x1423 x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 x1431 x1432 -x1433 
3600.19/1812.80	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 
3600.19/1812.80	v -x1445 x1446 x1447 x1448 -x1449 -x1450 -x1451 x1452 x1453 -x1454 -x1455 -x1456 
3600.19/1812.80	v x1457 x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 x1468 
3600.19/1812.80	v x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 x1477 -x1478 -x1479 -x1480 
3600.19/1812.80	v x1481 x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 x1490 x1491 -x1492 
3600.19/1812.80	v -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 
3600.19/1812.80	v -x1504 -x1505 -x1506 -x1507 x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 
3600.19/1812.80	v -x1515 -x1516 -x1517 x1518 x1519 x1520 -x1521 x1522 x1523 -x1524 -x1525 -x1526 
3600.19/1812.80	v -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 x1535 x1536 -x1537 x1538 
3600.19/1812.80	v x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 
3600.19/1812.80	v x1550 x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 
3600.19/1812.80	v x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 x1569 x1570 x1571 -x1572 -x1573 
3600.19/1812.80	v -x1574 -x1575 -x1576 x1577 x1578 x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 
3600.19/1812.80	v x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 x1596 x1597 
3600.19/1812.80	v -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 
3600.19/1812.80	v x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 x1619 -x1620 
3600.19/1812.80	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 x1631 
3600.19/1812.80	v x1632 -x1633 -x1634 -x1635 x1636 x1637 x1638 -x1639 -x1640 -x1641 -x1642 -x1643 
3600.19/1812.80	v x1644 x1645 x1646 -x1647 -x1648 x1649 x1650 x1651 -x1652 -x1653 -x1654 -x1655 
3600.19/1812.80	v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 
3600.19/1812.80	v -x1667 x1668 x1669 x1670 -x1671 -x1672 -x1673 x1674 x1675 -x1676 -x1677 -x1678 
3600.19/1812.80	v -x1679 -x1680 x1681 x1682 x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 
3600.19/1812.80	v -x1691 -x1692 -x1693 x1694 x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 
3600.19/1812.80	v x1703 x1704 -x1705 -x1706 -x1707 x1708 x1709 x1710 -x1711 -x1712 -x1713 -x1714 
3600.19/1812.80	v -x1715 x1716 x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 
3600.19/1812.80	v -x1727 -x1728 x1729 x1730 x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 
3600.19/1812.80	v -x1739 -x1740 -x1741 x1742 x1743 x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 
3600.19/1812.80	v x1751 x1752 -x1753 -x1754 -x1755 x1756 x1757 x1758 -x1759 -x1760 -x1761 -x1762 
3600.19/1812.80	v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 x1773 
3600.19/1812.80	v x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 x1781 x1782 -x1783 -x1784 x1785 
3600.19/1812.80	v x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 
3600.19/1812.80	v -x1797 -x1798 x1799 x1800 x1801 x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 
3600.19/1812.80	v -x1809 x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 
3600.19/1812.80	v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 
3600.19/1812.80	v x1831 x1832 -x1833 -x1834 -x1835 x1836 x1837 -x1838 -x1839 -x1840 x1841 x1842 
3600.19/1812.80	v x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 x1853 -x1854 
3600.19/1812.80	v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 x1865 
3600.19/1812.80	v x1866 x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 x1877 
3600.19/1812.80	v x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 x1885 -x1886 -x1887 -x1888 -x1889 
3600.19/1812.80	v -x1890 -x1891 x1892 x1893 -x1894 -x1895 -x1896 x1897 x1898 x1899 -x1900 -x1901 
3600.19/1812.80	v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 x1911 x1912 -x1913 
3600.19/1812.80	v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 x1922 x1923 -x1924 -x1925 
3600.19/1812.80	v -x1926 -x1927 -x1928 x1929 x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 
3600.19/1812.80	v x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 
3600.19/1812.80	v -x1949 x1950 x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 x1958 x1959 x1960 
3600.19/1812.80	v -x1961 -x1962 -x1963 -x1964 -x1965 x1966 x1967 x1968 -x1969 -x1970 -x1971 -x1972 
3600.19/1812.80	v -x1973 -x1974 -x1975 -x1976 x1977 x1978 x1979 -x1980 -x1981 -x1982 -x1983 -x1984 
3600.19/1812.80	v -x1985 x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 
3600.19/1812.80	v -x1996 -x1997 x1998 x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 
3600.19/1812.80	v -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 x2015 x2016 -x2017 x2018 x2019 
3600.19/1812.80	v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x2030 
3600.19/1812.80	v x2031 x2032 -x2033 -x2034 -x2035 x2036 x2037 x2038 -x2039 -x2040 x2041 x2042 
3600.19/1812.80	v x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 x2053 x2054 
3600.19/1812.80	v -x2055 -x2056 -x2057 -x2058 -x2059 x2060 x2061 x2062 -x2063 -x2064 -x2065 -x2066 
3600.19/1812.80	v -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 x2074 x2075 -x2076 -x2077 -x2078 
3600.19/1812.80	v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 x2087 x2088 -x2089 -x2090 
3600.19/1812.80	v -x2091 -x2092 -x2093 x2094 x2095 x2096 x2097 x2098 x2099 -x2100 -x2101 -x2102 
3600.19/1812.80	v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 
3600.19/1812.80	v -x2114 -x2115 x2116 x2117 x2118 -x2119 -x2120 x2121 x2122 -x2123 -x2124 -x2125 
3600.19/1812.80	v -x2126 -x2127 -x2128 x2129 x2130 x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 
3600.19/1812.80	v x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 x2149 
3600.19/1812.80	v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 x2159 x2160 x2161 
3600.19/1812.80	v x2162 x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 
3600.19/1812.80	v -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 x2182 x2183 -x2184 
3600.19/1812.80	v -x2185 -x2186 -x2187 -x2188 -x2189 x2190 x2191 x2192 x2193 x2194 x2195 -x2196 
3600.19/1812.80	v -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 x2204 x2205 -x2206 -x2207 
3600.19/1812.80	v -x2208 x2209 x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 x2217 x2218 x2219 
3600.19/1812.80	v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 x2229 -x2230 
3600.19/1812.80	v -x2231 -x2232 -x2233 -x2234 -x2235 x2236 x2237 -x2238 -x2239 -x2240 -x2241 
3600.19/1812.80	v -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 x2250 x2251 -x2252 -x2253 
3600.19/1812.80	v -x2254 -x2255 -x2256 x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 
3600.19/1812.80	v x2265 x2266 x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 x2274 x2275 -x2276 
3600.19/1812.80	v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 x2287 
3600.19/1812.80	v x2288 x2289 x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 
3600.19/1812.80	v -x2300 -x2301 -x2302 -x2303 -x2304 x2305 x2306 x2307 -x2308 -x2309 -x2310 -x2311 
3600.19/1812.80	v -x2312 -x2313 x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 x2322 x2323 
3600.19/1812.80	v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 x2334 
3600.19/1812.80	v x2335 x2336 -x2337 -x2338 -x2339 x2340 x2341 x2342 -x2343 -x2344 -x2345 -x2346 
3600.19/1812.80	v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 x2354 x2355 -x2356 -x2357 
3600.19/1812.80	v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 x2365 x2366 -x2367 -x2368 -x2369 
3600.19/1812.80	v x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 
3600.19/1812.80	v x2381 x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 x2391 x2392 
3600.19/1812.80	v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 
3600.19/1812.80	v -x2404 -x2405 x2406 x2407 x2408 x2409 x2410 x2411 -x2412 -x2413 -x2414 -x2415 
3600.19/1812.80	v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 
3600.19/1812.80	v -x2427 -x2428 -x2429 x2430 x2431 x2432 -x2433 -x2434 -x2435 x2436 x2437 -x2438 
3600.19/1812.80	v -x2439 -x2440 x2441 x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 
3600.19/1812.80	v -x2451 -x2452 -x2453 x2454 x2455 x2456 -x2457 x2458 x2459 -x2460 -x2461 -x2462 
3600.19/1812.80	v -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 x2470 x2471 x2472 x2473 x2474 
3600.19/1812.80	v x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 x2483 -x2484 -x2485 -x2486 
3600.19/1812.80	v -x2487 -x2488 -x2489 x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 x2498 
3600.19/1812.80	v x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 
3600.19/1812.80	v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 x2520 
3600.19/1812.80	v -x2521 -x2522 -x2523 x2524 x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 
3600.19/1812.80	v x2533 x2534 -x2535 -x2536 x2537 x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 
3600.19/1812.80	v x2545 x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 
3600.19/1812.80	v -x2557 x2558 x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 x2567 x2568 
3600.19/1812.80	v -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 x2577 x2578 x2579 -x2580 
3600.19/1812.80	v -x2581 -x2582 -x2583 -x2584 -x2585 x2586 x2587 -x2588 -x2589 -x2590 -x2591 
3600.19/1812.80	v -x2592 -x2593 -x2594 -x2595 x2596 x2597 x2598 -x2599 -x2600 x2601 x2602 x2603 
3600.19/1812.80	v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 
3600.19/1812.80	v -x2615 -x2616 -x2617 -x2618 -x2619 x2620 x2621 x2622 -x2623 -x2624 -x2625 x2626 
3600.19/1812.80	v x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 
3600.19/1812.80	v x2638 x2639 x2640 x2641 x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 
3600.19/1812.80	v x2650 x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 x2658 -x2659 -x2660 -x2661 
3600.19/1812.80	v -x2662 -x2663 -x2664 x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 
3600.19/1812.80	v -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 x2682 x2683 -x2684 
3600.19/1812.80	v -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 x2692 x2693 x2694 -x2695 -x2696 
3600.19/1812.80	v -x2697 -x2698 -x2699 -x2700 -x2701 x2702 x2703 x2704 -x2705 -x2706 -x2707 x2708 
3600.19/1812.80	v x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 x2717 x2718 -x2719 -x2720 
3600.19/1812.80	v -x2721 -x2722 -x2723 -x2724 -x2725 x2726 x2727 x2728 -x2729 -x2730 -x2731 -x2732 
3600.19/1812.80	v -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x2740 x2741 -x2742 -x2743 
3600.19/1812.80	v -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 
3600.19/1812.80	v -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 x2764 x2765 
3600.19/1812.80	v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 x2773 -x2774 -x2775 -x2776 
3600.19/1812.80	v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 
3600.19/1812.80	v -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 
3600.19/1812.80	v -x2799 -x2800 -x2801 -x2802 -x2803 x2804 x2805 -x2806 -x2807 -x2808 -x2809 
3600.19/1812.80	v -x2810 -x2811 x2812 x2813 -x2814 -x2815 -x2816 -x2817 x2818 x2819 -x2820 -x2821 
3600.19/1812.80	v -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 x2828 x2829 -x2830 -x2831 -x2832 
3600.19/1812.80	v x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 
3600.19/1812.80	v x2844 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 
3600.19/1812.80	v -x2855 -x2856 -x2857 -x2858 -x2859 x2860 x2861 -x2862 -x2863 -x2864 -x2865 
3600.19/1812.80	v -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 x2876 
3600.19/1812.80	v x2877 -x2878 -x2879 -x2880 -x2881 x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 
3600.19/1812.80	v -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 x2898 x2899 
3600.19/1812.80	v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 x2906 x2907 -x2908 -x2909 -x2910 
3600.19/1812.80	v -x2911 -x2912 -x2913 -x2914 -x2915 x2916 x2917 -x2918 -x2919 -x2920 -x2921 
3600.19/1812.80	v -x2922 -x2923 x2924 x2925 -x2926 -x2927 -x2928 -x2929 x2930 x2931 -x2932 -x2933 
3600.19/1812.80	v -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 x2943 x2944 
3600.19/1812.80	v -x2945 x2946 x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 
3600.19/1812.80	v -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 
3600.19/1812.80	v -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 
3600.19/1812.80	v -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 
3600.19/1812.80	v -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 
3600.19/1812.80	v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 
3600.19/1812.80	v -x3011 x3012 x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 
3600.19/1812.80	v -x3022 -x3023 -x3024 -x3025 x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 
3600.19/1812.80	v x3033 x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 
3600.19/1812.80	v -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 
3600.19/1812.80	v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 
3600.19/1812.80	v -x3066 -x3067 -x3068 -x3069 x3070 x3071 -x3072 -x3073 x3074 x3075 -x3076 -x3077 
3600.19/1812.80	v -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 x3085 -x3086 -x3087 -x3088 
3600.19/1812.80	v -x3089 -x3090 -x3091 -x3092 -x3093 x3094 x3095 -x3096 -x3097 -x3098 -x3099 
3600.19/1812.80	v x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 x3110 x3111 
3600.19/1812.80	v -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 
3600.19/1812.80	v -x3123 x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 x3133 -x3134 
3600.19/1812.80	v -x3135 -x3136 -x3137 -x3138 -x3139 x3140 x3141 -x3142 -x3143 -x3144 -x3145 
3600.19/1812.80	v -x3146 -x3147 x3148 x3149 -x3150 -x3151 -x3152 -x3153 x3154 x3155 -x3156 -x3157 
3600.19/1812.80	v -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 
3600.19/1812.80	v -x3169 -x3170 -x3171 x3172 x3173 -x3174 -x3175 -x3176 -x3177 x3178 x3179 -x3180 
3600.19/1812.80	v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 x3188 x3189 -x3190 -x3191 
3600.19/1812.80	v -x3192 -x3193 -x3194 -x3195 x3196 x3197 -x3198 -x3199 -x3200 -x3201 -x3202 
3600.19/1812.80	v -x3203 x3204 x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 
3600.19/1812.80	v -x3214 -x3215 -x3216 x3217 x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 
3600.19/1812.80	v -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 
3600.19/1812.80	v -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 x3242 x3243 -x3244 -x3245 -x3246 
3600.19/1812.80	v -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 x3257 
3600.19/1812.80	v x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 
3600.19/1812.80	v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 
3600.19/1812.80	v -x3280 -x3281 -x3282 -x3283 x3284 x3285 -x3286 -x3287 -x3288 -x3289 x3290 x3291 
3600.19/1812.80	v -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 
3600.19/1812.80	v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 
3600.19/1812.80	v x3314 x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 x3324 x3325 
3600.19/1812.80	v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 
3600.19/1812.80	v x3337 x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 
3600.19/1812.80	v x3348 x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 
3600.19/1812.80	v -x3359 -x3360 -x3361 x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 
3600.19/1812.80	v -x3370 -x3371 x3372 x3373 -x3374 -x3375 -x3376 -x3377 x3378 x3379 -x3380 -x3381 
3600.19/1812.80	v -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 x3388 x3389 -x3390 -x3391 -x3392 
3600.19/1812.80	v -x3393 -x3394 -x3395 x3396 x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 
3600.19/1812.80	v -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 
3600.19/1812.80	v -x3415 -x3416 -x3417 -x3418 -x3419 x3420 x3421 -x3422 -x3423 -x3424 -x3425 
3600.19/1812.80	v -x3426 -x3427 x3428 x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 
3600.19/1812.80	v -x3438 -x3439 -x3440 x3441 x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 
3600.19/1812.80	v -x3449 -x3450 -x3451 x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 
3600.19/1812.80	v x3460 x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 x3468 x3469 -x3470 -x3471 
3600.19/1812.80	v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 
3600.19/1812.80	v -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 
3600.19/1812.80	v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x3500 x3501 -x3502 -x3503 -x3504 
3600.19/1812.80	v -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 
3600.19/1812.80	v -x3516 -x3517 x3518 x3519 -x3520 x3521 x3522 -x3523 -x3524 -x3525 -x3526 -x3527 
3600.19/1812.80	v -x3528 -x3529 -x3530 -x3531 x3532 x3533 -x3534 -x3535 -x3536 -x3537 -x3538 
3600.19/1812.80	v -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 
3600.19/1812.80	v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 
3600.19/1812.80	v -x3561 -x3562 -x3563 x3564 x3565 -x3566 -x3567 -x3568 x3569 x3570 -x3571 -x3572 
3600.19/1812.80	v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 x3580 x3581 -x3582 -x3583 
3600.19/1812.80	v -x3584 -x3585 -x3586 -x3587 x3588 x3589 -x3590 -x3591 -x3592 -x3593 -x3594 
3600.19/1812.80	v -x3595 x3596 x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 
3600.19/1812.80	v -x3606 -x3607 -x3608 -x3609 x3610 x3611 -x3612 -x3613 -x3614 -x3615 -x3616 
3600.19/1812.80	v -x3617 -x3618 -x3619 x3620 x3621 -x3622 -x3623 -x3624 -x3625 x3626 x3627 -x3628 
3600.19/1812.80	v -x3629 -x3630 -x3631 -x3632 -x3633 x3634 x3635 -x3636 -x3637 -x3638 -x3639 
3600.19/1812.80	v -x3640 -x3641 -x3642 -x3643 x3644 x3645 -x3646 -x3647 -x3648 -x3649 -x3650 
3600.19/1812.80	v -x3651 x3652 x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 
3600.19/1812.80	v -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 x3668 x3669 -x3670 -x3671 -x3672 
3600.19/1812.80	v -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 
3600.19/1812.80	v x3684 x3685 -x3686 -x3687 -x3688 -x3689 x3690 x3691 -x3692 -x3693 -x3694 -x3695 
3600.19/1812.80	v -x3696 -x3697 -x3698 -x3699 x3700 x3701 -x3702 -x3703 -x3704 -x3705 -x3706 
3600.19/1812.80	v -x3707 x3708 x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 
3600.19/1812.80	v -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 
3600.19/1812.80	v -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 
3600.19/1812.80	v -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 
3600.19/1812.80	v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 
3600.19/1812.80	v -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 
3600.19/1812.80	v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 
3600.19/1812.80	v -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 
3600.19/1812.80	v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 
3600.19/1812.80	v -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 
3600.19/1812.80	v -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 
3600.19/1812.80	v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 
3600.19/1812.80	v -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 
3600.19/1812.80	v -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 
3600.19/1812.80	v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 
3600.19/1812.80	v -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 
3600.19/1812.80	v -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 
3600.19/1812.80	v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 
3600.19/1812.80	v -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 
3600.19/1812.80	v -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 
3600.19/1812.80	v -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 
3600.19/1812.80	v -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 
3600.19/1812.80	v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 
3600.19/1812.80	v -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 
3600.19/1812.80	v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 
3600.19/1812.80	v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 
3600.19/1812.80	v -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 
3600.19/1812.80	v -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 
3600.19/1812.80	v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 
3600.19/1812.80	v -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 
3600.19/1812.80	v -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 
3600.19/1812.80	v -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 
3600.19/1812.80	v -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 
3600.19/1812.80	v -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 
3600.19/1812.80	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 
3600.19/1812.80	v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 
3600.19/1812.80	v -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 
3600.19/1812.80	v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 
3600.19/1812.80	v -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 
3600.19/1812.80	v -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 
3600.19/1812.80	v -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 
3600.19/1812.80	v -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 
3600.19/1812.80	v -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 
3600.19/1812.80	v -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 
3600.19/1812.80	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 
3600.19/1812.80	v -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 
3600.19/1812.80	v -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 
3600.19/1812.80	v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 
3600.19/1812.80	v -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 
3600.19/1812.80	v -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 
3600.19/1812.80	v -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 
3600.19/1812.80	v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 
3600.19/1812.80	v -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 
3600.19/1812.80	v -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 
3600.19/1812.80	v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 
3600.19/1812.80	v -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 
3600.19/1812.80	v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 
3600.19/1812.80	v -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 
3600.19/1812.80	v -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 
3600.19/1812.80	v -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 
3600.19/1812.80	v -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 
3600.19/1812.80	v -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 
3600.19/1812.80	v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 
3600.19/1812.80	v -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 
3600.19/1812.80	v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 
3600.19/1812.80	v -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 
3600.19/1812.80	v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 
3600.19/1812.80	v -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 
3600.19/1812.80	v -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 
3600.19/1812.80	v -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 
3600.19/1812.80	v -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 
3600.19/1812.80	v -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 
3600.19/1812.80	v -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 
3600.19/1812.80	v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 
3600.19/1812.80	v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 
3600.19/1812.80	v -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 
3600.19/1812.80	v -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 
3600.19/1812.80	v -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 
3600.19/1812.80	v -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 
3600.19/1812.80	v -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 
3600.19/1812.80	v -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 
3600.19/1812.80	v -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 
3600.19/1812.80	v -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 
3600.19/1812.80	v -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 
3600.19/1812.80	v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 
3600.19/1812.80	v -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 
3600.19/1812.80	v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 
3600.19/1812.80	v -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 
3600.19/1812.80	v -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 
3600.19/1812.80	v -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 
3600.19/1812.80	v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 
3600.19/1812.80	v -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 
3600.19/1812.80	v -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 
3600.19/1812.80	v -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 
3600.19/1812.80	v -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 
3600.19/1812.80	v -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 
3600.19/1812.80	v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 
3600.19/1812.80	v -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 
3600.19/1812.80	v -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 
3600.19/1812.80	v -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 
3600.19/1812.80	v -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 
3600.19/1812.80	v -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 
3600.19/1812.80	v -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 
3600.19/1812.80	v -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 
3600.19/1812.80	v -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 
3600.19/1812.80	v -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 
3600.19/1812.80	v -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 
3600.19/1812.80	v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 
3600.19/1812.80	v -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 
3600.19/1812.80	v -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 
3600.19/1812.80	v -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 
3600.19/1812.80	v -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 
3600.19/1812.80	v -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 
3600.19/1812.80	v -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 
3600.19/1812.80	v -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 
3600.19/1812.80	v -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 
3600.19/1812.80	v -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 
3600.19/1812.80	v -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 
3600.19/1812.80	v -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 
3600.19/1812.80	v -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 
3600.19/1812.80	v -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 
3600.19/1812.80	v -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 
3600.19/1812.80	v -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 
3600.19/1812.80	v -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 
3600.19/1812.80	v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 
3600.19/1812.80	v -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 
3600.19/1812.80	v -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 
3600.19/1812.80	v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 
3600.19/1812.80	v -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 
3600.19/1812.80	v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 
3600.19/1812.80	v -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 
3600.19/1812.80	v -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 
3600.19/1812.80	v -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 
3600.19/1812.80	v -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 
3600.19/1812.80	v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 
3600.19/1812.80	v -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 
3600.19/1812.80	v -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 x5212 x5213 
3600.19/1812.80	v -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 x5223 x5224 
3600.19/1812.80	v -x5225 -x5226 -x5227 -x5228 -x5229 x5230 x5231 -x5232 -x5233 -x5234 -x5235 
3600.19/1812.80	v -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 
3600.19/1812.80	v -x5247 -x5248 -x5249 x5250 x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 
3600.19/1812.80	v -x5258 -x5259 -x5260 -x5261 -x5262 x5263 x5264 -x5265 -x5266 -x5267 x5268 x5269 
3600.19/1812.80	v -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 x5278 x5279 -x5280 
3600.19/1812.80	v -x5281 -x5282 -x5283 x5284 x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 
3600.19/1812.80	v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 
3600.19/1812.80	v -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 
3600.19/1812.80	v -x5314 -x5315 -x5316 -x5317 -x5318 x5319 x5320 -x5321 -x5322 -x5323 -x5324 
3600.19/1812.80	v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 
3600.19/1812.80	v -x5336 -x5337 x5338 x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 
3600.19/1812.80	v -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 
3600.19/1812.80	v -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 
3600.19/1812.80	v -x5369 -x5370 -x5371 x5372 x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 
3600.19/1812.80	v x5380 x5381 x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 
3600.19/1812.80	v -x5392 -x5393 x5394 x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 x5403 
3600.19/1812.80	v -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 x5410 x5411 -x5412 -x5413 -x5414 
3600.19/1812.80	v -x5415 -x5416 -x5417 -x5418 -x5419 x5420 x5421 -x5422 -x5423 -x5424 -x5425 
3600.19/1812.80	v -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 
3600.19/1812.80	v -x5437 x5438 x5439 x5440 -x5441 x5442 x5443 -x5444 -x5445 -x5446 -x5447 -x5448 
3600.19/1812.80	v -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 
3600.19/1812.80	v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 
3600.19/1812.80	v -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 
3600.19/1812.80	v -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 
3600.19/1812.80	v -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 
3600.19/1812.80	v -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 
3600.19/1812.80	v -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 
3600.19/1812.80	v -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 
3600.19/1812.80	v -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 
3600.19/1812.80	v -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 
3600.19/1812.80	v -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 
3600.19/1812.80	v -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 
3600.19/1812.80	v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 
3600.19/1812.80	v -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 
3600.19/1812.80	v -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 
3600.19/1812.80	v -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 
3600.19/1812.80	v -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 
3600.19/1812.80	v -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 
3600.19/1812.80	v -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 
3600.19/1812.80	v -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 
3600.19/1812.80	v -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 
3600.19/1812.80	v -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 
3600.19/1812.80	v -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 
3600.19/1812.80	v -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 
3600.19/1812.80	v -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 
3600.19/1812.80	v -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 x5733 -x5734 
3600.19/1812.80	v -x5735 -x5736 x5737 x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 
3600.19/1812.80	v -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 
3600.19/1812.80	v -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 x5766 x5767 
3600.19/1812.80	v -x5768 -x5769 x5770 x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 
3600.19/1812.80	v -x5779 x5780 x5781 -x5782 -x5783 -x5784 x5785 x5786 -x5787 -x5788 -x5789 -x5790 
3600.19/1812.80	v -x5791 -x5792 -x5793 -x5794 -x5795 x5796 x5797 -x5798 -x5799 -x5800 -x5801 
3600.19/1812.80	v -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 x5810 x5811 -x5812 
3600.19/1812.80	v -x5813 -x5814 -x5815 -x5816 -x5817 x5818 x5819 -x5820 -x5821 -x5822 -x5823 
3600.19/1812.80	v -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 
3600.19/1812.80	v -x5835 x5836 x5837 -x5838 -x5839 -x5840 -x5841 x5842 x5843 -x5844 -x5845 -x5846 
3600.19/1812.80	v -x5847 -x5848 -x5849 x5850 x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 
3600.19/1812.80	v -x5858 -x5859 x5860 x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 x5868 x5869 
3600.19/1812.80	v -x5870 -x5871 -x5872 x5873 x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 
3600.19/1812.80	v -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 
3600.19/1812.80	v x5892 x5893 -x5894 -x5895 -x5896 x5897 x5898 -x5899 -x5900 -x5901 -x5902 -x5903 
3600.19/1812.80	v -x5904 -x5905 -x5906 -x5907 x5908 x5909 -x5910 -x5911 -x5912 -x5913 -x5914 
3600.19/1812.80	v -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 x5924 x5925 
3600.19/1812.80	v -x5926 -x5927 -x5928 -x5929 x5930 x5931 -x5932 -x5933 -x5934 -x5935 -x5936 
3600.19/1812.80	v -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 
3600.19/1812.80	v -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 x5956 x5957 -x5958 
3600.19/1812.80	v -x5959 -x5960 -x5961 -x5962 -x5963 x5964 x5965 -x5966 -x5967 -x5968 -x5969 
3600.19/1812.80	v -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 x5980 
3600.19/1812.80	v x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 
3600.19/1812.80	v -x5992 -x5993 -x5994 -x5995 x5996 x5997 -x5998 -x5999 -x6000 -x6001 -x6002 
3600.19/1812.80	v -x6003 x6004 x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 x6012 x6013 -x6014 
3600.19/1812.80	v -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 
3600.19/1812.80	v -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 x6034 x6035 -x6036 
3600.19/1812.80	v -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 x6044 x6045 -x6046 -x6047 
3600.19/1812.80	v -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 x6054 x6055 -x6056 -x6057 x6058 x6059 
3600.19/1812.80	v -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 x6068 x6069 -x6070 
3600.19/1812.80	v -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 
3600.19/1812.80	v -x6082 -x6083 x6084 x6085 -x6086 -x6087 -x6088 x6089 x6090 -x6091 -x6092 -x6093 
3600.19/1812.80	v -x6094 -x6095 -x6096 x6097 x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 
3600.19/1812.80	v -x6105 -x6106 -x6107 x6108 x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 
3600.19/1812.80	v -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 x6122 x6123 -x6124 -x6125 -x6126 
3600.19/1812.80	v -x6127 -x6128 -x6129 -x6130 -x6131 x6132 x6133 -x6134 -x6135 -x6136 -x6137 
3600.19/1812.80	v -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 
3600.19/1812.80	v -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 
3600.19/1812.80	v -x6160 -x6161 -x6162 -x6163 x6164 x6165 -x6166 -x6167 -x6168 -x6169 x6170 x6171 
3600.19/1812.80	v -x6172 -x6173 -x6174 -x6175 -x6176 x6177 x6178 -x6179 -x6180 -x6181 -x6182 
3600.19/1812.80	v -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 
3600.19/1812.80	v -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 
3600.19/1812.80	v -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 
3600.19/1812.80	v -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 
3600.19/1812.80	v -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 
3600.19/1812.80	v -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 
3600.19/1812.80	v -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 
3600.19/1812.80	v -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 
3600.19/1812.80	v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 
3600.19/1812.80	v -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 
3600.19/1812.80	v -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 
3600.19/1812.80	v -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 
3600.19/1812.80	v -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 
3600.19/1812.80	v -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 
3600.19/1812.80	v -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 
3600.19/1812.80	v -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 
3600.19/1812.80	v -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 
3600.19/1812.80	v -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 
3600.19/1812.80	v -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 
3600.19/1812.80	v -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 
3600.19/1812.80	v -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 
3600.19/1812.80	v -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 
3600.19/1812.80	v -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 
3600.19/1812.80	v -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 
3600.19/1812.80	v -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 
3600.19/1812.80	v -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 x6466 x6467 -x6468 
3600.19/1812.80	v -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 
3600.19/1812.80	v -x6480 -x6481 -x6482 -x6483 x6484 x6485 -x6486 -x6487 -x6488 x6489 x6490 -x6491 
3600.19/1812.80	v -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 
3600.19/1812.80	v -x6503 -x6504 -x6505 x6506 x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 
3600.19/1812.80	v -x6514 -x6515 -x6516 -x6517 x6518 x6519 -x6520 x6521 x6522 -x6523 -x6524 -x6525 
3600.19/1812.80	v -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 x6532 x6533 -x6534 -x6535 -x6536 
3600.19/1812.80	v -x6537 -x6538 -x6539 x6540 x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 
3600.19/1812.80	v x6548 x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 
3600.19/1812.80	v -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 
3600.19/1812.80	v x6570 x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 x6578 x6579 -x6580 -x6581 
3600.19/1812.80	v -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 x6588 x6589 -x6590 -x6591 -x6592 
3600.19/1812.80	v -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 
3600.19/1812.80	v x6604 x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 x6612 x6613 -x6614 -x6615 
3600.19/1812.80	v -x6616 -x6617 -x6618 -x6619 x6620 x6621 -x6622 -x6623 -x6624 -x6625 -x6626 
3600.19/1812.80	v -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 x6636 x6637 
3600.19/1812.80	v -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 
3600.19/1812.80	v -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 x6658 x6659 
3600.19/1812.80	v -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 x6666 x6667 -x6668 -x6669 -x6670 
3600.19/1812.80	v -x6671 -x6672 -x6673 x6674 x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 
3600.19/1812.80	v -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 x6692 
3600.19/1812.80	v x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 
3600.19/1812.80	v -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 
3600.19/1812.80	v -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 
3600.19/1812.80	v -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 
3600.19/1812.80	v -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 
3600.19/1812.80	v -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 
3600.19/1812.80	v -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 
3600.19/1812.80	v -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 
3600.19/1812.80	v -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 
3600.19/1812.80	v -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 
3600.19/1812.80	v -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 
3600.19/1812.80	v -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 
3600.19/1812.80	v -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 
3600.19/1812.80	v -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 
3600.19/1812.80	v -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 
3600.19/1812.80	v -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 
3600.19/1812.80	v -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 
3600.19/1812.80	v -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 
3600.19/1812.80	v -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 
3600.19/1812.80	v -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 
3600.19/1812.80	v -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 
3600.19/1812.80	v -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 
3600.19/1812.80	v -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 x6945 
3600.19/1812.80	v x6946 x6947 x6948 x6949 x6950 x6951 x6952 x6953 x6954 x6955 -x6956 -x6957 -x6958 
3600.19/1812.80	v -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 x6966 -x6967 -x6968 x6969 
3600.19/1812.80	v -x6970 -x6971 -x6972 x6973 x6974 x6975 x6976 x6977 x6978 -x6979 x6980 x6981 
3600.19/1812.80	v -x6982 x6983 x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 
3600.19/1812.80	v -x6993 x6994 -x6995 -x6996 x6997 -x6998 -x6999 -x7000 x7001 -x7002 x7003 x7004 
3600.19/1812.80	v x7005 x7006 x7007 x7008 -x7009 x7010 x7011 -x7012 -x7013 x7014 -x7015 -x7016 
3600.19/1812.80	v -x7017 -x7018 -x7019 -x7020 -x7021 x7022 -x7023 -x7024 -x7025 -x7026 x7027 
3600.19/1812.80	v -x7028 x7029 x7030 x7031 x7032 x7033 x7034 x7035 -x7036 x7037 x7038 -x7039 
3600.19/1812.80	v -x7040 -x7041 -x7042 x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 
3600.19/1812.80	v -x7051 x7052 x7053 -x7054 -x7055 -x7056 x7057 x7058 -x7059 x7060 x7061 x7062 
3600.19/1812.80	v x7063 x7064 x7065 x7066 x7067 x7068 x7069 x7070 -x7071 -x7072 -x7073 -x7074 
3600.19/1812.80	v -x7075 -x7076 -x7077 -x7078 -x7079 x7080 -x7081 -x7082 x7083 -x7084 x7085 x7086 
3600.19/1812.80	v x7087 x7088 x7089 x7090 x7091 x7092 x7093 x7094 x7095 x7096 -x7097 -x7098 x7099 
3600.19/1812.80	v -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 x7106 -x7107 -x7108 x7109 -x7110 
3600.19/1812.80	v x7111 -x7112 x7113 x7114 x7115 x7116 x7117 -x7118 x7119 x7120 x7121 x7122 x7123 
3600.19/1812.80	v -x7124 x7125 -x7126 x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 x7134 -x7135 
3600.19/1812.80	v -x7136 x7137 -x7138 -x7139 -x7140 -x7141 x7142 x7143 -x7144 -x7145 x7146 x7147 
3600.19/1812.80	v x7148 x7149 x7150 x7151 -x7152 x7153 x7154 x7155 -x7156 -x7157 -x7158 -x7159 
3600.19/1812.80	v -x7160 -x7161 x7162 -x7163 x7164 x7165 -x7166 x7167 -x7168 x7169 x7170 -x7171 
3600.19/1812.80	v x7172 x7173 x7174 -x7175 x7176 x7177 -x7178 x7179 -x7180 -x7181 x7182 -x7183 
3600.19/1812.80	v -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 x7190 -x7191 x7192 -x7193 -x7194 
3600.19/1812.80	v x7195 -x7196 x7197 -x7198 x7199 x7200 x7201 x7202 x7203 x7204 x7205 x7206 x7207 
3600.19/1812.80	v x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 x7218 
3600.19/1812.80	v -x7219 x7220 -x7221 -x7222 x7223 -x7224 x7225 x7226 x7227 x7228 x7229 -x7230 
3600.19/1812.80	v x7231 -x7232 -x7233 x7234 x7235 x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 
3600.19/1812.80	v -x7243 -x7244 -x7245 -x7246 -x7247 x7248 x7249 -x7250 x7251 -x7252 x7253 x7254 
3600.19/1812.80	v x7255 x7256 x7257 x7258 x7259 x7260 x7261 x7262 -x7263 x7264 x7265 x7266 x7267 
3600.19/1812.80	v -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 x7276 x7277 -x7278 
3600.19/1812.80	v x7279 -x7280 x7281 x7282 x7283 x7284 x7285 x7286 x7287 x7288 x7289 x7290 x7291 
3600.19/1812.80	v x7292 x7293 x7294 x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 
3600.19/1812.80	v -x7304 x7305 -x7306 x7307 -x7308 x7309 x7310 x7311 -x7312 -x7313 x7314 x7315 
3600.19/1812.80	v x7316 x7317 x7318 x7319 x7320 x7321 -x7322 x7323 -x7324 -x7325 -x7326 -x7327 
3600.19/1812.80	v -x7328 -x7329 x7330 -x7331 x7332 x7333 -x7334 -x7335 -x7336 x7337 x7338 x7339 
3600.19/1812.80	v x7340 x7341 x7342 -x7343 x7344 x7345 -x7346 x7347 x7348 x7349 x7350 x7351 -x7352 
3600.19/1812.80	v -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 x7360 x7361 -x7362 -x7363 
3600.19/1812.80	v -x7364 -x7365 x7366 x7367 x7368 x7369 x7370 x7371 -x7372 -x7373 x7374 x7375 
3600.19/1812.80	v -x7376 x7377 x7378 x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 
3600.19/1812.80	v -x7388 -x7389 -x7390 x7391 -x7392 x7393 -x7394 -x7395 x7396 x7397 x7398 x7399 
3600.19/1812.80	v x7400 x7401 x7402 -x7403 x7404 x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 
3600.19/1812.80	v -x7412 -x7413 x7414 -x7415 x7416 x7417 -x7418 x7419 -x7420 x7421 x7422 x7423 
3600.19/1812.80	v -x7424 x7425 x7426 x7427 x7428 x7429 x7430 x7431 -x7432 -x7433 x7434 x7435 
3600.19/1812.80	v -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 x7444 x7445 -x7446 
3600.19/1812.80	v x7447 -x7448 x7449 x7450 x7451 x7452 x7453 -x7454 x7455 x7456 x7457 x7458 x7459 
3600.19/1812.80	v x7460 x7461 x7462 x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 
3600.19/1812.80	v x7472 x7473 -x7474 -x7475 -x7476 x7477 x7478 x7479 x7480 x7481 x7482 x7483 
3600.19/1812.80	v x7484 x7485 x7486 x7487 x7488 x7489 x7490 x7491 -x7492 -x7493 -x7494 -x7495 
3600.19/1812.80	v -x7496 -x7497 -x7498 -x7499 x7500 x7501 -x7502 x7503 -x7504 x7505 x7506 x7507 
3600.19/1812.80	v x7508 x7509 x7510 x7511 x7512 x7513 -x7514 x7515 -x7516 x7517 x7518 x7519 -x7520 
3600.19/1812.80	v -x7521 -x7522 -x7523 -x7524 -x7525 x7526 -x7527 x7528 -x7529 -x7530 x7531 -x7532 
3600.19/1812.80	v x7533 x7534 x7535 x7536 -x7537 x7538 -x7539 x7540 x7541 x7542 x7543 x7544 x7545 
3600.19/1812.80	v x7546 x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 x7554 -x7555 x7556 x7557 
3600.19/1812.80	v -x7558 x7559 -x7560 -x7561 x7562 x7563 x7564 x7565 x7566 x7567 -x7568 x7569 
3600.19/1812.80	v x7570 x7571 x7572 x7573 -x7574 x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 
3600.19/1812.80	v -x7582 -x7583 -x7584 x7585 -x7586 -x7587 -x7588 x7589 -x7590 x7591 x7592 x7593 
3600.19/1812.80	v x7594 x7595 x7596 -x7597 -x7598 x7599 x7600 -x7601 -x7602 -x7603 -x7604 -x7605 
3600.19/1812.80	v -x7606 -x7607 -x7608 -x7609 x7610 -x7611 x7612 -x7613 -x7614 x7615 -x7616 x7617 
3600.19/1812.80	v x7618 -x7619 -x7620 x7621 -x7622 x7623 x7624 x7625 x7626 -x7627 x7628 x7629 
3600.19/1812.80	v x7630 x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 x7638 -x7639 x7640 -x7641 
3600.19/1812.80	v -x7642 -x7643 -x7644 x7645 x7646 x7647 x7648 x7649 x7650 x7651 x7652 x7653 
3600.19/1812.80	v x7654 x7655 x7656 x7657 x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 
3600.19/1812.80	v x7666 -x7667 x7668 -x7669 -x7670 -x7671 -x7672 x7673 x7674 x7675 x7676 x7677 
3600.19/1812.80	v x7678 x7679 x7680 x7681 x7682 x7683 x7684 x7685 x7686 x7687 -x7688 -x7689 -x7690 
3600.19/1812.80	v -x7691 -x7692 -x7693 x7694 -x7695 -x7696 x7697 -x7698 x7699 -x7700 x7701 x7702 
3600.19/1812.80	v x7703 x7704 x7705 x7706 x7707 x7708 x7709 x7710 x7711 x7712 x7713 x7714 x7715 
3600.19/1812.80	v -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 x7724 x7725 -x7726 
3600.19/1812.80	v x7727 -x7728 x7729 x7730 x7731 x7732 -x7733 x7734 x7735 x7736 x7737 x7738 x7739 
3600.19/1812.80	v -x7740 x7741 x7742 x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 x7750 -x7751 
3600.19/1812.80	v x7752 x7753 -x7754 x7755 -x7756 -x7757 x7758 x7759 x7760 x7761 x7762 -x7763 
3600.19/1812.80	v -x7764 x7765 x7766 x7767 -x7768 -x7769 x7770 x7771 -x7772 -x7773 -x7774 -x7775 
3600.19/1812.80	v -x7776 -x7777 x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 x7785 x7786 x7787 
3600.19/1812.80	v x7788 x7789 x7790 x7791 x7792 x7793 x7794 x7795 -x7796 x7797 x7798 -x7799 -x7800 
3600.19/1812.80	v -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 x7811 
3600.19/1812.80	v -x7812 x7813 x7814 x7815 x7816 x7817 x7818 x7819 x7820 x7821 x7822 x7823 x7824 
3600.19/1812.80	v x7825 x7826 x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 x7834 -x7835 x7836 
3600.19/1812.80	v x7837 -x7838 x7839 -x7840 x7841 x7842 x7843 x7844 x7845 x7846 x7847 x7848 x7849 
3600.19/1812.80	v x7850 x7851 x7852 x7853 x7854 x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 
3600.19/1812.80	v x7862 -x7863 x7864 x7865 -x7866 x7867 -x7868 x7869 x7870 -x7871 x7872 x7873 
3600.19/1812.80	v x7874 -x7875 -x7876 -x7877 x7878 x7879 -x7880 -x7881 x7882 x7883 -x7884 x7885 
3600.19/1812.80	v -x7886 -x7887 x7888 x7889 -x7890 -x7891 -x7892 x7893 x7894 -x7895 -x7896 -x7897 
3600.19/1812.80	v x7898 -x7899 -x7900 -x7901 x7902 x7903 -x7904 x7905 x7906 x7907 -x7908 x7909 
3600.19/1812.80	v -x7910 -x7911 x7912 -x7913 x7914 -x7915 x7916 -x7917 -x7918 -x7919 -x7920 x7921 
3600.19/1812.80	v -x7922 x7923 -x7924 x7925 x7926 -x7927 x7928 -x7929 x7930 -x7931 x7932 -x7933 
3600.19/1812.80	v -x7934 x7935 -x7936 -x7937 x7938 x7939 x7940 -x7941 -x7942 -x7943 -x7944 -x7945 
3600.19/1812.80	v x7946 x7947 x7948 -x7949 x7950 -x7951 x7952 -x7953 -x7954 x7955 -x7956 -x7957 
3600.19/1812.80	v x7958 x7959 x7960 -x7961 x7962 -x7963 x7964 -x7965 -x7966 x7967 -x7968 x7969 
3600.19/1812.80	v -x7970 -x7971 -x7972 x7973 -x7974 -x7975 x7976 -x7977 -x7978 x7979 x7980 -x7981 
3600.19/1812.80	v -x7982 -x7983 -x7984 -x7985 x7986 -x7987 x7988 x7989 x7990 x7991 -x7992 x7993 
3600.19/1812.80	v x7994 -x7995 x7996 -x7997 -x7998 x7999 x8000 x8001 -x8002 -x8003 -x8004 x8005 
3600.19/1812.80	v x8006 -x8007 -x8008 -x8009 -x8010 x8011 x8012 x8013 -x8014 x8015 x8016 -x8017 
3600.19/1812.80	v -x8018 -x8019 -x8020 -x8021 x8022 -x8023 -x8024 -x8025 -x8026 x8027 -x8028 
3600.19/1812.80	v x8029 x8030 -x8031 -x8032 -x8033 x8034 -x8035 x8036 x8037 -x8038 -x8039 x8040 
3600.19/1812.80	v x8041 x8042 -x8043 x8044 x8045 -x8046 -x8047 -x8048 -x8049 -x8050 x8051 -x8052 
3600.19/1812.80	v -x8053 x8054 x8055 x8056 -x8057 -x8058 x8059 -x8060 x8061 -x8062 -x8063 x8064 
3600.19/1812.80	v x8065 x8066 x8067 -x8068 -x8069 x8070 x8071 -x8072 -x8073 -x8074 x8075 -x8076 
3600.19/1812.80	v -x8077 x8078 x8079 -x8080 -x8081 -x8082 -x8083 x8084 x8085 -x8086 -x8087 -x8088 
3600.19/1812.80	v -x8089 -x8090 -x8091 x8092 -x8093 x8094 x8095 -x8096 -x8097 -x8098 x8099 -x8100 
3600.19/1812.80	v x8101 x8102 -x8103 -x8104 -x8105 x8106 -x8107 x8108 x8109 x8110 x8111 -x8112 
3600.19/1812.80	v -x8113 -x8114 x8115 x8116 x8117 -x8118 x8119 -x8120 x8121 -x8122 -x8123 x8124 
3600.19/1812.80	v -x8125 -x8126 x8127 x8128 -x8129 -x8130 x8131 x8132 -x8133 x8134 x8135 x8136 
3600.19/1812.80	v -x8137 -x8138 x8139 -x8140 -x8141 -x8142 x8143 -x8144 x8145 x8146 -x8147 -x8148 
3600.19/1812.80	v -x8149 x8150 x8151 x8152 x8153 -x8154 x8155 -x8156 x8157 x8158 x8159 -x8160 
3600.19/1812.80	v -x8161 -x8162 x8163 -x8164 x8165 -x8166 -x8167 -x8168 -x8169 x8170 x8171 -x8172 
3600.19/1812.80	v -x8173 x8174 -x8175 x8176 -x8177 x8178 x8179 x8180 x8181 -x8182 -x8183 -x8184 
3600.19/1812.80	v -x8185 x8186 x8187 -x8188 -x8189 -x8190 x8191 x8192 -x8193 x8194 -x8195 -x8196 
3600.19/1812.80	v x8197 -x8198 x8199 x8200 x8201 x8202 -x8203 x8204 -x8205 -x8206 -x8207 -x8208 
3600.19/1812.80	v -x8209 -x8210 -x8211 x8212 x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 
3600.19/1812.80	v -x8220 x8221 -x8222 x8223 -x8224 x8225 -x8226 x8227 -x8228 x8229 -x8230 x8231 
3600.19/1812.80	v x8232 -x8233 -x8234 x8235 -x8236 x8237 -x8238 -x8239 -x8240 -x8241 x8242 x8243 
3600.19/1812.80	v -x8244 -x8245 x8246 x8247 x8248 -x8249 -x8250 x8251 -x8252 x8253 -x8254 -x8255 
3600.19/1812.80	v -x8256 -x8257 x8258 -x8259 -x8260 -x8261 -x8262 x8263 -x8264 -x8265 x8266 -x8267 
3600.19/1812.80	v -x8268 -x8269 x8270 x8271 -x8272 -x8273 x8274 x8275 x8276 x8277 x8278 -x8279 
3600.19/1812.80	v x8280 -x8281 -x8282 x8283 -x8284 -x8285 x8286 -x8287 -x8288 x8289 -x8290 x8291 
3600.19/1812.80	v -x8292 -x8293 -x8294 x8295 -x8296 -x8297 x8298 x8299 -x8300 -x8301 -x8302 -x8303 
3600.19/1812.80	v -x8304 x8305 -x8306 x8307 -x8308 x8309 -x8310 x8311 x8312 x8313 -x8314 x8315 
3600.19/1812.80	v -x8316 -x8317 -x8318 x8319 x8320 -x8321 x8322 x8323 -x8324 -x8325 -x8326 -x8327 
3600.19/1812.80	v -x8328 -x8329 x8330 -x8331 -x8332 x8333 -x8334 -x8335 -x8336 -x8337 x8338 x8339 
3600.19/1812.80	v x8340 x8341 -x8342 -x8343 -x8344 -x8345 -x8346 x8347 -x8348 -x8349 -x8350 x8351 
3600.19/1812.80	v -x8352 -x8353 x8354 -x8355 x8356 x8357 -x8358 -x8359 -x8360 x8361 x8362 -x8363 
3600.19/1812.80	v x8364 -x8365 -x8366 -x8367 -x8368 x8369 x8370 -x8371 x8372 x8373 -x8374 -x8375 
3600.19/1812.80	v x8376 -x8377 x8378 -x8379 -x8380 -x8381 x8382 -x8383 x8384 x8385 -x8386 -x8387 
3600.19/1812.80	v -x8388 -x8389 -x8390 -x8391 x8392 x8393 -x8394 x8395 -x8396 -x8397 -x8398 x8399 
3600.19/1812.80	v -x8400 x8401 x8402 x8403 -x8404 -x8405 -x8406 -x8407 -x8408 x8409 -x8410 -x8411 
3600.19/1812.80	v -x8412 x8413 -x8414 x8415 -x8416 -x8417 x8418 x8419 -x8420 -x8421 -x8422 x8423 
3600.19/1812.80	v x8424 -x8425 x8426 -x8427 -x8428 x8429 x8430 x8431 -x8432 -x8433 x8434 -x8435 
3600.19/1812.80	v -x8436 -x8437 x8438 -x8439 x8440 x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 
3600.19/1812.80	v -x8448 x8449 x8450 -x8451 -x8452 -x8453 x8454 x8455 -x8456 x8457 -x8458 -x8459 
3600.19/1812.80	v -x8460 x8461 x8462 x8463 -x8464 -x8465 -x8466 -x8467 -x8468 x8469 -x8470 x8471 
3600.19/1812.80	v -x8472 -x8473 -x8474 x8475 -x8476 -x8477 x8478 -x8479 x8480 x8481 -x8482 -x8483 
3600.19/1812.80	v -x8484 -x8485 x8486 x8487 x8488 -x8489 -x8490 -x8491 x8492 x8493 x8494 x8495 
3600.19/1812.80	v -x8496 x8497 -x8498 -x8499 x8500 -x8501 x8502 -x8503 -x8504 -x8505 x8506 -x8507 
3600.19/1812.80	v x8508 -x8509 -x8510 x8511 x8512 -x8513 -x8514 -x8515 x8516 -x8517 -x8518 x8519 
3600.19/1812.80	v -x8520 -x8521 -x8522 x8523 x8524 x8525 -x8526 -x8527 -x8528 -x8529 -x8530 x8531 
3600.19/1812.80	v x8532 -x8533 -x8534 -x8535 x8536 x8537 -x8538 -x8539 -x8540 -x8541 x8542 x8543 
3600.19/1812.80	v x8544 x8545 -x8546 -x8547 -x8548 x8549 -x8550 -x8551 -x8552 -x8553 x8554 x8555 
3600.19/1812.80	v x8556 x8557 x8558 -x8559 -x8560 -x8561 -x8562 -x8563 x8564 -x8565 -x8566 -x8567 
3600.19/1812.80	v x8568 -x8569 -x8570 x8571 -x8572 x8573 -x8574 -x8575 -x8576 -x8577 x8578 x8579 
3600.19/1812.80	v -x8580 -x8581 -x8582 x8583 x8584 -x8585 x8586 -x8587 -x8588 -x8589 x8590 -x8591 
3600.19/1812.80	v x8592 -x8593 x8594 x8595 x8596 -x8597 -x8598 x8599 x8600 -x8601 -x8602 x8603 
3600.19/1812.80	v -x8604 -x8605 x8606 -x8607 -x8608 -x8609 x8610 x8611 -x8612 -x8613 -x8614 x8615 
3600.19/1812.80	v -x8616 x8617 -x8618 -x8619 -x8620 -x8621 -x8622 x8623 -x8624 -x8625 x8626 -x8627 
3600.19/1812.80	v -x8628 -x8629 x8630 x8631 -x8632 x8633 x8634 -x8635 x8636 x8637 -x8638 -x8639 
3600.19/1812.80	v x8640 x8641 x8642 x8643 -x8644 -x8645 -x8646 -x8647 x8648 x8649 -x8650 x8651 
3600.19/1812.80	v -x8652 -x8653 -x8654 x8655 -x8656 x8657 -x8658 -x8659 x8660 -x8661 -x8662 x8663 
3600.19/1812.80	v x8664 -x8665 x8666 -x8667 -x8668 -x8669 -x8670 x8671 -x8672 -x8673 x8674 -x8675 
3600.19/1812.80	v -x8676 x8677 x8678 -x8679 x8680 x8681 x8682 -x8683 x8684 -x8685 -x8686 -x8687 
3600.19/1812.80	v x8688 -x8689 x8690 x8691 -x8692 x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 
3600.19/1812.80	v -x8700 x8701 x8702 x8703 -x8704 -x8705 -x8706 -x8707 -x8708 x8709 -x8710 x8711 
3600.19/1812.80	v -x8712 -x8713 x8714 x8715 -x8716 x8717 -x8718 -x8719 x8720 -x8721 x8722 x8723 
3600.19/1812.80	v -x8724 x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 x8733 -x8734 
3600.19/1812.80	v -x8735 -x8736 -x8737 -x8738 x8739 -x8740 -x8741 -x8742 x8743 -x8744 x8745 -x8746 
3600.19/1812.80	v -x8747 x8748 x8749 -x8750 -x8751 x8752 -x8753 x8754 x8755 -x8756 -x8757 x8758 
3600.19/1812.80	v x8759 x8760 -x8761 -x8762 x8763 x8764 x8765 -x8766 x8767 x8768 x8769 -x8770 
3600.19/1812.80	v -x8771 x8772 -x8773 -x8774 -x8775 x8776 -x8777 x8778 x8779 -x8780 x8781 -x8782 
3600.19/1812.80	v x8783 -x8784 x8785 x8786 x8787 x8788 -x8789 x8790 -x8791 x8792 -x8793 -x8794 
3600.19/1812.80	v x8795 -x8796 x8797 -x8798 x8799 -x8800 x8801 x8802 -x8803 x8804 x8805 -x8806 
3600.19/1812.80	v -x8807 -x8808 x8809 x8810 x8811 x8812 x8813 -x8814 -x8815 -x8816 x8817 -x8818 
3600.19/1812.80	v x8819 -x8820 x8821 x8822 -x8823 x8824 x8825 -x8826 -x8827 -x8828 x8829 -x8830 
3600.19/1812.80	v x8831 -x8832 x8833 x8834 -x8835 x8836 -x8837 x8838 x8839 x8840 -x8841 x8842 
3600.19/1812.80	v -x8843 -x8844 x8845 x8846 -x8847 -x8848 x8849 x8850 x8851 x8852 x8853 -x8854 
3600.19/1812.80	v x8855 -x8856 -x8857 -x8858 -x8859 x8860 -x8861 -x8862 x8863 -x8864 x8865 x8866 
3600.19/1812.80	v -x8867 -x8868 -x8869 x8870 x8871 x8872 -x8873 -x8874 x8875 x8876 x8877 x8878 
3600.19/1812.80	v -x8879 -x8880 -x8881 x8882 -x8883 -x8884 x8885 x8886 x8887 x8888 -x8889 -x8890 
3600.19/1812.80	v x8891 x8892 x8893 x8894 -x8895 x8896 -x8897 -x8898 x8899 x8900 x8901 -x8902 
3600.19/1812.80	v x8903 -x8904 -x8905 x8906 x8907 -x8908 -x8909 -x8910 x8911 -x8912 -x8913 x8914 
3600.19/1812.80	v x8915 -x8916 x8917 x8918 -x8919 x8920 x8921 -x8922 -x8923 -x8924 x8925 x8926 
3600.19/1812.80	v -x8927 x8928 -x8929 x8930 -x8931 -x8932 -x8933 -x8934 -x8935 x8936 x8937 -x8938 
3600.19/1812.80	v -x8939 x8940 x8941 x8942 -x8943 x8944 x8945 -x8946 -x8947 x8948 x8949 x8950 
3600.19/1812.80	v x8951 -x8952 -x8953 x8954 x8955 x8956 x8957 x8958 x8959 -x8960 x8961 -x8962 
3600.19/1812.80	v -x8963 -x8964 x8965 x8966 -x8967 x8968 -x8969 -x8970 x8971 x8972 x8973 -x8974 
3600.19/1812.80	v x8975 -x8976 -x8977 -x8978 -x8979 x8980 x8981 x8982 -x8983 -x8984 -x8985 x8986 
3600.19/1812.80	v -x8987 x8988 -x8989 x8990 x8991 -x8992 x8993 x8994 -x8995 -x8996 x8997 x8998 
3600.19/1812.80	v -x8999 -x9000 x9001 -x9002 -x9003 -x9004 x9005 x9006 -x9007 x9008 x9009 x9010 
3600.19/1812.80	v -x9011 x9012 -x9013 -x9014 x9015 x9016 x9017 -x9018 -x9019 -x9020 -x9021 x9022 
3600.19/1812.80	v -x9023 x9024 -x9025 -x9026 -x9027 x9028 x9029 x9030 -x9031 x9032 -x9033 x9034 
3600.19/1812.80	v x9035 x9036 x9037 -x9038 -x9039 x9040 x9041 -x9042 x9043 -x9044 x9045 -x9046 
3600.19/1812.80	v -x9047 -x9048 -x9049 -x9050 x9051 x9052 x9053 -x9054 -x9055 x9056 x9057 x9058 
3600.19/1812.80	v -x9059 -x9060 x9061 -x9062 -x9063 x9064 -x9065 x9066 -x9067 -x9068 -x9069 -x9070 
3600.19/1812.80	v x9071 -x9072 x9073 x9074 x9075 x9076 x9077 x9078 x9079 -x9080 -x9081 x9082 
3600.19/1812.80	v x9083 x9084 x9085 -x9086 x9087 x9088 -x9089 x9090 -x9091 x9092 -x9093 x9094 
3600.19/1812.80	v -x9095 x9096 -x9097 -x9098 -x9099 -x9100 x9101 x9102 -x9103 x9104 -x9105 -x9106 
3600.19/1812.80	v -x9107 -x9108 x9109 -x9110 -x9111 -x9112 x9113 -x9114 -x9115 -x9116 -x9117 
3600.19/1812.80	v x9118 -x9119 x9120 -x9121 x9122 x9123 x9124 x9125 -x9126 x9127 x9128 x9129 
3600.19/1812.80	v x9130 -x9131 -x9132 x9133 -x9134 x9135 x9136 x9137 -x9138 -x9139 x9140 x9141 
3600.19/1812.80	v -x9142 -x9143 -x9144 -x9145 -x9146 x9147 -x9148 x9149 -x9150 -x9151 x9152 -x9153 
3600.19/1812.80	v -x9154 x9155 x9156 -x9157 x9158 -x9159 x9160 x9161 -x9162 -x9163 x9164 x9165 
3600.19/1812.80	v -x9166 -x9167 x9168 x9169 x9170 x9171 -x9172 -x9173 x9174 -x9175 x9176 -x9177 
3600.19/1812.80	v x9178 -x9179 -x9180 -x9181 x9182 -x9183 x9184 x9185 x9186 -x9187 -x9188 x9189 
3600.19/1812.80	v -x9190 -x9191 x9192 x9193 x9194 x9195 x9196 x9197 -x9198 x9199 x9200 -x9201 
3600.19/1812.80	v x9202 x9203 -x9204 x9205 -x9206 -x9207 -x9208 -x9209 x9210 x9211 x9212 -x9213 
3600.19/1812.80	v x9214 -x9215 -x9216 -x9217 x9218 -x9219 x9220 x9221 -x9222 x9223 -x9224 -x9225 
3600.19/1812.80	v x9226 x9227 x9228 -x9229 -x9230 -x9231 -x9232 x9233 x9234 x9235 -x9236 -x9237 
3600.19/1812.80	v -x9238 -x9239 -x9240 -x9241 x9242 x9243 -x9244 x9245 -x9246 x9247 x9248 -x9249 
3600.19/1812.80	v -x9250 x9251 -x9252 -x9253 x9254 -x9255 x9256 x9257 x9258 x9259 -x9260 -x9261 
3600.19/1812.80	v x9262 -x9263 x9264 x9265 x9266 -x9267 x9268 -x9269 -x9270 -x9271 -x9272 x9273 
3600.19/1812.80	v x9274 -x9275 x9276 -x9277 -x9278 x9279 -x9280 -x9281 x9282 -x9283 x9284 x9285 
3600.19/1812.80	v -x9286 -x9287 x9288 x9289 -x9290 -x9291 -x9292 x9293 -x9294 -x9295 x9296 -x9297 
3600.19/1812.80	v -x9298 -x9299 -x9300 x9301 -x9302 x9303 x9304 -x9305 -x9306 x9307 -x9308 -x9309 
3600.19/1812.80	v x9310 x9311 -x9312 x9313 x9314 x9315 x9316 -x9317 -x9318 x9319 x9320 x9321 
3600.19/1812.80	v -x9322 -x9323 x9324 -x9325 x9326 x9327 -x9328 -x9329 -x9330 -x9331 x9332 x9333 
3600.19/1812.80	v x9334 x9335 x9336 -x9337 x9338 -x9339 x9340 x9341 x9342 -x9343 x9344 -x9345 
3600.19/1812.80	v -x9346 x9347 -x9348 -x9349 x9350 x9351 x9352 -x9353 -x9354 -x9355 -x9356 x9357 
3600.19/1812.80	v x9358 x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 x9366 x9367 -x9368 x9369 
3600.19/1812.80	v -x9370 x9371 x9372 x9373 -x9374 x9375 -x9376 -x9377 x9378 -x9379 -x9380 x9381 
3600.19/1812.80	v x9382 x9383 -x9384 -x9385 x9386 -x9387 x9388 x9389 x9390 -x9391 -x9392 -x9393 
3600.19/1812.80	v x9394 x9395 x9396 x9397 x9398 -x9399 -x9400 x9401 -x9402 x9403 -x9404 -x9405 
3600.19/1812.80	v x9406 -x9407 x9408 x9409 -x9410 -x9411 -x9412 -x9413 x9414 -x9415 x9416 -x9417 
3600.19/1812.80	v x9418 x9419 x9420 x9421 -x9422 -x9423 -x9424 -x9425 -x9426 x9427 x9428 x9429 
3600.19/1812.80	v -x9430 x9431 -x9432 -x9433 -x9434 x9435 -x9436 x9437 x9438 -x9439 x9440 -x9441 
3600.19/1812.80	v x9442 x9443 x9444 -x9445 -x9446 -x9447 x9448 -x9449 x9450 -x9451 -x9452 x9453 
3600.19/1812.80	v -x9454 -x9455 x9456 x9457 -x9458 x9459 -x9460 x9461 -x9462 -x9463 -x9464 -x9465 
3600.19/1812.80	v x9466 -x9467 -x9468 x9469 x9470 -x9471 x9472 x9473 -x9474 x9475 x9476 x9477 
3600.19/1812.80	v -x9478 -x9479 -x9480 x9481 x9482 -x9483 x9484 -x9485 x9486 x9487 x9488 x9489 
3600.19/1812.80	v -x9490 -x9491 x9492 x9493 -x9494 x9495 x9496 x9497 -x9498 -x9499 x9500 -x9501 
3600.19/1812.80	v -x9502 x9503 -x9504 -x9505 x9506 x9507 -x9508 -x9509 -x9510 -x9511 x9512 x9513 
3600.19/1812.80	v x9514 -x9515 -x9516 -x9517 x9518 -x9519 x9520 x9521 x9522 -x9523 -x9524 -x9525 
3600.19/1812.80	v x9526 x9527 -x9528 -x9529 x9530 -x9531 -x9532 x9533 -x9534 x9535 x9536 x9537 
3600.19/1812.80	v x9538 -x9539 -x9540 -x9541 -x9542 x9543 x9544 -x9545 -x9546 x9547 -x9548 -x9549 
3600.19/1812.80	v -x9550 x9551 -x9552 x9553 x9554 x9555 -x9556 -x9557 -x9558 -x9559 x9560 -x9561 
3600.19/1812.80	v x9562 x9563 x9564 x9565 x9566 x9567 x9568 -x9569 -x9570 -x9571 x9572 x9573 
3600.19/1812.80	v -x9574 x9575 x9576 -x9577 -x9578 -x9579 -x9580 x9581 -x9582 -x9583 x9584 -x9585 
3600.19/1812.80	v x9586 x9587 -x9588 -x9589 -x9590 -x9591 x9592 -x9593 -x9594 x9595 -x9596 x9597 
3600.19/1812.80	v x9598 x9599 -x9600 -x9601 x9602 x9603 x9604 -x9605 -x9606 -x9607 -x9608 -x9609 
3600.19/1812.80	v -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 
3600.19/1812.80	v -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 
3600.19/1812.80	v -x9632 

OK	48

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (56670 MiB free)
  memory of node 1: 64465 MiB (63590 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508110-1751490859/watcher-4508110-1751490859 -o /tmp/evaluation-result-4508110-1751490859/solver-4508110-1751490859 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751481597-70222 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1262603198 --competition_mode --input HOME/instance-4508110-1751490859.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=72037, runsolver pid=72034

[startup+0.100062 s]*
/proc/loadavg: 8.10 8.11 8.09 8/270 72038
/proc/meminfo: memFree=123131916/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=36200 memory=31496 CPUtime=0.09 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) R 72034 72037 70209 0 -1 4194304 7213 0 0 0 8 1 0 0 20 0 1 0 64765359 37068800 7874 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 9050 7874 1536 2102 0 6590 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36200 KiB
Current children cumulated memory: 31496 KiB

[startup+0.205442 s]*
/proc/loadavg: 8.10 8.11 8.09 8/270 72038
/proc/meminfo: memFree=123128496/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=49516 memory=44892 CPUtime=0.2 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) R 72034 72037 70209 0 -1 4194304 10633 0 0 0 19 1 0 0 20 0 1 0 64765359 50704384 11223 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 12379 11223 1600 2102 0 9919 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49516 KiB
Current children cumulated memory: 44892 KiB

[startup+0.305498 s]*
/proc/loadavg: 8.10 8.11 8.09 8/270 72038
/proc/meminfo: memFree=123123960/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=51924 memory=47748 CPUtime=0.3 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) R 72034 72037 70209 0 -1 4194304 11564 0 0 0 29 1 0 0 20 0 1 0 64765359 53170176 11937 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 12981 11937 1920 2102 0 10521 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51924 KiB
Current children cumulated memory: 47748 KiB

[startup+0.700178 s]
/proc/loadavg: 8.10 8.11 8.09 8/270 72038
/proc/meminfo: memFree=123111864/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=61916 memory=58116 CPUtime=0.69 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) R 72034 72037 70209 0 -1 4194304 14160 0 0 0 67 2 0 0 20 0 1 0 64765359 63401984 14529 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 15479 14529 1920 2102 0 13019 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61916 KiB
Current children cumulated memory: 58116 KiB

[startup+1.5002 s]
/proc/loadavg: 8.01 8.09 8.08 8/270 72038
/proc/meminfo: memFree=123103800/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=214088 memory=124680 CPUtime=1.89 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 29680 0 0 0 185 4 0 0 20 0 3 0 64765359 219226112 31170 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 53522 31170 2144 2102 0 39827 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 214088 KiB
Current children cumulated memory: 124680 KiB

[startup+3.10549 s]
/proc/loadavg: 8.01 8.09 8.08 9/272 72041
/proc/meminfo: memFree=123022580/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=214088 memory=150492 CPUtime=5.07 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 41161 0 0 0 502 5 0 0 20 0 3 0 64765359 219226112 37623 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 53522 37623 2144 2102 0 41272 0
[pid=72037/tid=72039] ppid=72034 vsize=214088 memory=0 CPUtime=2.01 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 13023 0 0 0 200 1 0 0 20 0 3 0 64765466 219226112 37623 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=214088 memory=146056 CPUtime=1.99 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 12469 0 0 0 199 0 0 0 20 0 3 0 64765466 219226112 37623 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 5.07 s
Current children cumulated vsize: 214088 KiB
Current children cumulated memory: 150492 KiB

[startup+6.30021 s]
/proc/loadavg: 8.01 8.09 8.08 9/272 72041
/proc/meminfo: memFree=123015420/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=214088 memory=158556 CPUtime=11.42 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 54946 0 0 0 1136 6 0 0 20 0 3 0 64765359 219226112 39639 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 53522 39639 2144 2102 0 43386 0
[pid=72037/tid=72039] ppid=72034 vsize=214088 memory=0 CPUtime=5.19 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 22227 0 0 0 517 2 0 0 20 0 3 0 64765466 219226112 39639 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=214088 memory=157276 CPUtime=5.15 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 17011 0 0 0 514 1 0 0 20 0 3 0 64765466 219226112 39639 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 11.42 s
Current children cumulated vsize: 214088 KiB
Current children cumulated memory: 158556 KiB

[startup+12.7002 s]
/proc/loadavg: 8.01 8.09 8.08 9/272 72041
/proc/meminfo: memFree=122995020/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=242316 memory=182940 CPUtime=24.13 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 82939 0 0 0 2403 10 0 0 20 0 3 0 64765359 248131584 45735 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 60579 45735 2144 2102 0 52256 0
[pid=72037/tid=72039] ppid=72034 vsize=242316 memory=10752 CPUtime=11.57 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 41169 0 0 0 1152 5 0 0 20 0 3 0 64765466 248131584 45735 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=242316 memory=0 CPUtime=11.48 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 25995 0 0 0 1147 1 0 0 20 0 3 0 64765466 248131584 45735 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 24.13 s
Current children cumulated vsize: 242316 KiB
Current children cumulated memory: 182940 KiB

[startup+25.5002 s]
/proc/loadavg: 8.08 8.10 8.09 9/272 72041
/proc/meminfo: memFree=122985136/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=242316 memory=186016 CPUtime=49.55 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 88085 0 0 0 4943 12 0 0 20 0 3 0 64765359 248131584 46504 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 60579 46504 2144 2102 0 52538 0
[pid=72037/tid=72039] ppid=72034 vsize=242316 memory=185760 CPUtime=24.31 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 43560 0 0 0 2425 6 0 0 20 0 3 0 64765466 248131584 46504 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=242316 memory=163764 CPUtime=24.15 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 28746 0 0 0 2413 2 0 0 20 0 3 0 64765466 248131584 46504 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 49.55 s
Current children cumulated vsize: 242316 KiB
Current children cumulated memory: 186016 KiB

[startup+51.1055 s]
/proc/loadavg: 8.05 8.09 8.08 9/272 72041
/proc/meminfo: memFree=122959328/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=242316 memory=199332 CPUtime=100.4 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 120477 0 0 0 10022 18 0 0 20 0 3 0 64765359 248131584 49833 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 60579 49833 2144 2102 0 56158 0
[pid=72037/tid=72039] ppid=72034 vsize=242316 memory=199076 CPUtime=49.82 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 57327 0 0 0 4972 10 0 0 20 0 3 0 64765466 248131584 49833 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=242316 memory=7880 CPUtime=49.48 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 47299 0 0 0 4944 4 0 0 20 0 3 0 64765466 248131584 49833 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 100.4 s
Current children cumulated vsize: 242316 KiB
Current children cumulated memory: 199332 KiB

[startup+102.3 s]
/proc/loadavg: 8.06 8.09 8.09 9/272 72044
/proc/meminfo: memFree=122921188/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=307852 memory=234996 CPUtime=202.08 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 167965 0 0 0 20184 24 0 0 20 0 3 0 64765359 315240448 58749 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 76963 58749 2144 2102 0 65023 0
[pid=72037/tid=72039] ppid=72034 vsize=307852 memory=199336 CPUtime=100.83 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 89929 0 0 0 10069 14 0 0 20 0 3 0 64765466 315240448 58749 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=307852 memory=234996 CPUtime=100.14 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 62062 0 0 0 10008 6 0 0 20 0 3 0 64765466 315240448 58749 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 202.08 s
Current children cumulated vsize: 307852 KiB
Current children cumulated memory: 234996 KiB

[startup+162.3 s]
/proc/loadavg: 8.31 8.17 8.11 9/271 72048
/proc/meminfo: memFree=122924108/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=307852 memory=235636 CPUtime=321.26 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 198108 0 0 0 32098 28 0 0 20 0 3 0 64765359 315240448 58909 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 76963 58909 2144 2102 0 65247 0
[pid=72037/tid=72039] ppid=72034 vsize=307852 memory=235636 CPUtime=160.61 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 106830 0 0 0 16045 16 0 0 20 0 3 0 64765466 315240448 58909 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=307852 memory=16440 CPUtime=159.52 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 75200 0 0 0 15945 7 0 0 20 0 3 0 64765466 315240448 58909 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 321.26 s
Current children cumulated vsize: 307852 KiB
Current children cumulated memory: 235636 KiB

[startup+222.3 s]
/proc/loadavg: 8.32 8.21 8.13 9/273 72056
/proc/meminfo: memFree=122907292/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=307852 memory=237172 CPUtime=440.45 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 206783 0 0 0 44014 31 0 0 20 0 3 0 64765359 315240448 59293 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 76963 59293 2144 2102 0 65843 0
[pid=72037/tid=72039] ppid=72034 vsize=307852 memory=18944 CPUtime=220.38 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 107422 0 0 0 22022 16 0 0 20 0 3 0 64765466 315240448 59293 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=307852 memory=16440 CPUtime=218.88 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 83268 0 0 0 21880 8 0 0 20 0 3 0 64765466 315240448 59293 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 440.45 s
Current children cumulated vsize: 307852 KiB
Current children cumulated memory: 237172 KiB

[startup+282.3 s]
/proc/loadavg: 8.22 8.20 8.13 9/273 72058
/proc/meminfo: memFree=122880516/131250000 swapFree=33009904/33010684

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

Current children cumulated memory: 257780 KiB

[startup+1302.3 s]
/proc/loadavg: 8.04 8.08 8.08 9/272 72163
/proc/meminfo: memFree=122744004/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=373388 memory=257780 CPUtime=2585.79 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 249223 0 0 0 258522 57 0 0 20 0 3 0 64765359 382349312 64445 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 93347 64445 2144 2102 0 68931 0
[pid=72037/tid=72039] ppid=72034 vsize=373388 memory=257780 CPUtime=1296.71 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 117593 0 0 0 129648 23 0 0 20 0 3 0 64765466 382349312 64445 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=373388 memory=257780 CPUtime=1287.4 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 115334 0 0 0 128724 16 0 0 20 0 3 0 64765466 382349312 64445 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 2585.79 s
Current children cumulated vsize: 373388 KiB
Current children cumulated memory: 257780 KiB

[startup+1362.3 s]
/proc/loadavg: 8.11 8.09 8.09 9/273 72168
/proc/meminfo: memFree=122754756/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=373388 memory=259700 CPUtime=2705.01 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 249554 0 0 0 270443 58 0 0 20 0 3 0 64765359 382349312 64925 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 93347 64925 2144 2102 0 69475 0
[pid=72037/tid=72039] ppid=72034 vsize=373388 memory=257780 CPUtime=1356.52 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 117881 0 0 0 135628 24 0 0 20 0 3 0 64765466 382349312 64925 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=373388 memory=259700 CPUtime=1346.79 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 115375 0 0 0 134663 16 0 0 20 0 3 0 64765466 382349312 64925 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 2705.01 s
Current children cumulated vsize: 373388 KiB
Current children cumulated memory: 259700 KiB

[startup+1422.3 s]
/proc/loadavg: 8.09 8.09 8.09 9/273 72174
/proc/meminfo: memFree=122752864/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=373388 memory=259828 CPUtime=2824.23 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 249780 0 0 0 282364 59 0 0 20 0 3 0 64765359 382349312 64957 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 93347 64957 2144 2102 0 69475 0
[pid=72037/tid=72039] ppid=72034 vsize=373388 memory=257780 CPUtime=1416.33 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 117881 0 0 0 141609 24 0 0 20 0 3 0 64765466 382349312 64957 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=373388 memory=259828 CPUtime=1406.18 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 115601 0 0 0 140602 16 0 0 20 0 3 0 64765466 382349312 64957 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 2824.23 s
Current children cumulated vsize: 373388 KiB
Current children cumulated memory: 259828 KiB

[startup+1482.3 s]
/proc/loadavg: 8.07 8.08 8.09 9/273 72176
/proc/meminfo: memFree=122766724/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=373388 memory=259828 CPUtime=2943.46 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 250276 0 0 0 294286 60 0 0 20 0 3 0 64765359 382349312 64957 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 93347 64957 2144 2102 0 69475 0
[pid=72037/tid=72039] ppid=72034 vsize=373388 memory=259828 CPUtime=1476.14 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 118310 0 0 0 147589 25 0 0 20 0 3 0 64765466 382349312 64957 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=373388 memory=259828 CPUtime=1465.57 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 115647 0 0 0 146541 16 0 0 20 0 3 0 64765466 382349312 64957 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 2943.46 s
Current children cumulated vsize: 373388 KiB
Current children cumulated memory: 259828 KiB

[startup+1542.3 s]
/proc/loadavg: 8.08 8.08 8.09 9/273 72178
/proc/meminfo: memFree=122763336/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=373388 memory=259828 CPUtime=3062.69 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 250487 0 0 0 306208 61 0 0 20 0 3 0 64765359 382349312 64957 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 93347 64957 2144 2102 0 69475 0
[pid=72037/tid=72039] ppid=72034 vsize=373388 memory=259828 CPUtime=1535.95 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 118521 0 0 0 153570 25 0 0 20 0 3 0 64765466 382349312 64957 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=373388 memory=16440 CPUtime=1524.96 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 115647 0 0 0 152480 16 0 0 20 0 3 0 64765466 382349312 64957 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 3062.69 s
Current children cumulated vsize: 373388 KiB
Current children cumulated memory: 259828 KiB

[startup+1602.3 s]
/proc/loadavg: 8.07 8.08 8.09 9/272 72181
/proc/meminfo: memFree=122761380/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=373388 memory=259956 CPUtime=3181.91 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 250495 0 0 0 318129 62 0 0 20 0 3 0 64765359 382349312 64989 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 93347 64989 2144 2102 0 69475 0
[pid=72037/tid=72039] ppid=72034 vsize=373388 memory=4764 CPUtime=1595.76 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 118528 0 0 0 159551 25 0 0 20 0 3 0 64765466 382349312 64989 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=373388 memory=259956 CPUtime=1584.34 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 115647 0 0 0 158418 16 0 0 20 0 3 0 64765466 382349312 64989 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 3181.91 s
Current children cumulated vsize: 373388 KiB
Current children cumulated memory: 259956 KiB

[startup+1662.3 s]
/proc/loadavg: 8.13 8.10 8.09 9/272 72183
/proc/meminfo: memFree=122765144/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=373388 memory=259956 CPUtime=3301.14 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 250495 0 0 0 330051 63 0 0 20 0 3 0 64765359 382349312 64989 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 93347 64989 2144 2102 0 69475 0
[pid=72037/tid=72039] ppid=72034 vsize=373388 memory=16440 CPUtime=1655.57 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 118528 0 0 0 165531 26 0 0 20 0 3 0 64765466 382349312 64989 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=373388 memory=16440 CPUtime=1643.74 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 115647 0 0 0 164357 17 0 0 20 0 3 0 64765466 382349312 64989 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 3301.14 s
Current children cumulated vsize: 373388 KiB
Current children cumulated memory: 259956 KiB

[startup+1722.3 s]
/proc/loadavg: 6.39 7.66 7.95 5/256 72245
/proc/meminfo: memFree=123303432/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=373388 memory=259956 CPUtime=3420.37 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 251136 0 0 0 341972 65 0 0 20 0 3 0 64765359 382349312 64989 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 93347 64989 2144 2102 0 69475 0
[pid=72037/tid=72039] ppid=72034 vsize=373388 memory=259956 CPUtime=1715.35 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 119143 0 0 0 171509 26 0 0 20 0 3 0 64765466 382349312 64989 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=373388 memory=259956 CPUtime=1703.16 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 115653 0 0 0 170299 17 0 0 20 0 3 0 64765466 382349312 64989 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 3420.37 s
Current children cumulated vsize: 373388 KiB
Current children cumulated memory: 259956 KiB

[startup+1782.3 s]
/proc/loadavg: 4.99 7.02 7.71 5/257 72248
/proc/meminfo: memFree=123329684/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=373388 memory=259956 CPUtime=3539.58 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 251218 0 0 0 353892 66 0 0 20 0 3 0 64765359 382349312 64989 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 93347 64989 2144 2102 0 69475 0
[pid=72037/tid=72039] ppid=72034 vsize=373388 memory=16440 CPUtime=1775.12 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 119223 0 0 0 177486 26 0 0 20 0 3 0 64765466 382349312 64989 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=373388 memory=18944 CPUtime=1762.57 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 115655 0 0 0 176240 17 0 0 20 0 3 0 64765466 382349312 64989 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 3539.58 s
Current children cumulated vsize: 373388 KiB
Current children cumulated memory: 259956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.8 s]
/proc/loadavg: 4.60 6.73 7.59 5/258 72250
/proc/meminfo: memFree=123321492/131250000 swapFree=33009904/33010684
[pid=72037] ppid=72034 vsize=373388 memory=268944 CPUtime=3600.19 cores=5,7
/proc/72037/stat : 72037 (cp-sat-runner) S 72034 72037 70209 0 -1 4194304 252574 0 0 0 359953 66 0 0 20 0 3 0 64765359 382349312 67236 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
/proc/72037/statm: 93347 67236 2144 2102 0 71382 0
[pid=72037/tid=72039] ppid=72034 vsize=373388 memory=-8183430284767891908 CPUtime=1805.5 cores=5,7
/proc/72037/task/72039/stat : 72039 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 120579 0 0 0 180524 26 0 0 20 0 3 0 64765466 382349312 67236 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
[pid=72037/tid=72040] ppid=72034 vsize=373388 memory=268944 CPUtime=1792.78 cores=5,7
/proc/72037/task/72040/stat : 72040 (cp-sat-runner) R 72034 72037 70209 0 -1 4194368 115655 0 0 0 179261 17 0 0 20 0 3 0 64765466 382349312 67236 18446744073709551615 4198400 12805993 140721548083296 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 27353088 140721548085528 140721548085733 140721548085733 140721548091335 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 373388 KiB
Current children cumulated memory: 268944 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+1812.81 s]
# the end of solver process 72037 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3599.55 s, system=0.671996 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0

Real time (s): 1812.81
CPU time (s): 3600.22
CPU user time (s): 3599.55
CPU system time (s): 0.671996
CPU usage (%): 198.599
Max. virtual memory (cumulated for all children) (KiB): 373388
Max. memory (cumulated for all children) (KiB): 268944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.55
system time used= 0.671996
maximum resident set size= 269200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252579
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= 21692
involuntary context switches= 119928


# summary of solver processes directly reported to runsolver:
#   pid: 72037
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3599.55
#   total CPU system time (s): 0.671996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.84854 second user time and 8.34541 second system time

The end

Begin job on nodeC033 at 2025-07-02 23:14:19
IDJOB=4508110
IDBENCH=158395
IDSOLVER=3320
FILE ID=nodeC033/4508110-1751490859
RUNJOBID= nodeC033-1751481597-70222
SLURM_JOB_ID= 9598527
Free space on /tmp= 429868 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug6.5.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508110-1751490859/watcher-4508110-1751490859 -o /tmp/evaluation-result-4508110-1751490859/solver-4508110-1751490859 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751481597-70222 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1262603198 --competition_mode --input HOME/instance-4508110-1751490859.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 83ba36613360d6ce9be489830858dbc7
RANDOM SEED=1262603198

nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.952
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.059
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.073
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.065
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.083
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3607.928
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.075
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.049
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123147828 kB
MemAvailable:   129033316 kB
Buffers:            2128 kB
Cached:          6639256 kB
SwapCached:           68 kB
Active:          1266276 kB
Inactive:        6059112 kB
Active(anon):     696508 kB
Inactive(anon):     5524 kB
Active(file):     569768 kB
Inactive(file):  6053588 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13736 kB
Writeback:            56 kB
AnonPages:        687104 kB
Mapped:           130612 kB
Shmem:             18028 kB
KReclaimable:     202744 kB
Slab:             294424 kB
SReclaimable:     202744 kB
SUnreclaim:        91680 kB
KernelStack:        4352 kB
PageTables:         4396 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1112920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    342016 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429880 MiB
End job on nodeC033 at 2025-07-02 23:44:32