0.00/0.01	c solving HOME/instance-4500497-1751401130.opb (Picat 3.9b6)
0.37/0.44	o 68818640008
0.47/0.54	o 21823852281
2.15/2.28	o 20960318544
2.97/3.06	o 20681989380
3.65/3.74	o 20589213131
6.24/6.37	o 20578508170
13.63/13.74	o 20578507911
15.04/15.17	o 20578507823
18.72/18.82	o 20578507805
20.61/20.73	o 20578507799
24.80/24.92	s OPTIMUM FOUND
24.80/24.92	v x7056 ~x6210 ~x5364 ~x4518 ~x3370 x2524 ~x1678 ~x832 x7903 x7057 
24.80/24.92	v ~x6211 ~x5365 ~x4519 x3371 ~x2525 x1679 x833 x7904 ~x7058 ~x6212 
24.80/24.92	v ~x5366 ~x4520 ~x3372 ~x2526 ~x1680 ~x834 ~x7905 x7059 ~x6213 ~x5367 
24.80/24.92	v ~x4521 ~x3373 ~x2527 ~x1681 ~x835 x7060 ~x6214 ~x5368 ~x4522 x3374 
24.80/24.92	v ~x2528 x1682 x836 x7061 ~x6215 ~x5369 ~x4523 ~x3375 ~x2529 ~x1683 
24.80/24.93	v ~x837 ~x7062 ~x6216 ~x5370 ~x4524 x3376 x2530 x1684 x838 ~x7063 
24.80/24.93	v ~x6217 ~x5371 ~x4525 ~x3377 ~x2531 x1685 x839 ~x7064 ~x6218 ~x5372 
24.80/24.93	v ~x4526 ~x3378 x2532 ~x1686 ~x840 ~x7065 ~x6219 ~x5373 ~x4527 x3379 
24.80/24.93	v ~x2533 x1687 ~x841 x7066 ~x6220 ~x5374 ~x4528 ~x3380 x2534 ~x1688 
24.80/24.93	v x842 x7067 ~x6221 ~x5375 ~x4529 ~x3381 ~x2535 ~x1689 x843 x7068 
24.80/24.93	v ~x6222 ~x5376 ~x4530 ~x3382 ~x2536 ~x1690 ~x844 x7069 ~x6223 ~x5377 
24.80/24.93	v ~x4531 x3383 x2537 x1691 ~x845 x7070 ~x6224 ~x5378 ~x4532 x3384 
24.80/24.93	v ~x2538 x1 x1692 x846 ~x7071 x6225 ~x5379 ~x4533 ~x3385 x2539 
24.80/24.93	v x2 ~x1693 ~x847 ~x7072 x6226 ~x5380 ~x4534 ~x3386 x2540 ~x3 
24.80/24.93	v x1694 ~x848 ~x7073 x6227 ~x5381 ~x4535 ~x3387 ~x2541 x4 x1695 
24.80/24.93	v x849 x7074 x6228 x5382 ~x4536 x3388 x2542 ~x5 ~x1696 ~x850 
24.80/24.93	v ~x7075 x6229 x5383 ~x4537 ~x3389 ~x2543 x6 ~x1697 ~x851 ~x7076 
24.80/24.93	v ~x6230 ~x5384 ~x4538 x3390 x2544 ~x7 x1698 x852 x7077 ~x6231 
24.80/24.93	v ~x5385 ~x4539 ~x3391 ~x2545 ~x8 x1699 ~x853 x7078 ~x6232 ~x5386 
24.80/24.93	v ~x4540 x3392 x2546 ~x9 ~x1700 x854 x7079 ~x6233 ~x5387 ~x4541 
24.80/24.93	v x3393 ~x2547 x10 x1701 x855 ~x7080 ~x6234 ~x5388 ~x4542 ~x3394 
24.80/24.93	v ~x2548 ~x11 ~x1702 ~x856 ~x7081 ~x6235 ~x5389 ~x4543 x3395 x2549 
24.80/24.93	v ~x12 ~x1703 ~x857 ~x7082 ~x6236 ~x5390 ~x4544 ~x3396 ~x2550 x13 
24.80/24.93	v ~x1704 x858 ~x7083 ~x6237 ~x5391 ~x4545 x3397 ~x2551 ~x14 ~x1705 
24.80/24.93	v ~x859 ~x7084 ~x6238 ~x5392 ~x4546 ~x3398 ~x2552 x15 ~x1706 x860 
24.80/24.93	v ~x7085 ~x6239 ~x5393 ~x4547 ~x3399 ~x2553 ~x16 ~x1707 ~x861 x7086 
24.80/24.93	v ~x6240 ~x5394 ~x4548 x3400 ~x2554 ~x17 ~x1708 x862 x7087 ~x6241 
24.80/24.93	v ~x5395 ~x4549 x3401 x2555 x18 ~x1709 ~x863 ~x7088 ~x6242 ~x5396 
24.80/24.93	v ~x4550 ~x3402 x2556 ~x19 ~x1710 ~x864 x7089 ~x6243 ~x5397 ~x4551 
24.80/24.93	v x3403 ~x2557 ~x20 ~x1711 x865 x7090 ~x6244 ~x5398 ~x4552 x3404 
24.80/24.93	v ~x2558 x21 ~x1712 ~x866 ~x7091 ~x6245 ~x5399 ~x4553 x3405 ~x2559 
24.80/24.93	v ~x22 ~x1713 x867 x7092 ~x6246 ~x5400 ~x4554 ~x3406 ~x2560 x23 
24.80/24.93	v ~x1714 ~x868 ~x7093 ~x6247 ~x5401 ~x4555 ~x3407 ~x2561 ~x24 ~x1715 
24.80/24.93	v x869 x7094 ~x6248 ~x5402 ~x4556 ~x3408 x2562 ~x25 x1716 ~x870 
24.80/24.93	v ~x7095 ~x6249 ~x5403 ~x4557 x3409 ~x2563 x26 x1717 x871 x7096 
24.80/24.93	v ~x6250 ~x5404 ~x4558 x3410 ~x2564 ~x27 ~x1718 x872 ~x7097 ~x6251 
24.80/24.93	v ~x5405 ~x4559 ~x3411 x2565 ~x28 x1719 ~x873 ~x7098 ~x6252 ~x5406 
24.80/24.93	v ~x4560 ~x3412 ~x2566 x29 ~x1720 x874 ~x7099 ~x6253 ~x5407 ~x4561 
24.80/24.93	v x3413 x2567 ~x30 ~x1721 ~x875 x7100 ~x6254 ~x5408 ~x4562 ~x3414 
24.80/24.93	v ~x2568 ~x31 ~x1722 x876 x7101 ~x6255 ~x5409 ~x4563 ~x3415 ~x2569 
24.80/24.93	v ~x32 ~x1723 x877 x7102 ~x6256 ~x5410 ~x4564 ~x3416 x2570 x33 
24.80/24.93	v x1724 ~x878 x7103 ~x6257 ~x5411 ~x4565 x3417 x2571 ~x34 x1725 
24.80/24.93	v x879 ~x7104 ~x6258 ~x5412 ~x4566 x3418 ~x2572 x35 x1726 x880 
24.80/24.93	v x7105 ~x6259 ~x5413 ~x4567 ~x3419 x2573 ~x36 x1727 ~x881 ~x7106 
24.80/24.93	v x6260 ~x5414 ~x4568 ~x3420 ~x2574 x37 x1728 ~x882 ~x7107 x6261 
24.80/24.93	v ~x5415 ~x4569 ~x3421 x2575 ~x38 x1729 ~x883 ~x7108 x6262 ~x5416 
24.80/24.93	v ~x4570 ~x3422 ~x2576 ~x39 ~x1730 ~x884 x7109 ~x6263 ~x5417 ~x4571 
24.80/24.93	v ~x3423 x2577 x40 ~x1731 ~x885 x7110 ~x6264 ~x5418 ~x4572 ~x3424 
24.80/24.93	v ~x2578 x41 x1732 ~x886 x7111 ~x6265 ~x5419 ~x4573 x3425 x2579 
24.80/24.93	v ~x42 ~x1733 x887 ~x7112 ~x6266 ~x5420 ~x4574 x3426 ~x2580 x43 
24.80/24.93	v x1734 x888 ~x7113 ~x6267 ~x5421 ~x4575 x3427 x2581 x44 ~x1735 
24.80/24.93	v ~x889 ~x7114 ~x6268 ~x5422 ~x4576 x3428 ~x2582 x45 x1736 ~x890 
24.80/24.93	v ~x7115 ~x6269 ~x5423 ~x4577 ~x3429 x2583 ~x46 ~x1737 ~x891 x7116 
24.80/24.93	v ~x6270 ~x5424 ~x4578 ~x3430 x2584 ~x47 x1738 x892 x7117 ~x6271 
24.80/24.93	v ~x5425 ~x4579 ~x3431 ~x2585 ~x48 ~x1739 ~x893 ~x7118 ~x6272 ~x5426 
24.80/24.93	v ~x4580 ~x3432 ~x2586 x49 x1740 x894 ~x7119 ~x6273 ~x5427 ~x4581 
24.80/24.93	v x3433 ~x2587 ~x50 ~x1741 x895 ~x7120 ~x6274 ~x5428 ~x4582 ~x3434 
24.80/24.93	v x2588 ~x51 ~x1742 ~x896 ~x7121 ~x6275 ~x5429 ~x4583 ~x3435 ~x2589 
24.80/24.93	v x52 ~x1743 ~x897 ~x7122 ~x6276 ~x5430 ~x4584 x3436 ~x2590 ~x53 
24.80/24.93	v ~x1744 x898 x7123 ~x6277 ~x5431 ~x4585 ~x3437 ~x2591 x54 ~x1745 
24.80/24.93	v ~x899 ~x7124 ~x6278 ~x5432 ~x4586 ~x3438 ~x2592 ~x55 ~x1746 x900 
24.80/24.93	v ~x7125 ~x6279 ~x5433 ~x4587 ~x3439 ~x2593 ~x56 ~x1747 ~x901 ~x7126 
24.80/24.93	v ~x6280 ~x5434 ~x4588 ~x3440 x2594 x57 x1748 ~x902 x7127 ~x6281 
24.80/24.93	v ~x5435 ~x4589 ~x3441 ~x2595 x58 ~x1749 x903 x7128 ~x6282 ~x5436 
24.80/24.93	v ~x4590 ~x3442 ~x2596 ~x59 ~x1750 ~x904 ~x7129 ~x6283 ~x5437 ~x4591 
24.80/24.93	v x3443 ~x2597 ~x60 ~x1751 ~x905 ~x7130 ~x6284 ~x5438 ~x4592 ~x3444 
24.80/24.93	v ~x2598 x61 ~x1752 x906 ~x7131 ~x6285 ~x5439 x4593 x3445 ~x2599 
24.80/24.93	v ~x62 ~x1753 x907 ~x7132 ~x6286 ~x5440 ~x4594 ~x3446 x2600 x63 
24.80/24.93	v ~x1754 ~x908 ~x7133 ~x6287 ~x5441 ~x4595 x3447 x2601 ~x64 ~x1755 
24.80/24.93	v ~x909 ~x7134 ~x6288 ~x5442 ~x4596 ~x3448 ~x2602 x65 ~x1756 ~x910 
24.80/24.93	v ~x7135 ~x6289 ~x5443 ~x4597 x3449 ~x2603 ~x66 ~x1757 ~x911 ~x7136 
24.80/24.93	v ~x6290 ~x5444 ~x4598 x3450 x2604 x67 ~x1758 ~x912 x7137 ~x6291 
24.80/24.93	v ~x5445 ~x4599 x3451 ~x2605 x68 ~x1759 ~x913 ~x7138 ~x6292 ~x5446 
24.80/24.93	v ~x4600 x3452 ~x2606 ~x69 ~x1760 x914 x7139 ~x6293 ~x5447 ~x4601 
24.80/24.93	v ~x3453 ~x2607 x70 ~x1761 ~x915 ~x7140 ~x6294 ~x5448 ~x4602 ~x3454 
24.80/24.93	v ~x2608 ~x71 ~x1762 ~x916 ~x7141 ~x6295 ~x5449 ~x4603 ~x3455 ~x2609 
24.80/24.93	v x72 x1763 x917 ~x7142 ~x6296 ~x5450 ~x4604 x3456 ~x2610 ~x73 
24.80/24.93	v ~x1764 x918 x7143 ~x6297 ~x5451 ~x4605 ~x3457 ~x2611 x74 x1765 
24.80/24.93	v ~x919 ~x7144 ~x6298 ~x5452 ~x4606 x3458 ~x2612 ~x75 x1766 ~x920 
24.80/24.93	v x7145 ~x6299 ~x5453 ~x4607 ~x3459 ~x2613 x76 ~x1767 ~x921 x7146 
24.80/24.93	v ~x6300 ~x5454 ~x4608 x3460 ~x2614 ~x77 x1768 ~x922 ~x7147 ~x6301 
24.80/24.93	v ~x5455 ~x4609 ~x3461 ~x2615 x78 x1769 ~x923 ~x7148 ~x6302 ~x5456 
24.80/24.93	v ~x4610 x3462 ~x2616 ~x79 ~x1770 x924 ~x7149 ~x6303 ~x5457 ~x4611 
24.80/24.93	v ~x3463 x2617 ~x80 x1771 ~x925 x7150 ~x6304 ~x5458 ~x4612 x3464 
24.80/24.93	v ~x2618 ~x81 ~x1772 ~x926 x7151 ~x6305 ~x5459 ~x4613 x3465 ~x2619 
24.80/24.93	v ~x82 ~x1773 ~x927 x7152 ~x6306 ~x5460 ~x4614 ~x3466 ~x2620 ~x83 
24.80/24.93	v x1774 ~x928 x7153 ~x6307 ~x5461 ~x4615 x3467 ~x2621 ~x84 x1775 
24.80/24.93	v x929 x7154 ~x6308 ~x5462 ~x4616 ~x3468 ~x2622 ~x85 ~x1776 ~x930 
24.80/24.93	v x7155 ~x6309 ~x5463 ~x4617 x3469 x2623 ~x86 ~x1777 ~x931 x7156 
24.80/24.93	v ~x6310 ~x5464 ~x4618 ~x3470 ~x2624 ~x87 x1778 ~x932 x7157 ~x6311 
24.80/24.93	v ~x5465 ~x4619 ~x3471 x2625 ~x88 x1779 ~x933 ~x7158 ~x6312 ~x5466 
24.80/24.93	v ~x4620 x3472 ~x2626 ~x89 ~x1780 ~x934 ~x7159 ~x6313 ~x5467 ~x4621 
24.80/24.93	v ~x3473 ~x2627 ~x90 ~x1781 ~x935 ~x7160 ~x6314 ~x5468 ~x4622 ~x3474 
24.80/24.93	v ~x2628 ~x91 x1782 ~x936 x7161 ~x6315 ~x5469 ~x4623 x3475 ~x2629 
24.80/24.93	v ~x92 ~x1783 x937 x7162 ~x6316 ~x5470 ~x4624 ~x3476 ~x2630 ~x93 
24.80/24.93	v x1784 ~x938 x7163 ~x6317 ~x5471 ~x4625 ~x3477 ~x2631 ~x94 ~x1785 
24.80/24.93	v ~x939 x7164 ~x6318 ~x5472 ~x4626 ~x3478 ~x2632 ~x95 x1786 x940 
24.80/24.93	v x7165 ~x6319 ~x5473 ~x4627 x3479 x2633 ~x96 x1787 ~x941 x7166 
24.80/24.93	v ~x6320 ~x5474 ~x4628 x3480 ~x2634 ~x97 ~x1788 x942 x7167 ~x6321 
24.80/24.93	v ~x5475 ~x4629 x3481 x2635 ~x98 ~x1789 ~x943 ~x7168 x6322 ~x5476 
24.80/24.93	v ~x4630 x3482 ~x2636 x99 ~x1790 x944 x7169 x6323 ~x5477 ~x4631 
24.80/24.93	v ~x3483 x2637 ~x100 ~x1791 ~x945 x7170 x6324 ~x5478 ~x4632 x3484 
24.80/24.93	v ~x2638 ~x101 ~x1792 ~x946 ~x7171 ~x6325 ~x5479 ~x4633 ~x3485 ~x2639 
24.80/24.93	v ~x102 ~x1793 x947 ~x7172 ~x6326 ~x5480 ~x4634 ~x3486 ~x2640 ~x103 
24.80/24.93	v ~x1794 x948 ~x7173 ~x6327 ~x5481 ~x4635 x3487 ~x2641 ~x104 ~x1795 
24.80/24.93	v x949 ~x7174 ~x6328 ~x5482 ~x4636 ~x3488 x2642 ~x105 ~x1796 x950 
24.80/24.93	v ~x7175 x6329 ~x5483 ~x4637 x3489 x2643 ~x106 ~x1797 ~x951 ~x7176 
24.80/24.93	v x6330 ~x5484 ~x4638 ~x3490 x2644 ~x107 ~x1798 ~x952 x7177 ~x6331 
24.80/24.93	v ~x5485 ~x4639 ~x3491 x2645 ~x108 ~x1799 ~x953 x7178 ~x6332 ~x5486 
24.80/24.93	v ~x4640 ~x3492 ~x2646 ~x109 ~x1800 ~x954 ~x7179 x6333 ~x5487 ~x4641 
24.80/24.93	v x3493 ~x2647 ~x110 ~x1801 x955 x7180 ~x6334 ~x5488 ~x4642 x3494 
24.80/24.93	v x2648 ~x111 ~x1802 ~x956 x7181 ~x6335 ~x5489 ~x4643 x3495 ~x2649 
24.80/24.93	v ~x112 ~x1803 ~x957 ~x7182 x6336 ~x5490 ~x4644 ~x3496 ~x2650 ~x113 
24.80/24.93	v ~x1804 ~x958 ~x7183 x6337 ~x5491 ~x4645 ~x3497 ~x2651 ~x114 ~x1805 
24.80/24.93	v x959 x7184 ~x6338 ~x5492 ~x4646 ~x3498 ~x2652 ~x115 ~x1806 ~x960 
24.80/24.93	v ~x7185 x6339 ~x5493 ~x4647 ~x3499 x2653 ~x116 ~x1807 x961 x7186 
24.80/24.93	v ~x6340 ~x5494 ~x4648 ~x3500 x2654 ~x117 ~x1808 ~x962 x7187 ~x6341 
24.80/24.93	v ~x5495 ~x4649 ~x3501 ~x2655 ~x118 ~x1809 ~x963 x7188 ~x6342 ~x5496 
24.80/24.93	v ~x4650 ~x3502 x2656 ~x119 ~x1810 x964 x7189 x6343 ~x5497 ~x4651 
24.80/24.93	v x3503 ~x2657 ~x120 ~x1811 ~x965 x7190 x6344 ~x5498 ~x4652 ~x3504 
24.80/24.93	v ~x2658 ~x121 ~x1812 ~x966 ~x7191 x6345 ~x5499 ~x4653 ~x3505 x2659 
24.80/24.93	v ~x122 ~x1813 ~x967 ~x7192 x6346 ~x5500 ~x4654 x3506 ~x2660 ~x123 
24.80/24.93	v ~x1814 x968 ~x7193 ~x6347 ~x5501 ~x4655 ~x3507 ~x2661 ~x124 ~x1815 
24.80/24.93	v ~x969 x7194 ~x6348 ~x5502 ~x4656 ~x3508 ~x2662 ~x125 ~x1816 ~x970 
24.80/24.93	v x7195 ~x6349 ~x5503 ~x4657 x3509 ~x2663 ~x126 ~x1817 ~x971 x7196 
24.80/24.93	v ~x6350 ~x5504 ~x4658 ~x3510 ~x2664 ~x127 ~x1818 ~x972 x7197 ~x6351 
24.80/24.93	v ~x5505 ~x4659 x3511 ~x2665 ~x128 ~x1819 x973 ~x7198 x6352 ~x5506 
24.80/24.93	v ~x4660 ~x3512 ~x2666 x129 ~x1820 ~x974 x7199 ~x6353 ~x5507 ~x4661 
24.80/24.93	v x3513 x2667 ~x130 ~x1821 ~x975 x7200 x6354 ~x5508 ~x4662 ~x3514 
24.80/24.93	v ~x2668 ~x131 ~x1822 ~x976 x7201 x6355 ~x5509 ~x4663 ~x3515 x2669 
24.80/24.93	v ~x132 ~x1823 x977 x7202 ~x6356 ~x5510 ~x4664 ~x3516 x2670 ~x133 
24.80/24.93	v ~x1824 ~x978 x7203 ~x6357 ~x5511 ~x4665 ~x3517 ~x2671 ~x134 ~x1825 
24.80/24.93	v ~x979 x7204 x6358 ~x5512 ~x4666 ~x3518 ~x2672 ~x135 ~x1826 ~x980 
24.80/24.93	v ~x7205 x6359 ~x5513 ~x4667 ~x3519 ~x2673 x136 ~x1827 ~x981 ~x7206 
24.80/24.93	v ~x6360 ~x5514 ~x4668 x3520 ~x2674 ~x137 ~x1828 ~x982 ~x7207 ~x6361 
24.80/24.93	v ~x5515 ~x4669 ~x3521 x2675 x138 ~x1829 ~x983 ~x7208 ~x6362 ~x5516 
24.80/24.93	v ~x4670 ~x3522 x2676 ~x139 ~x1830 x984 ~x7209 ~x6363 ~x5517 ~x4671 
24.80/24.93	v ~x3523 x2677 x140 ~x1831 ~x985 x7210 ~x6364 ~x5518 ~x4672 ~x3524 
24.80/24.93	v x2678 x141 ~x1832 ~x986 x7211 ~x6365 ~x5519 ~x4673 ~x3525 x2679 
24.80/24.93	v ~x142 ~x1833 ~x987 x7212 ~x6366 ~x5520 ~x4674 ~x3526 x2680 ~x143 
24.80/24.93	v ~x1834 x988 x7213 ~x6367 ~x5521 ~x4675 ~x3527 ~x2681 x144 ~x1835 
24.80/24.93	v ~x989 ~x7214 ~x6368 ~x5522 ~x4676 ~x3528 x2682 ~x145 ~x1836 ~x990 
24.80/24.93	v ~x7215 x6369 ~x5523 ~x4677 ~x3529 ~x2683 x146 ~x1837 ~x991 x7216 
24.80/24.93	v ~x6370 ~x5524 ~x4678 ~x3530 ~x2684 ~x147 ~x1838 x992 x7217 ~x6371 
24.80/24.93	v ~x5525 ~x4679 ~x3531 ~x2685 ~x148 ~x1839 x993 x7218 ~x6372 ~x5526 
24.80/24.93	v ~x4680 ~x3532 ~x2686 x149 ~x1840 ~x994 x7219 ~x6373 ~x5527 ~x4681 
24.80/24.93	v x3533 x2687 ~x150 ~x1841 x995 ~x7220 ~x6374 ~x5528 ~x4682 ~x3534 
24.80/24.93	v ~x2688 x151 ~x1842 ~x996 ~x7221 ~x6375 ~x5529 ~x4683 x3535 x2689 
24.80/24.93	v x152 ~x1843 ~x997 ~x7222 ~x6376 ~x5530 ~x4684 ~x3536 ~x2690 ~x153 
24.80/24.93	v ~x1844 ~x998 x7223 ~x6377 ~x5531 ~x4685 ~x3537 x2691 x154 ~x1845 
24.80/24.93	v x999 x7224 ~x6378 ~x5532 x4686 ~x3538 ~x2692 x155 ~x1846 x1000 
24.80/24.93	v x7225 ~x6379 ~x5533 ~x4687 ~x3539 x2693 x156 ~x1847 ~x1001 x7226 
24.80/24.93	v ~x6380 ~x5534 ~x4688 x3540 ~x2694 ~x157 ~x1848 x1002 x7227 ~x6381 
24.80/24.93	v ~x5535 ~x4689 x3541 ~x2695 ~x158 ~x1849 ~x1003 x7228 ~x6382 ~x5536 
24.80/24.93	v ~x4690 ~x3542 ~x2696 x159 ~x1850 ~x1004 x7229 ~x6383 ~x5537 ~x4691 
24.80/24.93	v x3543 x2697 ~x160 ~x1851 x1005 x7230 ~x6384 ~x5538 ~x4692 ~x3544 
24.80/24.93	v ~x2698 ~x161 ~x1852 x1006 x7231 ~x6385 ~x5539 ~x4693 ~x3545 ~x2699 
24.80/24.93	v x162 ~x1853 ~x1007 ~x7232 ~x6386 ~x5540 ~x4694 ~x3546 ~x2700 x163 
24.80/24.93	v ~x1854 x1008 ~x7233 x6387 ~x5541 ~x4695 ~x3547 ~x2701 ~x164 ~x1855 
24.80/24.93	v x1009 ~x7234 ~x6388 ~x5542 ~x4696 x3548 ~x2702 x165 ~x1856 ~x1010 
24.80/24.93	v x7235 ~x6389 ~x5543 ~x4697 ~x3549 ~x2703 x166 ~x1857 x1011 x7236 
24.80/24.93	v ~x6390 ~x5544 ~x4698 ~x3550 ~x2704 x167 ~x1858 ~x1012 ~x7237 ~x6391 
24.80/24.93	v ~x5545 ~x4699 ~x3551 ~x2705 ~x168 ~x1859 ~x1013 x7238 ~x6392 ~x5546 
24.80/24.93	v ~x4700 x3552 x2706 x169 ~x1860 x1014 x7239 ~x6393 ~x5547 ~x4701 
24.80/24.93	v ~x3553 ~x2707 ~x170 ~x1861 x1015 x7240 ~x6394 ~x5548 ~x4702 ~x3554 
24.80/24.93	v x2708 ~x171 ~x1862 ~x1016 x7241 ~x6395 ~x5549 ~x4703 x3555 x2709 
24.80/24.93	v x172 ~x1863 ~x1017 x7242 ~x6396 ~x5550 ~x4704 ~x3556 ~x2710 ~x173 
24.80/24.93	v ~x1864 ~x1018 ~x7243 ~x6397 ~x5551 ~x4705 ~x3557 ~x2711 ~x174 ~x1865 
24.80/24.93	v ~x1019 ~x7244 ~x6398 ~x5552 ~x4706 ~x3558 ~x2712 ~x175 ~x1866 ~x1020 
24.80/24.93	v x7245 ~x6399 x5553 ~x4707 ~x3559 x2713 x176 ~x1867 x1021 ~x7246 
24.80/24.93	v x6400 ~x5554 x4708 x3560 ~x2714 ~x177 ~x1868 ~x1022 x7247 ~x6401 
24.80/24.93	v ~x5555 x4709 x3561 ~x2715 ~x178 ~x1869 ~x1023 ~x7248 ~x6402 ~x5556 
24.80/24.93	v x4710 ~x3562 ~x2716 ~x179 ~x1870 ~x1024 x7249 ~x6403 ~x5557 x4711 
24.80/24.93	v x3563 x2717 ~x180 ~x1871 x1025 ~x7250 ~x6404 ~x5558 x4712 ~x3564 
24.80/24.93	v ~x2718 ~x181 ~x1872 ~x1026 x7251 ~x6405 ~x5559 ~x4713 x3565 ~x2719 
24.80/24.93	v ~x182 ~x1873 ~x1027 ~x7252 ~x6406 ~x5560 ~x4714 x3566 x2720 ~x183 
24.80/24.93	v ~x1874 ~x1028 x7253 ~x6407 ~x5561 ~x4715 ~x3567 ~x2721 ~x184 ~x1875 
24.80/24.93	v ~x1029 x7254 ~x6408 ~x5562 ~x4716 ~x3568 ~x2722 ~x185 ~x1876 x1030 
24.80/24.93	v ~x7255 ~x6409 ~x5563 ~x4717 ~x3569 ~x2723 ~x186 ~x1877 x1031 x7256 
24.80/24.93	v ~x6410 ~x5564 ~x4718 x3570 ~x2724 ~x187 ~x1878 ~x1032 x7257 ~x6411 
24.80/24.93	v ~x5565 x4719 ~x3571 x2725 ~x188 x1879 x1033 x7258 ~x6412 ~x5566 
24.80/24.93	v ~x4720 ~x3572 x2726 ~x189 ~x1880 ~x1034 x7259 ~x6413 ~x5567 ~x4721 
24.80/24.93	v x3573 ~x2727 ~x190 ~x1881 x1035 x7260 ~x6414 ~x5568 ~x4722 ~x3574 
24.80/24.93	v x2728 x191 ~x1882 x1036 x7261 ~x6415 ~x5569 ~x4723 x3575 x2729 
24.80/24.93	v ~x192 ~x1883 ~x1037 x7262 ~x6416 ~x5570 ~x4724 ~x3576 x2730 ~x193 
24.80/24.93	v ~x1884 ~x1038 x7263 ~x6417 ~x5571 ~x4725 ~x3577 ~x2731 ~x194 ~x1885 
24.80/24.93	v x1039 x7264 ~x6418 ~x5572 ~x4726 x3578 ~x2732 x195 ~x1886 ~x1040 
24.80/24.93	v x7265 x6419 ~x5573 ~x4727 x3579 ~x2733 ~x196 ~x1887 ~x1041 x7266 
24.80/24.93	v ~x6420 ~x5574 ~x4728 ~x3580 x2734 ~x197 x1888 ~x1042 x7267 ~x6421 
24.80/24.93	v ~x5575 ~x4729 ~x3581 x2735 ~x198 x1889 ~x1043 x7268 ~x6422 ~x5576 
24.80/24.93	v ~x4730 ~x3582 ~x2736 ~x199 ~x1890 ~x1044 ~x7269 ~x6423 ~x5577 ~x4731 
24.80/24.93	v ~x3583 x2737 ~x200 x1891 x1045 ~x7270 x6424 ~x5578 ~x4732 ~x3584 
24.80/24.93	v ~x2738 ~x201 x1892 x1046 ~x7271 ~x6425 ~x5579 ~x4733 ~x3585 x2739 
24.80/24.93	v ~x202 ~x1893 x1047 ~x7272 ~x6426 ~x5580 ~x4734 ~x3586 ~x2740 ~x203 
24.80/24.93	v ~x1894 ~x1048 ~x7273 ~x6427 ~x5581 ~x4735 ~x3587 x2741 ~x204 x1895 
24.80/24.93	v x1049 x7274 ~x6428 ~x5582 ~x4736 ~x3588 x2742 ~x205 ~x1896 ~x1050 
24.80/24.93	v x7275 ~x6429 ~x5583 ~x4737 ~x3589 ~x2743 x206 x1897 x1051 ~x7276 
24.80/24.93	v ~x6430 ~x5584 ~x4738 ~x3590 x2744 ~x207 ~x1898 ~x1052 x7277 ~x6431 
24.80/24.93	v ~x5585 ~x4739 ~x3591 x2745 ~x208 ~x1899 x1053 ~x7278 ~x6432 x5586 
24.80/24.93	v ~x4740 ~x3592 x2746 x209 ~x1900 x1054 ~x7279 ~x6433 ~x5587 ~x4741 
24.80/24.93	v ~x3593 x2747 ~x210 x1901 ~x1055 ~x7280 ~x6434 ~x5588 ~x4742 ~x3594 
24.80/24.93	v ~x2748 x211 ~x1902 ~x1056 x7281 ~x6435 ~x5589 ~x4743 ~x3595 ~x2749 
24.80/24.93	v x212 x1903 x1057 x7282 ~x6436 ~x5590 ~x4744 ~x3596 ~x2750 ~x213 
24.80/24.93	v ~x1904 ~x1058 x7283 ~x6437 ~x5591 ~x4745 ~x3597 ~x2751 ~x214 ~x1905 
24.80/24.93	v ~x1059 x7284 ~x6438 ~x5592 ~x4746 ~x3598 ~x2752 ~x215 ~x1906 ~x1060 
24.80/24.93	v x7285 ~x6439 ~x5593 ~x4747 ~x3599 ~x2753 ~x216 ~x1907 x1061 x7286 
24.80/24.93	v ~x6440 ~x5594 ~x4748 ~x3600 ~x2754 ~x217 x1908 ~x1062 ~x7287 ~x6441 
24.80/24.93	v ~x5595 ~x4749 ~x3601 x2755 x218 ~x1909 ~x1063 x7288 ~x6442 ~x5596 
24.80/24.93	v ~x4750 ~x3602 x2756 x219 x1910 x1064 ~x7289 ~x6443 ~x5597 ~x4751 
24.80/24.93	v ~x3603 ~x2757 ~x220 ~x1911 x1065 ~x7290 ~x6444 ~x5598 ~x4752 ~x3604 
24.80/24.93	v x2758 ~x221 ~x1912 ~x1066 ~x7291 ~x6445 ~x5599 ~x4753 ~x3605 x2759 
24.80/24.93	v x222 x1913 ~x1067 x7292 ~x6446 ~x5600 ~x4754 ~x3606 x2760 x223 
24.80/24.93	v ~x1914 x1068 ~x7293 ~x6447 ~x5601 ~x4755 ~x3607 ~x2761 ~x224 ~x1915 
24.80/24.93	v ~x1069 x7294 ~x6448 ~x5602 ~x4756 ~x3608 ~x2762 x225 x1916 x1070 
24.80/24.93	v x7295 ~x6449 ~x5603 ~x4757 ~x3609 ~x2763 ~x226 x1917 ~x1071 ~x7296 
24.80/24.93	v ~x6450 ~x5604 ~x4758 ~x3610 ~x2764 ~x227 ~x1918 ~x1072 ~x7297 ~x6451 
24.80/24.93	v ~x5605 ~x4759 ~x3611 ~x2765 ~x228 x1919 ~x1073 ~x7298 ~x6452 ~x5606 
24.80/24.93	v ~x4760 ~x3612 ~x2766 ~x229 ~x1920 ~x1074 x7299 ~x6453 ~x5607 ~x4761 
24.80/24.93	v ~x3613 ~x2767 ~x230 x1921 ~x1075 ~x7300 ~x6454 ~x5608 ~x4762 ~x3614 
24.80/24.93	v x2768 ~x231 ~x1922 ~x1076 x7301 ~x6455 ~x5609 ~x4763 ~x3615 ~x2769 
24.80/24.93	v x232 ~x1923 ~x1077 x7302 ~x6456 ~x5610 ~x4764 ~x3616 ~x2770 x233 
24.80/24.93	v ~x1924 x1078 x7303 ~x6457 ~x5611 ~x4765 ~x3617 x2771 ~x234 ~x1925 
24.80/24.93	v ~x1079 x7304 ~x6458 ~x5612 ~x4766 ~x3618 ~x2772 x235 ~x1926 ~x1080 
24.80/24.93	v ~x7305 ~x6459 ~x5613 ~x4767 ~x3619 x2773 x236 ~x1927 x1081 ~x7306 
24.80/24.93	v ~x6460 ~x5614 ~x4768 ~x3620 x2774 ~x237 x1928 ~x1082 x7307 ~x6461 
24.80/24.93	v ~x5615 ~x4769 ~x3621 ~x2775 ~x238 ~x1929 x1083 x7308 ~x6462 ~x5616 
24.80/24.93	v ~x4770 ~x3622 ~x2776 x239 ~x1930 ~x1084 x7309 ~x6463 ~x5617 ~x4771 
24.80/24.93	v ~x3623 ~x2777 ~x240 x1931 x1085 x7310 ~x6464 ~x5618 ~x4772 ~x3624 
24.80/24.93	v ~x2778 ~x241 x1932 ~x1086 ~x7311 ~x6465 ~x5619 ~x4773 ~x3625 ~x2779 
24.80/24.93	v ~x242 ~x1933 ~x1087 ~x7312 ~x6466 ~x5620 ~x4774 ~x3626 ~x2780 x243 
24.80/24.93	v ~x1934 ~x1088 ~x7313 ~x6467 ~x5621 x4775 ~x3627 x2781 ~x244 x1935 
24.80/24.93	v ~x1089 x7314 ~x6468 ~x5622 ~x4776 ~x3628 ~x2782 ~x245 x1936 ~x1090 
24.80/24.93	v x7315 ~x6469 ~x5623 ~x4777 ~x3629 ~x2783 ~x246 ~x1937 x1091 x7316 
24.80/24.93	v ~x6470 ~x5624 ~x4778 ~x3630 ~x2784 ~x247 x1938 ~x1092 ~x7317 x6471 
24.80/24.93	v ~x5625 ~x4779 ~x3631 ~x2785 ~x248 ~x1939 x1093 x7318 ~x6472 ~x5626 
24.80/24.93	v ~x4780 ~x3632 ~x2786 ~x249 x1940 ~x1094 x7319 ~x6473 ~x5627 ~x4781 
24.80/24.93	v ~x3633 ~x2787 ~x250 x1941 ~x1095 x7320 ~x6474 ~x5628 x4782 ~x3634 
24.80/24.93	v ~x2788 ~x251 x1942 x1096 ~x7321 ~x6475 ~x5629 ~x4783 ~x3635 x2789 
24.80/24.93	v ~x252 x1943 ~x1097 x7322 ~x6476 ~x5630 ~x4784 ~x3636 ~x2790 ~x253 
24.80/24.93	v x1944 x1098 x7323 ~x6477 ~x5631 ~x4785 ~x3637 ~x2791 ~x254 x1945 
24.80/24.93	v ~x1099 ~x7324 ~x6478 ~x5632 ~x4786 ~x3638 x2792 ~x255 ~x1946 ~x1100 
24.80/24.93	v ~x7325 ~x6479 ~x5633 ~x4787 ~x3639 x2793 ~x256 x1947 x1101 ~x7326 
24.80/24.93	v ~x6480 ~x5634 ~x4788 ~x3640 ~x2794 ~x257 ~x1948 x1102 x7327 ~x6481 
24.80/24.93	v ~x5635 ~x4789 ~x3641 x2795 ~x258 x1949 ~x1103 x7328 ~x6482 ~x5636 
24.80/24.93	v ~x4790 ~x3642 ~x2796 ~x259 ~x1950 ~x1104 x7329 ~x6483 ~x5637 x4791 
24.80/24.93	v ~x3643 x2797 ~x260 ~x1951 x1105 ~x7330 ~x6484 ~x5638 ~x4792 ~x3644 
24.80/24.93	v ~x2798 ~x261 ~x1952 ~x1106 ~x7331 ~x6485 x5639 ~x4793 ~x3645 ~x2799 
24.80/24.93	v ~x262 ~x1953 x1107 ~x7332 ~x6486 ~x5640 ~x4794 ~x3646 ~x2800 x263 
24.80/24.93	v x1954 ~x1108 x7333 ~x6487 ~x5641 ~x4795 ~x3647 x2801 ~x264 ~x1955 
24.80/24.93	v ~x1109 x7334 ~x6488 ~x5642 ~x4796 ~x3648 ~x2802 ~x265 ~x1956 ~x1110 
24.80/24.93	v ~x7335 ~x6489 ~x5643 ~x4797 ~x3649 ~x2803 ~x266 ~x1957 ~x1111 x7336 
24.80/24.93	v ~x6490 ~x5644 ~x4798 ~x3650 x2804 ~x267 ~x1958 ~x1112 x7337 ~x6491 
24.80/24.93	v ~x5645 ~x4799 ~x3651 ~x2805 ~x268 ~x1959 ~x1113 x7338 ~x6492 ~x5646 
24.80/24.93	v ~x4800 ~x3652 ~x2806 ~x269 ~x1960 ~x1114 ~x7339 ~x6493 ~x5647 ~x4801 
24.80/24.93	v ~x3653 ~x2807 ~x270 ~x1961 x1115 x7340 x6494 ~x5648 ~x4802 ~x3654 
24.80/24.93	v ~x2808 ~x271 ~x1962 ~x1116 ~x7341 x6495 ~x5649 ~x4803 ~x3655 x2809 
24.80/24.93	v ~x272 ~x1963 ~x1117 x7342 x6496 ~x5650 ~x4804 ~x3656 ~x2810 ~x273 
24.80/24.93	v ~x1964 ~x1118 x7343 x6497 ~x5651 ~x4805 ~x3657 ~x2811 ~x274 ~x1965 
24.80/24.93	v ~x1119 x7344 ~x6498 ~x5652 ~x4806 ~x3658 x2812 ~x275 ~x1966 ~x1120 
24.80/24.93	v ~x7345 ~x6499 ~x5653 ~x4807 ~x3659 ~x2813 ~x276 ~x1967 ~x1121 ~x7346 
24.80/24.93	v ~x6500 ~x5654 ~x4808 ~x3660 ~x2814 ~x277 ~x1968 ~x1122 x7347 ~x6501 
24.80/24.93	v ~x5655 ~x4809 ~x3661 x2815 ~x278 ~x1969 ~x1123 x7348 ~x6502 ~x5656 
24.80/24.93	v ~x4810 ~x3662 x2816 ~x279 ~x1970 x1124 ~x7349 ~x6503 ~x5657 ~x4811 
24.80/24.93	v ~x3663 ~x2817 ~x280 ~x1971 ~x1125 x7350 ~x6504 ~x5658 ~x4812 ~x3664 
24.80/24.93	v x2818 ~x281 ~x1972 x1126 x7351 ~x6505 ~x5659 ~x4813 ~x3665 ~x2819 
24.80/24.93	v ~x282 ~x1973 ~x1127 ~x7352 ~x6506 ~x5660 ~x4814 ~x3666 x2820 ~x283 
24.80/24.93	v x1974 ~x1128 x7353 ~x6507 ~x5661 x4815 ~x3667 x2821 ~x284 ~x1975 
24.80/24.93	v ~x1129 x7354 ~x6508 ~x5662 x4816 ~x3668 ~x2822 ~x285 ~x1976 ~x1130 
24.80/24.93	v x7355 ~x6509 ~x5663 ~x4817 ~x3669 x2823 ~x286 x1977 ~x1131 ~x7356 
24.80/24.93	v ~x6510 ~x5664 ~x4818 ~x3670 ~x2824 ~x287 ~x1978 x1132 ~x7357 ~x6511 
24.80/24.93	v ~x5665 ~x4819 ~x3671 x2825 ~x288 x1979 ~x1133 x7358 ~x6512 ~x5666 
24.80/24.93	v ~x4820 ~x3672 ~x2826 ~x289 ~x1980 ~x1134 x7359 ~x6513 ~x5667 ~x4821 
24.80/24.93	v ~x3673 ~x2827 ~x290 ~x1981 ~x1135 x7360 ~x6514 ~x5668 ~x4822 ~x3674 
24.80/24.93	v ~x2828 ~x291 ~x1982 ~x1136 x7361 ~x6515 ~x5669 ~x4823 ~x3675 ~x2829 
24.80/24.93	v ~x292 ~x1983 ~x1137 x7362 ~x6516 ~x5670 ~x4824 ~x3676 ~x2830 ~x293 
24.80/24.93	v ~x1984 ~x1138 ~x7363 ~x6517 x5671 ~x4825 ~x3677 ~x2831 ~x294 ~x1985 
24.80/24.93	v ~x1139 ~x7364 ~x6518 ~x5672 ~x4826 ~x3678 ~x2832 ~x295 ~x1986 ~x1140 
24.80/24.93	v x7365 ~x6519 ~x5673 ~x4827 ~x3679 ~x2833 ~x296 ~x1987 ~x1141 ~x7366 
24.80/24.93	v ~x6520 ~x5674 ~x4828 ~x3680 x2834 ~x297 ~x1988 ~x1142 x7367 ~x6521 
24.80/24.93	v ~x5675 ~x4829 ~x3681 x2835 ~x298 ~x1989 ~x1143 ~x7368 ~x6522 ~x5676 
24.80/24.93	v ~x4830 ~x3682 ~x2836 ~x299 ~x1990 ~x1144 x7369 ~x6523 ~x5677 ~x4831 
24.80/24.93	v ~x3683 ~x2837 ~x300 ~x1991 ~x1145 ~x7370 ~x6524 ~x5678 ~x4832 ~x3684 
24.80/24.93	v x2838 ~x301 ~x1992 ~x1146 ~x7371 ~x6525 ~x5679 ~x4833 ~x3685 ~x2839 
24.80/24.93	v ~x302 ~x1993 ~x1147 ~x7372 ~x6526 ~x5680 ~x4834 ~x3686 ~x2840 x303 
24.80/24.93	v ~x1994 ~x1148 x7373 ~x6527 ~x5681 ~x4835 ~x3687 x2841 ~x304 ~x1995 
24.80/24.93	v ~x1149 ~x7374 ~x6528 ~x5682 ~x4836 ~x3688 x2842 ~x305 x1996 ~x1150 
24.80/24.93	v x7375 ~x6529 ~x5683 ~x4837 ~x3689 ~x2843 ~x306 x1997 ~x1151 x7376 
24.80/24.93	v ~x6530 ~x5684 ~x4838 ~x3690 ~x2844 ~x307 ~x1998 ~x1152 x7377 ~x6531 
24.80/24.93	v ~x5685 ~x4839 ~x3691 ~x2845 ~x308 ~x1999 ~x1153 x7378 ~x6532 ~x5686 
24.80/24.93	v ~x4840 ~x3692 ~x2846 ~x309 ~x2000 ~x1154 x7379 ~x6533 ~x5687 ~x4841 
24.80/24.93	v ~x3693 ~x2847 ~x310 ~x2001 ~x1155 x7380 ~x6534 ~x5688 ~x4842 ~x3694 
24.80/24.93	v ~x2848 x311 ~x2002 ~x1156 x7381 ~x6535 ~x5689 ~x4843 ~x3695 ~x2849 
24.80/24.93	v ~x312 ~x2003 ~x1157 x7382 ~x6536 ~x5690 ~x4844 ~x3696 ~x2850 ~x313 
24.80/24.93	v ~x2004 ~x1158 ~x7383 ~x6537 ~x5691 ~x4845 ~x3697 ~x2851 ~x314 x2005 
24.80/24.93	v ~x1159 ~x7384 ~x6538 ~x5692 x4846 ~x3698 ~x2852 x315 ~x2006 ~x1160 
24.80/24.93	v x7385 ~x6539 ~x5693 ~x4847 ~x3699 ~x2853 ~x316 x2007 ~x1161 ~x7386 
24.80/24.93	v ~x6540 ~x5694 ~x4848 ~x3700 x2854 ~x317 ~x2008 ~x1162 x7387 ~x6541 
24.80/24.93	v ~x5695 ~x4849 ~x3701 ~x2855 ~x318 ~x2009 ~x1163 ~x7388 ~x6542 ~x5696 
24.80/24.93	v ~x4850 ~x3702 x2856 ~x319 ~x2010 ~x1164 ~x7389 ~x6543 ~x5697 ~x4851 
24.80/24.93	v ~x3703 x2857 ~x320 ~x2011 ~x1165 x7390 ~x6544 ~x5698 ~x4852 ~x3704 
24.80/24.93	v ~x2858 x321 ~x2012 ~x1166 x7391 ~x6545 ~x5699 ~x4853 ~x3705 ~x2859 
24.80/24.93	v ~x322 ~x2013 ~x1167 x7392 ~x6546 ~x5700 ~x4854 ~x3706 ~x2860 ~x323 
24.80/24.93	v ~x2014 ~x1168 x7393 ~x6547 ~x5701 ~x4855 ~x3707 ~x2861 x324 x2015 
24.80/24.93	v x1169 x7394 ~x6548 ~x5702 ~x4856 ~x3708 x2862 ~x325 ~x2016 ~x1170 
24.80/24.93	v x7395 ~x6549 ~x5703 ~x4857 ~x3709 ~x2863 ~x326 ~x2017 ~x1171 ~x7396 
24.80/24.93	v ~x6550 x5704 ~x4858 ~x3710 x2864 ~x327 ~x2018 ~x1172 x7397 ~x6551 
24.80/24.93	v ~x5705 ~x4859 ~x3711 ~x2865 ~x328 ~x2019 ~x1173 ~x7398 ~x6552 ~x5706 
24.80/24.93	v ~x4860 ~x3712 ~x2866 ~x329 ~x2020 x1174 ~x7399 ~x6553 ~x5707 ~x4861 
24.80/24.93	v ~x3713 ~x2867 ~x330 ~x2021 ~x1175 ~x7400 ~x6554 ~x5708 ~x4862 ~x3714 
24.80/24.93	v x2868 ~x331 ~x2022 ~x1176 ~x7401 ~x6555 x5709 ~x4863 ~x3715 x2869 
24.80/24.93	v ~x332 ~x2023 ~x1177 ~x7402 ~x6556 ~x5710 ~x4864 ~x3716 ~x2870 ~x333 
24.80/24.93	v ~x2024 ~x1178 ~x7403 ~x6557 ~x5711 ~x4865 ~x3717 ~x2871 ~x334 ~x2025 
24.80/24.93	v ~x1179 ~x7404 ~x6558 ~x5712 ~x4866 ~x3718 ~x2872 ~x335 ~x2026 ~x1180 
24.80/24.93	v ~x7405 ~x6559 ~x5713 ~x4867 ~x3719 x2873 x336 ~x2027 ~x1181 ~x7406 
24.80/24.93	v ~x6560 ~x5714 ~x4868 ~x3720 x2874 ~x337 ~x2028 ~x1182 ~x7407 ~x6561 
24.80/24.93	v ~x5715 ~x4869 ~x3721 x2875 x338 ~x2029 x1183 ~x7408 ~x6562 ~x5716 
24.80/24.93	v ~x4870 ~x3722 ~x2876 ~x339 ~x2030 ~x1184 ~x7409 ~x6563 ~x5717 ~x4871 
24.80/24.93	v ~x3723 x2877 x340 ~x2031 ~x1185 ~x7410 ~x6564 ~x5718 ~x4872 ~x3724 
24.80/24.93	v ~x2878 ~x341 ~x2032 ~x1186 x7411 ~x6565 ~x5719 ~x4873 ~x3725 ~x2879 
24.80/24.93	v ~x342 ~x2033 ~x1187 x7412 ~x6566 ~x5720 ~x4874 ~x3726 ~x2880 ~x343 
24.80/24.93	v ~x2034 ~x1188 ~x7413 ~x6567 ~x5721 ~x4875 ~x3727 ~x2881 x344 ~x2035 
24.80/24.93	v ~x1189 ~x7414 ~x6568 ~x5722 ~x4876 ~x3728 x2882 ~x345 x2036 x1190 
24.80/24.93	v ~x7415 ~x6569 ~x5723 ~x4877 ~x3729 ~x2883 ~x346 x2037 ~x1191 x7416 
24.80/24.93	v x6570 ~x5724 ~x4878 ~x3730 x2884 x347 ~x2038 ~x1192 ~x7417 x6571 
24.80/24.93	v ~x5725 ~x4879 ~x3731 ~x2885 x348 x2039 ~x1193 ~x7418 x6572 ~x5726 
24.80/24.93	v ~x4880 ~x3732 x2886 ~x349 ~x2040 ~x1194 ~x7419 x6573 ~x5727 ~x4881 
24.80/24.93	v ~x3733 ~x2887 x350 ~x2041 ~x1195 ~x7420 ~x6574 ~x5728 ~x4882 ~x3734 
24.80/24.93	v ~x2888 x351 ~x2042 ~x1196 x7421 ~x6575 ~x5729 ~x4883 ~x3735 ~x2889 
24.80/24.93	v ~x352 x2043 x1197 x7422 ~x6576 x5730 ~x4884 ~x3736 ~x2890 x353 
24.80/24.93	v ~x2044 ~x1198 x7423 ~x6577 x5731 ~x4885 ~x3737 x2891 x354 ~x2045 
24.80/24.93	v ~x1199 ~x7424 ~x6578 ~x5732 ~x4886 ~x3738 ~x2892 ~x355 ~x2046 ~x1200 
24.80/24.93	v x7425 x6579 ~x5733 ~x4887 ~x3739 ~x2893 ~x356 ~x2047 ~x1201 ~x7426 
24.80/24.93	v ~x6580 ~x5734 ~x4888 ~x3740 x2894 ~x357 x2048 x1202 ~x7427 ~x6581 
24.80/24.93	v ~x5735 ~x4889 ~x3741 x2895 ~x358 ~x2049 x1203 ~x7428 ~x6582 ~x5736 
24.80/24.93	v ~x4890 ~x3742 ~x2896 x359 ~x2050 ~x1204 x7429 ~x6583 ~x5737 ~x4891 
24.80/24.93	v ~x3743 x2897 ~x360 ~x2051 x1205 x7430 ~x6584 ~x5738 ~x4892 ~x3744 
24.80/24.93	v ~x2898 x361 x2052 ~x1206 x7431 ~x6585 ~x5739 ~x4893 ~x3745 x2899 
24.80/24.93	v x362 ~x2053 x1207 ~x7432 x6586 ~x5740 ~x4894 ~x3746 ~x2900 ~x363 
24.80/24.93	v ~x2054 ~x1208 ~x7433 ~x6587 ~x5741 ~x4895 ~x3747 x2901 x364 ~x2055 
24.80/24.93	v ~x1209 ~x7434 x6588 ~x5742 ~x4896 ~x3748 ~x2902 ~x365 x2056 ~x1210 
24.80/24.93	v ~x7435 x6589 ~x5743 ~x4897 ~x3749 x2903 ~x366 x2057 ~x1211 ~x7436 
24.80/24.93	v x6590 ~x5744 ~x4898 ~x3750 ~x2904 ~x367 x2058 ~x1212 ~x7437 ~x6591 
24.80/24.93	v ~x5745 ~x4899 ~x3751 ~x2905 x368 ~x2059 ~x1213 ~x7438 ~x6592 ~x5746 
24.80/24.93	v ~x4900 ~x3752 x2906 x369 ~x2060 ~x1214 ~x7439 ~x6593 ~x5747 ~x4901 
24.80/24.93	v ~x3753 x2907 ~x370 ~x2061 ~x1215 x7440 ~x6594 ~x5748 ~x4902 ~x3754 
24.80/24.93	v x2908 x371 ~x2062 ~x1216 x7441 ~x6595 ~x5749 ~x4903 ~x3755 x2909 
24.80/24.93	v ~x372 ~x2063 ~x1217 x7442 ~x6596 ~x5750 ~x4904 ~x3756 ~x2910 x373 
24.80/24.93	v ~x2064 ~x1218 x7443 ~x6597 ~x5751 ~x4905 ~x3757 ~x2911 x374 x2065 
24.80/24.93	v ~x1219 x7444 ~x6598 ~x5752 ~x4906 ~x3758 x2912 x375 x2066 ~x1220 
24.80/24.93	v ~x7445 ~x6599 ~x5753 ~x4907 ~x3759 ~x2913 ~x376 ~x2067 ~x1221 x7446 
24.80/24.93	v ~x6600 ~x5754 ~x4908 ~x3760 x2914 ~x377 ~x2068 ~x1222 x7447 ~x6601 
24.80/24.93	v ~x5755 ~x4909 ~x3761 ~x2915 ~x378 ~x2069 ~x1223 x7448 ~x6602 ~x5756 
24.80/24.93	v ~x4910 ~x3762 ~x2916 x379 ~x2070 ~x1224 ~x7449 x6603 ~x5757 ~x4911 
24.80/24.93	v ~x3763 ~x2917 ~x380 x2071 ~x1225 x7450 ~x6604 ~x5758 ~x4912 ~x3764 
24.80/24.93	v ~x2918 x381 ~x2072 ~x1226 ~x7451 x6605 ~x5759 ~x4913 ~x3765 x2919 
24.80/24.93	v x382 x2073 ~x1227 x7452 ~x6606 ~x5760 ~x4914 ~x3766 x2920 ~x383 
24.80/24.93	v x2074 ~x1228 x7453 ~x6607 ~x5761 ~x4915 ~x3767 x2921 ~x384 ~x2075 
24.80/24.93	v ~x1229 x7454 ~x6608 ~x5762 ~x4916 ~x3768 ~x2922 x385 ~x2076 ~x1230 
24.80/24.93	v ~x7455 ~x6609 ~x5763 ~x4917 ~x3769 x2923 x386 ~x2077 ~x1231 x7456 
24.80/24.93	v ~x6610 ~x5764 ~x4918 ~x3770 ~x2924 ~x387 x2078 ~x1232 x7457 ~x6611 
24.80/24.93	v ~x5765 ~x4919 ~x3771 ~x2925 ~x388 ~x2079 ~x1233 ~x7458 ~x6612 ~x5766 
24.80/24.93	v ~x4920 ~x3772 ~x2926 ~x389 ~x2080 ~x1234 ~x7459 x6613 ~x5767 ~x4921 
24.80/24.93	v ~x3773 ~x2927 ~x390 ~x2081 ~x1235 x7460 ~x6614 ~x5768 ~x4922 ~x3774 
24.80/24.93	v ~x2928 x391 ~x2082 ~x1236 x7461 ~x6615 ~x5769 ~x4923 ~x3775 x2929 
24.80/24.93	v ~x392 ~x2083 ~x1237 x7462 ~x6616 ~x5770 ~x4924 ~x3776 ~x2930 ~x393 
24.80/24.93	v ~x2084 x1238 x7463 ~x6617 ~x5771 ~x4925 ~x3777 ~x2931 ~x394 ~x2085 
24.80/24.93	v ~x1239 ~x7464 ~x6618 ~x5772 ~x4926 ~x3778 x2932 ~x395 x2086 x1240 
24.80/24.93	v ~x7465 ~x6619 ~x5773 ~x4927 ~x3779 ~x2933 x396 ~x2087 x1241 ~x7466 
24.80/24.93	v ~x6620 x5774 ~x4928 ~x3780 ~x2934 ~x397 x2088 x1242 ~x7467 x6621 
24.80/24.93	v x5775 ~x4929 ~x3781 ~x2935 ~x398 ~x2089 ~x1243 ~x7468 x6622 ~x5776 
24.80/24.93	v ~x4930 ~x3782 ~x2936 x399 x2090 ~x1244 x7469 x6623 ~x5777 ~x4931 
24.80/24.93	v ~x3783 ~x2937 x400 x2091 ~x1245 ~x7470 ~x6624 ~x5778 ~x4932 ~x3784 
24.80/24.93	v x2938 ~x401 ~x2092 ~x1246 x7471 x6625 ~x5779 ~x4933 ~x3785 ~x2939 
24.80/24.93	v ~x402 ~x2093 x1247 ~x7472 ~x6626 ~x5780 ~x4934 ~x3786 x2940 x403 
24.80/24.93	v x2094 x1248 x7473 ~x6627 x5781 ~x4935 ~x3787 x2941 ~x404 ~x2095 
24.80/24.93	v ~x1249 x7474 ~x6628 ~x5782 ~x4936 ~x3788 ~x2942 ~x405 x2096 x1250 
24.80/24.93	v ~x7475 ~x6629 ~x5783 ~x4937 ~x3789 ~x2943 ~x406 x2097 ~x1251 x7476 
24.80/24.93	v ~x6630 ~x5784 ~x4938 ~x3790 ~x2944 ~x407 x2098 ~x1252 ~x7477 x6631 
24.80/24.93	v ~x5785 ~x4939 ~x3791 ~x2945 ~x408 ~x2099 ~x1253 ~x7478 ~x6632 ~x5786 
24.80/24.93	v ~x4940 ~x3792 x2946 ~x409 ~x2100 ~x1254 ~x7479 ~x6633 ~x5787 ~x4941 
24.80/24.93	v ~x3793 x2947 ~x410 ~x2101 x1255 ~x7480 x6634 ~x5788 ~x4942 ~x3794 
24.80/24.93	v ~x2948 ~x411 x2102 x1256 x7481 ~x6635 ~x5789 ~x4943 ~x3795 ~x2949 
24.80/24.93	v ~x412 ~x2103 x1257 ~x7482 ~x6636 ~x5790 x4944 ~x3796 ~x2950 ~x413 
24.80/24.93	v x2104 x1258 ~x7483 ~x6637 ~x5791 x4945 ~x3797 ~x2951 ~x414 x2105 
24.80/24.93	v x1259 ~x7484 x6638 ~x5792 ~x4946 ~x3798 x2952 ~x415 ~x2106 ~x1260 
24.80/24.93	v ~x7485 x6639 ~x5793 ~x4947 ~x3799 ~x2953 x416 x2107 ~x1261 ~x7486 
24.80/24.93	v x6640 ~x5794 ~x4948 ~x3800 ~x2954 ~x417 ~x2108 ~x1262 x7487 ~x6641 
24.80/24.93	v ~x5795 ~x4949 ~x3801 ~x2955 ~x418 x2109 x1263 ~x7488 ~x6642 ~x5796 
24.80/24.93	v ~x4950 ~x3802 ~x2956 x419 ~x2110 ~x1264 ~x7489 ~x6643 ~x5797 ~x4951 
24.80/24.93	v ~x3803 ~x2957 ~x420 x2111 ~x1265 x7490 ~x6644 ~x5798 ~x4952 ~x3804 
24.80/24.93	v ~x2958 x421 ~x2112 x1266 x7491 x6645 ~x5799 ~x4953 ~x3805 ~x2959 
24.80/24.93	v ~x422 x2113 x1267 x7492 x6646 ~x5800 ~x4954 ~x3806 x2960 ~x423 
24.80/24.93	v x2114 ~x1268 ~x7493 ~x6647 ~x5801 ~x4955 ~x3807 ~x2961 x424 ~x2115 
24.80/24.93	v ~x1269 ~x7494 ~x6648 ~x5802 ~x4956 ~x3808 ~x2962 x425 ~x2116 ~x1270 
24.80/24.93	v ~x7495 x6649 ~x5803 ~x4957 ~x3809 ~x2963 ~x426 ~x2117 ~x1271 ~x7496 
24.80/24.93	v x6650 ~x5804 ~x4958 ~x3810 ~x2964 ~x427 ~x2118 ~x1272 x7497 ~x6651 
24.80/24.93	v ~x5805 ~x4959 ~x3811 ~x2965 ~x428 ~x2119 ~x1273 ~x7498 ~x6652 ~x5806 
24.80/24.93	v ~x4960 ~x3812 x2966 x429 ~x2120 ~x1274 x7499 ~x6653 ~x5807 ~x4961 
24.80/24.93	v ~x3813 ~x2967 ~x430 ~x2121 x1275 ~x7500 ~x6654 ~x5808 ~x4962 ~x3814 
24.80/24.93	v ~x2968 x431 ~x2122 ~x1276 x7501 x6655 ~x5809 ~x4963 ~x3815 x2969 
24.80/24.93	v ~x432 x2123 ~x1277 x7502 x6656 ~x5810 ~x4964 ~x3816 x2970 x433 
24.80/24.93	v ~x2124 x1278 x7503 ~x6657 x5811 ~x4965 ~x3817 x2971 ~x434 x2125 
24.80/24.93	v x1279 ~x7504 ~x6658 ~x5812 ~x4966 ~x3818 x2972 ~x435 x2126 ~x1280 
24.80/24.93	v ~x7505 ~x6659 ~x5813 ~x4967 ~x3819 x2973 x436 x2127 ~x1281 x7506 
24.80/24.93	v ~x6660 ~x5814 ~x4968 ~x3820 x2974 ~x437 x2128 ~x1282 ~x7507 ~x6661 
24.80/24.93	v ~x5815 ~x4969 ~x3821 ~x2975 x438 ~x2129 ~x1283 ~x7508 ~x6662 ~x5816 
24.80/24.93	v ~x4970 ~x3822 ~x2976 ~x439 ~x2130 ~x1284 ~x7509 x6663 ~x5817 ~x4971 
24.80/24.93	v ~x3823 x2977 ~x440 x2131 ~x1285 ~x7510 x6664 ~x5818 ~x4972 ~x3824 
24.80/24.93	v ~x2978 ~x441 ~x2132 ~x1286 x7511 x6665 ~x5819 ~x4973 ~x3825 x2979 
24.80/24.93	v ~x442 ~x2133 x1287 x7512 ~x6666 ~x5820 ~x4974 ~x3826 ~x2980 ~x443 
24.80/24.93	v x2134 ~x1288 ~x7513 ~x6667 ~x5821 ~x4975 ~x3827 x2981 ~x444 x2135 
24.80/24.93	v ~x1289 x7514 ~x6668 ~x5822 ~x4976 ~x3828 ~x2982 ~x445 x2136 ~x1290 
24.80/24.93	v x7515 ~x6669 ~x5823 ~x4977 ~x3829 ~x2983 ~x446 x2137 ~x1291 x7516 
24.80/24.93	v ~x6670 ~x5824 x4978 ~x4132 ~x3830 x2984 ~x447 ~x2138 ~x1292 ~x7517 
24.80/24.93	v ~x6671 ~x5825 x4979 ~x4133 ~x3831 ~x2985 ~x448 x2139 ~x1293 x7518 
24.80/24.93	v ~x6672 ~x5826 ~x4980 ~x4134 ~x3832 ~x2986 ~x449 ~x2140 ~x1294 x7519 
24.80/24.93	v ~x6673 ~x5827 ~x4981 ~x4135 ~x3833 ~x2987 x450 x2141 ~x1295 x7520 
24.80/24.93	v x6674 ~x5828 ~x4982 ~x4136 ~x3834 x2988 ~x451 ~x2142 ~x1296 x7521 
24.80/24.93	v x6675 ~x5829 ~x4983 ~x4137 ~x3835 x2989 ~x452 ~x2143 ~x1297 ~x7522 
24.80/24.93	v ~x6676 ~x5830 ~x4984 ~x4138 ~x3836 ~x2990 ~x453 x2144 ~x1298 ~x7523 
24.80/24.93	v ~x6677 ~x5831 ~x4985 ~x4139 ~x3837 ~x2991 ~x454 x2145 ~x1299 ~x7524 
24.80/24.93	v ~x6678 ~x5832 ~x4986 ~x4140 ~x3838 ~x2992 ~x455 ~x2146 ~x1300 x7525 
24.80/24.93	v ~x6679 ~x5833 ~x4987 ~x4141 ~x3839 ~x2993 ~x456 ~x2147 ~x1301 x7526 
24.80/24.93	v ~x6680 ~x5834 ~x4988 ~x4142 ~x3840 ~x2994 ~x457 ~x2148 ~x1302 x7527 
24.80/24.93	v ~x6681 ~x5835 x4989 ~x4143 ~x3841 ~x2995 ~x2149 ~x1303 ~x7528 ~x6682 
24.80/24.93	v ~x5836 ~x4990 ~x4144 ~x3842 ~x2996 x2150 ~x1304 ~x458 ~x7529 ~x6683 
24.80/24.93	v ~x5837 ~x4991 ~x4145 ~x3843 ~x2997 ~x2151 ~x1305 ~x459 x7530 ~x6684 
24.80/24.93	v ~x5838 ~x4992 ~x4146 ~x3844 ~x2998 ~x2152 ~x1306 ~x460 ~x7531 ~x6685 
24.80/24.93	v ~x5839 ~x4993 ~x4147 ~x3845 ~x2999 ~x2153 ~x1307 x461 x7532 ~x6686 
24.80/24.93	v ~x5840 ~x4994 ~x4148 ~x3846 ~x3000 x2154 ~x1308 ~x462 x7533 ~x6687 
24.80/24.93	v ~x5841 ~x4995 ~x4149 ~x3847 ~x3001 ~x2155 ~x1309 ~x463 x7534 ~x6688 
24.80/24.93	v ~x5842 ~x4996 ~x4150 ~x3848 x3002 ~x2156 ~x1310 ~x464 x7535 ~x6689 
24.80/24.93	v ~x5843 ~x4997 ~x4151 ~x3849 x3003 ~x2157 ~x1311 ~x465 ~x7536 ~x6690 
24.80/24.93	v ~x5844 ~x4998 ~x4152 ~x3850 x3004 ~x2158 ~x1312 x466 x7537 ~x6691 
24.80/24.93	v ~x5845 ~x4999 ~x4153 ~x3851 ~x3005 ~x2159 ~x1313 x467 ~x7538 ~x6692 
24.80/24.93	v ~x5846 ~x5000 ~x4154 ~x3852 x3006 ~x2160 ~x1314 x468 x7539 ~x6693 
24.80/24.93	v x5847 ~x5001 ~x4155 ~x3853 ~x3007 ~x2161 ~x1315 x469 x7540 ~x6694 
24.80/24.93	v ~x5848 ~x5002 ~x4156 ~x3854 ~x3008 x2162 ~x1316 x470 x7541 ~x6695 
24.80/24.93	v ~x5849 ~x5003 ~x4157 ~x3855 ~x3009 x2163 x1317 x471 x7542 ~x6696 
24.80/24.93	v ~x5850 ~x5004 ~x4158 ~x3856 x3010 x2164 ~x1318 ~x472 x7543 ~x6697 
24.80/24.93	v ~x5851 ~x5005 ~x4159 ~x3857 ~x3011 ~x2165 ~x1319 ~x473 x7544 ~x6698 
24.80/24.93	v ~x5852 ~x5006 ~x4160 ~x3858 x3012 ~x2166 x1320 ~x474 x7545 ~x6699 
24.80/24.93	v ~x5853 ~x5007 ~x4161 ~x3859 ~x3013 ~x2167 ~x1321 ~x475 x7546 ~x6700 
24.80/24.93	v ~x5854 ~x5008 ~x4162 ~x3860 x3014 x2168 ~x1322 x476 x7547 ~x6701 
24.80/24.93	v ~x5855 ~x5009 ~x4163 ~x3861 ~x3015 x2169 x1323 ~x477 x7548 ~x6702 
24.80/24.93	v ~x5856 ~x5010 ~x4164 ~x3862 ~x3016 ~x2170 ~x1324 x478 x7549 ~x6703 
24.80/24.93	v x5857 ~x5011 ~x4165 ~x3863 ~x3017 x2171 ~x1325 x479 x7550 ~x6704 
24.80/24.93	v x5858 ~x5012 ~x4166 ~x3864 ~x3018 ~x2172 ~x1326 x480 x7551 ~x6705 
24.80/24.93	v x5859 ~x5013 ~x4167 ~x3865 ~x3019 ~x2173 x1327 x481 x7552 ~x6706 
24.80/24.93	v ~x5860 ~x5014 ~x4168 ~x3866 ~x3020 ~x2174 ~x1328 x482 x7553 ~x6707 
24.80/24.93	v ~x5861 ~x5015 ~x4169 ~x3867 ~x3021 ~x2175 ~x1329 x483 x7554 ~x6708 
24.80/24.93	v ~x5862 ~x5016 ~x4170 ~x3868 x3022 ~x2176 x1330 ~x484 x7555 ~x6709 
24.80/24.93	v ~x5863 ~x5017 ~x4171 ~x3869 x3023 ~x2177 ~x1331 ~x485 ~x7556 ~x6710 
24.80/24.93	v ~x5864 ~x5018 ~x4172 ~x3870 ~x3024 ~x2178 ~x1332 ~x486 x7557 ~x6711 
24.80/24.93	v ~x5865 ~x5019 ~x4173 ~x3871 ~x3025 x2179 x1333 x487 x7558 ~x6712 
24.80/24.93	v ~x5866 ~x5020 ~x4174 ~x3872 x3026 ~x2180 ~x1334 ~x488 x7559 ~x6713 
24.80/24.93	v ~x5867 ~x5021 ~x4175 ~x3873 x3027 ~x2181 ~x1335 ~x489 x7560 ~x6714 
24.80/24.93	v ~x5868 ~x5022 ~x4176 ~x3874 ~x3028 x2182 ~x1336 ~x490 ~x7561 x6715 
24.80/24.93	v ~x5869 ~x5023 ~x4177 ~x3875 ~x3029 ~x2183 ~x1337 ~x491 x7562 x6716 
24.80/24.93	v ~x5870 ~x5024 ~x4178 ~x3876 ~x3030 ~x2184 ~x1338 ~x492 ~x7563 ~x6717 
24.80/24.93	v ~x5871 ~x5025 ~x4179 ~x3877 ~x3031 ~x2185 ~x1339 ~x493 x7564 ~x6718 
24.80/24.93	v ~x5872 ~x5026 ~x4180 ~x3878 x3032 ~x2186 ~x1340 ~x494 ~x7565 ~x6719 
24.80/24.93	v ~x5873 ~x5027 ~x4181 ~x3879 ~x3033 x2187 ~x1341 x495 x7566 ~x6720 
24.80/24.93	v ~x5874 ~x5028 ~x4182 ~x3880 ~x3034 ~x2188 ~x1342 ~x496 x7567 x6721 
24.80/24.93	v ~x5875 ~x5029 ~x4183 ~x3881 ~x3035 ~x2189 ~x1343 ~x497 x7568 ~x6722 
24.80/24.93	v ~x5876 ~x5030 ~x4184 ~x3882 ~x3036 x2190 ~x1344 ~x498 x7569 ~x6723 
24.80/24.93	v ~x5877 ~x5031 ~x4185 ~x3883 x3037 ~x2191 ~x1345 x499 x7570 ~x6724 
24.80/24.93	v ~x5878 ~x5032 ~x4186 ~x3884 x3038 ~x2192 ~x1346 ~x500 ~x7571 ~x6725 
24.80/24.93	v ~x5879 ~x5033 ~x4187 ~x3885 x3039 x2193 x1347 ~x501 ~x7572 ~x6726 
24.80/24.93	v ~x5880 ~x5034 ~x4188 ~x3886 ~x3040 x2194 ~x1348 ~x502 x7573 ~x6727 
24.80/24.93	v ~x5881 ~x5035 ~x4189 ~x3887 ~x3041 ~x2195 ~x1349 ~x503 ~x7574 ~x6728 
24.80/24.93	v ~x5882 ~x5036 ~x4190 ~x3888 x3042 ~x2196 ~x1350 ~x504 x7575 ~x6729 
24.80/24.93	v ~x5883 ~x5037 ~x4191 ~x3889 ~x3043 x2197 ~x1351 x505 x7576 ~x6730 
24.80/24.93	v ~x5884 ~x5038 ~x4192 ~x3890 x3044 ~x2198 ~x1352 ~x506 x7577 ~x6731 
24.80/24.93	v ~x5885 ~x5039 ~x4193 ~x3891 x3045 ~x2199 ~x1353 ~x507 x7578 ~x6732 
24.80/24.93	v ~x5886 x5040 ~x4194 ~x3892 ~x3046 x2200 ~x1354 ~x508 x7579 ~x6733 
24.80/24.93	v ~x5887 ~x5041 ~x4195 ~x3893 ~x3047 ~x2201 ~x1355 ~x509 ~x7580 ~x6734 
24.80/24.93	v ~x5888 ~x5042 ~x4196 ~x3894 x3048 ~x2202 ~x1356 ~x510 x7581 ~x6735 
24.80/24.93	v ~x5889 ~x5043 ~x4197 ~x3895 ~x3049 x2203 x1357 x511 ~x7582 ~x6736 
24.80/24.93	v ~x5890 ~x5044 ~x4198 ~x3896 x3050 ~x2204 ~x1358 x512 x7583 ~x6737 
24.80/24.93	v ~x5891 ~x5045 ~x4199 ~x3897 ~x3051 ~x2205 ~x1359 ~x513 x7584 x6738 
24.80/24.93	v ~x5892 ~x5046 ~x4200 ~x3898 x3052 x2206 x1360 ~x514 x7585 ~x6739 
24.80/24.93	v ~x5893 ~x5047 ~x4201 ~x3899 x3053 ~x2207 ~x1361 x515 x7586 ~x6740 
24.80/24.93	v ~x5894 ~x5048 ~x4202 ~x3900 ~x3054 ~x2208 x1362 ~x516 ~x7587 ~x6741 
24.80/24.93	v ~x5895 ~x5049 ~x4203 ~x3901 ~x3055 ~x2209 ~x1363 ~x517 ~x7588 ~x6742 
24.80/24.93	v ~x5896 ~x5050 ~x4204 ~x3902 x3056 ~x2210 ~x1364 x518 x7589 ~x6743 
24.80/24.93	v ~x5897 ~x5051 ~x4205 ~x3903 ~x3057 ~x2211 x1365 ~x519 x7590 ~x6744 
24.80/24.93	v ~x5898 ~x5052 ~x4206 ~x3904 ~x3058 ~x2212 ~x1366 x520 x7591 ~x6745 
24.80/24.93	v ~x5899 ~x5053 ~x4207 ~x3905 x3059 x2213 x1367 ~x521 x7592 ~x6746 
24.80/24.93	v ~x5900 ~x5054 ~x4208 ~x3906 ~x3060 x2214 x1368 ~x522 x7593 ~x6747 
24.80/24.93	v ~x5901 ~x5055 ~x4209 ~x3907 x3061 ~x2215 ~x1369 x523 x7594 ~x6748 
24.80/24.93	v x5902 ~x5056 ~x4210 ~x3908 ~x3062 x2216 ~x1370 x524 ~x7595 x6749 
24.80/24.93	v ~x5903 ~x5057 ~x4211 ~x3909 x3063 x2217 ~x1371 ~x525 ~x7596 ~x6750 
24.80/24.93	v ~x5904 ~x5058 ~x4212 ~x3910 x3064 ~x2218 ~x1372 ~x526 ~x7597 ~x6751 
24.80/24.93	v ~x5905 ~x5059 ~x4213 ~x3911 ~x3065 x2219 ~x1373 ~x527 ~x7598 ~x6752 
24.80/24.93	v ~x5906 ~x5060 ~x4214 ~x3912 x3066 ~x2220 ~x1374 x528 x7599 x6753 
24.80/24.93	v ~x5907 ~x5061 ~x4215 ~x3913 ~x3067 ~x2221 ~x1375 ~x529 x7600 ~x6754 
24.80/24.93	v ~x5908 ~x5062 ~x4216 ~x3914 ~x3068 x2222 ~x1376 ~x530 ~x7601 ~x6755 
24.80/24.93	v ~x5909 ~x5063 ~x4217 ~x3915 ~x3069 x2223 ~x1377 ~x531 x7602 x6756 
24.80/24.93	v ~x5910 ~x5064 ~x4218 ~x3916 x3070 ~x2224 ~x1378 ~x532 ~x7603 ~x6757 
24.80/24.93	v ~x5911 ~x5065 ~x4219 ~x3917 x3071 x2225 ~x1379 ~x533 x7604 x6758 
24.80/24.93	v ~x5912 ~x5066 ~x4220 ~x3918 ~x3072 ~x2226 ~x1380 x534 x7605 ~x6759 
24.80/24.93	v ~x5913 ~x5067 ~x4221 ~x3919 x3073 x2227 ~x1381 x535 ~x7606 ~x6760 
24.80/24.93	v ~x5914 ~x5068 ~x4222 ~x3920 ~x3074 ~x2228 x1382 ~x536 ~x7607 ~x6761 
24.80/24.93	v ~x5915 ~x5069 ~x4223 ~x3921 x3075 ~x2229 ~x1383 ~x537 ~x7608 ~x6762 
24.80/24.93	v ~x5916 ~x5070 ~x4224 ~x3922 x3076 x2230 ~x1384 ~x538 ~x7609 x6763 
24.80/24.93	v ~x5917 ~x5071 ~x4225 ~x3923 ~x3077 ~x2231 ~x1385 ~x539 ~x7610 x6764 
24.80/24.93	v ~x5918 ~x5072 ~x4226 ~x3924 x3078 ~x2232 ~x1386 ~x540 x7611 ~x6765 
24.80/24.93	v ~x5919 ~x5073 ~x4227 ~x3925 ~x3079 x2233 ~x1387 ~x541 ~x7612 x6766 
24.80/24.93	v ~x5920 ~x5074 ~x4228 ~x3926 x3080 ~x2234 ~x1388 ~x542 ~x7613 ~x6767 
24.80/24.93	v ~x5921 ~x5075 ~x4229 ~x3927 x3081 x2235 ~x1389 ~x543 ~x7614 ~x6768 
24.80/24.93	v ~x5922 ~x5076 ~x4230 ~x3928 ~x3082 ~x2236 ~x1390 ~x544 ~x7615 ~x6769 
24.80/24.93	v ~x5923 ~x5077 ~x4231 ~x3929 ~x3083 x2237 x1391 ~x545 ~x7616 ~x6770 
24.80/24.93	v ~x5924 ~x5078 ~x4232 ~x3930 ~x3084 ~x2238 ~x1392 ~x546 ~x7617 x6771 
24.80/24.93	v ~x5925 ~x5079 ~x4233 ~x3931 x3085 ~x2239 x1393 ~x547 ~x7618 ~x6772 
24.80/24.93	v ~x5926 ~x5080 ~x4234 ~x3932 x3086 x2240 ~x1394 x548 ~x7619 ~x6773 
24.80/24.93	v ~x5927 ~x5081 ~x4235 ~x3933 ~x3087 x2241 ~x1395 ~x549 ~x7620 ~x6774 
24.80/24.93	v ~x5928 ~x5082 ~x4236 ~x3934 ~x3088 ~x2242 ~x1396 x550 x7621 ~x6775 
24.80/24.93	v ~x5929 ~x5083 ~x4237 ~x3935 x3089 ~x2243 ~x1397 ~x551 ~x7622 ~x6776 
24.80/24.93	v ~x5930 ~x5084 ~x4238 ~x3936 ~x3090 ~x2244 ~x1398 x552 x7623 ~x6777 
24.80/24.93	v ~x5931 ~x5085 ~x4239 ~x3937 ~x3091 ~x2245 x1399 ~x553 ~x7624 ~x6778 
24.80/24.93	v ~x5932 ~x5086 ~x4240 ~x3938 x3092 x2246 x1400 ~x554 x7625 x6779 
24.80/24.93	v ~x5933 ~x5087 ~x4241 ~x3939 ~x3093 ~x2247 ~x1401 x555 x7626 x6780 
24.80/24.93	v ~x5934 ~x5088 ~x4242 ~x3940 x3094 x2248 x1402 ~x556 x7627 ~x6781 
24.80/24.93	v ~x5935 ~x5089 ~x4243 ~x3941 ~x3095 ~x2249 ~x1403 ~x557 ~x7628 ~x6782 
24.80/24.93	v ~x5936 ~x5090 ~x4244 ~x3942 x3096 ~x2250 ~x1404 ~x558 ~x7629 ~x6783 
24.80/24.93	v ~x5937 ~x5091 ~x4245 ~x3943 x3097 x2251 ~x1405 ~x559 ~x7630 ~x6784 
24.80/24.93	v ~x5938 x5092 ~x4246 ~x3944 ~x3098 ~x2252 ~x1406 x560 ~x7631 ~x6785 
24.80/24.93	v ~x5939 ~x5093 ~x4247 ~x3945 ~x3099 ~x2253 x1407 ~x561 ~x7632 ~x6786 
24.80/24.93	v ~x5940 ~x5094 ~x4248 ~x3946 ~x3100 x2254 x1408 ~x562 ~x7633 ~x6787 
24.80/24.93	v ~x5941 ~x5095 ~x4249 ~x3947 x3101 ~x2255 ~x1409 ~x563 ~x7634 ~x6788 
24.80/24.93	v ~x5942 ~x5096 ~x4250 ~x3948 ~x3102 ~x2256 ~x1410 x564 ~x7635 ~x6789 
24.80/24.93	v ~x5943 ~x5097 ~x4251 ~x3949 ~x3103 x2257 ~x1411 x565 ~x7636 x6790 
24.80/24.93	v ~x5944 ~x5098 ~x4252 ~x3950 ~x3104 ~x2258 x1412 ~x566 ~x7637 x6791 
24.80/24.93	v ~x5945 ~x5099 ~x4253 ~x3951 x3105 x2259 ~x1413 ~x567 ~x7638 ~x6792 
24.80/24.93	v ~x5946 ~x5100 ~x4254 ~x3952 ~x3106 x2260 ~x1414 x568 ~x7639 ~x6793 
24.80/24.93	v ~x5947 ~x5101 ~x4255 ~x3953 ~x3107 ~x2261 x1415 ~x569 ~x7640 ~x6794 
24.80/24.93	v ~x5948 ~x5102 ~x4256 ~x3954 ~x3108 x2262 ~x1416 x570 ~x7641 ~x6795 
24.80/24.93	v ~x5949 ~x5103 ~x4257 ~x3955 x3109 x2263 x1417 ~x571 ~x7642 ~x6796 
24.80/24.93	v ~x5950 ~x5104 ~x4258 ~x3956 x3110 x2264 ~x1418 ~x572 ~x7643 x6797 
24.80/24.93	v ~x5951 ~x5105 ~x4259 ~x3957 ~x3111 ~x2265 x1419 ~x573 ~x7644 x6798 
24.80/24.93	v ~x5952 ~x5106 ~x4260 ~x3958 ~x3112 ~x2266 ~x1420 ~x574 ~x7645 x6799 
24.80/24.94	v x5953 ~x5107 ~x4261 ~x3959 x3113 ~x2267 x1421 x575 ~x7646 x6800 
24.80/24.94	v ~x5954 ~x5108 ~x4262 ~x3960 ~x3114 ~x2268 ~x1422 ~x576 ~x7647 x6801 
24.80/24.94	v x5955 ~x5109 ~x4263 ~x3961 ~x3115 ~x2269 ~x1423 ~x577 ~x7648 x6802 
24.80/24.94	v ~x5956 ~x5110 ~x4264 ~x3962 x3116 x2270 ~x1424 ~x578 ~x7649 x6803 
24.80/24.94	v ~x5957 ~x5111 ~x4265 ~x3963 x3117 x2271 ~x1425 ~x579 ~x7650 x6804 
24.80/24.94	v ~x5958 ~x5112 ~x4266 ~x3964 ~x3118 x2272 ~x1426 ~x580 ~x7651 x6805 
24.80/24.94	v ~x5959 ~x5113 ~x4267 ~x3965 ~x3119 x2273 ~x1427 ~x581 ~x7652 ~x6806 
24.80/24.94	v ~x5960 ~x5114 ~x4268 ~x3966 ~x3120 x2274 x1428 ~x582 ~x7653 x6807 
24.80/24.94	v ~x5961 ~x5115 ~x4269 ~x3967 ~x3121 x2275 x1429 ~x583 ~x7654 ~x6808 
24.80/24.94	v ~x5962 ~x5116 ~x4270 ~x3968 x3122 ~x2276 ~x1430 ~x584 ~x7655 ~x6809 
24.80/24.94	v ~x5963 ~x5117 ~x4271 ~x3969 ~x3123 ~x2277 ~x1431 ~x585 ~x7656 ~x6810 
24.80/24.94	v ~x5964 ~x5118 ~x4272 ~x3970 ~x3124 ~x2278 ~x1432 ~x586 ~x7657 ~x6811 
24.80/24.94	v ~x5965 ~x5119 ~x4273 ~x3971 ~x3125 ~x2279 x1433 ~x587 ~x7658 ~x6812 
24.80/24.94	v ~x5966 ~x5120 ~x4274 ~x3972 ~x3126 ~x2280 ~x1434 ~x588 ~x7659 ~x6813 
24.80/24.94	v ~x5967 ~x5121 ~x4275 ~x3973 ~x3127 x2281 ~x1435 x589 ~x7660 ~x6814 
24.80/24.94	v ~x5968 x5122 ~x4276 ~x3974 ~x3128 x2282 ~x1436 ~x590 ~x7661 x6815 
24.80/24.94	v ~x5969 ~x5123 ~x4277 ~x3975 x3129 ~x2283 ~x1437 ~x591 ~x7662 x6816 
24.80/24.94	v ~x5970 ~x5124 ~x4278 ~x3976 x3130 x2284 ~x1438 x592 ~x7663 x6817 
24.80/24.94	v ~x5971 ~x5125 ~x4279 ~x3977 ~x3131 x2285 ~x1439 ~x593 ~x7664 x6818 
24.80/24.94	v ~x5972 x5126 ~x4280 ~x3978 ~x3132 ~x2286 ~x1440 x594 ~x7665 ~x6819 
24.80/24.94	v ~x5973 ~x5127 ~x4281 ~x3979 x3133 x2287 ~x1441 ~x595 ~x7666 ~x6820 
24.80/24.94	v ~x5974 ~x5128 ~x4282 ~x3980 x3134 ~x2288 ~x1442 ~x596 ~x7667 ~x6821 
24.80/24.94	v ~x5975 ~x5129 ~x4283 ~x3981 x3135 ~x2289 x1443 ~x597 ~x7668 ~x6822 
24.80/24.94	v ~x5976 ~x5130 ~x4284 ~x3982 ~x3136 x2290 ~x1444 x598 ~x7669 ~x6823 
24.80/24.94	v ~x5977 ~x5131 ~x4285 ~x3983 ~x3137 ~x2291 ~x1445 x599 ~x7670 x6824 
24.80/24.94	v ~x5978 ~x5132 ~x4286 ~x3984 ~x3138 ~x2292 ~x1446 ~x600 ~x7671 x6825 
24.80/24.94	v x5979 ~x5133 ~x4287 ~x3985 x3139 ~x2293 ~x1447 x601 ~x7672 x6826 
24.80/24.94	v ~x5980 ~x5134 ~x4288 ~x3986 ~x3140 ~x2294 ~x1448 x602 x7673 ~x6827 
24.80/24.94	v ~x5981 ~x5135 ~x4289 ~x3987 ~x3141 ~x2295 ~x1449 ~x603 ~x7674 x6828 
24.80/24.94	v ~x5982 ~x5136 ~x4290 ~x3988 ~x3142 x2296 ~x1450 ~x604 ~x7675 x6829 
24.80/24.94	v ~x5983 x5137 ~x4291 ~x3989 ~x3143 ~x2297 ~x1451 ~x605 ~x7676 x6830 
24.80/24.94	v ~x5984 ~x5138 ~x4292 ~x3990 ~x3144 ~x2298 x1452 x606 ~x7677 ~x6831 
24.80/24.94	v ~x5985 x5139 ~x4293 ~x3991 x3145 x2299 x1453 ~x607 x7678 ~x6832 
24.80/24.94	v ~x5986 ~x5140 ~x4294 ~x3992 ~x3146 ~x2300 ~x1454 ~x608 x7679 ~x6833 
24.80/24.94	v ~x5987 ~x5141 ~x4295 ~x3993 ~x3147 x2301 ~x1455 ~x609 x7680 x6834 
24.80/24.94	v ~x5988 ~x5142 ~x4296 ~x3994 x3148 ~x2302 ~x1456 ~x610 ~x7681 ~x6835 
24.80/24.94	v ~x5989 ~x5143 ~x4297 ~x3995 ~x3149 x2303 x1457 x611 ~x7682 ~x6836 
24.80/24.94	v ~x5990 ~x5144 ~x4298 ~x3996 x3150 ~x2304 ~x1458 ~x612 ~x7683 x6837 
24.80/24.94	v ~x5991 ~x5145 ~x4299 ~x3997 ~x3151 ~x2305 x1459 ~x613 ~x7684 x6838 
24.80/24.94	v ~x5992 ~x5146 ~x4300 ~x3998 x3152 x2306 ~x1460 ~x614 ~x7685 x6839 
24.80/24.94	v ~x5993 ~x5147 ~x4301 ~x3999 ~x3153 ~x2307 ~x1461 ~x615 ~x7686 ~x6840 
24.80/24.94	v ~x5994 ~x5148 ~x4302 ~x4000 ~x3154 x2308 x1462 ~x616 ~x7687 ~x6841 
24.80/24.94	v ~x5995 ~x5149 ~x4303 ~x4001 x3155 ~x2309 ~x1463 ~x617 x7688 ~x6842 
24.80/24.94	v ~x5996 ~x5150 ~x4304 ~x4002 ~x3156 x2310 ~x1464 ~x618 ~x7689 ~x6843 
24.80/24.94	v ~x5997 ~x5151 ~x4305 ~x4003 ~x3157 x2311 x1465 ~x619 ~x7690 ~x6844 
24.80/24.94	v ~x5998 ~x5152 ~x4306 ~x4004 x3158 x2312 x1466 ~x620 ~x7691 ~x6845 
24.80/24.94	v ~x5999 ~x5153 ~x4307 ~x4005 ~x3159 ~x2313 ~x1467 ~x621 ~x7692 x6846 
24.80/24.94	v ~x6000 ~x5154 ~x4308 ~x4006 x3160 ~x2314 ~x1468 x622 ~x7693 x6847 
24.80/24.94	v ~x6001 ~x5155 ~x4309 ~x4007 ~x3161 ~x2315 x1469 ~x623 x7694 ~x6848 
24.80/24.94	v ~x6002 ~x5156 ~x4310 ~x4008 ~x3162 x2316 ~x1470 ~x624 x7695 x6849 
24.80/24.94	v ~x6003 ~x5157 ~x4311 ~x4009 ~x3163 x2317 x1471 ~x625 ~x7696 x6850 
24.80/24.94	v ~x6004 ~x5158 ~x4312 ~x4010 x3164 ~x2318 x1472 ~x626 x7697 ~x6851 
24.80/24.94	v ~x6005 ~x5159 ~x4313 ~x4011 ~x3165 x2319 ~x1473 ~x627 x7698 ~x6852 
24.80/24.94	v ~x6006 ~x5160 ~x4314 ~x4012 ~x3166 ~x2320 x1474 ~x628 x7699 ~x6853 
24.80/24.94	v ~x6007 ~x5161 ~x4315 ~x4013 ~x3167 ~x2321 x1475 x629 x7700 ~x6854 
24.80/24.94	v ~x6008 ~x5162 ~x4316 ~x4014 ~x3168 x2322 ~x1476 ~x630 x7701 x6855 
24.80/24.94	v ~x6009 ~x5163 ~x4317 ~x4015 ~x3169 x2323 x1477 ~x631 ~x7702 ~x6856 
24.80/24.94	v ~x6010 ~x5164 ~x4318 ~x4016 ~x3170 x2324 x1478 x632 ~x7703 ~x6857 
24.80/24.94	v ~x6011 ~x5165 ~x4319 ~x4017 x3171 x2325 x1479 ~x633 x7704 ~x6858 
24.80/24.94	v ~x6012 ~x5166 ~x4320 ~x4018 ~x3172 x2326 ~x1480 ~x634 ~x7705 ~x6859 
24.80/24.94	v ~x6013 ~x5167 ~x4321 ~x4019 x3173 ~x2327 ~x1481 x635 x7706 ~x6860 
24.80/24.94	v ~x6014 ~x5168 ~x4322 ~x4020 x3174 x2328 x1482 ~x636 ~x7707 ~x6861 
24.80/24.94	v ~x6015 ~x5169 ~x4323 ~x4021 ~x3175 ~x2329 ~x1483 ~x637 x7708 ~x6862 
24.80/24.94	v ~x6016 ~x5170 ~x4324 ~x4022 ~x3176 ~x2330 ~x1484 ~x638 ~x7709 ~x6863 
24.80/24.94	v ~x6017 ~x5171 ~x4325 ~x4023 ~x3177 ~x2331 x1485 x639 x7710 ~x6864 
24.80/24.94	v ~x6018 ~x5172 ~x4326 ~x4024 x3178 ~x2332 x1486 ~x640 ~x7711 ~x6865 
24.80/24.94	v ~x6019 ~x5173 ~x4327 ~x4025 ~x3179 x2333 ~x1487 ~x641 x7712 ~x6866 
24.80/24.94	v ~x6020 ~x5174 x4328 ~x4026 x3180 x2334 x1488 x642 ~x7713 ~x6867 
24.80/24.94	v ~x6021 ~x5175 ~x4329 ~x4027 ~x3181 ~x2335 ~x1489 x643 ~x7714 ~x6868 
24.80/24.94	v ~x6022 ~x5176 ~x4330 ~x4028 ~x3182 ~x2336 x1490 ~x644 ~x7715 ~x6869 
24.80/24.94	v ~x6023 x5177 ~x4331 ~x4029 ~x3183 ~x2337 ~x1491 ~x645 ~x7716 x6870 
24.80/24.94	v ~x6024 ~x5178 ~x4332 ~x4030 x3184 x2338 x1492 ~x646 ~x7717 x6871 
24.80/24.94	v ~x6025 ~x5179 ~x4333 ~x4031 ~x3185 ~x2339 ~x1493 ~x647 ~x7718 ~x6872 
24.80/24.94	v ~x6026 ~x5180 ~x4334 ~x4032 ~x3186 ~x2340 ~x1494 x648 x7719 ~x6873 
24.80/24.94	v ~x6027 ~x5181 ~x4335 ~x4033 x3187 ~x2341 ~x1495 ~x649 ~x7720 ~x6874 
24.80/24.94	v ~x6028 ~x5182 ~x4336 ~x4034 x3188 ~x2342 x1496 ~x650 ~x7721 ~x6875 
24.80/24.94	v ~x6029 ~x5183 ~x4337 ~x4035 x3189 ~x2343 x1497 ~x651 ~x7722 ~x6876 
24.80/24.94	v ~x6030 ~x5184 ~x4338 ~x4036 ~x3190 ~x2344 ~x1498 ~x652 x7723 ~x6877 
24.80/24.94	v ~x6031 ~x5185 ~x4339 ~x4037 ~x3191 ~x2345 ~x1499 ~x653 ~x7724 ~x6878 
24.80/24.94	v ~x6032 ~x5186 ~x4340 ~x4038 x3192 ~x2346 ~x1500 x654 ~x7725 ~x6879 
24.80/24.94	v ~x6033 ~x5187 ~x4341 ~x4039 ~x3193 ~x2347 ~x1501 ~x655 ~x7726 ~x6880 
24.80/24.94	v ~x6034 ~x5188 ~x4342 ~x4040 x3194 ~x2348 ~x1502 ~x656 ~x7727 ~x6881 
24.80/24.94	v ~x6035 ~x5189 ~x4343 ~x4041 ~x3195 x2349 x1503 x657 x7728 ~x6882 
24.80/24.94	v ~x6036 ~x5190 ~x4344 ~x4042 x3196 ~x2350 ~x1504 ~x658 ~x7729 ~x6883 
24.80/24.94	v ~x6037 ~x5191 ~x4345 ~x4043 ~x3197 x2351 ~x1505 ~x659 ~x7730 x6884 
24.80/24.94	v ~x6038 ~x5192 ~x4346 ~x4044 x3198 ~x2352 ~x1506 ~x660 x7731 x6885 
24.80/24.94	v ~x6039 ~x5193 ~x4347 ~x4045 ~x3199 x2353 x1507 x661 ~x7732 x6886 
24.80/24.94	v ~x6040 ~x5194 ~x4348 ~x4046 x3200 x2354 ~x1508 ~x662 ~x7733 ~x6887 
24.80/24.94	v ~x6041 ~x5195 ~x4349 ~x4047 ~x3201 ~x2355 x1509 x663 ~x7734 x6888 
24.80/24.94	v ~x6042 ~x5196 ~x4350 ~x4048 ~x3202 ~x2356 x1510 ~x664 ~x7735 x6889 
24.80/24.94	v ~x6043 ~x5197 ~x4351 ~x4049 x3203 ~x2357 ~x1511 ~x665 ~x7736 x6890 
24.80/24.94	v ~x6044 ~x5198 ~x4352 ~x4050 x3204 ~x2358 ~x1512 ~x666 x7737 x6891 
24.80/24.94	v ~x6045 ~x5199 ~x4353 ~x4051 ~x3205 ~x2359 x1513 x667 x7738 ~x6892 
24.80/24.94	v ~x6046 ~x5200 ~x4354 ~x4052 ~x3206 x2360 ~x1514 ~x668 x7739 x6893 
24.80/24.94	v ~x6047 ~x5201 ~x4355 ~x4053 ~x3207 x2361 x1515 ~x669 x7740 ~x6894 
24.80/24.94	v ~x6048 ~x5202 ~x4356 ~x4054 x3208 ~x2362 ~x1516 ~x670 x7741 ~x6895 
24.80/24.94	v x6049 ~x5203 ~x4357 ~x4055 x3209 ~x2363 ~x1517 ~x671 x7742 ~x6896 
24.80/24.94	v ~x6050 ~x5204 ~x4358 ~x4056 ~x3210 ~x2364 ~x1518 ~x672 x7743 ~x6897 
24.80/24.94	v ~x6051 ~x5205 ~x4359 ~x4057 ~x3211 ~x2365 ~x1519 x673 x7744 ~x6898 
24.80/24.94	v ~x6052 ~x5206 ~x4360 ~x4058 ~x3212 ~x2366 x1520 ~x674 ~x7745 ~x6899 
24.80/24.94	v ~x6053 ~x5207 ~x4361 ~x4059 ~x3213 ~x2367 x1521 x675 ~x7746 ~x6900 
24.80/24.94	v ~x6054 ~x5208 ~x4362 ~x4060 ~x3214 ~x2368 ~x1522 ~x676 x7747 ~x6901 
24.80/24.94	v ~x6055 ~x5209 ~x4363 ~x4061 ~x3215 x2369 x1523 x677 x7748 ~x6902 
24.80/24.94	v ~x6056 ~x5210 ~x4364 ~x4062 x3216 ~x2370 ~x1524 ~x678 x7749 x6903 
24.80/24.94	v ~x6057 ~x5211 ~x4365 ~x4063 x3217 ~x2371 ~x1525 ~x679 ~x7750 x6904 
24.80/24.94	v ~x6058 ~x5212 ~x4366 ~x4064 x3218 x2372 x1526 x680 x7751 ~x6905 
24.80/24.94	v ~x6059 ~x5213 ~x4367 ~x4065 x3219 x2373 x1527 x681 x7752 x6906 
24.80/24.94	v ~x6060 ~x5214 ~x4368 ~x4066 ~x3220 ~x2374 ~x1528 ~x682 ~x7753 x6907 
24.80/24.94	v ~x6061 ~x5215 ~x4369 ~x4067 ~x3221 ~x2375 x1529 x683 x7754 x6908 
24.80/24.94	v ~x6062 ~x5216 ~x4370 ~x4068 ~x3222 ~x2376 ~x1530 ~x684 x7755 ~x6909 
24.80/24.94	v ~x6063 ~x5217 ~x4371 ~x4069 ~x3223 ~x2377 x1531 x685 ~x7756 x6910 
24.80/24.94	v ~x6064 ~x5218 ~x4372 ~x4070 ~x3224 ~x2378 ~x1532 ~x686 x7757 x6911 
24.80/24.94	v ~x6065 ~x5219 ~x4373 ~x4071 ~x3225 ~x2379 ~x1533 ~x687 x7758 x6912 
24.80/24.94	v ~x6066 ~x5220 ~x4374 ~x4072 ~x3226 ~x2380 x1534 ~x688 x7759 x6913 
24.80/24.94	v ~x6067 ~x5221 ~x4375 ~x4073 ~x3227 ~x2381 x1535 x689 x7760 ~x6914 
24.80/24.94	v ~x6068 ~x5222 ~x4376 ~x4074 ~x3228 ~x2382 x1536 x690 ~x7761 ~x6915 
24.80/24.94	v ~x6069 ~x5223 ~x4377 ~x4075 x3229 ~x2383 x1537 ~x691 x7762 x6916 
24.80/24.94	v ~x6070 ~x5224 ~x4378 ~x4076 x3230 ~x2384 ~x1538 x692 ~x7763 x6917 
24.80/24.94	v ~x6071 ~x5225 ~x4379 ~x4077 ~x3231 ~x2385 ~x1539 ~x693 x7764 x6918 
24.80/24.94	v ~x6072 ~x5226 ~x4380 ~x4078 x3232 ~x2386 x1540 ~x694 ~x7765 x6919 
24.80/24.94	v ~x6073 ~x5227 ~x4381 ~x4079 ~x3233 ~x2387 x1541 ~x695 x7766 x6920 
24.80/24.94	v ~x6074 ~x5228 ~x4382 ~x4080 ~x3234 x2388 x1542 ~x696 ~x7767 x6921 
24.80/24.94	v ~x6075 ~x5229 ~x4383 ~x4081 x3235 ~x2389 ~x1543 x697 ~x7768 x6922 
24.80/24.94	v ~x6076 ~x5230 ~x4384 ~x4082 x3236 x2390 ~x1544 ~x698 x7769 ~x6923 
24.80/24.94	v ~x6077 ~x5231 ~x4385 ~x4083 ~x3237 ~x2391 ~x1545 ~x699 x7770 x6924 
24.80/24.94	v ~x6078 ~x5232 ~x4386 ~x4084 x3238 ~x2392 ~x1546 x700 ~x7771 x6925 
24.80/24.94	v ~x6079 ~x5233 ~x4387 ~x4085 ~x3239 ~x2393 ~x1547 x701 x7772 ~x6926 
24.80/24.94	v ~x6080 ~x5234 ~x4388 ~x4086 ~x3240 ~x2394 ~x1548 x702 ~x7773 x6927 
24.80/24.94	v ~x6081 ~x5235 ~x4389 ~x4087 x3241 x2395 x1549 x703 x7774 x6928 
24.80/24.94	v ~x6082 ~x5236 ~x4390 ~x4088 ~x3242 ~x2396 x1550 x704 x7775 x6929 
24.80/24.94	v ~x6083 ~x5237 ~x4391 ~x4089 ~x3243 x2397 ~x1551 x705 x7776 x6930 
24.80/24.94	v ~x6084 ~x5238 ~x4392 ~x4090 ~x3244 ~x2398 ~x1552 ~x706 x7777 x6931 
24.80/24.94	v ~x6085 ~x5239 ~x4393 ~x4091 x3245 x2399 ~x1553 x707 x7778 ~x6932 
24.80/24.94	v ~x6086 ~x5240 ~x4394 ~x4092 ~x3246 x2400 x1554 ~x708 x7779 ~x6933 
24.80/24.94	v ~x6087 ~x5241 ~x4395 ~x4093 ~x3247 x2401 x1555 ~x709 x7780 x6934 
24.80/24.94	v ~x6088 ~x5242 ~x4396 ~x4094 ~x3248 ~x2402 ~x1556 x710 x7781 ~x6935 
24.80/24.94	v ~x6089 ~x5243 ~x4397 ~x4095 ~x3249 ~x2403 x1557 ~x711 x7782 ~x6936 
24.80/24.94	v ~x6090 ~x5244 ~x4398 ~x4096 x3250 x2404 x1558 x712 x7783 x6937 
24.80/24.94	v ~x6091 ~x5245 ~x4399 ~x4097 x3251 x2405 ~x1559 x713 ~x7784 x6938 
24.80/24.94	v ~x6092 ~x5246 ~x4400 ~x4098 ~x3252 ~x2406 ~x1560 ~x714 x7785 x6939 
24.80/24.94	v ~x6093 ~x5247 ~x4401 ~x4099 ~x3253 x2407 x1561 ~x715 x7786 x6940 
24.80/24.94	v ~x6094 ~x5248 ~x4402 ~x4100 x3254 ~x2408 ~x1562 ~x716 x7787 x6941 
24.80/24.94	v ~x6095 ~x5249 ~x4403 ~x4101 ~x3255 x2409 ~x1563 ~x717 x7788 x6942 
24.80/24.94	v ~x6096 ~x5250 ~x4404 ~x4102 ~x3256 x2410 x1564 x718 x7789 ~x6943 
24.80/24.94	v ~x6097 ~x5251 ~x4405 ~x4103 ~x3257 ~x2411 ~x1565 ~x719 ~x7790 x6944 
24.80/24.94	v ~x6098 ~x5252 ~x4406 ~x4104 ~x3258 ~x2412 ~x1566 x720 x7791 x6945 
24.80/24.94	v ~x6099 ~x5253 ~x4407 ~x4105 ~x3259 x2413 x1567 ~x721 ~x7792 x6946 
24.80/24.94	v ~x6100 ~x5254 ~x4408 ~x4106 ~x3260 ~x2414 ~x1568 ~x722 ~x7793 x6947 
24.80/24.94	v ~x6101 ~x5255 ~x4409 ~x4107 ~x3261 x2415 x1569 x723 ~x7794 ~x6948 
24.80/24.94	v ~x6102 ~x5256 ~x4410 ~x4108 ~x3262 x2416 ~x1570 ~x724 ~x7795 x6949 
24.80/24.94	v ~x6103 ~x5257 ~x4411 ~x4109 ~x3263 ~x2417 ~x1571 x725 ~x7796 x6950 
24.80/24.94	v ~x6104 ~x5258 ~x4412 ~x4110 ~x3264 ~x2418 ~x1572 ~x726 x7797 ~x6951 
24.80/24.94	v ~x6105 ~x5259 ~x4413 ~x4111 ~x3265 x2419 ~x1573 x727 x7798 x6952 
24.80/24.94	v ~x6106 ~x5260 ~x4414 ~x4112 ~x3266 ~x2420 ~x1574 x728 x7799 ~x6953 
24.80/24.94	v ~x6107 ~x5261 ~x4415 ~x4113 x3267 x2421 ~x1575 ~x729 ~x7800 x6954 
24.80/24.94	v x6108 ~x5262 ~x4416 ~x4114 x3268 ~x2422 ~x1576 x730 ~x7801 x6955 
24.80/24.94	v ~x6109 ~x5263 ~x4417 ~x4115 ~x3269 x2423 ~x1577 ~x731 ~x7802 ~x6956 
24.80/24.94	v ~x6110 ~x5264 ~x4418 ~x4116 ~x3270 ~x2424 ~x1578 x732 x7803 ~x6957 
24.80/24.94	v ~x6111 ~x5265 ~x4419 ~x4117 ~x3271 x2425 x1579 ~x733 x7804 x6958 
24.80/24.94	v ~x6112 ~x5266 ~x4420 ~x4118 ~x3272 ~x2426 ~x1580 ~x734 ~x7805 ~x6959 
24.80/24.94	v ~x6113 ~x5267 ~x4421 ~x4119 ~x3273 x2427 ~x1581 ~x735 ~x7806 x6960 
24.80/24.94	v ~x6114 x5268 ~x4422 ~x4120 x3274 ~x2428 ~x1582 x736 ~x7807 x6961 
24.80/24.94	v ~x6115 ~x5269 ~x4423 ~x4121 ~x3275 x2429 ~x1583 x737 ~x7808 x6962 
24.80/24.94	v ~x6116 ~x5270 ~x4424 ~x4122 ~x3276 ~x2430 ~x1584 ~x738 ~x7809 x6963 
24.80/24.94	v ~x6117 ~x5271 ~x4425 ~x4123 ~x3277 ~x2431 ~x1585 ~x739 ~x7810 x6964 
24.80/24.94	v ~x6118 ~x5272 ~x4426 ~x4124 x3278 x2432 x1586 ~x740 ~x7811 ~x6965 
24.80/24.94	v ~x6119 ~x5273 ~x4427 ~x4125 ~x3279 x2433 ~x1587 ~x741 ~x7812 x6966 
24.80/24.94	v ~x6120 x5274 ~x4428 ~x4126 ~x3280 ~x2434 ~x1588 ~x742 ~x7813 x6967 
24.80/24.94	v ~x6121 ~x5275 ~x4429 ~x4127 ~x3281 x2435 ~x1589 ~x743 ~x7814 ~x6968 
24.80/24.94	v ~x6122 ~x5276 ~x4430 ~x4128 ~x3282 ~x2436 ~x1590 ~x744 ~x7815 x6969 
24.80/24.94	v ~x6123 ~x5277 ~x4431 ~x4129 ~x3283 x2437 ~x1591 ~x745 x7816 x6970 
24.80/24.94	v ~x6124 ~x5278 ~x4432 ~x4130 ~x3284 ~x2438 ~x1592 x746 ~x7817 x6971 
24.80/24.94	v ~x6125 ~x5279 ~x4433 x4131 x3285 ~x2439 ~x1593 ~x747 ~x7818 ~x6972 
24.80/24.94	v ~x6126 ~x5280 ~x4434 ~x3286 x2440 ~x1594 ~x748 x7819 x6973 ~x6127 
24.80/24.94	v ~x5281 ~x4435 ~x3287 ~x2441 ~x1595 ~x749 ~x7820 x6974 ~x6128 ~x5282 
24.80/24.94	v ~x4436 x3288 ~x2442 ~x1596 ~x750 x7821 x6975 ~x6129 ~x5283 ~x4437 
24.80/24.94	v ~x3289 ~x2443 ~x1597 x751 ~x7822 x6976 ~x6130 ~x5284 ~x4438 x3290 
24.80/24.94	v ~x2444 ~x1598 ~x752 ~x7823 x6977 ~x6131 ~x5285 ~x4439 ~x3291 x2445 
24.80/24.94	v ~x1599 ~x753 ~x7824 x6978 ~x6132 ~x5286 ~x4440 x3292 ~x2446 ~x1600 
24.80/24.94	v ~x754 ~x7825 x6979 ~x6133 ~x5287 ~x4441 ~x3293 x2447 ~x1601 ~x755 
24.80/24.94	v x7826 x6980 ~x6134 ~x5288 ~x4442 x3294 ~x2448 ~x1602 ~x756 ~x7827 
24.80/24.94	v ~x6981 ~x6135 ~x5289 ~x4443 x3295 x2449 ~x1603 x757 ~x7828 ~x6982 
24.80/24.94	v ~x6136 ~x5290 ~x4444 ~x3296 ~x2450 ~x1604 ~x758 ~x7829 ~x6983 ~x6137 
24.80/24.94	v ~x5291 ~x4445 x3297 ~x2451 x1605 ~x759 ~x7830 x6984 ~x6138 ~x5292 
24.80/24.94	v ~x4446 ~x3298 ~x2452 ~x1606 ~x760 ~x7831 ~x6985 ~x6139 ~x5293 ~x4447 
24.80/24.94	v ~x3299 ~x2453 x1607 ~x761 x7832 x6986 ~x6140 ~x5294 ~x4448 x3300 
24.80/24.94	v ~x2454 ~x1608 ~x762 ~x7833 ~x6987 ~x6141 ~x5295 ~x4449 ~x3301 x2455 
24.80/24.94	v x1609 ~x763 x7834 x6988 ~x6142 ~x5296 ~x4450 ~x3302 ~x2456 ~x1610 
24.80/24.94	v x764 x7835 ~x6989 ~x6143 x5297 ~x4451 ~x3303 ~x2457 ~x1611 ~x765 
24.80/24.94	v ~x7836 ~x6990 ~x6144 ~x5298 ~x4452 ~x3304 ~x2458 x1612 ~x766 x7837 
24.80/24.94	v ~x6991 ~x6145 ~x5299 ~x4453 x3305 ~x2459 x1613 x767 ~x7838 x6992 
24.80/24.94	v ~x6146 ~x5300 ~x4454 ~x3306 x2460 ~x1614 ~x768 x7839 ~x6993 ~x6147 
24.80/24.94	v x5301 ~x4455 x3307 ~x2461 x1615 x769 ~x7840 ~x6994 ~x6148 x5302 
24.80/24.94	v ~x4456 ~x3308 ~x2462 x1616 ~x770 x7841 x6995 ~x6149 ~x5303 ~x4457 
24.80/24.94	v x3309 ~x2463 x1617 x771 x7842 ~x6996 ~x6150 ~x5304 ~x4458 ~x3310 
24.80/24.94	v ~x2464 x1618 x772 x7843 x6997 ~x6151 ~x5305 ~x4459 ~x3311 ~x2465 
24.80/24.94	v x1619 x773 ~x7844 x6998 ~x6152 ~x5306 ~x4460 x3312 x2466 ~x1620 
24.80/24.94	v ~x774 ~x7845 ~x6999 ~x6153 ~x5307 ~x4461 ~x3313 x2467 x1621 ~x775 
24.80/24.94	v ~x7846 ~x7000 ~x6154 ~x5308 ~x4462 x3314 ~x2468 ~x1622 x776 ~x7847 
24.80/24.94	v ~x7001 ~x6155 ~x5309 ~x4463 ~x3315 x2469 x1623 ~x777 ~x7848 ~x7002 
24.80/24.94	v ~x6156 ~x5310 ~x4464 x3316 ~x2470 x1624 ~x778 x7849 ~x7003 ~x6157 
24.80/24.94	v ~x5311 ~x4465 ~x3317 x2471 ~x1625 ~x779 x7850 ~x7004 ~x6158 ~x5312 
24.80/24.94	v ~x4466 ~x3318 x2472 ~x1626 ~x780 ~x7851 ~x7005 ~x6159 ~x5313 ~x4467 
24.80/24.94	v x3319 ~x2473 x1627 x781 ~x7852 ~x7006 ~x6160 ~x5314 ~x4468 ~x3320 
24.80/24.94	v ~x2474 x1628 x782 x7853 x7007 ~x6161 x5315 ~x4469 ~x3321 ~x2475 
24.80/24.94	v x1629 ~x783 ~x7854 ~x7008 ~x6162 x5316 ~x4470 ~x3322 ~x2476 x1630 
24.80/24.94	v ~x784 ~x7855 x7009 ~x6163 ~x5317 ~x4471 x3323 x2477 x1631 ~x785 
24.80/24.94	v x7856 x7010 ~x6164 x5318 ~x4472 ~x3324 ~x2478 x1632 ~x786 x7857 
24.80/24.94	v x7011 ~x6165 ~x5319 ~x4473 ~x3325 ~x2479 x1633 ~x787 x7858 x7012 
24.80/24.94	v ~x6166 ~x5320 ~x4474 ~x3326 ~x2480 x1634 ~x788 x7859 x7013 ~x6167 
24.80/24.94	v ~x5321 ~x4475 x3327 ~x2481 x1635 ~x789 x7860 x7014 ~x6168 ~x5322 
24.80/24.94	v ~x4476 ~x3328 x2482 ~x1636 ~x790 x7861 x7015 ~x6169 ~x5323 ~x4477 
24.80/24.94	v ~x3329 ~x2483 ~x1637 ~x791 ~x7862 ~x7016 ~x6170 ~x5324 ~x4478 ~x3330 
24.80/24.94	v x2484 x1638 x792 ~x7863 ~x7017 ~x6171 ~x5325 ~x4479 ~x3331 x2485 
24.80/24.94	v x1639 ~x793 x7864 x7018 ~x6172 ~x5326 ~x4480 x3332 ~x2486 ~x1640 
24.80/24.94	v x794 x7865 x7019 ~x6173 x5327 ~x4481 ~x3333 ~x2487 x1641 x795 
24.80/24.94	v ~x7866 x7020 ~x6174 ~x5328 ~x4482 ~x3334 x2488 x1642 ~x796 ~x7867 
24.80/24.94	v ~x7021 ~x6175 ~x5329 ~x4483 x3335 ~x2489 ~x1643 ~x797 ~x7868 x7022 
24.80/24.94	v ~x6176 ~x5330 ~x4484 ~x3336 ~x2490 x1644 x798 ~x7869 ~x7023 ~x6177 
24.80/24.94	v ~x5331 ~x4485 x3337 ~x2491 ~x1645 ~x799 ~x7870 ~x7024 ~x6178 ~x5332 
24.80/24.94	v ~x4486 ~x3338 ~x2492 x1646 ~x800 ~x7871 ~x7025 ~x6179 ~x5333 ~x4487 
24.80/24.94	v x3339 ~x2493 ~x1647 ~x801 ~x7872 x7026 ~x6180 ~x5334 ~x4488 ~x3340 
24.80/24.94	v ~x2494 x1648 ~x802 ~x7873 ~x7027 ~x6181 ~x5335 ~x4489 x3341 x2495 
24.80/24.94	v x1649 ~x803 ~x7874 ~x7028 ~x6182 ~x5336 ~x4490 ~x3342 ~x2496 ~x1650 
24.80/24.94	v x804 ~x7875 ~x7029 ~x6183 ~x5337 ~x4491 ~x3343 x2497 ~x1651 x805 
24.80/24.94	v ~x7876 ~x7030 ~x6184 ~x5338 ~x4492 ~x3344 ~x2498 x1652 x806 ~x7877 
24.80/24.94	v ~x7031 ~x6185 x5339 ~x4493 ~x3345 x2499 x1653 ~x807 ~x7878 ~x7032 
24.80/24.94	v ~x6186 x5340 ~x4494 ~x3346 ~x2500 ~x1654 x808 x7879 ~x7033 ~x6187 
24.80/24.94	v ~x5341 ~x4495 ~x3347 x2501 x1655 x809 ~x7880 x7034 ~x6188 ~x5342 
24.80/24.94	v ~x4496 x3348 x2502 ~x1656 ~x810 ~x7881 ~x7035 ~x6189 ~x5343 ~x4497 
24.80/24.94	v ~x3349 ~x2503 ~x1657 ~x811 ~x7882 ~x7036 ~x6190 ~x5344 ~x4498 ~x3350 
24.80/24.94	v x2504 ~x1658 ~x812 x7883 ~x7037 ~x6191 ~x5345 ~x4499 x3351 ~x2505 
24.80/24.94	v x1659 x813 x7884 ~x7038 ~x6192 ~x5346 ~x4500 ~x3352 x2506 ~x1660 
24.80/24.94	v ~x814 x7885 ~x7039 ~x6193 ~x5347 ~x4501 ~x3353 x2507 x1661 ~x815 
24.80/24.94	v ~x7886 x7040 x6194 ~x5348 ~x4502 x3354 x2508 ~x1662 ~x816 ~x7887 
24.80/24.94	v x7041 ~x6195 ~x5349 ~x4503 x3355 ~x2509 x1663 ~x817 x7888 x7042 
24.80/24.94	v ~x6196 ~x5350 ~x4504 ~x3356 ~x2510 ~x1664 x818 x7889 x7043 ~x6197 
24.80/24.94	v ~x5351 ~x4505 ~x3357 x2511 ~x1665 ~x819 ~x7890 ~x7044 ~x6198 ~x5352 
24.80/24.94	v ~x4506 ~x3358 ~x2512 ~x1666 ~x820 ~x7891 ~x7045 ~x6199 ~x5353 ~x4507 
24.80/24.94	v ~x3359 x2513 ~x1667 x821 ~x7892 x7046 ~x6200 x5354 x4508 x3360 
24.80/24.94	v ~x2514 x1668 ~x822 ~x7893 ~x7047 ~x6201 x5355 ~x4509 ~x3361 x2515 
24.80/24.94	v x1669 x823 ~x7894 x7048 ~x6202 x5356 ~x4510 ~x3362 ~x2516 ~x1670 
24.80/24.94	v ~x824 ~x7895 x7049 ~x6203 ~x5357 ~x4511 x3363 ~x2517 x1671 ~x825 
24.80/24.94	v ~x7896 x7050 ~x6204 ~x5358 ~x4512 ~x3364 x2518 ~x1672 x826 ~x7897 
24.80/24.94	v x7051 ~x6205 ~x5359 ~x4513 ~x3365 x2519 ~x1673 x827 x7898 x7052 
24.80/24.94	v ~x6206 ~x5360 ~x4514 ~x3366 ~x2520 x1674 ~x828 x7899 x7053 ~x6207 
24.80/24.94	v ~x5361 ~x4515 ~x3367 x2521 ~x1675 ~x829 ~x7900 x7054 ~x6208 ~x5362 
24.80/24.94	v ~x4516 ~x3368 ~x2522 ~x1676 ~x830 x7901 ~x7055 ~x6209 ~x5363 ~x4517 
24.80/24.94	v ~x3369 x2523 ~x1677 x831 x7902 

