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