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

OK	1

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: 63837 MiB (62715 MiB free)
  memory of node 1: 64465 MiB (60204 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525017-1751614155/watcher-4525017-1751614155 -o /tmp/evaluation-result-4525017-1751614155/solver-4525017-1751614155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90041 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1408184241 --competition_mode --input HOME/instance-4525017-1751614155.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=92988, runsolver pid=92985

[startup+0.100071 s]*
/proc/loadavg: 7.97 7.92 6.61 8/258 92989
/proc/meminfo: memFree=125862948/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=26772 memory=21508 CPUtime=0.1 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) R 92985 92988 90031 0 -1 4194304 4736 0 0 0 9 1 0 0 20 0 1 0 77094711 27414528 5377 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 6693 5377 1408 2102 0 4233 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26772 KiB
Current children cumulated memory: 21508 KiB

[startup+0.213357 s]*
/proc/loadavg: 7.97 7.92 6.61 8/258 92989
/proc/meminfo: memFree=125862948/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=30704 memory=25860 CPUtime=0.22 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) R 92985 92988 90031 0 -1 4194304 5753 0 0 0 20 2 0 0 20 0 1 0 77094711 31440896 6465 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 7676 6465 1472 2102 0 5216 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 30704 KiB
Current children cumulated memory: 25860 KiB

[startup+0.313336 s]*
/proc/loadavg: 7.97 7.92 6.61 8/258 92989
/proc/meminfo: memFree=125859168/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=33548 memory=28804 CPUtime=0.31 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) R 92985 92988 90031 0 -1 4194304 6458 0 0 0 29 2 0 0 20 0 1 0 77094711 34353152 7201 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 8387 7201 1504 2102 0 5927 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33548 KiB
Current children cumulated memory: 28804 KiB

[startup+0.700331 s]
/proc/loadavg: 7.97 7.92 6.61 8/258 92989
/proc/meminfo: memFree=125847576/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=46940 memory=43336 CPUtime=0.69 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) R 92985 92988 90031 0 -1 4194304 12881 0 0 0 65 4 0 0 20 0 1 0 77094711 48066560 10834 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 11735 10834 1888 2102 0 9275 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46940 KiB
Current children cumulated memory: 43336 KiB

[startup+1.50031 s]
/proc/loadavg: 7.97 7.92 6.61 8/258 92989
/proc/meminfo: memFree=125835844/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=208272 memory=71528 CPUtime=1.48 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) S 92985 92988 90031 0 -1 4194304 22476 0 0 0 143 5 0 0 20 0 3 0 77094711 213270528 17882 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 52068 17882 1984 2102 0 21434 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 208272 KiB
Current children cumulated memory: 71528 KiB

[startup+3.10721 s]
/proc/loadavg: 7.97 7.92 6.62 9/260 92991
/proc/meminfo: memFree=125751544/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=208272 memory=140656 CPUtime=4.64 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) S 92985 92988 90031 0 -1 4194304 42576 0 0 0 453 11 0 0 20 0 3 0 77094711 213270528 35164 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 52068 35164 2208 2102 0 43623 0
[pid=92988/tid=92990] ppid=92985 vsize=208272 memory=0 CPUtime=1.57 cores=0,2
/proc/92988/task/92990/stat : 92990 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 14347 0 0 0 154 3 0 0 20 0 3 0 77094857 213270528 35164 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
[pid=92988/tid=92991] ppid=92985 vsize=208272 memory=126252 CPUtime=1.59 cores=0,2
/proc/92988/task/92991/stat : 92991 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 9511 0 0 0 157 2 0 0 20 0 3 0 77094857 213270528 35164 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
Current children cumulated CPU time: 4.64 s
Current children cumulated vsize: 208272 KiB
Current children cumulated memory: 140656 KiB

