Trace number 4492073

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Picat 2025-06-16SAT 0.994936 1.00279

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
MD5SUMd1aade7dcf65cc3dbe16a05e614ec6ef
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.08851
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4608
Total number of constraints30348
Number of constraints which are clauses29328
Number of constraints which are cardinality constraints (but not clauses)942
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.01	c solving HOME/instance-4492073-1751141794.opb (Picat 3.9b6)
0.88/0.99	s SATISFIABLE
0.88/0.99	v ~x896 ~x1741 x3432 ~x2586 ~x4277 ~x55 ~x897 ~x1742 ~x3433 ~x2587 
0.88/0.99	v x4278 ~x56 ~x898 ~x1743 ~x3434 x2588 x4279 ~x57 ~x899 ~x1744 
0.88/0.99	v x3435 ~x2589 ~x4280 ~x58 ~x900 ~x1745 ~x3436 ~x2590 ~x4281 ~x59 
0.88/0.99	v ~x901 ~x1746 ~x3437 ~x2591 ~x4282 ~x60 ~x902 ~x1747 ~x3438 ~x2592 
0.88/0.99	v ~x4283 ~x61 ~x903 x1748 ~x3439 ~x2593 ~x4284 ~x62 ~x904 ~x1749 
0.88/0.99	v ~x3440 ~x2594 ~x4285 ~x63 ~x905 x1750 ~x3441 ~x2595 x4286 ~x64 
0.88/0.99	v ~x906 ~x1751 ~x3442 ~x2596 ~x4287 ~x65 ~x907 ~x1752 ~x3443 ~x2597 
0.88/0.99	v ~x4288 ~x66 ~x908 ~x1753 x3444 x2598 ~x4289 ~x67 ~x909 ~x1754 
0.88/0.99	v ~x3445 ~x2599 ~x4290 x68 ~x910 ~x1755 ~x3446 ~x2600 x4291 ~x69 
0.88/0.99	v ~x911 ~x1756 x3447 ~x2601 ~x4292 ~x70 ~x912 ~x1757 ~x3448 ~x2602 
0.88/0.99	v ~x4293 ~x71 ~x913 ~x1758 ~x3449 ~x2603 ~x4294 ~x72 ~x914 ~x1759 
0.88/0.99	v ~x3450 x2604 ~x4295 ~x915 ~x1760 ~x3451 ~x2605 ~x4296 ~x73 ~x916 
0.88/0.99	v ~x1761 ~x3452 ~x2606 ~x4297 ~x74 ~x917 x1762 ~x3453 ~x2607 ~x4298 
0.88/0.99	v ~x75 ~x918 ~x1763 ~x3454 ~x2608 x4299 x76 x919 ~x1764 x3455 
0.88/0.99	v ~x2609 ~x4300 ~x77 ~x920 ~x1765 ~x3456 x2610 ~x4301 ~x78 ~x921 
0.88/0.99	v ~x1766 ~x3457 ~x2611 ~x4302 ~x79 ~x922 ~x1767 ~x3458 ~x2612 x4303 
0.88/0.99	v x80 ~x923 ~x1768 ~x3459 ~x2613 ~x4304 ~x81 x924 ~x1769 ~x3460 
0.88/0.99	v ~x2614 ~x4305 ~x82 ~x925 ~x1770 ~x3461 ~x2615 ~x4306 ~x83 ~x926 
0.88/0.99	v ~x1771 x3462 x2616 ~x4307 ~x84 ~x927 x1772 ~x3463 x2617 ~x4308 
0.88/0.99	v ~x85 x928 ~x1773 ~x3464 ~x2618 ~x4309 ~x86 ~x929 ~x1774 x3465 
0.88/0.99	v ~x2619 ~x4310 ~x87 ~x930 ~x1775 ~x3466 ~x2620 ~x4311 ~x88 x931 
0.88/0.99	v ~x1776 ~x3467 ~x2621 ~x4312 ~x89 ~x932 ~x1777 ~x3468 ~x2622 ~x4313 
0.88/0.99	v ~x90 ~x933 ~x1778 ~x3469 ~x2623 x4314 ~x91 x934 ~x1779 ~x3470 
0.88/0.99	v ~x2624 ~x4315 ~x92 ~x935 ~x1780 x3471 ~x2625 x4316 ~x93 ~x936 
0.88/0.99	v x1781 ~x3472 ~x2626 ~x4317 ~x94 ~x937 ~x1782 ~x3473 ~x2627 ~x4318 
0.88/0.99	v ~x95 ~x938 ~x1783 ~x3474 x2628 ~x4319 ~x96 x939 ~x1784 ~x3475 
0.88/0.99	v ~x2629 ~x4320 ~x97 ~x940 x1785 x3476 ~x2630 ~x4321 ~x98 ~x941 
0.88/0.99	v ~x1786 ~x3477 ~x2631 x4322 ~x99 ~x942 ~x1787 ~x3478 ~x2632 ~x4323 
0.88/0.99	v ~x100 ~x943 ~x1788 ~x3479 ~x2633 ~x4324 ~x101 ~x944 ~x1789 ~x3480 
0.88/0.99	v x2634 ~x4325 ~x102 ~x945 ~x1790 ~x3481 ~x2635 ~x4326 ~x103 ~x946 
0.88/0.99	v ~x1791 ~x3482 x2636 ~x4327 ~x104 ~x947 ~x1792 x3483 ~x2637 ~x4328 
0.88/0.99	v ~x105 ~x948 ~x1793 ~x3484 ~x2638 ~x4329 ~x106 ~x949 ~x1794 ~x3485 
0.88/0.99	v ~x2639 ~x4330 ~x107 ~x950 ~x1795 ~x3486 ~x2640 x4331 ~x108 ~x951 
0.88/0.99	v x1796 ~x3487 ~x2641 ~x4332 ~x109 ~x952 ~x1797 ~x3488 ~x2642 x4333 
0.88/0.99	v ~x110 ~x953 ~x1798 ~x3489 ~x2643 ~x4334 ~x111 ~x954 ~x1799 ~x3490 
0.88/0.99	v ~x2644 ~x4335 ~x112 ~x955 ~x1800 ~x3491 ~x2645 ~x4336 ~x113 ~x956 
0.88/0.99	v ~x1801 x3492 x2646 ~x4337 ~x114 ~x957 ~x1802 ~x3493 ~x2647 ~x4338 
0.88/0.99	v ~x115 ~x958 ~x1803 ~x3494 ~x2648 ~x4339 ~x116 ~x959 ~x1804 ~x3495 
0.88/0.99	v ~x2649 x4340 ~x117 ~x960 x1805 x3496 x2650 ~x4341 x118 x961 
0.88/0.99	v ~x1806 ~x3497 ~x2651 ~x4342 ~x119 ~x962 ~x1807 ~x3498 ~x2652 ~x4343 
0.88/0.99	v ~x120 ~x963 ~x1808 ~x3499 ~x2653 ~x4344 ~x121 ~x964 ~x1809 ~x3500 
0.88/0.99	v x2654 ~x4345 ~x122 ~x965 ~x1810 x3501 ~x2655 ~x4346 ~x123 ~x966 
0.88/0.99	v ~x1811 ~x3502 ~x2656 ~x4347 ~x124 ~x967 ~x1812 ~x3503 ~x2657 ~x4348 
0.88/0.99	v ~x125 ~x968 ~x1813 ~x3504 ~x2658 ~x4349 ~x126 ~x969 ~x1814 ~x3505 
0.88/0.99	v ~x2659 x4350 ~x127 ~x970 ~x1815 ~x3506 x2660 ~x4351 ~x128 ~x971 
0.88/0.99	v ~x1816 ~x3507 ~x2661 ~x4352 x129 ~x972 ~x1817 ~x3508 ~x2662 ~x4353 
0.88/0.99	v ~x130 ~x973 x1818 x3509 ~x2663 ~x4354 ~x131 ~x974 ~x1819 ~x3510 
0.88/0.99	v ~x2664 ~x4355 ~x132 ~x975 ~x1820 ~x3511 ~x2665 x4356 ~x133 x976 
0.88/0.99	v ~x1821 ~x3512 ~x2666 ~x4357 ~x134 ~x977 x1822 x3513 ~x2667 x4358 
0.88/0.99	v ~x135 ~x978 ~x1823 ~x3514 ~x2668 ~x4359 ~x136 ~x979 ~x1824 ~x3515 
0.88/0.99	v ~x2669 ~x4360 ~x137 ~x980 ~x1825 ~x3516 x2670 ~x4361 ~x138 ~x981 
0.88/0.99	v ~x1826 ~x3517 ~x2671 ~x4362 ~x139 ~x982 ~x1827 ~x3518 ~x2672 x4363 
0.88/0.99	v ~x140 ~x983 ~x1828 ~x3519 ~x2673 ~x4364 ~x141 x984 ~x1829 ~x3520 
0.88/0.99	v ~x2674 ~x4365 ~x142 ~x985 ~x1830 x3521 ~x2675 ~x4366 ~x143 ~x986 
0.88/0.99	v ~x1831 ~x3522 x2676 ~x4367 ~x144 x987 ~x1832 ~x3523 ~x2677 ~x4368 
0.88/0.99	v ~x988 ~x1833 ~x3524 x2678 x4369 ~x145 ~x989 ~x1834 ~x3525 ~x2679 
0.88/0.99	v ~x4370 ~x146 ~x990 ~x1835 x3526 ~x2680 ~x4371 ~x147 ~x991 ~x1836 
0.88/0.99	v ~x3527 ~x2681 ~x4372 ~x148 ~x992 ~x1837 ~x3528 ~x2682 ~x4373 x149 
0.88/0.99	v x993 ~x1838 ~x3529 x2683 ~x4374 ~x150 ~x994 ~x1839 ~x3530 ~x2684 
0.88/0.99	v ~x4375 x151 ~x995 ~x1840 x3531 ~x2685 ~x4376 x152 ~x996 ~x1841 
0.88/0.99	v ~x3532 ~x2686 ~x4377 ~x153 ~x997 ~x1842 ~x3533 ~x2687 ~x4378 ~x154 
0.88/0.99	v ~x998 ~x1843 ~x3534 ~x2688 ~x4379 ~x155 ~x999 x1844 ~x3535 ~x2689 
0.88/0.99	v x4380 ~x156 ~x1000 ~x1845 x3536 x2690 x4381 ~x157 ~x1001 ~x1846 
0.88/0.99	v ~x3537 ~x2691 ~x4382 ~x158 ~x1002 ~x1847 ~x3538 ~x2692 ~x4383 ~x159 
0.88/0.99	v ~x1003 ~x1848 ~x3539 ~x2693 ~x4384 ~x160 ~x1004 ~x1849 ~x3540 ~x2694 
0.88/0.99	v ~x4385 ~x161 ~x1005 x1850 ~x3541 ~x2695 ~x4386 ~x162 ~x1006 ~x1851 
0.88/0.99	v ~x3542 x2696 x4387 ~x163 ~x1007 ~x1852 ~x3543 ~x2697 ~x4388 ~x164 
0.88/0.99	v ~x1008 ~x1853 x3544 ~x2698 ~x4389 ~x165 ~x1009 ~x1854 ~x3545 ~x2699 
0.88/0.99	v ~x4390 ~x166 ~x1010 ~x1855 ~x3546 ~x2700 ~x4391 ~x167 ~x1011 x1856 
0.88/0.99	v ~x3547 x2701 ~x4392 ~x168 ~x1012 ~x1857 ~x3548 ~x2702 ~x4393 ~x169 
0.88/0.99	v ~x1013 ~x1858 x3549 ~x2703 ~x4394 ~x170 ~x1014 ~x1859 ~x3550 ~x2704 
0.88/0.99	v ~x4395 ~x171 ~x1015 ~x1860 ~x3551 ~x2705 ~x4396 ~x172 ~x1016 ~x1861 
0.88/0.99	v ~x3552 ~x2706 ~x4397 ~x173 x1017 ~x1862 ~x3553 x2707 x4398 x174 
0.88/0.99	v ~x1018 ~x1863 ~x3554 ~x2708 ~x4399 ~x175 ~x1019 ~x1864 ~x3555 ~x2709 
0.88/0.99	v ~x4400 ~x176 x1020 ~x1865 x3556 ~x2710 ~x4401 ~x177 ~x1021 ~x1866 
0.88/0.99	v ~x3557 ~x2711 ~x4402 ~x178 ~x1022 ~x1867 ~x3558 ~x2712 ~x4403 ~x179 
0.88/0.99	v ~x1023 ~x1868 ~x3559 x2713 x4404 ~x180 ~x1024 ~x1869 x3560 ~x2714 
0.88/0.99	v ~x4405 ~x181 ~x1025 ~x1870 ~x3561 ~x2715 x4406 ~x182 ~x1026 ~x1871 
0.88/0.99	v ~x3562 ~x2716 ~x4407 ~x183 ~x1027 ~x1872 ~x3563 ~x2717 ~x4408 ~x184 
0.88/0.99	v ~x1028 ~x1873 ~x3564 ~x2718 ~x4409 ~x185 ~x1029 ~x1874 ~x3565 x2719 
0.88/0.99	v ~x4410 ~x186 ~x1030 x1875 x3566 ~x2720 ~x4411 ~x187 ~x1031 ~x1876 
0.88/0.99	v ~x3567 ~x2721 ~x4412 ~x188 ~x1032 ~x1877 ~x3568 ~x2722 ~x4413 ~x189 
0.88/0.99	v ~x1033 ~x1878 ~x3569 ~x2723 ~x4414 ~x190 x1034 ~x1879 ~x3570 ~x2724 
0.88/0.99	v ~x4415 x191 ~x1035 ~x1880 ~x3571 ~x2725 x4416 ~x192 ~x1036 ~x1881 
0.88/0.99	v ~x3572 ~x2726 ~x4417 ~x193 ~x1037 x1882 ~x3573 ~x2727 ~x4418 ~x194 
0.88/0.99	v ~x1038 ~x1883 ~x3574 ~x2728 ~x4419 ~x195 ~x1039 ~x1884 x3575 ~x2729 
0.88/0.99	v x4420 ~x196 ~x1040 ~x1885 ~x3576 x2730 ~x4421 ~x197 ~x1041 ~x1886 
0.88/0.99	v x3577 x2731 ~x4422 ~x198 ~x1042 ~x1887 ~x3578 ~x2732 x4423 ~x199 
0.88/0.99	v ~x1043 ~x1888 ~x3579 ~x2733 ~x4424 ~x200 ~x1044 ~x1889 ~x3580 ~x2734 
0.88/0.99	v ~x4425 ~x201 x1045 ~x1890 ~x3581 ~x2735 ~x4426 ~x202 ~x1046 ~x1891 
0.88/0.99	v ~x3582 ~x2736 ~x4427 ~x203 ~x1047 ~x1892 x3583 ~x2737 ~x4428 ~x204 
0.88/0.99	v ~x1048 x1893 ~x3584 x2738 ~x4429 ~x205 ~x1049 ~x1894 ~x3585 ~x2739 
0.88/0.99	v ~x4430 ~x206 ~x1050 ~x1895 ~x3586 ~x2740 ~x4431 ~x207 ~x1051 ~x1896 
0.88/0.99	v ~x3587 ~x2741 x4432 ~x208 ~x1052 ~x1897 ~x3588 ~x2742 ~x4433 ~x209 
0.88/0.99	v ~x1053 ~x1898 ~x3589 ~x2743 ~x4434 ~x210 ~x1054 ~x1899 ~x3590 ~x2744 
0.88/0.99	v ~x4435 x211 ~x1055 ~x1900 ~x3591 ~x2745 ~x4436 ~x212 x1056 ~x1901 
0.88/0.99	v ~x3592 x2746 ~x4437 ~x213 ~x1057 ~x1902 ~x3593 ~x2747 ~x4438 ~x214 
0.88/0.99	v ~x1058 ~x1903 x3594 ~x2748 ~x4439 ~x215 ~x1059 ~x1904 ~x3595 ~x2749 
0.88/0.99	v x4440 ~x216 ~x1060 ~x1905 ~x3596 x2750 ~x4441 ~x217 ~x1061 ~x1906 
0.88/0.99	v ~x3597 ~x2751 ~x4442 ~x218 ~x1062 ~x1907 ~x3598 ~x2752 x4443 ~x219 
0.88/0.99	v ~x1063 ~x1908 ~x3599 ~x2753 ~x4444 ~x220 ~x1064 ~x1909 x3600 ~x2754 
0.88/0.99	v ~x4445 ~x221 ~x1065 ~x1910 ~x3601 ~x2755 ~x4446 x222 ~x1066 ~x1911 
0.88/0.99	v ~x3602 ~x2756 ~x4447 ~x223 ~x1067 x1912 x3603 ~x2757 ~x4448 ~x224 
0.88/0.99	v ~x1068 ~x1913 ~x3604 ~x2758 ~x4449 ~x225 ~x1069 ~x1914 ~x3605 ~x2759 
0.88/0.99	v ~x4450 ~x226 ~x1070 ~x1915 ~x3606 x2760 ~x4451 ~x227 ~x1071 ~x1916 
0.88/0.99	v ~x3607 x2761 x4452 ~x228 ~x1072 ~x1917 ~x3608 ~x2762 x4453 ~x229 
0.88/0.99	v ~x1918 ~x3609 ~x2763 ~x4454 ~x230 ~x1919 ~x3610 ~x1073 ~x2764 ~x4455 
0.88/0.99	v ~x231 ~x1920 ~x3611 ~x1074 ~x2765 ~x4456 ~x232 ~x1921 x3612 ~x1075 
0.88/0.99	v ~x2766 ~x4457 ~x233 ~x1922 ~x3613 ~x1076 x2767 ~x4458 ~x234 ~x1923 
0.88/0.99	v x3614 ~x1077 ~x2768 ~x4459 ~x235 ~x1924 ~x3615 ~x1078 ~x2769 ~x4460 
0.88/0.99	v ~x236 ~x1925 ~x3616 ~x1079 ~x2770 x4461 x237 ~x1926 ~x3617 x1080 
0.88/0.99	v ~x2771 ~x4462 ~x238 ~x1927 ~x3618 ~x1081 ~x2772 ~x4463 ~x239 ~x1928 
0.88/0.99	v x3619 ~x1082 ~x2773 ~x4464 ~x240 ~x1929 ~x3620 ~x1083 ~x2774 ~x4465 
0.88/0.99	v ~x241 ~x1930 ~x3621 ~x1084 ~x2775 ~x4466 ~x242 ~x1931 ~x3622 ~x1085 
0.88/0.99	v ~x2776 ~x4467 ~x243 x1932 ~x3623 ~x1086 ~x2777 ~x4468 ~x244 ~x1933 
0.88/0.99	v ~x3624 ~x1087 x2778 ~x4469 ~x245 ~x1934 ~x3625 x1088 ~x2779 x4470 
0.88/0.99	v ~x246 ~x1935 x3626 ~x1089 x2780 ~x4471 ~x247 ~x1936 ~x3627 ~x1090 
0.88/0.99	v ~x2781 ~x4472 ~x248 ~x1937 ~x3628 ~x1091 ~x2782 x4473 ~x249 ~x1938 
0.88/0.99	v ~x3629 ~x1092 ~x2783 ~x4474 ~x250 ~x1939 ~x3630 ~x1093 ~x2784 ~x4475 
0.88/0.99	v ~x251 ~x1940 ~x3631 ~x1094 x2785 ~x4476 ~x252 ~x1941 x3632 ~x1095 
0.88/0.99	v ~x2786 ~x4477 ~x253 ~x1942 ~x3633 ~x1096 ~x2787 x4478 ~x254 ~x1943 
0.88/0.99	v ~x3634 ~x1097 ~x2788 ~x4479 ~x255 ~x1944 ~x3635 ~x1098 ~x2789 ~x4480 
0.88/0.99	v ~x256 ~x1945 ~x3636 x1099 ~x2790 ~x4481 ~x257 ~x1946 ~x3637 ~x1100 
0.88/0.99	v x2791 ~x4482 x258 ~x1947 ~x3638 ~x1101 ~x2792 x4483 ~x259 ~x1948 
0.88/0.99	v x3639 ~x1102 ~x2793 ~x4484 ~x260 x1949 ~x3640 ~x1103 ~x2794 ~x4485 
0.88/0.99	v ~x1950 ~x3641 ~x1104 ~x2795 ~x4486 ~x261 ~x1951 ~x3642 ~x1105 ~x2796 
0.88/0.99	v ~x4487 ~x262 ~x1952 ~x3643 ~x1106 ~x2797 ~x4488 ~x263 ~x1953 ~x3644 
0.88/0.99	v ~x1107 x2798 ~x4489 ~x264 ~x1954 ~x3645 ~x1108 ~x2799 ~x4490 ~x265 
0.88/0.99	v ~x1955 ~x3646 ~x1109 ~x2800 ~x4491 ~x266 ~x1956 ~x3647 ~x1110 ~x2801 
0.88/0.99	v ~x4492 ~x267 ~x1957 x3648 ~x1111 ~x2802 ~x4493 ~x268 ~x1958 ~x3649 
0.88/0.99	v x1112 x2803 ~x4494 ~x269 ~x1959 ~x3650 ~x1113 ~x2804 ~x4495 ~x270 
0.88/0.99	v ~x1960 ~x3651 ~x1114 ~x2805 x4496 ~x271 ~x1961 ~x3652 ~x1115 ~x2806 
0.88/0.99	v ~x4497 ~x272 ~x1962 x3653 ~x1116 ~x2807 ~x4498 ~x273 ~x1963 ~x3654 
0.88/0.99	v ~x1117 ~x2808 ~x4499 ~x274 ~x1964 ~x3655 ~x1118 ~x2809 ~x4500 ~x275 
0.88/0.99	v ~x1965 ~x3656 ~x1119 ~x2810 ~x4501 ~x276 ~x1966 ~x3657 ~x1120 ~x2811 
0.88/0.99	v ~x4502 ~x277 ~x1967 ~x3658 ~x1121 ~x2812 x4503 ~x278 ~x1968 x3659 
0.88/0.99	v ~x1122 ~x2813 ~x4504 ~x279 ~x1969 ~x3660 ~x1123 x2814 ~x4505 ~x280 
0.88/0.99	v x1970 ~x3661 ~x1124 ~x2815 ~x4506 ~x281 ~x1971 ~x3662 x1125 x2816 
0.88/0.99	v ~x4507 x282 x1972 ~x3663 ~x1126 ~x2817 x4508 ~x283 ~x1973 ~x3664 
0.88/0.99	v ~x1127 ~x2818 ~x4509 ~x284 ~x1974 x3665 ~x1128 ~x2819 ~x4510 ~x285 
0.88/0.99	v ~x1975 ~x3666 ~x1129 ~x2820 ~x4511 ~x286 ~x1976 ~x3667 x1130 ~x2821 
0.88/0.99	v ~x4512 ~x287 ~x1977 ~x3668 ~x1131 ~x2822 ~x4513 ~x288 ~x1978 x3669 
0.88/0.99	v ~x1132 ~x2823 ~x4514 ~x289 ~x1979 ~x3670 ~x1133 ~x2824 ~x4515 ~x290 
0.88/0.99	v ~x1980 ~x3671 ~x1134 ~x2825 ~x4516 ~x291 ~x1981 ~x3672 ~x1135 x2826 
0.88/0.99	v ~x4517 ~x292 ~x1982 ~x3673 ~x1136 ~x2827 x4518 ~x293 ~x1983 ~x3674 
0.88/0.99	v x1137 ~x2828 ~x4519 ~x294 ~x1984 ~x3675 ~x1138 ~x2829 ~x4520 ~x295 
0.88/0.99	v ~x1985 ~x3676 ~x1139 ~x2830 ~x4521 ~x296 ~x1986 ~x3677 ~x1140 x2831 
0.88/0.99	v ~x4522 ~x297 ~x1987 x3678 ~x1141 ~x2832 ~x4523 ~x298 ~x1988 ~x3679 
0.88/0.99	v ~x1142 x2833 x4524 ~x299 ~x1989 ~x3680 ~x1143 ~x2834 ~x4525 ~x300 
0.88/0.99	v ~x1990 ~x3681 ~x1144 ~x2835 x4526 ~x301 ~x1991 x3682 ~x1145 ~x2836 
0.88/0.99	v ~x4527 ~x302 ~x1992 ~x3683 ~x1146 ~x2837 ~x4528 x303 ~x1993 ~x3684 
0.88/0.99	v ~x1147 ~x2838 ~x4529 x304 ~x1994 ~x3685 ~x1148 ~x2839 ~x4530 ~x305 
0.88/0.99	v ~x1995 ~x3686 ~x1149 ~x2840 ~x4531 ~x306 ~x1996 x3687 ~x1150 ~x2841 
0.88/0.99	v ~x4532 ~x307 ~x1997 ~x3688 ~x1151 ~x2842 ~x4533 ~x308 ~x1998 ~x3689 
0.88/0.99	v ~x1152 ~x2843 ~x4534 ~x309 ~x1999 ~x3690 ~x1153 x2844 ~x4535 ~x310 
0.88/0.99	v ~x2000 ~x3691 ~x1154 ~x2845 x4536 ~x311 x2001 ~x3692 ~x1155 x2846 
0.88/0.99	v ~x4537 ~x312 ~x2002 x3693 x1156 ~x2847 x4538 ~x313 ~x2003 ~x3694 
0.88/0.99	v ~x1157 ~x2848 ~x4539 ~x314 ~x2004 ~x3695 ~x1158 ~x2849 ~x4540 ~x315 
0.88/0.99	v ~x2005 ~x3696 ~x1159 ~x2850 ~x4541 ~x316 ~x2006 ~x3697 ~x1160 ~x2851 
0.88/0.99	v ~x4542 x317 ~x2007 ~x3698 ~x1161 ~x2852 ~x4543 ~x318 ~x2008 ~x3699 
0.88/0.99	v ~x1162 ~x2853 ~x4544 ~x319 ~x2009 ~x3700 ~x1163 x2854 ~x4545 ~x320 
0.88/0.99	v ~x2010 ~x3701 ~x1164 ~x2855 ~x4546 ~x321 ~x2011 x3702 ~x1165 ~x2856 
0.88/0.99	v ~x4547 ~x322 ~x2012 x3703 ~x1166 x2857 x4548 ~x323 ~x2013 ~x3704 
0.88/0.99	v ~x1167 ~x2858 ~x4549 ~x324 ~x2014 ~x3705 ~x1168 ~x2859 ~x4550 ~x325 
0.88/0.99	v ~x2015 ~x3706 ~x1169 ~x2860 ~x4551 ~x326 ~x2016 ~x3707 ~x1170 ~x2861 
0.88/0.99	v ~x4552 ~x327 ~x2017 ~x3708 x1171 ~x2862 x4553 ~x328 ~x2018 ~x3709 
0.88/0.99	v ~x1172 ~x2863 ~x4554 ~x329 ~x2019 ~x3710 ~x1173 ~x2864 ~x4555 ~x330 
0.88/0.99	v ~x2020 ~x3711 ~x1174 ~x2865 ~x4556 ~x331 ~x2021 ~x3712 ~x1175 ~x2866 
0.88/0.99	v ~x4557 ~x332 ~x2022 ~x3713 x1176 ~x2867 ~x4558 x333 x2023 x3714 
0.88/0.99	v ~x1177 x2868 ~x4559 ~x334 ~x2024 x3715 ~x1178 ~x2869 x4560 ~x335 
0.88/0.99	v ~x2025 ~x3716 ~x1179 ~x2870 ~x4561 x336 ~x2026 ~x3717 ~x1180 ~x2871 
0.88/0.99	v ~x4562 ~x337 ~x2027 ~x3718 ~x1181 x2872 ~x4563 ~x338 ~x2028 ~x3719 
0.88/0.99	v ~x1182 ~x2873 ~x4564 ~x339 ~x2029 ~x3720 ~x1183 ~x2874 ~x4565 ~x340 
0.88/0.99	v ~x2030 ~x3721 x1184 ~x2875 x4566 ~x341 ~x2031 x3722 ~x1185 ~x2876 
0.88/0.99	v ~x4567 ~x342 ~x2032 ~x3723 ~x1186 x2877 ~x4568 ~x343 ~x2033 ~x3724 
0.88/0.99	v ~x1187 ~x2878 ~x4569 ~x344 ~x2034 ~x3725 ~x1188 ~x2879 ~x4570 ~x345 
0.88/0.99	v ~x2035 ~x3726 x1189 ~x2880 ~x4571 ~x346 ~x2036 ~x3727 x1190 ~x2881 
0.88/0.99	v x4572 ~x347 ~x2037 x3728 ~x1191 ~x2882 ~x4573 ~x348 ~x2038 ~x3729 
0.88/0.99	v ~x1192 ~x2883 ~x4574 ~x349 ~x2039 ~x3730 ~x1193 ~x2884 ~x4575 ~x350 
0.88/0.99	v ~x2040 ~x3731 ~x1194 x2885 ~x4576 ~x351 ~x2041 ~x3732 ~x1195 ~x2886 
0.88/0.99	v ~x4577 ~x352 ~x2042 ~x3733 ~x1196 ~x2887 x4578 ~x353 ~x2043 ~x3734 
0.88/0.99	v ~x1197 x2888 ~x4579 ~x354 ~x2044 ~x3735 ~x1198 ~x2889 ~x4580 ~x355 
0.88/0.99	v ~x2045 ~x3736 ~x1199 ~x2890 ~x4581 ~x356 ~x2046 ~x3737 ~x1200 ~x2891 
0.88/0.99	v ~x4582 ~x357 ~x2047 x3738 ~x1201 ~x2892 ~x4583 ~x358 ~x2048 ~x3739 
0.88/0.99	v ~x1202 x2893 x4584 ~x359 x2049 ~x3740 ~x1203 ~x2894 ~x4585 ~x360 
0.88/0.99	v ~x2050 x3741 ~x1204 ~x2895 ~x4586 ~x361 ~x2051 ~x3742 ~x1205 ~x2896 
0.88/0.99	v x4587 ~x362 ~x2052 ~x3743 ~x1206 ~x2897 ~x4588 ~x363 ~x2053 ~x3744 
0.88/0.99	v ~x1207 ~x2898 ~x4589 x364 ~x2054 x3745 ~x1208 ~x2899 ~x4590 ~x365 
0.88/0.99	v ~x2055 ~x3746 ~x1209 ~x2900 ~x4591 ~x366 ~x2056 ~x3747 ~x1210 ~x2901 
0.88/0.99	v x4592 ~x367 ~x2057 ~x3748 ~x1211 ~x2902 ~x4593 ~x368 ~x2058 ~x3749 
0.88/0.99	v ~x1212 ~x2903 ~x4594 ~x369 ~x2059 ~x3750 ~x1213 x2904 ~x4595 ~x370 
0.88/0.99	v ~x2060 ~x3751 ~x1214 ~x2905 ~x4596 ~x371 ~x2061 ~x3752 ~x1215 x2906 
0.88/0.99	v ~x4597 ~x372 ~x2062 ~x3753 ~x1216 ~x2907 ~x4598 x373 ~x2063 x3754 
0.88/0.99	v ~x1217 ~x2908 ~x4599 ~x374 ~x2064 ~x3755 ~x1218 ~x2909 x4600 ~x375 
0.88/0.99	v x2065 ~x3756 ~x1219 ~x2910 ~x4601 ~x376 ~x2066 ~x3757 ~x1220 ~x2911 
0.88/0.99	v ~x4602 ~x377 x2067 x3758 ~x1221 ~x2912 x4603 ~x378 ~x2068 ~x3759 
0.88/0.99	v ~x1222 ~x2913 ~x4604 ~x379 ~x2069 ~x3760 ~x1223 x2914 ~x4605 ~x380 
0.88/0.99	v ~x2070 ~x3761 ~x1224 ~x2915 ~x4606 ~x381 ~x2071 ~x3762 ~x1225 ~x2916 
0.88/0.99	v ~x4607 ~x382 ~x2072 ~x3763 ~x1226 ~x2917 ~x4608 ~x383 ~x2073 ~x3764 
0.88/0.99	v ~x1227 ~x2918 ~x384 ~x2074 ~x3765 ~x1228 ~x2919 ~x385 ~x2075 x3766 
0.88/0.99	v ~x1229 ~x2920 ~x386 ~x2076 ~x3767 ~x1230 ~x2921 ~x387 ~x2077 ~x3768 
0.88/0.99	v ~x1231 x2922 ~x388 ~x2078 x3769 ~x1232 ~x2923 ~x389 ~x2079 ~x3770 
0.88/0.99	v ~x1233 ~x2924 ~x390 ~x2080 ~x3771 ~x1234 x2925 ~x391 x2081 ~x3772 
0.88/0.99	v ~x1235 ~x2926 ~x392 ~x2082 ~x3773 ~x1236 ~x2927 ~x393 ~x2083 ~x3774 
0.88/0.99	v x1237 ~x2928 ~x394 ~x2084 x3775 ~x1238 ~x2929 ~x395 ~x2085 ~x3776 
0.88/0.99	v ~x1239 ~x2930 ~x396 ~x2086 ~x3777 ~x1240 x2931 ~x397 ~x2087 ~x3778 
0.88/0.99	v x1241 ~x2932 x398 ~x2088 ~x3779 ~x1242 ~x2933 ~x399 ~x2089 ~x3780 
0.88/0.99	v ~x1243 ~x2934 ~x400 ~x2090 x3781 ~x1244 ~x2935 ~x401 ~x2091 ~x3782 
0.88/0.99	v ~x1245 ~x2936 ~x402 ~x2092 ~x3783 ~x1246 ~x2937 ~x403 ~x2093 ~x3784 
0.88/0.99	v ~x1247 x2938 ~x404 ~x2094 ~x3785 ~x1248 ~x2939 ~x405 ~x2095 ~x3786 
0.88/0.99	v x1249 ~x2940 ~x406 ~x2096 ~x3787 ~x1250 ~x2941 x407 ~x2097 ~x3788 
0.88/0.99	v ~x1251 ~x2942 x408 ~x2098 ~x3789 ~x1252 ~x2943 ~x409 ~x2099 ~x3790 
0.88/0.99	v ~x1253 ~x2944 ~x410 x2100 ~x3791 ~x1254 x2945 ~x411 ~x2101 ~x3792 
0.88/0.99	v ~x1255 ~x2946 ~x412 ~x2102 ~x3793 ~x1256 ~x2947 ~x413 ~x2103 ~x3794 
0.88/0.99	v x1257 ~x2948 ~x414 ~x2104 ~x3795 x1258 x2949 ~x415 ~x2105 ~x3796 
0.88/0.99	v ~x1259 ~x2950 ~x416 ~x2106 ~x3797 ~x1260 ~x2951 ~x417 ~x2107 x3798 
0.88/0.99	v x1261 ~x2952 ~x418 ~x2108 ~x3799 ~x1262 ~x2953 ~x419 x2109 ~x3800 
0.88/0.99	v ~x1263 ~x2954 ~x420 ~x2110 ~x3801 ~x1264 x2955 ~x421 ~x2111 ~x3802 
0.88/0.99	v ~x1265 ~x2956 ~x422 ~x2112 ~x3803 ~x1266 ~x2957 ~x423 ~x2113 x3804 
0.88/0.99	v ~x1267 ~x2958 ~x424 ~x2114 ~x3805 ~x1268 ~x2959 ~x425 ~x2115 x3806 
0.88/0.99	v ~x1269 ~x2960 ~x426 ~x2116 ~x3807 ~x1270 ~x2961 ~x427 ~x2117 ~x3808 
0.88/0.99	v ~x1271 ~x2962 ~x428 ~x2118 ~x3809 ~x1272 ~x2963 ~x429 ~x2119 ~x3810 
0.88/0.99	v ~x1273 x2964 ~x430 ~x2120 ~x3811 ~x1274 ~x2965 ~x431 ~x2121 ~x3812 
0.88/0.99	v ~x1275 ~x2966 ~x432 ~x2122 ~x3813 ~x1276 x2967 ~x433 ~x2123 ~x3814 
0.88/0.99	v ~x1277 ~x2968 ~x434 ~x2124 ~x3815 ~x1278 ~x2969 ~x435 x3816 ~x1279 
0.88/0.99	v ~x2970 ~x436 ~x3817 ~x1280 ~x2971 ~x2125 ~x437 ~x3818 ~x1281 x2972 
0.88/0.99	v ~x2126 ~x438 ~x3819 ~x1282 ~x2973 ~x2127 ~x439 x3820 ~x1283 ~x2974 
0.88/0.99	v ~x2128 ~x440 ~x3821 ~x1284 ~x2975 ~x2129 ~x441 ~x3822 ~x1285 ~x2976 
0.88/0.99	v ~x2130 x442 ~x3823 ~x1286 ~x2977 ~x2131 ~x443 ~x3824 ~x1287 ~x2978 
0.88/0.99	v x2132 ~x444 ~x3825 ~x1288 ~x2979 ~x2133 ~x445 ~x3826 ~x1289 ~x2980 
0.88/0.99	v ~x2134 x446 x3827 ~x1290 ~x2981 ~x2135 ~x447 ~x3828 ~x1291 x2982 
0.88/0.99	v x2136 x448 x3829 ~x1292 x2983 ~x2137 ~x449 ~x3830 ~x1293 ~x2984 
0.88/0.99	v ~x2138 ~x450 ~x3831 ~x1294 ~x2985 ~x2139 ~x451 ~x3832 ~x1295 ~x2986 
0.88/0.99	v ~x2140 ~x452 ~x3833 ~x1296 ~x2987 ~x2141 ~x453 ~x3834 ~x1297 ~x2988 
0.88/0.99	v ~x2142 ~x454 ~x3835 x1298 ~x2989 ~x2143 ~x455 ~x3836 ~x1299 ~x2990 
0.88/0.99	v ~x2144 ~x456 ~x3837 ~x1300 ~x2991 ~x2145 ~x457 ~x3838 ~x1301 ~x2992 
0.88/0.99	v ~x2146 ~x458 ~x3839 ~x1302 x2993 ~x2147 ~x459 x3840 x1303 ~x2994 
0.88/0.99	v ~x2148 ~x460 x3841 ~x1304 ~x2995 ~x2149 ~x461 ~x3842 ~x1305 ~x2996 
0.88/0.99	v ~x2150 ~x462 ~x3843 ~x1306 ~x2997 x2151 x463 ~x3844 ~x1307 ~x2998 
0.88/0.99	v x2152 ~x464 ~x3845 x1308 ~x2999 ~x2153 ~x465 ~x3846 ~x1309 x3000 
0.88/0.99	v ~x2154 ~x466 ~x3847 ~x1310 x3001 ~x2155 ~x467 ~x3848 ~x1311 ~x3002 
0.88/0.99	v ~x2156 ~x468 ~x3849 ~x1312 ~x3003 ~x2157 ~x469 x3850 ~x1313 ~x3004 
0.88/0.99	v ~x2158 ~x470 ~x3851 ~x1314 ~x3005 ~x2159 ~x471 ~x3852 ~x1315 ~x3006 
0.88/0.99	v ~x2160 ~x472 x3853 ~x1316 ~x3007 ~x2161 ~x473 ~x3854 ~x1317 ~x3008 
0.88/0.99	v ~x2162 x474 ~x3855 ~x1318 ~x3009 ~x2163 ~x475 ~x3856 ~x1319 ~x3010 
0.88/0.99	v ~x2164 ~x476 ~x3857 ~x1320 ~x3011 ~x2165 ~x477 ~x3858 ~x1321 x3012 
0.88/0.99	v ~x2166 ~x478 x3859 ~x1322 ~x3013 ~x2167 x479 ~x3860 x1323 ~x3014 
0.88/0.99	v ~x2168 ~x480 ~x3861 ~x1324 ~x3015 ~x2169 ~x481 ~x3862 ~x1325 ~x3016 
0.88/0.99	v ~x2170 x482 ~x3863 ~x1326 ~x3017 ~x2171 ~x483 ~x3864 ~x1327 x3018 
0.88/0.99	v ~x2172 ~x484 ~x3865 ~x1328 ~x3019 ~x2173 ~x485 ~x3866 ~x1329 ~x3020 
0.88/0.99	v x2174 ~x486 ~x3867 ~x1330 ~x3021 ~x2175 ~x487 x3868 ~x1331 ~x3022 
0.88/0.99	v ~x2176 ~x488 ~x3869 ~x1332 ~x3023 ~x2177 ~x489 ~x3870 ~x1333 x3024 
0.88/0.99	v ~x2178 ~x490 x3871 ~x1334 ~x3025 ~x2179 ~x491 ~x3872 ~x1335 x3026 
0.88/0.99	v ~x2180 ~x492 ~x3873 ~x1336 ~x3027 ~x2181 ~x493 ~x3874 ~x1337 ~x3028 
0.88/0.99	v x2182 ~x494 ~x3875 ~x1338 ~x3029 ~x2183 ~x495 ~x3876 ~x1339 ~x3030 
0.88/0.99	v ~x2184 ~x496 x3877 ~x1340 ~x3031 x2185 ~x497 ~x3878 ~x1341 ~x3032 
0.88/0.99	v ~x2186 ~x498 ~x3879 ~x1342 ~x3033 ~x2187 ~x499 ~x3880 ~x1343 x3034 
0.88/0.99	v ~x2188 ~x500 ~x3881 ~x1344 ~x3035 ~x2189 x501 ~x3882 ~x1345 ~x3036 
0.88/0.99	v ~x2190 ~x502 ~x3883 x1346 ~x3037 ~x2191 ~x503 ~x3884 ~x1347 ~x3038 
0.88/0.99	v ~x2192 ~x504 x3885 ~x1348 ~x3039 ~x2193 ~x505 ~x3886 ~x1349 ~x3040 
0.88/0.99	v x2194 ~x506 ~x3887 ~x1350 x3041 ~x2195 ~x507 ~x3888 x1351 ~x3042 
0.88/0.99	v ~x2196 ~x508 ~x3889 ~x1352 x3043 x2197 x509 ~x3890 ~x1353 ~x3044 
0.88/0.99	v ~x2198 ~x510 ~x3891 ~x1354 ~x3045 ~x2199 ~x511 ~x3892 ~x1355 ~x3046 
0.88/0.99	v ~x2200 ~x512 ~x3893 ~x1356 ~x3047 ~x2201 ~x513 x3894 ~x1357 ~x3048 
0.88/0.99	v ~x2202 ~x514 x3895 ~x1358 ~x3049 x2203 ~x515 ~x3896 ~x1359 ~x3050 
0.88/0.99	v ~x2204 ~x516 ~x3897 ~x1360 ~x3051 ~x2205 ~x517 ~x3898 ~x1361 ~x3052 
0.88/0.99	v ~x2206 ~x518 ~x3899 ~x1362 ~x3053 ~x2207 x519 ~x3900 ~x1363 x3054 
0.88/0.99	v ~x2208 ~x520 x3901 ~x1364 ~x3055 x2209 ~x521 ~x3902 ~x1365 x3056 
0.88/0.99	v ~x2210 ~x522 ~x3903 x1366 ~x3057 ~x2211 ~x523 ~x3904 ~x1367 ~x3058 
0.88/0.99	v ~x2212 ~x524 ~x3905 ~x1368 ~x3059 ~x2213 ~x525 ~x3906 ~x1369 ~x3060 
0.88/0.99	v ~x2214 ~x526 ~x3907 ~x1370 ~x3061 x2215 ~x527 ~x3908 ~x1371 ~x3062 
0.88/0.99	v ~x2216 x528 ~x3909 ~x1372 ~x3063 ~x2217 ~x529 ~x3910 ~x1373 ~x3064 
0.88/0.99	v ~x2218 ~x530 ~x3911 ~x1374 ~x3065 ~x2219 ~x531 x3912 ~x1375 x3066 
0.88/0.99	v ~x2220 ~x532 ~x3913 ~x1376 ~x3067 ~x2221 ~x533 ~x3914 ~x1377 x3068 
0.88/0.99	v ~x2222 ~x534 ~x3915 ~x1378 ~x3069 x2223 ~x535 ~x3916 ~x1379 ~x3070 
0.88/0.99	v ~x2224 ~x536 ~x3917 ~x1380 ~x3071 ~x2225 ~x537 x3918 ~x1381 ~x3072 
0.88/0.99	v ~x2226 ~x538 ~x3919 ~x1382 ~x3073 ~x2227 ~x539 ~x3920 x1383 x3074 
0.88/0.99	v ~x2228 x540 ~x3921 ~x1384 ~x3075 ~x2229 ~x541 ~x3922 ~x1385 ~x3076 
0.88/0.99	v x2230 ~x542 ~x3923 ~x1386 ~x3077 ~x2231 ~x543 x3924 ~x1387 ~x3078 
0.88/0.99	v ~x2232 ~x544 x3925 ~x1388 ~x3079 ~x2233 ~x545 ~x3926 ~x1389 x3080 
0.88/0.99	v ~x2234 ~x546 ~x3927 ~x1390 ~x3081 ~x2235 ~x547 ~x3928 x1391 ~x3082 
0.88/0.99	v ~x2236 ~x548 ~x3929 ~x1392 ~x3083 x2237 ~x549 ~x3930 ~x1393 ~x3084 
0.88/0.99	v ~x2238 ~x550 ~x3931 x1394 x3085 x2239 ~x3932 ~x1395 ~x3086 ~x2240 
0.88/0.99	v ~x551 ~x3933 ~x1396 ~x3087 ~x2241 ~x552 ~x3934 ~x1397 ~x3088 ~x2242 
0.88/0.99	v ~x553 x3935 ~x1398 ~x3089 ~x2243 ~x554 ~x3936 x1399 ~x3090 ~x2244 
0.88/0.99	v x555 x3937 ~x1400 ~x3091 ~x2245 ~x556 ~x3938 ~x1401 ~x3092 ~x2246 
0.88/0.99	v ~x557 ~x3939 ~x1402 ~x3093 ~x2247 ~x558 ~x3940 ~x1403 ~x3094 ~x2248 
0.88/0.99	v ~x559 ~x3941 ~x1404 x3095 x2249 x560 ~x3942 ~x1405 ~x3096 ~x2250 
0.88/0.99	v ~x561 ~x3943 ~x1406 ~x3097 ~x2251 ~x562 ~x3944 ~x1407 x3098 ~x2252 
0.88/0.99	v ~x563 x3945 ~x1408 ~x3099 ~x2253 x564 ~x3946 ~x1409 ~x3100 x2254 
0.88/0.99	v ~x565 ~x3947 ~x1410 ~x3101 ~x2255 ~x566 ~x3948 ~x1411 ~x3102 ~x2256 
0.88/0.99	v ~x567 ~x3949 ~x1412 ~x3103 x2257 ~x568 ~x3950 ~x1413 ~x3104 ~x2258 
0.88/0.99	v ~x569 ~x3951 ~x1414 ~x3105 ~x2259 ~x570 ~x3952 ~x1415 ~x3106 ~x2260 
0.88/0.99	v ~x571 ~x3953 ~x1416 ~x3107 ~x2261 ~x572 x3954 ~x1417 x3108 ~x2262 
0.88/0.99	v ~x573 ~x3955 ~x1418 ~x3109 x2263 ~x574 ~x3956 x1419 ~x3110 ~x2264 
0.88/0.99	v ~x575 ~x3957 ~x1420 x3111 ~x2265 ~x576 ~x3958 ~x1421 ~x3112 ~x2266 
0.88/0.99	v ~x577 ~x3959 ~x1422 ~x3113 ~x2267 ~x578 x3960 ~x1423 ~x3114 ~x2268 
0.88/0.99	v ~x579 x3961 ~x1424 ~x3115 ~x2269 ~x580 ~x3962 ~x1425 ~x3116 ~x2270 
0.88/0.99	v ~x581 ~x3963 ~x1426 ~x3117 ~x2271 ~x582 ~x3964 x1427 x3118 ~x2272 
0.88/0.99	v ~x583 ~x3965 ~x1428 ~x3119 x2273 ~x584 ~x3966 ~x1429 ~x3120 ~x2274 
0.88/0.99	v ~x585 ~x3967 ~x1430 ~x3121 ~x2275 ~x586 x3968 ~x1431 ~x3122 ~x2276 
0.88/0.99	v ~x587 ~x3969 ~x1432 ~x3123 ~x2277 ~x588 ~x3970 ~x1433 ~x3124 ~x2278 
0.88/0.99	v ~x589 ~x3971 ~x1434 ~x3125 ~x2279 ~x590 ~x3972 ~x1435 x3126 x2280 
0.88/0.99	v ~x591 x3973 ~x1436 ~x3127 ~x2281 ~x592 ~x3974 ~x1437 ~x3128 ~x2282 
0.88/0.99	v ~x593 ~x3975 x1438 x3129 x2283 ~x594 ~x3976 ~x1439 ~x3130 ~x2284 
0.88/0.99	v ~x595 ~x3977 ~x1440 ~x3131 ~x2285 ~x596 ~x3978 ~x1441 ~x3132 ~x2286 
0.88/0.99	v ~x597 ~x3979 ~x1442 ~x3133 ~x2287 ~x598 ~x3980 ~x1443 ~x3134 x2288 
0.88/0.99	v ~x599 x3981 ~x1444 ~x3135 ~x2289 ~x600 ~x3982 ~x1445 ~x3136 ~x2290 
0.88/0.99	v x601 ~x3983 ~x1446 ~x3137 ~x2291 ~x602 ~x3984 ~x1447 x3138 ~x2292 
0.88/0.99	v ~x603 ~x3985 ~x1448 ~x3139 x2293 ~x604 ~x3986 ~x1449 ~x3140 ~x2294 
0.88/0.99	v ~x605 ~x3987 ~x1450 ~x3141 ~x2295 ~x606 ~x3988 ~x1451 ~x3142 ~x2296 
0.88/0.99	v ~x607 ~x3989 ~x1452 ~x3143 ~x2297 ~x608 x3990 ~x1453 x3144 ~x2298 
0.88/0.99	v ~x609 ~x3991 ~x1454 ~x3145 ~x2299 x610 ~x3992 ~x1455 ~x3146 x2300 
0.88/0.99	v ~x611 ~x3993 ~x1456 ~x3147 ~x2301 ~x612 x3994 ~x1457 ~x3148 ~x2302 
0.88/0.99	v ~x613 ~x3995 ~x1458 x3149 ~x2303 ~x614 ~x3996 ~x1459 ~x3150 ~x2304 
0.88/0.99	v ~x615 ~x3997 ~x1460 x3151 x2305 ~x616 ~x3998 ~x1461 ~x3152 ~x2306 
0.88/0.99	v ~x617 x3999 x1462 ~x3153 ~x2307 ~x618 ~x4000 ~x1463 ~x3154 ~x2308 
0.88/0.99	v x619 ~x4001 ~x1464 ~x3155 ~x2309 ~x620 ~x4002 ~x1465 ~x3156 ~x2310 
0.88/0.99	v ~x621 ~x4003 ~x1466 ~x3157 x2311 ~x622 ~x4004 ~x1467 ~x3158 ~x2312 
0.88/0.99	v ~x623 ~x4005 ~x1468 ~x3159 ~x2313 ~x624 ~x4006 ~x1469 ~x3160 ~x2314 
0.88/0.99	v ~x625 ~x4007 ~x1470 ~x3161 ~x2315 ~x626 x4008 ~x1471 x3162 ~x2316 
0.88/0.99	v ~x627 ~x4009 ~x1472 ~x3163 ~x2317 ~x628 ~x4010 ~x1473 ~x3164 ~x2318 
0.88/0.99	v ~x629 x4011 ~x1474 x3165 ~x2319 ~x630 ~x4012 x1475 ~x3166 ~x2320 
0.88/0.99	v ~x631 ~x4013 ~x1476 ~x3167 ~x2321 ~x632 ~x4014 ~x1477 ~x3168 x2322 
0.88/0.99	v ~x633 ~x4015 ~x1478 ~x3169 ~x2323 ~x634 ~x4016 ~x1479 ~x3170 ~x2324 
0.88/0.99	v ~x635 ~x4017 ~x1480 ~x3171 ~x2325 ~x636 ~x4018 ~x1481 ~x3172 ~x2326 
0.88/0.99	v ~x637 ~x4019 ~x1482 ~x3173 ~x2327 ~x638 x4020 ~x1483 x3174 x2328 
0.88/0.99	v ~x639 ~x4021 ~x1484 ~x3175 ~x2329 ~x4022 x640 ~x3176 ~x1485 ~x2330 
0.88/0.99	v ~x641 x4023 ~x1486 x3177 ~x2331 ~x642 ~x4024 ~x1487 ~x3178 ~x2332 
0.88/0.99	v ~x643 ~x4025 ~x1488 ~x3179 ~x2333 ~x644 ~x4026 ~x1489 ~x3180 x2334 
0.88/0.99	v ~x645 ~x4027 ~x1490 ~x3181 ~x2335 ~x646 ~x4028 ~x1491 ~x3182 ~x2336 
0.88/0.99	v ~x647 ~x4029 ~x1492 x3183 ~x2337 ~x648 ~x4030 ~x1493 ~x3184 ~x2338 
0.88/0.99	v ~x649 x4031 x1494 ~x3185 x2339 ~x650 ~x4032 ~x1495 ~x3186 ~x2340 
0.88/0.99	v ~x651 ~x4033 ~x1496 ~x3187 ~x2341 ~x652 ~x4034 ~x1497 ~x3188 x2342 
0.88/0.99	v ~x653 ~x4035 ~x1498 ~x3189 ~x2343 ~x654 ~x4036 ~x1499 ~x3190 ~x2344 
0.88/0.99	v ~x655 ~x4037 ~x1500 x3191 ~x2345 ~x656 x4038 x1501 ~x3192 ~x2346 
0.88/0.99	v ~x657 ~x4039 ~x1502 ~x3193 ~x2347 ~x658 ~x4040 ~x1503 ~x3194 ~x2348 
0.88/0.99	v ~x659 x4041 ~x1504 ~x3195 x2349 ~x660 ~x4042 ~x1505 ~x3196 ~x2350 
0.88/0.99	v ~x661 ~x4043 ~x1506 x3197 ~x2351 ~x662 ~x4044 ~x1507 ~x3198 ~x2352 
0.88/0.99	v x663 ~x4045 ~x1508 ~x3199 x2353 ~x664 ~x4046 ~x1509 ~x3200 ~x2354 
0.88/0.99	v ~x665 ~x4047 ~x1510 ~x3201 ~x2355 ~x666 ~x4048 ~x1511 ~x3202 ~x2356 
0.88/0.99	v ~x667 ~x4049 ~x1512 ~x3203 ~x2357 ~x668 x4050 x1513 x3204 ~x2358 
0.88/0.99	v ~x669 ~x4051 ~x1514 ~x3205 ~x2359 ~x670 ~x4052 ~x1515 x3206 ~x2360 
0.88/0.99	v ~x671 ~x4053 x1516 ~x3207 ~x2361 ~x672 ~x4054 ~x1517 ~x3208 ~x2362 
0.88/0.99	v ~x673 ~x4055 ~x1518 ~x3209 ~x2363 ~x674 x4056 ~x1519 ~x3210 x2364 
0.88/0.99	v ~x675 ~x4057 ~x1520 x3211 ~x2365 ~x676 ~x4058 ~x1521 ~x3212 ~x2366 
0.88/0.99	v ~x677 ~x4059 ~x1522 ~x3213 ~x2367 ~x678 ~x4060 ~x1523 ~x3214 ~x2368 
0.88/0.99	v ~x679 ~x4061 ~x1524 ~x3215 ~x2369 ~x680 x4062 ~x1525 ~x3216 x2370 
0.88/0.99	v ~x681 ~x4063 ~x1526 ~x3217 ~x2371 ~x682 ~x4064 ~x1527 ~x3218 ~x2372 
0.88/0.99	v ~x683 ~x4065 ~x1528 x3219 x2373 ~x684 ~x4066 ~x1529 ~x3220 ~x2374 
0.88/0.99	v x685 ~x4067 ~x1530 ~x3221 ~x2375 ~x686 x4068 x1531 ~x3222 ~x2376 
0.88/0.99	v ~x687 ~x4069 ~x1532 ~x3223 ~x2377 ~x688 ~x4070 ~x1533 ~x3224 ~x2378 
0.88/0.99	v ~x689 x4071 ~x1534 ~x3225 ~x2379 x690 ~x4072 ~x1535 ~x3226 ~x2380 
0.88/0.99	v ~x691 ~x4073 ~x1536 ~x3227 ~x2381 ~x692 ~x4074 ~x1537 x3228 x2382 
0.88/0.99	v ~x693 ~x4075 ~x1538 x3229 ~x2383 ~x694 ~x4076 ~x1539 ~x3230 ~x2384 
0.88/0.99	v ~x695 x4077 ~x1540 ~x3231 ~x2385 ~x696 ~x4078 ~x1541 ~x3232 ~x2386 
0.88/0.99	v ~x697 ~x4079 ~x1542 ~x3233 ~x2387 ~x698 ~x4080 ~x1543 ~x3234 x2388 
0.88/0.99	v ~x699 ~x4081 ~x1544 ~x3235 ~x2389 ~x700 ~x4082 ~x1545 ~x3236 ~x2390 
0.88/0.99	v ~x701 ~x4083 ~x1546 ~x3237 x2391 ~x702 ~x4084 ~x1547 ~x3238 ~x2392 
0.88/1.00	v ~x703 ~x4085 ~x1548 ~x3239 ~x2393 ~x704 x4086 ~x1549 x3240 ~x2394 
0.88/1.00	v x705 ~x4087 ~x1550 ~x3241 ~x2395 ~x706 ~x4088 ~x1551 ~x3242 ~x2396 
0.88/1.00	v ~x707 x4089 x1552 x3243 ~x2397 ~x708 ~x4090 ~x1553 ~x3244 ~x2398 
0.88/1.00	v ~x709 ~x4091 ~x1554 ~x3245 ~x2399 ~x710 ~x4092 ~x1555 ~x3246 x2400 
0.88/1.00	v ~x711 ~x4093 ~x1556 ~x3247 ~x2401 ~x712 ~x4094 ~x1557 ~x3248 x2402 
0.88/1.00	v ~x713 ~x4095 ~x1558 x3249 ~x2403 ~x714 ~x4096 ~x1559 ~x3250 ~x2404 
0.88/1.00	v ~x715 x4097 ~x1560 ~x3251 ~x2405 ~x716 ~x4098 ~x1561 ~x3252 ~x2406 
0.88/1.00	v ~x717 x4099 x1562 ~x3253 ~x2407 ~x718 ~x4100 ~x1563 ~x3254 x2408 
0.88/1.00	v ~x719 ~x4101 x1564 ~x3255 ~x2409 x720 ~x4102 ~x1565 ~x3256 ~x2410 
0.88/1.00	v ~x721 ~x4103 ~x1566 ~x3257 ~x2411 ~x722 ~x4104 ~x1567 x3258 ~x2412 
0.88/1.00	v ~x723 ~x4105 ~x1568 ~x3259 ~x2413 ~x724 ~x4106 ~x1569 ~x3260 x2414 
0.88/1.00	v x725 ~x4107 ~x1570 ~x3261 ~x2415 ~x726 ~x4108 ~x1571 ~x3262 ~x2416 
0.88/1.00	v ~x727 x4109 ~x1572 ~x3263 ~x2417 ~x728 ~x4110 ~x1573 x3264 ~x2418 
0.88/1.00	v ~x729 x4111 ~x1574 ~x3265 ~x2419 ~x730 ~x4112 ~x1575 ~x3266 ~x2420 
0.88/1.00	v ~x731 ~x4113 ~x1576 ~x3267 ~x2421 ~x732 ~x4114 x1577 ~x3268 ~x2422 
0.88/1.00	v ~x733 ~x4115 ~x1578 ~x3269 x2423 ~x734 ~x4116 ~x1579 x3270 ~x2424 
0.88/1.00	v ~x735 x4117 ~x1580 ~x3271 ~x2425 ~x736 ~x4118 ~x1581 ~x3272 ~x2426 
0.88/1.00	v ~x737 ~x4119 ~x1582 ~x3273 x2427 ~x738 ~x4120 ~x1583 ~x3274 ~x2428 
0.88/1.00	v ~x739 ~x4121 ~x1584 ~x3275 ~x2429 ~x740 ~x4122 ~x1585 x3276 ~x2430 
0.88/1.00	v ~x741 x4123 x1586 ~x3277 ~x2431 ~x742 ~x4124 ~x1587 x3278 x2432 
0.88/1.00	v ~x743 ~x4125 ~x1588 ~x3279 ~x2433 ~x744 ~x4126 ~x1589 ~x3280 ~x2434 
0.88/1.00	v ~x745 ~x4127 ~x1590 ~x3281 ~x2435 ~x746 ~x4128 ~x1591 ~x3282 ~x2436 
0.88/1.00	v x747 x4129 x1592 ~x3283 ~x2437 ~x748 ~x4130 ~x1593 ~x3284 ~x2438 
0.88/1.00	v ~x749 ~x4131 ~x1594 ~x3285 ~x2439 ~x750 ~x4132 ~x1595 ~x3286 ~x2440 
0.88/1.00	v ~x751 ~x4133 x1596 ~x3287 ~x2441 ~x752 ~x4134 ~x1597 x3288 x2442 
0.88/1.00	v ~x753 ~x4135 ~x1598 ~x3289 x2443 ~x754 ~x4136 ~x1599 x3290 ~x2444 
0.88/1.00	v ~x755 ~x4137 ~x1600 ~x3291 ~x2445 ~x756 ~x4138 ~x1601 ~x3292 ~x2446 
0.88/1.00	v ~x757 ~x4139 ~x1602 ~x3293 ~x2447 ~x758 x4140 ~x1603 ~x3294 ~x2448 
0.88/1.00	v ~x759 x4141 ~x1604 ~x3295 ~x2449 ~x760 ~x4142 ~x1605 ~x3296 x2450 
0.88/1.00	v ~x761 ~x4143 ~x1606 x3297 ~x2451 ~x762 ~x4144 ~x1607 ~x3298 ~x2452 
0.88/1.00	v ~x763 ~x4145 ~x1608 ~x3299 ~x2453 ~x764 ~x4146 ~x1609 ~x3300 ~x2454 
0.88/1.00	v ~x765 ~x4147 ~x1610 ~x3301 ~x2455 ~x766 x4148 ~x1611 ~x3302 x2456 
0.88/1.00	v ~x767 ~x4149 ~x1612 x3303 ~x2457 ~x768 ~x4150 ~x1613 ~x3304 ~x2458 
0.88/1.00	v x769 ~x4151 ~x1614 ~x3305 ~x2459 ~x770 ~x4152 ~x1615 ~x3306 ~x2460 
0.88/1.00	v x771 ~x4153 ~x1616 x3307 ~x2461 ~x772 ~x4154 ~x1617 ~x3308 ~x2462 
0.88/1.00	v ~x773 ~x4155 ~x1618 ~x3309 ~x2463 ~x774 ~x4156 x1619 ~x3310 ~x2464 
0.88/1.00	v ~x775 x4157 ~x1620 ~x3311 ~x2465 ~x776 ~x4158 ~x1621 ~x3312 x2466 
0.88/1.00	v ~x777 ~x4159 ~x1622 ~x3313 ~x2467 ~x778 x4160 ~x1623 ~x3314 ~x2468 
0.88/1.00	v ~x779 ~x4161 ~x1624 x3315 ~x2469 ~x780 ~x4162 ~x1625 ~x3316 ~x2470 
0.88/1.00	v ~x781 ~x4163 ~x1626 ~x3317 x2471 ~x782 ~x4164 ~x1627 ~x3318 ~x2472 
0.88/1.00	v ~x783 x4165 ~x1628 ~x3319 x2473 ~x784 ~x4166 ~x1629 x3320 ~x2474 
0.88/1.00	v ~x785 ~x4167 ~x1630 ~x3321 ~x2475 ~x786 ~x4168 ~x1631 ~x3322 ~x2476 
0.88/1.00	v ~x787 ~x4169 ~x1632 ~x3323 ~x2477 x788 ~x4170 ~x1633 ~x3324 ~x2478 
0.88/1.00	v ~x789 x4171 ~x1634 x3325 ~x2479 ~x790 ~x4172 ~x1635 ~x3326 ~x2480 
0.88/1.00	v ~x791 ~x4173 ~x1636 ~x3327 x2481 ~x792 ~x4174 x1637 ~x3328 ~x2482 
0.88/1.00	v ~x793 ~x4175 ~x1638 ~x3329 ~x2483 ~x794 ~x4176 ~x1639 ~x3330 ~x2484 
0.88/1.00	v ~x795 ~x4177 ~x1640 ~x3331 ~x2485 ~x796 ~x4178 ~x1641 ~x3332 ~x2486 
0.88/1.00	v x797 x4179 x1642 ~x3333 x2487 ~x798 ~x4180 x1643 ~x3334 ~x2488 
0.88/1.00	v ~x799 ~x4181 ~x1644 x3335 ~x2489 ~x800 ~x4182 ~x1645 ~x3336 ~x2490 
0.88/1.00	v ~x801 ~x4183 ~x1646 ~x3337 ~x2491 ~x802 x4184 ~x1647 ~x3338 ~x2492 
0.88/1.00	v x803 ~x4185 ~x1648 ~x3339 ~x2493 ~x804 ~x4186 ~x1649 x3340 ~x2494 
0.88/1.00	v ~x805 ~x4187 ~x1650 ~x3341 ~x2495 ~x806 ~x4188 ~x1651 ~x3342 ~x2496 
0.88/1.00	v ~x807 ~x4189 ~x1652 ~x3343 ~x2497 ~x808 x4190 x1653 x3344 ~x2498 
0.88/1.00	v ~x809 ~x4191 ~x1654 ~x3345 ~x2499 ~x810 ~x4192 x1655 ~x3346 ~x2500 
0.88/1.00	v ~x811 ~x4193 ~x1656 ~x3347 ~x2501 ~x812 ~x4194 ~x1657 ~x3348 x2502 
0.88/1.00	v ~x813 ~x4195 ~x1658 ~x3349 ~x2503 ~x814 x4196 ~x1659 ~x3350 x2504 
0.88/1.00	v ~x815 ~x4197 ~x1660 x3351 ~x2505 ~x816 ~x4198 ~x1661 ~x3352 ~x2506 
0.88/1.00	v ~x817 ~x4199 x1662 ~x3353 ~x2507 ~x818 ~x4200 ~x1663 ~x3354 ~x2508 
0.88/1.00	v ~x819 ~x4201 ~x1664 ~x3355 ~x2509 ~x820 x4202 ~x1665 ~x3356 ~x2510 
0.88/1.00	v ~x821 ~x4203 ~x1666 ~x3357 ~x2511 ~x822 ~x4204 ~x1667 ~x3358 ~x2512 
0.88/1.00	v ~x823 ~x4205 ~x1668 ~x3359 x2513 ~x824 ~x4206 x1669 x3360 ~x2514 
0.88/1.00	v ~x825 ~x4207 ~x1670 x3361 ~x2515 ~x826 ~x4208 ~x1671 ~x3362 ~x2516 
0.88/1.00	v ~x827 ~x4209 ~x1672 ~x3363 ~x2517 ~x828 ~x4210 ~x1673 ~x3364 ~x2518 
0.88/1.00	v ~x829 ~x4211 ~x1674 ~x3365 ~x2519 ~x830 x4212 ~x1675 ~x3366 x2520 
0.88/1.00	v ~x831 x4213 ~x1676 ~x3367 x2521 ~x832 ~x4214 ~x1677 ~x3368 ~x2522 
0.88/1.00	v x833 ~x4215 ~x1678 ~x3369 ~x2523 ~x834 ~x4216 ~x1679 ~x3370 ~x2524 
0.88/1.00	v ~x835 ~x4217 ~x1680 x3371 ~x2525 ~x836 ~x4218 ~x1681 ~x3372 ~x2526 
0.88/1.00	v ~x837 ~x4219 ~x1682 x3373 ~x2527 ~x838 ~x4220 ~x1683 ~x3374 ~x2528 
0.88/1.00	v ~x1 ~x839 x4221 ~x1684 ~x3375 x2529 ~x2 ~x840 ~x4222 ~x1685 
0.88/1.00	v ~x3376 ~x2530 ~x3 ~x841 ~x4223 ~x1686 ~x3377 ~x2531 ~x4 ~x842 
0.88/1.00	v ~x4224 ~x1687 ~x3378 ~x2532 ~x5 ~x843 ~x4225 x1688 ~x3379 ~x2533 
0.88/1.00	v ~x6 ~x844 ~x4226 ~x1689 ~x3380 ~x2534 ~x7 ~x845 x4227 ~x1690 
0.88/1.00	v x3381 ~x2535 ~x8 ~x846 ~x4228 ~x1691 ~x3382 ~x2536 ~x9 ~x847 
0.88/1.00	v ~x4229 ~x1692 ~x3383 ~x2537 x10 ~x848 ~x4230 ~x1693 ~x3384 x2538 
0.88/1.00	v ~x11 ~x849 ~x4231 ~x1694 ~x3385 ~x2539 ~x12 ~x850 ~x1695 ~x3386 
0.88/1.00	v ~x2540 x13 ~x851 ~x1696 ~x3387 ~x2541 ~x4232 ~x14 ~x852 ~x1697 
0.88/1.00	v ~x3388 x2542 x4233 ~x15 x853 ~x1698 ~x3389 ~x2543 ~x4234 ~x16 
0.88/1.00	v ~x854 ~x1699 x3390 ~x2544 ~x4235 ~x17 ~x855 ~x1700 ~x3391 ~x2545 
0.88/1.00	v ~x4236 ~x18 ~x856 ~x1701 ~x3392 x2546 ~x4237 ~x19 ~x857 ~x1702 
0.88/1.00	v ~x3393 ~x2547 ~x4238 ~x20 ~x858 ~x1703 ~x3394 ~x2548 ~x4239 ~x21 
0.88/1.00	v ~x859 x1704 x3395 ~x2549 ~x4240 ~x22 ~x860 ~x1705 ~x3396 ~x2550 
0.88/1.00	v x4241 ~x23 ~x861 ~x1706 ~x3397 ~x2551 ~x4242 ~x24 ~x862 ~x1707 
0.88/1.00	v ~x3398 x2552 ~x4243 x863 ~x1708 x3399 ~x2553 ~x4244 ~x864 ~x1709 
0.88/1.00	v ~x3400 ~x2554 x4245 ~x865 ~x25 x1710 ~x3401 ~x2555 ~x4246 ~x866 
0.88/1.00	v ~x26 ~x1711 ~x3402 ~x2556 ~x4247 ~x867 x27 ~x1712 ~x3403 ~x2557 
0.88/1.00	v ~x4248 ~x868 ~x28 ~x1713 ~x3404 ~x2558 ~x4249 ~x869 ~x29 ~x1714 
0.88/1.00	v ~x3405 x2559 ~x4250 ~x870 ~x30 ~x1715 ~x3406 ~x2560 x4251 ~x871 
0.88/1.00	v ~x31 ~x1716 ~x3407 ~x2561 ~x4252 ~x872 ~x32 ~x1717 x3408 ~x2562 
0.88/1.00	v ~x4253 ~x873 ~x33 ~x1718 ~x3409 ~x2563 ~x4254 ~x874 ~x34 ~x1719 
0.88/1.00	v ~x3410 ~x2564 ~x4255 x875 ~x35 ~x1720 x3411 ~x2565 ~x4256 ~x876 
0.88/1.00	v ~x36 ~x1721 ~x3412 ~x2566 ~x4257 ~x877 ~x37 x1722 ~x3413 ~x2567 
0.88/1.00	v ~x4258 ~x878 x38 ~x1723 ~x3414 x2568 ~x4259 ~x879 ~x39 ~x1724 
0.88/1.00	v ~x3415 ~x2569 x4260 ~x880 ~x40 ~x1725 ~x3416 x2570 ~x4261 ~x881 
0.88/1.00	v ~x41 ~x1726 ~x3417 ~x2571 x4262 ~x882 ~x42 ~x1727 ~x3418 ~x2572 
0.88/1.00	v ~x4263 ~x883 ~x43 ~x1728 ~x3419 ~x2573 ~x4264 ~x884 ~x44 ~x1729 
0.88/1.00	v x3420 ~x2574 ~x4265 ~x885 ~x45 ~x1730 x3421 ~x2575 ~x4266 ~x886 
0.88/1.00	v ~x46 ~x1731 ~x3422 ~x2576 ~x4267 ~x887 ~x47 x1732 ~x3423 ~x2577 
0.88/1.00	v x4268 ~x888 ~x48 ~x1733 ~x3424 x2578 ~x4269 ~x889 ~x1734 ~x3425 
0.88/1.00	v ~x2579 ~x4270 ~x890 ~x1735 ~x3426 ~x2580 ~x4271 ~x49 x891 ~x1736 
0.88/1.00	v ~x3427 ~x2581 ~x4272 ~x50 ~x892 ~x1737 ~x3428 x2582 ~x4273 ~x51 
0.88/1.00	v ~x893 ~x1738 ~x3429 ~x2583 ~x4274 ~x52 ~x894 ~x1739 ~x3430 ~x2584 
0.88/1.00	v ~x4275 ~x53 ~x895 ~x1740 ~x3431 ~x2585 ~x4276 ~x54 

