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

OK	0

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493320-1751134162/watcher-4493320-1751134162 -o /tmp/evaluation-result-4493320-1751134162/solver-4493320-1751134162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11337 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1309337057 --competition_mode --input HOME/instance-4493320-1751134162.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=13734, runsolver pid=13731

[startup+0.100064 s]*
/proc/loadavg: 7.94 6.57 3.48 8/271 13735
/proc/meminfo: memFree=126980060/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=22364 memory=17972 CPUtime=0.09 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) R 13731 13734 11319 0 -1 4194304 4296 0 0 0 9 0 0 0 20 0 1 0 29094922 22900736 4493 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 5591 4493 1600 2102 0 3131 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22364 KiB
Current children cumulated memory: 17972 KiB

[startup+0.205723 s]*
/proc/loadavg: 7.94 6.57 3.48 8/271 13735
/proc/meminfo: memFree=126978296/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=26420 memory=22952 CPUtime=0.19 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) R 13731 13734 11319 0 -1 4194304 6260 0 0 0 19 0 0 0 20 0 1 0 29094922 27054080 5738 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 6605 5738 1856 2102 0 4145 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26420 KiB
Current children cumulated memory: 22952 KiB

[startup+0.305711 s]*
/proc/loadavg: 7.94 6.57 3.48 8/271 13735
/proc/meminfo: memFree=126970232/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=26420 memory=23080 CPUtime=0.29 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) R 13731 13734 11319 0 -1 4194304 6266 0 0 0 29 0 0 0 20 0 1 0 29094922 27054080 5770 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 6605 5770 1856 2102 0 4145 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26420 KiB
Current children cumulated memory: 23080 KiB

[startup+0.70018 s]
/proc/loadavg: 7.94 6.57 3.48 8/271 13735
/proc/meminfo: memFree=126970232/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=27216 memory=24232 CPUtime=0.69 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) R 13731 13734 11319 0 -1 4194304 6529 0 0 0 68 1 0 0 20 0 1 0 29094922 27869184 6058 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 6804 6058 1888 2102 0 4344 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27216 KiB
Current children cumulated memory: 24232 KiB

[startup+1.50016 s]
/proc/loadavg: 7.94 6.57 3.48 8/271 13735
/proc/meminfo: memFree=126963020/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=29796 memory=26792 CPUtime=1.49 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) R 13731 13734 11319 0 -1 4194304 7172 0 0 0 148 1 0 0 20 0 1 0 29094922 30511104 6698 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 7449 6698 1888 2102 0 4989 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29796 KiB
Current children cumulated memory: 26792 KiB

[startup+3.10558 s]
/proc/loadavg: 7.94 6.57 3.48 9/273 13737
/proc/meminfo: memFree=126912992/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=177324 memory=81320 CPUtime=4.4 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 21959 0 0 0 437 3 0 0 20 0 3 0 29094922 181579776 20330 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 44331 20330 2144 2102 0 23088 0
[pid=13734/tid=13736] ppid=13731 vsize=177324 memory=0 CPUtime=1.33 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 5478 0 0 0 133 0 0 0 20 0 3 0 29095098 181579776 20330 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=177324 memory=74408 CPUtime=1.3 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 9269 0 0 0 129 1 0 0 20 0 3 0 29095098 181579776 20330 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 4.4 s
Current children cumulated vsize: 177324 KiB
Current children cumulated memory: 81320 KiB

[startup+6.30021 s]
/proc/loadavg: 7.95 6.59 3.51 9/273 13737
/proc/meminfo: memFree=126824464/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=242860 memory=133672 CPUtime=10.75 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 61993 0 0 0 1065 10 0 0 20 0 3 0 29094922 248688640 33418 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 60715 33418 2176 2102 0 36218 0
[pid=13734/tid=13736] ppid=13731 vsize=242860 memory=0 CPUtime=4.52 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 12949 0 0 0 451 1 0 0 20 0 3 0 29095098 248688640 33418 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=242860 memory=123560 CPUtime=4.47 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 41799 0 0 0 440 7 0 0 20 0 3 0 29095098 248688640 33418 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 10.75 s
Current children cumulated vsize: 242860 KiB
Current children cumulated memory: 133672 KiB

