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