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
1.88/1.93 c [STEP] preprocessing with Papilo
2.37/2.40 c Papilo could not simplify the problem
2.37/2.40 c [STEP] solving with SCIP
302.20/303.20 c [STEP] preprocessing done, loading into solver
302.90/303.93 c [STEP] solving
302.90/303.93 c #variables 3742 #constraints 423980
302.90/303.93 c SMALL=int, LARGE=long long
302.90/303.93 d SCIPUB -1878
302.90/303.93 c bounds - >= -3153 @ 301.84
302.90/303.93 c stratification level: 0
303.01/304.01 c bounds - >= -3152 @ 301.865
303.01/304.01 c bounds - >= -3151 @ 301.866
303.01/304.01 c bounds - >= -3150 @ 301.866
303.01/304.01 c bounds - >= -3149 @ 301.866
303.01/304.01 c bounds - >= -3148 @ 301.867
303.01/304.01 c bounds - >= -3147 @ 301.867
303.01/304.01 c bounds - >= -3146 @ 301.867
303.01/304.01 c bounds - >= -3145 @ 301.868
303.01/304.01 c bounds - >= -3144 @ 301.868
303.01/304.01 c bounds - >= -3143 @ 301.868
303.01/304.01 c bounds - >= -3142 @ 301.869
303.01/304.01 c bounds - >= -3141 @ 301.869
303.01/304.01 c bounds - >= -3140 @ 301.869
303.01/304.01 c bounds - >= -3139 @ 301.87
303.01/304.01 c bounds - >= -3138 @ 301.87
303.01/304.01 c bounds - >= -3137 @ 301.871
303.01/304.01 c bounds - >= -3136 @ 301.871
303.01/304.01 c bounds - >= -3135 @ 301.871
303.01/304.01 c bounds - >= -3134 @ 301.872
303.01/304.01 c bounds - >= -3133 @ 301.872
303.01/304.01 c bounds - >= -3132 @ 301.872
303.01/304.01 c bounds - >= -3131 @ 301.873
303.01/304.01 c bounds - >= -3130 @ 301.873
303.01/304.01 c bounds - >= -3129 @ 301.873
303.01/304.01 c bounds - >= -3128 @ 301.874
303.01/304.01 c bounds - >= -3127 @ 301.874
303.01/304.01 c bounds - >= -3126 @ 301.874
303.01/304.01 c bounds - >= -3125 @ 301.875
303.01/304.01 c bounds - >= -3124 @ 301.875
303.01/304.01 c bounds - >= -3123 @ 301.876
303.01/304.01 c bounds - >= -3122 @ 301.876
303.01/304.01 c bounds - >= -3121 @ 301.876
303.01/304.01 c bounds - >= -3120 @ 301.877
303.01/304.01 c bounds - >= -3119 @ 301.877
303.01/304.01 c bounds - >= -3118 @ 301.877
303.01/304.01 c bounds - >= -3117 @ 301.878
303.01/304.01 c bounds - >= -3116 @ 301.878
303.01/304.01 c bounds - >= -3115 @ 301.878
303.01/304.01 c bounds - >= -3114 @ 301.879
303.01/304.01 c bounds - >= -3113 @ 301.879
303.01/304.01 c bounds - >= -3112 @ 301.88
303.01/304.01 c bounds - >= -3111 @ 301.88
303.01/304.01 c bounds - >= -3110 @ 301.88
303.01/304.01 c bounds - >= -3109 @ 301.881
303.01/304.01 c bounds - >= -3108 @ 301.881
303.01/304.01 c bounds - >= -3107 @ 301.881
303.01/304.01 c bounds - >= -3106 @ 301.882
303.01/304.01 c bounds - >= -3105 @ 301.882
303.01/304.01 c bounds - >= -3104 @ 301.882
303.01/304.01 c bounds - >= -3103 @ 301.883
303.01/304.01 c bounds - >= -3102 @ 301.883
303.01/304.01 c bounds - >= -3101 @ 301.884
303.01/304.01 c bounds - >= -3100 @ 301.884
303.01/304.01 c bounds - >= -3099 @ 301.884
303.01/304.01 c bounds - >= -3098 @ 301.885
303.01/304.01 c bounds - >= -3097 @ 301.885
303.01/304.01 c bounds - >= -3096 @ 301.885
303.01/304.01 c bounds - >= -3095 @ 301.886
303.01/304.01 c bounds - >= -3094 @ 301.886
303.01/304.01 c bounds - >= -3093 @ 301.886
303.01/304.01 c bounds - >= -3092 @ 301.887
303.01/304.01 c bounds - >= -3091 @ 301.887
303.01/304.01 c bounds - >= -3090 @ 301.887
303.01/304.01 c bounds - >= -3089 @ 301.888
303.01/304.01 c bounds - >= -3088 @ 301.888
303.01/304.01 c bounds - >= -3087 @ 301.888
303.01/304.01 c bounds - >= -3086 @ 301.889
303.01/304.01 c bounds - >= -3085 @ 301.889
303.01/304.01 c bounds - >= -3084 @ 301.89
303.01/304.01 c bounds - >= -3083 @ 301.89
303.01/304.01 c bounds - >= -3082 @ 301.89
303.01/304.01 c bounds - >= -3081 @ 301.891
303.01/304.01 c bounds - >= -3080 @ 301.891
303.01/304.01 c bounds - >= -3079 @ 301.891
303.01/304.01 c bounds - >= -3078 @ 301.892
303.01/304.01 c bounds - >= -3077 @ 301.892
303.01/304.01 c bounds - >= -3076 @ 301.892
303.01/304.01 c bounds - >= -3075 @ 301.893
303.01/304.01 c bounds - >= -3074 @ 301.893
303.01/304.01 c bounds - >= -3073 @ 301.893
303.01/304.01 c bounds - >= -3072 @ 301.894
303.01/304.01 c bounds - >= -3071 @ 301.894
303.01/304.01 c bounds - >= -3070 @ 301.894
303.01/304.01 c bounds - >= -3069 @ 301.895
303.01/304.01 c bounds - >= -3068 @ 301.895
303.01/304.01 c bounds - >= -3067 @ 301.896
303.01/304.01 c bounds - >= -3066 @ 301.896
303.01/304.01 c bounds - >= -3065 @ 301.896
303.01/304.01 c bounds - >= -3064 @ 301.897
303.01/304.01 c bounds - >= -3063 @ 301.897
303.01/304.01 c bounds - >= -3062 @ 301.897
303.01/304.01 c bounds - >= -3061 @ 301.898
303.01/304.01 c bounds - >= -3060 @ 301.898
303.01/304.01 c bounds - >= -3059 @ 301.898
303.01/304.01 c bounds - >= -3058 @ 301.899
303.01/304.01 c bounds - >= -3057 @ 301.899
303.01/304.01 c bounds - >= -3056 @ 301.899
303.01/304.01 c bounds - >= -3055 @ 301.9
303.01/304.01 c bounds - >= -3054 @ 301.9
303.01/304.01 c bounds - >= -3053 @ 301.901
303.01/304.01 c bounds - >= -3052 @ 301.901
303.01/304.01 c bounds - >= -3051 @ 301.901
303.01/304.01 c bounds - >= -3050 @ 301.902
303.01/304.01 c bounds - >= -3049 @ 301.902
303.01/304.01 c bounds - >= -3048 @ 301.902
303.01/304.01 c bounds - >= -3047 @ 301.903
303.01/304.01 c bounds - >= -3046 @ 301.903
303.01/304.01 c bounds - >= -3045 @ 301.903
303.01/304.01 c bounds - >= -3044 @ 301.904
303.01/304.01 c bounds - >= -3043 @ 301.904
303.01/304.01 c bounds - >= -3042 @ 301.904
303.01/304.01 c bounds - >= -3041 @ 301.904
303.01/304.01 c bounds - >= -3040 @ 301.904
303.01/304.01 c bounds - >= -3039 @ 301.905
303.01/304.01 c bounds - >= -3038 @ 301.905
303.01/304.01 c bounds - >= -3037 @ 301.905
303.01/304.01 c bounds - >= -3036 @ 301.906
303.01/304.01 c bounds - >= -3035 @ 301.906
303.01/304.01 c bounds - >= -3034 @ 301.906
303.01/304.01 c bounds - >= -3033 @ 301.907
303.01/304.01 c bounds - >= -3032 @ 301.907
303.01/304.01 c bounds - >= -3031 @ 301.907
303.01/304.01 c bounds - >= -3030 @ 301.908
303.01/304.01 c bounds - >= -3029 @ 301.908
303.01/304.01 c bounds - >= -3028 @ 301.908
303.01/304.01 c bounds - >= -3027 @ 301.909
303.01/304.01 c bounds - >= -3026 @ 301.909
303.01/304.01 c bounds - >= -3025 @ 301.91
303.01/304.01 c bounds - >= -3024 @ 301.91
303.01/304.01 c bounds - >= -3023 @ 301.91
303.01/304.01 c bounds - >= -3022 @ 301.911
303.01/304.01 c bounds - >= -3021 @ 301.911
303.01/304.01 c bounds - >= -3020 @ 301.911
303.01/304.01 c bounds - >= -3019 @ 301.912
303.01/304.01 c bounds - >= -3018 @ 301.912
303.01/304.01 c bounds - >= -3017 @ 301.912
303.01/304.01 c bounds - >= -3016 @ 301.913
303.01/304.01 c bounds - >= -3015 @ 301.913
303.01/304.06 c bounds - >= -3014 @ 301.914
303.01/304.06 c bounds - >= -3013 @ 301.914
303.01/304.06 c bounds - >= -3012 @ 301.914
303.01/304.06 c bounds - >= -3011 @ 301.915
303.01/304.06 c bounds - >= -3010 @ 301.915
303.01/304.06 c bounds - >= -3009 @ 301.915
303.01/304.06 c bounds - >= -3008 @ 301.916
303.01/304.06 c bounds - >= -3007 @ 301.916
303.01/304.06 c bounds - >= -3006 @ 301.916
303.01/304.06 c bounds - >= -3005 @ 301.917
303.01/304.06 c bounds - >= -3004 @ 301.917
303.01/304.06 c bounds - >= -3003 @ 301.917
303.01/304.06 c bounds - >= -3002 @ 301.917
303.01/304.06 c bounds - >= -3001 @ 301.917
303.01/304.06 c bounds - >= -3000 @ 301.918
303.01/304.06 c bounds - >= -2999 @ 301.918
303.01/304.06 c bounds - >= -2998 @ 301.918
303.01/304.06 c bounds - >= -2997 @ 301.919
303.01/304.06 c bounds - >= -2996 @ 301.919
303.01/304.06 c bounds - >= -2995 @ 301.919
303.01/304.06 c bounds - >= -2994 @ 301.92
303.01/304.06 c bounds - >= -2993 @ 301.92
303.01/304.06 c bounds - >= -2992 @ 301.92
303.01/304.06 c bounds - >= -2991 @ 301.921
303.01/304.06 c bounds - >= -2990 @ 301.921
303.01/304.06 c bounds - >= -2989 @ 301.921
303.01/304.06 c bounds - >= -2988 @ 301.922
303.01/304.06 c bounds - >= -2987 @ 301.922
303.01/304.06 c bounds - >= -2986 @ 301.922
303.01/304.06 c bounds - >= -2985 @ 301.923
303.01/304.06 c bounds - >= -2984 @ 301.923
303.01/304.06 c bounds - >= -2983 @ 301.923
303.01/304.06 c bounds - >= -2982 @ 301.924
303.01/304.06 c bounds - >= -2981 @ 301.924
303.01/304.06 c bounds - >= -2980 @ 301.925
303.01/304.06 c bounds - >= -2979 @ 301.925
303.01/304.06 c bounds - >= -2978 @ 301.925
303.01/304.06 c bounds - >= -2977 @ 301.926
303.01/304.06 c bounds - >= -2976 @ 301.926
303.01/304.06 c bounds - >= -2975 @ 301.926
303.01/304.06 c bounds - >= -2974 @ 301.927
303.01/304.06 c bounds - >= -2973 @ 301.927
303.01/304.06 c bounds - >= -2972 @ 301.928
303.01/304.06 c bounds - >= -2971 @ 301.928
303.01/304.06 c bounds - >= -2970 @ 301.928
303.01/304.06 c bounds - >= -2969 @ 301.929
303.01/304.06 c bounds - >= -2968 @ 301.929
303.01/304.06 c bounds - >= -2967 @ 301.929
303.01/304.06 c bounds - >= -2966 @ 301.93
303.01/304.06 c bounds - >= -2965 @ 301.93
303.01/304.06 c bounds - >= -2964 @ 301.93
303.01/304.06 c bounds - >= -2963 @ 301.931
303.01/304.06 c bounds - >= -2962 @ 301.931
303.01/304.06 c bounds - >= -2961 @ 301.931
303.01/304.06 c bounds - >= -2960 @ 301.932
303.01/304.06 c bounds - >= -2959 @ 301.932
303.01/304.06 c bounds - >= -2958 @ 301.932
303.01/304.06 c bounds - >= -2957 @ 301.933
303.01/304.06 c bounds - >= -2956 @ 301.933
303.01/304.06 c bounds - >= -2955 @ 301.934
303.01/304.06 c bounds - >= -2954 @ 301.934
303.01/304.06 c bounds - >= -2953 @ 301.934
303.01/304.06 c bounds - >= -2952 @ 301.935
303.01/304.06 c bounds - >= -2951 @ 301.935
303.01/304.06 c bounds - >= -2950 @ 301.935
303.01/304.06 c bounds - >= -2949 @ 301.936
303.01/304.06 c bounds - >= -2948 @ 301.936
303.01/304.06 c bounds - >= -2947 @ 301.936
303.01/304.06 c bounds - >= -2946 @ 301.937
303.01/304.06 c bounds - >= -2945 @ 301.937
303.01/304.06 c bounds - >= -2944 @ 301.937
303.01/304.06 c bounds - >= -2943 @ 301.938
303.01/304.06 c bounds - >= -2942 @ 301.938
303.01/304.06 c bounds - >= -2941 @ 301.938
303.01/304.06 c bounds - >= -2940 @ 301.939
303.01/304.06 c bounds - >= -2939 @ 301.939
303.01/304.06 c bounds - >= -2938 @ 301.939
303.01/304.06 c bounds - >= -2937 @ 301.94
303.01/304.06 c bounds - >= -2936 @ 301.94
303.01/304.06 c bounds - >= -2935 @ 301.94
303.01/304.06 c bounds - >= -2934 @ 301.941
303.01/304.06 c bounds - >= -2933 @ 301.941
303.01/304.06 c bounds - >= -2932 @ 301.941
303.01/304.06 c bounds - >= -2931 @ 301.942
303.01/304.06 c bounds - >= -2930 @ 301.942
303.01/304.06 c bounds - >= -2929 @ 301.942
303.01/304.06 c bounds - >= -2928 @ 301.943
303.01/304.06 c bounds - >= -2927 @ 301.943
303.01/304.06 c bounds - >= -2926 @ 301.943
303.01/304.06 c bounds - >= -2925 @ 301.944
303.01/304.06 c bounds - >= -2924 @ 301.944
303.01/304.06 c bounds - >= -2923 @ 301.944
303.01/304.06 c bounds - >= -2922 @ 301.945
303.01/304.06 c bounds - >= -2921 @ 301.945
303.01/304.06 c bounds - >= -2920 @ 301.945
303.01/304.06 c bounds - >= -2919 @ 301.946
303.01/304.06 c bounds - >= -2918 @ 301.946
303.01/304.06 c bounds - >= -2917 @ 301.946
303.01/304.06 c bounds - >= -2916 @ 301.947
303.01/304.06 c bounds - >= -2915 @ 301.947
303.01/304.06 c bounds - >= -2914 @ 301.948
303.01/304.06 c bounds - >= -2913 @ 301.948
303.01/304.06 c bounds - >= -2912 @ 301.948
303.01/304.06 c bounds - >= -2911 @ 301.949
303.01/304.06 c bounds - >= -2910 @ 301.949
303.01/304.06 c bounds - >= -2909 @ 301.949
303.01/304.06 c bounds - >= -2908 @ 301.95
303.01/304.06 c bounds - >= -2907 @ 301.95
303.01/304.06 c bounds - >= -2906 @ 301.95
303.01/304.06 c bounds - >= -2905 @ 301.951
303.01/304.06 c bounds - >= -2904 @ 301.951
303.01/304.06 c bounds - >= -2903 @ 301.951
303.01/304.06 c bounds - >= -2902 @ 301.952
303.01/304.06 c bounds - >= -2901 @ 301.952
303.01/304.06 c bounds - >= -2900 @ 301.952
303.01/304.06 c bounds - >= -2899 @ 301.953
303.01/304.06 c bounds - >= -2898 @ 301.953
303.01/304.06 c bounds - >= -2897 @ 301.953
303.01/304.06 c bounds - >= -2896 @ 301.954
303.01/304.06 c bounds - >= -2895 @ 301.954
303.01/304.06 c bounds - >= -2894 @ 301.955
303.01/304.06 c bounds - >= -2893 @ 301.955
303.01/304.06 c bounds - >= -2892 @ 301.955
303.01/304.06 c bounds - >= -2891 @ 301.956
303.01/304.06 c bounds - >= -2890 @ 301.956
303.01/304.06 c bounds - >= -2889 @ 301.956
303.01/304.06 c bounds - >= -2888 @ 301.957
303.01/304.06 c bounds - >= -2887 @ 301.957
303.01/304.06 c bounds - >= -2886 @ 301.957
303.01/304.06 c bounds - >= -2885 @ 301.958
303.01/304.06 c bounds - >= -2884 @ 301.958
303.01/304.06 c bounds - >= -2883 @ 301.958
303.01/304.06 c bounds - >= -2882 @ 301.959
303.01/304.06 c bounds - >= -2881 @ 301.959
303.01/304.06 c bounds - >= -2880 @ 301.959
303.01/304.06 c bounds - >= -2879 @ 301.96
303.11/304.11 c bounds - >= -2878 @ 301.96
303.11/304.11 c bounds - >= -2877 @ 301.96
303.11/304.11 c bounds - >= -2876 @ 301.961
303.11/304.11 c bounds - >= -2875 @ 301.961
303.11/304.11 c bounds - >= -2874 @ 301.962
303.11/304.11 c bounds - >= -2873 @ 301.962
303.11/304.11 c bounds - >= -2872 @ 301.962
303.11/304.11 c bounds - >= -2871 @ 301.963
303.11/304.11 c bounds - >= -2870 @ 301.963
303.11/304.11 c bounds - >= -2869 @ 301.963
303.11/304.11 c bounds - >= -2868 @ 301.964
303.11/304.11 c bounds - >= -2867 @ 301.964
303.11/304.11 c bounds - >= -2866 @ 301.964
303.11/304.11 c bounds - >= -2865 @ 301.965
303.11/304.11 c bounds - >= -2864 @ 301.965
303.11/304.11 c bounds - >= -2863 @ 301.965
303.11/304.11 c bounds - >= -2862 @ 301.966
303.11/304.11 c bounds - >= -2861 @ 301.966
303.11/304.11 c bounds - >= -2860 @ 301.966
303.11/304.11 c bounds - >= -2859 @ 301.967
303.11/304.11 c bounds - >= -2858 @ 301.967
303.11/304.11 c bounds - >= -2857 @ 301.967
303.11/304.11 c bounds - >= -2856 @ 301.968
303.11/304.11 c bounds - >= -2855 @ 301.968
303.11/304.11 c bounds - >= -2854 @ 301.969
303.11/304.11 c bounds - >= -2853 @ 301.969
303.11/304.11 c bounds - >= -2852 @ 301.969
303.11/304.11 c bounds - >= -2851 @ 301.969
303.11/304.11 c bounds - >= -2850 @ 301.97
303.11/304.11 c bounds - >= -2849 @ 301.97
303.11/304.11 c bounds - >= -2848 @ 301.971
303.11/304.11 c bounds - >= -2847 @ 301.971
303.11/304.11 c bounds - >= -2846 @ 301.971
303.11/304.11 c bounds - >= -2845 @ 301.972
303.11/304.11 c bounds - >= -2844 @ 301.972
303.11/304.11 c bounds - >= -2843 @ 301.972
303.11/304.11 c bounds - >= -2842 @ 301.973
303.11/304.11 c bounds - >= -2841 @ 301.973
303.11/304.11 c bounds - >= -2840 @ 301.973
303.11/304.11 c bounds - >= -2839 @ 301.974
303.11/304.11 c bounds - >= -2838 @ 301.974
303.11/304.11 c bounds - >= -2837 @ 301.974
303.11/304.11 c bounds - >= -2836 @ 301.974
303.11/304.11 c bounds - >= -2835 @ 301.974
303.11/304.11 c bounds - >= -2834 @ 301.974
303.11/304.11 c bounds - >= -2833 @ 301.975
303.11/304.11 c bounds - >= -2832 @ 301.975
303.11/304.11 c bounds - >= -2831 @ 301.975
303.11/304.11 c bounds - >= -2830 @ 301.976
303.11/304.11 c bounds - >= -2829 @ 301.976
303.11/304.11 c bounds - >= -2828 @ 301.976
303.11/304.11 c bounds - >= -2827 @ 301.977
303.11/304.11 c bounds - >= -2826 @ 301.977
303.11/304.11 c bounds - >= -2825 @ 301.978
303.11/304.11 c bounds - >= -2824 @ 301.978
303.11/304.11 c bounds - >= -2823 @ 301.978
303.11/304.11 c bounds - >= -2822 @ 301.979
303.11/304.11 c bounds - >= -2821 @ 301.979
303.11/304.11 c bounds - >= -2820 @ 301.979
303.11/304.11 c bounds - >= -2819 @ 301.979
303.11/304.11 c bounds - >= -2818 @ 301.979
303.11/304.11 c bounds - >= -2817 @ 301.979
303.11/304.11 c bounds - >= -2816 @ 301.979
303.11/304.11 c bounds - >= -2815 @ 301.979
303.11/304.11 c bounds - >= -2814 @ 301.979
303.11/304.11 c bounds - >= -2813 @ 301.98
303.11/304.11 c bounds - >= -2812 @ 301.98
303.11/304.11 c bounds - >= -2811 @ 301.98
303.11/304.11 c bounds - >= -2810 @ 301.981
303.11/304.11 c bounds - >= -2809 @ 301.981
303.11/304.11 c bounds - >= -2808 @ 301.981
303.11/304.11 c bounds - >= -2807 @ 301.982
303.11/304.11 c bounds - >= -2806 @ 301.983
303.11/304.11 c bounds - >= -2805 @ 301.983
303.11/304.11 c bounds - >= -2804 @ 301.983
303.11/304.11 c bounds - >= -2803 @ 301.984
303.11/304.11 c bounds - >= -2802 @ 301.984
303.11/304.11 c bounds - >= -2801 @ 301.985
303.11/304.11 c bounds - >= -2800 @ 301.985
303.11/304.11 c bounds - >= -2799 @ 301.985
303.11/304.11 c bounds - >= -2798 @ 301.986
303.11/304.11 c bounds - >= -2797 @ 301.986
303.11/304.11 c bounds - >= -2796 @ 301.986
303.11/304.11 c bounds - >= -2795 @ 301.986
303.11/304.11 c bounds - >= -2794 @ 301.986
303.11/304.11 c bounds - >= -2793 @ 301.986
303.11/304.11 c bounds - >= -2792 @ 301.987
303.11/304.11 c bounds - >= -2791 @ 301.987
303.11/304.11 c bounds - >= -2790 @ 301.988
303.11/304.11 c bounds - >= -2789 @ 301.988
303.11/304.11 c bounds - >= -2788 @ 301.988
303.11/304.11 c bounds - >= -2787 @ 301.989
303.11/304.11 c bounds - >= -2786 @ 301.989
303.11/304.11 c bounds - >= -2785 @ 301.989
303.11/304.11 c bounds - >= -2784 @ 301.99
303.11/304.11 c bounds - >= -2783 @ 301.99
303.11/304.11 c bounds - >= -2782 @ 301.99
303.11/304.11 c bounds - >= -2781 @ 301.991
303.11/304.11 c bounds - >= -2780 @ 301.991
303.11/304.11 c bounds - >= -2779 @ 301.991
303.11/304.11 c bounds - >= -2778 @ 301.992
303.11/304.11 c bounds - >= -2777 @ 301.992
303.11/304.11 c bounds - >= -2776 @ 301.992
303.11/304.11 c bounds - >= -2775 @ 301.993
303.11/304.11 c bounds - >= -2774 @ 301.993
303.11/304.11 c bounds - >= -2773 @ 301.993
303.11/304.11 c bounds - >= -2772 @ 301.994
303.11/304.11 c bounds - >= -2771 @ 301.994
303.11/304.11 c bounds - >= -2770 @ 301.995
303.11/304.11 c bounds - >= -2769 @ 301.995
303.11/304.11 c bounds - >= -2768 @ 301.995
303.11/304.11 c bounds - >= -2767 @ 301.996
303.11/304.11 c bounds - >= -2766 @ 301.996
303.11/304.11 c bounds - >= -2765 @ 301.996
303.11/304.11 c bounds - >= -2764 @ 301.997
303.11/304.11 c bounds - >= -2763 @ 301.997
303.11/304.11 c bounds - >= -2762 @ 301.997
303.11/304.11 c bounds - >= -2761 @ 301.998
303.11/304.11 c bounds - >= -2760 @ 301.998
303.11/304.11 c bounds - >= -2759 @ 301.999
303.11/304.11 c bounds - >= -2758 @ 301.999
303.11/304.11 c bounds - >= -2757 @ 301.999
303.11/304.11 c bounds - >= -2756 @ 302
303.11/304.11 c bounds - >= -2755 @ 302
303.11/304.11 c bounds - >= -2754 @ 302
303.11/304.11 c bounds - >= -2753 @ 302.001
303.11/304.11 c bounds - >= -2752 @ 302.001
303.11/304.11 c bounds - >= -2751 @ 302.001
303.11/304.11 c bounds - >= -2750 @ 302.002
303.11/304.11 c bounds - >= -2749 @ 302.002
303.11/304.11 c bounds - >= -2748 @ 302.002
303.11/304.11 c bounds - >= -2747 @ 302.003
303.11/304.11 c bounds - >= -2746 @ 302.003
303.11/304.11 c bounds - >= -2745 @ 302.003
303.11/304.11 c bounds - >= -2744 @ 302.004
303.11/304.11 c bounds - >= -2743 @ 302.004
303.11/304.11 c bounds - >= -2742 @ 302.005
303.11/304.11 c bounds - >= -2741 @ 302.005
303.11/304.16 c bounds - >= -2740 @ 302.005
303.11/304.16 c bounds - >= -2739 @ 302.006
303.11/304.16 c bounds - >= -2738 @ 302.006
303.11/304.16 c bounds - >= -2737 @ 302.006
303.11/304.16 c bounds - >= -2736 @ 302.007
303.11/304.16 c bounds - >= -2735 @ 302.007
303.11/304.16 c bounds - >= -2734 @ 302.007
303.11/304.16 c bounds - >= -2733 @ 302.008
303.11/304.16 c bounds - >= -2732 @ 302.008
303.11/304.16 c bounds - >= -2731 @ 302.009
303.11/304.16 c bounds - >= -2730 @ 302.009
303.11/304.16 c bounds - >= -2729 @ 302.009
303.11/304.16 c bounds - >= -2728 @ 302.01
303.11/304.16 c bounds - >= -2727 @ 302.01
303.11/304.16 c bounds - >= -2726 @ 302.01
303.11/304.16 c bounds - >= -2725 @ 302.011
303.11/304.16 c bounds - >= -2724 @ 302.011
303.11/304.16 c bounds - >= -2723 @ 302.011
303.11/304.16 c bounds - >= -2722 @ 302.012
303.11/304.16 c bounds - >= -2721 @ 302.012
303.11/304.16 c bounds - >= -2720 @ 302.012
303.11/304.16 c bounds - >= -2719 @ 302.013
303.11/304.16 c bounds - >= -2718 @ 302.013
303.11/304.16 c bounds - >= -2717 @ 302.013
303.11/304.16 c bounds - >= -2716 @ 302.014
303.11/304.16 c bounds - >= -2715 @ 302.014
303.11/304.16 c bounds - >= -2714 @ 302.015
303.11/304.16 c bounds - >= -2713 @ 302.015
303.11/304.16 c bounds - >= -2712 @ 302.015
303.11/304.16 c bounds - >= -2711 @ 302.016
303.11/304.16 c bounds - >= -2710 @ 302.016
303.11/304.16 c bounds - >= -2709 @ 302.016
303.11/304.16 c bounds - >= -2708 @ 302.017
303.11/304.16 c bounds - >= -2707 @ 302.017
303.11/304.16 c bounds - >= -2706 @ 302.017
303.11/304.16 c bounds - >= -2705 @ 302.018
303.11/304.16 c bounds - >= -2704 @ 302.018
303.11/304.16 c bounds - >= -2703 @ 302.018
303.11/304.16 c bounds - >= -2702 @ 302.019
303.11/304.16 c bounds - >= -2701 @ 302.019
303.11/304.16 c bounds - >= -2700 @ 302.019
303.11/304.16 c bounds - >= -2699 @ 302.02
303.11/304.16 c bounds - >= -2698 @ 302.02
303.11/304.16 c bounds - >= -2697 @ 302.021
303.11/304.16 c bounds - >= -2696 @ 302.021
303.11/304.16 c bounds - >= -2695 @ 302.021
303.11/304.16 c bounds - >= -2694 @ 302.022
303.11/304.16 c bounds - >= -2693 @ 302.022
303.11/304.16 c bounds - >= -2692 @ 302.022
303.11/304.16 c bounds - >= -2691 @ 302.023
303.11/304.16 c bounds - >= -2690 @ 302.023
303.11/304.16 c bounds - >= -2689 @ 302.024
303.11/304.16 c bounds - >= -2688 @ 302.024
303.11/304.16 c bounds - >= -2687 @ 302.024
303.11/304.16 c bounds - >= -2686 @ 302.024
303.11/304.16 c bounds - >= -2685 @ 302.024
303.11/304.16 c bounds - >= -2684 @ 302.025
303.11/304.16 c bounds - >= -2683 @ 302.025
303.11/304.16 c bounds - >= -2682 @ 302.025
303.11/304.16 c bounds - >= -2681 @ 302.026
303.11/304.16 c bounds - >= -2680 @ 302.026
303.11/304.16 c bounds - >= -2679 @ 302.026
303.11/304.16 c bounds - >= -2678 @ 302.027
303.11/304.16 c bounds - >= -2677 @ 302.027
303.11/304.16 c bounds - >= -2676 @ 302.027
303.11/304.16 c bounds - >= -2675 @ 302.028
303.11/304.16 c bounds - >= -2674 @ 302.028
303.11/304.16 c bounds - >= -2673 @ 302.029
303.11/304.16 c bounds - >= -2672 @ 302.029
303.11/304.16 c bounds - >= -2671 @ 302.029
303.11/304.16 c bounds - >= -2670 @ 302.03
303.11/304.16 c bounds - >= -2669 @ 302.03
303.11/304.16 c bounds - >= -2668 @ 302.03
303.11/304.16 c bounds - >= -2667 @ 302.031
303.11/304.16 c bounds - >= -2666 @ 302.031
303.11/304.16 c bounds - >= -2665 @ 302.032
303.11/304.16 c bounds - >= -2664 @ 302.032
303.11/304.16 c bounds - >= -2663 @ 302.032
303.11/304.16 c bounds - >= -2662 @ 302.033
303.11/304.16 c bounds - >= -2661 @ 302.033
303.11/304.16 c bounds - >= -2660 @ 302.034
303.11/304.16 c bounds - >= -2659 @ 302.034
303.11/304.16 c bounds - >= -2658 @ 302.034
303.11/304.16 c bounds - >= -2657 @ 302.035
303.11/304.16 c bounds - >= -2656 @ 302.035
303.11/304.16 c bounds - >= -2655 @ 302.035
303.11/304.16 c bounds - >= -2654 @ 302.036
303.11/304.16 c bounds - >= -2653 @ 302.036
303.11/304.16 c bounds - >= -2652 @ 302.037
303.11/304.16 c bounds - >= -2651 @ 302.037
303.11/304.16 c bounds - >= -2650 @ 302.037
303.11/304.16 c bounds - >= -2649 @ 302.038
303.11/304.16 c bounds - >= -2648 @ 302.038
303.11/304.16 c bounds - >= -2647 @ 302.038
303.11/304.16 c bounds - >= -2646 @ 302.039
303.11/304.16 c bounds - >= -2645 @ 302.039
303.11/304.16 c bounds - >= -2644 @ 302.039
303.11/304.16 c bounds - >= -2643 @ 302.04
303.11/304.16 c bounds - >= -2642 @ 302.04
303.11/304.16 c bounds - >= -2641 @ 302.041
303.11/304.16 c bounds - >= -2640 @ 302.041
303.11/304.16 c bounds - >= -2639 @ 302.042
303.11/304.16 c bounds - >= -2638 @ 302.042
303.11/304.16 c bounds - >= -2637 @ 302.042
303.11/304.16 c bounds - >= -2636 @ 302.042
303.11/304.16 c bounds - >= -2635 @ 302.042
303.11/304.16 c bounds - >= -2634 @ 302.043
303.11/304.16 c bounds - >= -2633 @ 302.043
303.11/304.16 c bounds - >= -2632 @ 302.043
303.11/304.16 c bounds - >= -2631 @ 302.044
303.11/304.16 c bounds - >= -2630 @ 302.044
303.11/304.16 c bounds - >= -2629 @ 302.044
303.11/304.16 c bounds - >= -2628 @ 302.045
303.11/304.16 c bounds - >= -2627 @ 302.045
303.11/304.16 c bounds - >= -2626 @ 302.045
303.11/304.16 c bounds - >= -2625 @ 302.046
303.11/304.16 c bounds - >= -2624 @ 302.046
303.11/304.16 c bounds - >= -2623 @ 302.046
303.11/304.16 c bounds - >= -2622 @ 302.047
303.11/304.16 c bounds - >= -2621 @ 302.047
303.11/304.16 c bounds - >= -2620 @ 302.047
303.11/304.16 c bounds - >= -2619 @ 302.048
303.11/304.16 c bounds - >= -2618 @ 302.048
303.11/304.16 c bounds - >= -2617 @ 302.048
303.11/304.16 c bounds - >= -2616 @ 302.049
303.11/304.16 c bounds - >= -2615 @ 302.049
303.11/304.16 c bounds - >= -2614 @ 302.05
303.11/304.16 c bounds - >= -2613 @ 302.05
303.11/304.16 c bounds - >= -2612 @ 302.05
303.11/304.16 c bounds - >= -2611 @ 302.051
303.11/304.16 c bounds - >= -2610 @ 302.051
303.11/304.16 c bounds - >= -2609 @ 302.051
303.11/304.16 c bounds - >= -2608 @ 302.051
303.11/304.16 c bounds - >= -2607 @ 302.051
303.11/304.16 c bounds - >= -2606 @ 302.052
303.11/304.16 c bounds - >= -2605 @ 302.052
303.11/304.16 c bounds - >= -2604 @ 302.052
303.20/304.21 c bounds - >= -2603 @ 302.053
303.20/304.21 c bounds - >= -2602 @ 302.053
303.20/304.21 c bounds - >= -2601 @ 302.053
303.20/304.21 c bounds - >= -2600 @ 302.054
303.20/304.21 c bounds - >= -2599 @ 302.054
303.20/304.21 c bounds - >= -2598 @ 302.054
303.20/304.21 c bounds - >= -2597 @ 302.055
303.20/304.21 c bounds - >= -2596 @ 302.056
303.20/304.21 c bounds - >= -2595 @ 302.056
303.20/304.21 c bounds - >= -2594 @ 302.056
303.20/304.21 c bounds - >= -2593 @ 302.057
303.20/304.21 c bounds - >= -2592 @ 302.057
303.20/304.21 c bounds - >= -2591 @ 302.057
303.20/304.21 c bounds - >= -2590 @ 302.058
303.20/304.21 c bounds - >= -2589 @ 302.058
303.20/304.21 c bounds - >= -2588 @ 302.058
303.20/304.21 c bounds - >= -2587 @ 302.059
303.20/304.21 c bounds - >= -2586 @ 302.059
303.20/304.21 c bounds - >= -2585 @ 302.06
303.20/304.21 c bounds - >= -2584 @ 302.06
303.20/304.21 c bounds - >= -2583 @ 302.06
303.20/304.21 c bounds - >= -2582 @ 302.061
303.20/304.21 c bounds - >= -2581 @ 302.061
303.20/304.21 c bounds - >= -2580 @ 302.061
303.20/304.21 c bounds - >= -2579 @ 302.062
303.20/304.21 c bounds - >= -2578 @ 302.062
303.20/304.21 c bounds - >= -2577 @ 302.062
303.20/304.21 c bounds - >= -2576 @ 302.063
303.20/304.21 c bounds - >= -2575 @ 302.063
303.20/304.21 c bounds - >= -2574 @ 302.064
303.20/304.21 c bounds - >= -2573 @ 302.064
303.20/304.21 c bounds - >= -2572 @ 302.064
303.20/304.21 c bounds - >= -2571 @ 302.065
303.20/304.21 c bounds - >= -2570 @ 302.065
303.20/304.21 c bounds - >= -2569 @ 302.066
303.20/304.21 c bounds - >= -2568 @ 302.066
303.20/304.21 c bounds - >= -2567 @ 302.066
303.20/304.21 c bounds - >= -2566 @ 302.067
303.20/304.21 c bounds - >= -2565 @ 302.067
303.20/304.21 c bounds - >= -2564 @ 302.067
303.20/304.21 c bounds - >= -2563 @ 302.068
303.20/304.21 c bounds - >= -2562 @ 302.068
303.20/304.21 c bounds - >= -2561 @ 302.068
303.20/304.21 c bounds - >= -2560 @ 302.069
303.20/304.21 c bounds - >= -2559 @ 302.069
303.20/304.21 c bounds - >= -2558 @ 302.07
303.20/304.21 c bounds - >= -2557 @ 302.07
303.20/304.21 c bounds - >= -2556 @ 302.07
303.20/304.21 c bounds - >= -2555 @ 302.07
303.20/304.21 c bounds - >= -2554 @ 302.07
303.20/304.21 c bounds - >= -2553 @ 302.07
303.20/304.21 c bounds - >= -2552 @ 302.071
303.20/304.21 c bounds - >= -2551 @ 302.071
303.20/304.21 c bounds - >= -2550 @ 302.072
303.20/304.21 c bounds - >= -2549 @ 302.072
303.20/304.21 c bounds - >= -2548 @ 302.073
303.20/304.21 c bounds - >= -2547 @ 302.073
303.20/304.21 c bounds - >= -2546 @ 302.073
303.20/304.21 c bounds - >= -2545 @ 302.074
303.20/304.21 c bounds - >= -2544 @ 302.074
303.20/304.21 c bounds - >= -2543 @ 302.075
303.20/304.21 c bounds - >= -2542 @ 302.075
303.20/304.21 c bounds - >= -2541 @ 302.075
303.20/304.21 c bounds - >= -2540 @ 302.076
303.20/304.21 c bounds - >= -2539 @ 302.076
303.20/304.21 c bounds - >= -2538 @ 302.076
303.20/304.21 c bounds - >= -2537 @ 302.077
303.20/304.21 c bounds - >= -2536 @ 302.077
303.20/304.22 c bounds - >= -2535 @ 302.077
303.20/304.22 c bounds - >= -2534 @ 302.078
303.20/304.22 c bounds - >= -2533 @ 302.078
303.20/304.22 c bounds - >= -2532 @ 302.078
303.20/304.22 c bounds - >= -2531 @ 302.079
303.20/304.22 c bounds - >= -2530 @ 302.079
303.20/304.22 c bounds - >= -2529 @ 302.079
303.20/304.22 c bounds - >= -2528 @ 302.08
303.20/304.22 c bounds - >= -2527 @ 302.08
303.20/304.22 c bounds - >= -2526 @ 302.08
303.20/304.22 c bounds - >= -2525 @ 302.081
303.20/304.22 c bounds - >= -2524 @ 302.082
303.20/304.22 c bounds - >= -2523 @ 302.082
303.20/304.22 c bounds - >= -2522 @ 302.082
303.20/304.22 c bounds - >= -2521 @ 302.083
303.20/304.22 c bounds - >= -2520 @ 302.083
303.20/304.22 c bounds - >= -2519 @ 302.083
303.20/304.22 c bounds - >= -2518 @ 302.084
303.20/304.22 c bounds - >= -2517 @ 302.084
303.20/304.22 c bounds - >= -2516 @ 302.085
303.20/304.22 c bounds - >= -2515 @ 302.085
303.20/304.22 c bounds - >= -2514 @ 302.085
303.20/304.22 c bounds - >= -2513 @ 302.086
303.20/304.22 c bounds - >= -2512 @ 302.086
303.20/304.22 c bounds - >= -2511 @ 302.087
303.20/304.22 c bounds - >= -2510 @ 302.087
303.20/304.22 c bounds - >= -2509 @ 302.087
303.20/304.22 c bounds - >= -2508 @ 302.088
303.20/304.22 c bounds - >= -2507 @ 302.089
303.20/304.22 c bounds - >= -2506 @ 302.089
303.20/304.22 c bounds - >= -2505 @ 302.089
303.20/304.22 c bounds - >= -2504 @ 302.09
303.20/304.22 c bounds - >= -2503 @ 302.09
303.20/304.22 c bounds - >= -2502 @ 302.09
303.20/304.22 c bounds - >= -2501 @ 302.09
303.20/304.22 c bounds - >= -2500 @ 302.09
303.20/304.22 c bounds - >= -2499 @ 302.091
303.20/304.22 c bounds - >= -2498 @ 302.091
303.20/304.22 c bounds - >= -2497 @ 302.092
303.20/304.22 c bounds - >= -2496 @ 302.092
303.20/304.22 c bounds - >= -2495 @ 302.092
303.20/304.22 c bounds - >= -2494 @ 302.093
303.20/304.22 c bounds - >= -2493 @ 302.093
303.20/304.22 c bounds - >= -2492 @ 302.094
303.20/304.22 c bounds - >= -2491 @ 302.094
303.20/304.22 c bounds - >= -2490 @ 302.094
303.20/304.22 c bounds - >= -2489 @ 302.095
303.20/304.22 c bounds - >= -2488 @ 302.095
303.20/304.22 c bounds - >= -2487 @ 302.096
303.20/304.22 c bounds - >= -2486 @ 302.096
303.20/304.22 c bounds - >= -2485 @ 302.097
303.20/304.22 c bounds - >= -2484 @ 302.097
303.20/304.22 c bounds - >= -2483 @ 302.098
303.20/304.22 c bounds - >= -2482 @ 302.098
303.20/304.22 c bounds - >= -2481 @ 302.098
303.20/304.22 c bounds - >= -2480 @ 302.099
303.20/304.22 c bounds - >= -2479 @ 302.099
303.20/304.22 c bounds - >= -2478 @ 302.1
303.20/304.22 c bounds - >= -2477 @ 302.1
303.20/304.22 c bounds - >= -2476 @ 302.101
303.20/304.22 c bounds - >= -2475 @ 302.101
303.20/304.22 c bounds - >= -2474 @ 302.102
303.20/304.22 c bounds - >= -2473 @ 302.102
303.20/304.22 c bounds - >= -2472 @ 302.103
303.20/304.22 c bounds - >= -2471 @ 302.103
303.20/304.22 c bounds - >= -2470 @ 302.104
303.20/304.22 c bounds - >= -2469 @ 302.104
303.20/304.22 c bounds - >= -2468 @ 302.105
303.20/304.22 c bounds - >= -2467 @ 302.105
303.20/304.28 c bounds - >= -2466 @ 302.106
303.20/304.28 c bounds - >= -2465 @ 302.106
303.20/304.28 c bounds - >= -2464 @ 302.106
303.20/304.28 c bounds - >= -2463 @ 302.107
303.20/304.28 c bounds - >= -2462 @ 302.107
303.20/304.28 c bounds - >= -2461 @ 302.108
303.20/304.28 c bounds - >= -2460 @ 302.108
303.20/304.28 c bounds - >= -2459 @ 302.108
303.20/304.28 c bounds - >= -2458 @ 302.109
303.20/304.28 c bounds - >= -2457 @ 302.109
303.20/304.28 c bounds - >= -2456 @ 302.109
303.20/304.28 c bounds - >= -2455 @ 302.109
303.20/304.28 c bounds - >= -2454 @ 302.109
303.20/304.28 c bounds - >= -2453 @ 302.11
303.20/304.28 c bounds - >= -2452 @ 302.11
303.20/304.28 c bounds - >= -2451 @ 302.11
303.20/304.28 c bounds - >= -2450 @ 302.111
303.20/304.28 c bounds - >= -2449 @ 302.112
303.20/304.28 c bounds - >= -2448 @ 302.112
303.20/304.28 c bounds - >= -2447 @ 302.113
303.20/304.28 c bounds - >= -2446 @ 302.113
303.20/304.28 c bounds - >= -2445 @ 302.114
303.20/304.28 c bounds - >= -2444 @ 302.114
303.20/304.28 c bounds - >= -2443 @ 302.114
303.20/304.28 c bounds - >= -2442 @ 302.115
303.20/304.28 c bounds - >= -2441 @ 302.115
303.20/304.28 c bounds - >= -2440 @ 302.116
303.20/304.28 c bounds - >= -2439 @ 302.116
303.20/304.28 c bounds - >= -2438 @ 302.117
303.20/304.28 c bounds - >= -2437 @ 302.117
303.20/304.28 c bounds - >= -2436 @ 302.117
303.20/304.28 c bounds - >= -2435 @ 302.118
303.20/304.28 c bounds - >= -2434 @ 302.118
303.20/304.28 c bounds - >= -2433 @ 302.118
303.20/304.28 c bounds - >= -2432 @ 302.119
303.20/304.28 c bounds - >= -2431 @ 302.119
303.20/304.28 c bounds - >= -2430 @ 302.12
303.20/304.28 c bounds - >= -2429 @ 302.121
303.20/304.28 c bounds - >= -2428 @ 302.121
303.20/304.28 c bounds - >= -2427 @ 302.122
303.20/304.28 c bounds - >= -2426 @ 302.122
303.20/304.28 c bounds - >= -2425 @ 302.122
303.20/304.28 c bounds - >= -2424 @ 302.123
303.20/304.28 c bounds - >= -2423 @ 302.123
303.20/304.28 c bounds - >= -2422 @ 302.123
303.20/304.28 c bounds - >= -2421 @ 302.124
303.20/304.28 c bounds - >= -2420 @ 302.124
303.20/304.28 c bounds - >= -2419 @ 302.125
303.20/304.28 c bounds - >= -2418 @ 302.125
303.20/304.28 c bounds - >= -2417 @ 302.126
303.20/304.28 c bounds - >= -2416 @ 302.126
303.20/304.28 c bounds - >= -2415 @ 302.126
303.20/304.28 c bounds - >= -2414 @ 302.127
303.20/304.28 c bounds - >= -2413 @ 302.127
303.20/304.28 c bounds - >= -2412 @ 302.127
303.20/304.28 c bounds - >= -2411 @ 302.128
303.20/304.28 c bounds - >= -2410 @ 302.128
303.20/304.28 c bounds - >= -2409 @ 302.128
303.20/304.28 c bounds - >= -2408 @ 302.129
303.20/304.28 c bounds - >= -2407 @ 302.13
303.20/304.28 c bounds - >= -2406 @ 302.13
303.20/304.28 c bounds - >= -2405 @ 302.131
303.20/304.28 c bounds - >= -2404 @ 302.131
303.20/304.28 c bounds - >= -2403 @ 302.132
303.20/304.28 c bounds - >= -2402 @ 302.132
303.20/304.28 c bounds - >= -2401 @ 302.132
303.20/304.28 c bounds - >= -2400 @ 302.133
303.20/304.28 c bounds - >= -2399 @ 302.133
303.20/304.28 c bounds - >= -2398 @ 302.134
303.20/304.28 c bounds - >= -2397 @ 302.134
303.20/304.28 c bounds - >= -2396 @ 302.134
303.20/304.28 c bounds - >= -2395 @ 302.135
303.20/304.28 c bounds - >= -2394 @ 302.135
303.20/304.28 c bounds - >= -2393 @ 302.135
303.20/304.28 c bounds - >= -2392 @ 302.136
303.20/304.28 c bounds - >= -2391 @ 302.137
303.20/304.28 c bounds - >= -2390 @ 302.137
303.20/304.28 c bounds - >= -2389 @ 302.137
303.20/304.28 c bounds - >= -2388 @ 302.138
303.20/304.28 c bounds - >= -2387 @ 302.138
303.20/304.28 c bounds - >= -2386 @ 302.139
303.20/304.28 c bounds - >= -2385 @ 302.139
303.20/304.28 c bounds - >= -2384 @ 302.14
303.20/304.28 c bounds - >= -2383 @ 302.14
303.20/304.28 c bounds - >= -2382 @ 302.141
303.20/304.28 c bounds - >= -2381 @ 302.142
303.20/304.28 c bounds - >= -2380 @ 302.142
303.20/304.28 c bounds - >= -2379 @ 302.142
303.20/304.28 c bounds - >= -2378 @ 302.143
303.20/304.28 c bounds - >= -2377 @ 302.144
303.20/304.28 c bounds - >= -2376 @ 302.144
303.20/304.28 c bounds - >= -2375 @ 302.144
303.20/304.28 c bounds - >= -2374 @ 302.145
303.20/304.28 c bounds - >= -2373 @ 302.145
303.20/304.28 c bounds - >= -2372 @ 302.146
303.20/304.28 c bounds - >= -2371 @ 302.146
303.20/304.28 c bounds - >= -2370 @ 302.146
303.20/304.28 c bounds - >= -2369 @ 302.146
303.20/304.28 c bounds - >= -2368 @ 302.146
303.20/304.28 c bounds - >= -2367 @ 302.148
303.20/304.28 c bounds - >= -2366 @ 302.148
303.20/304.28 c bounds - >= -2365 @ 302.149
303.20/304.28 c bounds - >= -2364 @ 302.149
303.20/304.28 c bounds - >= -2363 @ 302.15
303.20/304.28 c bounds - >= -2362 @ 302.15
303.20/304.28 c bounds - >= -2361 @ 302.151
303.20/304.28 c bounds - >= -2360 @ 302.151
303.20/304.28 c bounds - >= -2359 @ 302.152
303.20/304.28 c bounds - >= -2358 @ 302.152
303.20/304.28 c bounds - >= -2357 @ 302.152
303.20/304.28 c bounds - >= -2356 @ 302.153
303.20/304.28 c bounds - >= -2355 @ 302.154
303.20/304.28 c bounds - >= -2354 @ 302.154
303.20/304.28 c bounds - >= -2353 @ 302.155
303.20/304.28 c bounds - >= -2352 @ 302.155
303.20/304.28 c bounds - >= -2351 @ 302.156
303.20/304.28 c bounds - >= -2350 @ 302.156
303.20/304.28 c bounds - >= -2349 @ 302.157
303.20/304.28 c bounds - >= -2348 @ 302.157
303.20/304.28 c bounds - >= -2347 @ 302.157
303.20/304.28 c bounds - >= -2346 @ 302.159
303.20/304.28 c bounds - >= -2345 @ 302.16
303.20/304.28 c bounds - >= -2344 @ 302.16
303.20/304.28 c bounds - >= -2343 @ 302.16
303.20/304.28 c bounds - >= -2342 @ 302.161
303.20/304.28 c bounds - >= -2341 @ 302.161
303.20/304.28 c bounds - >= -2340 @ 302.162
303.20/304.28 c bounds - >= -2339 @ 302.162
303.20/304.28 c bounds - >= -2338 @ 302.163
303.20/304.28 c bounds - >= -2337 @ 302.163
303.20/304.28 c bounds - >= -2336 @ 302.164
303.20/304.28 c bounds - >= -2335 @ 302.164
303.20/304.28 c bounds - >= -2334 @ 302.165
303.20/304.28 c bounds - >= -2333 @ 302.166
303.20/304.28 c bounds - >= -2332 @ 302.167
303.20/304.28 c bounds - >= -2331 @ 302.167
303.20/304.28 c bounds - >= -2330 @ 302.168
354.76/356.00 c bounds - >= -2329 @ 302.168
354.76/356.00 c bounds - >= -2328 @ 302.168
354.76/356.00 c bounds - >= -2327 @ 302.168
354.76/356.00 c bounds - >= -2326 @ 302.168
354.76/356.00 c bounds - >= -2325 @ 302.168
354.76/356.00 c bounds - >= -2324 @ 302.169
354.76/356.00 c bounds - >= -2323 @ 302.169
354.76/356.00 c bounds - >= -2322 @ 302.17
354.76/356.00 c bounds - >= -2321 @ 302.17
354.76/356.00 c bounds - >= -2320 @ 302.171
354.76/356.00 c bounds - >= -2319 @ 302.172
354.76/356.00 c bounds - >= -2318 @ 302.173
354.76/356.00 c bounds - >= -2317 @ 302.173
354.76/356.00 c bounds - >= -2316 @ 302.174
354.76/356.00 c bounds - >= -2315 @ 302.174
354.76/356.00 c bounds - >= -2314 @ 302.174
354.76/356.00 c bounds - >= -2313 @ 302.174
354.76/356.00 c bounds - >= -2312 @ 302.174
354.76/356.00 c bounds - >= -2311 @ 302.174
354.76/356.00 c bounds - >= -2310 @ 302.175
354.76/356.00 c bounds - >= -2309 @ 302.175
354.76/356.00 c bounds - >= -2308 @ 302.175
354.76/356.00 c bounds - >= -2307 @ 302.176
354.76/356.00 c bounds - >= -2306 @ 302.176
354.76/356.00 c bounds - >= -2305 @ 302.177
354.76/356.00 c bounds - >= -2304 @ 302.178
354.76/356.00 c bounds - >= -2303 @ 302.178
354.76/356.00 c bounds - >= -2302 @ 302.179
354.76/356.00 c bounds - >= -2301 @ 302.179
354.76/356.00 c bounds - >= -2300 @ 302.18
354.76/356.00 c bounds - >= -2299 @ 302.181
354.76/356.00 c bounds - >= -2298 @ 302.181
354.76/356.00 c bounds - >= -2297 @ 302.182
354.76/356.00 c bounds - >= -2296 @ 302.182
354.76/356.00 c bounds - >= -2295 @ 302.183
354.76/356.00 c bounds - >= -2294 @ 302.184
354.76/356.00 c bounds - >= -2293 @ 302.185
354.76/356.00 c bounds - >= -2292 @ 302.186
354.76/356.00 c bounds - >= -2291 @ 302.186
354.76/356.00 c bounds - >= -2290 @ 302.187
354.76/356.00 c bounds - >= -2289 @ 302.187
354.76/356.00 c bounds - >= -2288 @ 302.187
354.76/356.00 c bounds - >= -2287 @ 302.188
354.76/356.00 c bounds - >= -2286 @ 302.188
354.76/356.00 c bounds - >= -2285 @ 302.189
354.76/356.00 c bounds - >= -2284 @ 302.189
354.76/356.00 c bounds - >= -2283 @ 302.189
354.76/356.00 c bounds - >= -2282 @ 302.19
354.76/356.00 c bounds - >= -2281 @ 302.191
354.76/356.00 c bounds - >= -2280 @ 302.192
354.76/356.00 c bounds - >= -2279 @ 302.193
354.76/356.00 c bounds - >= -2278 @ 302.193
354.76/356.00 c bounds - >= -2277 @ 302.194
354.76/356.00 c bounds - >= -2276 @ 302.194
354.76/356.00 c bounds - >= -2275 @ 302.195
354.76/356.00 c bounds - >= -2274 @ 302.195
354.76/356.00 c bounds - >= -2273 @ 302.195
354.76/356.00 c bounds - >= -2272 @ 302.196
354.76/356.00 c bounds - >= -2271 @ 302.196
354.76/356.00 c bounds - >= -2270 @ 302.197
354.76/356.00 c bounds - >= -2269 @ 302.198
354.76/356.00 c bounds - >= -2268 @ 302.199
354.76/356.00 c bounds - >= -2267 @ 302.2
354.76/356.00 c bounds - >= -2266 @ 302.2
354.76/356.00 c bounds - >= -2265 @ 302.201
354.76/356.00 c bounds - >= -2264 @ 302.201
354.76/356.00 c bounds - >= -2263 @ 302.202
354.76/356.00 c bounds - >= -2262 @ 302.202
354.76/356.00 c bounds - >= -2261 @ 302.202
354.76/356.00 c bounds - >= -2260 @ 302.202
354.76/356.00 c bounds - >= -2259 @ 302.203
354.76/356.00 c bounds - >= -2258 @ 302.203
354.76/356.00 c bounds - >= -2257 @ 302.204
354.76/356.00 c bounds - >= -2256 @ 302.205
354.76/356.00 c bounds - >= -2255 @ 302.205
354.76/356.00 c bounds - >= -2254 @ 302.206
354.76/356.00 c bounds - >= -2253 @ 302.206
354.76/356.00 c bounds - >= -2252 @ 302.207
354.76/356.00 c bounds - >= -2251 @ 302.207
354.76/356.00 c bounds - >= -2250 @ 302.208
354.76/356.00 c bounds - >= -2249 @ 302.209
354.76/356.00 c bounds - >= -2248 @ 302.21
354.76/356.00 c bounds - >= -2247 @ 302.211
354.76/356.00 c bounds - >= -2246 @ 302.211
354.76/356.00 c bounds - >= -2245 @ 302.212
354.76/356.00 c bounds - >= -2244 @ 302.212
354.76/356.00 c bounds - >= -2243 @ 302.214
354.76/356.00 c bounds - >= -2242 @ 302.214
354.76/356.00 c bounds - >= -2241 @ 302.215
354.76/356.00 c bounds - >= -2240 @ 302.216
354.76/356.00 c bounds - >= -2239 @ 302.217
354.76/356.00 c bounds - >= -2238 @ 302.217
354.76/356.00 c bounds - >= -2237 @ 302.217
354.76/356.00 c bounds - >= -2236 @ 302.218
354.76/356.00 c bounds - >= -2235 @ 302.218
354.76/356.00 c bounds - >= -2234 @ 302.219
354.76/356.00 c bounds - >= -2233 @ 302.219
354.76/356.00 c bounds - >= -2232 @ 302.219
354.76/356.00 c bounds - >= -2231 @ 302.219
354.76/356.00 c bounds - >= -2230 @ 302.219
354.76/356.00 c bounds - >= -2229 @ 302.221
354.76/356.00 c bounds - >= -2228 @ 302.222
354.76/356.00 c #Conflicts: 1000 | #Constraints: 425956
354.76/356.00 c #Conflicts: 2000 | #Constraints: 426956
354.76/356.00 c INPROCESSING
354.76/356.00 c GARBAGE COLLECT
354.76/356.00 c #Conflicts: 3000 | #Constraints: 426011
354.76/356.00 c #Conflicts: 4000 | #Constraints: 427011
354.76/356.00 c INPROCESSING
354.76/356.00 c GARBAGE COLLECT
354.76/356.00 c #Conflicts: 5000 | #Constraints: 426402
354.76/356.00 c #Conflicts: 6000 | #Constraints: 427402
354.76/356.00 c bounds - >= -2227 @ 324.004
354.76/356.00 c INPROCESSING
354.76/356.00 c GARBAGE COLLECT
354.76/356.00 c #Conflicts: 7000 | #Constraints: 426399
354.76/356.00 c #Conflicts: 8000 | #Constraints: 427399
354.76/356.00 c #Conflicts: 9000 | #Constraints: 428399
354.76/356.00 c INPROCESSING
354.76/356.00 c GARBAGE COLLECT
354.76/356.00 c #Conflicts: 10000 | #Constraints: 427097
354.76/356.00 c #Conflicts: 11000 | #Constraints: 428097
354.76/356.00 c #Conflicts: 12000 | #Constraints: 429097
354.76/356.00 c INPROCESSING
354.76/356.00 c GARBAGE COLLECT
354.76/356.00 c #Conflicts: 13000 | #Constraints: 427545
354.76/356.00 c #Conflicts: 14000 | #Constraints: 428545
354.76/356.00 c #Conflicts: 15000 | #Constraints: 429545
354.76/356.00 c INPROCESSING
354.76/356.00 c GARBAGE COLLECT
354.76/356.00 c #Conflicts: 16000 | #Constraints: 427769
621.53/623.44 c #Conflicts: 17000 | #Constraints: 428769
621.53/623.44 c #Conflicts: 18000 | #Constraints: 429769
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 19000 | #Constraints: 427781
621.53/623.44 c #Conflicts: 20000 | #Constraints: 428781
621.53/623.44 c #Conflicts: 21000 | #Constraints: 429781
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 22000 | #Constraints: 427586
621.53/623.44 c #Conflicts: 23000 | #Constraints: 428586
621.53/623.44 c #Conflicts: 24000 | #Constraints: 429586
621.53/623.44 c #Conflicts: 25000 | #Constraints: 430586
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 26000 | #Constraints: 428189
621.53/623.44 c #Conflicts: 27000 | #Constraints: 429189
621.53/623.44 c #Conflicts: 28000 | #Constraints: 430189
621.53/623.44 c #Conflicts: 29000 | #Constraints: 431189
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 30000 | #Constraints: 428590
621.53/623.44 c #Conflicts: 31000 | #Constraints: 429590
621.53/623.44 c #Conflicts: 32000 | #Constraints: 430590
621.53/623.44 c #Conflicts: 33000 | #Constraints: 431590
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 34000 | #Constraints: 428792
621.53/623.44 c #Conflicts: 35000 | #Constraints: 429792
621.53/623.44 c #Conflicts: 36000 | #Constraints: 430792
621.53/623.44 c #Conflicts: 37000 | #Constraints: 431792
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 38000 | #Constraints: 428793
621.53/623.44 c #Conflicts: 39000 | #Constraints: 429793
621.53/623.44 c #Conflicts: 40000 | #Constraints: 430793
621.53/623.44 c #Conflicts: 41000 | #Constraints: 431793
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 42000 | #Constraints: 428592
621.53/623.44 c #Conflicts: 43000 | #Constraints: 429592
621.53/623.44 c #Conflicts: 44000 | #Constraints: 430592
621.53/623.44 c #Conflicts: 45000 | #Constraints: 431592
621.53/623.44 c #Conflicts: 46000 | #Constraints: 432592
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 47000 | #Constraints: 429194
621.53/623.44 c #Conflicts: 48000 | #Constraints: 430194
621.53/623.44 c #Conflicts: 49000 | #Constraints: 431194
621.53/623.44 c #Conflicts: 50000 | #Constraints: 432194
621.53/623.44 c #Conflicts: 51000 | #Constraints: 433194
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 52000 | #Constraints: 429597
621.53/623.44 c #Conflicts: 53000 | #Constraints: 430597
621.53/623.44 c #Conflicts: 54000 | #Constraints: 431597
621.53/623.44 c #Conflicts: 55000 | #Constraints: 432597
621.53/623.44 c #Conflicts: 56000 | #Constraints: 433597
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 57000 | #Constraints: 429798
621.53/623.44 c #Conflicts: 58000 | #Constraints: 430798
621.53/623.44 c #Conflicts: 59000 | #Constraints: 431798
621.53/623.44 c #Conflicts: 60000 | #Constraints: 432798
621.53/623.44 c #Conflicts: 61000 | #Constraints: 433798
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 62000 | #Constraints: 429798
621.53/623.44 c #Conflicts: 63000 | #Constraints: 430798
621.53/623.44 c #Conflicts: 64000 | #Constraints: 431798
621.53/623.44 c #Conflicts: 65000 | #Constraints: 432798
621.53/623.44 c #Conflicts: 66000 | #Constraints: 433798
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 67000 | #Constraints: 429598
621.53/623.44 c #Conflicts: 68000 | #Constraints: 430598
621.53/623.44 c #Conflicts: 69000 | #Constraints: 431598
621.53/623.44 c #Conflicts: 70000 | #Constraints: 432598
621.53/623.44 c #Conflicts: 71000 | #Constraints: 433598
621.53/623.44 c #Conflicts: 72000 | #Constraints: 434598
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 73000 | #Constraints: 430199
621.53/623.44 c #Conflicts: 74000 | #Constraints: 431199
621.53/623.44 c #Conflicts: 75000 | #Constraints: 432199
621.53/623.44 c #Conflicts: 76000 | #Constraints: 433199
621.53/623.44 c #Conflicts: 77000 | #Constraints: 434199
621.53/623.44 c #Conflicts: 78000 | #Constraints: 435199
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 79000 | #Constraints: 430600
621.53/623.44 c #Conflicts: 80000 | #Constraints: 431600
621.53/623.44 c #Conflicts: 81000 | #Constraints: 432600
621.53/623.44 c #Conflicts: 82000 | #Constraints: 433600
621.53/623.44 c #Conflicts: 83000 | #Constraints: 434600
621.53/623.44 c #Conflicts: 84000 | #Constraints: 435600
621.53/623.44 c INPROCESSING
621.53/623.44 c GARBAGE COLLECT
621.53/623.44 c #Conflicts: 85000 | #Constraints: 430797
973.57/976.60 c #Conflicts: 86000 | #Constraints: 431797
973.57/976.60 c #Conflicts: 87000 | #Constraints: 432797
973.57/976.60 c #Conflicts: 88000 | #Constraints: 433797
973.57/976.60 c #Conflicts: 89000 | #Constraints: 434797
973.57/976.60 c #Conflicts: 90000 | #Constraints: 435797
973.57/976.60 c INPROCESSING
973.57/976.60 c GARBAGE COLLECT
973.57/976.60 c #Conflicts: 91000 | #Constraints: 430795
973.57/976.60 c #Conflicts: 92000 | #Constraints: 431795
973.57/976.60 c #Conflicts: 93000 | #Constraints: 432795
973.57/976.60 c #Conflicts: 94000 | #Constraints: 433795
973.57/976.60 c #Conflicts: 95000 | #Constraints: 434795
973.57/976.60 c #Conflicts: 96000 | #Constraints: 435795
973.57/976.60 c INPROCESSING
973.57/976.60 c GARBAGE COLLECT
973.57/976.60 c #Conflicts: 97000 | #Constraints: 430596
973.57/976.60 c #Conflicts: 98000 | #Constraints: 431596
973.57/976.60 c #Conflicts: 99000 | #Constraints: 432596
973.57/976.60 c #Conflicts: 100000 | #Constraints: 433596
973.57/976.60 c #Conflicts: 101000 | #Constraints: 434596
973.57/976.60 c #Conflicts: 102000 | #Constraints: 435596
973.57/976.60 c #Conflicts: 103000 | #Constraints: 436596
973.57/976.60 c INPROCESSING
973.57/976.60 c GARBAGE COLLECT
973.57/976.60 c #Conflicts: 104000 | #Constraints: 431195
973.57/976.60 c #Conflicts: 105000 | #Constraints: 432195
973.57/976.60 c #Conflicts: 106000 | #Constraints: 433195
973.57/976.60 c #Conflicts: 107000 | #Constraints: 434195
973.57/976.60 c #Conflicts: 108000 | #Constraints: 435195
973.57/976.60 c #Conflicts: 109000 | #Constraints: 436195
973.57/976.60 c #Conflicts: 110000 | #Constraints: 437195
973.57/976.60 c INPROCESSING
973.57/976.60 c GARBAGE COLLECT
973.57/976.60 c #Conflicts: 111000 | #Constraints: 431597
973.57/976.60 c #Conflicts: 112000 | #Constraints: 432597
973.57/976.60 c #Conflicts: 113000 | #Constraints: 433597
973.57/976.60 c #Conflicts: 114000 | #Constraints: 434597
973.57/976.60 c #Conflicts: 115000 | #Constraints: 435597
973.57/976.60 c #Conflicts: 116000 | #Constraints: 436597
973.57/976.60 c #Conflicts: 117000 | #Constraints: 437597
973.57/976.60 c INPROCESSING
973.57/976.60 c GARBAGE COLLECT
973.57/976.60 c #Conflicts: 118000 | #Constraints: 431797
973.57/976.60 c #Conflicts: 119000 | #Constraints: 432797
973.57/976.60 c #Conflicts: 120000 | #Constraints: 433797
973.57/976.60 c #Conflicts: 121000 | #Constraints: 434797
973.57/976.60 c #Conflicts: 122000 | #Constraints: 435797
973.57/976.60 c #Conflicts: 123000 | #Constraints: 436797
973.57/976.60 c #Conflicts: 124000 | #Constraints: 437797
973.57/976.60 c INPROCESSING
973.57/976.60 c GARBAGE COLLECT
973.57/976.60 c #Conflicts: 125000 | #Constraints: 431800
973.57/976.60 c #Conflicts: 126000 | #Constraints: 432800
973.57/976.60 c #Conflicts: 127000 | #Constraints: 433800
973.57/976.60 c #Conflicts: 128000 | #Constraints: 434800
973.57/976.60 c #Conflicts: 129000 | #Constraints: 435800
973.57/976.60 c #Conflicts: 130000 | #Constraints: 436800
973.57/976.60 c #Conflicts: 131000 | #Constraints: 437800
973.57/976.60 c INPROCESSING
973.57/976.60 c GARBAGE COLLECT
973.57/976.60 c #Conflicts: 132000 | #Constraints: 431600
973.57/976.60 c #Conflicts: 133000 | #Constraints: 432600
973.57/976.60 c #Conflicts: 134000 | #Constraints: 433600
973.57/976.60 c #Conflicts: 135000 | #Constraints: 434600
973.57/976.60 c #Conflicts: 136000 | #Constraints: 435600
973.57/976.60 c #Conflicts: 137000 | #Constraints: 436600
973.57/976.60 c #Conflicts: 138000 | #Constraints: 437600
973.57/976.60 c #Conflicts: 139000 | #Constraints: 438600
973.57/976.60 c INPROCESSING
973.57/976.60 c GARBAGE COLLECT
973.57/976.60 c #Conflicts: 140000 | #Constraints: 432200
973.57/976.60 c #Conflicts: 141000 | #Constraints: 433200
973.57/976.60 c #Conflicts: 142000 | #Constraints: 434200
973.57/976.60 c #Conflicts: 143000 | #Constraints: 435200
973.57/976.60 c #Conflicts: 144000 | #Constraints: 436200
973.57/976.60 c #Conflicts: 145000 | #Constraints: 437200
973.57/976.60 c #Conflicts: 146000 | #Constraints: 438200
973.57/976.60 c #Conflicts: 147000 | #Constraints: 439200
973.57/976.60 c INPROCESSING
973.57/976.60 c GARBAGE COLLECT
973.57/976.60 c #Conflicts: 148000 | #Constraints: 432597
973.57/976.60 c #Conflicts: 149000 | #Constraints: 433597
973.57/976.60 c #Conflicts: 150000 | #Constraints: 434597
973.57/976.60 c #Conflicts: 151000 | #Constraints: 435597
973.57/976.60 c #Conflicts: 152000 | #Constraints: 436597
973.57/976.60 c #Conflicts: 153000 | #Constraints: 437597
973.57/976.60 c #Conflicts: 154000 | #Constraints: 438597
973.57/976.60 c #Conflicts: 155000 | #Constraints: 439597
973.57/976.60 c INPROCESSING
973.57/976.60 c GARBAGE COLLECT
973.57/976.60 c #Conflicts: 156000 | #Constraints: 432801
973.57/976.60 c #Conflicts: 157000 | #Constraints: 433801
973.57/976.60 c #Conflicts: 158000 | #Constraints: 434801
1413.14/1417.39 c #Conflicts: 159000 | #Constraints: 435801
1413.14/1417.39 c #Conflicts: 160000 | #Constraints: 436801
1413.14/1417.39 c #Conflicts: 161000 | #Constraints: 437801
1413.14/1417.39 c #Conflicts: 162000 | #Constraints: 438801
1413.14/1417.39 c #Conflicts: 163000 | #Constraints: 439801
1413.14/1417.39 c INPROCESSING
1413.14/1417.39 c GARBAGE COLLECT
1413.14/1417.39 c #Conflicts: 164000 | #Constraints: 432802
1413.14/1417.39 c #Conflicts: 165000 | #Constraints: 433802
1413.14/1417.39 c #Conflicts: 166000 | #Constraints: 434802
1413.14/1417.39 c #Conflicts: 167000 | #Constraints: 435802
1413.14/1417.39 c #Conflicts: 168000 | #Constraints: 436802
1413.14/1417.39 c #Conflicts: 169000 | #Constraints: 437802
1413.14/1417.39 c #Conflicts: 170000 | #Constraints: 438802
1413.14/1417.39 c #Conflicts: 171000 | #Constraints: 439802
1413.14/1417.39 c INPROCESSING
1413.14/1417.39 c GARBAGE COLLECT
1413.14/1417.39 c #Conflicts: 172000 | #Constraints: 432600
1413.14/1417.39 c #Conflicts: 173000 | #Constraints: 433600
1413.14/1417.39 c #Conflicts: 174000 | #Constraints: 434600
1413.14/1417.39 c #Conflicts: 175000 | #Constraints: 435600
1413.14/1417.39 c #Conflicts: 176000 | #Constraints: 436600
1413.14/1417.39 c #Conflicts: 177000 | #Constraints: 437600
1413.14/1417.39 c #Conflicts: 178000 | #Constraints: 438600
1413.14/1417.39 c #Conflicts: 179000 | #Constraints: 439600
1413.14/1417.39 c #Conflicts: 180000 | #Constraints: 440600
1413.14/1417.39 c INPROCESSING
1413.14/1417.39 c GARBAGE COLLECT
1413.14/1417.39 c #Conflicts: 181000 | #Constraints: 433196
1413.14/1417.39 c #Conflicts: 182000 | #Constraints: 434196
1413.14/1417.39 c #Conflicts: 183000 | #Constraints: 435196
1413.14/1417.39 c #Conflicts: 184000 | #Constraints: 436196
1413.14/1417.39 c #Conflicts: 185000 | #Constraints: 437196
1413.14/1417.39 c #Conflicts: 186000 | #Constraints: 438196
1413.14/1417.39 c #Conflicts: 187000 | #Constraints: 439196
1413.14/1417.39 c #Conflicts: 188000 | #Constraints: 440196
1413.14/1417.39 c #Conflicts: 189000 | #Constraints: 441196
1413.14/1417.39 c INPROCESSING
1413.14/1417.39 c GARBAGE COLLECT
1413.14/1417.39 c #Conflicts: 190000 | #Constraints: 433606
1413.14/1417.39 c #Conflicts: 191000 | #Constraints: 434606
1413.14/1417.39 c #Conflicts: 192000 | #Constraints: 435606
1413.14/1417.39 c #Conflicts: 193000 | #Constraints: 436606
1413.14/1417.39 c #Conflicts: 194000 | #Constraints: 437606
1413.14/1417.39 c #Conflicts: 195000 | #Constraints: 438606
1413.14/1417.39 c #Conflicts: 196000 | #Constraints: 439606
1413.14/1417.39 c #Conflicts: 197000 | #Constraints: 440606
1413.14/1417.39 c #Conflicts: 198000 | #Constraints: 441606
1413.14/1417.39 c INPROCESSING
1413.14/1417.39 c GARBAGE COLLECT
1413.14/1417.39 c #Conflicts: 199000 | #Constraints: 433805
1413.14/1417.39 c #Conflicts: 200000 | #Constraints: 434805
1413.14/1417.39 c #Conflicts: 201000 | #Constraints: 435805
1413.14/1417.39 c #Conflicts: 202000 | #Constraints: 436805
1413.14/1417.39 c #Conflicts: 203000 | #Constraints: 437805
1413.14/1417.39 c #Conflicts: 204000 | #Constraints: 438805
1413.14/1417.39 c #Conflicts: 205000 | #Constraints: 439805
1413.14/1417.39 c #Conflicts: 206000 | #Constraints: 440805
1413.14/1417.39 c #Conflicts: 207000 | #Constraints: 441805
1413.14/1417.39 c INPROCESSING
1413.14/1417.39 c GARBAGE COLLECT
1413.14/1417.39 c #Conflicts: 208000 | #Constraints: 433809
1413.14/1417.39 c #Conflicts: 209000 | #Constraints: 434809
1413.14/1417.39 c #Conflicts: 210000 | #Constraints: 435809
1413.14/1417.39 c #Conflicts: 211000 | #Constraints: 436809
1413.14/1417.39 c #Conflicts: 212000 | #Constraints: 437809
1413.14/1417.39 c #Conflicts: 213000 | #Constraints: 438809
1413.14/1417.39 c #Conflicts: 214000 | #Constraints: 439809
1413.14/1417.39 c #Conflicts: 215000 | #Constraints: 440809
1413.14/1417.39 c #Conflicts: 216000 | #Constraints: 441809
1413.14/1417.39 c INPROCESSING
1413.14/1417.39 c GARBAGE COLLECT
1413.14/1417.39 c #Conflicts: 217000 | #Constraints: 433606
1413.14/1417.39 c #Conflicts: 218000 | #Constraints: 434606
1413.14/1417.39 c #Conflicts: 219000 | #Constraints: 435606
1413.14/1417.39 c #Conflicts: 220000 | #Constraints: 436606
1413.14/1417.39 c #Conflicts: 221000 | #Constraints: 437606
1413.14/1417.39 c #Conflicts: 222000 | #Constraints: 438606
1413.14/1417.39 c #Conflicts: 223000 | #Constraints: 439606
1413.14/1417.39 c #Conflicts: 224000 | #Constraints: 440606
1413.14/1417.39 c #Conflicts: 225000 | #Constraints: 441606
1413.14/1417.39 c #Conflicts: 226000 | #Constraints: 442606
1413.14/1417.39 c INPROCESSING
1413.14/1417.39 c GARBAGE COLLECT
1413.14/1417.39 c #Conflicts: 227000 | #Constraints: 434205
1413.14/1417.39 c #Conflicts: 228000 | #Constraints: 435205
1413.14/1417.39 c #Conflicts: 229000 | #Constraints: 436205
1413.14/1417.39 c #Conflicts: 230000 | #Constraints: 437205
1413.14/1417.39 c #Conflicts: 231000 | #Constraints: 438205
1890.13/1895.61 c #Conflicts: 232000 | #Constraints: 439205
1890.13/1895.61 c #Conflicts: 233000 | #Constraints: 440205
1890.13/1895.61 c #Conflicts: 234000 | #Constraints: 441205
1890.13/1895.61 c #Conflicts: 235000 | #Constraints: 442205
1890.13/1895.61 c #Conflicts: 236000 | #Constraints: 443205
1890.13/1895.61 c INPROCESSING
1890.13/1895.61 c GARBAGE COLLECT
1890.13/1895.61 c #Conflicts: 237000 | #Constraints: 434599
1890.13/1895.61 c #Conflicts: 238000 | #Constraints: 435599
1890.13/1895.61 c #Conflicts: 239000 | #Constraints: 436599
1890.13/1895.61 c #Conflicts: 240000 | #Constraints: 437599
1890.13/1895.61 c #Conflicts: 241000 | #Constraints: 438599
1890.13/1895.61 c #Conflicts: 242000 | #Constraints: 439599
1890.13/1895.61 c #Conflicts: 243000 | #Constraints: 440599
1890.13/1895.61 c #Conflicts: 244000 | #Constraints: 441599
1890.13/1895.61 c #Conflicts: 245000 | #Constraints: 442599
1890.13/1895.61 c #Conflicts: 246000 | #Constraints: 443599
1890.13/1895.61 c INPROCESSING
1890.13/1895.61 c GARBAGE COLLECT
1890.13/1895.61 c #Conflicts: 247000 | #Constraints: 434801
1890.13/1895.61 c #Conflicts: 248000 | #Constraints: 435801
1890.13/1895.61 c #Conflicts: 249000 | #Constraints: 436801
1890.13/1895.61 c #Conflicts: 250000 | #Constraints: 437801
1890.13/1895.61 c #Conflicts: 251000 | #Constraints: 438801
1890.13/1895.61 c #Conflicts: 252000 | #Constraints: 439801
1890.13/1895.61 c #Conflicts: 253000 | #Constraints: 440801
1890.13/1895.61 c #Conflicts: 254000 | #Constraints: 441801
1890.13/1895.61 c #Conflicts: 255000 | #Constraints: 442801
1890.13/1895.61 c #Conflicts: 256000 | #Constraints: 443801
1890.13/1895.61 c INPROCESSING
1890.13/1895.61 c GARBAGE COLLECT
1890.13/1895.61 c #Conflicts: 257000 | #Constraints: 434803
1890.13/1895.61 c #Conflicts: 258000 | #Constraints: 435803
1890.13/1895.61 c #Conflicts: 259000 | #Constraints: 436803
1890.13/1895.61 c #Conflicts: 260000 | #Constraints: 437803
1890.13/1895.61 c #Conflicts: 261000 | #Constraints: 438803
1890.13/1895.61 c #Conflicts: 262000 | #Constraints: 439803
1890.13/1895.61 c #Conflicts: 263000 | #Constraints: 440803
1890.13/1895.61 c #Conflicts: 264000 | #Constraints: 441803
1890.13/1895.61 c #Conflicts: 265000 | #Constraints: 442803
1890.13/1895.61 c #Conflicts: 266000 | #Constraints: 443803
1890.13/1895.61 c INPROCESSING
1890.13/1895.61 c GARBAGE COLLECT
1890.13/1895.61 c #Conflicts: 267000 | #Constraints: 434603
1890.13/1895.61 c #Conflicts: 268000 | #Constraints: 435603
1890.13/1895.61 c #Conflicts: 269000 | #Constraints: 436603
1890.13/1895.61 c #Conflicts: 270000 | #Constraints: 437603
1890.13/1895.61 c #Conflicts: 271000 | #Constraints: 438603
1890.13/1895.61 c #Conflicts: 272000 | #Constraints: 439603
1890.13/1895.61 c #Conflicts: 273000 | #Constraints: 440603
1890.13/1895.61 c #Conflicts: 274000 | #Constraints: 441603
1890.13/1895.61 c #Conflicts: 275000 | #Constraints: 442603
1890.13/1895.61 c #Conflicts: 276000 | #Constraints: 443603
1890.13/1895.61 c #Conflicts: 277000 | #Constraints: 444603
1890.13/1895.61 c INPROCESSING
1890.13/1895.61 c GARBAGE COLLECT
1890.13/1895.61 c #Conflicts: 278000 | #Constraints: 435198
1890.13/1895.61 c #Conflicts: 279000 | #Constraints: 436198
1890.13/1895.61 c #Conflicts: 280000 | #Constraints: 437198
1890.13/1895.61 c #Conflicts: 281000 | #Constraints: 438198
1890.13/1895.61 c #Conflicts: 282000 | #Constraints: 439198
1890.13/1895.61 c #Conflicts: 283000 | #Constraints: 440198
1890.13/1895.61 c #Conflicts: 284000 | #Constraints: 441198
1890.13/1895.61 c #Conflicts: 285000 | #Constraints: 442198
1890.13/1895.61 c #Conflicts: 286000 | #Constraints: 443198
1890.13/1895.61 c #Conflicts: 287000 | #Constraints: 444198
1890.13/1895.61 c #Conflicts: 288000 | #Constraints: 445198
1890.13/1895.61 c INPROCESSING
1890.13/1895.61 c GARBAGE COLLECT
1890.13/1895.61 c #Conflicts: 289000 | #Constraints: 435600
1890.13/1895.61 c #Conflicts: 290000 | #Constraints: 436600
1890.13/1895.61 c #Conflicts: 291000 | #Constraints: 437600
1890.13/1895.61 c #Conflicts: 292000 | #Constraints: 438600
1890.13/1895.61 c #Conflicts: 293000 | #Constraints: 439600
1890.13/1895.61 c #Conflicts: 294000 | #Constraints: 440600
1890.13/1895.61 c #Conflicts: 295000 | #Constraints: 441600
1890.13/1895.61 c #Conflicts: 296000 | #Constraints: 442600
1890.13/1895.61 c #Conflicts: 297000 | #Constraints: 443600
1890.13/1895.61 c #Conflicts: 298000 | #Constraints: 444600
1890.13/1895.61 c #Conflicts: 299000 | #Constraints: 445600
1890.13/1895.61 c INPROCESSING
1890.13/1895.61 c GARBAGE COLLECT
1890.13/1895.61 c #Conflicts: 300000 | #Constraints: 435800
1890.13/1895.61 c #Conflicts: 301000 | #Constraints: 436800
1890.13/1895.61 c #Conflicts: 302000 | #Constraints: 437800
1890.13/1895.61 c #Conflicts: 303000 | #Constraints: 438800
1890.13/1895.61 c #Conflicts: 304000 | #Constraints: 439800
1890.13/1895.61 c #Conflicts: 305000 | #Constraints: 440800
1890.13/1895.61 c #Conflicts: 306000 | #Constraints: 441800
2435.87/2442.96 c #Conflicts: 307000 | #Constraints: 442800
2435.87/2442.96 c #Conflicts: 308000 | #Constraints: 443800
2435.87/2442.96 c #Conflicts: 309000 | #Constraints: 444800
2435.87/2442.96 c #Conflicts: 310000 | #Constraints: 445800
2435.87/2442.96 c INPROCESSING
2435.87/2442.96 c GARBAGE COLLECT
2435.87/2442.96 c #Conflicts: 311000 | #Constraints: 435802
2435.87/2442.96 c #Conflicts: 312000 | #Constraints: 436802
2435.87/2442.96 c #Conflicts: 313000 | #Constraints: 437802
2435.87/2442.96 c #Conflicts: 314000 | #Constraints: 438802
2435.87/2442.96 c #Conflicts: 315000 | #Constraints: 439802
2435.87/2442.96 c #Conflicts: 316000 | #Constraints: 440802
2435.87/2442.96 c #Conflicts: 317000 | #Constraints: 441802
2435.87/2442.96 c #Conflicts: 318000 | #Constraints: 442802
2435.87/2442.96 c #Conflicts: 319000 | #Constraints: 443802
2435.87/2442.96 c #Conflicts: 320000 | #Constraints: 444802
2435.87/2442.96 c #Conflicts: 321000 | #Constraints: 445802
2435.87/2442.96 c INPROCESSING
2435.87/2442.96 c GARBAGE COLLECT
2435.87/2442.96 c #Conflicts: 322000 | #Constraints: 435604
2435.87/2442.96 c #Conflicts: 323000 | #Constraints: 436604
2435.87/2442.96 c #Conflicts: 324000 | #Constraints: 437604
2435.87/2442.96 c #Conflicts: 325000 | #Constraints: 438604
2435.87/2442.96 c #Conflicts: 326000 | #Constraints: 439604
2435.87/2442.96 c #Conflicts: 327000 | #Constraints: 440604
2435.87/2442.96 c #Conflicts: 328000 | #Constraints: 441604
2435.87/2442.96 c #Conflicts: 329000 | #Constraints: 442604
2435.87/2442.96 c #Conflicts: 330000 | #Constraints: 443604
2435.87/2442.96 c #Conflicts: 331000 | #Constraints: 444604
2435.87/2442.96 c #Conflicts: 332000 | #Constraints: 445604
2435.87/2442.96 c #Conflicts: 333000 | #Constraints: 446604
2435.87/2442.96 c INPROCESSING
2435.87/2442.96 c GARBAGE COLLECT
2435.87/2442.96 c #Conflicts: 334000 | #Constraints: 436203
2435.87/2442.96 c #Conflicts: 335000 | #Constraints: 437203
2435.87/2442.96 c #Conflicts: 336000 | #Constraints: 438203
2435.87/2442.96 c #Conflicts: 337000 | #Constraints: 439203
2435.87/2442.96 c #Conflicts: 338000 | #Constraints: 440203
2435.87/2442.96 c #Conflicts: 339000 | #Constraints: 441203
2435.87/2442.96 c #Conflicts: 340000 | #Constraints: 442203
2435.87/2442.96 c #Conflicts: 341000 | #Constraints: 443203
2435.87/2442.96 c #Conflicts: 342000 | #Constraints: 444203
2435.87/2442.96 c #Conflicts: 343000 | #Constraints: 445203
2435.87/2442.96 c #Conflicts: 344000 | #Constraints: 446203
2435.87/2442.96 c #Conflicts: 345000 | #Constraints: 447203
2435.87/2442.96 c INPROCESSING
2435.87/2442.96 c GARBAGE COLLECT
2435.87/2442.96 c #Conflicts: 346000 | #Constraints: 436600
2435.87/2442.96 c #Conflicts: 347000 | #Constraints: 437600
2435.87/2442.96 c #Conflicts: 348000 | #Constraints: 438600
2435.87/2442.96 c #Conflicts: 349000 | #Constraints: 439600
2435.87/2442.96 c #Conflicts: 350000 | #Constraints: 440600
2435.87/2442.96 c #Conflicts: 351000 | #Constraints: 441600
2435.87/2442.96 c #Conflicts: 352000 | #Constraints: 442600
2435.87/2442.96 c #Conflicts: 353000 | #Constraints: 443600
2435.87/2442.96 c #Conflicts: 354000 | #Constraints: 444600
2435.87/2442.96 c #Conflicts: 355000 | #Constraints: 445600
2435.87/2442.96 c #Conflicts: 356000 | #Constraints: 446600
2435.87/2442.96 c #Conflicts: 357000 | #Constraints: 447600
2435.87/2442.96 c INPROCESSING
2435.87/2442.96 c GARBAGE COLLECT
2435.87/2442.96 c #Conflicts: 358000 | #Constraints: 436801
2435.87/2442.96 c #Conflicts: 359000 | #Constraints: 437801
2435.87/2442.96 c #Conflicts: 360000 | #Constraints: 438801
2435.87/2442.96 c #Conflicts: 361000 | #Constraints: 439801
2435.87/2442.96 c #Conflicts: 362000 | #Constraints: 440801
2435.87/2442.96 c #Conflicts: 363000 | #Constraints: 441801
2435.87/2442.96 c #Conflicts: 364000 | #Constraints: 442801
2435.87/2442.96 c #Conflicts: 365000 | #Constraints: 443801
2435.87/2442.96 c #Conflicts: 366000 | #Constraints: 444801
2435.87/2442.96 c #Conflicts: 367000 | #Constraints: 445801
2435.87/2442.96 c #Conflicts: 368000 | #Constraints: 446801
2435.87/2442.96 c #Conflicts: 369000 | #Constraints: 447801
2435.87/2442.96 c INPROCESSING
2435.87/2442.96 c GARBAGE COLLECT
2435.87/2442.96 c #Conflicts: 370000 | #Constraints: 436802
2435.87/2442.96 c #Conflicts: 371000 | #Constraints: 437802
2435.87/2442.96 c #Conflicts: 372000 | #Constraints: 438802
2435.87/2442.96 c #Conflicts: 373000 | #Constraints: 439802
2435.87/2442.96 c #Conflicts: 374000 | #Constraints: 440802
2435.87/2442.96 c #Conflicts: 375000 | #Constraints: 441802
2435.87/2442.96 c #Conflicts: 376000 | #Constraints: 442802
2435.87/2442.96 c #Conflicts: 377000 | #Constraints: 443802
2435.87/2442.96 c #Conflicts: 378000 | #Constraints: 444802
2435.87/2442.96 c #Conflicts: 379000 | #Constraints: 445802
2435.87/2442.96 c #Conflicts: 380000 | #Constraints: 446802
2435.87/2442.96 c #Conflicts: 381000 | #Constraints: 447802
3027.87/3036.63 c INPROCESSING
3027.87/3036.63 c GARBAGE COLLECT
3027.87/3036.63 c #Conflicts: 382000 | #Constraints: 436601
3027.87/3036.63 c #Conflicts: 383000 | #Constraints: 437601
3027.87/3036.63 c #Conflicts: 384000 | #Constraints: 438601
3027.87/3036.63 c #Conflicts: 385000 | #Constraints: 439601
3027.87/3036.63 c #Conflicts: 386000 | #Constraints: 440601
3027.87/3036.63 c #Conflicts: 387000 | #Constraints: 441601
3027.87/3036.63 c #Conflicts: 388000 | #Constraints: 442601
3027.87/3036.63 c #Conflicts: 389000 | #Constraints: 443601
3027.87/3036.63 c #Conflicts: 390000 | #Constraints: 444601
3027.87/3036.63 c #Conflicts: 391000 | #Constraints: 445601
3027.87/3036.63 c #Conflicts: 392000 | #Constraints: 446601
3027.87/3036.63 c #Conflicts: 393000 | #Constraints: 447601
3027.87/3036.63 c #Conflicts: 394000 | #Constraints: 448601
3027.87/3036.63 c INPROCESSING
3027.87/3036.63 c GARBAGE COLLECT
3027.87/3036.63 c #Conflicts: 395000 | #Constraints: 437199
3027.87/3036.63 c #Conflicts: 396000 | #Constraints: 438199
3027.87/3036.63 c #Conflicts: 397000 | #Constraints: 439199
3027.87/3036.63 c #Conflicts: 398000 | #Constraints: 440199
3027.87/3036.63 c #Conflicts: 399000 | #Constraints: 441199
3027.87/3036.63 c #Conflicts: 400000 | #Constraints: 442199
3027.87/3036.63 c #Conflicts: 401000 | #Constraints: 443199
3027.87/3036.63 c #Conflicts: 402000 | #Constraints: 444199
3027.87/3036.63 c #Conflicts: 403000 | #Constraints: 445199
3027.87/3036.63 c #Conflicts: 404000 | #Constraints: 446199
3027.87/3036.63 c #Conflicts: 405000 | #Constraints: 447199
3027.87/3036.63 c #Conflicts: 406000 | #Constraints: 448199
3027.87/3036.63 c #Conflicts: 407000 | #Constraints: 449199
3027.87/3036.63 c INPROCESSING
3027.87/3036.63 c GARBAGE COLLECT
3027.87/3036.63 c #Conflicts: 408000 | #Constraints: 437602
3027.87/3036.63 c #Conflicts: 409000 | #Constraints: 438602
3027.87/3036.63 c #Conflicts: 410000 | #Constraints: 439602
3027.87/3036.63 c #Conflicts: 411000 | #Constraints: 440602
3027.87/3036.63 c #Conflicts: 412000 | #Constraints: 441602
3027.87/3036.63 c #Conflicts: 413000 | #Constraints: 442602
3027.87/3036.63 c #Conflicts: 414000 | #Constraints: 443602
3027.87/3036.63 c #Conflicts: 415000 | #Constraints: 444602
3027.87/3036.63 c #Conflicts: 416000 | #Constraints: 445602
3027.87/3036.63 c #Conflicts: 417000 | #Constraints: 446602
3027.87/3036.63 c #Conflicts: 418000 | #Constraints: 447602
3027.87/3036.63 c #Conflicts: 419000 | #Constraints: 448602
3027.87/3036.63 c #Conflicts: 420000 | #Constraints: 449602
3027.87/3036.63 c INPROCESSING
3027.87/3036.63 c GARBAGE COLLECT
3027.87/3036.63 c #Conflicts: 421000 | #Constraints: 437807
3027.87/3036.63 c #Conflicts: 422000 | #Constraints: 438807
3027.87/3036.63 c #Conflicts: 423000 | #Constraints: 439807
3027.87/3036.63 c #Conflicts: 424000 | #Constraints: 440807
3027.87/3036.63 c #Conflicts: 425000 | #Constraints: 441807
3027.87/3036.63 c #Conflicts: 426000 | #Constraints: 442807
3027.87/3036.63 c #Conflicts: 427000 | #Constraints: 443807
3027.87/3036.63 c #Conflicts: 428000 | #Constraints: 444807
3027.87/3036.63 c #Conflicts: 429000 | #Constraints: 445807
3027.87/3036.63 c #Conflicts: 430000 | #Constraints: 446807
3027.87/3036.63 c #Conflicts: 431000 | #Constraints: 447807
3027.87/3036.63 c #Conflicts: 432000 | #Constraints: 448807
3027.87/3036.63 c #Conflicts: 433000 | #Constraints: 449807
3027.87/3036.63 c INPROCESSING
3027.87/3036.63 c GARBAGE COLLECT
3027.87/3036.63 c #Conflicts: 434000 | #Constraints: 437804
3027.87/3036.63 c #Conflicts: 435000 | #Constraints: 438804
3027.87/3036.63 c #Conflicts: 436000 | #Constraints: 439804
3027.87/3036.63 c #Conflicts: 437000 | #Constraints: 440804
3027.87/3036.63 c #Conflicts: 438000 | #Constraints: 441804
3027.87/3036.63 c #Conflicts: 439000 | #Constraints: 442804
3027.87/3036.63 c #Conflicts: 440000 | #Constraints: 443804
3027.87/3036.63 c #Conflicts: 441000 | #Constraints: 444804
3027.87/3036.63 c #Conflicts: 442000 | #Constraints: 445804
3027.87/3036.63 c #Conflicts: 443000 | #Constraints: 446804
3027.87/3036.63 c #Conflicts: 444000 | #Constraints: 447804
3027.87/3036.63 c #Conflicts: 445000 | #Constraints: 448804
3027.87/3036.63 c #Conflicts: 446000 | #Constraints: 449804
3027.87/3036.63 c INPROCESSING
3027.87/3036.63 c GARBAGE COLLECT
3027.87/3036.63 c #Conflicts: 447000 | #Constraints: 437609
3027.87/3036.63 c #Conflicts: 448000 | #Constraints: 438609
3027.87/3036.63 c #Conflicts: 449000 | #Constraints: 439609
3027.87/3036.63 c #Conflicts: 450000 | #Constraints: 440609
3027.87/3036.63 c #Conflicts: 451000 | #Constraints: 441609
3027.87/3036.63 c #Conflicts: 452000 | #Constraints: 442609
3027.87/3036.63 c #Conflicts: 453000 | #Constraints: 443609
3027.87/3036.63 c #Conflicts: 454000 | #Constraints: 444609
3027.87/3036.63 c #Conflicts: 455000 | #Constraints: 445609
3544.64/3555.00 c #Conflicts: 456000 | #Constraints: 446609
3544.64/3555.00 c #Conflicts: 457000 | #Constraints: 447609
3544.64/3555.00 c #Conflicts: 458000 | #Constraints: 448609
3544.64/3555.00 c #Conflicts: 459000 | #Constraints: 449609
3544.64/3555.00 c #Conflicts: 460000 | #Constraints: 450609
3544.64/3555.00 c INPROCESSING
3544.64/3555.00 c GARBAGE COLLECT
3544.64/3555.00 c #Conflicts: 461000 | #Constraints: 438208
3544.64/3555.00 c #Conflicts: 462000 | #Constraints: 439208
3544.64/3555.00 c #Conflicts: 463000 | #Constraints: 440208
3544.64/3555.00 c #Conflicts: 464000 | #Constraints: 441208
3544.64/3555.00 c #Conflicts: 465000 | #Constraints: 442208
3544.64/3555.00 c #Conflicts: 466000 | #Constraints: 443208
3544.64/3555.00 c #Conflicts: 467000 | #Constraints: 444208
3544.64/3555.00 c #Conflicts: 468000 | #Constraints: 445208
3544.64/3555.00 c #Conflicts: 469000 | #Constraints: 446208
3544.64/3555.00 c #Conflicts: 470000 | #Constraints: 447208
3544.64/3555.00 c #Conflicts: 471000 | #Constraints: 448208
3544.64/3555.00 c #Conflicts: 472000 | #Constraints: 449208
3544.64/3555.00 c #Conflicts: 473000 | #Constraints: 450208
3544.64/3555.00 c #Conflicts: 474000 | #Constraints: 451208
3544.64/3555.00 c INPROCESSING
3544.64/3555.00 c GARBAGE COLLECT
3544.64/3555.00 c #Conflicts: 475000 | #Constraints: 438611
3544.64/3555.00 c #Conflicts: 476000 | #Constraints: 439611
3544.64/3555.00 c #Conflicts: 477000 | #Constraints: 440611
3544.64/3555.00 c #Conflicts: 478000 | #Constraints: 441611
3544.64/3555.00 c #Conflicts: 479000 | #Constraints: 442611
3544.64/3555.00 c #Conflicts: 480000 | #Constraints: 443611
3544.64/3555.00 c #Conflicts: 481000 | #Constraints: 444611
3544.64/3555.00 c #Conflicts: 482000 | #Constraints: 445611
3544.64/3555.00 c #Conflicts: 483000 | #Constraints: 446611
3544.64/3555.00 c #Conflicts: 484000 | #Constraints: 447611
3544.64/3555.00 c #Conflicts: 485000 | #Constraints: 448611
3544.64/3555.00 c #Conflicts: 486000 | #Constraints: 449611
3544.64/3555.00 c #Conflicts: 487000 | #Constraints: 450611
3544.64/3555.00 c #Conflicts: 488000 | #Constraints: 451611
3544.64/3555.00 c INPROCESSING
3544.64/3555.00 c GARBAGE COLLECT
3544.64/3555.00 c #Conflicts: 489000 | #Constraints: 438806
3544.64/3555.00 c #Conflicts: 490000 | #Constraints: 439806
3544.64/3555.00 c #Conflicts: 491000 | #Constraints: 440806
3544.64/3555.00 c #Conflicts: 492000 | #Constraints: 441806
3544.64/3555.00 c #Conflicts: 493000 | #Constraints: 442806
3544.64/3555.00 c #Conflicts: 494000 | #Constraints: 443806
3544.64/3555.00 c #Conflicts: 495000 | #Constraints: 444806
3544.64/3555.00 c #Conflicts: 496000 | #Constraints: 445806
3544.64/3555.00 c #Conflicts: 497000 | #Constraints: 446806
3544.64/3555.00 c #Conflicts: 498000 | #Constraints: 447806
3544.64/3555.00 c #Conflicts: 499000 | #Constraints: 448806
3544.64/3555.00 c #Conflicts: 500000 | #Constraints: 449806
3544.64/3555.00 c #Conflicts: 501000 | #Constraints: 450806
3544.64/3555.00 c #Conflicts: 502000 | #Constraints: 451806
3544.64/3555.00 c INPROCESSING
3544.64/3555.00 c GARBAGE COLLECT
3544.64/3555.00 c #Conflicts: 503000 | #Constraints: 438809
3544.64/3555.00 c #Conflicts: 504000 | #Constraints: 439809
3544.64/3555.00 c #Conflicts: 505000 | #Constraints: 440809
3544.64/3555.00 c #Conflicts: 506000 | #Constraints: 441809
3544.64/3555.00 c #Conflicts: 507000 | #Constraints: 442809
3544.64/3555.00 c #Conflicts: 508000 | #Constraints: 443809
3544.64/3555.00 c #Conflicts: 509000 | #Constraints: 444809
3544.64/3555.00 c #Conflicts: 510000 | #Constraints: 445809
3544.64/3555.00 c #Conflicts: 511000 | #Constraints: 446809
3544.64/3555.00 c #Conflicts: 512000 | #Constraints: 447809
3544.64/3555.00 c #Conflicts: 513000 | #Constraints: 448809
3544.64/3555.00 c #Conflicts: 514000 | #Constraints: 449809
3544.64/3555.00 c #Conflicts: 515000 | #Constraints: 450809
3544.64/3555.00 c #Conflicts: 516000 | #Constraints: 451809
3544.64/3555.00 c INPROCESSING
3544.64/3555.00 c GARBAGE COLLECT
3544.64/3555.00 c #Conflicts: 517000 | #Constraints: 438604
3544.64/3555.00 c #Conflicts: 518000 | #Constraints: 439604
3544.64/3555.00 c #Conflicts: 519000 | #Constraints: 440604
3544.64/3555.00 c #Conflicts: 520000 | #Constraints: 441604
3544.64/3555.00 c #Conflicts: 521000 | #Constraints: 442604
3544.64/3555.00 c #Conflicts: 522000 | #Constraints: 443604
3544.64/3555.00 c #Conflicts: 523000 | #Constraints: 444604
3544.64/3555.00 c #Conflicts: 524000 | #Constraints: 445604
3544.64/3555.00 c #Conflicts: 525000 | #Constraints: 446604
3544.64/3555.00 c #Conflicts: 526000 | #Constraints: 447604
3544.64/3555.00 c #Conflicts: 527000 | #Constraints: 448604
3544.64/3555.00 c #Conflicts: 528000 | #Constraints: 449604
3544.64/3555.00 c #Conflicts: 529000 | #Constraints: 450604
3544.64/3555.00 c #Conflicts: 530000 | #Constraints: 451604
3544.64/3555.00 c #Conflicts: 531000 | #Constraints: 452604
3600.08/3610.50 c INPROCESSING
3600.08/3610.50 c GARBAGE COLLECT
3600.08/3610.50 c #Conflicts: 532000 | #Constraints: 439211
3600.08/3610.50 c #Conflicts: 533000 | #Constraints: 440211
3600.08/3610.50 c #Conflicts: 534000 | #Constraints: 441211
3600.08/3610.50 c #Conflicts: 535000 | #Constraints: 442211
3600.08/3610.50 c #Conflicts: 536000 | #Constraints: 443211
3600.08/3610.50 c #Conflicts: 537000 | #Constraints: 444211
3600.08/3610.50 c #Conflicts: 538000 | #Constraints: 445211
3600.08/3610.50 c #Conflicts: 539000 | #Constraints: 446211
3600.08/3610.50 c #Conflicts: 540000 | #Constraints: 447211
3600.08/3610.50 c Program interrupted by user.
3600.08/3610.50 c cpu time 3595.5 s
3600.08/3610.50 c deterministic time 97548530754 9.75e+10
3600.08/3610.50 c optimization time 53.9938 s
3600.08/3610.50 c total solve time 3239.67 s
3600.08/3610.50 c core-guided solve time 3239.67 s
3600.08/3610.50 c propagation time 1226.78 s
3600.08/3610.50 c conflict analysis time 2003.75 s
3600.08/3610.50 c propagations 327494743
3600.08/3610.50 c resolve steps 43672076
3600.08/3610.50 c decisions 690562
3600.08/3610.50 c conflicts 540049
3600.08/3610.50 c restarts 1119
3600.08/3610.50 c inprocessing phases 64
3600.08/3610.50 c input clauses 423981
3600.08/3610.50 c input cardinalities 926
3600.08/3610.50 c input general constraints 0
3600.08/3610.50 c input average constraint length 9.87
3600.08/3610.50 c input average constraint degree 2.01
3600.08/3610.50 c learned clauses 527159
3600.08/3610.50 c learned cardinalities 370
3600.08/3610.50 c learned general constraints 12570
3600.08/3610.50 c learned average constraint length 1248.08
3600.08/3610.50 c learned average constraint degree 32.26
3600.08/3610.50 c watched constraints 3165
3600.08/3610.50 c counting constraints 9405
3600.08/3610.50 c gcd simplifications 196220
3600.08/3610.50 c detected cardinalities 1
3600.08/3610.50 c weakened non-implied lits 861094640
3600.08/3610.50 c weakened non-implying lits 2532890
3600.08/3610.50 c original variables 3741
3600.08/3610.50 c clausal propagations 109364823
3600.08/3610.50 c cardinality propagations 656206
3600.08/3610.50 c watched propagations 15747
3600.08/3610.50 c counting propagations 215924590
3600.08/3610.50 c watch lookups 33175036664
3600.08/3610.50 c watch backjump lookups 30031703447
3600.08/3610.50 c watch checks 25046819952
3600.08/3610.50 c propagation checks 5000588317
3600.08/3610.50 c constraint additions 3637474342
3600.08/3610.50 c trail pops 328722726
3600.08/3610.50 c formula constraints 423980
3600.08/3610.50 c learned constraints 540099
3600.08/3610.50 c bound constraints 927
3600.08/3610.50 c core-guided constraints 0
3600.08/3610.50 c encountered formula constraints 42693767
3600.08/3610.50 c encountered learned constraints 1517430
3600.08/3610.50 c encountered bound constraints 928
3600.08/3610.50 c encountered core-guided constraints 0
3600.08/3610.50 c LP total time 0 s
3600.08/3610.50 c LP solve time 0 s
3600.08/3610.50 c LP constraints added 0
3600.08/3610.50 c LP constraints removed 0
3600.08/3610.50 c LP pivots internal 0
3600.08/3610.50 c LP pivots root 0
3600.08/3610.50 c LP calls 0
3600.08/3610.50 c LP optimalities 0
3600.08/3610.50 c LP no pivot count 0
3600.08/3610.50 c LP infeasibilities 0
3600.08/3610.50 c LP valid Farkas constraints 0
3600.08/3610.50 c LP learned Farkas constraints 0
3600.08/3610.50 c LP basis resets 0
3600.08/3610.50 c LP cycling count 0
3600.08/3610.50 c LP singular count 0
3600.08/3610.50 c LP no primal count 0
3600.08/3610.50 c LP no farkas count 0
3600.08/3610.50 c LP other issue count 0
3600.08/3610.50 c LP Gomory cuts 0
3600.08/3610.50 c LP learned cuts 0
3600.08/3610.50 c LP deleted cuts 0
3600.08/3610.50 c LP encountered Gomory constraints 0
3600.08/3610.50 c LP encountered Farkas constraints 0
3600.08/3610.50 c LP encountered learned Farkas constraints 0
3600.08/3610.50 c CG auxiliary variables introduced 0
3600.08/3610.50 c CG solutions found 0
3600.08/3610.50 c CG cores constructed 926
3600.08/3610.50 c CG core cardinality constraints returned 0
3600.08/3610.50 c CG unit cores 0
3600.08/3610.50 c CG single cores 926
3600.08/3610.50 c CG blocks removed during cardinality reduction 0
3600.08/3610.50 c CG first core best 0
3600.08/3610.50 c CG decision core best 0
3600.08/3610.50 c CG core reduction tie 0
3600.08/3610.50 c CG core degree average 1.00
3600.08/3610.50 c CG core slack average 2.40
3600.08/3610.50 c CG exhausted 0
3600.08/3610.50 c CG exhaust time 0 s
3600.08/3610.50 c CG trimmed 0
3600.08/3610.50 c CG trim time 0.023148 s
3600.08/3610.50 c CG minimized 0
3600.08/3610.50 c CG minimize time 0 s
3600.08/3610.50 c CG am1 prop time 0.018873 s
3600.08/3610.50 c CG # am1s reformulated 0
3600.08/3610.50 c CG lower bound derived from am1s 0
3600.08/3610.50 c CG # clausal cores 926
3600.08/3610.50 c CG # cardinality cores 0
3600.08/3610.50 c CG # pb cores 0
3600.08/3610.50 c CG # pb reforms 0
3600.08/3610.50 c CG # cores discarded because of pb reform 0
3600.08/3610.50 d LOWERBOUND -2227
3600.08/3610.50 d NCORES 926
3600.08/3610.50 d NPBCORES 0
3600.08/3610.50 d NPBREFORM 0
3600.08/3610.50 d NTRIMMED 0
3600.08/3610.50 d NEXHAUSTED 0
3600.08/3610.50 d NAM1S 0
3600.08/3610.50 d AM1LB 0
3600.08/3610.50 c [Papilo Statistics]
3600.08/3610.50 c prepro time 0.471951s
3600.08/3610.50 c # tsx applied 0
3600.08/3610.50 c # tsx conflicts 0
3600.08/3610.50 c # bound changes 0
3600.08/3610.50 c # side changes 0
3600.08/3610.50 c # coef changes 0
3600.08/3610.50 c # rounds 1
3600.08/3610.50 c # deted vars 0
3600.08/3610.50 c # deted constrs 0
3600.08/3610.50 c # consecutive rounds of only bound changes 0
3600.08/3610.50 s UNKNOWN
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 (61194 MiB free)
memory of node 1: 64507 MiB (61835 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521069-1751560719/watcher-4521069-1751560719 -o /tmp/evaluation-result-4521069-1751560719/solver-4521069-1751560719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77709 --watchdog 3760 mixed-bag HOME/instance-4521069-1751560719.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=79832, runsolver pid=79829
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 4.73 4.29 4.17 5/250 79833
/proc/meminfo: memFree=125982616/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=104640 memory=12460 CPUtime=0.1 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 1777 0 0 0 9 1 0 0 20 0 1 0 71751667 107151360 3115 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 26160 3115 2176 2842 0 8393 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 104640 KiB
Current children cumulated memory: 12460 KiB
[startup+0.213562 s]*
/proc/loadavg: 4.73 4.29 4.17 5/250 79833
/proc/meminfo: memFree=125983152/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=106688 memory=15128 CPUtime=0.2 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 2431 0 0 0 19 1 0 0 20 0 1 0 71751667 109248512 3782 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 26672 3782 2176 2842 0 8905 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106688 KiB
Current children cumulated memory: 15128 KiB
[startup+0.313194 s]*
/proc/loadavg: 4.73 4.29 4.17 5/250 79833
/proc/meminfo: memFree=125983152/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=110784 memory=17588 CPUtime=0.3 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 3056 0 0 0 29 1 0 0 20 0 1 0 71751667 113442816 4397 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 27696 4397 2176 2842 0 9929 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110784 KiB
Current children cumulated memory: 17588 KiB
[startup+0.700341 s]
/proc/loadavg: 4.73 4.29 4.17 5/250 79833
/proc/meminfo: memFree=125983152/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=118976 memory=30968 CPUtime=0.68 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 3831 0 0 0 66 2 0 0 20 0 1 0 71751667 121831424 7742 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 29744 7742 2176 2842 0 11977 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118976 KiB
Current children cumulated memory: 30968 KiB
[startup+1.50033 s]
/proc/loadavg: 4.73 4.29 4.17 5/250 79833
/proc/meminfo: memFree=125964752/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=135360 memory=59336 CPUtime=1.48 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 4827 0 0 0 145 3 0 0 20 0 1 0 71751667 138608640 14834 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 33840 14834 2176 2842 0 16073 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 135360 KiB
Current children cumulated memory: 59336 KiB
[startup+3.11321 s]
/proc/loadavg: 4.75 4.30 4.17 5/250 79833
/proc/meminfo: memFree=125307516/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=828848 memory=728672 CPUtime=3.09 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 142775 0 0 0 278 31 0 0 20 0 1 0 71751667 848740352 182168 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 207212 182168 4064 2842 0 188906 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 828848 KiB
Current children cumulated memory: 728672 KiB
[startup+6.30032 s]
/proc/loadavg: 4.75 4.30 4.17 5/250 79833
/proc/meminfo: memFree=124916204/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1073588 memory=970880 CPUtime=6.26 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 186122 0 0 0 583 43 0 0 20 0 1 0 71751667 1099354112 242720 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 268397 242720 4064 2842 0 250091 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1073588 KiB
Current children cumulated memory: 970880 KiB
[startup+12.7003 s]
/proc/loadavg: 4.71 4.31 4.18 5/250 79833
/proc/meminfo: memFree=124043884/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=2238416 memory=1975964 CPUtime=12.64 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 229421 0 0 0 1196 68 0 0 20 0 1 0 71751667 2292137984 493991 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 559604 493991 4128 2842 0 541298 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2238416 KiB
Current children cumulated memory: 1975964 KiB
[startup+25.5004 s]
/proc/loadavg: 4.60 4.30 4.18 5/250 79834
/proc/meminfo: memFree=124048612/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=2238416 memory=1977372 CPUtime=25.41 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 229809 0 0 0 2472 69 0 0 20 0 1 0 71751667 2292137984 494343 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 559604 494343 4128 2842 0 541298 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2238416 KiB
Current children cumulated memory: 1977372 KiB
[startup+51.1134 s]
/proc/loadavg: 4.40 4.27 4.17 5/250 79834
/proc/meminfo: memFree=123968540/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=2262324 memory=2038148 CPUtime=50.93 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 264763 0 0 0 5016 77 0 0 20 0 1 0 71751667 2316619776 509537 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 565581 509537 4288 2842 0 547275 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2262324 KiB
Current children cumulated memory: 2038148 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 4.27 4.18 5/250 79836
/proc/meminfo: memFree=123902400/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=2262324 memory=2038148 CPUtime=101.97 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 264805 0 0 0 10119 78 0 0 20 0 1 0 71751667 2316619776 509537 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 565581 509537 4288 2842 0 547275 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 2262324 KiB
Current children cumulated memory: 2038148 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.24 4.17 5/249 79838
/proc/meminfo: memFree=123900452/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=2264780 memory=2040564 CPUtime=161.77 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 264888 0 0 0 16098 79 0 0 20 0 1 0 71751667 2319134720 510141 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 566195 510141 4288 2842 0 547889 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2264780 KiB
Current children cumulated memory: 2040564 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/249 79840
/proc/meminfo: memFree=123857168/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=2264780 memory=2040564 CPUtime=221.58 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 264930 0 0 0 22078 80 0 0 20 0 1 0 71751667 2319134720 510141 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 566195 510141 4288 2842 0 547889 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 2264780 KiB
Current children cumulated memory: 2040564 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/250 79843
/proc/meminfo: memFree=123853740/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=2264780 memory=2040564 CPUtime=281.38 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 264930 0 0 0 28058 80 0 0 20 0 1 0 71751667 2319134720 510141 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 566195 510141 4288 2842 0 547889 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 2264780 KiB
Current children cumulated memory: 2040564 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.17 4.16 5/250 79845
/proc/meminfo: memFree=124622912/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1384680 memory=1302188 CPUtime=341.19 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 268098 0 0 0 34001 118 0 0 20 0 1 0 71751667 1417912320 325547 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 346170 325547 4480 2842 0 327864 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 1384680 KiB
Current children cumulated memory: 1302188 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.17 4.16 5/250 79847
/proc/meminfo: memFree=124594928/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1415500 memory=1316524 CPUtime=401.03 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 268616 0 0 0 39975 128 0 0 20 0 1 0 71751667 1449472000 329131 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 353875 329131 4480 2842 0 335569 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 1415500 KiB
Current children cumulated memory: 1316524 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.15 4.15 5/250 79849
/proc/meminfo: memFree=124561516/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1415500 memory=1324716 CPUtime=460.87 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 268620 0 0 0 45952 135 0 0 20 0 1 0 71751667 1449472000 331179 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 353875 331179 4480 2842 0 335569 0
Current children cumulated CPU time: 460.87 s
################
# More data... #
################
Current children cumulated memory: 1441760 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 80155
/proc/meminfo: memFree=125752744/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1441760 CPUtime=2913.91 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 269893 0 0 0 290983 408 0 0 20 0 1 0 71751667 1584103424 360440 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 360440 4480 2842 0 368438 0
Current children cumulated CPU time: 2913.91 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1441760 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/250 80161
/proc/meminfo: memFree=125728960/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1447904 CPUtime=2973.73 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 269896 0 0 0 296961 412 0 0 20 0 1 0 71751667 1584103424 361976 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 361976 4480 2842 0 368438 0
Current children cumulated CPU time: 2973.73 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1447904 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/249 80163
/proc/meminfo: memFree=125724564/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1447904 CPUtime=3033.55 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 270038 0 0 0 302939 416 0 0 20 0 1 0 71751667 1584103424 361976 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 361976 4480 2842 0 368438 0
Current children cumulated CPU time: 3033.55 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1447904 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 80168
/proc/meminfo: memFree=125719788/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1447904 CPUtime=3093.37 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 270072 0 0 0 308917 420 0 0 20 0 1 0 71751667 1584103424 361976 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 361976 4480 2842 0 368438 0
Current children cumulated CPU time: 3093.37 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1447904 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 80170
/proc/meminfo: memFree=125731564/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1447904 CPUtime=3153.19 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 270072 0 0 0 314895 424 0 0 20 0 1 0 71751667 1584103424 361976 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 361976 4480 2842 0 368438 0
Current children cumulated CPU time: 3153.19 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1447904 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 80172
/proc/meminfo: memFree=125740380/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1449952 CPUtime=3213.02 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 270073 0 0 0 320873 429 0 0 20 0 1 0 71751667 1584103424 362488 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 362488 4480 2842 0 368438 0
Current children cumulated CPU time: 3213.02 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1449952 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/249 80174
/proc/meminfo: memFree=125731712/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1449952 CPUtime=3272.84 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 270073 0 0 0 326852 432 0 0 20 0 1 0 71751667 1584103424 362488 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 362488 4480 2842 0 368438 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1449952 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/249 80176
/proc/meminfo: memFree=125709020/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1449952 CPUtime=3332.67 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 270073 0 0 0 332830 437 0 0 20 0 1 0 71751667 1584103424 362488 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 362488 4480 2842 0 368438 0
Current children cumulated CPU time: 3332.67 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1449952 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/248 80178
/proc/meminfo: memFree=125713656/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1449952 CPUtime=3392.49 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 270073 0 0 0 338808 441 0 0 20 0 1 0 71751667 1584103424 362488 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 362488 4480 2842 0 368438 0
Current children cumulated CPU time: 3392.49 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1449952 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/249 80181
/proc/meminfo: memFree=125727648/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1449952 CPUtime=3452.32 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 270137 0 0 0 344787 445 0 0 20 0 1 0 71751667 1584103424 362488 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 362488 4480 2842 0 368438 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1449952 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 80183
/proc/meminfo: memFree=125731712/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1449952 CPUtime=3512.14 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 270237 0 0 0 350764 450 0 0 20 0 1 0 71751667 1584103424 362488 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 362488 4480 2842 0 368438 0
Current children cumulated CPU time: 3512.14 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1449952 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/250 80190
/proc/meminfo: memFree=125703536/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1449952 CPUtime=3571.97 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 270250 0 0 0 356741 456 0 0 20 0 1 0 71751667 1584103424 362488 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 362488 4480 2842 0 368438 0
Current children cumulated CPU time: 3571.97 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1449952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 80191
/proc/meminfo: memFree=125731412/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1449952 CPUtime=3600.08 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 270250 0 0 0 359550 458 0 0 20 0 1 0 71751667 1584103424 362488 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 362488 4480 2842 0 368438 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1449952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 79832 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.51 s, system=4.59317 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 80191
/proc/meminfo: memFree=125731412/131382112 swapFree=33010416/33010684
[pid=79832] ppid=79829 vsize=1546976 memory=1449952 CPUtime=3600.08 cores=5,7
/proc/79832/stat : 79832 (mixed-bag) R 79829 79832 77674 0 -1 4194304 270250 0 0 0 359550 458 0 0 20 0 1 0 71751667 1584103424 362488 18446744073709551615 4235264 15874749 140736690189600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 50507776 140736690198940 140736690199017 140736690199017 140736690204619 0
/proc/79832/statm: 386744 362488 4480 2842 0 368438 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1546976 KiB
Current children cumulated memory: 1449952 KiB
Child status: 0
Real time (s): 3610.51
CPU time (s): 3600.1
CPU user time (s): 3595.51
CPU system time (s): 4.59317
CPU usage (%): 99.7118
Max. virtual memory (cumulated for all children) (KiB): 2276036
Max. memory (cumulated for all children) (KiB): 2050520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.51
system time used= 4.59317
maximum resident set size= 2089972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270291
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= 197
involuntary context switches= 1270
# summary of solver processes directly reported to runsolver:
# pid: 79832
# total CPU time (s): 3600.1
# total CPU user time (s): 3595.51
# total CPU system time (s): 4.59317
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9742 second user time and 34.7077 second system time
The end
Begin job on nodeC012 at 2025-07-03 18:38:40
IDJOB=4521069
IDBENCH=178219
IDSOLVER=3340
FILE ID=nodeC012/4521069-1751560719
RUNJOBID= nodeC012-1751553490-77709
SLURM_JOB_ID= 9598739
Free space on /tmp= 431788 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521069-1751560719/watcher-4521069-1751560719 -o /tmp/evaluation-result-4521069-1751560719/solver-4521069-1751560719 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77709 --watchdog 3760 mixed-bag HOME/instance-4521069-1751560719.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83591af43c3da6ede4007c8e5a8d776b
RANDOM SEED=1757839218
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 : 3662.496
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.242
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.598
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.214
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 : 3491.631
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.154
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: 125982292 kB
MemAvailable: 126235040 kB
Buffers: 2136 kB
Cached: 1053344 kB
SwapCached: 16 kB
Active: 4329368 kB
Inactive: 435164 kB
Active(anon): 3720000 kB
Inactive(anon): 6996 kB
Active(file): 609368 kB
Inactive(file): 428168 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29560 kB
Writeback: 0 kB
AnonPages: 3712212 kB
Mapped: 139072 kB
Shmem: 17944 kB
KReclaimable: 109296 kB
Slab: 194732 kB
SReclaimable: 109296 kB
SUnreclaim: 85436 kB
KernelStack: 4016 kB
PageTables: 10912 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 4623376 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 823296 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= 431768 MiB
End job on nodeC012 at 2025-07-03 19:38:50