Verifier Data

OK	0

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4492073-1751141794/watcher-4492073-1751141794 -o /tmp/evaluation-result-4492073-1751141794/solver-4492073-1751141794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751141617-13747 --watchdog 3760 pb_picat HOME/instance-4492073-1751141794.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=14490, runsolver pid=14487
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.05 3.05 3.36 5/266 14491
/proc/meminfo: memFree=128485648/131250000 swapFree=33010684/33010684
[pid=14490] ppid=14487 vsize=2027148 memory=38348 CPUtime=0.09 cores=0,2
/proc/14490/stat : 14490 (pb_picat) R 14487 14490 11578 0 -1 4194304 1088 0 0 0 8 1 0 0 20 0 1 0 29801942 2075799552 9587 18446744073709551615 94716274106368 94716275507949 140733443539952 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94716275779376 94716277653680 94716295991296 140733443545502 140733443545578 140733443545578 140733443551180 0
/proc/14490/statm: 506787 9587 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38348 KiB

[startup+0.205445 s]*
/proc/loadavg: 4.05 3.05 3.36 5/266 14491
/proc/meminfo: memFree=128473360/131250000 swapFree=33010684/33010684
[pid=14490] ppid=14487 vsize=2027148 memory=56860 CPUtime=0.19 cores=0,2
/proc/14490/stat : 14490 (pb_picat) R 14487 14490 11578 0 -1 4194304 1097 0 0 0 18 1 0 0 20 0 1 0 29801942 2075799552 14215 18446744073709551615 94716274106368 94716275507949 140733443539952 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94716275779376 94716277653680 94716295991296 140733443545502 140733443545578 140733443545578 140733443551180 0
/proc/14490/statm: 506787 14215 1536 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 56860 KiB

