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