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