[startup+0.305518 s]*
/proc/loadavg: 4.05 3.06 3.36 5/266 14491
/proc/meminfo: memFree=128452880/131250000 swapFree=33010684/33010684
[pid=14490] ppid=14487 vsize=2027148 memory=78184 CPUtime=0.3 cores=0,2
/proc/14490/stat : 14490 (pb_picat) R 14487 14490 11578 0 -1 4194304 1258 0 0 0 28 2 0 0 20 0 1 0 29801942 2075799552 19546 18446744073709551615 94716274106368 94716275507949 140733443539952 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94716275779376 94716277653680 94716295991296 140733443545502 140733443545578 140733443545578 140733443551180 0
/proc/14490/statm: 506787 19546 1600 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 78184 KiB

[startup+0.700184 s]
/proc/loadavg: 4.05 3.06 3.36 5/266 14491
/proc/meminfo: memFree=128448784/131250000 swapFree=33010684/33010684
[pid=14490] ppid=14487 vsize=2037736 memory=90020 CPUtime=0.69 cores=0,2
/proc/14490/stat : 14490 (pb_picat) R 14487 14490 11578 0 -1 4194304 4599 0 0 0 66 3 0 0 20 0 1 0 29801942 2086641664 22505 18446744073709551615 94716274106368 94716275507949 140733443539952 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94716275779376 94716277653680 94716295991296 140733443545502 140733443545578 140733443545578 140733443551180 0
/proc/14490/statm: 509434 22505 1664 343 0 506498 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2037736 KiB
Current children cumulated memory: 90020 KiB

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

