Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 2007-03-21 | SAT (TO) | 159 | 1800.08 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.b.opb |
MD5SUM | 0b80319f4195f1e1329c2c4b63b416b0 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 54 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 45 |
Optimality of the best value was proved | NO |
Number of variables | 5203 |
Total number of constraints | 19637 |
Number of constraints which are clauses | 19637 |
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 | 11 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 5203 |
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 | 5203 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 5203 |
Number of bits of the biggest sum of numbers | 13 |
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/354737-1176723637/wildcat-rnp /tmp/evaluation/354737-1176723637/instance-354737-1176723637.opb 809017781 0.00/0.00 c =================================== BEGIN =================================== 0.00/0.00 c 0.00/0.00 c Random Number Seed: 809017781 0.00/0.00 c Noise: 0.7 (70 : 100) 1.49/1.50 c Starting searching: 1.49/1.50 c Phase 1 ... 1.69/1.79 c trying 5203: vc 1.69/1.79 o 2627 1.99/2.09 c trying 2575: vc 1.99/2.09 o 2575 2.29/2.39 c trying 2524: vc 2.29/2.39 o 2524 2.69/2.71 c trying 2473: vc 2.69/2.71 o 2473 2.99/3.05 c trying 2423: vc 2.99/3.05 o 2423 3.30/3.37 c trying 2373: vc 3.30/3.37 o 2373 3.69/3.72 c trying 2324: vc 3.69/3.72 o 2324 3.99/4.09 c trying 2275: vc 3.99/4.09 o 2275 4.40/4.46 c trying 2227: vc 4.40/4.46 o 2227 4.79/4.84 c trying 2179: vc 4.79/4.84 o 2179 5.19/5.22 c trying 2132: vc 5.19/5.22 o 2132 5.59/5.64 c trying 2085: vc 5.59/5.64 o 2085 5.99/6.07 c trying 2039: vc 5.99/6.07 o 2039 6.39/6.50 c trying 1993: vc 6.39/6.50 o 1993 6.89/6.92 c trying 1948: vc 6.89/6.92 o 1948 7.29/7.34 c trying 1903: vc 7.29/7.34 o 1903 7.79/7.81 c trying 1859: vc 7.79/7.81 o 1859 8.19/8.26 c trying 1815: vc 8.19/8.26 o 1815 8.70/8.71 c trying 1772: vc 8.70/8.71 o 1772 9.09/9.19 c trying 1729: vc 9.09/9.19 o 1729 9.69/9.70 c trying 1687: vc 9.69/9.70 o 1687 10.19/10.22 c trying 1645: vc 10.19/10.22 o 1645 10.69/10.72 c trying 1604: vc 10.69/10.72 o 1604 11.19/11.28 c trying 1563: vc 11.19/11.28 o 1563 11.79/11.82 c trying 1523: vc 11.79/11.82 o 1523 12.29/12.34 c trying 1483: vc 12.29/12.34 o 1483 12.89/12.90 c trying 1444: vc 12.89/12.90 o 1444 13.39/13.46 c trying 1406: vc 13.39/13.46 o 1406 13.99/14.03 c trying 1368: vc 13.99/14.03 o 1368 14.49/14.58 c trying 1331: vc 14.49/14.58 o 1331 15.09/15.18 c trying 1294: vc 15.09/15.18 o 1294 15.69/15.79 c trying 1258: vc 15.69/15.79 o 1258 16.29/16.38 c trying 1222: vc 16.29/16.38 o 1222 16.99/17.01 c trying 1187: vc 16.99/17.02 o 1187 17.59/17.65 c trying 1152: vc 17.59/17.65 o 1152 18.19/18.26 c trying 1118: vc 18.19/18.26 o 1118 18.89/18.90 c trying 1084: vc 18.89/18.90 o 1084 19.49/19.56 c trying 1051: vc 19.49/19.56 o 1051 20.09/20.19 c trying 1018: vc 20.09/20.19 o 1018 20.79/20.86 c trying 986: vc 20.79/20.86 o 986 21.49/21.53 c trying 954: vc 21.49/21.53 o 954 22.09/22.19 c trying 923: vc 22.09/22.19 o 923 22.89/22.90 c trying 892: vc 22.89/22.90 o 892 23.59/23.61 c trying 862: vc 23.59/23.61 o 862 24.29/24.36 c trying 832: vc 24.29/24.36 o 832 25.09/25.12 c trying 803: vc 25.09/25.12 o 803 25.89/25.91 c trying 774: vc 25.89/25.91 o 774 26.69/26.70 c trying 746: vc 26.69/26.70 o 746 27.49/27.50 c trying 718: vc 27.49/27.50 o 718 28.28/28.34 c trying 691: vc 28.28/28.34 o 691 29.18/29.21 c trying 664: vc 29.18/29.21 o 664 30.08/30.14 c trying 638: vc 30.08/30.14 o 638 31.08/31.13 c trying 612: vc 31.08/31.13 o 612 32.08/32.13 c trying 587: vc 32.08/32.13 o 587 33.18/33.20 c trying 562: vc 33.18/33.20 o 562 34.28/34.31 c trying 538: vc 34.28/34.31 o 538 35.37/35.48 c trying 514: vc 35.37/35.48 o 514 36.67/36.73 c trying 491: vc 36.67/36.73 o 491 38.07/38.19 c trying 468: vc 38.07/38.19 o 468 39.67/39.75 c trying 446: vc 39.67/39.75 o 446 41.27/41.33 c trying 424: vc 41.27/41.33 o 424 43.07/43.10 c trying 403: vc 43.07/43.10 o 403 45.37/45.40 c trying 382: vc 45.37/45.40 o 382 47.47/47.59 c trying 362: vc 47.47/47.59 o 362 50.27/50.40 c trying 342: vc 50.27/50.40 o 342 53.37/53.44 c trying 323: vc 53.37/53.44 o 323 56.86/56.92 c trying 305: vc 56.86/56.92 o 305 60.86/60.97 c trying 287: vc 60.86/60.97 o 287 66.36/66.45 c trying 270: vc 66.36/66.45 o 270 73.06/73.12 c trying 253: vc 73.06/73.12 o 253 81.27/81.33 c trying 237: vc 81.27/81.33 o 237 93.26/93.33 c trying 221: vc 93.26/93.33 o 221 108.56/108.68 c trying 206: vc 108.56/108.68 o 206 172.94/173.06 c trying 191: xxvc 172.94/173.06 o 191 389.88/390.05 c trying 177: xxxxxxxxxxc 389.88/390.05 c Phase 2 ... 412.68/412.83 c trying 190: vc 412.68/412.83 o 190 433.47/433.69 c trying 189: vc 433.47/433.69 o 189 460.87/461.02 c trying 188: vc 460.87/461.02 o 188 487.56/487.72 c trying 187: vc 487.56/487.72 o 187 516.55/516.74 c trying 186: vc 516.55/516.74 o 186 545.04/545.29 c trying 185: vc 545.04/545.29 o 185 574.93/575.19 c trying 184: vc 574.93/575.19 o 184 602.54/602.77 c trying 183: vc 602.54/602.77 o 183 631.42/631.64 c trying 182: vc 631.42/631.65 o 182 662.41/662.69 c trying 181: vc 662.41/662.69 o 181 691.30/691.57 c trying 180: vc 691.30/691.57 o 180 727.50/727.77 c trying 179: vc 727.50/727.77 o 179 761.99/762.29 c trying 178: vc 761.99/762.29 o 178 797.08/797.30 c trying 177: vc 797.08/797.30 o 177 831.87/832.15 c trying 176: vc 831.87/832.15 o 176 869.06/869.34 c trying 175: vc 869.06/869.34 o 175 908.55/908.88 c trying 174: vc 908.55/908.88 o 174 950.14/950.42 c trying 173: vc 950.14/950.42 o 173 988.14/988.48 c trying 172: vc 988.14/988.48 o 172 1032.72/1033.00 c trying 171: vc 1032.72/1033.00 o 171 1077.11/1077.40 c trying 170: vc 1077.11/1077.40 o 170 1123.70/1124.06 c trying 169: vc 1123.70/1124.06 o 169 1179.48/1179.82 c trying 168: vc 1179.48/1179.82 o 168 1229.54/1229.99 c trying 167: vc 1229.54/1230.00 o 167 1291.37/1291.90 c trying 166: vc 1291.37/1291.90 o 166 1344.76/1345.23 c trying 165: vc 1344.76/1345.23 o 165 1402.35/1402.85 c trying 164: vc 1402.35/1402.85 o 164 1466.93/1467.43 c trying 163: vc 1466.93/1467.43 o 163 1531.12/1531.67 c trying 162: vc 1531.12/1531.67 o 162 1603.20/1603.79 c trying 161: vc 1603.20/1603.79 o 161 1670.88/1671.45 c trying 160: vc 1670.88/1671.45 o 160 1735.46/1736.00 c trying 159: vc 1735.46/1736.00 o 159 1800.06/1800.61 c trying 158: xc 1800.06/1800.61 c Phase 3 ... 1800.06/1800.61 c trying 158 again: c 1800.06/1800.61 s SATISFIABLE 1800.06/1800.61 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.06/1800.61 v -x29 -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 1800.06/1800.61 v -x55 -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 1800.06/1800.61 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.06/1800.61 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.06/1800.61 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 1800.06/1800.61 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 1800.06/1800.61 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.06/1800.61 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.06/1800.61 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.06/1800.61 v -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 1800.06/1800.61 v -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.06/1800.61 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.06/1800.61 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.06/1800.61 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.06/1800.61 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 1800.06/1800.61 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 1800.06/1800.61 v -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.06/1800.61 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.06/1800.61 v x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 1800.06/1800.61 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.06/1800.61 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 1800.06/1800.61 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.06/1800.61 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.06/1800.61 v -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 1800.06/1800.61 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.06/1800.61 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.06/1800.61 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.06/1800.61 v -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.06/1800.61 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.06/1800.61 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 1800.06/1800.61 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.06/1800.61 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.06/1800.61 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.06/1800.61 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.06/1800.61 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.06/1800.61 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.06/1800.61 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.06/1800.61 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.06/1800.61 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.06/1800.61 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.06/1800.61 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.06/1800.61 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.06/1800.61 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.06/1800.61 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.06/1800.61 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.06/1800.61 v -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 1800.06/1800.61 v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 1800.06/1800.61 v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 1800.06/1800.61 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 1800.06/1800.61 v x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 x1073 -x1074 -x1075 1800.06/1800.61 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.06/1800.61 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 1800.06/1800.61 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 1800.06/1800.61 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1800.06/1800.61 v x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1800.06/1800.61 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.06/1800.61 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 1800.06/1800.61 v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 -x1211 1800.06/1800.61 v -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 1800.06/1800.61 v -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1800.06/1800.61 v x1246 -x1247 x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 1800.06/1800.61 v -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 1800.06/1800.61 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 1800.06/1800.61 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 1800.06/1800.61 v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 1800.06/1800.61 v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 1800.06/1800.61 v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 1800.06/1800.61 v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 1800.06/1800.61 v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.06/1800.61 v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 1800.06/1800.61 v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.06/1800.61 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x1450 1800.06/1800.61 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 1800.06/1800.61 v x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 1800.06/1800.61 v -x1485 -x1486 -x1487 x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1800.06/1800.61 v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 1800.06/1800.61 v -x1519 -x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 1800.06/1800.61 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1800.06/1800.61 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 1800.06/1800.61 v -x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.06/1800.61 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 1800.06/1800.61 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1800.06/1800.61 v -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1800.06/1800.61 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1800.06/1800.61 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1800.06/1800.61 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1800.06/1800.61 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1800.06/1800.61 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 1800.06/1800.61 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1800.06/1800.61 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 1800.06/1800.61 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 -x1773 -x1774 -x1775 -x1776 1800.06/1800.61 v -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 1800.06/1800.61 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 1800.06/1800.61 v -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 1800.06/1800.61 v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 1800.06/1800.61 v -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 1800.06/1800.61 v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 1800.06/1800.61 v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 1800.06/1800.61 v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 1800.06/1800.61 v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 1800.06/1800.61 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 1800.06/1800.61 v -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 1800.06/1800.61 v x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 1800.06/1800.61 v -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 1800.06/1800.61 v -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1800.06/1800.61 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 1800.06/1800.61 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1800.06/1800.61 v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 x2066 -x2067 1800.06/1800.61 v -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1800.06/1800.61 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1800.06/1800.61 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 1800.06/1800.61 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 1800.06/1800.61 v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 1800.06/1800.61 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 1800.06/1800.61 v -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 x2186 -x2187 1800.06/1800.61 v -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 1800.06/1800.61 v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 1800.06/1800.61 v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 1800.06/1800.61 v -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 1800.06/1800.61 v -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 1800.06/1800.61 v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 1800.06/1800.61 v -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 1800.06/1800.61 v -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 1800.06/1800.61 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 1800.06/1800.61 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 1800.06/1800.61 v -x2358 -x2359 -x2360 -x2361 -x2362 x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 1800.06/1800.61 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391 1800.06/1800.61 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 1800.06/1800.61 v -x2409 x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 1800.06/1800.61 v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 1800.06/1800.61 v -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 1800.06/1800.61 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 -x2477 1800.06/1800.61 v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 1800.06/1800.61 v -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 1800.06/1800.61 v -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 1800.06/1800.61 v -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 1800.06/1800.61 v -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 1800.06/1800.61 v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 1800.06/1800.61 v -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 1800.06/1800.61 v -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 1800.06/1800.61 v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 1800.06/1800.61 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 1800.06/1800.61 v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 1800.06/1800.61 v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 1800.06/1800.61 v -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 1800.06/1800.61 v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 1800.06/1800.61 v x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 1800.06/1800.61 v -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 1800.06/1800.61 v -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 1800.06/1800.61 v -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 1800.06/1800.61 v -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 1800.06/1800.61 v -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 1800.06/1800.61 v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 1800.06/1800.61 v -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851 -x2852 1800.06/1800.61 v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 1800.06/1800.61 v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 -x2885 -x2886 1800.06/1800.61 v -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 1800.06/1800.61 v -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 -x2919 -x2920 1800.06/1800.61 v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 1800.06/1800.61 v -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 x2949 -x2950 -x2951 -x2952 -x2953 -x2954 1800.06/1800.61 v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 1800.06/1800.61 v -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 1800.06/1800.61 v -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 1800.06/1800.61 v -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 x3021 -x3022 1800.06/1800.61 v -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 1800.06/1800.61 v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 1800.06/1800.61 v -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 -x3073 1800.06/1800.61 v -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 1800.06/1800.61 v -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3105 -x3106 -x3107 -x3108 1800.06/1800.61 v -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 1800.06/1800.61 v -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 1800.06/1800.61 v -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 1800.06/1800.61 v -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 1800.06/1800.61 v -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 -x3188 x3189 -x3190 -x3191 -x3192 -x3193 -x3194 1800.06/1800.61 v -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 1800.06/1800.61 v -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 x3224 -x3225 -x3226 -x3227 -x3228 1800.06/1800.61 v -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 1800.06/1800.61 v -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 1800.06/1800.61 v x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 x3276 -x3277 -x3278 -x3279 -x3280 1800.06/1800.61 v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 -x3297 1800.06/1800.61 v -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 1800.06/1800.61 v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 1800.06/1800.61 v -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 1800.06/1800.61 v -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 1800.06/1800.61 v -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 1800.06/1800.61 v -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 1800.06/1800.61 v -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 1800.06/1800.61 v -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 1800.06/1800.61 v -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 1800.06/1800.61 v -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 1800.06/1800.61 v -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 1800.06/1800.61 v -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 1800.06/1800.61 v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519 1800.06/1800.61 v -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 1800.06/1800.61 v -x3537 -x3538 -x3539 -x3540 -x3541 x3542 -x3543 -x3544 x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 1800.06/1800.61 v -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 1800.06/1800.61 v -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 1800.06/1800.61 v -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 -x3605 1800.06/1800.61 v -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 1800.06/1800.61 v -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 1800.06/1800.61 v -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 1800.06/1800.61 v -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 1800.06/1800.61 v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 1800.06/1800.61 v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 1800.06/1800.61 v -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 1800.06/1800.61 v -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 1800.06/1800.61 v -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 x3748 -x3749 -x3750 x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 1800.06/1800.61 v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 1800.06/1800.61 v x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 1800.06/1800.61 v -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 1800.06/1800.61 v -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 1800.06/1800.61 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 1800.06/1800.61 v -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 1800.06/1800.61 v -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 x3877 -x3878 1800.06/1800.61 v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 1800.06/1800.61 v -x3896 x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 x3909 -x3910 -x3911 -x3912 -x3913 1800.06/1800.61 v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 1800.06/1800.61 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 1800.06/1800.61 v -x3948 -x3949 -x3950 -x3951 -x3952 x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 1800.06/1800.61 v -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x3980 -x3981 1800.06/1800.61 v -x3982 -x3983 x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 x3991 -x3992 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 1800.06/1800.61 v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 1800.06/1800.61 v -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 1800.06/1800.61 v -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 x4046 -x4047 -x4048 -x4049 -x4050 1800.06/1800.61 v -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 1800.06/1800.61 v -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 1800.06/1800.61 v -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 x4095 -x4096 -x4097 -x4098 x4099 -x4100 -x4101 -x4102 1800.06/1800.61 v -x4103 -x4104 -x4105 -x4106 -x4107 x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 1800.06/1800.61 v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 1800.06/1800.61 v -x4137 -x4138 -x4139 x4140 -x4141 -x4142 -x4143 -x4144 -x4145 x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 1800.06/1800.61 v -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 1800.06/1800.61 v -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 1800.06/1800.61 v -x4189 -x4190 -x4191 -x4192 -x4193 x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 1800.06/1800.61 v -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 1800.06/1800.61 v -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 1800.06/1800.61 v -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 1800.06/1800.61 v -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 1800.06/1800.61 v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 1800.06/1800.61 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 1800.06/1800.61 v -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 1800.06/1800.61 v -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 1800.06/1800.61 v -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 x4358 1800.06/1800.61 v -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 x4375 1800.06/1800.61 v -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 1800.06/1800.61 v -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 1800.06/1800.61 v -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 x4425 -x4426 -x4427 1800.06/1800.61 v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 1800.06/1800.61 v -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 1800.06/1800.61 v -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 1800.06/1800.61 v -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 1800.06/1800.61 v -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 x4510 -x4511 -x4512 -x4513 -x4514 1800.06/1800.61 v -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 x4527 x4528 -x4529 -x4530 -x4531 -x4532 1800.06/1800.61 v -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 1800.06/1800.61 v -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 1800.06/1800.61 v -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 1800.06/1800.61 v -x4584 -x4585 -x4586 x4587 -x4588 -x4589 -x4590 -x4591 -x4592 x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 1800.06/1800.61 v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 1800.06/1800.61 v -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 1800.06/1800.61 v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 1800.06/1800.61 v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 1800.06/1800.61 v -x4670 -x4671 x4672 -x4673 x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 1800.06/1800.61 v -x4688 -x4689 -x4690 -x4691 -x4692 x4693 -x4694 -x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 1800.06/1800.61 v -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 1800.06/1800.61 v -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 1800.06/1800.61 v x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 1800.06/1800.61 v -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 1800.06/1800.61 v -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 x4790 1800.06/1800.61 v -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 1800.06/1800.61 v -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 1800.06/1800.61 v -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 1800.06/1800.61 v -x4842 -x4843 -x4844 x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 -x4856 -x4857 -x4858 -x4859 1800.06/1800.61 v -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 1800.06/1800.61 v -x4877 -x4878 -x4879 -x4880 x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 1800.06/1800.61 v -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 1800.06/1800.61 v -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 1800.06/1800.61 v -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 1800.06/1800.61 v -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 1800.06/1800.61 v -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 1800.06/1800.61 v -x4979 -x4980 x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 1800.06/1800.61 v -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 1800.06/1800.61 v -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 x5025 -x5026 -x5027 -x5028 -x5029 1800.06/1800.61 v -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 1800.06/1800.61 v -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 1800.06/1800.61 v -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 1800.06/1800.61 v -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 1800.06/1800.61 v -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 1800.06/1800.61 v -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 x5131 1800.06/1800.61 v -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 1800.06/1800.61 v -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 1800.06/1800.61 v -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 1800.06/1800.61 v -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 1800.06/1800.61 v -x5200 -x5201 -x5202 -x5203 1800.06/1800.61 c Total Number of Positive Atoms : 159 1800.06/1800.61 c 1800.06/1800.61 c During searching: 1734.51 seconds elapsed. 1800.06/1800.61 c CPU time spent: 1734.09 seconds. 1800.06/1800.61 c 1800.06/1800.61 c =================================== END ===================================== 1800.06/1800.61 c
OK 159
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-354737-1176723637 -o ROOT/results/node44/solver-354737-1176723637 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354737-1176723637/wildcat-rnp /tmp/evaluation/354737-1176723637/instance-354737-1176723637.opb 809017781 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 11142 /proc/meminfo: memFree=1702848/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=5972 CPUtime=0 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 155 0 0 0 0 0 0 0 18 0 1 0 120275389 6115328 139 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 1493 139 105 226 0 1264 0 [startup+0.0422501 s] /proc/loadavg: 1.00 1.00 1.00 3/77 11142 /proc/meminfo: memFree=1702848/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=6236 CPUtime=0.03 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 198 0 0 0 3 0 0 0 18 0 1 0 120275389 6385664 182 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 1559 182 105 226 0 1330 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6236 [startup+0.101256 s] /proc/loadavg: 1.00 1.00 1.00 3/77 11142 /proc/meminfo: memFree=1702848/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=6508 CPUtime=0.09 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 267 0 0 0 9 0 0 0 18 0 1 0 120275389 6664192 251 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 1627 251 105 226 0 1398 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6508 [startup+0.301276 s] /proc/loadavg: 1.00 1.00 1.00 3/77 11142 /proc/meminfo: memFree=1702848/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=8232 CPUtime=0.29 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 689 0 0 0 29 0 0 0 19 0 1 0 120275389 8429568 673 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 2058 673 107 226 0 1829 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8232 [startup+0.701317 s] /proc/loadavg: 1.00 1.00 1.00 3/77 11142 /proc/meminfo: memFree=1702848/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=15096 CPUtime=0.69 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 2432 0 0 0 68 1 0 0 23 0 1 0 120275389 15458304 2416 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 3774 2416 107 226 0 3545 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15096 [startup+1.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1688632/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28428 CPUtime=1.49 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5755 0 0 0 146 3 0 0 25 0 1 0 120275389 29110272 5739 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 135054637 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7107 5739 107 226 0 6878 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28428 [startup+3.10156 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1679992/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=3.09 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 306 3 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28424 [startup+6.30189 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1679992/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=6.29 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 626 3 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28424 [startup+12.7025 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680192/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=12.69 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 1266 3 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134598435 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28424 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680192/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=25.49 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 2546 3 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28424 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680320/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=51.07 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 5104 3 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 28424 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680320/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=102.26 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 10222 4 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 28424 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680192/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=162.24 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 16220 4 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605394 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 28424 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680192/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=222.23 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 22218 5 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 28424 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680128/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=282.21 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 28216 5 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 28424 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680064/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=342.2 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 34214 6 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 28424 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680256/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=402.18 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 40212 6 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 28424 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680384/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=462.17 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 46210 7 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 28424 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680320/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=522.15 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 52208 7 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134516984 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 28424 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680256/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=582.14 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 58206 8 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 28424 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680192/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=642.12 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 64204 8 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134566252 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 28424 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680256/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=822.07 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 82198 9 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 28424 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680192/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=882.06 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 88196 10 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134877538 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 28424 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680128/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=942.04 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 94194 10 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 28424 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680064/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1002.03 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 100192 11 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 28424 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680000/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1062.01 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 106190 11 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134603939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 28424 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1680000/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1122 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 112188 12 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605422 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 28424 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 11143 /proc/meminfo: memFree=1679936/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1181.98 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 118186 12 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134606306 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 28424 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 11251 /proc/meminfo: memFree=1678472/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1241.92 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 124179 13 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 28424 [startup+1302.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 11341 /proc/meminfo: memFree=1679552/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1301.88 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 130174 14 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605409 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 28424 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 11341 /proc/meminfo: memFree=1679552/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1361.85 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 136171 14 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605400 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 28424 [startup+1422.31 s] /proc/loadavg: 1.05 1.02 1.00 2/78 11341 /proc/meminfo: memFree=1679552/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1421.85 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 142170 15 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605421 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 28424 [startup+1482.3 s] /proc/loadavg: 1.06 1.03 1.00 2/78 11341 /proc/meminfo: memFree=1679616/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1481.82 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 148167 15 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134606304 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 28424 [startup+1542.3 s] /proc/loadavg: 1.06 1.03 1.00 2/78 11341 /proc/meminfo: memFree=1679616/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1541.81 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 154165 16 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 28424 [startup+1602.3 s] /proc/loadavg: 1.06 1.04 1.00 2/78 11341 /proc/meminfo: memFree=1679616/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1601.79 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 160163 16 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 28424 [startup+1662.3 s] /proc/loadavg: 1.09 1.06 1.01 2/78 11341 /proc/meminfo: memFree=1679616/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1661.78 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 166161 17 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 28424 [startup+1722.3 s] /proc/loadavg: 1.03 1.04 1.00 2/78 11341 /proc/meminfo: memFree=1679744/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1721.76 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 172159 17 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134605415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 28424 [startup+1782.3 s] /proc/loadavg: 1.01 1.03 1.00 2/78 11341 /proc/meminfo: memFree=1679680/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1781.75 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 178157 18 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134606306 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 28424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.03 1.00 2/78 11341 /proc/meminfo: memFree=1679680/2055920 swapFree=4184652/4192956 [pid=11142] ppid=11140 vsize=28424 CPUtime=1800.06 /proc/11142/stat : 11142 (wildcat-rnp) R 11140 11142 10619 0 -1 4194304 5765 0 0 0 179988 18 0 0 25 0 1 0 120275389 29106176 5748 18446744073709551615 134512640 135438881 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11142/statm: 7106 5748 115 226 0 6877 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 28424 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.63 CPU time (s): 1800.08 CPU user time (s): 1799.89 CPU system time (s): 0.186971 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 28428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.186971 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5765 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= 3328 runsolver used 2.03169 second user time and 4.53031 second system time The end
Begin job on node44 on Mon Apr 16 11:40:37 UTC 2007 IDJOB= 354737 IDBENCH= 2889 IDSOLVER= 161 FILE ID= node44/354737-1176723637 PBS_JOBID= 4559485 Free space on /tmp= 66456 MiB SOLVER NAME= wildcat-rnp 2007-03-21 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb COMMAND LINE= /tmp/evaluation/354737-1176723637/wildcat-rnp /tmp/evaluation/354737-1176723637/instance-354737-1176723637.opb 809017781 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-354737-1176723637 -o ROOT/results/node44/solver-354737-1176723637 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/354737-1176723637/wildcat-rnp /tmp/evaluation/354737-1176723637/instance-354737-1176723637.opb 809017781 META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0 RANDOM SEED= 809017781 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1703320 kB Buffers: 19608 kB Cached: 213412 kB SwapCached: 2464 kB Active: 114060 kB Inactive: 181816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1703320 kB SwapTotal: 4192956 kB SwapFree: 4184652 kB Dirty: 12044 kB Writeback: 0 kB Mapped: 78476 kB Slab: 42276 kB Committed_AS: 408440 kB PageTables: 1736 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= 66456 MiB End job on node44 on Mon Apr 16 12:10:40 UTC 2007