Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2012-05-17 | OPT | 1391.52 | 1391.75 |
Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_6_mh.opb |
MD5SUM | 3266e32b2a945b684ae99382e7a5d59c |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7586846 |
Best CPU time to get the best result obtained on this benchmark | 3.23351 |
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 | 6810 |
Total number of constraints | 15202 |
Number of constraints which are clauses | 11580 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 3600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 330 |
Number of terms in the objective function | 3795 |
Biggest coefficient in the objective function | 155720872 |
Number of bits for the biggest coefficient in the objective function | 28 |
Sum of the numbers in the objective function | 4264157729 |
Number of bits of the sum of numbers in the objective function | 32 |
Biggest number in a constraint | 155720872 |
Number of bits of the biggest number in a constraint | 28 |
Biggest sum of numbers in a constraint | 4264157729 |
Number of bits of the biggest sum of numbers | 32 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1.89/1.96 c 2012-05-28T22:35:48+0200 1.89/1.96 c arch = x86_64 1.89/1.96 c os = linux 1.89/1.96 c compiler = ghc 7.4 1.89/1.96 c packages: 1.89/1.96 c OptDir-0.0.1 1.89/1.96 c array-0.4.0.0 1.89/1.96 c base-4.5.0.0 1.89/1.96 c bytestring-0.9.2.1 1.89/1.96 c containers-0.4.2.1 1.89/1.96 c deepseq-1.3.0.0 1.89/1.96 c mtl-2.1.1 1.89/1.96 c old_locale-1.0.0.4 1.89/1.96 c parse_dimacs-1.2 1.89/1.96 c parsec-3.1.2 1.89/1.96 c queue-0.1.2 1.89/1.96 c stm-2.3 1.89/1.96 c time-1.4 1.89/1.96 c command line = ["--pb","HOME/instance-3706557-1338237348.opb"] 1.89/1.96 c #vars 6810 1.89/1.96 c #constraints 15202 1.89/1.96 c Solving starts ... 1.89/1.99 c solving time = 0.028s 1.89/1.99 c #decision = 794 1.89/1.99 c #conflict = 3 1.89/1.99 c #restart = 0 1.89/1.99 o 7586846 1.99/2.00 c Solving starts ... 1.99/2.05 c solving time = 0.049s 1.99/2.05 c #decision = 1540 1.99/2.05 c #conflict = 3 1.99/2.05 c #restart = 0 1.99/2.05 o 7586846 1.99/2.06 c Solving starts ... 1391.46/1391.73 c solving time = 1389.454s 1391.46/1391.73 c #decision = 17682 1391.46/1391.73 c #conflict = 6460 1391.46/1391.73 c #restart = 8 1391.46/1391.73 s OPTIMUM FOUND 1391.46/1391.73 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 1391.46/1391.73 v -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 1391.46/1391.73 v x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 1391.46/1391.73 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 1391.46/1391.73 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 1391.46/1391.73 v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 1391.46/1391.73 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 1391.46/1391.73 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1391.46/1391.73 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 1391.46/1391.73 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1391.46/1391.73 v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 1391.46/1391.73 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 1391.46/1391.73 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 1391.46/1391.73 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 1391.46/1391.73 v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1391.46/1391.73 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 1391.46/1391.73 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1391.46/1391.73 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 1391.46/1391.73 v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1391.46/1391.73 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1391.46/1391.73 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1391.46/1391.73 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 1391.46/1391.73 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1391.46/1391.73 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 1391.46/1391.73 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 1391.46/1391.73 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 1391.46/1391.73 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 x270 1391.46/1391.73 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 1391.46/1391.73 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 1391.46/1391.73 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 1391.46/1391.73 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 1391.46/1391.73 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 1391.46/1391.73 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 1391.46/1391.73 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1391.46/1391.73 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 1391.46/1391.73 v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1391.46/1391.73 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 1391.46/1391.73 v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 1391.46/1391.73 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 1391.46/1391.73 v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 1391.46/1391.73 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 1391.46/1391.73 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 1391.46/1391.73 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 1391.46/1391.73 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1391.46/1391.73 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 1391.46/1391.73 v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 1391.46/1391.73 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 1391.46/1391.73 v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 1391.46/1391.73 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 1391.46/1391.73 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1391.46/1391.73 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 x510 1391.46/1391.73 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 1391.46/1391.73 v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 1391.46/1391.73 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 1391.46/1391.73 v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 1391.46/1391.73 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 1391.46/1391.73 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1391.46/1391.73 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 1391.46/1391.73 v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 1391.46/1391.73 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 1391.46/1391.73 v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1391.46/1391.73 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 1391.46/1391.73 v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 1391.46/1391.73 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 1391.46/1391.73 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1391.46/1391.73 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 1391.46/1391.73 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 1391.46/1391.73 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 1391.46/1391.73 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 1391.46/1391.73 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 1391.46/1391.73 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 1391.46/1391.73 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 1391.46/1391.73 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 1391.46/1391.73 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 1391.46/1391.73 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 1391.46/1391.73 v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 1391.46/1391.73 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 1391.46/1391.73 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 1391.46/1391.73 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 1391.46/1391.73 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 1391.46/1391.73 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 1391.46/1391.73 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 1391.46/1391.73 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 1391.46/1391.73 v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 1391.46/1391.73 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 1391.46/1391.73 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1391.46/1391.73 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 1391.46/1391.73 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 1391.46/1391.73 v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 1391.46/1391.73 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 1391.46/1391.73 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 1391.46/1391.73 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 1391.46/1391.73 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 1391.46/1391.73 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 1391.46/1391.73 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1391.46/1391.73 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 1391.46/1391.73 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 1391.46/1391.73 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 1391.46/1391.73 v -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 x989 x990 1391.46/1391.73 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 1391.46/1391.73 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 1391.46/1391.73 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 1391.46/1391.73 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 1391.46/1391.73 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1391.46/1391.73 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 1391.46/1391.73 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 1391.46/1391.73 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 1391.46/1391.73 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1391.46/1391.73 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1391.46/1391.73 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 1391.46/1391.73 v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 1391.46/1391.73 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 1391.46/1391.73 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1391.46/1391.73 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 1391.46/1391.73 v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1391.46/1391.73 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1391.46/1391.74 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 1391.46/1391.74 v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1391.46/1391.74 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 1391.46/1391.74 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 1391.46/1391.74 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 1391.46/1391.74 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 1391.46/1391.74 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 x1229 x1230 1391.46/1391.74 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 1391.46/1391.74 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 1391.46/1391.74 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1391.46/1391.74 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 1391.46/1391.74 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1391.46/1391.74 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1391.46/1391.74 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1391.46/1391.74 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 1391.46/1391.74 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 1391.46/1391.74 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 1391.46/1391.74 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 1391.46/1391.74 v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 1391.46/1391.74 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 1391.46/1391.74 v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 1391.46/1391.74 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 1391.46/1391.74 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1391.46/1391.74 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1391.46/1391.74 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 1391.46/1391.74 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 1391.46/1391.74 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 1391.46/1391.74 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 1391.46/1391.74 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 1391.46/1391.74 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 1391.46/1391.74 v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 x1470 1391.46/1391.74 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 1391.46/1391.74 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 1391.46/1391.74 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 1391.46/1391.74 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 1391.46/1391.74 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1391.46/1391.74 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 1391.46/1391.74 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1391.46/1391.74 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 1391.46/1391.74 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 1391.46/1391.74 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1391.46/1391.74 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 1391.46/1391.74 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 1391.46/1391.74 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 1391.46/1391.74 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 1391.46/1391.74 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1391.46/1391.74 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 1391.46/1391.74 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 1391.46/1391.74 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 1391.46/1391.74 v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1391.46/1391.74 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 1391.46/1391.74 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 1391.46/1391.74 v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1391.46/1391.74 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 1391.46/1391.74 v -x1701 x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 1391.46/1391.74 v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 1391.46/1391.74 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1391.46/1391.74 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 1391.46/1391.74 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 1391.46/1391.74 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 1391.46/1391.74 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1391.46/1391.74 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 1391.46/1391.74 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1391.46/1391.74 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 1391.46/1391.74 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 1391.46/1391.74 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 1391.46/1391.74 v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 1391.46/1391.74 v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 1391.46/1391.74 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 1391.46/1391.74 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1391.46/1391.74 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 1391.46/1391.74 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 1391.46/1391.74 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1391.46/1391.74 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 1391.46/1391.74 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 1391.46/1391.74 v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 1391.46/1391.74 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 1391.46/1391.74 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 1391.46/1391.74 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 x1950 1391.46/1391.74 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1391.46/1391.74 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 1391.46/1391.74 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1391.46/1391.74 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 1391.46/1391.74 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1391.46/1391.74 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 1391.46/1391.74 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 1391.46/1391.74 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 1391.46/1391.74 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 1391.46/1391.74 v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 1391.46/1391.74 v -x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 1391.46/1391.74 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1391.46/1391.74 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 1391.46/1391.74 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 1391.46/1391.74 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 1391.46/1391.74 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 1391.46/1391.74 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 1391.46/1391.74 v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 1391.46/1391.74 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1391.46/1391.74 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 1391.46/1391.74 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 1391.46/1391.74 v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 1391.46/1391.74 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 1391.46/1391.74 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 1391.46/1391.74 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 1391.46/1391.74 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1391.46/1391.74 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 1391.46/1391.74 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 1391.46/1391.74 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 1391.46/1391.74 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 1391.46/1391.74 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 1391.46/1391.74 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 1391.46/1391.74 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1391.46/1391.74 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 1391.46/1391.74 v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 1391.46/1391.74 v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 1391.46/1391.74 v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 1391.46/1391.74 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1391.46/1391.74 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 1391.46/1391.74 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 1391.46/1391.74 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 1391.46/1391.74 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 1391.46/1391.74 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1391.46/1391.74 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1391.46/1391.74 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1391.46/1391.74 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 1391.46/1391.74 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 1391.46/1391.74 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 x2429 x2430 1391.46/1391.74 v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 1391.46/1391.74 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 1391.46/1391.74 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 1391.46/1391.74 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 1391.46/1391.74 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 1391.46/1391.74 v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 1391.46/1391.74 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 1391.46/1391.74 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 1391.46/1391.74 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1391.46/1391.74 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 1391.46/1391.74 v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 1391.46/1391.74 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 1391.46/1391.74 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 1391.46/1391.74 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 1391.46/1391.74 v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 1391.46/1391.74 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 1391.46/1391.74 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 1391.46/1391.74 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 1391.46/1391.74 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 1391.46/1391.74 v -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 1391.46/1391.74 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 1391.46/1391.74 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 1391.46/1391.74 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1391.46/1391.74 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 1391.46/1391.74 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 1391.46/1391.74 v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1391.46/1391.74 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 1391.46/1391.74 v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1391.46/1391.74 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 1391.46/1391.74 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1391.46/1391.74 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 1391.46/1391.74 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 1391.46/1391.74 v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 1391.46/1391.74 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 1391.46/1391.74 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 1391.46/1391.74 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 1391.46/1391.74 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 1391.46/1391.74 v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 1391.46/1391.74 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 1391.46/1391.74 v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1391.46/1391.74 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 1391.46/1391.74 v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 1391.46/1391.74 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 1391.46/1391.74 v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 1391.46/1391.74 v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 1391.46/1391.74 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 1391.46/1391.74 v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 1391.46/1391.74 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 x2910 1391.46/1391.74 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 1391.46/1391.74 v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 1391.46/1391.74 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 1391.46/1391.74 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 1391.46/1391.74 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 1391.46/1391.74 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 1391.46/1391.74 v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 1391.46/1391.74 v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 1391.46/1391.74 v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 1391.46/1391.74 v -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 1391.46/1391.74 v -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 1391.46/1391.74 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 1391.46/1391.74 v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 1391.46/1391.74 v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 1391.46/1391.74 v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 1391.46/1391.74 v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 1391.46/1391.74 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 1391.46/1391.74 v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 1391.46/1391.74 v -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 1391.46/1391.74 v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 1391.46/1391.74 v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 1391.46/1391.74 v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 1391.46/1391.74 v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 1391.46/1391.74 v -x3141 -x3142 -x3143 -x3144 x3145 -x3146 -x3147 -x3148 x3149 -x3150 1391.46/1391.74 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 1391.46/1391.74 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 1391.46/1391.74 v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 1391.46/1391.74 v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 1391.46/1391.74 v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 1391.46/1391.74 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 1391.46/1391.74 v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 1391.46/1391.74 v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 1391.46/1391.74 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 1391.46/1391.74 v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 1391.46/1391.74 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 1391.46/1391.74 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 1391.46/1391.74 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 1391.46/1391.74 v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 1391.46/1391.74 v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 1391.46/1391.74 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 1391.46/1391.74 v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 1391.46/1391.74 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 1391.46/1391.74 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 1391.46/1391.74 v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 1391.46/1391.74 v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 1391.46/1391.74 v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 1391.46/1391.74 v -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 1391.46/1391.74 v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 -x3388 -x3389 x3390 1391.46/1391.74 v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 1391.46/1391.74 v -x3401 -x3402 -x3403 x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 1391.46/1391.74 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 1391.46/1391.74 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 1391.46/1391.74 v -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 1391.46/1391.74 v -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 1391.46/1391.74 v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 1391.46/1391.74 v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 1391.46/1391.74 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 1391.46/1391.74 v -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 1391.46/1391.74 v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 1391.46/1391.74 v -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 1391.46/1391.74 v -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 1391.46/1391.74 v -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 1391.46/1391.74 v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 1391.46/1391.74 v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 1391.46/1391.74 v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 1391.46/1391.74 v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 1391.46/1391.74 v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 1391.46/1391.74 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 1391.46/1391.74 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 1391.46/1391.74 v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 1391.46/1391.74 v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 1391.46/1391.74 v -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 1391.46/1391.74 v -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 1391.46/1391.74 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 1391.46/1391.74 v -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 x3658 -x3659 -x3660 1391.46/1391.74 v -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 1391.46/1391.74 v -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 1391.46/1391.74 v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 1391.46/1391.74 v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 1391.46/1391.74 v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 1391.46/1391.74 v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 1391.46/1391.74 v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 1391.46/1391.74 v -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 1391.46/1391.74 v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 1391.46/1391.74 v -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 1391.46/1391.74 v -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 1391.46/1391.74 v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 1391.46/1391.74 v -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 1391.46/1391.74 v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 1391.46/1391.74 v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1391.46/1391.74 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 1391.46/1391.74 v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 1391.46/1391.74 v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 1391.46/1391.74 v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 1391.46/1391.74 v -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 1391.46/1391.74 v -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 1391.46/1391.74 v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 1391.46/1391.74 v -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 1391.46/1391.74 v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 1391.46/1391.74 v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 1391.46/1391.74 v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 1391.46/1391.74 v -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 1391.46/1391.74 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 1391.46/1391.74 v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 1391.46/1391.74 v -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 1391.46/1391.74 v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 1391.46/1391.74 v -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 1391.46/1391.74 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 1391.46/1391.74 v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 1391.46/1391.74 v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 1391.46/1391.74 v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 1391.46/1391.74 v -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 1391.46/1391.74 v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 1391.46/1391.74 v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 1391.46/1391.74 v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 1391.46/1391.74 v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 1391.46/1391.74 v -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 1391.46/1391.74 v -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 1391.46/1391.74 v -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 1391.46/1391.74 v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 1391.46/1391.74 v -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 1391.46/1391.74 v -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 1391.46/1391.74 v -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 1391.46/1391.74 v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 1391.46/1391.74 v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 1391.46/1391.74 v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 1391.46/1391.74 v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 1391.46/1391.74 v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 1391.46/1391.74 v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 1391.46/1391.74 v -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 1391.46/1391.74 v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 1391.46/1391.74 v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 1391.46/1391.74 v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 1391.46/1391.74 v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 1391.46/1391.74 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 1391.46/1391.74 v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 1391.46/1391.74 v -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 1391.46/1391.74 v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 1391.46/1391.74 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 1391.46/1391.74 v -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 1391.46/1391.74 v -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 1391.46/1391.74 v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 1391.46/1391.74 v -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 1391.46/1391.74 v -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 1391.46/1391.74 v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 1391.46/1391.74 v -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 1391.46/1391.74 v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 1391.46/1391.74 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 1391.46/1391.74 v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 1391.46/1391.74 v -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 1391.46/1391.74 v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 1391.46/1391.74 v -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 1391.46/1391.74 v -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 1391.46/1391.74 v -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 1391.46/1391.74 v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 1391.46/1391.74 v -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 1391.46/1391.74 v -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 1391.46/1391.74 v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 1391.46/1391.74 v -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 1391.46/1391.74 v -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 1391.46/1391.74 v -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 1391.46/1391.74 v -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 1391.46/1391.74 v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 1391.46/1391.74 v -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 1391.46/1391.74 v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 1391.46/1391.74 v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 1391.46/1391.74 v -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 1391.46/1391.74 v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 1391.46/1391.74 v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 1391.46/1391.74 v -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 1391.46/1391.74 v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 1391.46/1391.74 v -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 1391.46/1391.74 v -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 1391.46/1391.74 v -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 1391.46/1391.74 v -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 1391.46/1391.74 v -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 1391.46/1391.74 v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 1391.46/1391.74 v -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 1391.46/1391.74 v -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 1391.46/1391.74 v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 1391.46/1391.74 v -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 1391.46/1391.74 v -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 1391.46/1391.74 v -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 1391.46/1391.74 v -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 1391.46/1391.74 v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 1391.46/1391.74 v -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 1391.46/1391.74 v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 1391.46/1391.74 v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 1391.46/1391.74 v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 1391.46/1391.74 v -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 1391.46/1391.74 v -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 1391.46/1391.74 v -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 1391.46/1391.74 v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 1391.46/1391.74 v -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 1391.46/1391.74 v -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 1391.46/1391.74 v -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 1391.46/1391.74 v -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 1391.46/1391.74 v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 1391.46/1391.74 v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 1391.46/1391.74 v -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 1391.46/1391.74 v -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 1391.46/1391.74 v -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 1391.46/1391.74 v -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 1391.46/1391.74 v -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 1391.46/1391.74 v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 1391.46/1391.74 v -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 1391.46/1391.74 v -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 1391.46/1391.74 v -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 1391.46/1391.74 v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 1391.46/1391.74 v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 1391.46/1391.74 v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 1391.46/1391.74 v -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 1391.46/1391.74 v -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 1391.46/1391.74 v -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 1391.46/1391.74 v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 1391.46/1391.74 v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 1391.46/1391.74 v -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 1391.46/1391.74 v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 1391.46/1391.74 v -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 1391.46/1391.74 v -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 1391.46/1391.74 v -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 1391.46/1391.74 v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 1391.46/1391.74 v -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 1391.46/1391.74 v -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 1391.46/1391.74 v -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 1391.46/1391.74 v -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 1391.46/1391.74 v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 1391.46/1391.74 v -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 1391.46/1391.74 v -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 1391.46/1391.74 v -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 1391.46/1391.74 v -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 1391.46/1391.74 v -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 1391.46/1391.74 v -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 1391.46/1391.74 v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 1391.46/1391.74 v -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 1391.46/1391.74 v -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 1391.46/1391.74 v -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 1391.46/1391.74 v -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 1391.46/1391.74 v -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 1391.46/1391.74 v -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 1391.46/1391.74 v -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 1391.46/1391.74 v -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 1391.46/1391.74 v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 1391.46/1391.74 v -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 1391.46/1391.74 v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 1391.46/1391.74 v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 1391.46/1391.74 v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 1391.46/1391.74 v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 1391.46/1391.74 v -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 1391.46/1391.74 v -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 1391.46/1391.74 v -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 1391.46/1391.74 v -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 1391.46/1391.74 v -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 1391.46/1391.74 v -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 1391.46/1391.74 v -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 1391.46/1391.74 v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 1391.46/1391.74 v -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 1391.46/1391.74 v -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 1391.46/1391.74 v -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 1391.46/1391.74 v -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 1391.46/1391.74 v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 1391.46/1391.74 v -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 1391.46/1391.74 v -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 1391.46/1391.74 v -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 1391.46/1391.74 v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 1391.46/1391.74 v -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 1391.46/1391.74 v -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 1391.46/1391.74 v -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 1391.46/1391.74 v -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 1391.46/1391.74 v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 1391.46/1391.74 v -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 1391.46/1391.74 v -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 1391.46/1391.74 v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 1391.46/1391.74 v -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 1391.46/1391.74 v -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 1391.46/1391.74 v -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 1391.46/1391.74 v -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 1391.46/1391.74 v -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 1391.46/1391.74 v -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 1391.46/1391.74 v -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 1391.46/1391.74 v -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 1391.46/1391.74 v -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 1391.46/1391.74 v -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 1391.46/1391.74 v -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 1391.46/1391.74 v -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 1391.46/1391.74 v -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 1391.46/1391.74 v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 1391.46/1391.74 v -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 1391.46/1391.74 v -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 1391.46/1391.74 v -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 1391.46/1391.74 v -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 1391.46/1391.74 v -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 1391.46/1391.74 v -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 1391.46/1391.74 v -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 1391.46/1391.74 v -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 1391.46/1391.74 v -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 1391.46/1391.74 v -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 1391.46/1391.74 v -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 1391.46/1391.74 v -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 1391.46/1391.74 v -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 1391.46/1391.74 v -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 1391.46/1391.74 v -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 1391.46/1391.74 v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 1391.46/1391.74 v -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 1391.46/1391.74 v -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 1391.46/1391.74 v -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 1391.46/1391.74 v -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 1391.46/1391.74 v -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 1391.46/1391.74 v -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 1391.46/1391.74 v -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 1391.46/1391.74 v -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 1391.46/1391.74 v -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 1391.46/1391.74 v -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 1391.46/1391.74 v -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 1391.46/1391.74 v -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 1391.46/1391.74 v -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 1391.46/1391.74 v -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 1391.46/1391.74 v -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 1391.46/1391.74 v -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 1391.46/1391.74 v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 1391.46/1391.74 v -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 1391.46/1391.74 v -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 1391.46/1391.74 v -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 1391.46/1391.74 v -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 1391.46/1391.74 v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 1391.46/1391.74 v -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 1391.46/1391.74 v -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 1391.46/1391.74 v -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 1391.46/1391.74 v -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 1391.46/1391.74 v -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 1391.46/1391.74 v -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 1391.46/1391.74 v -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 1391.46/1391.74 v -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 1391.46/1391.74 v -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 1391.46/1391.74 v -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 1391.46/1391.74 v -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 1391.46/1391.74 v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 1391.46/1391.74 v -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 1391.46/1391.74 v -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 1391.46/1391.74 v -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 1391.46/1391.74 v -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 1391.46/1391.74 v -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 1391.46/1391.74 v -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 1391.46/1391.74 v -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 x6349 -x6350 1391.46/1391.74 v -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 1391.46/1391.74 v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 x6367 -x6368 -x6369 -x6370 1391.46/1391.74 v -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 1391.46/1391.74 v -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 x6388 -x6389 -x6390 1391.46/1391.74 v x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 x6398 -x6399 -x6400 1391.46/1391.74 v -x6401 x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 1391.46/1391.74 v -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 1391.46/1391.74 v -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 1391.46/1391.74 v -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 1391.46/1391.74 v -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 x6448 -x6449 -x6450 1391.46/1391.74 v -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 x6457 -x6458 -x6459 -x6460 1391.46/1391.74 v -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 1391.46/1391.74 v x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 1391.46/1391.74 v -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 x6489 x6490 1391.46/1391.74 v -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 1391.46/1391.74 v x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 1391.46/1391.74 v -x6511 -x6512 x6513 -x6514 x6515 -x6516 -x6517 -x6518 -x6519 -x6520 1391.46/1391.74 v -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 x6527 -x6528 -x6529 -x6530 1391.46/1391.74 v -x6531 -x6532 -x6533 -x6534 -x6535 x6536 -x6537 -x6538 -x6539 -x6540 1391.46/1391.74 v -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 1391.46/1391.74 v -x6551 -x6552 x6553 -x6554 -x6555 -x6556 -x6557 -x6558 x6559 -x6560 1391.46/1391.74 v -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 1391.46/1391.74 v -x6571 -x6572 -x6573 x6574 -x6575 x6576 x6577 -x6578 -x6579 -x6580 1391.46/1391.74 v -x6581 -x6582 x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 1391.46/1391.74 v -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 1391.46/1391.74 v -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 1391.46/1391.74 v -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 1391.46/1391.74 v -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 1391.46/1391.74 v -x6631 -x6632 -x6633 x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 1391.46/1391.74 v -x6641 -x6642 -x6643 -x6644 x6645 -x6646 -x6647 -x6648 -x6649 -x6650 1391.46/1391.74 v -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 1391.46/1391.74 v -x6661 -x6662 -x6663 x6664 -x6665 x6666 x6667 -x6668 -x6669 -x6670 1391.46/1391.74 v -x6671 -x6672 x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 1391.46/1391.74 v -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 1391.46/1391.74 v -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 1391.46/1391.74 v -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 1391.46/1391.74 v -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 1391.46/1391.74 v -x6721 -x6722 -x6723 -x6724 -x6725 x6726 -x6727 -x6728 -x6729 -x6730 1391.46/1391.74 v -x6731 -x6732 x6733 -x6734 x6735 -x6736 -x6737 -x6738 -x6739 -x6740 1391.46/1391.74 v -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 1391.46/1391.74 v -x6751 -x6752 -x6753 x6754 -x6755 -x6756 x6757 -x6758 -x6759 -x6760 1391.46/1391.74 v -x6761 -x6762 -x6763 -x6764 x6765 -x6766 -x6767 -x6768 -x6769 -x6770 1391.46/1391.74 v x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 x6780 1391.46/1391.74 v -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 1391.46/1391.74 v -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 1391.46/1391.74 v -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 1391.46/1391.74 c total time = 1391.521s
OK 7586846
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706557-1338237348/watcher-3706557-1338237348 -o /tmp/evaluation-result-3706557-1338237348/solver-3706557-1338237348 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706557-1338237348.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 2/174 3325 /proc/meminfo: memFree=30529844/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=7232 CPUtime=0 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 821 0 0 0 0 0 0 0 20 0 1 0 289859328 7405568 742 33554432000 4194304 8973514 140734332971056 140736596028520 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 1808 742 411 1167 0 589 0 [startup+0.0469431 s] /proc/loadavg: 2.00 2.00 2.00 2/174 3325 /proc/meminfo: memFree=30529844/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=9280 CPUtime=0.04 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 1412 0 0 0 4 0 0 0 20 0 1 0 289859328 9502720 1334 33554432000 4194304 8973514 140734332971056 140736596028520 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 2320 1339 418 1167 0 1101 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9280 [startup+0.100271 s] /proc/loadavg: 2.00 2.00 2.00 2/174 3325 /proc/meminfo: memFree=30529844/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=12352 CPUtime=0.09 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 2355 0 0 0 9 0 0 0 20 0 1 0 289859328 12648448 2276 33554432000 4194304 8973514 140734332971056 140736596028520 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 3088 2276 418 1167 0 1869 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12352 [startup+0.30031 s] /proc/loadavg: 2.00 2.00 2.00 2/174 3325 /proc/meminfo: memFree=30529844/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=27712 CPUtime=0.29 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 6075 0 0 0 28 1 0 0 20 0 1 0 289859328 28377088 5996 33554432000 4194304 8973514 140734332971056 140736596028520 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 6928 6002 431 1167 0 5709 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27712 [startup+0.700221 s] /proc/loadavg: 2.00 2.00 2.00 2/174 3325 /proc/meminfo: memFree=30529844/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=28736 CPUtime=0.69 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 6475 0 0 0 68 1 0 0 20 0 1 0 289859328 29425664 6396 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 7184 6396 435 1167 0 5965 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28736 [startup+1.50029 s] /proc/loadavg: 2.00 2.00 2.00 3/174 3354 /proc/meminfo: memFree=30511544/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=32832 CPUtime=1.48 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 7333 0 0 0 147 1 0 0 20 0 1 0 289859328 33619968 7254 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 8208 7254 435 1167 0 6989 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 32832 [startup+3.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3364 /proc/meminfo: memFree=30448320/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=38976 CPUtime=3.08 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9062 0 0 0 306 2 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332969024 4214503 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 9744 8984 458 1167 0 8525 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 38976 [startup+6.30032 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3364 /proc/meminfo: memFree=30216780/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=38976 CPUtime=6.29 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9062 0 0 0 626 3 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 9744 8984 458 1167 0 8525 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38976 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3364 /proc/meminfo: memFree=29836380/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=38976 CPUtime=12.68 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 1264 4 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970320 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 9744 8984 458 1167 0 8525 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38976 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3365 /proc/meminfo: memFree=29492684/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=38976 CPUtime=25.48 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 2540 8 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 9744 8984 458 1167 0 8525 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38976 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3365 /proc/meminfo: memFree=29441564/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=38976 CPUtime=51.08 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 5092 16 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970320 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 9744 8984 458 1167 0 8525 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 38976 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3366 /proc/meminfo: memFree=29441352/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=38976 CPUtime=102.28 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 10197 31 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970320 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 9744 8984 458 1167 0 8525 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 38976 [startup+162.3 s] /proc/loadavg: 2.06 2.01 2.00 3/177 3366 /proc/meminfo: memFree=29432840/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=38976 CPUtime=162.26 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 16178 48 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970552 4209446 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 9744 8984 458 1167 0 8525 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 38976 [startup+222.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 3366 /proc/meminfo: memFree=29432852/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=38976 CPUtime=222.25 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 22159 66 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970320 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 9744 8984 458 1167 0 8525 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 38976 [startup+282.3 s] /proc/loadavg: 2.05 2.02 2.00 3/178 3369 /proc/meminfo: memFree=29424704/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=38976 CPUtime=282.24 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 28141 83 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970320 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 9744 8984 458 1167 0 8525 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 38976 [startup+342.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 3369 /proc/meminfo: memFree=29424600/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=38976 CPUtime=342.23 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 34125 98 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332969024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 9744 8984 458 1167 0 8525 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 38976 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 3370 /proc/meminfo: memFree=29424892/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=38976 CPUtime=402.22 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 40106 116 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 9744 8984 458 1167 0 8525 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 38976 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3370 /proc/meminfo: memFree=29424796/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=38976 CPUtime=462.21 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 46088 133 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970552 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 9744 8984 458 1167 0 8525 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 38976 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3370 /proc/meminfo: memFree=29424948/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=38976 CPUtime=522.21 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 52070 151 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970320 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 9744 8984 458 1167 0 8525 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 38976 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3370 /proc/meminfo: memFree=29423984/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=40000 CPUtime=582.19 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9325 0 0 0 58052 167 0 0 20 0 1 0 289859328 40960000 9240 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 10000 9240 458 1167 0 8781 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 40000 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29422832/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=41024 CPUtime=702.18 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9581 0 0 0 70017 201 0 0 20 0 1 0 289859328 42008576 9496 33554432000 4194304 8973514 140734332971056 140734332969024 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 10256 9496 458 1167 0 9037 0 Current children cumulated CPU time (s) 702.18 Current children cumulated vsize (KiB) 41024 [startup+762.307 s] /proc/loadavg: 2.05 2.01 2.00 3/177 3371 /proc/meminfo: memFree=29422768/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=41024 CPUtime=762.18 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9581 0 0 0 76001 217 0 0 20 0 1 0 289859328 42008576 9496 33554432000 4194304 8973514 140734332971056 140734332969024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 10256 9496 458 1167 0 9037 0 Current children cumulated CPU time (s) 762.18 Current children cumulated vsize (KiB) 41024 [startup+822.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 3371 /proc/meminfo: memFree=29421652/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=42048 CPUtime=822.15 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9837 0 0 0 81982 233 0 0 20 0 1 0 289859328 43057152 9752 33554432000 4194304 8973514 140734332971056 140734332970552 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 10512 9752 458 1167 0 9293 0 Current children cumulated CPU time (s) 822.15 Current children cumulated vsize (KiB) 42048 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 3374 /proc/meminfo: memFree=29421644/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=42048 CPUtime=882.15 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9837 0 0 0 87967 248 0 0 20 0 1 0 289859328 43057152 9752 33554432000 4194304 8973514 140734332971056 140734332969024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 10512 9752 458 1167 0 9293 0 Current children cumulated CPU time (s) 882.15 Current children cumulated vsize (KiB) 42048 [startup+942.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 3374 /proc/meminfo: memFree=29421900/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=42048 CPUtime=942.14 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9837 0 0 0 93952 262 0 0 20 0 1 0 289859328 43057152 9752 33554432000 4194304 8973514 140734332971056 140734332969024 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 10512 9752 458 1167 0 9293 0 Current children cumulated CPU time (s) 942.14 Current children cumulated vsize (KiB) 42048 [startup+1002.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 3375 /proc/meminfo: memFree=29420908/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=43072 CPUtime=1002.13 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10093 0 0 0 99933 280 0 0 20 0 1 0 289859328 44105728 10008 33554432000 4194304 8973514 140734332971056 140734332970320 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 10768 10008 458 1167 0 9549 0 Current children cumulated CPU time (s) 1002.13 Current children cumulated vsize (KiB) 43072 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3375 /proc/meminfo: memFree=29420908/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=43072 CPUtime=1062.12 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10093 0 0 0 105915 297 0 0 20 0 1 0 289859328 44105728 10008 33554432000 4194304 8973514 140734332971056 140734332970552 4204292 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 10768 10008 458 1167 0 9549 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 43072 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3375 /proc/meminfo: memFree=29420908/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=43072 CPUtime=1122.11 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10093 0 0 0 111897 314 0 0 20 0 1 0 289859328 44105728 10008 33554432000 4194304 8973514 140734332971056 140734332969024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 10768 10008 458 1167 0 9549 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 43072 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3375 /proc/meminfo: memFree=29419916/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=44096 CPUtime=1182.1 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10349 0 0 0 117880 330 0 0 20 0 1 0 289859328 45154304 10264 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 11024 10264 458 1167 0 9805 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 44096 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3375 /proc/meminfo: memFree=29419048/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=45120 CPUtime=1242.09 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10605 0 0 0 123864 345 0 0 20 0 1 0 289859328 46202880 10520 33554432000 4194304 8973514 140734332971056 140734332970320 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 11280 10520 458 1167 0 10061 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 45120 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3376 /proc/meminfo: memFree=29417436/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=46144 CPUtime=1302.09 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10861 0 0 0 129847 362 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332970320 7720768 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 11536 10776 458 1167 0 10317 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 46144 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3376 /proc/meminfo: memFree=29417436/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=46144 CPUtime=1362.08 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10861 0 0 0 135830 378 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332969024 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 11536 10776 458 1167 0 10317 0 Current children cumulated CPU time (s) 1362.08 Current children cumulated vsize (KiB) 46144 Solver just ended. Dumping a history of the last processes samples [startup+1369.51 s] /proc/loadavg: 2.00 2.00 2.00 3/177 3376 /proc/meminfo: memFree=29417436/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=46144 CPUtime=1369.28 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10861 0 0 0 136548 380 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332970552 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 11536 10776 458 1167 0 10317 0 Current children cumulated CPU time (s) 1369.28 Current children cumulated vsize (KiB) 46144 [startup+1382.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 3376 /proc/meminfo: memFree=29417436/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=46144 CPUtime=1382.07 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10863 0 0 0 137824 383 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 11536 10776 458 1167 0 10317 0 Current children cumulated CPU time (s) 1382.07 Current children cumulated vsize (KiB) 46144 [startup+1388.7 s] /proc/loadavg: 2.06 2.02 2.00 3/177 3376 /proc/meminfo: memFree=29417308/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=46144 CPUtime=1388.47 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10863 0 0 0 138463 384 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332970552 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 11536 10776 458 1167 0 10317 0 Current children cumulated CPU time (s) 1388.47 Current children cumulated vsize (KiB) 46144 [startup+1390.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 3376 /proc/meminfo: memFree=29417308/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=46144 CPUtime=1390.07 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10863 0 0 0 138623 384 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332970552 4415759 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 11536 10776 458 1167 0 10317 0 Current children cumulated CPU time (s) 1390.07 Current children cumulated vsize (KiB) 46144 [startup+1391.1 s] /proc/loadavg: 2.06 2.02 2.00 3/177 3376 /proc/meminfo: memFree=29417308/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=46144 CPUtime=1390.86 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10863 0 0 0 138702 384 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 11536 10776 458 1167 0 10317 0 Current children cumulated CPU time (s) 1390.86 Current children cumulated vsize (KiB) 46144 [startup+1391.51 s] /proc/loadavg: 2.06 2.02 2.00 3/177 3376 /proc/meminfo: memFree=29417308/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=46144 CPUtime=1391.27 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10863 0 0 0 138743 384 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332969024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 11536 10776 458 1167 0 10317 0 Current children cumulated CPU time (s) 1391.27 Current children cumulated vsize (KiB) 46144 [startup+1391.7 s] /proc/loadavg: 2.06 2.02 2.00 3/177 3376 /proc/meminfo: memFree=29417308/32873844 swapFree=7900/7900 [pid=3325] ppid=3323 vsize=46144 CPUtime=1391.46 cores=1,3,5,7 /proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10863 0 0 0 138762 384 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332969024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0 /proc/3325/statm: 11536 10776 458 1167 0 10317 0 Current children cumulated CPU time (s) 1391.46 Current children cumulated vsize (KiB) 46144 Child status: 0 Real time (s): 1391.75 CPU time (s): 1391.52 CPU user time (s): 1387.67 CPU system time (s): 3.85041 CPU usage (%): 99.9838 Max. virtual memory (cumulated for all children) (KiB): 46144 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1387.67 system time used= 3.85041 maximum resident set size= 43120 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10867 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= 16 involuntary context switches= 1458 runsolver used 2.08068 second user time and 6.79397 second system time The end
Begin job on node137 at 2012-05-28 22:35:48 IDJOB=3706557 IDBENCH=92719 IDSOLVER=2285 FILE ID=node137/3706557-1338237348 RUNJOBID= node137-1338233742-3127 PBS_JOBID= 14624624 Free space on /tmp= 71200 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_6_mh.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706557-1338237348/watcher-3706557-1338237348 -o /tmp/evaluation-result-3706557-1338237348/solver-3706557-1338237348 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706557-1338237348.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3266e32b2a945b684ae99382e7a5d59c RANDOM SEED=1602530785 node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.20 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.600 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30530752 kB Buffers: 428576 kB Cached: 1024892 kB SwapCached: 20904 kB Active: 1199908 kB Inactive: 278804 kB Active(anon): 4272 kB Inactive(anon): 22936 kB Active(file): 1195636 kB Inactive(file): 255868 kB Unevictable: 7900 kB Mlocked: 7900 kB SwapTotal: 67108856 kB SwapFree: 67082664 kB Dirty: 7788 kB Writeback: 0 kB AnonPages: 13000 kB Mapped: 9596 kB Shmem: 0 kB Slab: 724612 kB SReclaimable: 166008 kB SUnreclaim: 558604 kB KernelStack: 1448 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 137764 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71192 MiB End job on node137 at 2012-05-28 22:59:00