# cumulated CPU time of all completed processes:  user=0.954009 s, system=0.040927 s

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

[startup+0.800216 s]
/proc/loadavg: 4.05 3.06 3.36 5/266 14491
/proc/meminfo: memFree=128448784/131250000 swapFree=33010684/33010684
[pid=14490] ppid=14487 vsize=2037736 memory=90148 CPUtime=0.78 cores=0,2
/proc/14490/stat : 14490 (pb_picat) R 14487 14490 11578 0 -1 4194304 4630 0 0 0 75 3 0 0 20 0 1 0 29801942 2086641664 22537 18446744073709551615 94716274106368 94716275507949 140733443539952 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94716275779376 94716277653680 94716295991296 140733443545502 140733443545578 140733443545578 140733443551180 0
/proc/14490/statm: 509434 22537 1664 343 0 506498 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 2037736 KiB
Current children cumulated memory: 90148 KiB

[startup+0.900157 s]
/proc/loadavg: 4.05 3.06 3.36 5/266 14491
/proc/meminfo: memFree=128448784/131250000 swapFree=33010684/33010684
[pid=14490] ppid=14487 vsize=2037736 memory=90000 CPUtime=0.88 cores=0,2
/proc/14490/stat : 14490 (pb_picat) R 14487 14490 11578 0 -1 4194304 5236 0 0 0 85 3 0 0 20 0 1 0 29801942 2086641664 22500 18446744073709551615 94716274106368 94716275507949 140733443539952 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94716275779376 94716277653680 94716295991296 140733443545502 140733443545578 140733443545578 140733443551180 0
/proc/14490/statm: 509434 22500 1664 343 0 506498 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 2037736 KiB
Current children cumulated memory: 90000 KiB

