0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.50/0.54 c [STEP] preprocessing with Papilo
0.59/0.68 c Papilo could not simplify the problem
0.59/0.68 c [STEP] solving with SCIP
300.20/301.16 c [STEP] preprocessing done, loading into solver
300.39/301.30 c [STEP] solving
300.39/301.30 c #variables 1226 #constraints 78400
300.39/301.30 c SMALL=int, LARGE=long long
300.39/301.30 d SCIPUB -43
300.39/301.30 c bounds - >= -1000 @ 300.001
300.39/301.30 c stratification level: 0
300.39/301.32 c bounds - >= -999 @ 300.005
300.39/301.32 c bounds - >= -998 @ 300.005
300.39/301.32 c bounds - >= -997 @ 300.006
300.39/301.32 c bounds - >= -996 @ 300.006
300.39/301.32 c bounds - >= -995 @ 300.006
300.39/301.32 c bounds - >= -994 @ 300.006
300.39/301.32 c bounds - >= -993 @ 300.006
300.39/301.32 c bounds - >= -992 @ 300.006
300.39/301.32 c bounds - >= -991 @ 300.006
300.39/301.32 c bounds - >= -990 @ 300.006
300.39/301.32 c bounds - >= -989 @ 300.007
300.39/301.32 c bounds - >= -988 @ 300.007
300.39/301.32 c bounds - >= -987 @ 300.007
300.39/301.32 c bounds - >= -986 @ 300.007
300.39/301.32 c bounds - >= -985 @ 300.007
300.39/301.32 c bounds - >= -984 @ 300.007
300.39/301.32 c bounds - >= -983 @ 300.007
300.39/301.32 c bounds - >= -982 @ 300.007
300.39/301.32 c bounds - >= -981 @ 300.007
300.39/301.32 c bounds - >= -980 @ 300.008
300.39/301.32 c bounds - >= -979 @ 300.008
300.39/301.32 c bounds - >= -978 @ 300.008
300.39/301.32 c bounds - >= -977 @ 300.008
300.39/301.32 c bounds - >= -976 @ 300.008
300.39/301.32 c bounds - >= -975 @ 300.008
300.39/301.32 c bounds - >= -974 @ 300.008
300.39/301.32 c bounds - >= -973 @ 300.008
300.39/301.32 c bounds - >= -972 @ 300.008
300.39/301.32 c bounds - >= -971 @ 300.009
300.39/301.32 c bounds - >= -970 @ 300.009
300.39/301.32 c bounds - >= -969 @ 300.009
300.39/301.32 c bounds - >= -968 @ 300.009
300.39/301.32 c bounds - >= -967 @ 300.009
300.39/301.32 c bounds - >= -966 @ 300.009
300.39/301.32 c bounds - >= -965 @ 300.009
300.39/301.32 c bounds - >= -964 @ 300.009
300.39/301.32 c bounds - >= -963 @ 300.009
300.39/301.32 c bounds - >= -962 @ 300.01
300.39/301.32 c bounds - >= -961 @ 300.01
300.39/301.32 c bounds - >= -960 @ 300.01
300.39/301.32 c bounds - >= -959 @ 300.01
300.39/301.32 c bounds - >= -958 @ 300.01
300.39/301.32 c bounds - >= -957 @ 300.01
300.39/301.32 c bounds - >= -956 @ 300.01
300.39/301.32 c bounds - >= -955 @ 300.01
300.39/301.32 c bounds - >= -954 @ 300.01
300.39/301.32 c bounds - >= -953 @ 300.011
300.39/301.32 c bounds - >= -952 @ 300.011
300.39/301.32 c bounds - >= -951 @ 300.011
300.39/301.32 c bounds - >= -950 @ 300.011
300.39/301.32 c bounds - >= -949 @ 300.011
300.39/301.32 c bounds - >= -948 @ 300.011
300.39/301.32 c bounds - >= -947 @ 300.011
300.39/301.32 c bounds - >= -946 @ 300.011
300.39/301.32 c bounds - >= -945 @ 300.011
300.39/301.32 c bounds - >= -944 @ 300.012
300.39/301.32 c bounds - >= -943 @ 300.012
300.39/301.32 c bounds - >= -942 @ 300.012
300.39/301.32 c bounds - >= -941 @ 300.012
300.39/301.32 c bounds - >= -940 @ 300.012
300.39/301.32 c bounds - >= -939 @ 300.012
300.39/301.32 c bounds - >= -938 @ 300.012
300.39/301.32 c bounds - >= -937 @ 300.012
300.39/301.32 c bounds - >= -936 @ 300.012
300.39/301.32 c bounds - >= -935 @ 300.013
300.39/301.32 c bounds - >= -934 @ 300.013
300.39/301.32 c bounds - >= -933 @ 300.013
300.39/301.32 c bounds - >= -932 @ 300.013
300.39/301.32 c bounds - >= -931 @ 300.013
300.39/301.32 c bounds - >= -930 @ 300.013
300.39/301.32 c bounds - >= -929 @ 300.013
300.39/301.32 c bounds - >= -928 @ 300.013
300.39/301.32 c bounds - >= -927 @ 300.013
300.39/301.32 c bounds - >= -926 @ 300.014
300.39/301.32 c bounds - >= -925 @ 300.014
300.39/301.32 c bounds - >= -924 @ 300.014
300.39/301.32 c bounds - >= -923 @ 300.014
300.39/301.32 c bounds - >= -922 @ 300.014
300.39/301.32 c bounds - >= -921 @ 300.014
300.39/301.32 c bounds - >= -920 @ 300.014
300.39/301.32 c bounds - >= -919 @ 300.014
300.39/301.32 c bounds - >= -918 @ 300.014
300.39/301.32 c bounds - >= -917 @ 300.015
300.39/301.32 c bounds - >= -916 @ 300.015
300.39/301.32 c bounds - >= -915 @ 300.015
300.39/301.32 c bounds - >= -914 @ 300.015
300.39/301.32 c bounds - >= -913 @ 300.015
300.39/301.32 c bounds - >= -912 @ 300.015
300.39/301.32 c bounds - >= -911 @ 300.015
300.39/301.32 c bounds - >= -910 @ 300.015
300.39/301.32 c bounds - >= -909 @ 300.015
300.39/301.32 c bounds - >= -908 @ 300.015
300.39/301.32 c bounds - >= -907 @ 300.015
300.39/301.32 c bounds - >= -906 @ 300.015
300.39/301.32 c bounds - >= -905 @ 300.015
300.39/301.32 c bounds - >= -904 @ 300.015
300.39/301.32 c bounds - >= -903 @ 300.015
300.39/301.32 c bounds - >= -902 @ 300.015
300.39/301.32 c bounds - >= -901 @ 300.015
300.39/301.32 c bounds - >= -900 @ 300.015
300.39/301.32 c bounds - >= -899 @ 300.016
300.39/301.32 c bounds - >= -898 @ 300.016
300.39/301.32 c bounds - >= -897 @ 300.016
300.39/301.32 c bounds - >= -896 @ 300.016
300.39/301.32 c bounds - >= -895 @ 300.016
300.39/301.32 c bounds - >= -894 @ 300.016
300.39/301.32 c bounds - >= -893 @ 300.016
300.39/301.32 c bounds - >= -892 @ 300.016
300.39/301.32 c bounds - >= -891 @ 300.016
300.39/301.32 c bounds - >= -890 @ 300.017
300.39/301.32 c bounds - >= -889 @ 300.017
300.39/301.32 c bounds - >= -888 @ 300.017
300.39/301.32 c bounds - >= -887 @ 300.017
300.39/301.32 c bounds - >= -886 @ 300.017
300.39/301.32 c bounds - >= -885 @ 300.017
300.39/301.32 c bounds - >= -884 @ 300.017
300.39/301.32 c bounds - >= -883 @ 300.017
300.39/301.32 c bounds - >= -882 @ 300.017
300.39/301.32 c bounds - >= -881 @ 300.018
300.39/301.32 c bounds - >= -880 @ 300.018
300.39/301.32 c bounds - >= -879 @ 300.018
300.39/301.32 c bounds - >= -878 @ 300.018
300.39/301.32 c bounds - >= -877 @ 300.018
300.39/301.32 c bounds - >= -876 @ 300.018
300.39/301.32 c bounds - >= -875 @ 300.018
300.39/301.32 c bounds - >= -874 @ 300.018
300.39/301.32 c bounds - >= -873 @ 300.018
300.39/301.32 c bounds - >= -872 @ 300.019
300.39/301.32 c bounds - >= -871 @ 300.019
300.39/301.32 c bounds - >= -870 @ 300.019
300.39/301.32 c bounds - >= -869 @ 300.019
300.39/301.32 c bounds - >= -868 @ 300.019
300.39/301.32 c bounds - >= -867 @ 300.019
300.39/301.32 c bounds - >= -866 @ 300.019
300.39/301.32 c bounds - >= -865 @ 300.019
300.39/301.32 c bounds - >= -864 @ 300.019
300.39/301.32 c bounds - >= -863 @ 300.019
300.39/301.32 c bounds - >= -862 @ 300.019
300.39/301.32 c bounds - >= -861 @ 300.019
300.39/301.32 c bounds - >= -860 @ 300.019
300.39/301.32 c bounds - >= -859 @ 300.019
300.39/301.32 c bounds - >= -858 @ 300.019
300.39/301.34 c bounds - >= -857 @ 300.019
300.39/301.34 c bounds - >= -856 @ 300.019
300.39/301.34 c bounds - >= -855 @ 300.019
300.39/301.34 c bounds - >= -854 @ 300.02
300.39/301.34 c bounds - >= -853 @ 300.02
300.39/301.34 c bounds - >= -852 @ 300.02
300.39/301.34 c bounds - >= -851 @ 300.02
300.39/301.34 c bounds - >= -850 @ 300.02
300.39/301.34 c bounds - >= -849 @ 300.02
300.39/301.34 c bounds - >= -848 @ 300.02
300.39/301.34 c bounds - >= -847 @ 300.02
300.39/301.34 c bounds - >= -846 @ 300.02
300.39/301.34 c bounds - >= -845 @ 300.021
300.39/301.34 c bounds - >= -844 @ 300.021
300.39/301.34 c bounds - >= -843 @ 300.021
300.39/301.34 c bounds - >= -842 @ 300.021
300.39/301.34 c bounds - >= -841 @ 300.021
300.39/301.34 c bounds - >= -840 @ 300.021
300.39/301.34 c bounds - >= -839 @ 300.021
300.39/301.34 c bounds - >= -838 @ 300.021
300.39/301.34 c bounds - >= -837 @ 300.021
300.39/301.34 c bounds - >= -836 @ 300.022
300.39/301.34 c bounds - >= -835 @ 300.022
300.39/301.34 c bounds - >= -834 @ 300.022
300.39/301.34 c bounds - >= -833 @ 300.022
300.39/301.34 c bounds - >= -832 @ 300.022
300.39/301.34 c bounds - >= -831 @ 300.022
300.39/301.34 c bounds - >= -830 @ 300.022
300.39/301.34 c bounds - >= -829 @ 300.022
300.39/301.34 c bounds - >= -828 @ 300.023
300.39/301.34 c bounds - >= -827 @ 300.023
300.39/301.34 c bounds - >= -826 @ 300.023
300.39/301.34 c bounds - >= -825 @ 300.023
300.39/301.34 c bounds - >= -824 @ 300.023
300.39/301.34 c bounds - >= -823 @ 300.023
300.39/301.34 c bounds - >= -822 @ 300.023
300.39/301.34 c bounds - >= -821 @ 300.023
300.39/301.34 c bounds - >= -820 @ 300.023
300.39/301.34 c bounds - >= -819 @ 300.024
300.39/301.34 c bounds - >= -818 @ 300.024
300.39/301.34 c bounds - >= -817 @ 300.024
300.39/301.34 c bounds - >= -816 @ 300.024
300.39/301.34 c bounds - >= -815 @ 300.024
300.39/301.34 c bounds - >= -814 @ 300.024
300.39/301.34 c bounds - >= -813 @ 300.024
300.39/301.34 c bounds - >= -812 @ 300.024
300.39/301.34 c bounds - >= -811 @ 300.025
300.39/301.34 c bounds - >= -810 @ 300.025
300.39/301.34 c bounds - >= -809 @ 300.025
300.39/301.34 c bounds - >= -808 @ 300.025
300.39/301.34 c bounds - >= -807 @ 300.025
300.39/301.34 c bounds - >= -806 @ 300.025
300.39/301.34 c bounds - >= -805 @ 300.025
300.39/301.34 c bounds - >= -804 @ 300.025
300.39/301.34 c bounds - >= -803 @ 300.026
300.39/301.34 c bounds - >= -802 @ 300.026
300.39/301.34 c bounds - >= -801 @ 300.026
300.39/301.34 c bounds - >= -800 @ 300.026
300.39/301.34 c bounds - >= -799 @ 300.026
300.39/301.34 c bounds - >= -798 @ 300.026
300.39/301.34 c bounds - >= -797 @ 300.026
300.39/301.34 c bounds - >= -796 @ 300.026
300.39/301.34 c bounds - >= -795 @ 300.026
300.39/301.34 c bounds - >= -794 @ 300.027
300.39/301.34 c bounds - >= -793 @ 300.027
300.39/301.34 c bounds - >= -792 @ 300.027
300.39/301.34 c bounds - >= -791 @ 300.027
300.39/301.34 c bounds - >= -790 @ 300.027
300.39/301.34 c bounds - >= -789 @ 300.027
300.39/301.34 c bounds - >= -788 @ 300.027
300.39/301.34 c bounds - >= -787 @ 300.027
300.39/301.34 c bounds - >= -786 @ 300.028
300.39/301.34 c bounds - >= -785 @ 300.028
300.39/301.34 c bounds - >= -784 @ 300.028
300.39/301.34 c bounds - >= -783 @ 300.028
300.39/301.34 c bounds - >= -782 @ 300.028
300.39/301.34 c bounds - >= -781 @ 300.028
300.39/301.34 c bounds - >= -780 @ 300.028
300.39/301.34 c bounds - >= -779 @ 300.028
300.39/301.34 c bounds - >= -778 @ 300.028
300.39/301.34 c bounds - >= -777 @ 300.029
300.39/301.34 c bounds - >= -776 @ 300.029
300.39/301.34 c bounds - >= -775 @ 300.029
300.39/301.34 c bounds - >= -774 @ 300.029
300.39/301.34 c bounds - >= -773 @ 300.029
300.39/301.34 c bounds - >= -772 @ 300.029
300.39/301.34 c bounds - >= -771 @ 300.029
300.39/301.34 c bounds - >= -770 @ 300.03
300.39/301.34 c bounds - >= -769 @ 300.03
300.39/301.34 c bounds - >= -768 @ 300.03
300.39/301.34 c bounds - >= -767 @ 300.03
300.39/301.34 c bounds - >= -766 @ 300.03
300.39/301.34 c bounds - >= -765 @ 300.03
300.39/301.34 c bounds - >= -764 @ 300.03
300.39/301.34 c bounds - >= -763 @ 300.03
300.39/301.34 c bounds - >= -762 @ 300.03
300.39/301.34 c bounds - >= -761 @ 300.03
300.39/301.34 c bounds - >= -760 @ 300.03
300.39/301.34 c bounds - >= -759 @ 300.03
300.39/301.34 c bounds - >= -758 @ 300.03
300.39/301.34 c bounds - >= -757 @ 300.03
300.39/301.34 c bounds - >= -756 @ 300.03
300.39/301.34 c bounds - >= -755 @ 300.031
300.39/301.34 c bounds - >= -754 @ 300.031
300.39/301.34 c bounds - >= -753 @ 300.031
300.39/301.34 c bounds - >= -752 @ 300.031
300.39/301.34 c bounds - >= -751 @ 300.031
300.39/301.34 c bounds - >= -750 @ 300.031
300.39/301.34 c bounds - >= -749 @ 300.031
300.39/301.34 c bounds - >= -748 @ 300.032
300.39/301.34 c bounds - >= -747 @ 300.032
300.39/301.34 c bounds - >= -746 @ 300.032
300.39/301.34 c bounds - >= -745 @ 300.032
300.39/301.34 c bounds - >= -744 @ 300.032
300.39/301.34 c bounds - >= -743 @ 300.032
300.39/301.34 c bounds - >= -742 @ 300.033
300.39/301.34 c bounds - >= -741 @ 300.033
300.39/301.34 c bounds - >= -740 @ 300.033
300.39/301.34 c bounds - >= -739 @ 300.033
300.39/301.34 c bounds - >= -738 @ 300.033
300.39/301.34 c bounds - >= -737 @ 300.033
300.39/301.34 c bounds - >= -736 @ 300.034
300.39/301.34 c bounds - >= -735 @ 300.034
300.39/301.34 c bounds - >= -734 @ 300.034
300.39/301.34 c bounds - >= -733 @ 300.034
300.39/301.34 c bounds - >= -732 @ 300.034
300.39/301.34 c bounds - >= -731 @ 300.034
300.39/301.34 c bounds - >= -730 @ 300.035
300.39/301.34 c bounds - >= -729 @ 300.035
300.39/301.34 c bounds - >= -728 @ 300.035
300.39/301.34 c bounds - >= -727 @ 300.035
300.39/301.34 c bounds - >= -726 @ 300.035
300.39/301.34 c bounds - >= -725 @ 300.035
300.39/301.34 c bounds - >= -724 @ 300.035
300.39/301.34 c bounds - >= -723 @ 300.035
300.39/301.34 c bounds - >= -722 @ 300.035
300.39/301.34 c bounds - >= -721 @ 300.035
300.39/301.34 c bounds - >= -720 @ 300.035
300.39/301.34 c bounds - >= -719 @ 300.035
300.39/301.34 c bounds - >= -718 @ 300.035
300.39/301.34 c bounds - >= -717 @ 300.035
300.39/301.34 c bounds - >= -716 @ 300.035
300.39/301.34 c bounds - >= -715 @ 300.035
300.39/301.34 c bounds - >= -714 @ 300.035
300.39/301.34 c bounds - >= -713 @ 300.035
300.39/301.34 c bounds - >= -712 @ 300.035
300.39/301.34 c bounds - >= -711 @ 300.036
300.39/301.34 c bounds - >= -710 @ 300.036
300.39/301.34 c bounds - >= -709 @ 300.036
300.39/301.34 c bounds - >= -708 @ 300.036
300.39/301.34 c bounds - >= -707 @ 300.036
300.39/301.34 c bounds - >= -706 @ 300.036
300.39/301.34 c finalizing WCE round: reformulating cores
360.32/361.44 c #Conflicts: 1000 | #Constraints: 79729
360.32/361.44 c #Conflicts: 2000 | #Constraints: 80731
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 3000 | #Constraints: 80432
360.32/361.44 c #Conflicts: 4000 | #Constraints: 81434
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 5000 | #Constraints: 80836
360.32/361.44 c #Conflicts: 6000 | #Constraints: 81838
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 7000 | #Constraints: 80838
360.32/361.44 c #Conflicts: 8000 | #Constraints: 81840
360.32/361.44 c #Conflicts: 9000 | #Constraints: 82844
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 10000 | #Constraints: 81545
360.32/361.44 c #Conflicts: 11000 | #Constraints: 82547
360.32/361.44 c #Conflicts: 12000 | #Constraints: 83549
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 13000 | #Constraints: 82004
360.32/361.44 c #Conflicts: 14000 | #Constraints: 83006
360.32/361.44 c #Conflicts: 15000 | #Constraints: 84008
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 16000 | #Constraints: 82235
360.32/361.44 c #Conflicts: 17000 | #Constraints: 83237
360.32/361.44 c #Conflicts: 18000 | #Constraints: 84239
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 19000 | #Constraints: 82258
360.32/361.44 c #Conflicts: 20000 | #Constraints: 83260
360.32/361.44 c #Conflicts: 21000 | #Constraints: 84262
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 22000 | #Constraints: 82071
360.32/361.44 c #Conflicts: 23000 | #Constraints: 83073
360.32/361.44 c #Conflicts: 24000 | #Constraints: 84077
360.32/361.44 c #Conflicts: 25000 | #Constraints: 85079
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 26000 | #Constraints: 82682
360.32/361.44 c #Conflicts: 27000 | #Constraints: 83684
360.32/361.44 c #Conflicts: 28000 | #Constraints: 84686
360.32/361.44 c #Conflicts: 29000 | #Constraints: 85690
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 30000 | #Constraints: 83096
360.32/361.44 c #Conflicts: 31000 | #Constraints: 84098
360.32/361.44 c #Conflicts: 32000 | #Constraints: 85100
360.32/361.44 c #Conflicts: 33000 | #Constraints: 86104
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 34000 | #Constraints: 83309
360.32/361.44 c #Conflicts: 35000 | #Constraints: 84311
360.32/361.44 c #Conflicts: 36000 | #Constraints: 85313
360.32/361.44 c #Conflicts: 37000 | #Constraints: 86317
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 38000 | #Constraints: 83320
360.32/361.44 c #Conflicts: 39000 | #Constraints: 84322
360.32/361.44 c #Conflicts: 40000 | #Constraints: 85324
360.32/361.44 c #Conflicts: 41000 | #Constraints: 86328
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 42000 | #Constraints: 83128
360.32/361.44 c #Conflicts: 43000 | #Constraints: 84130
360.32/361.44 c #Conflicts: 44000 | #Constraints: 85134
360.32/361.44 c #Conflicts: 45000 | #Constraints: 86136
360.32/361.44 c #Conflicts: 46000 | #Constraints: 87138
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 47000 | #Constraints: 83740
360.32/361.44 c #Conflicts: 48000 | #Constraints: 84742
360.32/361.44 c #Conflicts: 49000 | #Constraints: 85744
360.32/361.44 c #Conflicts: 50000 | #Constraints: 86748
360.32/361.44 c #Conflicts: 51000 | #Constraints: 87750
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 52000 | #Constraints: 84151
360.32/361.44 c #Conflicts: 53000 | #Constraints: 85153
360.32/361.44 c #Conflicts: 54000 | #Constraints: 86155
360.32/361.44 c #Conflicts: 55000 | #Constraints: 87159
360.32/361.44 c #Conflicts: 56000 | #Constraints: 88161
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 57000 | #Constraints: 84362
360.32/361.44 c #Conflicts: 58000 | #Constraints: 85364
360.32/361.44 c #Conflicts: 59000 | #Constraints: 86366
360.32/361.44 c #Conflicts: 60000 | #Constraints: 87370
360.32/361.44 c #Conflicts: 61000 | #Constraints: 88372
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 62000 | #Constraints: 84374
360.32/361.44 c #Conflicts: 63000 | #Constraints: 85376
360.32/361.44 c #Conflicts: 64000 | #Constraints: 86378
360.32/361.44 c #Conflicts: 65000 | #Constraints: 87383
360.32/361.44 c #Conflicts: 66000 | #Constraints: 88385
360.32/361.44 c INPROCESSING
360.32/361.44 c GARBAGE COLLECT
360.32/361.44 c #Conflicts: 67000 | #Constraints: 84186
360.32/361.44 c #Conflicts: 68000 | #Constraints: 85188
438.31/439.65 c #Conflicts: 69000 | #Constraints: 86192
438.31/439.65 c #Conflicts: 70000 | #Constraints: 87210
438.31/439.65 c #Conflicts: 71000 | #Constraints: 88212
438.31/439.65 c #Conflicts: 72000 | #Constraints: 89216
438.31/439.65 c INPROCESSING
438.31/439.65 c GARBAGE COLLECT
438.31/439.65 c #Conflicts: 73000 | #Constraints: 84812
438.31/439.65 c #Conflicts: 74000 | #Constraints: 85814
438.31/439.65 c #Conflicts: 75000 | #Constraints: 86816
438.31/439.65 c #Conflicts: 76000 | #Constraints: 87820
438.31/439.65 c #Conflicts: 77000 | #Constraints: 88822
438.31/439.65 c #Conflicts: 78000 | #Constraints: 89824
438.31/439.65 c INPROCESSING
438.31/439.65 c GARBAGE COLLECT
438.31/439.65 c #Conflicts: 79000 | #Constraints: 85228
438.31/439.65 c #Conflicts: 80000 | #Constraints: 86230
438.31/439.65 c #Conflicts: 81000 | #Constraints: 87232
438.31/439.65 c #Conflicts: 82000 | #Constraints: 88236
438.31/439.65 c #Conflicts: 83000 | #Constraints: 89238
438.31/439.65 c #Conflicts: 84000 | #Constraints: 90240
438.31/439.65 c INPROCESSING
438.31/439.65 c GARBAGE COLLECT
438.31/439.65 c #Conflicts: 85000 | #Constraints: 85445
438.31/439.65 c #Conflicts: 86000 | #Constraints: 86447
438.31/439.65 c #Conflicts: 87000 | #Constraints: 87449
438.31/439.65 c #Conflicts: 88000 | #Constraints: 88453
438.31/439.65 c #Conflicts: 89000 | #Constraints: 89455
438.31/439.65 c #Conflicts: 90000 | #Constraints: 90457
438.31/439.65 c INPROCESSING
438.31/439.65 c GARBAGE COLLECT
438.31/439.65 c #Conflicts: 91000 | #Constraints: 85460
438.31/439.65 c #Conflicts: 92000 | #Constraints: 86462
438.31/439.65 c #Conflicts: 93000 | #Constraints: 87464
438.31/439.65 c #Conflicts: 94000 | #Constraints: 88468
438.31/439.65 c #Conflicts: 95000 | #Constraints: 89470
438.31/439.65 c #Conflicts: 96000 | #Constraints: 90472
438.31/439.65 c INPROCESSING
438.31/439.65 c GARBAGE COLLECT
438.31/439.65 c #Conflicts: 97000 | #Constraints: 85273
438.31/439.65 c #Conflicts: 98000 | #Constraints: 86275
438.31/439.65 c #Conflicts: 99000 | #Constraints: 87279
438.31/439.65 c #Conflicts: 100000 | #Constraints: 88281
438.31/439.65 c #Conflicts: 101000 | #Constraints: 89283
438.31/439.65 c #Conflicts: 102000 | #Constraints: 90287
438.31/439.65 c #Conflicts: 103000 | #Constraints: 91289
438.31/439.65 c INPROCESSING
438.31/439.65 c GARBAGE COLLECT
438.31/439.65 c #Conflicts: 104000 | #Constraints: 85893
438.31/439.65 c #Conflicts: 105000 | #Constraints: 86895
438.31/439.65 c #Conflicts: 106000 | #Constraints: 87897
438.31/439.65 c #Conflicts: 107000 | #Constraints: 88901
438.31/439.65 c #Conflicts: 108000 | #Constraints: 89913
438.31/439.65 c #Conflicts: 109000 | #Constraints: 90917
438.31/439.65 c #Conflicts: 110000 | #Constraints: 91919
438.31/439.65 c INPROCESSING
438.31/439.65 c GARBAGE COLLECT
438.31/439.65 c #Conflicts: 111000 | #Constraints: 86316
438.31/439.65 c #Conflicts: 112000 | #Constraints: 87318
438.31/439.65 c #Conflicts: 113000 | #Constraints: 88320
438.31/439.65 c #Conflicts: 114000 | #Constraints: 89324
438.31/439.65 c #Conflicts: 115000 | #Constraints: 90326
438.31/439.65 c #Conflicts: 116000 | #Constraints: 91328
438.31/439.65 c #Conflicts: 117000 | #Constraints: 92332
438.31/439.65 c INPROCESSING
438.31/439.65 c GARBAGE COLLECT
438.31/439.65 c #Conflicts: 118000 | #Constraints: 86535
438.31/439.65 c #Conflicts: 119000 | #Constraints: 87537
438.31/439.65 c #Conflicts: 120000 | #Constraints: 88539
438.31/439.65 c #Conflicts: 121000 | #Constraints: 89543
438.31/439.65 c #Conflicts: 122000 | #Constraints: 90545
438.31/439.65 c #Conflicts: 123000 | #Constraints: 91547
438.31/439.65 c #Conflicts: 124000 | #Constraints: 92551
438.31/439.65 c INPROCESSING
438.31/439.65 c GARBAGE COLLECT
438.31/439.65 c #Conflicts: 125000 | #Constraints: 86554
438.31/439.65 c #Conflicts: 126000 | #Constraints: 87556
438.31/439.65 c #Conflicts: 127000 | #Constraints: 88558
438.31/439.65 c #Conflicts: 128000 | #Constraints: 89562
438.31/439.65 c #Conflicts: 129000 | #Constraints: 90564
438.31/439.65 c #Conflicts: 130000 | #Constraints: 91566
438.31/439.65 c #Conflicts: 131000 | #Constraints: 92570
438.31/439.65 c INPROCESSING
438.31/439.65 c GARBAGE COLLECT
438.31/439.65 c #Conflicts: 132000 | #Constraints: 86369
438.31/439.65 c #Conflicts: 133000 | #Constraints: 87371
438.31/439.65 c #Conflicts: 134000 | #Constraints: 88375
438.31/439.65 c #Conflicts: 135000 | #Constraints: 89377
438.31/439.65 c #Conflicts: 136000 | #Constraints: 90379
438.31/439.65 c #Conflicts: 137000 | #Constraints: 91383
438.31/439.65 c #Conflicts: 138000 | #Constraints: 92385
438.31/439.65 c #Conflicts: 139000 | #Constraints: 93387
438.31/439.65 c INPROCESSING
438.31/439.65 c GARBAGE COLLECT
438.31/439.65 c #Conflicts: 140000 | #Constraints: 86992
535.32/536.97 c #Conflicts: 141000 | #Constraints: 87994
535.32/536.97 c #Conflicts: 142000 | #Constraints: 88996
535.32/536.97 c #Conflicts: 143000 | #Constraints: 90000
535.32/536.97 c #Conflicts: 144000 | #Constraints: 91002
535.32/536.97 c #Conflicts: 145000 | #Constraints: 92004
535.32/536.97 c #Conflicts: 146000 | #Constraints: 93008
535.32/536.97 c #Conflicts: 147000 | #Constraints: 94010
535.32/536.97 c INPROCESSING
535.32/536.97 c GARBAGE COLLECT
535.32/536.97 c #Conflicts: 148000 | #Constraints: 87413
535.32/536.97 c #Conflicts: 149000 | #Constraints: 88415
535.32/536.97 c #Conflicts: 150000 | #Constraints: 89417
535.32/536.97 c #Conflicts: 151000 | #Constraints: 90421
535.32/536.97 c #Conflicts: 152000 | #Constraints: 91423
535.32/536.97 c #Conflicts: 153000 | #Constraints: 92425
535.32/536.97 c #Conflicts: 154000 | #Constraints: 93429
535.32/536.97 c #Conflicts: 155000 | #Constraints: 94431
535.32/536.97 c INPROCESSING
535.32/536.97 c GARBAGE COLLECT
535.32/536.97 c #Conflicts: 156000 | #Constraints: 87637
535.32/536.97 c #Conflicts: 157000 | #Constraints: 88639
535.32/536.97 c #Conflicts: 158000 | #Constraints: 89641
535.32/536.97 c #Conflicts: 159000 | #Constraints: 90645
535.32/536.97 c #Conflicts: 160000 | #Constraints: 91647
535.32/536.97 c #Conflicts: 161000 | #Constraints: 92649
535.32/536.97 c #Conflicts: 162000 | #Constraints: 93653
535.32/536.97 c #Conflicts: 163000 | #Constraints: 94655
535.32/536.97 c INPROCESSING
535.32/536.97 c GARBAGE COLLECT
535.32/536.97 c #Conflicts: 164000 | #Constraints: 87656
535.32/536.97 c #Conflicts: 165000 | #Constraints: 88658
535.32/536.97 c #Conflicts: 166000 | #Constraints: 89660
535.32/536.97 c #Conflicts: 167000 | #Constraints: 90664
535.32/536.97 c #Conflicts: 168000 | #Constraints: 91666
535.32/536.97 c #Conflicts: 169000 | #Constraints: 92668
535.32/536.97 c #Conflicts: 170000 | #Constraints: 93672
535.32/536.97 c #Conflicts: 171000 | #Constraints: 94674
535.32/536.97 c INPROCESSING
535.32/536.97 c GARBAGE COLLECT
535.32/536.97 c #Conflicts: 172000 | #Constraints: 87474
535.32/536.97 c #Conflicts: 173000 | #Constraints: 88476
535.32/536.97 c #Conflicts: 174000 | #Constraints: 89480
535.32/536.97 c #Conflicts: 175000 | #Constraints: 90482
535.32/536.97 c #Conflicts: 176000 | #Constraints: 91484
535.32/536.97 c #Conflicts: 177000 | #Constraints: 92488
535.32/536.97 c #Conflicts: 178000 | #Constraints: 93490
535.32/536.97 c #Conflicts: 179000 | #Constraints: 94492
535.32/536.97 c #Conflicts: 180000 | #Constraints: 95496
535.32/536.97 c INPROCESSING
535.32/536.97 c GARBAGE COLLECT
535.32/536.97 c #Conflicts: 181000 | #Constraints: 88096
535.32/536.97 c #Conflicts: 182000 | #Constraints: 89098
535.32/536.97 c #Conflicts: 183000 | #Constraints: 90100
535.32/536.97 c #Conflicts: 184000 | #Constraints: 91104
535.32/536.97 c #Conflicts: 185000 | #Constraints: 92106
535.32/536.97 c #Conflicts: 186000 | #Constraints: 93108
535.32/536.97 c #Conflicts: 187000 | #Constraints: 94112
535.32/536.97 c #Conflicts: 188000 | #Constraints: 95114
535.32/536.97 c #Conflicts: 189000 | #Constraints: 96116
535.32/536.97 c INPROCESSING
535.32/536.97 c GARBAGE COLLECT
535.32/536.97 c #Conflicts: 190000 | #Constraints: 88518
535.32/536.97 c #Conflicts: 191000 | #Constraints: 89520
535.32/536.97 c #Conflicts: 192000 | #Constraints: 90522
535.32/536.97 c #Conflicts: 193000 | #Constraints: 91526
535.32/536.97 c #Conflicts: 194000 | #Constraints: 92528
535.32/536.97 c #Conflicts: 195000 | #Constraints: 93530
535.32/536.97 c #Conflicts: 196000 | #Constraints: 94534
535.32/536.97 c #Conflicts: 197000 | #Constraints: 95536
535.32/536.97 c #Conflicts: 198000 | #Constraints: 96538
535.32/536.97 c INPROCESSING
535.32/536.97 c GARBAGE COLLECT
535.32/536.97 c #Conflicts: 199000 | #Constraints: 88742
535.32/536.97 c #Conflicts: 200000 | #Constraints: 89744
535.32/536.97 c #Conflicts: 201000 | #Constraints: 90746
535.32/536.97 c #Conflicts: 202000 | #Constraints: 91750
535.32/536.97 c #Conflicts: 203000 | #Constraints: 92752
535.32/536.97 c #Conflicts: 204000 | #Constraints: 93754
535.32/536.97 c #Conflicts: 205000 | #Constraints: 94758
535.32/536.97 c #Conflicts: 206000 | #Constraints: 95760
535.32/536.97 c #Conflicts: 207000 | #Constraints: 96762
535.32/536.97 c INPROCESSING
535.32/536.97 c GARBAGE COLLECT
535.32/536.97 c #Conflicts: 208000 | #Constraints: 88765
535.32/536.97 c #Conflicts: 209000 | #Constraints: 89767
535.32/536.97 c #Conflicts: 210000 | #Constraints: 90769
535.32/536.97 c #Conflicts: 211000 | #Constraints: 91773
535.32/536.97 c #Conflicts: 212000 | #Constraints: 92775
535.32/536.97 c #Conflicts: 213000 | #Constraints: 93777
626.56/628.47 c #Conflicts: 214000 | #Constraints: 94781
626.56/628.47 c #Conflicts: 215000 | #Constraints: 95783
626.56/628.47 c #Conflicts: 216000 | #Constraints: 96785
626.56/628.47 c INPROCESSING
626.56/628.47 c GARBAGE COLLECT
626.56/628.47 c #Conflicts: 217000 | #Constraints: 88590
626.56/628.47 c #Conflicts: 218000 | #Constraints: 89592
626.56/628.47 c #Conflicts: 219000 | #Constraints: 90596
626.56/628.47 c #Conflicts: 220000 | #Constraints: 91598
626.56/628.47 c #Conflicts: 221000 | #Constraints: 92600
626.56/628.47 c #Conflicts: 222000 | #Constraints: 93604
626.56/628.47 c #Conflicts: 223000 | #Constraints: 94606
626.56/628.47 c #Conflicts: 224000 | #Constraints: 95608
626.56/628.47 c bounds -598 >= -706 @ 549.495
626.56/628.47 c bounds -598 >= -705 @ 549.502
626.56/628.47 c bounds -598 >= -704 @ 549.504
626.56/628.47 c bounds -598 >= -703 @ 549.505
626.56/628.47 c bounds -598 >= -702 @ 549.507
626.56/628.47 c bounds -598 >= -701 @ 549.512
626.56/628.47 c bounds -598 >= -700 @ 549.515
626.56/628.47 c bounds -598 >= -699 @ 549.519
626.56/628.47 c bounds -598 >= -698 @ 549.526
626.56/628.47 c bounds -598 >= -697 @ 549.531
626.56/628.47 c bounds -598 >= -696 @ 549.532
626.56/628.47 c bounds -598 >= -695 @ 549.533
626.56/628.47 c bounds -598 >= -694 @ 549.539
626.56/628.47 c bounds -598 >= -693 @ 549.552
626.56/628.47 c bounds -598 >= -692 @ 549.567
626.56/628.47 c bounds -598 >= -691 @ 549.597
626.56/628.47 c bounds -598 >= -690 @ 549.621
626.56/628.47 c bounds -598 >= -689 @ 549.649
626.56/628.47 c bounds -598 >= -688 @ 549.714
626.56/628.47 c bounds -598 >= -687 @ 549.761
626.56/628.47 c bounds -598 >= -686 @ 549.886
626.56/628.47 c #Conflicts: 225000 | #Constraints: 97585
626.56/628.47 c bounds -598 >= -685 @ 550.597
626.56/628.47 c #Conflicts: 226000 | #Constraints: 98604
626.56/628.47 c INPROCESSING
626.56/628.47 c GARBAGE COLLECT
626.56/628.47 c #Conflicts: 227000 | #Constraints: 89985
626.56/628.47 c #Conflicts: 228000 | #Constraints: 90985
626.56/628.47 c #Conflicts: 229000 | #Constraints: 91985
626.56/628.47 c #Conflicts: 230000 | #Constraints: 92985
626.56/628.47 c #Conflicts: 231000 | #Constraints: 93985
626.56/628.47 c #Conflicts: 232000 | #Constraints: 94985
626.56/628.47 c #Conflicts: 233000 | #Constraints: 95985
626.56/628.47 c #Conflicts: 234000 | #Constraints: 96985
626.56/628.47 c #Conflicts: 235000 | #Constraints: 97985
626.56/628.47 c #Conflicts: 236000 | #Constraints: 98985
626.56/628.47 c INPROCESSING
626.56/628.47 c GARBAGE COLLECT
626.56/628.47 c #Conflicts: 237000 | #Constraints: 90224
626.56/628.47 c #Conflicts: 238000 | #Constraints: 91224
626.56/628.47 c #Conflicts: 239000 | #Constraints: 92224
626.56/628.47 c #Conflicts: 240000 | #Constraints: 93224
626.56/628.47 c #Conflicts: 241000 | #Constraints: 94224
626.56/628.47 c #Conflicts: 242000 | #Constraints: 95224
626.56/628.47 c #Conflicts: 243000 | #Constraints: 96224
626.56/628.47 c #Conflicts: 244000 | #Constraints: 97224
626.56/628.47 c #Conflicts: 245000 | #Constraints: 98224
626.56/628.47 c #Conflicts: 246000 | #Constraints: 99224
626.56/628.47 c INPROCESSING
626.56/628.47 c GARBAGE COLLECT
626.56/628.47 c #Conflicts: 247000 | #Constraints: 90336
626.56/628.47 c #Conflicts: 248000 | #Constraints: 91336
626.56/628.47 c #Conflicts: 249000 | #Constraints: 92336
626.56/628.47 c #Conflicts: 250000 | #Constraints: 93336
626.56/628.47 c #Conflicts: 251000 | #Constraints: 94336
626.56/628.47 c #Conflicts: 252000 | #Constraints: 95336
626.56/628.47 c #Conflicts: 253000 | #Constraints: 96336
626.56/628.47 c #Conflicts: 254000 | #Constraints: 97336
626.56/628.47 c #Conflicts: 255000 | #Constraints: 98336
626.56/628.47 c #Conflicts: 256000 | #Constraints: 99336
626.56/628.47 c INPROCESSING
626.56/628.47 c GARBAGE COLLECT
626.56/628.47 c #Conflicts: 257000 | #Constraints: 90288
626.56/628.47 c #Conflicts: 258000 | #Constraints: 91288
626.56/628.47 c #Conflicts: 259000 | #Constraints: 92288
626.56/628.47 c #Conflicts: 260000 | #Constraints: 93288
626.56/628.47 c #Conflicts: 261000 | #Constraints: 94288
626.56/628.47 c #Conflicts: 262000 | #Constraints: 95288
626.56/628.47 c #Conflicts: 263000 | #Constraints: 96288
626.56/628.47 c #Conflicts: 264000 | #Constraints: 97288
626.56/628.47 c #Conflicts: 265000 | #Constraints: 98288
626.56/628.47 c #Conflicts: 266000 | #Constraints: 99288
626.56/628.47 c INPROCESSING
626.56/628.47 c GARBAGE COLLECT
626.56/628.47 c #Conflicts: 267000 | #Constraints: 90060
626.56/628.47 c #Conflicts: 268000 | #Constraints: 91060
626.56/628.47 c #Conflicts: 269000 | #Constraints: 92060
626.56/628.47 c #Conflicts: 270000 | #Constraints: 93060
626.56/628.47 c #Conflicts: 271000 | #Constraints: 94060
626.56/628.47 c #Conflicts: 272000 | #Constraints: 95060
626.56/628.47 c #Conflicts: 273000 | #Constraints: 96060
626.56/628.47 c #Conflicts: 274000 | #Constraints: 97060
626.56/628.47 c #Conflicts: 275000 | #Constraints: 98060
765.77/768.03 c #Conflicts: 276000 | #Constraints: 99060
765.77/768.03 c #Conflicts: 277000 | #Constraints: 100060
765.77/768.03 c INPROCESSING
765.77/768.03 c GARBAGE COLLECT
765.77/768.03 c #Conflicts: 278000 | #Constraints: 90648
765.77/768.03 c #Conflicts: 279000 | #Constraints: 91648
765.77/768.03 c #Conflicts: 280000 | #Constraints: 92648
765.77/768.03 c #Conflicts: 281000 | #Constraints: 93648
765.77/768.03 c #Conflicts: 282000 | #Constraints: 94648
765.77/768.03 c #Conflicts: 283000 | #Constraints: 95648
765.77/768.03 c #Conflicts: 284000 | #Constraints: 96648
765.77/768.03 c #Conflicts: 285000 | #Constraints: 97648
765.77/768.03 c #Conflicts: 286000 | #Constraints: 98648
765.77/768.03 c #Conflicts: 287000 | #Constraints: 99648
765.77/768.03 c #Conflicts: 288000 | #Constraints: 100648
765.77/768.03 c INPROCESSING
765.77/768.03 c GARBAGE COLLECT
765.77/768.03 c #Conflicts: 289000 | #Constraints: 91046
765.77/768.03 c #Conflicts: 290000 | #Constraints: 92046
765.77/768.03 c #Conflicts: 291000 | #Constraints: 93046
765.77/768.03 c #Conflicts: 292000 | #Constraints: 94046
765.77/768.03 c #Conflicts: 293000 | #Constraints: 95046
765.77/768.03 c #Conflicts: 294000 | #Constraints: 96046
765.77/768.03 c #Conflicts: 295000 | #Constraints: 97046
765.77/768.03 c #Conflicts: 296000 | #Constraints: 98046
765.77/768.03 c #Conflicts: 297000 | #Constraints: 99046
765.77/768.03 c #Conflicts: 298000 | #Constraints: 100046
765.77/768.03 c #Conflicts: 299000 | #Constraints: 101046
765.77/768.03 c INPROCESSING
765.77/768.03 c GARBAGE COLLECT
765.77/768.03 c #Conflicts: 300000 | #Constraints: 91245
765.77/768.03 c #Conflicts: 301000 | #Constraints: 92245
765.77/768.03 c #Conflicts: 302000 | #Constraints: 93245
765.77/768.03 c #Conflicts: 303000 | #Constraints: 94245
765.77/768.03 c #Conflicts: 304000 | #Constraints: 95245
765.77/768.03 c #Conflicts: 305000 | #Constraints: 96245
765.77/768.03 c #Conflicts: 306000 | #Constraints: 97245
765.77/768.03 c #Conflicts: 307000 | #Constraints: 98245
765.77/768.03 c #Conflicts: 308000 | #Constraints: 99245
765.77/768.03 c #Conflicts: 309000 | #Constraints: 100245
765.77/768.03 c #Conflicts: 310000 | #Constraints: 101245
765.77/768.03 c INPROCESSING
765.77/768.03 c GARBAGE COLLECT
765.77/768.03 c #Conflicts: 311000 | #Constraints: 91252
765.77/768.03 c #Conflicts: 312000 | #Constraints: 92252
765.77/768.03 c #Conflicts: 313000 | #Constraints: 93252
765.77/768.03 c #Conflicts: 314000 | #Constraints: 94252
765.77/768.03 c #Conflicts: 315000 | #Constraints: 95252
765.77/768.03 c #Conflicts: 316000 | #Constraints: 96252
765.77/768.03 c #Conflicts: 317000 | #Constraints: 97252
765.77/768.03 c #Conflicts: 318000 | #Constraints: 98252
765.77/768.03 c #Conflicts: 319000 | #Constraints: 99252
765.77/768.03 c #Conflicts: 320000 | #Constraints: 100252
765.77/768.03 c #Conflicts: 321000 | #Constraints: 101252
765.77/768.03 c INPROCESSING
765.77/768.03 c GARBAGE COLLECT
765.77/768.03 c #Conflicts: 322000 | #Constraints: 91057
765.77/768.03 c #Conflicts: 323000 | #Constraints: 92057
765.77/768.03 c #Conflicts: 324000 | #Constraints: 93057
765.77/768.03 c #Conflicts: 325000 | #Constraints: 94057
765.77/768.03 c #Conflicts: 326000 | #Constraints: 95057
765.77/768.03 c #Conflicts: 327000 | #Constraints: 96057
765.77/768.03 c #Conflicts: 328000 | #Constraints: 97057
765.77/768.03 c #Conflicts: 329000 | #Constraints: 98057
765.77/768.03 c #Conflicts: 330000 | #Constraints: 99057
765.77/768.03 c #Conflicts: 331000 | #Constraints: 100057
765.77/768.03 c #Conflicts: 332000 | #Constraints: 101057
765.77/768.03 c #Conflicts: 333000 | #Constraints: 102057
765.77/768.03 c INPROCESSING
765.77/768.03 c GARBAGE COLLECT
765.77/768.03 c #Conflicts: 334000 | #Constraints: 91651
765.77/768.03 c #Conflicts: 335000 | #Constraints: 92651
765.77/768.03 c #Conflicts: 336000 | #Constraints: 93651
765.77/768.03 c #Conflicts: 337000 | #Constraints: 94651
765.77/768.03 c #Conflicts: 338000 | #Constraints: 95651
765.77/768.03 c #Conflicts: 339000 | #Constraints: 96651
765.77/768.03 c #Conflicts: 340000 | #Constraints: 97651
765.77/768.03 c #Conflicts: 341000 | #Constraints: 98651
765.77/768.03 c #Conflicts: 342000 | #Constraints: 99651
765.77/768.03 c #Conflicts: 343000 | #Constraints: 100651
765.77/768.03 c #Conflicts: 344000 | #Constraints: 101651
765.77/768.03 c #Conflicts: 345000 | #Constraints: 102651
765.77/768.03 c INPROCESSING
765.77/768.03 c GARBAGE COLLECT
765.77/768.03 c #Conflicts: 346000 | #Constraints: 92053
765.77/768.03 c #Conflicts: 347000 | #Constraints: 93053
765.77/768.03 c #Conflicts: 348000 | #Constraints: 94053
765.77/768.03 c #Conflicts: 349000 | #Constraints: 95053
941.35/944.14 c #Conflicts: 350000 | #Constraints: 96053
941.35/944.14 c #Conflicts: 351000 | #Constraints: 97053
941.35/944.14 c #Conflicts: 352000 | #Constraints: 98053
941.35/944.14 c #Conflicts: 353000 | #Constraints: 99053
941.35/944.14 c #Conflicts: 354000 | #Constraints: 100053
941.35/944.14 c #Conflicts: 355000 | #Constraints: 101053
941.35/944.14 c #Conflicts: 356000 | #Constraints: 102053
941.35/944.14 c #Conflicts: 357000 | #Constraints: 103053
941.35/944.14 c INPROCESSING
941.35/944.14 c GARBAGE COLLECT
941.35/944.14 c #Conflicts: 358000 | #Constraints: 92251
941.35/944.14 c #Conflicts: 359000 | #Constraints: 93251
941.35/944.14 c #Conflicts: 360000 | #Constraints: 94251
941.35/944.14 c #Conflicts: 361000 | #Constraints: 95251
941.35/944.14 c #Conflicts: 362000 | #Constraints: 96251
941.35/944.14 c #Conflicts: 363000 | #Constraints: 97251
941.35/944.14 c #Conflicts: 364000 | #Constraints: 98251
941.35/944.14 c #Conflicts: 365000 | #Constraints: 99251
941.35/944.14 c #Conflicts: 366000 | #Constraints: 100251
941.35/944.14 c #Conflicts: 367000 | #Constraints: 101251
941.35/944.14 c #Conflicts: 368000 | #Constraints: 102251
941.35/944.14 c #Conflicts: 369000 | #Constraints: 103251
941.35/944.14 c INPROCESSING
941.35/944.14 c GARBAGE COLLECT
941.35/944.14 c #Conflicts: 370000 | #Constraints: 92258
941.35/944.14 c #Conflicts: 371000 | #Constraints: 93258
941.35/944.14 c #Conflicts: 372000 | #Constraints: 94258
941.35/944.14 c #Conflicts: 373000 | #Constraints: 95258
941.35/944.14 c #Conflicts: 374000 | #Constraints: 96258
941.35/944.14 c #Conflicts: 375000 | #Constraints: 97258
941.35/944.14 c #Conflicts: 376000 | #Constraints: 98258
941.35/944.14 c #Conflicts: 377000 | #Constraints: 99258
941.35/944.14 c #Conflicts: 378000 | #Constraints: 100258
941.35/944.14 c #Conflicts: 379000 | #Constraints: 101258
941.35/944.14 c #Conflicts: 380000 | #Constraints: 102258
941.35/944.14 c #Conflicts: 381000 | #Constraints: 103258
941.35/944.14 c INPROCESSING
941.35/944.14 c GARBAGE COLLECT
941.35/944.14 c #Conflicts: 382000 | #Constraints: 92057
941.35/944.14 c #Conflicts: 383000 | #Constraints: 93057
941.35/944.14 c #Conflicts: 384000 | #Constraints: 94057
941.35/944.14 c #Conflicts: 385000 | #Constraints: 95057
941.35/944.14 c #Conflicts: 386000 | #Constraints: 96057
941.35/944.14 c #Conflicts: 387000 | #Constraints: 97057
941.35/944.14 c #Conflicts: 388000 | #Constraints: 98057
941.35/944.14 c #Conflicts: 389000 | #Constraints: 99057
941.35/944.14 c #Conflicts: 390000 | #Constraints: 100057
941.35/944.14 c #Conflicts: 391000 | #Constraints: 101057
941.35/944.14 c #Conflicts: 392000 | #Constraints: 102057
941.35/944.14 c #Conflicts: 393000 | #Constraints: 103057
941.35/944.14 c #Conflicts: 394000 | #Constraints: 104057
941.35/944.14 c INPROCESSING
941.35/944.14 c GARBAGE COLLECT
941.35/944.14 c #Conflicts: 395000 | #Constraints: 92662
941.35/944.14 c #Conflicts: 396000 | #Constraints: 93662
941.35/944.14 c #Conflicts: 397000 | #Constraints: 94662
941.35/944.14 c #Conflicts: 398000 | #Constraints: 95662
941.35/944.14 c #Conflicts: 399000 | #Constraints: 96662
941.35/944.14 c #Conflicts: 400000 | #Constraints: 97662
941.35/944.14 c #Conflicts: 401000 | #Constraints: 98662
941.35/944.14 c #Conflicts: 402000 | #Constraints: 99662
941.35/944.14 c #Conflicts: 403000 | #Constraints: 100662
941.35/944.14 c #Conflicts: 404000 | #Constraints: 101662
941.35/944.14 c #Conflicts: 405000 | #Constraints: 102662
941.35/944.14 c #Conflicts: 406000 | #Constraints: 103662
941.35/944.14 c #Conflicts: 407000 | #Constraints: 104662
941.35/944.14 c INPROCESSING
941.35/944.14 c GARBAGE COLLECT
941.35/944.14 c #Conflicts: 408000 | #Constraints: 93055
941.35/944.14 c #Conflicts: 409000 | #Constraints: 94055
941.35/944.14 c #Conflicts: 410000 | #Constraints: 95055
941.35/944.14 c #Conflicts: 411000 | #Constraints: 96055
941.35/944.14 c #Conflicts: 412000 | #Constraints: 97055
941.35/944.14 c #Conflicts: 413000 | #Constraints: 98055
941.35/944.14 c #Conflicts: 414000 | #Constraints: 99055
941.35/944.14 c #Conflicts: 415000 | #Constraints: 100055
941.35/944.14 c #Conflicts: 416000 | #Constraints: 101055
941.35/944.14 c #Conflicts: 417000 | #Constraints: 102055
941.35/944.14 c #Conflicts: 418000 | #Constraints: 103055
941.35/944.14 c #Conflicts: 419000 | #Constraints: 104055
941.35/944.14 c #Conflicts: 420000 | #Constraints: 105055
941.35/944.14 c INPROCESSING
941.35/944.14 c GARBAGE COLLECT
941.35/944.14 c #Conflicts: 421000 | #Constraints: 93253
941.35/944.14 c #Conflicts: 422000 | #Constraints: 94253
941.35/944.14 c #Conflicts: 423000 | #Constraints: 95253
941.35/944.14 c #Conflicts: 424000 | #Constraints: 96253
1130.98/1134.38 c #Conflicts: 425000 | #Constraints: 97253
1130.98/1134.38 c #Conflicts: 426000 | #Constraints: 98253
1130.98/1134.38 c #Conflicts: 427000 | #Constraints: 99253
1130.98/1134.38 c #Conflicts: 428000 | #Constraints: 100253
1130.98/1134.38 c #Conflicts: 429000 | #Constraints: 101253
1130.98/1134.38 c #Conflicts: 430000 | #Constraints: 102253
1130.98/1134.38 c #Conflicts: 431000 | #Constraints: 103253
1130.98/1134.38 c #Conflicts: 432000 | #Constraints: 104253
1130.98/1134.38 c #Conflicts: 433000 | #Constraints: 105253
1130.98/1134.38 c INPROCESSING
1130.98/1134.38 c GARBAGE COLLECT
1130.98/1134.38 c #Conflicts: 434000 | #Constraints: 93260
1130.98/1134.38 c #Conflicts: 435000 | #Constraints: 94260
1130.98/1134.38 c #Conflicts: 436000 | #Constraints: 95260
1130.98/1134.38 c #Conflicts: 437000 | #Constraints: 96260
1130.98/1134.38 c #Conflicts: 438000 | #Constraints: 97260
1130.98/1134.38 c #Conflicts: 439000 | #Constraints: 98260
1130.98/1134.38 c #Conflicts: 440000 | #Constraints: 99260
1130.98/1134.38 c #Conflicts: 441000 | #Constraints: 100260
1130.98/1134.38 c #Conflicts: 442000 | #Constraints: 101260
1130.98/1134.38 c #Conflicts: 443000 | #Constraints: 102260
1130.98/1134.38 c #Conflicts: 444000 | #Constraints: 103260
1130.98/1134.38 c #Conflicts: 445000 | #Constraints: 104260
1130.98/1134.38 c #Conflicts: 446000 | #Constraints: 105260
1130.98/1134.38 c INPROCESSING
1130.98/1134.38 c GARBAGE COLLECT
1130.98/1134.38 c #Conflicts: 447000 | #Constraints: 93058
1130.98/1134.38 c #Conflicts: 448000 | #Constraints: 94058
1130.98/1134.38 c #Conflicts: 449000 | #Constraints: 95058
1130.98/1134.38 c #Conflicts: 450000 | #Constraints: 96058
1130.98/1134.38 c #Conflicts: 451000 | #Constraints: 97058
1130.98/1134.38 c #Conflicts: 452000 | #Constraints: 98058
1130.98/1134.38 c #Conflicts: 453000 | #Constraints: 99058
1130.98/1134.38 c #Conflicts: 454000 | #Constraints: 100058
1130.98/1134.38 c #Conflicts: 455000 | #Constraints: 101058
1130.98/1134.38 c #Conflicts: 456000 | #Constraints: 102058
1130.98/1134.38 c #Conflicts: 457000 | #Constraints: 103058
1130.98/1134.38 c #Conflicts: 458000 | #Constraints: 104058
1130.98/1134.38 c #Conflicts: 459000 | #Constraints: 105058
1130.98/1134.38 c #Conflicts: 460000 | #Constraints: 106058
1130.98/1134.38 c INPROCESSING
1130.98/1134.38 c GARBAGE COLLECT
1130.98/1134.38 c #Conflicts: 461000 | #Constraints: 93662
1130.98/1134.38 c #Conflicts: 462000 | #Constraints: 94662
1130.98/1134.38 c #Conflicts: 463000 | #Constraints: 95662
1130.98/1134.38 c #Conflicts: 464000 | #Constraints: 96662
1130.98/1134.38 c #Conflicts: 465000 | #Constraints: 97662
1130.98/1134.38 c #Conflicts: 466000 | #Constraints: 98662
1130.98/1134.38 c #Conflicts: 467000 | #Constraints: 99662
1130.98/1134.38 c #Conflicts: 468000 | #Constraints: 100662
1130.98/1134.38 c #Conflicts: 469000 | #Constraints: 101662
1130.98/1134.38 c #Conflicts: 470000 | #Constraints: 102662
1130.98/1134.38 c #Conflicts: 471000 | #Constraints: 103662
1130.98/1134.38 c #Conflicts: 472000 | #Constraints: 104662
1130.98/1134.38 c #Conflicts: 473000 | #Constraints: 105662
1130.98/1134.38 c #Conflicts: 474000 | #Constraints: 106662
1130.98/1134.38 c INPROCESSING
1130.98/1134.38 c GARBAGE COLLECT
1130.98/1134.38 c #Conflicts: 475000 | #Constraints: 94061
1130.98/1134.38 c #Conflicts: 476000 | #Constraints: 95061
1130.98/1134.38 c #Conflicts: 477000 | #Constraints: 96061
1130.98/1134.38 c #Conflicts: 478000 | #Constraints: 97061
1130.98/1134.38 c #Conflicts: 479000 | #Constraints: 98061
1130.98/1134.38 c #Conflicts: 480000 | #Constraints: 99061
1130.98/1134.38 c #Conflicts: 481000 | #Constraints: 100061
1130.98/1134.38 c #Conflicts: 482000 | #Constraints: 101061
1130.98/1134.38 c #Conflicts: 483000 | #Constraints: 102061
1130.98/1134.38 c #Conflicts: 484000 | #Constraints: 103061
1130.98/1134.38 c #Conflicts: 485000 | #Constraints: 104061
1130.98/1134.38 c #Conflicts: 486000 | #Constraints: 105061
1130.98/1134.38 c #Conflicts: 487000 | #Constraints: 106061
1130.98/1134.38 c #Conflicts: 488000 | #Constraints: 107061
1130.98/1134.38 c INPROCESSING
1130.98/1134.38 c GARBAGE COLLECT
1130.98/1134.38 c #Conflicts: 489000 | #Constraints: 94276
1130.98/1134.38 c #Conflicts: 490000 | #Constraints: 95276
1130.98/1134.38 c #Conflicts: 491000 | #Constraints: 96276
1130.98/1134.38 c #Conflicts: 492000 | #Constraints: 97276
1130.98/1134.38 c #Conflicts: 493000 | #Constraints: 98276
1130.98/1134.38 c #Conflicts: 494000 | #Constraints: 99276
1130.98/1134.38 c #Conflicts: 495000 | #Constraints: 100276
1130.98/1134.38 c #Conflicts: 496000 | #Constraints: 101276
1130.98/1134.38 c #Conflicts: 497000 | #Constraints: 102276
1130.98/1134.38 c #Conflicts: 498000 | #Constraints: 103276
1130.98/1134.38 c #Conflicts: 499000 | #Constraints: 104276
1130.98/1134.38 c #Conflicts: 500000 | #Constraints: 105276
1355.84/1359.80 c #Conflicts: 501000 | #Constraints: 106276
1355.84/1359.80 c #Conflicts: 502000 | #Constraints: 107276
1355.84/1359.80 c INPROCESSING
1355.84/1359.80 c GARBAGE COLLECT
1355.84/1359.80 c #Conflicts: 503000 | #Constraints: 94267
1355.84/1359.80 c #Conflicts: 504000 | #Constraints: 95267
1355.84/1359.80 c #Conflicts: 505000 | #Constraints: 96267
1355.84/1359.80 c #Conflicts: 506000 | #Constraints: 97267
1355.84/1359.80 c #Conflicts: 507000 | #Constraints: 98267
1355.84/1359.80 c #Conflicts: 508000 | #Constraints: 99267
1355.84/1359.80 c #Conflicts: 509000 | #Constraints: 100267
1355.84/1359.80 c #Conflicts: 510000 | #Constraints: 101267
1355.84/1359.80 c #Conflicts: 511000 | #Constraints: 102267
1355.84/1359.80 c #Conflicts: 512000 | #Constraints: 103267
1355.84/1359.80 c #Conflicts: 513000 | #Constraints: 104267
1355.84/1359.80 c #Conflicts: 514000 | #Constraints: 105267
1355.84/1359.80 c #Conflicts: 515000 | #Constraints: 106267
1355.84/1359.80 c #Conflicts: 516000 | #Constraints: 107267
1355.84/1359.80 c INPROCESSING
1355.84/1359.80 c GARBAGE COLLECT
1355.84/1359.80 c #Conflicts: 517000 | #Constraints: 94077
1355.84/1359.80 c #Conflicts: 518000 | #Constraints: 95077
1355.84/1359.80 c #Conflicts: 519000 | #Constraints: 96077
1355.84/1359.80 c #Conflicts: 520000 | #Constraints: 97077
1355.84/1359.80 c #Conflicts: 521000 | #Constraints: 98077
1355.84/1359.80 c #Conflicts: 522000 | #Constraints: 99077
1355.84/1359.80 c #Conflicts: 523000 | #Constraints: 100077
1355.84/1359.80 c #Conflicts: 524000 | #Constraints: 101077
1355.84/1359.80 c #Conflicts: 525000 | #Constraints: 102077
1355.84/1359.80 c #Conflicts: 526000 | #Constraints: 103077
1355.84/1359.80 c #Conflicts: 527000 | #Constraints: 104077
1355.84/1359.80 c #Conflicts: 528000 | #Constraints: 105077
1355.84/1359.80 c #Conflicts: 529000 | #Constraints: 106077
1355.84/1359.80 c #Conflicts: 530000 | #Constraints: 107077
1355.84/1359.80 c #Conflicts: 531000 | #Constraints: 108077
1355.84/1359.80 c INPROCESSING
1355.84/1359.80 c GARBAGE COLLECT
1355.84/1359.80 c #Conflicts: 532000 | #Constraints: 94673
1355.84/1359.80 c #Conflicts: 533000 | #Constraints: 95673
1355.84/1359.80 c #Conflicts: 534000 | #Constraints: 96673
1355.84/1359.80 c #Conflicts: 535000 | #Constraints: 97673
1355.84/1359.80 c #Conflicts: 536000 | #Constraints: 98673
1355.84/1359.80 c #Conflicts: 537000 | #Constraints: 99673
1355.84/1359.80 c #Conflicts: 538000 | #Constraints: 100673
1355.84/1359.80 c #Conflicts: 539000 | #Constraints: 101673
1355.84/1359.80 c #Conflicts: 540000 | #Constraints: 102673
1355.84/1359.80 c #Conflicts: 541000 | #Constraints: 103673
1355.84/1359.80 c #Conflicts: 542000 | #Constraints: 104673
1355.84/1359.80 c #Conflicts: 543000 | #Constraints: 105673
1355.84/1359.80 c #Conflicts: 544000 | #Constraints: 106673
1355.84/1359.80 c #Conflicts: 545000 | #Constraints: 107673
1355.84/1359.80 c #Conflicts: 546000 | #Constraints: 108673
1355.84/1359.80 c INPROCESSING
1355.84/1359.80 c GARBAGE COLLECT
1355.84/1359.80 c #Conflicts: 547000 | #Constraints: 95060
1355.84/1359.80 c #Conflicts: 548000 | #Constraints: 96060
1355.84/1359.80 c #Conflicts: 549000 | #Constraints: 97060
1355.84/1359.80 c #Conflicts: 550000 | #Constraints: 98060
1355.84/1359.80 c #Conflicts: 551000 | #Constraints: 99060
1355.84/1359.80 c #Conflicts: 552000 | #Constraints: 100060
1355.84/1359.80 c #Conflicts: 553000 | #Constraints: 101060
1355.84/1359.80 c #Conflicts: 554000 | #Constraints: 102060
1355.84/1359.80 c #Conflicts: 555000 | #Constraints: 103060
1355.84/1359.80 c #Conflicts: 556000 | #Constraints: 104060
1355.84/1359.80 c #Conflicts: 557000 | #Constraints: 105060
1355.84/1359.80 c #Conflicts: 558000 | #Constraints: 106060
1355.84/1359.80 c #Conflicts: 559000 | #Constraints: 107060
1355.84/1359.80 c #Conflicts: 560000 | #Constraints: 108060
1355.84/1359.80 c #Conflicts: 561000 | #Constraints: 109060
1355.84/1359.80 c INPROCESSING
1355.84/1359.80 c GARBAGE COLLECT
1355.84/1359.80 c #Conflicts: 562000 | #Constraints: 95256
1355.84/1359.80 c #Conflicts: 563000 | #Constraints: 96256
1355.84/1359.80 c #Conflicts: 564000 | #Constraints: 97256
1355.84/1359.80 c #Conflicts: 565000 | #Constraints: 98256
1355.84/1359.80 c #Conflicts: 566000 | #Constraints: 99256
1355.84/1359.80 c #Conflicts: 567000 | #Constraints: 100256
1355.84/1359.80 c #Conflicts: 568000 | #Constraints: 101256
1355.84/1359.80 c #Conflicts: 569000 | #Constraints: 102256
1355.84/1359.80 c #Conflicts: 570000 | #Constraints: 103256
1355.84/1359.80 c #Conflicts: 571000 | #Constraints: 104256
1355.84/1359.80 c #Conflicts: 572000 | #Constraints: 105256
1355.84/1359.80 c #Conflicts: 573000 | #Constraints: 106256
1355.84/1359.80 c #Conflicts: 574000 | #Constraints: 107256
1355.84/1359.80 c #Conflicts: 575000 | #Constraints: 108256
1585.82/1590.59 c #Conflicts: 576000 | #Constraints: 109256
1585.82/1590.59 c INPROCESSING
1585.82/1590.59 c GARBAGE COLLECT
1585.82/1590.59 c #Conflicts: 577000 | #Constraints: 95267
1585.82/1590.59 c #Conflicts: 578000 | #Constraints: 96267
1585.82/1590.59 c #Conflicts: 579000 | #Constraints: 97267
1585.82/1590.59 c #Conflicts: 580000 | #Constraints: 98267
1585.82/1590.59 c #Conflicts: 581000 | #Constraints: 99267
1585.82/1590.59 c #Conflicts: 582000 | #Constraints: 100267
1585.82/1590.59 c #Conflicts: 583000 | #Constraints: 101267
1585.82/1590.59 c #Conflicts: 584000 | #Constraints: 102267
1585.82/1590.59 c #Conflicts: 585000 | #Constraints: 103267
1585.82/1590.59 c #Conflicts: 586000 | #Constraints: 104267
1585.82/1590.59 c #Conflicts: 587000 | #Constraints: 105267
1585.82/1590.59 c #Conflicts: 588000 | #Constraints: 106267
1585.82/1590.59 c #Conflicts: 589000 | #Constraints: 107267
1585.82/1590.59 c #Conflicts: 590000 | #Constraints: 108267
1585.82/1590.59 c #Conflicts: 591000 | #Constraints: 109267
1585.82/1590.59 c INPROCESSING
1585.82/1590.59 c GARBAGE COLLECT
1585.82/1590.59 c #Conflicts: 592000 | #Constraints: 95075
1585.82/1590.59 c #Conflicts: 593000 | #Constraints: 96075
1585.82/1590.59 c #Conflicts: 594000 | #Constraints: 97075
1585.82/1590.59 c #Conflicts: 595000 | #Constraints: 98075
1585.82/1590.59 c #Conflicts: 596000 | #Constraints: 99075
1585.82/1590.59 c #Conflicts: 597000 | #Constraints: 100075
1585.82/1590.59 c #Conflicts: 598000 | #Constraints: 101075
1585.82/1590.59 c #Conflicts: 599000 | #Constraints: 102075
1585.82/1590.59 c #Conflicts: 600000 | #Constraints: 103075
1585.82/1590.59 c #Conflicts: 601000 | #Constraints: 104075
1585.82/1590.59 c #Conflicts: 602000 | #Constraints: 105075
1585.82/1590.59 c #Conflicts: 603000 | #Constraints: 106075
1585.82/1590.59 c #Conflicts: 604000 | #Constraints: 107075
1585.82/1590.59 c #Conflicts: 605000 | #Constraints: 108075
1585.82/1590.59 c #Conflicts: 606000 | #Constraints: 109075
1585.82/1590.59 c #Conflicts: 607000 | #Constraints: 110075
1585.82/1590.59 c INPROCESSING
1585.82/1590.59 c GARBAGE COLLECT
1585.82/1590.59 c #Conflicts: 608000 | #Constraints: 95677
1585.82/1590.59 c #Conflicts: 609000 | #Constraints: 96677
1585.82/1590.59 c #Conflicts: 610000 | #Constraints: 97677
1585.82/1590.59 c #Conflicts: 611000 | #Constraints: 98677
1585.82/1590.59 c #Conflicts: 612000 | #Constraints: 99677
1585.82/1590.59 c #Conflicts: 613000 | #Constraints: 100677
1585.82/1590.59 c #Conflicts: 614000 | #Constraints: 101677
1585.82/1590.59 c #Conflicts: 615000 | #Constraints: 102677
1585.82/1590.59 c #Conflicts: 616000 | #Constraints: 103677
1585.82/1590.59 c #Conflicts: 617000 | #Constraints: 104677
1585.82/1590.59 c #Conflicts: 618000 | #Constraints: 105677
1585.82/1590.59 c #Conflicts: 619000 | #Constraints: 106677
1585.82/1590.59 c #Conflicts: 620000 | #Constraints: 107677
1585.82/1590.59 c #Conflicts: 621000 | #Constraints: 108677
1585.82/1590.59 c #Conflicts: 622000 | #Constraints: 109677
1585.82/1590.59 c #Conflicts: 623000 | #Constraints: 110677
1585.82/1590.59 c INPROCESSING
1585.82/1590.59 c GARBAGE COLLECT
1585.82/1590.59 c #Conflicts: 624000 | #Constraints: 96074
1585.82/1590.59 c #Conflicts: 625000 | #Constraints: 97074
1585.82/1590.59 c #Conflicts: 626000 | #Constraints: 98074
1585.82/1590.59 c #Conflicts: 627000 | #Constraints: 99074
1585.82/1590.59 c #Conflicts: 628000 | #Constraints: 100074
1585.82/1590.59 c #Conflicts: 629000 | #Constraints: 101074
1585.82/1590.59 c #Conflicts: 630000 | #Constraints: 102074
1585.82/1590.59 c #Conflicts: 631000 | #Constraints: 103074
1585.82/1590.59 c #Conflicts: 632000 | #Constraints: 104074
1585.82/1590.59 c #Conflicts: 633000 | #Constraints: 105074
1585.82/1590.59 c #Conflicts: 634000 | #Constraints: 106074
1585.82/1590.59 c #Conflicts: 635000 | #Constraints: 107074
1585.82/1590.59 c #Conflicts: 636000 | #Constraints: 108074
1585.82/1590.59 c #Conflicts: 637000 | #Constraints: 109074
1585.82/1590.59 c #Conflicts: 638000 | #Constraints: 110074
1585.82/1590.59 c #Conflicts: 639000 | #Constraints: 111074
1585.82/1590.59 c INPROCESSING
1585.82/1590.59 c GARBAGE COLLECT
1585.82/1590.59 c #Conflicts: 640000 | #Constraints: 96283
1585.82/1590.59 c #Conflicts: 641000 | #Constraints: 97283
1585.82/1590.59 c #Conflicts: 642000 | #Constraints: 98283
1585.82/1590.59 c #Conflicts: 643000 | #Constraints: 99283
1585.82/1590.59 c #Conflicts: 644000 | #Constraints: 100283
1585.82/1590.59 c #Conflicts: 645000 | #Constraints: 101283
1585.82/1590.59 c #Conflicts: 646000 | #Constraints: 102283
1585.82/1590.59 c #Conflicts: 647000 | #Constraints: 103283
1585.82/1590.59 c #Conflicts: 648000 | #Constraints: 104283
1585.82/1590.59 c #Conflicts: 649000 | #Constraints: 105283
1585.82/1590.59 c #Conflicts: 650000 | #Constraints: 106283
1585.82/1590.59 c #Conflicts: 651000 | #Constraints: 107283
1850.14/1855.75 c #Conflicts: 652000 | #Constraints: 108283
1850.14/1855.75 c #Conflicts: 653000 | #Constraints: 109283
1850.14/1855.75 c #Conflicts: 654000 | #Constraints: 110283
1850.14/1855.75 c #Conflicts: 655000 | #Constraints: 111283
1850.14/1855.75 c INPROCESSING
1850.14/1855.75 c GARBAGE COLLECT
1850.14/1855.75 c #Conflicts: 656000 | #Constraints: 96285
1850.14/1855.75 c #Conflicts: 657000 | #Constraints: 97285
1850.14/1855.75 c #Conflicts: 658000 | #Constraints: 98285
1850.14/1855.75 c #Conflicts: 659000 | #Constraints: 99285
1850.14/1855.75 c #Conflicts: 660000 | #Constraints: 100285
1850.14/1855.75 c #Conflicts: 661000 | #Constraints: 101285
1850.14/1855.75 c #Conflicts: 662000 | #Constraints: 102285
1850.14/1855.75 c #Conflicts: 663000 | #Constraints: 103285
1850.14/1855.75 c #Conflicts: 664000 | #Constraints: 104285
1850.14/1855.75 c #Conflicts: 665000 | #Constraints: 105285
1850.14/1855.75 c #Conflicts: 666000 | #Constraints: 106285
1850.14/1855.75 c #Conflicts: 667000 | #Constraints: 107285
1850.14/1855.75 c #Conflicts: 668000 | #Constraints: 108285
1850.14/1855.75 c #Conflicts: 669000 | #Constraints: 109285
1850.14/1855.75 c #Conflicts: 670000 | #Constraints: 110285
1850.14/1855.75 c #Conflicts: 671000 | #Constraints: 111285
1850.14/1855.75 c INPROCESSING
1850.14/1855.75 c GARBAGE COLLECT
1850.14/1855.75 c #Conflicts: 672000 | #Constraints: 96070
1850.14/1855.75 c #Conflicts: 673000 | #Constraints: 97070
1850.14/1855.75 c #Conflicts: 674000 | #Constraints: 98070
1850.14/1855.75 c #Conflicts: 675000 | #Constraints: 99070
1850.14/1855.75 c #Conflicts: 676000 | #Constraints: 100070
1850.14/1855.75 c #Conflicts: 677000 | #Constraints: 101070
1850.14/1855.75 c #Conflicts: 678000 | #Constraints: 102070
1850.14/1855.75 c #Conflicts: 679000 | #Constraints: 103070
1850.14/1855.75 c #Conflicts: 680000 | #Constraints: 104070
1850.14/1855.75 c #Conflicts: 681000 | #Constraints: 105070
1850.14/1855.75 c #Conflicts: 682000 | #Constraints: 106070
1850.14/1855.75 c #Conflicts: 683000 | #Constraints: 107070
1850.14/1855.75 c #Conflicts: 684000 | #Constraints: 108070
1850.14/1855.75 c #Conflicts: 685000 | #Constraints: 109070
1850.14/1855.75 c #Conflicts: 686000 | #Constraints: 110070
1850.14/1855.75 c #Conflicts: 687000 | #Constraints: 111070
1850.14/1855.75 c #Conflicts: 688000 | #Constraints: 112070
1850.14/1855.75 c INPROCESSING
1850.14/1855.75 c GARBAGE COLLECT
1850.14/1855.75 c #Conflicts: 689000 | #Constraints: 96667
1850.14/1855.75 c #Conflicts: 690000 | #Constraints: 97667
1850.14/1855.75 c #Conflicts: 691000 | #Constraints: 98667
1850.14/1855.75 c #Conflicts: 692000 | #Constraints: 99667
1850.14/1855.75 c #Conflicts: 693000 | #Constraints: 100667
1850.14/1855.75 c #Conflicts: 694000 | #Constraints: 101667
1850.14/1855.75 c #Conflicts: 695000 | #Constraints: 102667
1850.14/1855.75 c #Conflicts: 696000 | #Constraints: 103667
1850.14/1855.75 c #Conflicts: 697000 | #Constraints: 104667
1850.14/1855.75 c #Conflicts: 698000 | #Constraints: 105667
1850.14/1855.75 c #Conflicts: 699000 | #Constraints: 106667
1850.14/1855.75 c #Conflicts: 700000 | #Constraints: 107667
1850.14/1855.75 c #Conflicts: 701000 | #Constraints: 108667
1850.14/1855.75 c #Conflicts: 702000 | #Constraints: 109667
1850.14/1855.75 c #Conflicts: 703000 | #Constraints: 110667
1850.14/1855.75 c #Conflicts: 704000 | #Constraints: 111667
1850.14/1855.75 c #Conflicts: 705000 | #Constraints: 112667
1850.14/1855.75 c INPROCESSING
1850.14/1855.75 c GARBAGE COLLECT
1850.14/1855.75 c #Conflicts: 706000 | #Constraints: 97071
1850.14/1855.75 c #Conflicts: 707000 | #Constraints: 98071
1850.14/1855.75 c #Conflicts: 708000 | #Constraints: 99071
1850.14/1855.75 c #Conflicts: 709000 | #Constraints: 100071
1850.14/1855.75 c #Conflicts: 710000 | #Constraints: 101071
1850.14/1855.75 c #Conflicts: 711000 | #Constraints: 102071
1850.14/1855.75 c #Conflicts: 712000 | #Constraints: 103071
1850.14/1855.75 c #Conflicts: 713000 | #Constraints: 104071
1850.14/1855.75 c #Conflicts: 714000 | #Constraints: 105071
1850.14/1855.75 c #Conflicts: 715000 | #Constraints: 106071
1850.14/1855.75 c #Conflicts: 716000 | #Constraints: 107071
1850.14/1855.75 c #Conflicts: 717000 | #Constraints: 108071
1850.14/1855.75 c #Conflicts: 718000 | #Constraints: 109071
1850.14/1855.75 c #Conflicts: 719000 | #Constraints: 110071
1850.14/1855.75 c #Conflicts: 720000 | #Constraints: 111071
1850.14/1855.75 c #Conflicts: 721000 | #Constraints: 112071
1850.14/1855.75 c #Conflicts: 722000 | #Constraints: 113071
1850.14/1855.75 c INPROCESSING
1850.14/1855.75 c GARBAGE COLLECT
1850.14/1855.75 c #Conflicts: 723000 | #Constraints: 97257
1850.14/1855.75 c #Conflicts: 724000 | #Constraints: 98257
1850.14/1855.75 c #Conflicts: 725000 | #Constraints: 99257
1850.14/1855.75 c #Conflicts: 726000 | #Constraints: 100257
2107.14/2113.49 c #Conflicts: 727000 | #Constraints: 101257
2107.14/2113.49 c #Conflicts: 728000 | #Constraints: 102257
2107.14/2113.49 c #Conflicts: 729000 | #Constraints: 103257
2107.14/2113.49 c #Conflicts: 730000 | #Constraints: 104257
2107.14/2113.49 c #Conflicts: 731000 | #Constraints: 105257
2107.14/2113.49 c #Conflicts: 732000 | #Constraints: 106257
2107.14/2113.49 c #Conflicts: 733000 | #Constraints: 107257
2107.14/2113.49 c #Conflicts: 734000 | #Constraints: 108257
2107.14/2113.49 c #Conflicts: 735000 | #Constraints: 109257
2107.14/2113.49 c #Conflicts: 736000 | #Constraints: 110257
2107.14/2113.49 c #Conflicts: 737000 | #Constraints: 111257
2107.14/2113.49 c #Conflicts: 738000 | #Constraints: 112257
2107.14/2113.49 c #Conflicts: 739000 | #Constraints: 113257
2107.14/2113.49 c INPROCESSING
2107.14/2113.49 c GARBAGE COLLECT
2107.14/2113.49 c #Conflicts: 740000 | #Constraints: 97283
2107.14/2113.49 c #Conflicts: 741000 | #Constraints: 98283
2107.14/2113.49 c #Conflicts: 742000 | #Constraints: 99283
2107.14/2113.49 c #Conflicts: 743000 | #Constraints: 100283
2107.14/2113.49 c #Conflicts: 744000 | #Constraints: 101283
2107.14/2113.49 c #Conflicts: 745000 | #Constraints: 102283
2107.14/2113.49 c #Conflicts: 746000 | #Constraints: 103283
2107.14/2113.49 c #Conflicts: 747000 | #Constraints: 104283
2107.14/2113.49 c #Conflicts: 748000 | #Constraints: 105283
2107.14/2113.49 c #Conflicts: 749000 | #Constraints: 106283
2107.14/2113.49 c #Conflicts: 750000 | #Constraints: 107283
2107.14/2113.49 c #Conflicts: 751000 | #Constraints: 108283
2107.14/2113.49 c #Conflicts: 752000 | #Constraints: 109283
2107.14/2113.49 c #Conflicts: 753000 | #Constraints: 110283
2107.14/2113.49 c #Conflicts: 754000 | #Constraints: 111283
2107.14/2113.49 c #Conflicts: 755000 | #Constraints: 112283
2107.14/2113.49 c #Conflicts: 756000 | #Constraints: 113283
2107.14/2113.49 c INPROCESSING
2107.14/2113.49 c GARBAGE COLLECT
2107.14/2113.49 c #Conflicts: 757000 | #Constraints: 97074
2107.14/2113.49 c #Conflicts: 758000 | #Constraints: 98074
2107.14/2113.49 c #Conflicts: 759000 | #Constraints: 99074
2107.14/2113.49 c #Conflicts: 760000 | #Constraints: 100074
2107.14/2113.49 c #Conflicts: 761000 | #Constraints: 101074
2107.14/2113.49 c #Conflicts: 762000 | #Constraints: 102074
2107.14/2113.49 c #Conflicts: 763000 | #Constraints: 103074
2107.14/2113.49 c #Conflicts: 764000 | #Constraints: 104074
2107.14/2113.49 c #Conflicts: 765000 | #Constraints: 105074
2107.14/2113.49 c #Conflicts: 766000 | #Constraints: 106074
2107.14/2113.49 c #Conflicts: 767000 | #Constraints: 107074
2107.14/2113.49 c #Conflicts: 768000 | #Constraints: 108074
2107.14/2113.49 c #Conflicts: 769000 | #Constraints: 109074
2107.14/2113.49 c #Conflicts: 770000 | #Constraints: 110074
2107.14/2113.49 c #Conflicts: 771000 | #Constraints: 111074
2107.14/2113.49 c #Conflicts: 772000 | #Constraints: 112074
2107.14/2113.49 c #Conflicts: 773000 | #Constraints: 113074
2107.14/2113.49 c #Conflicts: 774000 | #Constraints: 114074
2107.14/2113.49 c INPROCESSING
2107.14/2113.49 c GARBAGE COLLECT
2107.14/2113.49 c #Conflicts: 775000 | #Constraints: 97672
2107.14/2113.49 c #Conflicts: 776000 | #Constraints: 98672
2107.14/2113.49 c #Conflicts: 777000 | #Constraints: 99672
2107.14/2113.49 c #Conflicts: 778000 | #Constraints: 100672
2107.14/2113.49 c #Conflicts: 779000 | #Constraints: 101672
2107.14/2113.49 c #Conflicts: 780000 | #Constraints: 102672
2107.14/2113.49 c #Conflicts: 781000 | #Constraints: 103672
2107.14/2113.49 c #Conflicts: 782000 | #Constraints: 104672
2107.14/2113.49 c #Conflicts: 783000 | #Constraints: 105672
2107.14/2113.49 c #Conflicts: 784000 | #Constraints: 106672
2107.14/2113.49 c #Conflicts: 785000 | #Constraints: 107672
2107.14/2113.49 c #Conflicts: 786000 | #Constraints: 108672
2107.14/2113.49 c #Conflicts: 787000 | #Constraints: 109672
2107.14/2113.49 c #Conflicts: 788000 | #Constraints: 110672
2107.14/2113.49 c #Conflicts: 789000 | #Constraints: 111672
2107.14/2113.49 c #Conflicts: 790000 | #Constraints: 112672
2107.14/2113.49 c #Conflicts: 791000 | #Constraints: 113672
2107.14/2113.49 c #Conflicts: 792000 | #Constraints: 114672
2107.14/2113.49 c INPROCESSING
2107.14/2113.49 c GARBAGE COLLECT
2107.14/2113.49 c #Conflicts: 793000 | #Constraints: 98068
2107.14/2113.49 c #Conflicts: 794000 | #Constraints: 99068
2107.14/2113.49 c #Conflicts: 795000 | #Constraints: 100068
2107.14/2113.49 c #Conflicts: 796000 | #Constraints: 101068
2107.14/2113.49 c #Conflicts: 797000 | #Constraints: 102068
2107.14/2113.49 c #Conflicts: 798000 | #Constraints: 103068
2107.14/2113.49 c #Conflicts: 799000 | #Constraints: 104068
2107.14/2113.49 c #Conflicts: 800000 | #Constraints: 105068
2107.14/2113.49 c #Conflicts: 801000 | #Constraints: 106068
2107.14/2113.49 c #Conflicts: 802000 | #Constraints: 107068
2107.14/2113.49 c #Conflicts: 803000 | #Constraints: 108068
2371.05/2378.03 c #Conflicts: 804000 | #Constraints: 109068
2371.05/2378.03 c #Conflicts: 805000 | #Constraints: 110068
2371.05/2378.03 c #Conflicts: 806000 | #Constraints: 111068
2371.05/2378.03 c #Conflicts: 807000 | #Constraints: 112068
2371.05/2378.03 c #Conflicts: 808000 | #Constraints: 113068
2371.05/2378.03 c #Conflicts: 809000 | #Constraints: 114068
2371.05/2378.03 c #Conflicts: 810000 | #Constraints: 115068
2371.05/2378.03 c INPROCESSING
2371.05/2378.03 c GARBAGE COLLECT
2371.05/2378.03 c #Conflicts: 811000 | #Constraints: 98288
2371.05/2378.03 c #Conflicts: 812000 | #Constraints: 99288
2371.05/2378.03 c #Conflicts: 813000 | #Constraints: 100288
2371.05/2378.03 c #Conflicts: 814000 | #Constraints: 101288
2371.05/2378.03 c #Conflicts: 815000 | #Constraints: 102288
2371.05/2378.03 c #Conflicts: 816000 | #Constraints: 103288
2371.05/2378.03 c #Conflicts: 817000 | #Constraints: 104288
2371.05/2378.03 c #Conflicts: 818000 | #Constraints: 105288
2371.05/2378.03 c #Conflicts: 819000 | #Constraints: 106288
2371.05/2378.03 c #Conflicts: 820000 | #Constraints: 107288
2371.05/2378.03 c #Conflicts: 821000 | #Constraints: 108288
2371.05/2378.03 c #Conflicts: 822000 | #Constraints: 109288
2371.05/2378.03 c #Conflicts: 823000 | #Constraints: 110288
2371.05/2378.03 c #Conflicts: 824000 | #Constraints: 111288
2371.05/2378.03 c #Conflicts: 825000 | #Constraints: 112288
2371.05/2378.03 c #Conflicts: 826000 | #Constraints: 113288
2371.05/2378.03 c #Conflicts: 827000 | #Constraints: 114288
2371.05/2378.03 c #Conflicts: 828000 | #Constraints: 115288
2371.05/2378.03 c INPROCESSING
2371.05/2378.03 c GARBAGE COLLECT
2371.05/2378.03 c #Conflicts: 829000 | #Constraints: 98275
2371.05/2378.03 c #Conflicts: 830000 | #Constraints: 99275
2371.05/2378.03 c #Conflicts: 831000 | #Constraints: 100275
2371.05/2378.03 c #Conflicts: 832000 | #Constraints: 101275
2371.05/2378.03 c #Conflicts: 833000 | #Constraints: 102275
2371.05/2378.03 c #Conflicts: 834000 | #Constraints: 103275
2371.05/2378.03 c #Conflicts: 835000 | #Constraints: 104275
2371.05/2378.03 c #Conflicts: 836000 | #Constraints: 105275
2371.05/2378.03 c #Conflicts: 837000 | #Constraints: 106275
2371.05/2378.03 c #Conflicts: 838000 | #Constraints: 107275
2371.05/2378.03 c #Conflicts: 839000 | #Constraints: 108275
2371.05/2378.03 c #Conflicts: 840000 | #Constraints: 109275
2371.05/2378.03 c #Conflicts: 841000 | #Constraints: 110275
2371.05/2378.03 c #Conflicts: 842000 | #Constraints: 111275
2371.05/2378.03 c #Conflicts: 843000 | #Constraints: 112275
2371.05/2378.03 c #Conflicts: 844000 | #Constraints: 113275
2371.05/2378.03 c #Conflicts: 845000 | #Constraints: 114275
2371.05/2378.03 c #Conflicts: 846000 | #Constraints: 115275
2371.05/2378.03 c INPROCESSING
2371.05/2378.03 c GARBAGE COLLECT
2371.05/2378.03 c #Conflicts: 847000 | #Constraints: 98077
2371.05/2378.03 c #Conflicts: 848000 | #Constraints: 99077
2371.05/2378.03 c #Conflicts: 849000 | #Constraints: 100077
2371.05/2378.03 c #Conflicts: 850000 | #Constraints: 101077
2371.05/2378.03 c #Conflicts: 851000 | #Constraints: 102077
2371.05/2378.03 c #Conflicts: 852000 | #Constraints: 103077
2371.05/2378.03 c #Conflicts: 853000 | #Constraints: 104077
2371.05/2378.03 c #Conflicts: 854000 | #Constraints: 105077
2371.05/2378.03 c #Conflicts: 855000 | #Constraints: 106077
2371.05/2378.03 c #Conflicts: 856000 | #Constraints: 107077
2371.05/2378.03 c #Conflicts: 857000 | #Constraints: 108077
2371.05/2378.03 c #Conflicts: 858000 | #Constraints: 109077
2371.05/2378.03 c #Conflicts: 859000 | #Constraints: 110077
2371.05/2378.03 c #Conflicts: 860000 | #Constraints: 111077
2371.05/2378.03 c #Conflicts: 861000 | #Constraints: 112077
2371.05/2378.03 c #Conflicts: 862000 | #Constraints: 113077
2371.05/2378.03 c #Conflicts: 863000 | #Constraints: 114077
2371.05/2378.03 c #Conflicts: 864000 | #Constraints: 115077
2371.05/2378.03 c #Conflicts: 865000 | #Constraints: 116077
2371.05/2378.03 c INPROCESSING
2371.05/2378.03 c GARBAGE COLLECT
2371.05/2378.03 c #Conflicts: 866000 | #Constraints: 98691
2371.05/2378.03 c #Conflicts: 867000 | #Constraints: 99691
2371.05/2378.03 c #Conflicts: 868000 | #Constraints: 100691
2371.05/2378.03 c #Conflicts: 869000 | #Constraints: 101691
2371.05/2378.03 c #Conflicts: 870000 | #Constraints: 102691
2371.05/2378.03 c #Conflicts: 871000 | #Constraints: 103691
2371.05/2378.03 c #Conflicts: 872000 | #Constraints: 104691
2371.05/2378.03 c #Conflicts: 873000 | #Constraints: 105691
2371.05/2378.03 c #Conflicts: 874000 | #Constraints: 106691
2371.05/2378.03 c #Conflicts: 875000 | #Constraints: 107691
2371.05/2378.03 c #Conflicts: 876000 | #Constraints: 108691
2371.05/2378.03 c #Conflicts: 877000 | #Constraints: 109691
2371.05/2378.03 c #Conflicts: 878000 | #Constraints: 110691
2371.05/2378.03 c #Conflicts: 879000 | #Constraints: 111691
2587.58/2595.23 c #Conflicts: 880000 | #Constraints: 112691
2587.58/2595.23 c #Conflicts: 881000 | #Constraints: 113691
2587.58/2595.23 c #Conflicts: 882000 | #Constraints: 114691
2587.58/2595.23 c #Conflicts: 883000 | #Constraints: 115691
2587.58/2595.23 c #Conflicts: 884000 | #Constraints: 116691
2587.58/2595.23 c INPROCESSING
2587.58/2595.23 c GARBAGE COLLECT
2587.58/2595.23 c #Conflicts: 885000 | #Constraints: 99091
2587.58/2595.23 c #Conflicts: 886000 | #Constraints: 100091
2587.58/2595.23 c #Conflicts: 887000 | #Constraints: 101091
2587.58/2595.23 c #Conflicts: 888000 | #Constraints: 102091
2587.58/2595.23 c #Conflicts: 889000 | #Constraints: 103091
2587.58/2595.23 c #Conflicts: 890000 | #Constraints: 104091
2587.58/2595.23 c #Conflicts: 891000 | #Constraints: 105091
2587.58/2595.23 c #Conflicts: 892000 | #Constraints: 106091
2587.58/2595.23 c #Conflicts: 893000 | #Constraints: 107091
2587.58/2595.23 c #Conflicts: 894000 | #Constraints: 108091
2587.58/2595.23 c #Conflicts: 895000 | #Constraints: 109091
2587.58/2595.23 c #Conflicts: 896000 | #Constraints: 110091
2587.58/2595.23 c #Conflicts: 897000 | #Constraints: 111091
2587.58/2595.23 c #Conflicts: 898000 | #Constraints: 112091
2587.58/2595.23 c #Conflicts: 899000 | #Constraints: 113091
2587.58/2595.23 c #Conflicts: 900000 | #Constraints: 114091
2587.58/2595.23 c #Conflicts: 901000 | #Constraints: 115091
2587.58/2595.23 c #Conflicts: 902000 | #Constraints: 116091
2587.58/2595.23 c #Conflicts: 903000 | #Constraints: 117091
2587.58/2595.23 c INPROCESSING
2587.58/2595.23 c GARBAGE COLLECT
2587.58/2595.23 c #Conflicts: 904000 | #Constraints: 99287
2587.58/2595.23 c #Conflicts: 905000 | #Constraints: 100287
2587.58/2595.23 c #Conflicts: 906000 | #Constraints: 101287
2587.58/2595.23 c #Conflicts: 907000 | #Constraints: 102287
2587.58/2595.23 c #Conflicts: 908000 | #Constraints: 103287
2587.58/2595.23 c #Conflicts: 909000 | #Constraints: 104287
2587.58/2595.23 c #Conflicts: 910000 | #Constraints: 105287
2587.58/2595.23 c #Conflicts: 911000 | #Constraints: 106287
2587.58/2595.23 c #Conflicts: 912000 | #Constraints: 107287
2587.58/2595.23 c #Conflicts: 913000 | #Constraints: 108287
2587.58/2595.23 c #Conflicts: 914000 | #Constraints: 109287
2587.58/2595.23 c #Conflicts: 915000 | #Constraints: 110287
2587.58/2595.23 c #Conflicts: 916000 | #Constraints: 111287
2587.58/2595.23 c #Conflicts: 917000 | #Constraints: 112287
2587.58/2595.23 c #Conflicts: 918000 | #Constraints: 113287
2587.58/2595.23 c #Conflicts: 919000 | #Constraints: 114287
2587.58/2595.23 c #Conflicts: 920000 | #Constraints: 115287
2587.58/2595.23 c #Conflicts: 921000 | #Constraints: 116287
2587.58/2595.23 c #Conflicts: 922000 | #Constraints: 117287
2587.58/2595.23 c INPROCESSING
2587.58/2595.23 c GARBAGE COLLECT
2587.58/2595.23 c #Conflicts: 923000 | #Constraints: 99293
2587.58/2595.23 c #Conflicts: 924000 | #Constraints: 100293
2587.58/2595.23 c #Conflicts: 925000 | #Constraints: 101293
2587.58/2595.23 c #Conflicts: 926000 | #Constraints: 102293
2587.58/2595.23 c #Conflicts: 927000 | #Constraints: 103293
2587.58/2595.23 c #Conflicts: 928000 | #Constraints: 104293
2587.58/2595.23 c #Conflicts: 929000 | #Constraints: 105293
2587.58/2595.23 c #Conflicts: 930000 | #Constraints: 106293
2587.58/2595.23 c #Conflicts: 931000 | #Constraints: 107293
2587.58/2595.23 c #Conflicts: 932000 | #Constraints: 108293
2587.58/2595.23 c #Conflicts: 933000 | #Constraints: 109293
2587.58/2595.23 c #Conflicts: 934000 | #Constraints: 110293
2587.58/2595.23 c #Conflicts: 935000 | #Constraints: 111293
2587.58/2595.23 c #Conflicts: 936000 | #Constraints: 112293
2587.58/2595.23 c #Conflicts: 937000 | #Constraints: 113293
2587.58/2595.23 c #Conflicts: 938000 | #Constraints: 114293
2587.58/2595.23 c #Conflicts: 939000 | #Constraints: 115293
2587.58/2595.23 c #Conflicts: 940000 | #Constraints: 116293
2587.58/2595.23 c #Conflicts: 941000 | #Constraints: 117293
2587.58/2595.23 c INPROCESSING
2587.58/2595.23 c GARBAGE COLLECT
2587.58/2595.23 c #Conflicts: 942000 | #Constraints: 99092
2587.58/2595.23 c #Conflicts: 943000 | #Constraints: 100092
2587.58/2595.23 c #Conflicts: 944000 | #Constraints: 101092
2587.58/2595.23 c #Conflicts: 945000 | #Constraints: 102092
2587.58/2595.23 c #Conflicts: 946000 | #Constraints: 103092
2587.58/2595.23 c #Conflicts: 947000 | #Constraints: 104092
2587.58/2595.23 c #Conflicts: 948000 | #Constraints: 105092
2587.58/2595.23 c #Conflicts: 949000 | #Constraints: 106092
2587.58/2595.23 c #Conflicts: 950000 | #Constraints: 107092
2587.58/2595.23 c #Conflicts: 951000 | #Constraints: 108092
2587.58/2595.23 c #Conflicts: 952000 | #Constraints: 109092
2587.58/2595.23 c #Conflicts: 953000 | #Constraints: 110092
2587.58/2595.23 c #Conflicts: 954000 | #Constraints: 111092
2587.58/2595.23 c #Conflicts: 955000 | #Constraints: 112092
2785.19/2793.40 c #Conflicts: 956000 | #Constraints: 113092
2785.19/2793.40 c #Conflicts: 957000 | #Constraints: 114092
2785.19/2793.40 c #Conflicts: 958000 | #Constraints: 115092
2785.19/2793.40 c #Conflicts: 959000 | #Constraints: 116092
2785.19/2793.40 c #Conflicts: 960000 | #Constraints: 117092
2785.19/2793.40 c #Conflicts: 961000 | #Constraints: 118092
2785.19/2793.40 c INPROCESSING
2785.19/2793.40 c GARBAGE COLLECT
2785.19/2793.40 c #Conflicts: 962000 | #Constraints: 99691
2785.19/2793.40 c #Conflicts: 963000 | #Constraints: 100691
2785.19/2793.40 c #Conflicts: 964000 | #Constraints: 101691
2785.19/2793.40 c #Conflicts: 965000 | #Constraints: 102691
2785.19/2793.40 c #Conflicts: 966000 | #Constraints: 103691
2785.19/2793.40 c #Conflicts: 967000 | #Constraints: 104691
2785.19/2793.40 c #Conflicts: 968000 | #Constraints: 105691
2785.19/2793.40 c #Conflicts: 969000 | #Constraints: 106691
2785.19/2793.40 c #Conflicts: 970000 | #Constraints: 107691
2785.19/2793.40 c #Conflicts: 971000 | #Constraints: 108691
2785.19/2793.40 c #Conflicts: 972000 | #Constraints: 109691
2785.19/2793.40 c #Conflicts: 973000 | #Constraints: 110691
2785.19/2793.40 c #Conflicts: 974000 | #Constraints: 111691
2785.19/2793.40 c #Conflicts: 975000 | #Constraints: 112691
2785.19/2793.40 c #Conflicts: 976000 | #Constraints: 113691
2785.19/2793.40 c #Conflicts: 977000 | #Constraints: 114691
2785.19/2793.40 c #Conflicts: 978000 | #Constraints: 115691
2785.19/2793.40 c #Conflicts: 979000 | #Constraints: 116691
2785.19/2793.40 c #Conflicts: 980000 | #Constraints: 117691
2785.19/2793.40 c #Conflicts: 981000 | #Constraints: 118691
2785.19/2793.40 c INPROCESSING
2785.19/2793.40 c GARBAGE COLLECT
2785.19/2793.40 c #Conflicts: 982000 | #Constraints: 100077
2785.19/2793.40 c #Conflicts: 983000 | #Constraints: 101077
2785.19/2793.40 c #Conflicts: 984000 | #Constraints: 102077
2785.19/2793.40 c #Conflicts: 985000 | #Constraints: 103077
2785.19/2793.40 c #Conflicts: 986000 | #Constraints: 104077
2785.19/2793.40 c #Conflicts: 987000 | #Constraints: 105077
2785.19/2793.40 c #Conflicts: 988000 | #Constraints: 106077
2785.19/2793.40 c #Conflicts: 989000 | #Constraints: 107077
2785.19/2793.40 c #Conflicts: 990000 | #Constraints: 108077
2785.19/2793.40 c #Conflicts: 991000 | #Constraints: 109077
2785.19/2793.40 c #Conflicts: 992000 | #Constraints: 110077
2785.19/2793.40 c #Conflicts: 993000 | #Constraints: 111077
2785.19/2793.40 c #Conflicts: 994000 | #Constraints: 112077
2785.19/2793.40 c #Conflicts: 995000 | #Constraints: 113077
2785.19/2793.40 c #Conflicts: 996000 | #Constraints: 114077
2785.19/2793.40 c #Conflicts: 997000 | #Constraints: 115077
2785.19/2793.40 c #Conflicts: 998000 | #Constraints: 116077
2785.19/2793.40 c #Conflicts: 999000 | #Constraints: 117077
2785.19/2793.40 c #Conflicts: 1000000 | #Constraints: 118077
2785.19/2793.40 c #Conflicts: 1001000 | #Constraints: 119077
2785.19/2793.40 c INPROCESSING
2785.19/2793.40 c GARBAGE COLLECT
2785.19/2793.40 c #Conflicts: 1002000 | #Constraints: 100281
2785.19/2793.40 c #Conflicts: 1003000 | #Constraints: 101281
2785.19/2793.40 c #Conflicts: 1004000 | #Constraints: 102281
2785.19/2793.40 c #Conflicts: 1005000 | #Constraints: 103281
2785.19/2793.40 c #Conflicts: 1006000 | #Constraints: 104281
2785.19/2793.40 c #Conflicts: 1007000 | #Constraints: 105281
2785.19/2793.40 c #Conflicts: 1008000 | #Constraints: 106281
2785.19/2793.40 c #Conflicts: 1009000 | #Constraints: 107281
2785.19/2793.40 c #Conflicts: 1010000 | #Constraints: 108281
2785.19/2793.40 c #Conflicts: 1011000 | #Constraints: 109281
2785.19/2793.40 c #Conflicts: 1012000 | #Constraints: 110281
2785.19/2793.40 c #Conflicts: 1013000 | #Constraints: 111281
2785.19/2793.40 c #Conflicts: 1014000 | #Constraints: 112281
2785.19/2793.40 c #Conflicts: 1015000 | #Constraints: 113281
2785.19/2793.40 c #Conflicts: 1016000 | #Constraints: 114281
2785.19/2793.40 c #Conflicts: 1017000 | #Constraints: 115281
2785.19/2793.40 c #Conflicts: 1018000 | #Constraints: 116281
2785.19/2793.40 c #Conflicts: 1019000 | #Constraints: 117281
2785.19/2793.40 c #Conflicts: 1020000 | #Constraints: 118281
2785.19/2793.40 c #Conflicts: 1021000 | #Constraints: 119281
2785.19/2793.40 c INPROCESSING
2785.19/2793.40 c GARBAGE COLLECT
2785.19/2793.40 c #Conflicts: 1022000 | #Constraints: 100292
2785.19/2793.40 c #Conflicts: 1023000 | #Constraints: 101292
2785.19/2793.40 c #Conflicts: 1024000 | #Constraints: 102292
2785.19/2793.40 c #Conflicts: 1025000 | #Constraints: 103292
2785.19/2793.40 c #Conflicts: 1026000 | #Constraints: 104292
2785.19/2793.40 c #Conflicts: 1027000 | #Constraints: 105292
2785.19/2793.40 c #Conflicts: 1028000 | #Constraints: 106292
2785.19/2793.40 c #Conflicts: 1029000 | #Constraints: 107292
2785.19/2793.40 c #Conflicts: 1030000 | #Constraints: 108292
2785.19/2793.40 c #Conflicts: 1031000 | #Constraints: 109292
3008.43/3017.35 c #Conflicts: 1032000 | #Constraints: 110292
3008.43/3017.35 c #Conflicts: 1033000 | #Constraints: 111292
3008.43/3017.35 c #Conflicts: 1034000 | #Constraints: 112292
3008.43/3017.35 c #Conflicts: 1035000 | #Constraints: 113292
3008.43/3017.35 c #Conflicts: 1036000 | #Constraints: 114292
3008.43/3017.35 c #Conflicts: 1037000 | #Constraints: 115292
3008.43/3017.35 c #Conflicts: 1038000 | #Constraints: 116292
3008.43/3017.35 c #Conflicts: 1039000 | #Constraints: 117292
3008.43/3017.35 c #Conflicts: 1040000 | #Constraints: 118292
3008.43/3017.35 c #Conflicts: 1041000 | #Constraints: 119292
3008.43/3017.35 c INPROCESSING
3008.43/3017.35 c GARBAGE COLLECT
3008.43/3017.35 c #Conflicts: 1042000 | #Constraints: 100085
3008.43/3017.35 c #Conflicts: 1043000 | #Constraints: 101085
3008.43/3017.35 c #Conflicts: 1044000 | #Constraints: 102085
3008.43/3017.35 c #Conflicts: 1045000 | #Constraints: 103085
3008.43/3017.35 c #Conflicts: 1046000 | #Constraints: 104085
3008.43/3017.35 c #Conflicts: 1047000 | #Constraints: 105085
3008.43/3017.35 c #Conflicts: 1048000 | #Constraints: 106085
3008.43/3017.35 c #Conflicts: 1049000 | #Constraints: 107085
3008.43/3017.35 c #Conflicts: 1050000 | #Constraints: 108085
3008.43/3017.35 c #Conflicts: 1051000 | #Constraints: 109085
3008.43/3017.35 c #Conflicts: 1052000 | #Constraints: 110085
3008.43/3017.35 c #Conflicts: 1053000 | #Constraints: 111085
3008.43/3017.35 c #Conflicts: 1054000 | #Constraints: 112085
3008.43/3017.35 c #Conflicts: 1055000 | #Constraints: 113085
3008.43/3017.35 c #Conflicts: 1056000 | #Constraints: 114085
3008.43/3017.35 c #Conflicts: 1057000 | #Constraints: 115085
3008.43/3017.35 c #Conflicts: 1058000 | #Constraints: 116085
3008.43/3017.35 c #Conflicts: 1059000 | #Constraints: 117085
3008.43/3017.35 c #Conflicts: 1060000 | #Constraints: 118085
3008.43/3017.35 c #Conflicts: 1061000 | #Constraints: 119085
3008.43/3017.35 c #Conflicts: 1062000 | #Constraints: 120085
3008.43/3017.35 c INPROCESSING
3008.43/3017.35 c GARBAGE COLLECT
3008.43/3017.35 c #Conflicts: 1063000 | #Constraints: 100684
3008.43/3017.35 c #Conflicts: 1064000 | #Constraints: 101684
3008.43/3017.35 c #Conflicts: 1065000 | #Constraints: 102684
3008.43/3017.35 c #Conflicts: 1066000 | #Constraints: 103684
3008.43/3017.35 c #Conflicts: 1067000 | #Constraints: 104684
3008.43/3017.35 c #Conflicts: 1068000 | #Constraints: 105684
3008.43/3017.35 c #Conflicts: 1069000 | #Constraints: 106684
3008.43/3017.35 c #Conflicts: 1070000 | #Constraints: 107684
3008.43/3017.35 c #Conflicts: 1071000 | #Constraints: 108684
3008.43/3017.35 c #Conflicts: 1072000 | #Constraints: 109684
3008.43/3017.35 c #Conflicts: 1073000 | #Constraints: 110684
3008.43/3017.35 c #Conflicts: 1074000 | #Constraints: 111684
3008.43/3017.35 c #Conflicts: 1075000 | #Constraints: 112684
3008.43/3017.35 c #Conflicts: 1076000 | #Constraints: 113684
3008.43/3017.35 c #Conflicts: 1077000 | #Constraints: 114684
3008.43/3017.35 c #Conflicts: 1078000 | #Constraints: 115684
3008.43/3017.35 c #Conflicts: 1079000 | #Constraints: 116684
3008.43/3017.35 c #Conflicts: 1080000 | #Constraints: 117684
3008.43/3017.35 c #Conflicts: 1081000 | #Constraints: 118684
3008.43/3017.35 c #Conflicts: 1082000 | #Constraints: 119684
3008.43/3017.35 c #Conflicts: 1083000 | #Constraints: 120684
3008.43/3017.35 c INPROCESSING
3008.43/3017.35 c GARBAGE COLLECT
3008.43/3017.35 c #Conflicts: 1084000 | #Constraints: 101094
3008.43/3017.35 c #Conflicts: 1085000 | #Constraints: 102094
3008.43/3017.35 c #Conflicts: 1086000 | #Constraints: 103094
3008.43/3017.35 c #Conflicts: 1087000 | #Constraints: 104094
3008.43/3017.35 c #Conflicts: 1088000 | #Constraints: 105094
3008.43/3017.35 c #Conflicts: 1089000 | #Constraints: 106094
3008.43/3017.35 c #Conflicts: 1090000 | #Constraints: 107094
3008.43/3017.35 c #Conflicts: 1091000 | #Constraints: 108094
3008.43/3017.35 c #Conflicts: 1092000 | #Constraints: 109094
3008.43/3017.35 c #Conflicts: 1093000 | #Constraints: 110094
3008.43/3017.35 c #Conflicts: 1094000 | #Constraints: 111094
3008.43/3017.35 c #Conflicts: 1095000 | #Constraints: 112094
3008.43/3017.35 c #Conflicts: 1096000 | #Constraints: 113094
3008.43/3017.35 c #Conflicts: 1097000 | #Constraints: 114094
3008.43/3017.35 c #Conflicts: 1098000 | #Constraints: 115094
3008.43/3017.35 c #Conflicts: 1099000 | #Constraints: 116094
3008.43/3017.35 c #Conflicts: 1100000 | #Constraints: 117094
3008.43/3017.35 c #Conflicts: 1101000 | #Constraints: 118094
3008.43/3017.35 c #Conflicts: 1102000 | #Constraints: 119094
3008.43/3017.35 c #Conflicts: 1103000 | #Constraints: 120094
3008.43/3017.35 c #Conflicts: 1104000 | #Constraints: 121094
3008.43/3017.35 c INPROCESSING
3008.43/3017.35 c GARBAGE COLLECT
3008.43/3017.35 c #Conflicts: 1105000 | #Constraints: 101289
3008.43/3017.35 c #Conflicts: 1106000 | #Constraints: 102289
3008.43/3017.35 c #Conflicts: 1107000 | #Constraints: 103289
3008.43/3017.35 c #Conflicts: 1108000 | #Constraints: 104289
3252.60/3262.28 c #Conflicts: 1109000 | #Constraints: 105289
3252.60/3262.28 c #Conflicts: 1110000 | #Constraints: 106289
3252.60/3262.28 c #Conflicts: 1111000 | #Constraints: 107289
3252.60/3262.28 c #Conflicts: 1112000 | #Constraints: 108289
3252.60/3262.28 c #Conflicts: 1113000 | #Constraints: 109289
3252.60/3262.28 c #Conflicts: 1114000 | #Constraints: 110289
3252.60/3262.28 c #Conflicts: 1115000 | #Constraints: 111289
3252.60/3262.28 c #Conflicts: 1116000 | #Constraints: 112289
3252.60/3262.28 c #Conflicts: 1117000 | #Constraints: 113289
3252.60/3262.28 c #Conflicts: 1118000 | #Constraints: 114289
3252.60/3262.28 c #Conflicts: 1119000 | #Constraints: 115289
3252.60/3262.28 c #Conflicts: 1120000 | #Constraints: 116289
3252.60/3262.28 c #Conflicts: 1121000 | #Constraints: 117289
3252.60/3262.28 c #Conflicts: 1122000 | #Constraints: 118289
3252.60/3262.28 c #Conflicts: 1123000 | #Constraints: 119289
3252.60/3262.28 c #Conflicts: 1124000 | #Constraints: 120289
3252.60/3262.28 c #Conflicts: 1125000 | #Constraints: 121289
3252.60/3262.28 c INPROCESSING
3252.60/3262.28 c GARBAGE COLLECT
3252.60/3262.28 c #Conflicts: 1126000 | #Constraints: 101297
3252.60/3262.28 c #Conflicts: 1127000 | #Constraints: 102297
3252.60/3262.28 c #Conflicts: 1128000 | #Constraints: 103297
3252.60/3262.28 c #Conflicts: 1129000 | #Constraints: 104297
3252.60/3262.28 c #Conflicts: 1130000 | #Constraints: 105297
3252.60/3262.28 c #Conflicts: 1131000 | #Constraints: 106297
3252.60/3262.28 c #Conflicts: 1132000 | #Constraints: 107297
3252.60/3262.28 c #Conflicts: 1133000 | #Constraints: 108297
3252.60/3262.28 c #Conflicts: 1134000 | #Constraints: 109297
3252.60/3262.28 c #Conflicts: 1135000 | #Constraints: 110297
3252.60/3262.28 c #Conflicts: 1136000 | #Constraints: 111297
3252.60/3262.28 c #Conflicts: 1137000 | #Constraints: 112297
3252.60/3262.28 c #Conflicts: 1138000 | #Constraints: 113297
3252.60/3262.28 c #Conflicts: 1139000 | #Constraints: 114297
3252.60/3262.28 c #Conflicts: 1140000 | #Constraints: 115297
3252.60/3262.28 c #Conflicts: 1141000 | #Constraints: 116297
3252.60/3262.28 c #Conflicts: 1142000 | #Constraints: 117297
3252.60/3262.28 c #Conflicts: 1143000 | #Constraints: 118297
3252.60/3262.28 c #Conflicts: 1144000 | #Constraints: 119297
3252.60/3262.28 c #Conflicts: 1145000 | #Constraints: 120297
3252.60/3262.28 c #Conflicts: 1146000 | #Constraints: 121297
3252.60/3262.28 c INPROCESSING
3252.60/3262.28 c GARBAGE COLLECT
3252.60/3262.28 c #Conflicts: 1147000 | #Constraints: 101093
3252.60/3262.28 c #Conflicts: 1148000 | #Constraints: 102093
3252.60/3262.28 c #Conflicts: 1149000 | #Constraints: 103093
3252.60/3262.28 c #Conflicts: 1150000 | #Constraints: 104093
3252.60/3262.28 c #Conflicts: 1151000 | #Constraints: 105093
3252.60/3262.28 c #Conflicts: 1152000 | #Constraints: 106093
3252.60/3262.28 c #Conflicts: 1153000 | #Constraints: 107093
3252.60/3262.28 c #Conflicts: 1154000 | #Constraints: 108093
3252.60/3262.28 c #Conflicts: 1155000 | #Constraints: 109093
3252.60/3262.28 c #Conflicts: 1156000 | #Constraints: 110093
3252.60/3262.28 c #Conflicts: 1157000 | #Constraints: 111093
3252.60/3262.28 c #Conflicts: 1158000 | #Constraints: 112093
3252.60/3262.28 c #Conflicts: 1159000 | #Constraints: 113093
3252.60/3262.28 c #Conflicts: 1160000 | #Constraints: 114093
3252.60/3262.28 c #Conflicts: 1161000 | #Constraints: 115093
3252.60/3262.28 c #Conflicts: 1162000 | #Constraints: 116093
3252.60/3262.28 c #Conflicts: 1163000 | #Constraints: 117093
3252.60/3262.28 c #Conflicts: 1164000 | #Constraints: 118093
3252.60/3262.28 c #Conflicts: 1165000 | #Constraints: 119093
3252.60/3262.28 c #Conflicts: 1166000 | #Constraints: 120093
3252.60/3262.28 c #Conflicts: 1167000 | #Constraints: 121093
3252.60/3262.28 c #Conflicts: 1168000 | #Constraints: 122093
3252.60/3262.28 c INPROCESSING
3252.60/3262.28 c GARBAGE COLLECT
3252.60/3262.28 c #Conflicts: 1169000 | #Constraints: 101704
3252.60/3262.28 c #Conflicts: 1170000 | #Constraints: 102704
3252.60/3262.28 c #Conflicts: 1171000 | #Constraints: 103704
3252.60/3262.28 c #Conflicts: 1172000 | #Constraints: 104704
3252.60/3262.28 c #Conflicts: 1173000 | #Constraints: 105704
3252.60/3262.28 c #Conflicts: 1174000 | #Constraints: 106704
3252.60/3262.28 c #Conflicts: 1175000 | #Constraints: 107704
3252.60/3262.28 c #Conflicts: 1176000 | #Constraints: 108704
3252.60/3262.28 c #Conflicts: 1177000 | #Constraints: 109704
3252.60/3262.28 c #Conflicts: 1178000 | #Constraints: 110704
3252.60/3262.28 c #Conflicts: 1179000 | #Constraints: 111704
3252.60/3262.28 c #Conflicts: 1180000 | #Constraints: 112704
3252.60/3262.28 c #Conflicts: 1181000 | #Constraints: 113704
3252.60/3262.28 c #Conflicts: 1182000 | #Constraints: 114704
3252.60/3262.28 c #Conflicts: 1183000 | #Constraints: 115704
3252.60/3262.28 c #Conflicts: 1184000 | #Constraints: 116704
3497.87/3508.22 c #Conflicts: 1185000 | #Constraints: 117704
3497.87/3508.22 c #Conflicts: 1186000 | #Constraints: 118704
3497.87/3508.22 c #Conflicts: 1187000 | #Constraints: 119704
3497.87/3508.22 c #Conflicts: 1188000 | #Constraints: 120704
3497.87/3508.22 c #Conflicts: 1189000 | #Constraints: 121704
3497.87/3508.22 c #Conflicts: 1190000 | #Constraints: 122704
3497.87/3508.22 c INPROCESSING
3497.87/3508.22 c GARBAGE COLLECT
3497.87/3508.22 c #Conflicts: 1191000 | #Constraints: 102095
3497.87/3508.22 c #Conflicts: 1192000 | #Constraints: 103095
3497.87/3508.22 c #Conflicts: 1193000 | #Constraints: 104095
3497.87/3508.22 c #Conflicts: 1194000 | #Constraints: 105095
3497.87/3508.22 c #Conflicts: 1195000 | #Constraints: 106095
3497.87/3508.22 c #Conflicts: 1196000 | #Constraints: 107095
3497.87/3508.22 c #Conflicts: 1197000 | #Constraints: 108095
3497.87/3508.22 c #Conflicts: 1198000 | #Constraints: 109095
3497.87/3508.22 c #Conflicts: 1199000 | #Constraints: 110095
3497.87/3508.22 c #Conflicts: 1200000 | #Constraints: 111095
3497.87/3508.22 c #Conflicts: 1201000 | #Constraints: 112095
3497.87/3508.22 c #Conflicts: 1202000 | #Constraints: 113095
3497.87/3508.22 c #Conflicts: 1203000 | #Constraints: 114095
3497.87/3508.22 c #Conflicts: 1204000 | #Constraints: 115095
3497.87/3508.22 c #Conflicts: 1205000 | #Constraints: 116095
3497.87/3508.22 c #Conflicts: 1206000 | #Constraints: 117095
3497.87/3508.22 c #Conflicts: 1207000 | #Constraints: 118095
3497.87/3508.22 c #Conflicts: 1208000 | #Constraints: 119095
3497.87/3508.22 c #Conflicts: 1209000 | #Constraints: 120095
3497.87/3508.22 c #Conflicts: 1210000 | #Constraints: 121095
3497.87/3508.22 c #Conflicts: 1211000 | #Constraints: 122095
3497.87/3508.22 c #Conflicts: 1212000 | #Constraints: 123095
3497.87/3508.22 c INPROCESSING
3497.87/3508.22 c GARBAGE COLLECT
3497.87/3508.22 c #Conflicts: 1213000 | #Constraints: 102286
3497.87/3508.22 c #Conflicts: 1214000 | #Constraints: 103286
3497.87/3508.22 c #Conflicts: 1215000 | #Constraints: 104286
3497.87/3508.22 c #Conflicts: 1216000 | #Constraints: 105286
3497.87/3508.22 c #Conflicts: 1217000 | #Constraints: 106286
3497.87/3508.22 c #Conflicts: 1218000 | #Constraints: 107286
3497.87/3508.22 c #Conflicts: 1219000 | #Constraints: 108286
3497.87/3508.22 c #Conflicts: 1220000 | #Constraints: 109286
3497.87/3508.22 c #Conflicts: 1221000 | #Constraints: 110286
3497.87/3508.22 c #Conflicts: 1222000 | #Constraints: 111286
3497.87/3508.22 c #Conflicts: 1223000 | #Constraints: 112286
3497.87/3508.22 c #Conflicts: 1224000 | #Constraints: 113286
3497.87/3508.22 c #Conflicts: 1225000 | #Constraints: 114286
3497.87/3508.22 c #Conflicts: 1226000 | #Constraints: 115286
3497.87/3508.22 c #Conflicts: 1227000 | #Constraints: 116286
3497.87/3508.22 c #Conflicts: 1228000 | #Constraints: 117286
3497.87/3508.22 c #Conflicts: 1229000 | #Constraints: 118286
3497.87/3508.22 c #Conflicts: 1230000 | #Constraints: 119286
3497.87/3508.22 c #Conflicts: 1231000 | #Constraints: 120286
3497.87/3508.22 c #Conflicts: 1232000 | #Constraints: 121286
3497.87/3508.22 c #Conflicts: 1233000 | #Constraints: 122286
3497.87/3508.22 c #Conflicts: 1234000 | #Constraints: 123286
3497.87/3508.22 c INPROCESSING
3497.87/3508.22 c GARBAGE COLLECT
3497.87/3508.22 c #Conflicts: 1235000 | #Constraints: 102292
3497.87/3508.22 c #Conflicts: 1236000 | #Constraints: 103292
3497.87/3508.22 c #Conflicts: 1237000 | #Constraints: 104292
3497.87/3508.22 c #Conflicts: 1238000 | #Constraints: 105292
3497.87/3508.22 c #Conflicts: 1239000 | #Constraints: 106292
3497.87/3508.22 c #Conflicts: 1240000 | #Constraints: 107292
3497.87/3508.22 c #Conflicts: 1241000 | #Constraints: 108292
3497.87/3508.22 c #Conflicts: 1242000 | #Constraints: 109292
3497.87/3508.22 c #Conflicts: 1243000 | #Constraints: 110292
3497.87/3508.22 c #Conflicts: 1244000 | #Constraints: 111292
3497.87/3508.22 c #Conflicts: 1245000 | #Constraints: 112292
3497.87/3508.22 c #Conflicts: 1246000 | #Constraints: 113292
3497.87/3508.22 c #Conflicts: 1247000 | #Constraints: 114292
3497.87/3508.22 c #Conflicts: 1248000 | #Constraints: 115292
3497.87/3508.22 c #Conflicts: 1249000 | #Constraints: 116292
3497.87/3508.22 c #Conflicts: 1250000 | #Constraints: 117292
3497.87/3508.22 c #Conflicts: 1251000 | #Constraints: 118292
3497.87/3508.22 c #Conflicts: 1252000 | #Constraints: 119292
3497.87/3508.22 c #Conflicts: 1253000 | #Constraints: 120292
3497.87/3508.22 c #Conflicts: 1254000 | #Constraints: 121292
3497.87/3508.22 c #Conflicts: 1255000 | #Constraints: 122292
3497.87/3508.22 c #Conflicts: 1256000 | #Constraints: 123292
3497.87/3508.22 c INPROCESSING
3497.87/3508.22 c GARBAGE COLLECT
3497.87/3508.22 c #Conflicts: 1257000 | #Constraints: 102092
3497.87/3508.22 c #Conflicts: 1258000 | #Constraints: 103092
3497.87/3508.22 c #Conflicts: 1259000 | #Constraints: 104092
3497.87/3508.22 c #Conflicts: 1260000 | #Constraints: 105092
3497.87/3508.22 c #Conflicts: 1261000 | #Constraints: 106092
3600.07/3610.70 c #Conflicts: 1262000 | #Constraints: 107092
3600.07/3610.70 c #Conflicts: 1263000 | #Constraints: 108092
3600.07/3610.70 c #Conflicts: 1264000 | #Constraints: 109092
3600.07/3610.70 c #Conflicts: 1265000 | #Constraints: 110092
3600.07/3610.70 c #Conflicts: 1266000 | #Constraints: 111092
3600.07/3610.70 c #Conflicts: 1267000 | #Constraints: 112092
3600.07/3610.70 c #Conflicts: 1268000 | #Constraints: 113092
3600.07/3610.70 c #Conflicts: 1269000 | #Constraints: 114092
3600.07/3610.70 c #Conflicts: 1270000 | #Constraints: 115092
3600.07/3610.70 c #Conflicts: 1271000 | #Constraints: 116092
3600.07/3610.70 c #Conflicts: 1272000 | #Constraints: 117092
3600.07/3610.70 c #Conflicts: 1273000 | #Constraints: 118092
3600.07/3610.70 c #Conflicts: 1274000 | #Constraints: 119092
3600.07/3610.70 c #Conflicts: 1275000 | #Constraints: 120092
3600.07/3610.70 c #Conflicts: 1276000 | #Constraints: 121092
3600.07/3610.70 c #Conflicts: 1277000 | #Constraints: 122092
3600.07/3610.70 c #Conflicts: 1278000 | #Constraints: 123092
3600.07/3610.70 c #Conflicts: 1279000 | #Constraints: 124092
3600.07/3610.70 c INPROCESSING
3600.07/3610.70 c GARBAGE COLLECT
3600.07/3610.70 c #Conflicts: 1280000 | #Constraints: 102703
3600.07/3610.70 c #Conflicts: 1281000 | #Constraints: 103703
3600.07/3610.70 c #Conflicts: 1282000 | #Constraints: 104703
3600.07/3610.70 c #Conflicts: 1283000 | #Constraints: 105703
3600.07/3610.70 c #Conflicts: 1284000 | #Constraints: 106703
3600.07/3610.70 c #Conflicts: 1285000 | #Constraints: 107703
3600.07/3610.70 c #Conflicts: 1286000 | #Constraints: 108703
3600.07/3610.70 c #Conflicts: 1287000 | #Constraints: 109703
3600.07/3610.70 c #Conflicts: 1288000 | #Constraints: 110703
3600.07/3610.70 c #Conflicts: 1289000 | #Constraints: 111703
3600.07/3610.70 c #Conflicts: 1290000 | #Constraints: 112703
3600.07/3610.70 c Program interrupted by user.
3600.07/3610.70 c cpu time 3593.67 s
3600.07/3610.70 c deterministic time 253148344519 2.53e+11
3600.07/3610.70 c optimization time 285.093 s
3600.07/3610.70 c total solve time 3008.58 s
3600.07/3610.70 c core-guided solve time 3008.58 s
3600.07/3610.70 c propagation time 2004.21 s
3600.07/3610.70 c conflict analysis time 1250.46 s
3600.07/3610.70 c propagations 341616664
3600.07/3610.70 c resolve steps 80804041
3600.07/3610.70 c decisions 1535335
3600.07/3610.70 c conflicts 1290639
3600.07/3610.70 c restarts 2490
3600.07/3610.70 c inprocessing phases 104
3600.07/3610.70 c input clauses 78722
3600.07/3610.70 c input cardinalities 1235
3600.07/3610.70 c input general constraints 328
3600.07/3610.70 c input average constraint length 7.17
3600.07/3610.70 c input average constraint degree 1.76
3600.07/3610.70 c learned clauses 1261012
3600.07/3610.70 c learned cardinalities 3454
3600.07/3610.70 c learned general constraints 26196
3600.07/3610.70 c learned average constraint length 354.59
3600.07/3610.70 c learned average constraint degree 6.89
3600.07/3610.70 c watched constraints 13751
3600.07/3610.70 c counting constraints 12773
3600.07/3610.70 c gcd simplifications 369067
3600.07/3610.70 c detected cardinalities 2
3600.07/3610.70 c weakened non-implied lits 498729567
3600.07/3610.70 c weakened non-implying lits 3442756
3600.07/3610.70 c original variables 1225
3600.07/3610.70 c clausal propagations 193245454
3600.07/3610.70 c cardinality propagations 67665848
3600.07/3610.70 c watched propagations 58707
3600.07/3610.70 c counting propagations 78278820
3600.07/3610.70 c watch lookups 75179194568
3600.07/3610.70 c watch backjump lookups 55532940327
3600.07/3610.70 c watch checks 116284856383
3600.07/3610.70 c propagation checks 2930355833
3600.07/3610.70 c constraint additions 2533404242
3600.07/3610.70 c trail pops 344441166
3600.07/3610.70 c formula constraints 78400
3600.07/3610.70 c learned constraints 1290662
3600.07/3610.70 c bound constraints 334
3600.07/3610.70 c core-guided constraints 1551
3600.07/3610.70 c encountered formula constraints 74395609
3600.07/3610.70 c encountered learned constraints 7375795
3600.07/3610.70 c encountered bound constraints 2818
3600.07/3610.70 c encountered core-guided constraints 320458
3600.07/3610.70 c LP total time 0 s
3600.07/3610.70 c LP solve time 0 s
3600.07/3610.70 c LP constraints added 0
3600.07/3610.70 c LP constraints removed 0
3600.07/3610.70 c LP pivots internal 0
3600.07/3610.70 c LP pivots root 0
3600.07/3610.70 c LP calls 0
3600.07/3610.70 c LP optimalities 0
3600.07/3610.70 c LP no pivot count 0
3600.07/3610.70 c LP infeasibilities 0
3600.07/3610.70 c LP valid Farkas constraints 0
3600.07/3610.70 c LP learned Farkas constraints 0
3600.07/3610.70 c LP basis resets 0
3600.07/3610.70 c LP cycling count 0
3600.07/3610.70 c LP singular count 0
3600.07/3610.70 c LP no primal count 0
3600.07/3610.70 c LP no farkas count 0
3600.07/3610.70 c LP other issue count 0
3600.07/3610.70 c LP Gomory cuts 0
3600.07/3610.70 c LP learned cuts 0
3600.07/3610.70 c LP deleted cuts 0
3600.07/3610.70 c LP encountered Gomory constraints 0
3600.07/3610.70 c LP encountered Farkas constraints 0
3600.07/3610.70 c LP encountered learned Farkas constraints 0
3600.07/3610.70 c CG auxiliary variables introduced 615
3600.07/3610.70 c CG solutions found 1
3600.07/3610.70 c CG cores constructed 315
3600.07/3610.70 c CG core cardinality constraints returned 0
3600.07/3610.70 c CG unit cores 0
3600.07/3610.70 c CG single cores 313
3600.07/3610.70 c CG blocks removed during cardinality reduction 0
3600.07/3610.70 c CG first core best 0
3600.07/3610.70 c CG decision core best 0
3600.07/3610.70 c CG core reduction tie 2
3600.07/3610.70 c CG core degree average 1.00
3600.07/3610.70 c CG core slack average 3.94
3600.07/3610.70 c CG exhausted 0
3600.07/3610.70 c CG exhaust time 249.169 s
3600.07/3610.70 c CG trimmed 14
3600.07/3610.70 c CG trim time 0.012678 s
3600.07/3610.70 c CG minimized 0
3600.07/3610.70 c CG minimize time 0 s
3600.07/3610.70 c CG am1 prop time 0.0056 s
3600.07/3610.70 c CG # am1s reformulated 0
3600.07/3610.70 c CG lower bound derived from am1s 0
3600.07/3610.70 c CG # clausal cores 316
3600.07/3610.70 c CG # cardinality cores 0
3600.07/3610.70 c CG # pb cores 1
3600.07/3610.70 c CG # pb reforms 0
3600.07/3610.70 c CG # cores discarded because of pb reform 0
3600.07/3610.70 d LOWERBOUND -685
3600.07/3610.70 d NCORES 315
3600.07/3610.70 d NPBCORES 1
3600.07/3610.70 d NPBREFORM 0
3600.07/3610.70 d NTRIMMED 14
3600.07/3610.70 d NEXHAUSTED 0
3600.07/3610.70 d NAM1S 0
3600.07/3610.70 d AM1LB 0
3600.07/3610.70 c [Papilo Statistics]
3600.07/3610.70 c prepro time 0.135769s
3600.07/3610.70 c # tsx applied 0
3600.07/3610.70 c # tsx conflicts 0
3600.07/3610.70 c # bound changes 0
3600.07/3610.70 c # side changes 0
3600.07/3610.70 c # coef changes 0
3600.07/3610.70 c # rounds 1
3600.07/3610.70 c # deted vars 0
3600.07/3610.70 c # deted constrs 0
3600.07/3610.70 c # consecutive rounds of only bound changes 0
3600.07/3610.70 c [STEP] postprocessing with Papilo
3600.07/3610.70 o -598
3600.07/3610.70 s SATISFIABLE
3600.07/3610.70 v x1 -x2 x3 -x4 -x5 x6 -x7 x8 -x9 -x10 x11 -x12 x13 -x14 -x15 x16 -x17 x18 -x19 -x20 x21 -x22 x23 -x24 -x25 x26 x27 x28 -x29 -x30 x31 -x32 x33 -x34 x35 x36 -x37 x38 -x39 -x40 x41 -x42 x43 -x44 -x45 x46 -x47 x48 -x49 x50 -x51 x52 x53 -x54 x55 -x56 x57 x58 -x59 x60 -x61 x62 x63 -x64 x65 -x66 x67 x68 -x69 x70 -x71 x72 x73 -x74 -x75 -x76 x77 x78 -x79 x80 -x81 x82 -x83 -x84 x85 -x86 x87 x88 -x89 x90 -x91 x92 x93 -x94 x95 -x96 x97 x98 -x99 -x100 x101 -x102 x103 -x104 -x105 x106 -x107 x108 -x109 -x110 x111 -x112 x113 -x114 -x115 x116 -x117 x118 -x119 -x120 x121 x122 x123 -x124 -x125 x126 -x127 x128 -x129 x130 x131 -x132 x133 -x134 -x135 x136 -x137 x138 -x139 -x140 x141 -x142 x143 -x144 x145 x146 -x147 x148 -x149 x150 x151 -x152 x153 -x154 x155 x156 -x157 x158 -x159 x160 x161 -x162 x163 -x164 x165 x166 -x167 -x168 -x169 x170 x171 -x172 x173 -x174 x175 -x176 -x177 x178 -x179 x180 x181 -x182 x183 -x184 x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 -x196 x197 -x198 x199 -x200 -x201 x202 -x203 x204 -x205 -x206 x207 -x208 x209 -x210 -x211 x212 x213 x214 -x215 -x216 x217 -x218 x219 -x220 x221 x222 -x223 x224 -x225 -x226 x227 -x228 x229 -x230 -x231 x232 -x233 x234 -x235 x236 -x237 x238 -x239 -x240 x241 -x242 x243 -x244 -x245 x246 -x247 x248 -x249 -x250 x251 -x252 x253 -x254 -x255 x256 x257 x258 -x259 -x260 x261 -x262 x263 -x264 x265 x266 -x267 x268 -x269 -x270 x271 -x272 x273 -x274 -x275 x276 -x277 x278 -x279 x280 -x281 x282 x283 -x284 x285 -x286 x287 x288 -x289 x290 -x291 x292 x293 -x294 x295 -x296 x297 x298 -x299 -x300 -x301 x302 x303 -x304 x305 -x306 x307 -x308 -x309 x310 -x311 x312 x313 -x314 x315 -x316 x317 x318 -x319 x320 -x321 x322 x323 -x324 -x325 x326 -x327 x328 -x329 -x330 x331 -x332 x333 -x334 -x335 x336 -x337 x338 -x339 -x340 x341 x342 x343 -x344 -x345 x346 -x347 x348 -x349 x350 x351 -x352 x353 -x354 -x355 x356 -x357 x358 -x359 -x360 x361 -x362 x363 -x364 x365 x366 -x367 x368 -x369 x370 x371 -x372 x373 -x374 x375 x376 -x377 x378 -x379 x380 x381 -x382 -x383 -x384 x385 x386 -x387 x388 -x389 x390 -x391 -x392 x393 -x394 x395 x396 -x397 x398 -x399 x400 x401 -x402 x403 -x404 x405 -x406 x407 -x408 x409 -x410 -x411 x412 -x413 x414 -x415 -x416 x417 -x418 x419 -x420 -x421 x422 x423 x424 -x425 -x426 x427 -x428 x429 -x430 x431 x432 -x433 x434 -x435 -x436 x437 -x438 x439 -x440 -x441 x442 -x443 x444 -x445 x446 -x447 x448 -x449 -x450 x451 -x452 x453 -x454 -x455 x456 -x457 x458 -x459 -x460 x461 x462 x463 -x464 -x465 x466 -x467 x468 -x469 x470 x471 -x472 x473 -x474 -x475 x476 -x477 x478 -x479 -x480 x481 -x482 x483 -x484 x485 -x486 x487 x488 -x489 x490 -x491 x492 x493 -x494 x495 -x496 x497 x498 -x499 -x500 -x501 x502 x503 -x504 x505 -x506 x507 -x508 -x509 x510 -x511 x512 x513 -x514 x515 -x516 x517 x518 -x519 x520 -x521 x522 x523 -x524 -x525 x526 -x527 x528 -x529 -x530 x531 -x532 x533 -x534 -x535 x536 x537 x538 -x539 -x540 x541 -x542 x543 -x544 x545 x546 -x547 x548 -x549 -x550 x551 -x552 x553 -x554 -x555 x556 -x557 x558 -x559 x560 x561 -x562 x563 -x564 x565 x566 -x567 x568 -x569 x570 x571 -x572 -x573 -x574 x575 x576 -x577 x578 -x579 x580 -x581 -x582 x583 -x584 x585 x586 -x587 x588 -x589 x590 x591 -x592 x593 -x594 x595 -x596 x597 -x598 x599 -x600 -x601 x602 -x603 x604 -x605 -x606 x607 x608 x609 -x610 -x611 x612 -x613 x614 -x615 x616 x617 -x618 x619 -x620 -x621 x622 -x623 x624 -x625 -x626 x627 -x628 x629 -x630 x631 -x632 x633 -x634 -x635 x636 -x637 x638 -x639 -x640 x641 x642 x643 -x644 -x645 x646 -x647 x648 -x649 x650 x651 -x652 x653 -x654 -x655 x656 -x657 x658 -x659 -x660 x661 -x662 x663 -x664 x665 -x666 x667 x668 -x669 x670 -x671 x672 x673 -x674 -x675 -x676 x677 x678 -x679 x680 -x681 x682 -x683 -x684 x685 -x686 x687 x688 -x689 x690 -x691 x692 x693 -x694 x695 -x696 x697 x698 -x699 -x700 x701 -x702 x703 -x704 -x705 x706 x707 x708 -x709 -x710 x711 -x712 x713 -x714 x715 x716 -x717 x718 -x719 -x720 x721 -x722 x723 -x724 -x725 x726 -x727 x728 -x729 x730 x731 -x732 x733 -x734 x735 x736 -x737 -x738 -x739 x740 x741 -x742 x743 -x744 x745 -x746 -x747 x748 -x749 x750 x751 -x752 x753 -x754 x755 x756 -x757 x758 -x759 x760 -x761 x762 -x763 x764 -x765 -x766 x767 x768 x769 -x770 -x771 x772 -x773 x774 -x775 x776 x777 -x778 x779 -x780 -x781 x782 -x783 x784 -x785 -x786 x787 -x788 x789 -x790 x791 -x792 x793 -x794 -x795 x796 x797 x798 -x799 -x800 x801 -x802 x803 -x804 x805 x806 -x807 x808 -x809 -x810 x811 -x812 x813 -x814 -x815 x816 -x817 x818 -x819 x820 -x821 x822 x823 -x824 -x825 -x826 x827 x828 -x829 x830 -x831 x832 -x833 -x834 x835 -x836 x837 x838 -x839 x840 -x841 x842 x843 -x844 x845 -x846 x847 x848 -x849 -x850 x851 x852 x853 -x854 -x855 x856 -x857 x858 -x859 x860 x861 -x862 x863 -x864 -x865 x866 -x867 x868 -x869 -x870 x871 -x872 x873 -x874 x875 x876 -x877 -x878 -x879 x880 x881 -x882 x883 -x884 x885 -x886 -x887 x888 -x889 x890 x891 -x892 x893 -x894 x895 x896 -x897 x898 -x899 x900 -x901 x902 x903 x904 -x905 -x906 x907 -x908 x909 -x910 x911 x912 -x913 x914 -x915 -x916 x917 -x918 x919 -x920 -x921 x922 -x923 x924 -x925 x926 x927 x928 -x929 -x930 x931 -x932 x933 -x934 x935 x936 -x937 x938 -x939 -x940 x941 -x942 x943 -x944 -x945 x946 -x947 x948 -x949 -x950 -x951 x952 x953 -x954 x955 -x956 x957 -x958 -x959 x960 -x961 x962 x963 -x964 x965 -x966 x967 x968 -x969 x970 -x971 x972 -x973 x974 x975 -x976 x977 -x978 x979 -x980 -x981 x982 -x983 x984 x985 -x986 x987 -x988 x989 x990 -x991 x992 -x993 x994 x995 x996 -x997 x998 -x999 x1000 -x1001 -x1002 x1003 -x1004 x1005 x1006 -x1007 x1008 -x1009 x1010 x1011 -x1012 x1013 -x1014 x1015 -x1016 x1017 -x1018 x1019 -x1020 x1021 x1022 -x1023 x1024 -x1025 -x1026 x1027 -x1028 x1029 -x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 -x1037 x1038 -x1039 x1040 x1041 -x1042 x1043 -x1044 -x1045 x1046 -x1047 x1048 -x1049 -x1050 x1051 -x1052 x1053 -x1054 x1055 -x1056 x1057 -x1058 -x1059 x1060 -x1061 x1062 x1063 -x1064 x1065 -x1066 x1067 x1068 -x1069 x1070 -x1071 x1072 x1073 -x1074 x1075 x1076 -x1077 x1078 -x1079 -x1080 x1081 -x1082 x1083 -x1084 -x1085 x1086 -x1087 x1088 -x1089 x1090 -x1091 -x1092 x1093 -x1094 x1095 x1096 -x1097 x1098 -x1099 x1100 x1101 -x1102 x1103 -x1104 x1105 x1106 x1107 -x1108 x1109 -x1110 -x1111 x1112 -x1113 x1114 -x1115 -x1116 x1117 -x1118 x1119 -x1120 -x1121 x1122 -x1123 x1124 x1125 -x1126 x1127 -x1128 x1129 x1130 -x1131 x1132 -x1133 x1134 x1135 -x1136 x1137 x1138 -x1139 x1140 -x1141 x1142 x1143 -x1144 x1145 -x1146 x1147 x1148 -x1149 -x1150 x1151 -x1152 x1153 -x1154 -x1155 x1156 -x1157 x1158 -x1159 x1160 x1161 -x1162 x1163 -x1164 x1165 x1166 -x1167 x1168 -x1169 x1170 -x1171 x1172 -x1173 x1174 -x1175 -x1176 x1177 -x1178 x1179 -x1180 x1181 -x1182 x1183 -x1184 -x1185 x1186 -x1187 x1188 -x1189 x1190 -x1191 x1192 x1193 -x1194 x1195 -x1196 x1197 x1198 -x1199 -x1200 x1201 -x1202 x1203 -x1204 x1205 x1206 -x1207 x1208 -x1209 x1210 -x1211 x1212 -x1213 x1214 -x1215 x1216 -x1217 x1218 -x1219 x1220 -x1221 x1222 x1223 -x1224 x1225
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: 63794 MiB (61919 MiB free)
memory of node 1: 64507 MiB (61565 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521253-1751562874/watcher-4521253-1751562874 -o /tmp/evaluation-result-4521253-1751562874/solver-4521253-1751562874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77706 --watchdog 3760 mixed-bag HOME/instance-4521253-1751562874.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
Current StackSize limit: 8192 KiB
solver pid=80120, runsolver pid=80117
[startup+0.100066 s]*
/proc/loadavg: 4.07 4.11 4.13 5/251 80121
/proc/meminfo: memFree=126448444/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=87584 memory=12148 CPUtime=0.09 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 1564 0 0 0 9 0 0 0 20 0 1 0 71967079 89686016 3037 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 21896 3037 2208 2842 0 4129 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 87584 KiB
Current children cumulated memory: 12148 KiB
[startup+0.212705 s]*
/proc/loadavg: 4.07 4.11 4.13 5/251 80121
/proc/meminfo: memFree=126446680/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=89632 memory=14688 CPUtime=0.21 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 2214 0 0 0 20 1 0 0 20 0 1 0 71967079 91783168 3672 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 22408 3672 2208 2842 0 4641 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 89632 KiB
Current children cumulated memory: 14688 KiB
[startup+0.312982 s]*
/proc/loadavg: 4.07 4.11 4.13 5/251 80121
/proc/meminfo: memFree=126444916/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=93728 memory=17532 CPUtime=0.3 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 2917 0 0 0 29 1 0 0 20 0 1 0 71967079 95977472 4383 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 23432 4383 2208 2842 0 5665 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 93728 KiB
Current children cumulated memory: 17532 KiB
[startup+0.700317 s]
/proc/loadavg: 4.07 4.11 4.13 5/251 80121
/proc/meminfo: memFree=126433008/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=133956 memory=59092 CPUtime=0.68 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 9626 0 0 0 64 4 0 0 20 0 1 0 71967079 137170944 14773 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 33489 14773 3744 2842 0 15183 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 133956 KiB
Current children cumulated memory: 59092 KiB
[startup+1.50031 s]
/proc/loadavg: 4.07 4.11 4.13 5/251 80121
/proc/meminfo: memFree=126311104/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=291096 memory=214456 CPUtime=1.47 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 49152 0 0 0 133 14 0 0 20 0 1 0 71967079 298082304 53614 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 72774 53614 4096 2842 0 54468 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 291096 KiB
Current children cumulated memory: 214456 KiB
[startup+3.11308 s]
/proc/loadavg: 4.07 4.11 4.13 5/251 80121
/proc/meminfo: memFree=126000664/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=564704 memory=464476 CPUtime=3.08 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 68681 0 0 0 287 21 0 0 20 0 1 0 71967079 578256896 116119 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 141176 116119 4160 2842 0 122870 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 564704 KiB
Current children cumulated memory: 464476 KiB
[startup+6.30026 s]
/proc/loadavg: 4.07 4.10 4.13 5/251 80121
/proc/meminfo: memFree=125968784/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=583280 memory=487736 CPUtime=6.26 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 75013 0 0 0 603 23 0 0 20 0 1 0 71967079 597278720 121934 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 145820 121934 4320 2842 0 127514 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 583280 KiB
Current children cumulated memory: 487736 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.12 4.14 5/251 80122
/proc/meminfo: memFree=125966148/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=583280 memory=487736 CPUtime=12.64 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 75018 0 0 0 1241 23 0 0 20 0 1 0 71967079 597278720 121934 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 145820 121934 4320 2842 0 127514 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 583280 KiB
Current children cumulated memory: 487736 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.11 4.13 5/250 80122
/proc/meminfo: memFree=125964980/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=584504 memory=488888 CPUtime=25.41 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 75326 0 0 0 2518 23 0 0 20 0 1 0 71967079 598532096 122222 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 146126 122222 4320 2842 0 127820 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 584504 KiB
Current children cumulated memory: 488888 KiB
[startup+51.113 s]
/proc/loadavg: 4.07 4.10 4.13 5/250 80122
/proc/meminfo: memFree=125913172/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=646836 memory=538236 CPUtime=50.94 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 86603 0 0 0 5069 25 0 0 20 0 1 0 71967079 662360064 134559 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 161709 134559 4352 2842 0 143403 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 646836 KiB
Current children cumulated memory: 538236 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/250 80124
/proc/meminfo: memFree=125745244/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=925420 memory=700832 CPUtime=101.98 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 126345 0 0 0 10167 31 0 0 20 0 1 0 71967079 947630080 175208 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 231355 175208 4352 2842 0 213049 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 925420 KiB
Current children cumulated memory: 700832 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.12 5/250 80126
/proc/meminfo: memFree=125676536/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=973784 memory=750536 CPUtime=161.8 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 145124 0 0 0 16146 34 0 0 20 0 1 0 71967079 997154816 187634 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 243446 187634 4352 2842 0 225140 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 973784 KiB
Current children cumulated memory: 750536 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/249 80132
/proc/meminfo: memFree=125642024/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=973784 memory=750536 CPUtime=221.63 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 145143 0 0 0 22129 34 0 0 20 0 1 0 71967079 997154816 187634 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 243446 187634 4352 2842 0 225140 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 973784 KiB
Current children cumulated memory: 750536 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/249 80134
/proc/meminfo: memFree=125643508/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=973784 memory=750536 CPUtime=281.45 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 145143 0 0 0 28111 34 0 0 20 0 1 0 71967079 997154816 187634 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 243446 187634 4352 2842 0 225140 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 973784 KiB
Current children cumulated memory: 750536 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.08 4.10 5/250 80139
/proc/meminfo: memFree=125818544/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=803136 memory=595988 CPUtime=341.28 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 146463 0 0 0 34068 60 0 0 20 0 1 0 71967079 822411264 148997 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 200784 148997 4512 2842 0 182478 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 803136 KiB
Current children cumulated memory: 595988 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.10 5/250 80141
/proc/meminfo: memFree=125777068/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=803136 memory=602132 CPUtime=401.1 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 146466 0 0 0 40026 84 0 0 20 0 1 0 71967079 822411264 150533 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 200784 150533 4512 2842 0 182478 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 803136 KiB
Current children cumulated memory: 602132 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/251 80144
/proc/meminfo: memFree=125794252/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=822104 memory=605332 CPUtime=460.94 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 146770 0 0 0 45986 108 0 0 20 0 1 0 71967079 841834496 151333 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 205526 151333 4512 2842 0 187220 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
Current children cumulated memory: 686900 KiB
[startup+2922.3 s]
/proc/loadavg: 1.10 1.43 2.39 2/232 80367
/proc/meminfo: memFree=129017760/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=688948 CPUtime=2913.7 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147676 0 0 0 290808 562 0 0 20 0 1 0 71967079 873394176 172237 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 172237 4512 2842 0 194925 0
Current children cumulated CPU time: 2913.7 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 688948 KiB
[startup+2982.3 s]
/proc/loadavg: 1.11 1.36 2.31 2/232 80369
/proc/meminfo: memFree=129017004/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=688948 CPUtime=2973.53 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147676 0 0 0 296784 569 0 0 20 0 1 0 71967079 873394176 172237 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 172237 4512 2842 0 194925 0
Current children cumulated CPU time: 2973.53 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 688948 KiB
[startup+3042.3 s]
/proc/loadavg: 1.19 1.34 2.24 2/232 80371
/proc/meminfo: memFree=129017004/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=688948 CPUtime=3033.35 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147676 0 0 0 302761 574 0 0 20 0 1 0 71967079 873394176 172237 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 172237 4512 2842 0 194925 0
Current children cumulated CPU time: 3033.35 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 688948 KiB
[startup+3102.3 s]
/proc/loadavg: 1.11 1.29 2.16 2/231 80373
/proc/meminfo: memFree=129013160/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=690996 CPUtime=3093.17 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147677 0 0 0 308736 581 0 0 20 0 1 0 71967079 873394176 172749 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 172749 4512 2842 0 194925 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 690996 KiB
[startup+3162.3 s]
/proc/loadavg: 1.07 1.25 2.09 2/231 80375
/proc/meminfo: memFree=129013932/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=690996 CPUtime=3152.99 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147677 0 0 0 314712 587 0 0 20 0 1 0 71967079 873394176 172749 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 172749 4512 2842 0 194925 0
Current children cumulated CPU time: 3152.99 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 690996 KiB
[startup+3222.3 s]
/proc/loadavg: 1.07 1.22 2.03 2/231 80377
/proc/meminfo: memFree=129012928/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=690996 CPUtime=3212.81 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147677 0 0 0 320686 595 0 0 20 0 1 0 71967079 873394176 172749 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 172749 4512 2842 0 194925 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 690996 KiB
[startup+3282.3 s]
/proc/loadavg: 1.14 1.21 1.97 2/232 80384
/proc/meminfo: memFree=129013920/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=690996 CPUtime=3272.65 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147677 0 0 0 326661 604 0 0 20 0 1 0 71967079 873394176 172749 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 172749 4512 2842 0 194925 0
Current children cumulated CPU time: 3272.65 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 690996 KiB
[startup+3342.3 s]
/proc/loadavg: 1.11 1.18 1.91 2/233 80387
/proc/meminfo: memFree=129013904/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=690996 CPUtime=3332.46 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147677 0 0 0 332636 610 0 0 20 0 1 0 71967079 873394176 172749 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 172749 4512 2842 0 194925 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 690996 KiB
[startup+3402.3 s]
/proc/loadavg: 1.04 1.15 1.85 2/233 80391
/proc/meminfo: memFree=129012656/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=690996 CPUtime=3392.29 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147677 0 0 0 338613 616 0 0 20 0 1 0 71967079 873394176 172749 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 172749 4512 2842 0 194925 0
Current children cumulated CPU time: 3392.29 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 690996 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 1.15 1.81 2/233 80393
/proc/meminfo: memFree=129012656/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=690996 CPUtime=3452.11 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147677 0 0 0 344588 623 0 0 20 0 1 0 71967079 873394176 172749 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 172749 4512 2842 0 194925 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 690996 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.13 1.76 2/233 80395
/proc/meminfo: memFree=129012908/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=693044 CPUtime=3511.93 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147678 0 0 0 350563 630 0 0 20 0 1 0 71967079 873394176 173261 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 173261 4512 2842 0 194925 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 693044 KiB
[startup+3582.3 s]
/proc/loadavg: 1.07 1.12 1.72 2/232 80397
/proc/meminfo: memFree=129014100/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=693044 CPUtime=3571.75 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147678 0 0 0 356538 637 0 0 20 0 1 0 71967079 873394176 173261 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 173261 4512 2842 0 194925 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 693044 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 1.04 1.11 1.69 2/232 80398
/proc/meminfo: memFree=129014056/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=693044 CPUtime=3600.07 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147678 0 0 0 359367 640 0 0 20 0 1 0 71967079 873394176 173261 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 173261 4512 2842 0 194925 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 693044 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 80120 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.68 s, system=6.40601 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 1.04 1.11 1.69 2/232 80398
/proc/meminfo: memFree=129014056/131382112 swapFree=33010416/33010684
[pid=80120] ppid=80117 vsize=852924 memory=693044 CPUtime=3600.07 cores=0,2
/proc/80120/stat : 80120 (mixed-bag) R 80117 80120 77674 0 -1 4194304 147678 0 0 0 359367 640 0 0 20 0 1 0 71967079 873394176 173261 18446744073709551615 4235264 15874749 140728854953088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 45326336 140728854960540 140728854960617 140728854960617 140728854966219 0
/proc/80120/statm: 213231 173261 4512 2842 0 194925 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 852924 KiB
Current children cumulated memory: 693044 KiB
Child status: 0
Real time (s): 3610.71
CPU time (s): 3600.09
CPU user time (s): 3593.68
CPU system time (s): 6.40601
CPU usage (%): 99.7058
Max. virtual memory (cumulated for all children) (KiB): 1000964
Max. memory (cumulated for all children) (KiB): 775968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.68
system time used= 6.40601
maximum resident set size= 775968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147707
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= 184
involuntary context switches= 7848
# summary of solver processes directly reported to runsolver:
# pid: 80120
# total CPU time (s): 3600.09
# total CPU user time (s): 3593.68
# total CPU system time (s): 6.40601
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3297 second user time and 33.6977 second system time
The end
Begin job on nodeC012 at 2025-07-03 19:14:34
IDJOB=4521253
IDBENCH=178251
IDSOLVER=3340
FILE ID=nodeC012/4521253-1751562874
RUNJOBID= nodeC012-1751553490-77706
SLURM_JOB_ID= 9598739
Free space on /tmp= 431784 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521253-1751562874/watcher-4521253-1751562874 -o /tmp/evaluation-result-4521253-1751562874/solver-4521253-1751562874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77706 --watchdog 3760 mixed-bag HOME/instance-4521253-1751562874.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 68c73bc206439bbe0d5a467b2a25edac
RANDOM SEED=1255591842
nodeC012 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 : 0xb00001f
cpu MHz : 3491.936
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3691.329
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.158
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.625
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3664.570
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3491.649
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
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 : 0xb00001f
cpu MHz : 1197.110
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 126448836 kB
MemAvailable: 126706656 kB
Buffers: 2136 kB
Cached: 1058408 kB
SwapCached: 16 kB
Active: 3883380 kB
Inactive: 440228 kB
Active(anon): 3274012 kB
Inactive(anon): 6996 kB
Active(file): 609368 kB
Inactive(file): 433232 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17840 kB
Writeback: 28 kB
AnonPages: 3266120 kB
Mapped: 139056 kB
Shmem: 17944 kB
KReclaimable: 109312 kB
Slab: 194748 kB
SReclaimable: 109312 kB
SUnreclaim: 85436 kB
KernelStack: 3984 kB
PageTables: 9764 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3764556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1394688 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431844 MiB
End job on nodeC012 at 2025-07-03 20:14:45