[startup+12.7002 s]
/proc/loadavg: 7.95 6.62 3.53 9/273 13737
/proc/meminfo: memFree=126740060/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=243664 memory=158344 CPUtime=23.47 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 99649 0 0 0 2333 14 0 0 20 0 3 0 29094922 249511936 39586 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 60916 39586 2176 2102 0 42421 0
[pid=13734/tid=13736] ppid=13731 vsize=243664 memory=0 CPUtime=10.91 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 18925 0 0 0 1089 2 0 0 20 0 3 0 29095098 249511936 39586 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=243664 memory=8320682010721124659 CPUtime=10.8 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 72014 0 0 0 1070 10 0 0 20 0 3 0 29095098 249511936 39586 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 23.47 s
Current children cumulated vsize: 243664 KiB
Current children cumulated memory: 158344 KiB

[startup+25.5002 s]
/proc/loadavg: 7.96 6.69 3.60 9/273 13737
/proc/meminfo: memFree=126726476/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=309200 memory=229896 CPUtime=48.9 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 132415 0 0 0 4870 20 0 0 20 0 3 0 29094922 316620800 57474 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 77300 57474 2176 2102 0 60226 0
[pid=13734/tid=13736] ppid=13731 vsize=309200 memory=14692 CPUtime=23.67 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 24469 0 0 0 2365 2 0 0 20 0 3 0 29095098 316620800 57474 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=309200 memory=136232 CPUtime=23.45 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 99182 0 0 0 2330 15 0 0 20 0 3 0 29095098 316620800 57474 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 48.9 s
Current children cumulated vsize: 309200 KiB
Current children cumulated memory: 229896 KiB

[startup+51.1056 s]
/proc/loadavg: 8.05 6.81 3.73 9/273 13738
/proc/meminfo: memFree=126621348/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=374736 memory=276232 CPUtime=99.76 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 240619 0 0 0 9946 30 0 0 20 0 3 0 29094922 383729664 69058 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 93684 69058 2176 2102 0 71883 0
[pid=13734/tid=13736] ppid=13731 vsize=374736 memory=236552 CPUtime=49.2 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 37391 0 0 0 4916 4 0 0 20 0 3 0 29095098 383729664 69058 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=374736 memory=17408 CPUtime=48.79 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 194345 0 0 0 4855 24 0 0 20 0 3 0 29095098 383729664 69058 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 99.76 s
Current children cumulated vsize: 374736 KiB
Current children cumulated memory: 276232 KiB

[startup+102.3 s]
/proc/loadavg: 8.09 7.01 3.96 9/272 13740
/proc/meminfo: memFree=126487948/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=374736 memory=300808 CPUtime=201.47 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 282134 0 0 0 20111 36 0 0 20 0 3 0 29094922 383729664 75202 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 93684 75202 2176 2102 0 78059 0
[pid=13734/tid=13736] ppid=13731 vsize=374736 memory=300808 CPUtime=100.24 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 47680 0 0 0 10019 5 0 0 20 0 3 0 29095098 383729664 75202 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=374736 memory=298120 CPUtime=99.41 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 225505 0 0 0 9913 28 0 0 20 0 3 0 29095098 383729664 75202 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 201.47 s
Current children cumulated vsize: 374736 KiB
Current children cumulated memory: 300808 KiB

[startup+162.3 s]
/proc/loadavg: 8.08 7.21 4.22 9/273 13746
/proc/meminfo: memFree=126429452/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=374736 memory=313224 CPUtime=320.66 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 388689 0 0 0 32021 45 0 0 20 0 3 0 29094922 383729664 78306 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 93684 78306 2176 2102 0 81151 0
[pid=13734/tid=13736] ppid=13731 vsize=374736 memory=303752 CPUtime=160.06 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 57733 0 0 0 16000 6 0 0 20 0 3 0 29095098 383729664 78306 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=374736 memory=312584 CPUtime=158.75 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 321942 0 0 0 15839 36 0 0 20 0 3 0 29095098 383729664 78306 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 320.66 s
Current children cumulated vsize: 374736 KiB
Current children cumulated memory: 313224 KiB