[startup+6.30024 s]
/proc/loadavg: 7.97 7.92 6.62 9/260 92991
/proc/meminfo: memFree=125730996/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=208272 memory=150000 CPUtime=10.97 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) S 92985 92988 90031 0 -1 4194304 58400 0 0 0 1085 12 0 0 20 0 3 0 77094711 213270528 37500 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 52068 37500 2208 2102 0 44965 0
[pid=92988/tid=92990] ppid=92985 vsize=208272 memory=0 CPUtime=4.73 cores=0,2
/proc/92988/task/92990/stat : 92990 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 23037 0 0 0 469 4 0 0 20 0 3 0 77094857 213270528 37500 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
[pid=92988/tid=92991] ppid=92985 vsize=208272 memory=149872 CPUtime=4.73 cores=0,2
/proc/92988/task/92991/stat : 92991 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 13877 0 0 0 471 2 0 0 20 0 3 0 77094857 213270528 37500 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
Current children cumulated CPU time: 10.97 s
Current children cumulated vsize: 208272 KiB
Current children cumulated memory: 150000 KiB

[startup+12.7002 s]
/proc/loadavg: 7.98 7.92 6.63 9/260 92991
/proc/meminfo: memFree=125701012/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=208272 memory=151664 CPUtime=23.68 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) S 92985 92988 90031 0 -1 4194304 79993 0 0 0 2354 14 0 0 20 0 3 0 77094711 213270528 37916 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 52068 37916 2208 2102 0 45357 0
[pid=92988/tid=92990] ppid=92985 vsize=208272 memory=11264 CPUtime=11.07 cores=0,2
/proc/92988/task/92990/stat : 92990 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 36080 0 0 0 1102 5 0 0 20 0 3 0 77094857 213270528 37916 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
[pid=92988/tid=92991] ppid=92985 vsize=208272 memory=151536 CPUtime=11.1 cores=0,2
/proc/92988/task/92991/stat : 92991 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 21499 0 0 0 1107 3 0 0 20 0 3 0 77094857 213270528 37916 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
Current children cumulated CPU time: 23.68 s
Current children cumulated vsize: 208272 KiB
Current children cumulated memory: 151664 KiB

[startup+19.2347 s]
# the end of solver process 92988 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=36.4826 s, system=0.169115 s

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

[startup+12.8003 s]
/proc/loadavg: 7.98 7.92 6.63 9/260 92991
/proc/meminfo: memFree=125701012/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=208272 memory=151664 CPUtime=23.88 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) S 92985 92988 90031 0 -1 4194304 80182 0 0 0 2374 14 0 0 20 0 3 0 77094711 213270528 37916 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 52068 37916 2208 2102 0 45357 0
[pid=92988/tid=92990] ppid=92985 vsize=208272 memory=28384 CPUtime=11.17 cores=0,2
/proc/92988/task/92990/stat : 92990 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 36157 0 0 0 1112 5 0 0 20 0 3 0 77094857 213270528 37916 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
[pid=92988/tid=92991] ppid=92985 vsize=208272 memory=151536 CPUtime=11.2 cores=0,2
/proc/92988/task/92991/stat : 92991 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 21611 0 0 0 1117 3 0 0 20 0 3 0 77094857 213270528 37916 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
Current children cumulated CPU time: 23.88 s
Current children cumulated vsize: 208272 KiB
Current children cumulated memory: 151664 KiB

[startup+16.0002 s]*
/proc/loadavg: 8.06 7.94 6.64 9/260 92992
/proc/meminfo: memFree=125732744/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=208272 memory=151664 CPUtime=30.25 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) S 92985 92988 90031 0 -1 4194304 80635 0 0 0 3010 15 0 0 20 0 3 0 77094711 213270528 37916 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 52068 37916 2208 2102 0 45357 0
[pid=92988/tid=92990] ppid=92985 vsize=208272 memory=-8183429163630431935 CPUtime=14.33 cores=0,2
/proc/92988/task/92990/stat : 92990 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 36449 0 0 0 1428 5 0 0 20 0 3 0 77094857 213270528 37916 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
[pid=92988/tid=92991] ppid=92985 vsize=208272 memory=447804 CPUtime=14.39 cores=0,2
/proc/92988/task/92991/stat : 92991 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 21759 0 0 0 1436 3 0 0 20 0 3 0 77094857 213270528 37916 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
Current children cumulated CPU time: 30.25 s
Current children cumulated vsize: 208272 KiB
Current children cumulated memory: 151664 KiB

