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