[startup+222.3 s]
/proc/loadavg: 8.10 7.37 4.46 9/272 13750
/proc/meminfo: memFree=126359756/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=374736 memory=335368 CPUtime=439.85 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 463245 0 0 0 43932 53 0 0 20 0 3 0 29094922 383729664 83842 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 93684 83842 2176 2102 0 86703 0
[pid=13734/tid=13736] ppid=13731 vsize=374736 memory=319240 CPUtime=219.88 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 70769 0 0 0 21981 7 0 0 20 0 3 0 29095098 383729664 83842 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=374736 memory=318216 CPUtime=218.08 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 383418 0 0 0 21766 42 0 0 20 0 3 0 29095098 383729664 83842 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 439.85 s
Current children cumulated vsize: 374736 KiB
Current children cumulated memory: 335368 KiB

[startup+282.3 s]
/proc/loadavg: 8.09 7.50 4.69 9/272 13753
/proc/meminfo: memFree=126308552/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=374736 memory=340488 CPUtime=559.04 cores=5,7

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

/proc/13734/statm: 126452 101650 2176 2102 0 104588 0
[pid=13734/tid=13736] ppid=13731 vsize=505808 memory=406472 CPUtime=578.83 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 136718 0 0 0 57866 17 0 0 20 0 3 0 29095098 517947392 101650 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=505808 memory=406600 CPUtime=574.11 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 523160 0 0 0 57353 58 0 0 20 0 3 0 29095098 517947392 101650 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 1155.02 s
Current children cumulated vsize: 505808 KiB
Current children cumulated memory: 406600 KiB

[startup+642.3 s]
/proc/loadavg: 8.05 7.93 5.81 9/271 13766
/proc/meminfo: memFree=126224128/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=505808 memory=406600 CPUtime=1274.22 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 675150 0 0 0 127338 84 0 0 20 0 3 0 29094922 517947392 101650 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 126452 101650 2176 2102 0 104589 0
[pid=13734/tid=13736] ppid=13731 vsize=505808 memory=406472 CPUtime=638.64 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 141040 0 0 0 63847 17 0 0 20 0 3 0 29095098 517947392 101650 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=505808 memory=406600 CPUtime=633.46 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 524878 0 0 0 63286 60 0 0 20 0 3 0 29095098 517947392 101650 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 1274.22 s
Current children cumulated vsize: 505808 KiB
Current children cumulated memory: 406600 KiB

[startup+702.3 s]
/proc/loadavg: 8.16 7.99 5.96 9/271 13768
/proc/meminfo: memFree=126216148/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=505808 memory=412744 CPUtime=1393.42 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 697630 0 0 0 139256 86 0 0 20 0 3 0 29094922 517947392 103186 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 126452 103186 2176 2102 0 106128 0
[pid=13734/tid=13736] ppid=13731 vsize=505808 memory=406472 CPUtime=698.46 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 156371 0 0 0 69828 18 0 0 20 0 3 0 29095098 517947392 103186 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=505808 memory=412744 CPUtime=692.8 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 531919 0 0 0 69219 61 0 0 20 0 3 0 29095098 517947392 103186 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 1393.42 s
Current children cumulated vsize: 505808 KiB
Current children cumulated memory: 412744 KiB

[startup+762.3 s]
/proc/loadavg: 8.11 8.01 6.10 9/272 13775
/proc/meminfo: memFree=126143108/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=505808 memory=418760 CPUtime=1512.61 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 700337 0 0 0 151174 87 0 0 20 0 3 0 29094922 517947392 104690 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 126452 104690 2176 2102 0 107615 0
[pid=13734/tid=13736] ppid=13731 vsize=505808 memory=418760 CPUtime=758.29 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 157092 0 0 0 75811 18 0 0 20 0 3 0 29095098 517947392 104690 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=505808 memory=17408 CPUtime=752.14 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 533902 0 0 0 75152 62 0 0 20 0 3 0 29095098 517947392 104690 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 1512.61 s
Current children cumulated vsize: 505808 KiB
Current children cumulated memory: 418760 KiB