[startup+17.6002 s]
/proc/loadavg: 8.06 7.94 6.64 9/260 92992
/proc/meminfo: memFree=125704072/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=208272 memory=151664 CPUtime=33.42 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) S 92985 92988 90031 0 -1 4194304 80699 0 0 0 3327 15 0 0 20 0 3 0 77094711 213270528 37916 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 52068 37916 2208 2102 0 45357 0
[pid=92988/tid=92990] ppid=92985 vsize=208272 memory=151664 CPUtime=15.91 cores=0,2
/proc/92988/task/92990/stat : 92990 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 36511 0 0 0 1586 5 0 0 20 0 3 0 77094857 213270528 37916 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
[pid=92988/tid=92991] ppid=92985 vsize=208272 memory=18560 CPUtime=15.97 cores=0,2
/proc/92988/task/92991/stat : 92991 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 21760 0 0 0 1594 3 0 0 20 0 3 0 77094857 213270528 37916 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
Current children cumulated CPU time: 33.42 s
Current children cumulated vsize: 208272 KiB
Current children cumulated memory: 151664 KiB

[startup+18.4002 s]
/proc/loadavg: 8.05 7.94 6.65 9/260 92992
/proc/meminfo: memFree=125690272/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=208272 memory=153200 CPUtime=35 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) S 92985 92988 90031 0 -1 4194304 83189 0 0 0 3485 15 0 0 20 0 3 0 77094711 213270528 38300 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 52068 38300 2208 2102 0 45713 0
[pid=92988/tid=92990] ppid=92985 vsize=208272 memory=3072 CPUtime=16.7 cores=0,2
/proc/92988/task/92990/stat : 92990 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 38181 0 0 0 1665 5 0 0 20 0 3 0 77094857 213270528 38300 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
[pid=92988/tid=92991] ppid=92985 vsize=208272 memory=6784 CPUtime=16.76 cores=0,2
/proc/92988/task/92991/stat : 92991 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 21773 0 0 0 1673 3 0 0 20 0 3 0 77094857 213270528 38300 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
Current children cumulated CPU time: 35 s
Current children cumulated vsize: 208272 KiB
Current children cumulated memory: 153200 KiB

[startup+18.8002 s]
/proc/loadavg: 8.05 7.94 6.65 9/260 92992
/proc/meminfo: memFree=125690272/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=208272 memory=153200 CPUtime=35.8 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) S 92985 92988 90031 0 -1 4194304 83190 0 0 0 3565 15 0 0 20 0 3 0 77094711 213270528 38300 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 52068 38300 2208 2102 0 45713 0
[pid=92988/tid=92990] ppid=92985 vsize=208272 memory=245635481903 CPUtime=17.1 cores=0,2
/proc/92988/task/92990/stat : 92990 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 38182 0 0 0 1705 5 0 0 20 0 3 0 77094857 213270528 38300 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
[pid=92988/tid=92991] ppid=92985 vsize=208272 memory=55212677268211 CPUtime=17.16 cores=0,2
/proc/92988/task/92991/stat : 92991 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 21773 0 0 0 1713 3 0 0 20 0 3 0 77094857 213270528 38300 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
Current children cumulated CPU time: 35.8 s
Current children cumulated vsize: 208272 KiB
Current children cumulated memory: 153200 KiB