Child status: 0

Real time (s): 1.00279
CPU time (s): 0.994936
CPU user time (s): 0.954009
CPU system time (s): 0.040927
CPU usage (%): 99.2166
Max. virtual memory (cumulated for all children) (KiB): 2037736
Max. memory (cumulated for all children) (KiB): 90148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.954009
system time used= 0.040927
maximum resident set size= 91024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5582
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66
involuntary context switches= 9


# summary of solver processes directly reported to runsolver:
#   pid: 14490
#   total CPU time (s): 0.994936
#   total CPU user time (s): 0.954009
#   total CPU system time (s): 0.040927

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.010668 second user time and 0.040431 second system time

The end

Launcher Data

Begin job on nodeC028 at 2025-06-28 22:16:34
IDJOB=4492073
IDBENCH=147758
IDSOLVER=3346
FILE ID=nodeC028/4492073-1751141794
RUNJOBID= nodeC028-1751141617-13747
SLURM_JOB_ID= 9587428
Free space on /tmp= 433032 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4492073-1751141794/watcher-4492073-1751141794 -o /tmp/evaluation-result-4492073-1751141794/solver-4492073-1751141794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751141617-13747 --watchdog 3760  pb_picat HOME/instance-4492073-1751141794.opb

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

MD5SUM BENCH= d1aade7dcf65cc3dbe16a05e614ec6ef
RANDOM SEED=709746103

nodeC028 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		: 3600.131
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	: 7000.16
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		: 3600.169
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	: 7000.16
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		: 3544.945
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	: 7000.16
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		: 3597.376
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	: 7000.16
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		: 3600.145
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	: 7000.16
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		: 3600.085
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	: 7000.16
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		: 3520.140
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	: 7000.16
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		: 3700.000
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	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128518416 kB
MemAvailable:   128132908 kB
Buffers:            3280 kB
Cached:           394456 kB
SwapCached:            0 kB
Active:          1949456 kB
Inactive:         172712 kB
Active(anon):    1742500 kB
Inactive(anon):        0 kB
Active(file):     206956 kB
Inactive(file):   172712 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4692 kB
Writeback:            20 kB
AnonPages:       1720240 kB
Mapped:           113252 kB
Shmem:             18068 kB
KReclaimable:      84668 kB
Slab:             167172 kB
SReclaimable:      84668 kB
SUnreclaim:        82504 kB
KernelStack:        4316 kB
PageTables:         6624 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7519940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1589248 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC028 at 2025-06-28 22:16:35