[startup+822.3 s]
/proc/loadavg: 8.08 8.02 6.22 9/272 13779
/proc/meminfo: memFree=126127424/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=505808 memory=418760 CPUtime=1631.82 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 716292 0 0 0 163093 89 0 0 20 0 3 0 29094922 517947392 104690 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 126452 104690 2176 2102 0 107615 0
[pid=13734/tid=13736] ppid=13731 vsize=505808 memory=14692 CPUtime=818.12 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 171632 0 0 0 81792 20 0 0 20 0 3 0 29095098 517947392 104690 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=505808 memory=4252 CPUtime=811.48 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 535242 0 0 0 81086 62 0 0 20 0 3 0 29095098 517947392 104690 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 1631.82 s
Current children cumulated vsize: 505808 KiB
Current children cumulated memory: 418760 KiB

[startup+882.3 s]
/proc/loadavg: 8.08 8.03 6.34 9/273 13782
/proc/meminfo: memFree=126147128/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=505808 memory=418760 CPUtime=1751.02 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 720678 0 0 0 175012 90 0 0 20 0 3 0 29094922 517947392 104690 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 126452 104690 2176 2102 0 107615 0
[pid=13734/tid=13736] ppid=13731 vsize=505808 memory=14692 CPUtime=877.95 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 172446 0 0 0 87775 20 0 0 20 0 3 0 29095098 517947392 104690 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=505808 memory=418760 CPUtime=870.81 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 538812 0 0 0 87018 63 0 0 20 0 3 0 29095098 517947392 104690 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 1751.02 s
Current children cumulated vsize: 505808 KiB
Current children cumulated memory: 418760 KiB

[startup+942.3 s]
/proc/loadavg: 8.23 8.07 6.47 9/273 13784
/proc/meminfo: memFree=126152764/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=505808 memory=440648 CPUtime=1870.2 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 750965 0 0 0 186924 96 0 0 20 0 3 0 29094922 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 126452 110162 2176 2102 0 113098 0
[pid=13734/tid=13736] ppid=13731 vsize=505808 memory=5632 CPUtime=937.76 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 201077 0 0 0 93752 24 0 0 20 0 3 0 29095098 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=505808 memory=14692 CPUtime=930.15 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 540426 0 0 0 92951 64 0 0 20 0 3 0 29095098 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 1870.2 s
Current children cumulated vsize: 505808 KiB
Current children cumulated memory: 440648 KiB

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

# cumulated CPU time of all completed processes:  user=1875.16 s, system=0.988312 s

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

[startup+942.4 s]
/proc/loadavg: 8.23 8.07 6.47 9/273 13784
/proc/meminfo: memFree=126152764/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=505808 memory=440648 CPUtime=1870.4 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 750965 0 0 0 186944 96 0 0 20 0 3 0 29094922 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 126452 110162 2176 2102 0 113098 0
[pid=13734/tid=13736] ppid=13731 vsize=505808 memory=440648 CPUtime=937.86 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 201077 0 0 0 93762 24 0 0 20 0 3 0 29095098 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=505808 memory=4764 CPUtime=930.25 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 540426 0 0 0 92961 64 0 0 20 0 3 0 29095098 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 1870.4 s
Current children cumulated vsize: 505808 KiB
Current children cumulated memory: 440648 KiB

[startup+944 s]*
/proc/loadavg: 8.23 8.07 6.47 9/273 13784
/proc/meminfo: memFree=126130632/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=505808 memory=440648 CPUtime=1873.59 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 750971 0 0 0 187263 96 0 0 20 0 3 0 29094922 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 126452 110162 2176 2102 0 113098 0
[pid=13734/tid=13736] ppid=13731 vsize=505808 memory=-8183433583185271492 CPUtime=939.46 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 201077 0 0 0 93922 24 0 0 20 0 3 0 29095098 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=505808 memory=4715716974016622234 CPUtime=931.84 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 540432 0 0 0 93120 64 0 0 20 0 3 0 29095098 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 1873.59 s
Current children cumulated vsize: 505808 KiB
Current children cumulated memory: 440648 KiB

