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