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