[startup+944.8 s]
/proc/loadavg: 8.23 8.07 6.47 9/273 13784
/proc/meminfo: memFree=126130632/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=505808 memory=440648 CPUtime=1875.17 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 750973 0 0 0 187421 96 0 0 20 0 3 0 29094922 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 126452 110162 2176 2102 0 113098 0
[pid=13734/tid=13736] ppid=13731 vsize=505808 memory=6784 CPUtime=940.26 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 201079 0 0 0 94002 24 0 0 20 0 3 0 29095098 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=505808 memory=440648 CPUtime=932.63 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 540432 0 0 0 93199 64 0 0 20 0 3 0 29095098 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 1875.17 s
Current children cumulated vsize: 505808 KiB
Current children cumulated memory: 440648 KiB

[startup+945.2 s]
/proc/loadavg: 8.29 8.09 6.48 9/273 13784
/proc/meminfo: memFree=126098124/131249992 swapFree=33010684/33010684
[pid=13734] ppid=13731 vsize=505808 memory=440648 CPUtime=1875.97 cores=5,7
/proc/13734/stat : 13734 (cp-sat-runner) S 13731 13734 11319 0 -1 4194304 750973 0 0 0 187501 96 0 0 20 0 3 0 29094922 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
/proc/13734/statm: 126452 110162 2176 2102 0 113098 0
[pid=13734/tid=13736] ppid=13731 vsize=505808 memory=6640 CPUtime=940.66 cores=5,7
/proc/13734/task/13736/stat : 13736 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 201079 0 0 0 94042 24 0 0 20 0 3 0 29095098 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
[pid=13734/tid=13737] ppid=13731 vsize=505808 memory=440648 CPUtime=933.02 cores=5,7
/proc/13734/task/13737/stat : 13737 (cp-sat-runner) R 13731 13734 11319 0 -1 4194368 540432 0 0 0 93238 64 0 0 20 0 3 0 29095098 517947392 110162 18446744073709551615 4198400 12805993 140727302895904 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 14146912 14333620 46968832 140727302904088 140727302904293 140727302904293 140727302909895 0
Current children cumulated CPU time: 1875.97 s
Current children cumulated vsize: 505808 KiB
Current children cumulated memory: 440648 KiB

Child status: 10

Real time (s): 945.3
CPU time (s): 1876.15
CPU user time (s): 1875.16
CPU system time (s): 0.988312
CPU usage (%): 198.471
Max. virtual memory (cumulated for all children) (KiB): 505808
Max. memory (cumulated for all children) (KiB): 440648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1875.16
system time used= 0.988312
maximum resident set size= 440648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 753151
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= 13002
involuntary context switches= 62065


# summary of solver processes directly reported to runsolver:
#   pid: 13734
#   total CPU time (s): 1876.15
#   total CPU user time (s): 1875.16
#   total CPU system time (s): 0.988312

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.92156 second user time and 4.53826 second system time

The end

Begin job on nodeC025 at 2025-06-28 20:09:22
IDJOB=4493320
IDBENCH=147860
IDSOLVER=3320
FILE ID=nodeC025/4493320-1751134162
RUNJOBID= nodeC025-1751133631-11337
SLURM_JOB_ID= 9587425
Free space on /tmp= 432996 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin14.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493320-1751134162/watcher-4493320-1751134162 -o /tmp/evaluation-result-4493320-1751134162/solver-4493320-1751134162 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11337 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:1309337057 --competition_mode --input HOME/instance-4493320-1751134162.opb

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

MD5SUM BENCH= 946fa793c8e40fdbe884453e390b9fbe
RANDOM SEED=1309337057

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126980108 kB
MemAvailable:   126600796 kB
Buffers:            3280 kB
Cached:           407360 kB
SwapCached:            0 kB
Active:          3403616 kB
Inactive:         200644 kB
Active(anon):    3211704 kB
Inactive(anon):        0 kB
Active(file):     191912 kB
Inactive(file):   200644 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13328 kB
Writeback:            44 kB
AnonPages:       3196756 kB
Mapped:           128772 kB
Shmem:             18084 kB
KReclaimable:      84176 kB
Slab:             167008 kB
SReclaimable:      84176 kB
SUnreclaim:        82832 kB
KernelStack:        4384 kB
PageTables:         9412 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3674764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1103872 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432984 MiB
End job on nodeC025 at 2025-06-28 20:25:07