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