OK	20578507799

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (61866 MiB free)
  memory of node 1: 64507 MiB (63670 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4500497-1751401130/watcher-4500497-1751401130 -o /tmp/evaluation-result-4500497-1751401130/solver-4500497-1751401130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751393420-59619 --watchdog 3760 pb_picat HOME/instance-4500497-1751401130.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=61736, runsolver pid=61733

[startup+0.100063 s]*
/proc/loadavg: 4.18 4.19 4.14 5/265 61737
/proc/meminfo: memFree=128528788/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2027148 memory=36808 CPUtime=0.08 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 1132 0 0 0 8 0 0 0 20 0 1 0 55793309 2075799552 9202 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 506787 9202 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36808 KiB

[startup+0.205671 s]*
/proc/loadavg: 4.18 4.19 4.14 5/265 61737
/proc/meminfo: memFree=128512404/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2027148 memory=53340 CPUtime=0.19 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 1147 0 0 0 18 1 0 0 20 0 1 0 55793309 2075799552 13335 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 506787 13335 1632 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 53340 KiB

[startup+0.305585 s]*
/proc/loadavg: 4.18 4.19 4.14 5/265 61737
/proc/meminfo: memFree=128496020/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2034964 memory=70264 CPUtime=0.28 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 1290 0 0 0 27 1 0 0 20 0 1 0 55793309 2083803136 17566 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 508741 17566 1632 343 0 505805 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 70264 KiB

[startup+0.700193 s]
/proc/loadavg: 4.18 4.19 4.14 5/265 61737
/proc/meminfo: memFree=128483732/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2047860 memory=92536 CPUtime=0.66 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 9458 0 0 0 63 3 0 0 20 0 1 0 55793309 2097008640 23134 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 511965 23134 1760 343 0 509029 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 2047860 KiB
Current children cumulated memory: 92536 KiB

[startup+1.50014 s]
/proc/loadavg: 4.18 4.19 4.14 5/265 61737
/proc/meminfo: memFree=128483732/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2055288 memory=99240 CPUtime=1.46 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 18964 0 0 0 141 5 0 0 20 0 1 0 55793309 2104614912 24810 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 513822 24810 1760 343 0 510886 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2055288 KiB
Current children cumulated memory: 99240 KiB

[startup+3.10567 s]
/proc/loadavg: 4.18 4.19 4.14 5/265 61737
/proc/meminfo: memFree=128442816/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2041716 memory=86708 CPUtime=3.06 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 30287 0 0 0 298 8 0 0 20 0 1 0 55793309 2090717184 21677 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 510429 21677 1760 343 0 507493 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 2041716 KiB
Current children cumulated memory: 86708 KiB

[startup+6.30012 s]
/proc/loadavg: 4.16 4.19 4.14 5/265 61737
/proc/meminfo: memFree=128422544/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2050904 memory=95548 CPUtime=6.24 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 51105 0 0 0 611 13 0 0 20 0 1 0 55793309 2100125696 23887 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 512726 23887 1760 343 0 509790 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2050904 KiB
Current children cumulated memory: 95548 KiB

[startup+12.7001 s]
/proc/loadavg: 4.15 4.19 4.14 5/265 61737
/proc/meminfo: memFree=128466844/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2060116 memory=98948 CPUtime=12.63 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 71909 0 0 0 1242 21 0 0 20 0 1 0 55793309 2109558784 24737 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 515029 24737 1760 343 0 512093 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 2060116 KiB
Current children cumulated memory: 98948 KiB

[startup+24.9458 s]
# the end of solver process 61736 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=24.6021 s, system=0.258361 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8002 s]
/proc/loadavg: 4.15 4.19 4.14 5/265 61737
/proc/meminfo: memFree=128466844/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2060116 memory=98948 CPUtime=12.73 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 71909 0 0 0 1252 21 0 0 20 0 1 0 55793309 2109558784 24737 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 515029 24737 1760 343 0 512093 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 2060116 KiB
Current children cumulated memory: 98948 KiB

[startup+19.2002 s]
/proc/loadavg: 4.13 4.18 4.13 5/264 61737
/proc/meminfo: memFree=128384932/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2060116 memory=101236 CPUtime=19.12 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 79572 0 0 0 1889 23 0 0 20 0 1 0 55793309 2109558784 25309 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 515029 25309 1760 343 0 512093 0
Current children cumulated CPU time: 19.12 s
Current children cumulated vsize: 2060116 KiB
Current children cumulated memory: 101236 KiB

[startup+22.4001 s]
/proc/loadavg: 4.13 4.18 4.13 5/264 61737
/proc/meminfo: memFree=128454572/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2060116 memory=101264 CPUtime=22.31 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 81505 0 0 0 2207 24 0 0 20 0 1 0 55793309 2109558784 25316 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 515029 25316 1760 343 0 512093 0
Current children cumulated CPU time: 22.31 s
Current children cumulated vsize: 2060116 KiB
Current children cumulated memory: 101264 KiB

[startup+24.0001 s]*
/proc/loadavg: 4.12 4.18 4.13 5/264 61737
/proc/meminfo: memFree=128434092/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2060116 memory=99120 CPUtime=23.91 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 83442 0 0 0 2367 24 0 0 20 0 1 0 55793309 2109558784 24780 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 515029 24780 1760 343 0 512093 0
Current children cumulated CPU time: 23.91 s
Current children cumulated vsize: 2060116 KiB
Current children cumulated memory: 99120 KiB

[startup+24.4001 s]
/proc/loadavg: 4.12 4.18 4.13 5/264 61737
/proc/meminfo: memFree=128434092/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2060116 memory=99120 CPUtime=24.3 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 83442 0 0 0 2406 24 0 0 20 0 1 0 55793309 2109558784 24780 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 515029 24780 1760 343 0 512093 0
Current children cumulated CPU time: 24.3 s
Current children cumulated vsize: 2060116 KiB
Current children cumulated memory: 99120 KiB

[startup+24.8001 s]
/proc/loadavg: 4.12 4.18 4.13 5/264 61737
/proc/meminfo: memFree=128434092/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2060116 memory=99120 CPUtime=24.7 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 83442 0 0 0 2446 24 0 0 20 0 1 0 55793309 2109558784 24780 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 515029 24780 1760 343 0 512093 0
Current children cumulated CPU time: 24.7 s
Current children cumulated vsize: 2060116 KiB
Current children cumulated memory: 99120 KiB

[startup+24.9001 s]
/proc/loadavg: 4.12 4.18 4.13 5/264 61737
/proc/meminfo: memFree=128434092/131250000 swapFree=33010684/33010684
[pid=61736] ppid=61733 vsize=2060116 memory=99120 CPUtime=24.8 cores=5,7
/proc/61736/stat : 61736 (pb_picat) R 61733 61736 59606 0 -1 4194304 83442 0 0 0 2456 24 0 0 20 0 1 0 55793309 2109558784 24780 18446744073709551615 94206803013632 94206804415213 140726052880448 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94206804686640 94206806560944 94206837493760 140726052886942 140726052887018 140726052887018 140726052892620 0
/proc/61736/statm: 515029 24780 1760 343 0 512093 0
Current children cumulated CPU time: 24.8 s
Current children cumulated vsize: 2060116 KiB
Current children cumulated memory: 99120 KiB

Child status: 0

Real time (s): 24.9459
CPU time (s): 24.8604
CPU user time (s): 24.6021
CPU system time (s): 0.258361
CPU usage (%): 99.6575
Max. virtual memory (cumulated for all children) (KiB): 2060116
Max. memory (cumulated for all children) (KiB): 101264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6021
system time used= 0.258361
maximum resident set size= 101288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83446
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= 66
involuntary context switches= 45


# summary of solver processes directly reported to runsolver:
#   pid: 61736
#   total CPU time (s): 24.8604
#   total CPU user time (s): 24.6021
#   total CPU system time (s): 0.258361

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071527 second user time and 0.130336 second system time

The end

Begin job on nodeC013 at 2025-07-01 22:18:51
IDJOB=4500497
IDBENCH=150908
IDSOLVER=3346
FILE ID=nodeC013/4500497-1751401130
RUNJOBID= nodeC013-1751393420-59619
SLURM_JOB_ID= 9598258
Free space on /tmp= 432908 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4500497-1751401130/watcher-4500497-1751401130 -o /tmp/evaluation-result-4500497-1751401130/solver-4500497-1751401130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751393420-59619 --watchdog 3760  pb_picat HOME/instance-4500497-1751401130.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= a14bf61ad1111286a795cfd2913f06d2
RANDOM SEED=2003503464

nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.776
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.735
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3561.770
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.659
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.834
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3537.405
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.711
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.851
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128549204 kB
MemAvailable:   128868316 kB
Buffers:            3280 kB
Cached:          1119012 kB
SwapCached:            0 kB
Active:          1209996 kB
Inactive:         874204 kB
Active(anon):     975192 kB
Inactive(anon):        0 kB
Active(file):     234804 kB
Inactive(file):   874204 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4544 kB
Writeback:             0 kB
AnonPages:        960524 kB
Mapped:           109856 kB
Shmem:             13284 kB
KReclaimable:      98288 kB
Slab:             186300 kB
SReclaimable:      98288 kB
SUnreclaim:        88012 kB
KernelStack:        4288 kB
PageTables:         5012 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6753900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    790528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC013 at 2025-07-01 22:19:16