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

OK	7586846

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: 63708 MiB (62388 MiB free)
  memory of node 1: 64465 MiB (63962 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504431-1751474457/watcher-4504431-1751474457 -o /tmp/evaluation-result-4504431-1751474457/solver-4504431-1751474457 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751474457-75824 --watchdog 3760 pb_picat HOME/instance-4504431-1751474457.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=75864, runsolver pid=75859
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 0.89 1.06 1.46 4/262 75879
/proc/meminfo: memFree=129314780/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2027148 memory=36640 CPUtime=0.08 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 1134 0 0 0 8 0 0 0 20 0 1 0 63124476 2075799552 9160 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 506787 9160 1568 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36640 KiB

[startup+0.205591 s]*
/proc/loadavg: 0.89 1.06 1.46 5/266 75883
/proc/meminfo: memFree=129263940/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2034964 memory=59980 CPUtime=0.19 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 1289 0 0 0 18 1 0 0 20 0 1 0 63124476 2083803136 14995 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 508741 14995 1632 343 0 505805 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 59980 KiB

[startup+0.305418 s]*
/proc/loadavg: 0.89 1.06 1.46 5/266 75883
/proc/meminfo: memFree=129202500/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2038164 memory=71032 CPUtime=0.29 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 2084 0 0 0 27 2 0 0 20 0 1 0 63124476 2087079936 17758 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 509541 17758 1728 343 0 506605 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2038164 KiB
Current children cumulated memory: 71032 KiB

[startup+0.70016 s]
/proc/loadavg: 0.89 1.06 1.46 5/266 75883
/proc/meminfo: memFree=129164380/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2057368 memory=87460 CPUtime=0.68 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 6233 0 0 0 61 7 0 0 20 0 1 0 63124476 2106744832 21865 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 514342 21865 1728 343 0 511406 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2057368 KiB
Current children cumulated memory: 87460 KiB

[startup+1.50015 s]
/proc/loadavg: 0.89 1.06 1.46 5/266 75883
/proc/meminfo: memFree=129041188/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2066440 memory=97392 CPUtime=1.48 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 10281 0 0 0 133 15 0 0 20 0 1 0 63124476 2116034560 24348 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 516610 24348 1728 343 0 513674 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2066440 KiB
Current children cumulated memory: 97392 KiB

[startup+3.10516 s]
/proc/loadavg: 1.14 1.11 1.47 5/266 75883
/proc/meminfo: memFree=128672340/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2082824 memory=109020 CPUtime=3.07 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 11214 0 0 0 290 17 0 0 20 0 1 0 63124476 2132811776 27255 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 520706 27255 1728 343 0 517770 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2082824 KiB
Current children cumulated memory: 109020 KiB

[startup+6.30014 s]
/proc/loadavg: 1.14 1.11 1.47 5/266 75883
/proc/meminfo: memFree=128192116/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2082824 memory=111068 CPUtime=6.26 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 11225 0 0 0 609 17 0 0 20 0 1 0 63124476 2132811776 27767 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 520706 27767 1728 343 0 517770 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2082824 KiB
Current children cumulated memory: 111068 KiB

[startup+12.7001 s]
/proc/loadavg: 1.58 1.21 1.50 5/265 75883
/proc/meminfo: memFree=127072672/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2080840 memory=106800 CPUtime=12.64 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 14624 0 0 0 1240 24 0 0 20 0 1 0 63124476 2130780160 26700 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 520210 26700 1728 343 0 517274 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2080840 KiB
Current children cumulated memory: 106800 KiB

[startup+25.5001 s]
/proc/loadavg: 2.03 1.31 1.53 5/265 75883
/proc/meminfo: memFree=126313776/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2105416 memory=130220 CPUtime=25.41 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 15401 0 0 0 2516 25 0 0 20 0 1 0 63124476 2155945984 32555 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 526354 32555 1728 343 0 523418 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2105416 KiB
Current children cumulated memory: 130220 KiB

[startup+51.1052 s]
/proc/loadavg: 2.70 1.53 1.60 5/264 75883
/proc/meminfo: memFree=126055124/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2080840 memory=106932 CPUtime=50.95 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 21884 0 0 0 5053 42 0 0 20 0 1 0 63124476 2130780160 26733 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 520210 26733 1728 343 0 517274 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2080840 KiB
Current children cumulated memory: 106932 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.97 1.75 5/264 75885
/proc/meminfo: memFree=126056344/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2105416 memory=132252 CPUtime=102.02 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 33673 0 0 0 10136 66 0 0 20 0 1 0 63124476 2155945984 33063 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 526354 33063 1728 343 0 523418 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2105416 KiB
Current children cumulated memory: 132252 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.35 1.90 5/265 75888
/proc/meminfo: memFree=126070076/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2105416 memory=132360 CPUtime=161.87 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 46259 0 0 0 16095 92 0 0 20 0 1 0 63124476 2155945984 33090 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 526354 33090 1728 343 0 523418 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2105416 KiB
Current children cumulated memory: 132360 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.67 2.04 5/266 75893
/proc/meminfo: memFree=126019164/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2105416 memory=132312 CPUtime=221.73 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 53472 0 0 0 22063 110 0 0 20 0 1 0 63124476 2155945984 33078 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 526354 33078 1728 343 0 523418 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 2105416 KiB
Current children cumulated memory: 132312 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 2.93 2.17 5/266 75900
/proc/meminfo: memFree=126050236/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2105416 memory=137004 CPUtime=281.58 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 60689 0 0 0 28032 126 0 0 20 0 1 0 63124476 2155945984 34251 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 526354 34251 1728 343 0 523418 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 2105416 KiB
Current children cumulated memory: 137004 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 3.14 2.29 5/265 75902
/proc/meminfo: memFree=126119820/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2080840 memory=115804 CPUtime=341.43 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 66843 0 0 0 34001 142 0 0 20 0 1 0 63124476 2130780160 28951 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 520210 28951 1728 343 0 517274 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 2080840 KiB
Current children cumulated memory: 115804 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.33 2.41 5/265 75904
/proc/meminfo: memFree=126079948/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2090488 memory=121712 CPUtime=401.28 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 74365 0 0 0 39968 160 0 0 20 0 1 0 63124476 2140659712 30428 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 522622 30428 1728 343 0 519686 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 2090488 KiB
Current children cumulated memory: 121712 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.49 2.52 5/264 75906
/proc/meminfo: memFree=126076392/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2090488 memory=121340 CPUtime=461.13 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 81414 0 0 0 45935 178 0 0 20 0 1 0 63124476 2140659712 30335 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 522622 30335 1728 343 0 519686 0
Current children cumulated CPU time: 461.13 s

################
# More data... #
################

/proc/loadavg: 4.05 3.58 2.62 5/264 75908
/proc/meminfo: memFree=126071624/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2090488 memory=128092 CPUtime=520.98 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 88614 0 0 0 51904 194 0 0 20 0 1 0 63124476 2140659712 32023 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 522622 32023 1728 343 0 519686 0
Current children cumulated CPU time: 520.98 s
Current children cumulated vsize: 2090488 KiB
Current children cumulated memory: 128092 KiB

[startup+582.3 s]
/proc/loadavg: 4.13 3.69 2.72 5/263 75910
/proc/meminfo: memFree=125938860/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2090488 memory=120812 CPUtime=580.83 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 95496 0 0 0 57872 211 0 0 20 0 1 0 63124476 2140659712 30203 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 522622 30203 1728 343 0 519686 0
Current children cumulated CPU time: 580.83 s
Current children cumulated vsize: 2090488 KiB
Current children cumulated memory: 120812 KiB

[startup+642.3 s]
/proc/loadavg: 4.10 3.77 2.81 5/263 75912
/proc/meminfo: memFree=126112432/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2090488 memory=121496 CPUtime=640.69 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 103246 0 0 0 63840 229 0 0 20 0 1 0 63124476 2140659712 30374 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 522622 30374 1728 343 0 519686 0
Current children cumulated CPU time: 640.69 s
Current children cumulated vsize: 2090488 KiB
Current children cumulated memory: 121496 KiB

[startup+702.3 s]
/proc/loadavg: 4.08 3.83 2.89 5/263 75914
/proc/meminfo: memFree=126109992/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2106872 memory=134544 CPUtime=700.54 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 110546 0 0 0 69809 245 0 0 20 0 1 0 63124476 2157436928 33636 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 526718 33636 1728 343 0 523782 0
Current children cumulated CPU time: 700.54 s
Current children cumulated vsize: 2106872 KiB
Current children cumulated memory: 134544 KiB

[startup+762.3 s]
/proc/loadavg: 4.09 3.88 2.97 5/263 75916
/proc/meminfo: memFree=125973388/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2106872 memory=132704 CPUtime=760.39 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 118490 0 0 0 75779 260 0 0 20 0 1 0 63124476 2157436928 33176 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 526718 33176 1728 343 0 523782 0
Current children cumulated CPU time: 760.39 s
Current children cumulated vsize: 2106872 KiB
Current children cumulated memory: 132704 KiB

[startup+822.3 s]
/proc/loadavg: 4.08 3.92 3.04 5/264 75921
/proc/meminfo: memFree=125967288/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2092536 memory=122848 CPUtime=820.24 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 125202 0 0 0 81747 277 0 0 20 0 1 0 63124476 2142756864 30712 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 523134 30712 1728 343 0 520198 0
Current children cumulated CPU time: 820.24 s
Current children cumulated vsize: 2092536 KiB
Current children cumulated memory: 122848 KiB

[startup+882.3 s]
/proc/loadavg: 4.26 4.00 3.12 5/264 75928
/proc/meminfo: memFree=125973008/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2092536 memory=123712 CPUtime=880.1 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 128787 0 0 0 87724 286 0 0 20 0 1 0 63124476 2142756864 30928 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 523134 30928 1728 343 0 520198 0
Current children cumulated CPU time: 880.1 s
Current children cumulated vsize: 2092536 KiB
Current children cumulated memory: 123712 KiB

[startup+942.3 s]
/proc/loadavg: 4.10 4.00 3.18 5/264 75930
/proc/meminfo: memFree=125965984/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2092536 memory=123744 CPUtime=939.95 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 135074 0 0 0 93694 301 0 0 20 0 1 0 63124476 2142756864 30936 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 523134 30936 1728 343 0 520198 0
Current children cumulated CPU time: 939.95 s
Current children cumulated vsize: 2092536 KiB
Current children cumulated memory: 123744 KiB

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

# cumulated CPU time of all completed processes:  user=955.066 s, system=3.01986 s

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

[startup+947.2 s]
/proc/loadavg: 4.09 4.00 3.19 5/264 75930
/proc/meminfo: memFree=125965760/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2092536 memory=126044 CPUtime=944.84 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 135108 0 0 0 94183 301 0 0 20 0 1 0 63124476 2142756864 31511 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 523134 31511 1728 343 0 520198 0
Current children cumulated CPU time: 944.84 s
Current children cumulated vsize: 2092536 KiB
Current children cumulated memory: 126044 KiB

[startup+953.6 s]
/proc/loadavg: 4.08 4.00 3.19 5/264 75930
/proc/meminfo: memFree=125965792/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2092536 memory=126044 CPUtime=951.23 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 135108 0 0 0 94822 301 0 0 20 0 1 0 63124476 2142756864 31511 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 523134 31511 1728 343 0 520198 0
Current children cumulated CPU time: 951.23 s
Current children cumulated vsize: 2092536 KiB
Current children cumulated memory: 126044 KiB

[startup+956.8 s]
/proc/loadavg: 4.08 4.00 3.19 5/264 75930
/proc/meminfo: memFree=125965792/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2092536 memory=126044 CPUtime=954.42 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 135108 0 0 0 95141 301 0 0 20 0 1 0 63124476 2142756864 31511 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 523134 31511 1728 343 0 520198 0
Current children cumulated CPU time: 954.42 s
Current children cumulated vsize: 2092536 KiB
Current children cumulated memory: 126044 KiB

[startup+958.4 s]
/proc/loadavg: 4.07 4.00 3.19 5/264 75930
/proc/meminfo: memFree=125965816/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2092536 memory=126044 CPUtime=956.01 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 135108 0 0 0 95300 301 0 0 20 0 1 0 63124476 2142756864 31511 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 523134 31511 1728 343 0 520198 0
Current children cumulated CPU time: 956.01 s
Current children cumulated vsize: 2092536 KiB
Current children cumulated memory: 126044 KiB

[startup+959.2 s]
/proc/loadavg: 4.07 4.00 3.19 5/264 75930
/proc/meminfo: memFree=125965816/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2092536 memory=126044 CPUtime=956.81 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 135108 0 0 0 95380 301 0 0 20 0 1 0 63124476 2142756864 31511 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 523134 31511 1728 343 0 520198 0
Current children cumulated CPU time: 956.81 s
Current children cumulated vsize: 2092536 KiB
Current children cumulated memory: 126044 KiB

[startup+960 s]*
/proc/loadavg: 4.07 4.00 3.19 5/264 75930
/proc/meminfo: memFree=125965816/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2092536 memory=126044 CPUtime=957.62 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 135108 0 0 0 95461 301 0 0 20 0 1 0 63124476 2142756864 31511 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 523134 31511 1728 343 0 520198 0
Current children cumulated CPU time: 957.62 s
Current children cumulated vsize: 2092536 KiB
Current children cumulated memory: 126044 KiB

[startup+960.4 s]
/proc/loadavg: 4.07 4.00 3.19 5/264 75930
/proc/meminfo: memFree=125965816/131249992 swapFree=33010160/33010684
[pid=75864] ppid=75859 vsize=2092536 memory=126044 CPUtime=958.01 cores=0,2
/proc/75864/stat : 75864 (pb_picat) R 75859 75864 75814 0 -1 4194304 135108 0 0 0 95500 301 0 0 20 0 1 0 63124476 2142756864 31511 18446744073709551615 94346861527040 94346862928621 140734587459344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94346863200048 94346865074352 94346872078336 140734587468190 140734587468266 140734587468266 140734587473868 0
/proc/75864/statm: 523134 31511 1728 343 0 520198 0
Current children cumulated CPU time: 958.01 s
Current children cumulated vsize: 2092536 KiB
Current children cumulated memory: 126044 KiB

Child status: 0

Real time (s): 960.469
CPU time (s): 958.086
CPU user time (s): 955.066
CPU system time (s): 3.01986
CPU usage (%): 99.7519
Max. virtual memory (cumulated for all children) (KiB): 2106872
Max. memory (cumulated for all children) (KiB): 137004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 955.066
system time used= 3.01986
maximum resident set size= 137004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135112
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= 114
involuntary context switches= 1240


# summary of solver processes directly reported to runsolver:
#   pid: 75864
#   total CPU time (s): 958.086
#   total CPU user time (s): 955.066
#   total CPU system time (s): 3.01986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.71596 second user time and 3.99047 second system time

The end

Begin job on nodeC025 at 2025-07-02 18:40:57
IDJOB=4504431
IDBENCH=155659
IDSOLVER=3346
FILE ID=nodeC025/4504431-1751474457
RUNJOBID= nodeC025-1751474457-75824
SLURM_JOB_ID= 9598503
Free space on /tmp= 432980 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat15_5_3_6_mh.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504431-1751474457/watcher-4504431-1751474457 -o /tmp/evaluation-result-4504431-1751474457/solver-4504431-1751474457 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751474457-75824 --watchdog 3760  pb_picat HOME/instance-4504431-1751474457.opb

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

MD5SUM BENCH= 5446b769e53b58ee9fdbc738c7aeea2d
RANDOM SEED=401256308

nodeC025 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.834
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.832
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		: 3732.982
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		: 3707.832
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		: 3658.947
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		: 3700.000
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		: 3600.011
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.830
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:       131249992 kB
MemFree:        129399460 kB
MemAvailable:   129779312 kB
Buffers:            2128 kB
Cached:          1172056 kB
SwapCached:          200 kB
Active:           312004 kB
Inactive:         937572 kB
Active(anon):      60172 kB
Inactive(anon):    33124 kB
Active(file):     251832 kB
Inactive(file):   904448 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26008 kB
Writeback:             0 kB
AnonPages:         78300 kB
Mapped:           102912 kB
Shmem:             17856 kB
KReclaimable:     125624 kB
Slab:             214340 kB
SReclaimable:     125624 kB
SUnreclaim:        88716 kB
KernelStack:        4068 kB
PageTables:         2564 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     338260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432940 MiB
End job on nodeC025 at 2025-07-02 18:56:58