[startup+19.2002 s]
/proc/loadavg: 8.05 7.94 6.65 9/260 92992
/proc/meminfo: memFree=125788892/131382116 swapFree=33009904/33010684
[pid=92988] ppid=92985 vsize=208272 memory=153712 CPUtime=36.59 cores=0,2
/proc/92988/stat : 92988 (cp-sat-runner) S 92985 92988 90031 0 -1 4194304 83358 0 0 0 3644 15 0 0 20 0 3 0 77094711 213270528 38428 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
/proc/92988/statm: 52068 38428 2208 2102 0 45931 0
[pid=92988/tid=92990] ppid=92985 vsize=208272 memory=151664 CPUtime=17.49 cores=0,2
/proc/92988/task/92990/stat : 92990 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 38350 0 0 0 1744 5 0 0 20 0 3 0 77094857 213270528 38428 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
[pid=92988/tid=92991] ppid=92985 vsize=208272 memory=4123526061000556923 CPUtime=17.55 cores=0,2
/proc/92988/task/92991/stat : 92991 (cp-sat-runner) R 92985 92988 90031 0 -1 4194368 21773 0 0 0 1752 3 0 0 20 0 3 0 77094857 213270528 38428 18446744073709551615 4198400 12805993 140728101463280 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 14146912 14333620 31358976 140728101472534 140728101472739 140728101472739 140728101478343 0
Current children cumulated CPU time: 36.59 s
Current children cumulated vsize: 208272 KiB
Current children cumulated memory: 153712 KiB

Child status: 10

Real time (s): 19.2348
CPU time (s): 36.6518
CPU user time (s): 36.4826
CPU system time (s): 0.169115
CPU usage (%): 190.549
Max. virtual memory (cumulated for all children) (KiB): 208272
Max. memory (cumulated for all children) (KiB): 153712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.4826
system time used= 0.169115
maximum resident set size= 153840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88240
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= 807
involuntary context switches= 2028


# summary of solver processes directly reported to runsolver:
#   pid: 92988
#   total CPU time (s): 36.6518
#   total CPU user time (s): 36.4826
#   total CPU system time (s): 0.169115

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065587 second user time and 0.172057 second system time

The end

Begin job on nodeC004 at 2025-07-04 09:29:15
IDJOB=4525017
IDBENCH=143384
IDSOLVER=3378
FILE ID=nodeC004/4525017-1751614155
RUNJOBID= nodeC004-1751612733-90041
SLURM_JOB_ID= 9598915
Free space on /tmp= 431632 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo
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 -w /tmp/evaluation-result-4525017-1751614155/watcher-4525017-1751614155 -o /tmp/evaluation-result-4525017-1751614155/solver-4525017-1751614155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751612733-90041 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1408184241 --competition_mode --input HOME/instance-4525017-1751614155.wbo

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

MD5SUM BENCH= f6e1341d84f93f3293ca3ab4698e14a4
RANDOM SEED=1408184241

nodeC004 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	: 0xb00001f
cpu MHz		: 1197.874
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3591.638
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 1197.213
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3591.636
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3591.610
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3592.316
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3591.619
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
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	: 0xb00001f
cpu MHz		: 3591.757
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        125870712 kB
MemAvailable:   126807708 kB
Buffers:            2128 kB
Cached:          1685580 kB
SwapCached:           32 kB
Active:          3715064 kB
Inactive:        1090600 kB
Active(anon):    3125152 kB
Inactive(anon):    10736 kB
Active(file):     589912 kB
Inactive(file):  1079864 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13288 kB
Writeback:            12 kB
AnonPages:       3119772 kB
Mapped:           130084 kB
Shmem:             17932 kB
KReclaimable:     213696 kB
Slab:             300556 kB
SReclaimable:     213696 kB
SUnreclaim:        86860 kB
KernelStack:        4160 kB
PageTables:         9136 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    3651436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149560 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1748992 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431616 MiB
End job on nodeC004 at 2025-07-04 09:29:35