Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-skc 2007-03-21 | SAT (TO) | 77 | 1800.02 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_004_area_delay.opb |
MD5SUM | 45c2f7ac01d7ade9fbe465857931ee2b |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 27 |
Best CPU time to get the best result obtained on this benchmark | 175.948 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 27 |
Optimality of the best value was proved | YES |
Number of variables | 5828 |
Total number of constraints | 17411 |
Number of constraints which are clauses | 17411 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 2817 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2817 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2817 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 0.00/0.00 c wildcat-skc (VERSION 0.8.0-lite-skc-devel) 0.00/0.00 c Developed by L. Liuand M. Truszczynski 0.00/0.00 c Last built on Sun 18 Mar 2007 03:03:20 PM EDT 0.00/0.00 c 0.00/0.00 c /tmp/evaluation/372469-1177099198/wildcat-skc /tmp/evaluation/372469-1177099198/instance-372469-1177099198.opb 976741361 0.00/0.00 c =================================== BEGIN =================================== 0.00/0.00 c 0.00/0.00 c Random Number Seed: 976741361 0.00/0.00 c Noise: 0.1 (10 : 100) 0.09/0.11 c Starting searching: 0.09/0.11 c Phase 1 ... 0.09/0.13 c trying 2817: vc 0.09/0.13 o 900 0.09/0.14 c trying 870: vc 0.09/0.14 o 859 0.09/0.15 c trying 829: vc 0.09/0.15 o 812 0.09/0.16 c trying 783: vc 0.09/0.16 o 773 0.09/0.18 c trying 745: vc 0.09/0.18 o 742 0.09/0.19 c trying 714: vc 0.09/0.19 o 714 0.19/0.21 c trying 687: vc 0.19/0.21 o 687 0.19/0.22 c trying 660: vc 0.19/0.22 o 660 0.19/0.24 c trying 634: vc 0.19/0.24 o 634 0.19/0.26 c trying 608: vc 0.19/0.26 o 608 0.19/0.27 c trying 583: vc 0.19/0.27 o 583 0.19/0.29 c trying 558: vc 0.19/0.29 o 558 0.29/0.32 c trying 534: vc 0.29/0.32 o 534 0.29/0.34 c trying 510: vc 0.29/0.34 o 510 0.29/0.36 c trying 487: vc 0.29/0.36 o 487 0.29/0.38 c trying 464: vc 0.29/0.38 o 464 0.39/0.42 c trying 442: vc 0.39/0.42 o 442 0.39/0.44 c trying 420: vc 0.39/0.44 o 420 0.39/0.47 c trying 399: vc 0.39/0.47 o 398 0.49/0.51 c trying 378: vc 0.49/0.51 o 378 0.49/0.55 c trying 358: vc 0.49/0.55 o 358 0.59/0.60 c trying 339: vc 0.59/0.60 o 339 0.59/0.65 c trying 320: vc 0.59/0.65 o 320 0.69/0.76 c trying 302: vc 0.69/0.76 o 302 0.79/0.83 c trying 284: vc 0.79/0.83 o 284 0.89/0.99 c trying 267: vc 0.89/0.99 o 266 1.09/1.17 c trying 249: vc 1.09/1.17 o 249 1.39/1.44 c trying 233: vc 1.39/1.44 o 233 1.59/1.65 c trying 217: vc 1.59/1.65 o 217 2.39/2.49 c trying 202: vc 2.39/2.49 o 202 2.89/2.98 c trying 187: vc 2.89/2.98 o 187 4.29/4.39 c trying 173: vc 4.29/4.39 o 173 5.49/5.50 c trying 159: vc 5.49/5.50 o 159 7.18/7.26 c trying 146: vc 7.18/7.26 o 146 11.08/11.18 c trying 133: xvc 11.08/11.18 o 133 28.08/28.11 c trying 121: xxxxxxxxxxc 28.08/28.11 c Phase 2 ... 32.58/32.68 c trying 132: vc 32.58/32.68 o 132 38.38/38.44 c trying 131: vc 38.38/38.44 o 131 43.68/43.72 c trying 130: vc 43.68/43.72 o 130 47.58/47.67 c trying 129: vc 47.58/47.67 o 129 48.38/48.42 c trying 128: vc 48.38/48.42 o 128 53.18/53.25 c trying 127: vc 53.18/53.25 o 127 58.68/58.76 c trying 126: vc 58.68/58.76 o 126 63.17/63.23 c trying 125: vc 63.17/63.23 o 125 67.35/67.46 c trying 124: vc 67.35/67.46 o 124 74.14/74.29 c trying 123: vc 74.14/74.29 o 123 83.11/83.25 c trying 122: vc 83.11/83.25 o 122 87.80/87.92 c trying 121: vc 87.80/87.92 o 121 94.99/95.16 c trying 120: vc 94.99/95.16 o 120 100.38/100.59 c trying 119: vc 100.38/100.59 o 119 102.78/102.96 c trying 118: vc 102.78/102.96 o 118 111.77/111.98 c trying 117: vc 111.77/111.98 o 117 121.26/121.47 c trying 116: vc 121.26/121.47 o 116 133.75/133.98 c trying 115: vc 133.75/133.98 o 115 142.85/143.09 c trying 114: vc 142.85/143.09 o 114 150.75/150.94 c trying 113: vc 150.75/150.94 o 113 160.45/160.61 c trying 112: vc 160.45/160.61 o 112 166.44/166.63 c trying 111: vc 166.44/166.63 o 111 173.44/173.60 c trying 110: vc 173.44/173.60 o 110 185.54/185.77 c trying 109: vc 185.54/185.77 o 109 201.24/201.40 c trying 108: vc 201.24/201.40 o 108 215.83/216.08 c trying 107: vc 215.83/216.08 o 107 247.82/248.01 c trying 106: xvc 247.82/248.01 o 106 262.52/262.73 c trying 105: vc 262.52/262.73 o 105 272.81/273.05 c trying 104: vc 272.81/273.05 o 104 286.91/287.12 c trying 103: vc 286.91/287.12 o 103 306.80/307.04 c trying 102: vc 306.80/307.04 o 102 322.79/323.02 c trying 101: vc 322.79/323.02 o 101 373.79/374.03 c trying 100: xxvc 373.79/374.03 o 100 407.97/408.24 c trying 99: xvc 407.97/408.25 o 99 426.47/426.79 c trying 98: vc 426.47/426.79 o 98 473.06/473.31 c trying 97: xxvc 473.06/473.31 o 97 559.13/559.46 c trying 96: xxxxvc 559.13/559.46 o 96 723.68/724.08 c trying 95: xxxxxxxxxxc 723.68/724.08 c Phase 3 ... 748.69/749.10 c trying 95 again: vc 748.69/749.10 o 95 781.98/782.33 c trying 94 again: vc 781.98/782.33 o 91 818.86/819.24 c trying 90 again: vc 818.86/819.24 o 90 858.15/858.58 c trying 89 again: vc 858.15/858.58 o 89 896.44/896.82 c trying 88 again: vc 896.44/896.82 o 88 931.64/932.01 c trying 87 again: vc 931.64/932.01 o 87 980.82/981.27 c trying 86 again: vc 980.82/981.27 o 86 1031.91/1032.31 c trying 85 again: vc 1031.91/1032.31 o 85 1120.08/1120.51 c trying 84 again: vc 1120.08/1120.51 o 84 1186.76/1187.22 c trying 83 again: vc 1186.76/1187.22 o 83 1254.55/1255.09 c trying 82 again: vc 1254.55/1255.09 o 82 1365.01/1365.56 c trying 81 again: vc 1365.01/1365.56 o 81 1472.59/1473.16 c trying 80 again: vc 1472.59/1473.16 o 80 1552.96/1553.57 c trying 79 again: vc 1552.96/1553.57 o 79 1623.85/1624.41 c trying 78 again: vc 1623.85/1624.41 o 78 1716.42/1717.05 c trying 77 again: vc 1716.42/1717.05 o 77 1800.00/1800.60 c trying 76 again: xc 1800.00/1800.60 s SATISFIABLE 1800.00/1800.61 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.00/1800.61 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 1800.00/1800.61 v -x56 x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 x72 -x73 -x74 x75 x76 -x77 -x78 x79 -x80 x81 -x82 -x83 1800.00/1800.61 v x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 x99 -x100 x101 -x102 x103 x104 x105 -x106 -x107 -x108 1800.00/1800.61 v x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 x126 -x127 -x128 -x129 1800.00/1800.61 v -x130 x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 x150 -x151 1800.00/1800.61 v -x152 -x153 -x154 x155 -x156 x157 -x158 -x159 x160 x161 -x162 -x163 x164 -x165 -x166 -x167 x168 -x169 x170 -x171 x172 -x173 1800.00/1800.61 v -x174 -x175 -x176 -x177 x178 -x179 x180 x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 x191 x192 -x193 x194 -x195 1800.00/1800.61 v x196 -x197 -x198 -x199 x200 x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 1800.00/1800.61 v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 1800.00/1800.61 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 1800.00/1800.61 v -x259 -x260 -x261 -x262 -x263 -x264 x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 1800.00/1800.61 v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 1800.00/1800.61 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 1800.00/1800.61 v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 1800.00/1800.61 v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 1800.00/1800.61 v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 1800.00/1800.61 v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 1800.00/1800.61 v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 1800.00/1800.61 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 1800.00/1800.61 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1800.00/1800.61 v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1800.00/1800.61 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 1800.00/1800.61 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1800.00/1800.61 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 1800.00/1800.61 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 1800.00/1800.61 v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 1800.00/1800.61 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1800.00/1800.61 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 1800.00/1800.61 v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 1800.00/1800.61 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1800.00/1800.61 v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 1800.00/1800.61 v -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 1800.00/1800.61 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 1800.00/1800.61 v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 1800.00/1800.61 v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 1800.00/1800.61 v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 1800.00/1800.61 v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 1800.00/1800.61 v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 1800.00/1800.61 v -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 1800.00/1800.61 v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 1800.00/1800.61 v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 1800.00/1800.61 v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 1800.00/1800.61 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 1800.00/1800.61 v -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 1800.00/1800.61 v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 1800.00/1800.61 v -x994 -x995 -x996 -x997 -x998 x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 1800.00/1800.61 v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 1800.00/1800.61 v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.00/1800.61 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 1800.00/1800.61 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1800.00/1800.61 v -x1081 -x1082 -x1083 -x1084 -x1085 x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 x1095 -x1096 -x1097 -x1098 1800.00/1800.61 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1800.00/1800.61 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 1800.00/1800.61 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 1800.00/1800.61 v -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 1800.00/1800.61 v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1800.00/1800.61 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1800.00/1800.61 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 1800.00/1800.61 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 1800.00/1800.61 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 1800.00/1800.61 v x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 1800.00/1800.61 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1800.00/1800.61 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 1800.00/1800.61 v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 1800.00/1800.61 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 1800.00/1800.61 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 1800.00/1800.61 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 1800.00/1800.61 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1800.00/1800.61 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 1800.00/1800.61 v -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 1800.00/1800.61 v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 1800.00/1800.61 v -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 1800.00/1800.61 v -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 1800.00/1800.61 v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 1800.00/1800.61 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 1800.00/1800.61 v -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 1800.00/1800.61 v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 1800.00/1800.61 v -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 1800.00/1800.61 v -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 1800.00/1800.61 v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 1800.00/1800.61 v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 1800.00/1800.61 v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 1800.00/1800.61 v -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 1800.00/1800.61 v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1800.00/1800.61 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 1800.00/1800.61 v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 1800.00/1800.61 v -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 1800.00/1800.61 v -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 1800.00/1800.61 v -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 1800.00/1800.61 v -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 x1760 -x1761 -x1762 -x1763 1800.00/1800.61 v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 1800.00/1800.61 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 1800.00/1800.61 v -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 1800.00/1800.61 v -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 1800.00/1800.61 v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 1800.00/1800.61 v -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 1800.00/1800.61 v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 1800.00/1800.61 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 1800.00/1800.61 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1800.00/1800.61 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 1800.00/1800.61 v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 1800.00/1800.61 v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 1800.00/1800.61 v -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 1800.00/1800.61 v -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 1800.00/1800.61 v -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 1800.00/1800.61 v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 1800.00/1800.61 v -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 1800.00/1800.61 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 1800.00/1800.61 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 x2084 -x2085 -x2086 -x2087 -x2088 1800.00/1800.61 v -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 1800.00/1800.61 v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 1800.00/1800.61 v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 1800.00/1800.61 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1800.00/1800.61 v -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 1800.00/1800.61 v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1800.00/1800.61 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 1800.00/1800.61 v -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 1800.00/1800.61 v -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 1800.00/1800.61 v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 x2258 -x2259 -x2260 -x2261 1800.00/1800.61 v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1800.00/1800.61 v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 1800.00/1800.61 v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 1800.00/1800.61 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 1800.00/1800.61 v -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1800.00/1800.61 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 1800.00/1800.61 v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 1800.00/1800.61 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 1800.00/1800.61 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 1800.00/1800.61 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 1800.00/1800.61 v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 1800.00/1800.61 v x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 1800.00/1800.61 v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 1800.00/1800.61 v x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 1800.00/1800.61 v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 1800.00/1800.61 v -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1800.00/1800.61 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 1800.00/1800.61 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 1800.00/1800.61 v -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 1800.00/1800.61 v -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 1800.00/1800.61 v -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1800.00/1800.61 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 1800.00/1800.61 v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 1800.00/1800.61 v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 1800.00/1800.61 v -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 1800.00/1800.61 v -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 1800.00/1800.61 v -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 1800.00/1800.61 v -x2721 x2722 x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 1800.00/1800.61 v -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 1800.00/1800.61 v -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 1800.00/1800.61 v -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 1800.00/1800.61 v -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 1800.00/1800.61 v -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 1800.00/1800.61 v -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 1800.00/1800.61 v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 x2849 -x2850 -x2851 x2852 x2853 -x2854 -x2855 -x2856 -x2857 -x2858 1800.00/1800.61 v -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 1800.00/1800.61 v -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 1800.00/1800.61 v -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 1800.00/1800.61 v -x2910 -x2911 -x2912 -x2913 x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 1800.00/1800.61 v -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 x2940 x2941 -x2942 -x2943 -x2944 -x2945 1800.00/1800.61 v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 1800.00/1800.61 v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 1800.00/1800.61 v x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 1800.00/1800.61 v -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 1800.00/1800.61 v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 1800.00/1800.61 v -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 1800.00/1800.61 v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 1800.00/1800.61 v -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 1800.00/1800.61 v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 1800.00/1800.61 v -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 1800.00/1800.61 v -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 1800.00/1800.61 v -x3136 -x3137 -x3138 -x3139 x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 1800.00/1800.61 v -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 1800.00/1800.61 v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 1800.00/1800.61 v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 1800.00/1800.61 v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 1800.00/1800.61 v -x3222 -x3223 -x3224 -x3225 x3226 x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 1800.00/1800.61 v -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 1800.00/1800.61 v -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 1800.00/1800.61 v -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 1800.00/1800.61 v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 1800.00/1800.61 v -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 1800.00/1800.61 v -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 1800.00/1800.61 v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 1800.00/1800.61 v -x3359 x3360 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 1800.00/1800.61 v -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 1800.00/1800.61 v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 1800.00/1800.61 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 x3424 x3425 -x3426 -x3427 -x3428 1800.00/1800.61 v -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 1800.00/1800.61 v -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 x3461 x3462 x3463 1800.00/1800.61 v -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 1800.00/1800.61 v -x3481 x3482 x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 1800.00/1800.61 v -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 1800.00/1800.61 v x3516 x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 1800.00/1800.61 v -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 x3547 -x3548 -x3549 -x3550 -x3551 1800.00/1800.61 v -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 x3566 x3567 -x3568 -x3569 1800.00/1800.61 v -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 1800.00/1800.61 v -x3587 x3588 x3589 -x3590 -x3591 x3592 x3593 -x3594 -x3595 -x3596 -x3597 x3598 x3599 -x3600 -x3601 -x3602 -x3603 -x3604 1800.00/1800.61 v -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 1800.00/1800.61 v -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 1800.00/1800.61 v -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 1800.00/1800.61 v -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 1800.00/1800.61 v -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 1800.00/1800.61 v -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 1800.00/1800.61 v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 1800.00/1800.61 v -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 1800.00/1800.61 v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 1800.00/1800.61 v -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 x3769 x3770 -x3771 -x3772 -x3773 -x3774 -x3775 1800.00/1800.61 v -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 x3787 x3788 -x3789 -x3790 -x3791 -x3792 -x3793 1800.00/1800.61 v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1800.00/1800.61 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1800.00/1800.61 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 1800.00/1800.61 v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 1800.00/1800.61 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 1800.00/1800.61 v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 1800.00/1800.61 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 1800.00/1800.61 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1800.00/1800.61 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 1800.00/1800.61 v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 1800.00/1800.61 v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 1800.00/1800.61 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 1800.00/1800.61 v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 1800.00/1800.61 v -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 1800.00/1800.61 v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 1800.00/1800.61 v -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 1800.00/1800.61 v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 1800.00/1800.61 v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 1800.00/1800.61 v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 1800.00/1800.61 v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 1800.00/1800.61 v -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 1800.00/1800.61 v -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 1800.00/1800.61 v -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 1800.00/1800.61 v -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 x4193 x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 1800.00/1800.61 v -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 x4215 x4216 -x4217 -x4218 -x4219 -x4220 -x4221 1800.00/1800.61 v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 x4237 x4238 -x4239 1800.00/1800.61 v -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 1800.00/1800.61 v -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 1800.00/1800.61 v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 1800.00/1800.61 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 1800.00/1800.61 v -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 1800.00/1800.61 v -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 1800.00/1800.61 v -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 1800.00/1800.61 v -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369 x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 1800.00/1800.61 v -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 1800.00/1800.61 v -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 1800.00/1800.61 v -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 1800.00/1800.61 v -x4428 -x4429 -x4430 -x4431 -x4432 x4433 x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 1800.00/1800.61 v -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 1800.00/1800.61 v -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 1800.00/1800.61 v -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 1800.00/1800.61 v -x4497 -x4498 x4499 x4500 -x4501 -x4502 -x4503 -x4504 x4505 x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 1800.00/1800.61 v -x4515 -x4516 -x4517 -x4518 x4519 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 x4529 x4530 -x4531 -x4532 1800.00/1800.61 v -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 x4547 x4548 -x4549 -x4550 1800.00/1800.61 v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 1800.00/1800.61 v -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 1800.00/1800.61 v -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 1800.00/1800.61 v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 1800.00/1800.61 v -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 1800.00/1800.61 v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 1800.00/1800.61 v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 1800.00/1800.61 v -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 1800.00/1800.61 v -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 1800.00/1800.61 v -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 1800.00/1800.61 v -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 1800.00/1800.61 v -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 1800.00/1800.61 v -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 1800.00/1800.61 v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 1800.00/1800.61 v -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 1800.00/1800.61 v -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 1800.00/1800.61 v -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 1800.00/1800.61 v -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 1800.00/1800.61 v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 1800.00/1800.61 v -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 1800.00/1800.61 v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 1800.00/1800.61 v -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 1800.00/1800.61 v -x4925 x4926 x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 1800.00/1800.61 v -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 1800.00/1800.61 v -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 1800.00/1800.61 v -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 x4993 1800.00/1800.61 v x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 1800.00/1800.61 v -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 1800.00/1800.61 v -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 1800.00/1800.61 v -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 1800.00/1800.61 v -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 1800.00/1800.61 v -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 1800.00/1800.61 v -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 1800.00/1800.61 v x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 1800.00/1800.61 v -x5131 -x5132 x5133 x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 1800.00/1800.61 v -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 1800.00/1800.61 v -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 1800.00/1800.61 v -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 1800.00/1800.61 v -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 1800.00/1800.61 v -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 1800.00/1800.61 v -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 1800.00/1800.61 v -x5251 -x5252 -x5253 -x5254 x5255 x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 x5267 x5268 1800.00/1800.61 v -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 1800.00/1800.61 v -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 1800.00/1800.61 v -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 1800.00/1800.61 v -x5320 -x5321 -x5322 -x5323 -x5324 x5325 x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 1800.00/1800.61 v -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 1800.00/1800.61 v -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 1800.00/1800.61 v -x5372 -x5373 -x5374 -x5375 -x5376 x5377 x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 1800.00/1800.61 v -x5390 x5391 x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 1800.00/1800.61 v -x5408 -x5409 -x5410 -x5411 -x5412 x5413 x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 x5421 x5422 -x5423 -x5424 -x5425 1800.00/1800.61 v -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 1800.00/1800.61 v -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 1800.00/1800.61 v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 1800.00/1800.61 v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 1800.00/1800.61 v -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 1800.00/1800.61 v -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 1800.00/1800.61 v -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 1800.00/1800.61 v -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 1800.00/1800.61 v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 1800.00/1800.61 v -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 x5589 x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 1800.00/1800.61 v -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 x5613 1800.00/1800.61 v x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 1800.00/1800.61 v -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 x5645 x5646 -x5647 -x5648 1800.00/1800.61 v -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 1800.00/1800.61 v -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 x5677 x5678 -x5679 -x5680 -x5681 -x5682 -x5683 1800.00/1800.61 v -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 1800.00/1800.61 v -x5701 -x5702 x5703 x5704 -x5705 -x5706 x5707 x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 1800.00/1800.61 v -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 1800.00/1800.61 v -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 1800.00/1800.61 v -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 1800.00/1800.61 v -x5770 -x5771 -x5772 x5773 x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 x5783 x5784 -x5785 -x5786 -x5787 1800.00/1800.61 v -x5788 -x5789 -x5790 -x5791 -x5792 x5793 x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 1800.00/1800.61 v -x5806 -x5807 x5808 -x5809 -x5810 x5811 x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 1800.00/1800.61 v -x5824 x5825 x5826 x5827 x5828 1800.00/1800.62 c Total Number of Positive Atoms : 201 1800.00/1800.62 c 1800.00/1800.62 c During searching: 1716.93 seconds elapsed. 1800.00/1800.62 c CPU time spent: 1716.5 seconds. 1800.00/1800.62 c 1800.00/1800.62 c =================================== END ===================================== 1800.00/1800.62 c
OK 77
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-372469-1177099198 -o ROOT/results/node18/solver-372469-1177099198 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372469-1177099198/wildcat-skc /tmp/evaluation/372469-1177099198/instance-372469-1177099198.opb 976741361 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16682 /proc/meminfo: memFree=1816152/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=5972 CPUtime=0 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 157837228 6115328 138 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 1493 138 105 226 0 1264 0 [startup+0.094625 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16682 /proc/meminfo: memFree=1816152/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=8480 CPUtime=0.08 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 784 0 0 0 8 0 0 0 18 0 1 0 157837228 8683520 768 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2120 769 107 226 0 1891 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8480 [startup+0.101625 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16682 /proc/meminfo: memFree=1816152/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=9140 CPUtime=0.09 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 928 0 0 0 9 0 0 0 18 0 1 0 157837228 9359360 912 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2285 913 107 226 0 2056 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9140 [startup+0.301645 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16682 /proc/meminfo: memFree=1816152/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=0.29 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 29 0 0 0 19 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134551213 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10588 [startup+0.701684 s] /proc/loadavg: 1.00 1.00 1.00 3/77 16682 /proc/meminfo: memFree=1816152/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=0.69 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 69 0 0 0 23 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10588 [startup+1.50176 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16683 /proc/meminfo: memFree=1811472/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1.49 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 149 0 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10588 [startup+3.10292 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16683 /proc/meminfo: memFree=1811344/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=3.09 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 309 0 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10588 [startup+6.30123 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16683 /proc/meminfo: memFree=1811216/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=6.29 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 629 0 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10588 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16683 /proc/meminfo: memFree=1811152/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=12.68 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 1268 0 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10588 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16683 /proc/meminfo: memFree=1811152/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=25.48 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 2548 0 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10588 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16683 /proc/meminfo: memFree=1811088/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=51.08 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 5107 1 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10588 [startup+102.307 s] /proc/loadavg: 1.00 1.00 1.00 2/84 16853 /proc/meminfo: memFree=1809616/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=102.19 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 10218 1 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 10588 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1810896/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=162.14 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 16213 1 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 162.14 Current children cumulated vsize (KiB) 10588 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1810896/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=222.13 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 22211 2 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 10588 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1810896/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=282.11 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 28209 2 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565719 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 10588 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1810896/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=342.1 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 34207 3 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599037 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 10588 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1810896/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=402.08 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 40205 3 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134516776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 10588 [startup+462.301 s] /proc/loadavg: 1.07 1.02 1.00 2/78 16881 /proc/meminfo: memFree=1810832/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=462.06 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 46203 3 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 10588 [startup+522.301 s] /proc/loadavg: 1.08 1.03 1.00 2/78 16881 /proc/meminfo: memFree=1810832/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=522.05 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 52201 4 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599063 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 10588 [startup+582.302 s] /proc/loadavg: 1.13 1.05 1.01 2/78 16881 /proc/meminfo: memFree=1810832/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=582.03 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 58199 4 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599009 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 10588 [startup+642.302 s] /proc/loadavg: 1.15 1.07 1.01 2/78 16881 /proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=642.02 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 64197 5 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 10588 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.03 1.00 2/78 16881 /proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=821.96 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 82190 6 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 10588 [startup+882.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 16881 /proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=881.94 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 88188 6 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565722 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 10588 [startup+942.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 16881 /proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=941.93 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 94186 7 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134926093 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 10588 [startup+1002.3 s] /proc/loadavg: 1.07 1.03 1.00 2/78 16881 /proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1001.91 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 100184 7 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598373 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 10588 [startup+1062.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 16881 /proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1061.9 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 106182 8 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565949 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 10588 [startup+1122.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 16881 /proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1121.88 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 112180 8 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599062 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 10588 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 16881 /proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1181.86 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 118178 8 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 10588 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 16881 /proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1241.85 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 124176 9 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 10588 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1301.83 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 130174 9 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599050 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 10588 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1361.81 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 136171 10 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598410 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 10588 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1421.8 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 142170 10 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599008 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 10588 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1481.79 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 148168 11 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599013 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 10588 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1541.76 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 154165 11 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598410 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 10588 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1601.74 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 160163 11 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598368 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 10588 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1661.73 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 166161 12 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134551202 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 10588 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1811024/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1721.71 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 172159 12 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598438 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 10588 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16881 /proc/meminfo: memFree=1810960/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1781.7 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 178157 13 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 10588 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 3/78 16881 /proc/meminfo: memFree=1810896/2055920 swapFree=4147132/4192956 [pid=16682] ppid=16680 vsize=10588 CPUtime=1800 /proc/16682/stat : 16682 (wildcat-skc) R 16680 16682 16144 0 -1 4194304 1320 0 0 0 179987 13 0 0 25 0 1 0 157837228 10842112 1303 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565808 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16682/statm: 2647 1303 115 226 0 2418 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 10588 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.02 CPU user time (s): 1799.89 CPU system time (s): 0.133979 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 10588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.133979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1320 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= 10 involuntary context switches= 1921 runsolver used 2.01669 second user time and 4.23536 second system time The end
Begin job on node18 on Fri Apr 20 19:59:59 UTC 2007 IDJOB= 372469 IDBENCH= 24974 IDSOLVER= 162 FILE ID= node18/372469-1177099198 PBS_JOBID= 4640368 Free space on /tmp= 66482 MiB SOLVER NAME= wildcat-skc 2007-03-21 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb COMMAND LINE= /tmp/evaluation/372469-1177099198/wildcat-skc /tmp/evaluation/372469-1177099198/instance-372469-1177099198.opb 976741361 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-372469-1177099198 -o ROOT/results/node18/solver-372469-1177099198 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372469-1177099198/wildcat-skc /tmp/evaluation/372469-1177099198/instance-372469-1177099198.opb 976741361 META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b RANDOM SEED= 976741361 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1816688 kB Buffers: 47932 kB Cached: 93364 kB SwapCached: 14288 kB Active: 99856 kB Inactive: 82040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816688 kB SwapTotal: 4192956 kB SwapFree: 4147132 kB Dirty: 2820 kB Writeback: 0 kB Mapped: 29972 kB Slab: 42876 kB Committed_AS: 5326180 kB PageTables: 1776 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66482 MiB End job on node18 on Fri Apr 20 20:30:01 UTC 2007