0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
1.88/1.95 c [STEP] preprocessing with Papilo
2.37/2.41 c Papilo could not simplify the problem
2.37/2.41 c [STEP] solving with SCIP
302.26/303.17 c [STEP] preprocessing done, loading into solver
302.95/303.88 c [STEP] solving
302.95/303.88 c #variables 3742 #constraints 423980
302.95/303.88 c SMALL=int, LARGE=long long
302.95/303.88 d SCIPUB -1878
302.95/303.88 c bounds - >= -3153 @ 301.991
302.95/303.88 c stratification level: 0
303.06/303.96 c bounds - >= -3152 @ 302.013
303.06/303.96 c bounds - >= -3151 @ 302.013
303.06/303.96 c bounds - >= -3150 @ 302.014
303.06/303.96 c bounds - >= -3149 @ 302.014
303.06/303.96 c bounds - >= -3148 @ 302.014
303.06/303.96 c bounds - >= -3147 @ 302.015
303.06/303.96 c bounds - >= -3146 @ 302.015
303.06/303.96 c bounds - >= -3145 @ 302.016
303.06/303.96 c bounds - >= -3144 @ 302.016
303.06/303.96 c bounds - >= -3143 @ 302.016
303.06/303.96 c bounds - >= -3142 @ 302.017
303.06/303.96 c bounds - >= -3141 @ 302.017
303.06/303.96 c bounds - >= -3140 @ 302.017
303.06/303.96 c bounds - >= -3139 @ 302.018
303.06/303.96 c bounds - >= -3138 @ 302.018
303.06/303.96 c bounds - >= -3137 @ 302.018
303.06/303.96 c bounds - >= -3136 @ 302.018
303.06/303.96 c bounds - >= -3135 @ 302.018
303.06/303.96 c bounds - >= -3134 @ 302.019
303.06/303.96 c bounds - >= -3133 @ 302.019
303.06/303.96 c bounds - >= -3132 @ 302.019
303.06/303.96 c bounds - >= -3131 @ 302.02
303.06/303.96 c bounds - >= -3130 @ 302.02
303.06/303.96 c bounds - >= -3129 @ 302.02
303.06/303.96 c bounds - >= -3128 @ 302.021
303.06/303.96 c bounds - >= -3127 @ 302.021
303.06/303.96 c bounds - >= -3126 @ 302.022
303.06/303.96 c bounds - >= -3125 @ 302.022
303.06/303.96 c bounds - >= -3124 @ 302.022
303.06/303.96 c bounds - >= -3123 @ 302.023
303.06/303.96 c bounds - >= -3122 @ 302.023
303.06/303.96 c bounds - >= -3121 @ 302.023
303.06/303.96 c bounds - >= -3120 @ 302.024
303.06/303.96 c bounds - >= -3119 @ 302.024
303.06/303.96 c bounds - >= -3118 @ 302.024
303.06/303.96 c bounds - >= -3117 @ 302.025
303.06/303.96 c bounds - >= -3116 @ 302.025
303.06/303.96 c bounds - >= -3115 @ 302.026
303.06/303.96 c bounds - >= -3114 @ 302.026
303.06/303.96 c bounds - >= -3113 @ 302.026
303.06/303.96 c bounds - >= -3112 @ 302.027
303.06/303.96 c bounds - >= -3111 @ 302.027
303.06/303.96 c bounds - >= -3110 @ 302.027
303.06/303.96 c bounds - >= -3109 @ 302.028
303.06/303.96 c bounds - >= -3108 @ 302.028
303.06/303.96 c bounds - >= -3107 @ 302.029
303.06/303.96 c bounds - >= -3106 @ 302.029
303.06/303.96 c bounds - >= -3105 @ 302.029
303.06/303.96 c bounds - >= -3104 @ 302.03
303.06/303.96 c bounds - >= -3103 @ 302.03
303.06/303.96 c bounds - >= -3102 @ 302.03
303.06/303.96 c bounds - >= -3101 @ 302.031
303.06/303.96 c bounds - >= -3100 @ 302.031
303.06/303.96 c bounds - >= -3099 @ 302.032
303.06/303.96 c bounds - >= -3098 @ 302.032
303.06/303.96 c bounds - >= -3097 @ 302.032
303.06/303.96 c bounds - >= -3096 @ 302.033
303.06/303.96 c bounds - >= -3095 @ 302.033
303.06/303.96 c bounds - >= -3094 @ 302.033
303.06/303.96 c bounds - >= -3093 @ 302.034
303.06/303.96 c bounds - >= -3092 @ 302.034
303.06/303.96 c bounds - >= -3091 @ 302.035
303.06/303.96 c bounds - >= -3090 @ 302.035
303.06/303.96 c bounds - >= -3089 @ 302.035
303.06/303.96 c bounds - >= -3088 @ 302.036
303.06/303.96 c bounds - >= -3087 @ 302.036
303.06/303.96 c bounds - >= -3086 @ 302.036
303.06/303.96 c bounds - >= -3085 @ 302.037
303.06/303.96 c bounds - >= -3084 @ 302.037
303.06/303.96 c bounds - >= -3083 @ 302.037
303.06/303.96 c bounds - >= -3082 @ 302.038
303.06/303.96 c bounds - >= -3081 @ 302.038
303.06/303.96 c bounds - >= -3080 @ 302.038
303.06/303.96 c bounds - >= -3079 @ 302.039
303.06/303.96 c bounds - >= -3078 @ 302.039
303.06/303.96 c bounds - >= -3077 @ 302.039
303.06/303.96 c bounds - >= -3076 @ 302.04
303.06/303.96 c bounds - >= -3075 @ 302.04
303.06/303.96 c bounds - >= -3074 @ 302.04
303.06/303.96 c bounds - >= -3073 @ 302.041
303.06/303.96 c bounds - >= -3072 @ 302.041
303.06/303.96 c bounds - >= -3071 @ 302.041
303.06/303.96 c bounds - >= -3070 @ 302.042
303.06/303.96 c bounds - >= -3069 @ 302.042
303.06/303.96 c bounds - >= -3068 @ 302.043
303.06/303.96 c bounds - >= -3067 @ 302.043
303.06/303.96 c bounds - >= -3066 @ 302.043
303.06/303.96 c bounds - >= -3065 @ 302.044
303.06/303.96 c bounds - >= -3064 @ 302.044
303.06/303.96 c bounds - >= -3063 @ 302.044
303.06/303.96 c bounds - >= -3062 @ 302.045
303.06/303.96 c bounds - >= -3061 @ 302.045
303.06/303.96 c bounds - >= -3060 @ 302.045
303.06/303.96 c bounds - >= -3059 @ 302.046
303.06/303.96 c bounds - >= -3058 @ 302.046
303.06/303.96 c bounds - >= -3057 @ 302.046
303.06/303.96 c bounds - >= -3056 @ 302.047
303.06/303.96 c bounds - >= -3055 @ 302.047
303.06/303.96 c bounds - >= -3054 @ 302.047
303.06/303.96 c bounds - >= -3053 @ 302.048
303.06/303.96 c bounds - >= -3052 @ 302.048
303.06/303.96 c bounds - >= -3051 @ 302.048
303.06/303.96 c bounds - >= -3050 @ 302.049
303.06/303.96 c bounds - >= -3049 @ 302.049
303.06/303.96 c bounds - >= -3048 @ 302.05
303.06/303.96 c bounds - >= -3047 @ 302.05
303.06/303.96 c bounds - >= -3046 @ 302.05
303.06/303.96 c bounds - >= -3045 @ 302.051
303.06/303.96 c bounds - >= -3044 @ 302.051
303.06/303.96 c bounds - >= -3043 @ 302.051
303.06/303.96 c bounds - >= -3042 @ 302.052
303.06/303.96 c bounds - >= -3041 @ 302.052
303.06/303.96 c bounds - >= -3040 @ 302.052
303.06/303.96 c bounds - >= -3039 @ 302.053
303.06/303.96 c bounds - >= -3038 @ 302.053
303.06/303.96 c bounds - >= -3037 @ 302.053
303.06/303.96 c bounds - >= -3036 @ 302.054
303.06/303.96 c bounds - >= -3035 @ 302.054
303.06/303.96 c bounds - >= -3034 @ 302.054
303.06/303.96 c bounds - >= -3033 @ 302.055
303.06/303.96 c bounds - >= -3032 @ 302.055
303.06/303.96 c bounds - >= -3031 @ 302.055
303.06/303.96 c bounds - >= -3030 @ 302.056
303.06/303.96 c bounds - >= -3029 @ 302.056
303.06/303.96 c bounds - >= -3028 @ 302.056
303.06/303.96 c bounds - >= -3027 @ 302.057
303.06/303.96 c bounds - >= -3026 @ 302.057
303.06/303.96 c bounds - >= -3025 @ 302.057
303.06/303.96 c bounds - >= -3024 @ 302.058
303.06/303.96 c bounds - >= -3023 @ 302.058
303.06/303.96 c bounds - >= -3022 @ 302.058
303.06/303.96 c bounds - >= -3021 @ 302.059
303.06/303.96 c bounds - >= -3020 @ 302.059
303.06/303.96 c bounds - >= -3019 @ 302.059
303.06/303.96 c bounds - >= -3018 @ 302.06
303.06/303.96 c bounds - >= -3017 @ 302.06
303.06/303.96 c bounds - >= -3016 @ 302.061
303.06/304.00 c bounds - >= -3015 @ 302.061
303.06/304.00 c bounds - >= -3014 @ 302.061
303.06/304.00 c bounds - >= -3013 @ 302.062
303.06/304.00 c bounds - >= -3012 @ 302.062
303.06/304.00 c bounds - >= -3011 @ 302.062
303.06/304.00 c bounds - >= -3010 @ 302.063
303.06/304.00 c bounds - >= -3009 @ 302.063
303.06/304.00 c bounds - >= -3008 @ 302.063
303.06/304.00 c bounds - >= -3007 @ 302.064
303.06/304.00 c bounds - >= -3006 @ 302.064
303.06/304.00 c bounds - >= -3005 @ 302.064
303.06/304.00 c bounds - >= -3004 @ 302.065
303.06/304.00 c bounds - >= -3003 @ 302.065
303.06/304.00 c bounds - >= -3002 @ 302.065
303.06/304.00 c bounds - >= -3001 @ 302.066
303.06/304.00 c bounds - >= -3000 @ 302.066
303.06/304.00 c bounds - >= -2999 @ 302.066
303.06/304.00 c bounds - >= -2998 @ 302.067
303.06/304.00 c bounds - >= -2997 @ 302.067
303.06/304.00 c bounds - >= -2996 @ 302.068
303.06/304.00 c bounds - >= -2995 @ 302.068
303.06/304.00 c bounds - >= -2994 @ 302.068
303.06/304.00 c bounds - >= -2993 @ 302.069
303.06/304.00 c bounds - >= -2992 @ 302.069
303.06/304.00 c bounds - >= -2991 @ 302.069
303.06/304.00 c bounds - >= -2990 @ 302.07
303.06/304.00 c bounds - >= -2989 @ 302.07
303.06/304.00 c bounds - >= -2988 @ 302.07
303.06/304.00 c bounds - >= -2987 @ 302.071
303.06/304.00 c bounds - >= -2986 @ 302.071
303.06/304.00 c bounds - >= -2985 @ 302.071
303.06/304.00 c bounds - >= -2984 @ 302.072
303.06/304.00 c bounds - >= -2983 @ 302.072
303.06/304.00 c bounds - >= -2982 @ 302.072
303.06/304.00 c bounds - >= -2981 @ 302.073
303.06/304.00 c bounds - >= -2980 @ 302.073
303.06/304.00 c bounds - >= -2979 @ 302.073
303.06/304.00 c bounds - >= -2978 @ 302.074
303.06/304.00 c bounds - >= -2977 @ 302.074
303.06/304.00 c bounds - >= -2976 @ 302.074
303.06/304.00 c bounds - >= -2975 @ 302.075
303.06/304.00 c bounds - >= -2974 @ 302.075
303.06/304.00 c bounds - >= -2973 @ 302.076
303.06/304.00 c bounds - >= -2972 @ 302.076
303.06/304.00 c bounds - >= -2971 @ 302.076
303.06/304.00 c bounds - >= -2970 @ 302.077
303.06/304.00 c bounds - >= -2969 @ 302.077
303.06/304.00 c bounds - >= -2968 @ 302.077
303.06/304.00 c bounds - >= -2967 @ 302.078
303.06/304.00 c bounds - >= -2966 @ 302.078
303.06/304.00 c bounds - >= -2965 @ 302.078
303.06/304.00 c bounds - >= -2964 @ 302.079
303.06/304.00 c bounds - >= -2963 @ 302.079
303.06/304.00 c bounds - >= -2962 @ 302.079
303.06/304.00 c bounds - >= -2961 @ 302.08
303.06/304.00 c bounds - >= -2960 @ 302.08
303.06/304.00 c bounds - >= -2959 @ 302.08
303.06/304.00 c bounds - >= -2958 @ 302.081
303.06/304.00 c bounds - >= -2957 @ 302.081
303.06/304.00 c bounds - >= -2956 @ 302.082
303.06/304.00 c bounds - >= -2955 @ 302.082
303.06/304.00 c bounds - >= -2954 @ 302.082
303.06/304.00 c bounds - >= -2953 @ 302.083
303.06/304.00 c bounds - >= -2952 @ 302.083
303.06/304.00 c bounds - >= -2951 @ 302.083
303.06/304.00 c bounds - >= -2950 @ 302.084
303.06/304.00 c bounds - >= -2949 @ 302.084
303.06/304.00 c bounds - >= -2948 @ 302.084
303.06/304.00 c bounds - >= -2947 @ 302.085
303.06/304.00 c bounds - >= -2946 @ 302.085
303.06/304.00 c bounds - >= -2945 @ 302.085
303.06/304.00 c bounds - >= -2944 @ 302.086
303.06/304.00 c bounds - >= -2943 @ 302.086
303.06/304.00 c bounds - >= -2942 @ 302.086
303.06/304.00 c bounds - >= -2941 @ 302.087
303.06/304.00 c bounds - >= -2940 @ 302.087
303.06/304.00 c bounds - >= -2939 @ 302.087
303.06/304.00 c bounds - >= -2938 @ 302.088
303.06/304.00 c bounds - >= -2937 @ 302.088
303.06/304.00 c bounds - >= -2936 @ 302.088
303.06/304.00 c bounds - >= -2935 @ 302.089
303.06/304.00 c bounds - >= -2934 @ 302.089
303.06/304.00 c bounds - >= -2933 @ 302.089
303.06/304.00 c bounds - >= -2932 @ 302.09
303.06/304.00 c bounds - >= -2931 @ 302.09
303.06/304.00 c bounds - >= -2930 @ 302.09
303.06/304.00 c bounds - >= -2929 @ 302.091
303.06/304.00 c bounds - >= -2928 @ 302.091
303.06/304.00 c bounds - >= -2927 @ 302.091
303.06/304.00 c bounds - >= -2926 @ 302.092
303.06/304.00 c bounds - >= -2925 @ 302.092
303.06/304.00 c bounds - >= -2924 @ 302.092
303.06/304.00 c bounds - >= -2923 @ 302.093
303.06/304.00 c bounds - >= -2922 @ 302.093
303.06/304.00 c bounds - >= -2921 @ 302.093
303.06/304.00 c bounds - >= -2920 @ 302.094
303.06/304.00 c bounds - >= -2919 @ 302.094
303.06/304.00 c bounds - >= -2918 @ 302.094
303.06/304.00 c bounds - >= -2917 @ 302.095
303.06/304.00 c bounds - >= -2916 @ 302.095
303.06/304.00 c bounds - >= -2915 @ 302.095
303.06/304.00 c bounds - >= -2914 @ 302.096
303.06/304.00 c bounds - >= -2913 @ 302.096
303.06/304.00 c bounds - >= -2912 @ 302.096
303.06/304.00 c bounds - >= -2911 @ 302.097
303.06/304.00 c bounds - >= -2910 @ 302.097
303.06/304.00 c bounds - >= -2909 @ 302.097
303.06/304.00 c bounds - >= -2908 @ 302.098
303.06/304.00 c bounds - >= -2907 @ 302.098
303.06/304.00 c bounds - >= -2906 @ 302.098
303.06/304.00 c bounds - >= -2905 @ 302.099
303.06/304.00 c bounds - >= -2904 @ 302.099
303.06/304.00 c bounds - >= -2903 @ 302.1
303.06/304.00 c bounds - >= -2902 @ 302.1
303.06/304.00 c bounds - >= -2901 @ 302.1
303.06/304.00 c bounds - >= -2900 @ 302.101
303.06/304.00 c bounds - >= -2899 @ 302.101
303.06/304.00 c bounds - >= -2898 @ 302.101
303.06/304.00 c bounds - >= -2897 @ 302.102
303.06/304.00 c bounds - >= -2896 @ 302.102
303.06/304.00 c bounds - >= -2895 @ 302.102
303.06/304.00 c bounds - >= -2894 @ 302.103
303.06/304.00 c bounds - >= -2893 @ 302.103
303.06/304.00 c bounds - >= -2892 @ 302.103
303.06/304.00 c bounds - >= -2891 @ 302.104
303.06/304.00 c bounds - >= -2890 @ 302.104
303.06/304.00 c bounds - >= -2889 @ 302.104
303.06/304.00 c bounds - >= -2888 @ 302.105
303.06/304.00 c bounds - >= -2887 @ 302.105
303.06/304.00 c bounds - >= -2886 @ 302.105
303.06/304.00 c bounds - >= -2885 @ 302.106
303.06/304.00 c bounds - >= -2884 @ 302.106
303.06/304.00 c bounds - >= -2883 @ 302.107
303.06/304.00 c bounds - >= -2882 @ 302.107
303.06/304.00 c bounds - >= -2881 @ 302.107
303.06/304.00 c bounds - >= -2880 @ 302.108
303.06/304.00 c bounds - >= -2879 @ 302.108
303.06/304.00 c bounds - >= -2878 @ 302.108
303.16/304.05 c bounds - >= -2877 @ 302.109
303.16/304.05 c bounds - >= -2876 @ 302.109
303.16/304.05 c bounds - >= -2875 @ 302.109
303.16/304.05 c bounds - >= -2874 @ 302.11
303.16/304.05 c bounds - >= -2873 @ 302.11
303.16/304.05 c bounds - >= -2872 @ 302.111
303.16/304.05 c bounds - >= -2871 @ 302.111
303.16/304.05 c bounds - >= -2870 @ 302.111
303.16/304.05 c bounds - >= -2869 @ 302.112
303.16/304.05 c bounds - >= -2868 @ 302.112
303.16/304.05 c bounds - >= -2867 @ 302.112
303.16/304.05 c bounds - >= -2866 @ 302.113
303.16/304.05 c bounds - >= -2865 @ 302.113
303.16/304.05 c bounds - >= -2864 @ 302.113
303.16/304.05 c bounds - >= -2863 @ 302.114
303.16/304.05 c bounds - >= -2862 @ 302.114
303.16/304.05 c bounds - >= -2861 @ 302.114
303.16/304.05 c bounds - >= -2860 @ 302.115
303.16/304.05 c bounds - >= -2859 @ 302.115
303.16/304.05 c bounds - >= -2858 @ 302.115
303.16/304.05 c bounds - >= -2857 @ 302.116
303.16/304.05 c bounds - >= -2856 @ 302.116
303.16/304.05 c bounds - >= -2855 @ 302.116
303.16/304.05 c bounds - >= -2854 @ 302.117
303.16/304.05 c bounds - >= -2853 @ 302.117
303.16/304.05 c bounds - >= -2852 @ 302.118
303.16/304.05 c bounds - >= -2851 @ 302.118
303.16/304.05 c bounds - >= -2850 @ 302.118
303.16/304.05 c bounds - >= -2849 @ 302.119
303.16/304.05 c bounds - >= -2848 @ 302.119
303.16/304.05 c bounds - >= -2847 @ 302.119
303.16/304.05 c bounds - >= -2846 @ 302.12
303.16/304.05 c bounds - >= -2845 @ 302.12
303.16/304.05 c bounds - >= -2844 @ 302.12
303.16/304.05 c bounds - >= -2843 @ 302.121
303.16/304.05 c bounds - >= -2842 @ 302.121
303.16/304.05 c bounds - >= -2841 @ 302.121
303.16/304.05 c bounds - >= -2840 @ 302.122
303.16/304.05 c bounds - >= -2839 @ 302.122
303.16/304.05 c bounds - >= -2838 @ 302.122
303.16/304.05 c bounds - >= -2837 @ 302.123
303.16/304.05 c bounds - >= -2836 @ 302.123
303.16/304.05 c bounds - >= -2835 @ 302.124
303.16/304.05 c bounds - >= -2834 @ 302.124
303.16/304.05 c bounds - >= -2833 @ 302.124
303.16/304.05 c bounds - >= -2832 @ 302.125
303.16/304.05 c bounds - >= -2831 @ 302.125
303.16/304.05 c bounds - >= -2830 @ 302.125
303.16/304.05 c bounds - >= -2829 @ 302.126
303.16/304.05 c bounds - >= -2828 @ 302.126
303.16/304.05 c bounds - >= -2827 @ 302.126
303.16/304.05 c bounds - >= -2826 @ 302.127
303.16/304.05 c bounds - >= -2825 @ 302.127
303.16/304.05 c bounds - >= -2824 @ 302.127
303.16/304.05 c bounds - >= -2823 @ 302.127
303.16/304.05 c bounds - >= -2822 @ 302.127
303.16/304.05 c bounds - >= -2821 @ 302.128
303.16/304.05 c bounds - >= -2820 @ 302.128
303.16/304.05 c bounds - >= -2819 @ 302.128
303.16/304.05 c bounds - >= -2818 @ 302.129
303.16/304.05 c bounds - >= -2817 @ 302.129
303.16/304.05 c bounds - >= -2816 @ 302.129
303.16/304.05 c bounds - >= -2815 @ 302.13
303.16/304.05 c bounds - >= -2814 @ 302.13
303.16/304.05 c bounds - >= -2813 @ 302.13
303.16/304.05 c bounds - >= -2812 @ 302.131
303.16/304.05 c bounds - >= -2811 @ 302.131
303.16/304.05 c bounds - >= -2810 @ 302.131
303.16/304.05 c bounds - >= -2809 @ 302.132
303.16/304.05 c bounds - >= -2808 @ 302.132
303.16/304.05 c bounds - >= -2807 @ 302.133
303.16/304.05 c bounds - >= -2806 @ 302.133
303.16/304.05 c bounds - >= -2805 @ 302.133
303.16/304.05 c bounds - >= -2804 @ 302.133
303.16/304.05 c bounds - >= -2803 @ 302.133
303.16/304.05 c bounds - >= -2802 @ 302.134
303.16/304.05 c bounds - >= -2801 @ 302.134
303.16/304.05 c bounds - >= -2800 @ 302.135
303.16/304.05 c bounds - >= -2799 @ 302.135
303.16/304.05 c bounds - >= -2798 @ 302.135
303.16/304.05 c bounds - >= -2797 @ 302.136
303.16/304.05 c bounds - >= -2796 @ 302.136
303.16/304.05 c bounds - >= -2795 @ 302.136
303.16/304.05 c bounds - >= -2794 @ 302.137
303.16/304.05 c bounds - >= -2793 @ 302.137
303.16/304.05 c bounds - >= -2792 @ 302.137
303.16/304.05 c bounds - >= -2791 @ 302.138
303.16/304.05 c bounds - >= -2790 @ 302.138
303.16/304.05 c bounds - >= -2789 @ 302.138
303.16/304.05 c bounds - >= -2788 @ 302.139
303.16/304.05 c bounds - >= -2787 @ 302.139
303.16/304.05 c bounds - >= -2786 @ 302.139
303.16/304.05 c bounds - >= -2785 @ 302.14
303.16/304.05 c bounds - >= -2784 @ 302.14
303.16/304.05 c bounds - >= -2783 @ 302.14
303.16/304.05 c bounds - >= -2782 @ 302.141
303.16/304.05 c bounds - >= -2781 @ 302.141
303.16/304.05 c bounds - >= -2780 @ 302.141
303.16/304.05 c bounds - >= -2779 @ 302.142
303.16/304.05 c bounds - >= -2778 @ 302.142
303.16/304.05 c bounds - >= -2777 @ 302.143
303.16/304.05 c bounds - >= -2776 @ 302.143
303.16/304.05 c bounds - >= -2775 @ 302.143
303.16/304.05 c bounds - >= -2774 @ 302.144
303.16/304.05 c bounds - >= -2773 @ 302.144
303.16/304.05 c bounds - >= -2772 @ 302.144
303.16/304.05 c bounds - >= -2771 @ 302.145
303.16/304.05 c bounds - >= -2770 @ 302.145
303.16/304.05 c bounds - >= -2769 @ 302.145
303.16/304.05 c bounds - >= -2768 @ 302.146
303.16/304.05 c bounds - >= -2767 @ 302.146
303.16/304.05 c bounds - >= -2766 @ 302.146
303.16/304.05 c bounds - >= -2765 @ 302.147
303.16/304.05 c bounds - >= -2764 @ 302.147
303.16/304.05 c bounds - >= -2763 @ 302.147
303.16/304.05 c bounds - >= -2762 @ 302.148
303.16/304.05 c bounds - >= -2761 @ 302.148
303.16/304.05 c bounds - >= -2760 @ 302.148
303.16/304.05 c bounds - >= -2759 @ 302.149
303.16/304.05 c bounds - >= -2758 @ 302.149
303.16/304.05 c bounds - >= -2757 @ 302.149
303.16/304.05 c bounds - >= -2756 @ 302.15
303.16/304.05 c bounds - >= -2755 @ 302.15
303.16/304.05 c bounds - >= -2754 @ 302.15
303.16/304.05 c bounds - >= -2753 @ 302.151
303.16/304.05 c bounds - >= -2752 @ 302.151
303.16/304.05 c bounds - >= -2751 @ 302.151
303.16/304.05 c bounds - >= -2750 @ 302.152
303.16/304.05 c bounds - >= -2749 @ 302.152
303.16/304.05 c bounds - >= -2748 @ 302.153
303.16/304.05 c bounds - >= -2747 @ 302.153
303.16/304.05 c bounds - >= -2746 @ 302.153
303.16/304.05 c bounds - >= -2745 @ 302.154
303.16/304.05 c bounds - >= -2744 @ 302.154
303.16/304.05 c bounds - >= -2743 @ 302.154
303.16/304.05 c bounds - >= -2742 @ 302.155
303.16/304.05 c bounds - >= -2741 @ 302.155
303.16/304.10 c bounds - >= -2740 @ 302.155
303.16/304.10 c bounds - >= -2739 @ 302.156
303.16/304.10 c bounds - >= -2738 @ 302.156
303.16/304.10 c bounds - >= -2737 @ 302.157
303.16/304.10 c bounds - >= -2736 @ 302.157
303.16/304.10 c bounds - >= -2735 @ 302.157
303.16/304.10 c bounds - >= -2734 @ 302.158
303.16/304.10 c bounds - >= -2733 @ 302.158
303.16/304.10 c bounds - >= -2732 @ 302.158
303.16/304.10 c bounds - >= -2731 @ 302.159
303.16/304.10 c bounds - >= -2730 @ 302.159
303.16/304.10 c bounds - >= -2729 @ 302.159
303.16/304.10 c bounds - >= -2728 @ 302.16
303.16/304.10 c bounds - >= -2727 @ 302.16
303.16/304.10 c bounds - >= -2726 @ 302.16
303.16/304.10 c bounds - >= -2725 @ 302.161
303.16/304.10 c bounds - >= -2724 @ 302.161
303.16/304.10 c bounds - >= -2723 @ 302.161
303.16/304.10 c bounds - >= -2722 @ 302.162
303.16/304.10 c bounds - >= -2721 @ 302.162
303.16/304.10 c bounds - >= -2720 @ 302.162
303.16/304.10 c bounds - >= -2719 @ 302.163
303.16/304.10 c bounds - >= -2718 @ 302.163
303.16/304.10 c bounds - >= -2717 @ 302.163
303.16/304.10 c bounds - >= -2716 @ 302.164
303.16/304.10 c bounds - >= -2715 @ 302.164
303.16/304.10 c bounds - >= -2714 @ 302.165
303.16/304.10 c bounds - >= -2713 @ 302.165
303.16/304.10 c bounds - >= -2712 @ 302.165
303.16/304.10 c bounds - >= -2711 @ 302.165
303.16/304.10 c bounds - >= -2710 @ 302.166
303.16/304.10 c bounds - >= -2709 @ 302.166
303.16/304.10 c bounds - >= -2708 @ 302.167
303.16/304.10 c bounds - >= -2707 @ 302.167
303.16/304.10 c bounds - >= -2706 @ 302.167
303.16/304.10 c bounds - >= -2705 @ 302.168
303.16/304.10 c bounds - >= -2704 @ 302.168
303.16/304.10 c bounds - >= -2703 @ 302.168
303.16/304.10 c bounds - >= -2702 @ 302.169
303.16/304.10 c bounds - >= -2701 @ 302.169
303.16/304.10 c bounds - >= -2700 @ 302.169
303.16/304.10 c bounds - >= -2699 @ 302.17
303.16/304.10 c bounds - >= -2698 @ 302.17
303.16/304.10 c bounds - >= -2697 @ 302.17
303.16/304.10 c bounds - >= -2696 @ 302.171
303.16/304.10 c bounds - >= -2695 @ 302.171
303.16/304.10 c bounds - >= -2694 @ 302.172
303.16/304.10 c bounds - >= -2693 @ 302.172
303.16/304.10 c bounds - >= -2692 @ 302.172
303.16/304.10 c bounds - >= -2691 @ 302.173
303.16/304.10 c bounds - >= -2690 @ 302.173
303.16/304.10 c bounds - >= -2689 @ 302.174
303.16/304.10 c bounds - >= -2688 @ 302.174
303.16/304.10 c bounds - >= -2687 @ 302.174
303.16/304.10 c bounds - >= -2686 @ 302.175
303.16/304.10 c bounds - >= -2685 @ 302.175
303.16/304.10 c bounds - >= -2684 @ 302.175
303.16/304.10 c bounds - >= -2683 @ 302.176
303.16/304.10 c bounds - >= -2682 @ 302.176
303.16/304.10 c bounds - >= -2681 @ 302.176
303.16/304.10 c bounds - >= -2680 @ 302.177
303.16/304.10 c bounds - >= -2679 @ 302.177
303.16/304.10 c bounds - >= -2678 @ 302.178
303.16/304.10 c bounds - >= -2677 @ 302.178
303.16/304.10 c bounds - >= -2676 @ 302.178
303.16/304.10 c bounds - >= -2675 @ 302.179
303.16/304.10 c bounds - >= -2674 @ 302.179
303.16/304.10 c bounds - >= -2673 @ 302.179
303.16/304.10 c bounds - >= -2672 @ 302.18
303.16/304.10 c bounds - >= -2671 @ 302.18
303.16/304.10 c bounds - >= -2670 @ 302.18
303.16/304.10 c bounds - >= -2669 @ 302.181
303.16/304.10 c bounds - >= -2668 @ 302.181
303.16/304.10 c bounds - >= -2667 @ 302.181
303.16/304.10 c bounds - >= -2666 @ 302.182
303.16/304.10 c bounds - >= -2665 @ 302.182
303.16/304.10 c bounds - >= -2664 @ 302.183
303.16/304.10 c bounds - >= -2663 @ 302.183
303.16/304.10 c bounds - >= -2662 @ 302.183
303.16/304.10 c bounds - >= -2661 @ 302.183
303.16/304.10 c bounds - >= -2660 @ 302.183
303.16/304.10 c bounds - >= -2659 @ 302.184
303.16/304.10 c bounds - >= -2658 @ 302.184
303.16/304.10 c bounds - >= -2657 @ 302.184
303.16/304.10 c bounds - >= -2656 @ 302.184
303.16/304.10 c bounds - >= -2655 @ 302.184
303.16/304.10 c bounds - >= -2654 @ 302.184
303.16/304.10 c bounds - >= -2653 @ 302.185
303.16/304.10 c bounds - >= -2652 @ 302.185
303.16/304.10 c bounds - >= -2651 @ 302.185
303.16/304.10 c bounds - >= -2650 @ 302.186
303.16/304.10 c bounds - >= -2649 @ 302.186
303.16/304.10 c bounds - >= -2648 @ 302.186
303.16/304.10 c bounds - >= -2647 @ 302.186
303.16/304.10 c bounds - >= -2646 @ 302.186
303.16/304.10 c bounds - >= -2645 @ 302.186
303.16/304.10 c bounds - >= -2644 @ 302.187
303.16/304.10 c bounds - >= -2643 @ 302.187
303.16/304.10 c bounds - >= -2642 @ 302.188
303.16/304.10 c bounds - >= -2641 @ 302.188
303.16/304.10 c bounds - >= -2640 @ 302.189
303.16/304.10 c bounds - >= -2639 @ 302.189
303.16/304.10 c bounds - >= -2638 @ 302.19
303.16/304.10 c bounds - >= -2637 @ 302.19
303.16/304.10 c bounds - >= -2636 @ 302.19
303.16/304.10 c bounds - >= -2635 @ 302.191
303.16/304.10 c bounds - >= -2634 @ 302.191
303.16/304.10 c bounds - >= -2633 @ 302.191
303.16/304.10 c bounds - >= -2632 @ 302.192
303.16/304.10 c bounds - >= -2631 @ 302.192
303.16/304.10 c bounds - >= -2630 @ 302.192
303.16/304.10 c bounds - >= -2629 @ 302.193
303.16/304.10 c bounds - >= -2628 @ 302.193
303.16/304.10 c bounds - >= -2627 @ 302.193
303.16/304.10 c bounds - >= -2626 @ 302.194
303.16/304.10 c bounds - >= -2625 @ 302.194
303.16/304.10 c bounds - >= -2624 @ 302.194
303.16/304.10 c bounds - >= -2623 @ 302.195
303.16/304.10 c bounds - >= -2622 @ 302.195
303.16/304.10 c bounds - >= -2621 @ 302.195
303.16/304.10 c bounds - >= -2620 @ 302.196
303.16/304.10 c bounds - >= -2619 @ 302.196
303.16/304.10 c bounds - >= -2618 @ 302.196
303.16/304.10 c bounds - >= -2617 @ 302.197
303.16/304.10 c bounds - >= -2616 @ 302.197
303.16/304.10 c bounds - >= -2615 @ 302.198
303.16/304.10 c bounds - >= -2614 @ 302.198
303.16/304.10 c bounds - >= -2613 @ 302.198
303.16/304.10 c bounds - >= -2612 @ 302.199
303.16/304.10 c bounds - >= -2611 @ 302.199
303.16/304.10 c bounds - >= -2610 @ 302.199
303.16/304.10 c bounds - >= -2609 @ 302.2
303.16/304.10 c bounds - >= -2608 @ 302.2
303.16/304.10 c bounds - >= -2607 @ 302.201
303.16/304.10 c bounds - >= -2606 @ 302.201
303.16/304.10 c bounds - >= -2605 @ 302.201
303.16/304.10 c bounds - >= -2604 @ 302.202
303.27/304.16 c bounds - >= -2603 @ 302.202
303.27/304.16 c bounds - >= -2602 @ 302.202
303.27/304.16 c bounds - >= -2601 @ 302.203
303.27/304.16 c bounds - >= -2600 @ 302.203
303.27/304.16 c bounds - >= -2599 @ 302.204
303.27/304.16 c bounds - >= -2598 @ 302.204
303.27/304.16 c bounds - >= -2597 @ 302.204
303.27/304.16 c bounds - >= -2596 @ 302.205
303.27/304.16 c bounds - >= -2595 @ 302.205
303.27/304.16 c bounds - >= -2594 @ 302.206
303.27/304.16 c bounds - >= -2593 @ 302.206
303.27/304.16 c bounds - >= -2592 @ 302.206
303.27/304.16 c bounds - >= -2591 @ 302.207
303.27/304.16 c bounds - >= -2590 @ 302.207
303.27/304.16 c bounds - >= -2589 @ 302.208
303.27/304.16 c bounds - >= -2588 @ 302.208
303.27/304.16 c bounds - >= -2587 @ 302.208
303.27/304.16 c bounds - >= -2586 @ 302.209
303.27/304.16 c bounds - >= -2585 @ 302.209
303.27/304.16 c bounds - >= -2584 @ 302.209
303.27/304.16 c bounds - >= -2583 @ 302.21
303.27/304.16 c bounds - >= -2582 @ 302.21
303.27/304.16 c bounds - >= -2581 @ 302.21
303.27/304.16 c bounds - >= -2580 @ 302.211
303.27/304.16 c bounds - >= -2579 @ 302.211
303.27/304.16 c bounds - >= -2578 @ 302.212
303.27/304.16 c bounds - >= -2577 @ 302.212
303.27/304.16 c bounds - >= -2576 @ 302.212
303.27/304.16 c bounds - >= -2575 @ 302.213
303.27/304.16 c bounds - >= -2574 @ 302.213
303.27/304.16 c bounds - >= -2573 @ 302.213
303.27/304.16 c bounds - >= -2572 @ 302.213
303.27/304.16 c bounds - >= -2571 @ 302.213
303.27/304.16 c bounds - >= -2570 @ 302.214
303.27/304.16 c bounds - >= -2569 @ 302.214
303.27/304.16 c bounds - >= -2568 @ 302.214
303.27/304.16 c bounds - >= -2567 @ 302.215
303.27/304.16 c bounds - >= -2566 @ 302.215
303.27/304.16 c bounds - >= -2565 @ 302.216
303.27/304.16 c bounds - >= -2564 @ 302.216
303.27/304.16 c bounds - >= -2563 @ 302.216
303.27/304.16 c bounds - >= -2562 @ 302.217
303.27/304.16 c bounds - >= -2561 @ 302.217
303.27/304.16 c bounds - >= -2560 @ 302.217
303.27/304.16 c bounds - >= -2559 @ 302.218
303.27/304.16 c bounds - >= -2558 @ 302.218
303.27/304.16 c bounds - >= -2557 @ 302.218
303.27/304.16 c bounds - >= -2556 @ 302.219
303.27/304.16 c bounds - >= -2555 @ 302.219
303.27/304.16 c bounds - >= -2554 @ 302.22
303.27/304.16 c bounds - >= -2553 @ 302.22
303.27/304.16 c bounds - >= -2552 @ 302.22
303.27/304.16 c bounds - >= -2551 @ 302.221
303.27/304.16 c bounds - >= -2550 @ 302.221
303.27/304.16 c bounds - >= -2549 @ 302.222
303.27/304.16 c bounds - >= -2548 @ 302.222
303.27/304.16 c bounds - >= -2547 @ 302.222
303.27/304.16 c bounds - >= -2546 @ 302.223
303.27/304.16 c bounds - >= -2545 @ 302.223
303.27/304.16 c bounds - >= -2544 @ 302.224
303.27/304.16 c bounds - >= -2543 @ 302.224
303.27/304.16 c bounds - >= -2542 @ 302.224
303.27/304.16 c bounds - >= -2541 @ 302.225
303.27/304.16 c bounds - >= -2540 @ 302.225
303.27/304.16 c bounds - >= -2539 @ 302.225
303.27/304.16 c bounds - >= -2538 @ 302.226
303.27/304.16 c bounds - >= -2537 @ 302.226
303.27/304.16 c bounds - >= -2536 @ 302.226
303.27/304.16 c bounds - >= -2535 @ 302.227
303.27/304.16 c bounds - >= -2534 @ 302.227
303.27/304.16 c bounds - >= -2533 @ 302.228
303.27/304.16 c bounds - >= -2532 @ 302.228
303.27/304.16 c bounds - >= -2531 @ 302.228
303.27/304.16 c bounds - >= -2530 @ 302.229
303.27/304.16 c bounds - >= -2529 @ 302.229
303.27/304.16 c bounds - >= -2528 @ 302.229
303.27/304.16 c bounds - >= -2527 @ 302.23
303.27/304.16 c bounds - >= -2526 @ 302.23
303.27/304.16 c bounds - >= -2525 @ 302.23
303.27/304.16 c bounds - >= -2524 @ 302.23
303.27/304.16 c bounds - >= -2523 @ 302.23
303.27/304.16 c bounds - >= -2522 @ 302.23
303.27/304.16 c bounds - >= -2521 @ 302.23
303.27/304.16 c bounds - >= -2520 @ 302.231
303.27/304.16 c bounds - >= -2519 @ 302.231
303.27/304.16 c bounds - >= -2518 @ 302.231
303.27/304.16 c bounds - >= -2517 @ 302.232
303.27/304.16 c bounds - >= -2516 @ 302.232
303.27/304.16 c bounds - >= -2515 @ 302.232
303.27/304.16 c bounds - >= -2514 @ 302.233
303.27/304.16 c bounds - >= -2513 @ 302.233
303.27/304.16 c bounds - >= -2512 @ 302.233
303.27/304.16 c bounds - >= -2511 @ 302.234
303.27/304.16 c bounds - >= -2510 @ 302.234
303.27/304.16 c bounds - >= -2509 @ 302.235
303.27/304.16 c bounds - >= -2508 @ 302.235
303.27/304.16 c bounds - >= -2507 @ 302.236
303.27/304.16 c bounds - >= -2506 @ 302.236
303.27/304.16 c bounds - >= -2505 @ 302.237
303.27/304.16 c bounds - >= -2504 @ 302.237
303.27/304.16 c bounds - >= -2503 @ 302.237
303.27/304.16 c bounds - >= -2502 @ 302.238
303.27/304.16 c bounds - >= -2501 @ 302.238
303.27/304.16 c bounds - >= -2500 @ 302.238
303.27/304.16 c bounds - >= -2499 @ 302.239
303.27/304.16 c bounds - >= -2498 @ 302.239
303.27/304.16 c bounds - >= -2497 @ 302.24
303.27/304.16 c bounds - >= -2496 @ 302.24
303.27/304.16 c bounds - >= -2495 @ 302.24
303.27/304.16 c bounds - >= -2494 @ 302.241
303.27/304.16 c bounds - >= -2493 @ 302.241
303.27/304.16 c bounds - >= -2492 @ 302.242
303.27/304.16 c bounds - >= -2491 @ 302.242
303.27/304.16 c bounds - >= -2490 @ 302.242
303.27/304.16 c bounds - >= -2489 @ 302.243
303.27/304.16 c bounds - >= -2488 @ 302.243
303.27/304.16 c bounds - >= -2487 @ 302.243
303.27/304.16 c bounds - >= -2486 @ 302.244
303.27/304.16 c bounds - >= -2485 @ 302.245
303.27/304.16 c bounds - >= -2484 @ 302.245
303.27/304.16 c bounds - >= -2483 @ 302.246
303.27/304.16 c bounds - >= -2482 @ 302.246
303.27/304.16 c bounds - >= -2481 @ 302.246
303.27/304.16 c bounds - >= -2480 @ 302.247
303.27/304.16 c bounds - >= -2479 @ 302.247
303.27/304.16 c bounds - >= -2478 @ 302.247
303.27/304.16 c bounds - >= -2477 @ 302.248
303.27/304.16 c bounds - >= -2476 @ 302.249
303.27/304.16 c bounds - >= -2475 @ 302.249
303.27/304.16 c bounds - >= -2474 @ 302.249
303.27/304.16 c bounds - >= -2473 @ 302.25
303.27/304.16 c bounds - >= -2472 @ 302.25
303.27/304.16 c bounds - >= -2471 @ 302.251
303.27/304.16 c bounds - >= -2470 @ 302.252
303.27/304.16 c bounds - >= -2469 @ 302.252
303.27/304.16 c bounds - >= -2468 @ 302.252
303.27/304.16 c bounds - >= -2467 @ 302.253
303.35/304.22 c bounds - >= -2466 @ 302.253
303.35/304.22 c bounds - >= -2465 @ 302.254
303.35/304.22 c bounds - >= -2464 @ 302.254
303.35/304.22 c bounds - >= -2463 @ 302.254
303.35/304.22 c bounds - >= -2462 @ 302.255
303.35/304.22 c bounds - >= -2461 @ 302.255
303.35/304.22 c bounds - >= -2460 @ 302.256
303.35/304.22 c bounds - >= -2459 @ 302.256
303.35/304.22 c bounds - >= -2458 @ 302.256
303.35/304.22 c bounds - >= -2457 @ 302.257
303.35/304.22 c bounds - >= -2456 @ 302.257
303.35/304.22 c bounds - >= -2455 @ 302.258
303.35/304.22 c bounds - >= -2454 @ 302.258
303.35/304.22 c bounds - >= -2453 @ 302.258
303.35/304.22 c bounds - >= -2452 @ 302.259
303.35/304.22 c bounds - >= -2451 @ 302.259
303.35/304.22 c bounds - >= -2450 @ 302.26
303.35/304.22 c bounds - >= -2449 @ 302.26
303.35/304.22 c bounds - >= -2448 @ 302.261
303.35/304.22 c bounds - >= -2447 @ 302.261
303.35/304.22 c bounds - >= -2446 @ 302.262
303.35/304.22 c bounds - >= -2445 @ 302.262
303.35/304.22 c bounds - >= -2444 @ 302.263
303.35/304.22 c bounds - >= -2443 @ 302.263
303.35/304.22 c bounds - >= -2442 @ 302.263
303.35/304.22 c bounds - >= -2441 @ 302.264
303.35/304.22 c bounds - >= -2440 @ 302.264
303.35/304.22 c bounds - >= -2439 @ 302.265
303.35/304.22 c bounds - >= -2438 @ 302.265
303.35/304.22 c bounds - >= -2437 @ 302.265
303.35/304.22 c bounds - >= -2436 @ 302.266
303.35/304.22 c bounds - >= -2435 @ 302.266
303.35/304.22 c bounds - >= -2434 @ 302.267
303.35/304.22 c bounds - >= -2433 @ 302.267
303.35/304.22 c bounds - >= -2432 @ 302.267
303.35/304.22 c bounds - >= -2431 @ 302.268
303.35/304.22 c bounds - >= -2430 @ 302.268
303.35/304.22 c bounds - >= -2429 @ 302.269
303.35/304.22 c bounds - >= -2428 @ 302.27
303.35/304.22 c bounds - >= -2427 @ 302.27
303.35/304.22 c bounds - >= -2426 @ 302.27
303.35/304.22 c bounds - >= -2425 @ 302.271
303.35/304.22 c bounds - >= -2424 @ 302.271
303.35/304.22 c bounds - >= -2423 @ 302.271
303.35/304.22 c bounds - >= -2422 @ 302.272
303.35/304.22 c bounds - >= -2421 @ 302.272
303.35/304.22 c bounds - >= -2420 @ 302.272
303.35/304.22 c bounds - >= -2419 @ 302.273
303.35/304.22 c bounds - >= -2418 @ 302.273
303.35/304.22 c bounds - >= -2417 @ 302.274
303.35/304.22 c bounds - >= -2416 @ 302.274
303.35/304.22 c bounds - >= -2415 @ 302.274
303.35/304.22 c bounds - >= -2414 @ 302.275
303.35/304.22 c bounds - >= -2413 @ 302.275
303.35/304.22 c bounds - >= -2412 @ 302.275
303.35/304.22 c bounds - >= -2411 @ 302.276
303.35/304.22 c bounds - >= -2410 @ 302.276
303.35/304.22 c bounds - >= -2409 @ 302.276
303.35/304.22 c bounds - >= -2408 @ 302.277
303.35/304.22 c bounds - >= -2407 @ 302.278
303.35/304.22 c bounds - >= -2406 @ 302.278
303.35/304.22 c bounds - >= -2405 @ 302.278
303.35/304.22 c bounds - >= -2404 @ 302.279
303.35/304.22 c bounds - >= -2403 @ 302.279
303.35/304.22 c bounds - >= -2402 @ 302.28
303.35/304.22 c bounds - >= -2401 @ 302.28
303.35/304.22 c bounds - >= -2400 @ 302.28
303.35/304.22 c bounds - >= -2399 @ 302.28
303.35/304.22 c bounds - >= -2398 @ 302.28
303.35/304.22 c bounds - >= -2397 @ 302.28
303.35/304.22 c bounds - >= -2396 @ 302.281
303.35/304.22 c bounds - >= -2395 @ 302.281
303.35/304.22 c bounds - >= -2394 @ 302.281
303.35/304.22 c bounds - >= -2393 @ 302.282
303.35/304.22 c bounds - >= -2392 @ 302.282
303.35/304.22 c bounds - >= -2391 @ 302.283
303.35/304.22 c bounds - >= -2390 @ 302.283
303.35/304.22 c bounds - >= -2389 @ 302.284
303.35/304.22 c bounds - >= -2388 @ 302.284
303.35/304.22 c bounds - >= -2387 @ 302.285
303.35/304.22 c bounds - >= -2386 @ 302.285
303.35/304.22 c bounds - >= -2385 @ 302.285
303.35/304.22 c bounds - >= -2384 @ 302.285
303.35/304.22 c bounds - >= -2383 @ 302.285
303.35/304.22 c bounds - >= -2382 @ 302.286
303.35/304.22 c bounds - >= -2381 @ 302.287
303.35/304.22 c bounds - >= -2380 @ 302.287
303.35/304.22 c bounds - >= -2379 @ 302.287
303.35/304.22 c bounds - >= -2378 @ 302.288
303.35/304.22 c bounds - >= -2377 @ 302.289
303.35/304.22 c bounds - >= -2376 @ 302.289
303.35/304.22 c bounds - >= -2375 @ 302.289
303.35/304.22 c bounds - >= -2374 @ 302.29
303.35/304.22 c bounds - >= -2373 @ 302.29
303.35/304.22 c bounds - >= -2372 @ 302.29
303.35/304.22 c bounds - >= -2371 @ 302.29
303.35/304.22 c bounds - >= -2370 @ 302.291
303.35/304.22 c bounds - >= -2369 @ 302.291
303.35/304.22 c bounds - >= -2368 @ 302.291
303.35/304.22 c bounds - >= -2367 @ 302.293
303.35/304.22 c bounds - >= -2366 @ 302.293
303.35/304.22 c bounds - >= -2365 @ 302.294
303.35/304.22 c bounds - >= -2364 @ 302.294
303.35/304.22 c bounds - >= -2363 @ 302.295
303.35/304.22 c bounds - >= -2362 @ 302.295
303.35/304.22 c bounds - >= -2361 @ 302.295
303.35/304.22 c bounds - >= -2360 @ 302.296
303.35/304.22 c bounds - >= -2359 @ 302.296
303.35/304.22 c bounds - >= -2358 @ 302.297
303.35/304.22 c bounds - >= -2357 @ 302.297
303.35/304.22 c bounds - >= -2356 @ 302.298
303.35/304.22 c bounds - >= -2355 @ 302.298
303.35/304.22 c bounds - >= -2354 @ 302.299
303.35/304.22 c bounds - >= -2353 @ 302.299
303.35/304.22 c bounds - >= -2352 @ 302.3
303.35/304.22 c bounds - >= -2351 @ 302.3
303.35/304.22 c bounds - >= -2350 @ 302.301
303.35/304.22 c bounds - >= -2349 @ 302.301
303.35/304.22 c bounds - >= -2348 @ 302.302
303.35/304.22 c bounds - >= -2347 @ 302.302
303.35/304.22 c bounds - >= -2346 @ 302.303
303.35/304.22 c bounds - >= -2345 @ 302.304
303.35/304.22 c bounds - >= -2344 @ 302.304
303.35/304.22 c bounds - >= -2343 @ 302.305
303.35/304.22 c bounds - >= -2342 @ 302.305
303.35/304.22 c bounds - >= -2341 @ 302.306
303.35/304.22 c bounds - >= -2340 @ 302.306
303.35/304.22 c bounds - >= -2339 @ 302.307
303.35/304.22 c bounds - >= -2338 @ 302.307
303.35/304.22 c bounds - >= -2337 @ 302.308
303.35/304.22 c bounds - >= -2336 @ 302.308
303.35/304.22 c bounds - >= -2335 @ 302.309
303.35/304.22 c bounds - >= -2334 @ 302.309
303.35/304.22 c bounds - >= -2333 @ 302.311
303.35/304.22 c bounds - >= -2332 @ 302.311
303.35/304.22 c bounds - >= -2331 @ 302.312
303.35/304.22 c bounds - >= -2330 @ 302.312
354.22/355.29 c bounds - >= -2329 @ 302.313
354.22/355.29 c bounds - >= -2328 @ 302.313
354.22/355.29 c bounds - >= -2327 @ 302.314
354.22/355.29 c bounds - >= -2326 @ 302.314
354.22/355.29 c bounds - >= -2325 @ 302.314
354.22/355.29 c bounds - >= -2324 @ 302.315
354.22/355.29 c bounds - >= -2323 @ 302.316
354.22/355.29 c bounds - >= -2322 @ 302.316
354.22/355.29 c bounds - >= -2321 @ 302.317
354.22/355.29 c bounds - >= -2320 @ 302.317
354.22/355.29 c bounds - >= -2319 @ 302.318
354.22/355.29 c bounds - >= -2318 @ 302.319
354.22/355.29 c bounds - >= -2317 @ 302.319
354.22/355.29 c bounds - >= -2316 @ 302.32
354.22/355.29 c bounds - >= -2315 @ 302.32
354.22/355.29 c bounds - >= -2314 @ 302.321
354.22/355.29 c bounds - >= -2313 @ 302.321
354.22/355.29 c bounds - >= -2312 @ 302.322
354.22/355.29 c bounds - >= -2311 @ 302.322
354.22/355.29 c bounds - >= -2310 @ 302.324
354.22/355.29 c bounds - >= -2309 @ 302.324
354.22/355.29 c bounds - >= -2308 @ 302.325
354.22/355.29 c bounds - >= -2307 @ 302.326
354.22/355.29 c bounds - >= -2306 @ 302.326
354.22/355.29 c bounds - >= -2305 @ 302.327
354.22/355.29 c bounds - >= -2304 @ 302.327
354.22/355.29 c bounds - >= -2303 @ 302.328
354.22/355.29 c bounds - >= -2302 @ 302.328
354.22/355.29 c bounds - >= -2301 @ 302.329
354.22/355.29 c bounds - >= -2300 @ 302.329
354.22/355.29 c bounds - >= -2299 @ 302.33
354.22/355.29 c bounds - >= -2298 @ 302.331
354.22/355.29 c bounds - >= -2297 @ 302.331
354.22/355.29 c bounds - >= -2296 @ 302.332
354.22/355.29 c bounds - >= -2295 @ 302.333
354.22/355.29 c bounds - >= -2294 @ 302.334
354.22/355.29 c bounds - >= -2293 @ 302.335
354.22/355.29 c bounds - >= -2292 @ 302.335
354.22/355.29 c bounds - >= -2291 @ 302.336
354.22/355.29 c bounds - >= -2290 @ 302.336
354.22/355.29 c bounds - >= -2289 @ 302.337
354.22/355.29 c bounds - >= -2288 @ 302.337
354.22/355.29 c bounds - >= -2287 @ 302.338
354.22/355.29 c bounds - >= -2286 @ 302.338
354.22/355.29 c bounds - >= -2285 @ 302.338
354.22/355.29 c bounds - >= -2284 @ 302.339
354.22/355.29 c bounds - >= -2283 @ 302.339
354.22/355.29 c bounds - >= -2282 @ 302.34
354.22/355.29 c bounds - >= -2281 @ 302.34
354.22/355.29 c bounds - >= -2280 @ 302.34
354.22/355.29 c bounds - >= -2279 @ 302.34
354.22/355.29 c bounds - >= -2278 @ 302.341
354.22/355.29 c bounds - >= -2277 @ 302.341
354.22/355.29 c bounds - >= -2276 @ 302.342
354.22/355.29 c bounds - >= -2275 @ 302.342
354.22/355.29 c bounds - >= -2274 @ 302.342
354.22/355.29 c bounds - >= -2273 @ 302.343
354.22/355.29 c bounds - >= -2272 @ 302.343
354.22/355.29 c bounds - >= -2271 @ 302.344
354.22/355.29 c bounds - >= -2270 @ 302.344
354.22/355.29 c bounds - >= -2269 @ 302.346
354.22/355.29 c bounds - >= -2268 @ 302.346
354.22/355.29 c bounds - >= -2267 @ 302.347
354.22/355.29 c bounds - >= -2266 @ 302.347
354.22/355.29 c bounds - >= -2265 @ 302.348
354.22/355.29 c bounds - >= -2264 @ 302.348
354.22/355.29 c bounds - >= -2263 @ 302.349
354.22/355.29 c bounds - >= -2262 @ 302.349
354.22/355.29 c bounds - >= -2261 @ 302.35
354.22/355.29 c bounds - >= -2260 @ 302.351
354.22/355.29 c bounds - >= -2259 @ 302.351
354.22/355.29 c bounds - >= -2258 @ 302.352
354.22/355.29 c bounds - >= -2257 @ 302.352
354.22/355.29 c bounds - >= -2256 @ 302.353
354.22/355.29 c bounds - >= -2255 @ 302.353
354.22/355.29 c bounds - >= -2254 @ 302.354
354.22/355.29 c bounds - >= -2253 @ 302.354
354.22/355.29 c bounds - >= -2252 @ 302.355
354.22/355.29 c bounds - >= -2251 @ 302.355
354.22/355.29 c bounds - >= -2250 @ 302.356
354.22/355.29 c bounds - >= -2249 @ 302.357
354.22/355.29 c bounds - >= -2248 @ 302.358
354.22/355.29 c bounds - >= -2247 @ 302.359
354.22/355.29 c bounds - >= -2246 @ 302.359
354.22/355.29 c bounds - >= -2245 @ 302.359
354.22/355.29 c bounds - >= -2244 @ 302.359
354.22/355.29 c bounds - >= -2243 @ 302.36
354.22/355.29 c bounds - >= -2242 @ 302.361
354.22/355.29 c bounds - >= -2241 @ 302.361
354.22/355.29 c bounds - >= -2240 @ 302.362
354.22/355.29 c bounds - >= -2239 @ 302.362
354.22/355.29 c bounds - >= -2238 @ 302.363
354.22/355.29 c bounds - >= -2237 @ 302.364
354.22/355.29 c bounds - >= -2236 @ 302.364
354.22/355.29 c bounds - >= -2235 @ 302.364
354.22/355.29 c bounds - >= -2234 @ 302.365
354.22/355.29 c bounds - >= -2233 @ 302.366
354.22/355.29 c bounds - >= -2232 @ 302.366
354.22/355.29 c bounds - >= -2231 @ 302.367
354.22/355.29 c bounds - >= -2230 @ 302.368
354.22/355.29 c bounds - >= -2229 @ 302.369
354.22/355.29 c bounds - >= -2228 @ 302.37
354.22/355.29 c #Conflicts: 1000 | #Constraints: 425956
354.22/355.29 c #Conflicts: 2000 | #Constraints: 426956
354.22/355.29 c INPROCESSING
354.22/355.29 c GARBAGE COLLECT
354.22/355.29 c #Conflicts: 3000 | #Constraints: 426011
354.22/355.29 c #Conflicts: 4000 | #Constraints: 427011
354.22/355.29 c INPROCESSING
354.22/355.29 c GARBAGE COLLECT
354.22/355.29 c #Conflicts: 5000 | #Constraints: 426402
354.22/355.29 c #Conflicts: 6000 | #Constraints: 427402
354.22/355.29 c bounds - >= -2227 @ 324.012
354.22/355.29 c INPROCESSING
354.22/355.29 c GARBAGE COLLECT
354.22/355.29 c #Conflicts: 7000 | #Constraints: 426399
354.22/355.29 c #Conflicts: 8000 | #Constraints: 427399
354.22/355.29 c #Conflicts: 9000 | #Constraints: 428399
354.22/355.29 c INPROCESSING
354.22/355.29 c GARBAGE COLLECT
354.22/355.29 c #Conflicts: 10000 | #Constraints: 427097
354.22/355.29 c #Conflicts: 11000 | #Constraints: 428097
354.22/355.29 c #Conflicts: 12000 | #Constraints: 429097
354.22/355.29 c INPROCESSING
354.22/355.29 c GARBAGE COLLECT
354.22/355.29 c #Conflicts: 13000 | #Constraints: 427545
354.22/355.29 c #Conflicts: 14000 | #Constraints: 428545
354.22/355.29 c #Conflicts: 15000 | #Constraints: 429545
354.22/355.29 c INPROCESSING
354.22/355.29 c GARBAGE COLLECT
354.22/355.29 c #Conflicts: 16000 | #Constraints: 427769
614.15/615.80 c #Conflicts: 17000 | #Constraints: 428769
614.15/615.80 c #Conflicts: 18000 | #Constraints: 429769
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 19000 | #Constraints: 427781
614.15/615.80 c #Conflicts: 20000 | #Constraints: 428781
614.15/615.80 c #Conflicts: 21000 | #Constraints: 429781
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 22000 | #Constraints: 427586
614.15/615.80 c #Conflicts: 23000 | #Constraints: 428586
614.15/615.80 c #Conflicts: 24000 | #Constraints: 429586
614.15/615.80 c #Conflicts: 25000 | #Constraints: 430586
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 26000 | #Constraints: 428189
614.15/615.80 c #Conflicts: 27000 | #Constraints: 429189
614.15/615.80 c #Conflicts: 28000 | #Constraints: 430189
614.15/615.80 c #Conflicts: 29000 | #Constraints: 431189
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 30000 | #Constraints: 428590
614.15/615.80 c #Conflicts: 31000 | #Constraints: 429590
614.15/615.80 c #Conflicts: 32000 | #Constraints: 430590
614.15/615.80 c #Conflicts: 33000 | #Constraints: 431590
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 34000 | #Constraints: 428792
614.15/615.80 c #Conflicts: 35000 | #Constraints: 429792
614.15/615.80 c #Conflicts: 36000 | #Constraints: 430792
614.15/615.80 c #Conflicts: 37000 | #Constraints: 431792
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 38000 | #Constraints: 428793
614.15/615.80 c #Conflicts: 39000 | #Constraints: 429793
614.15/615.80 c #Conflicts: 40000 | #Constraints: 430793
614.15/615.80 c #Conflicts: 41000 | #Constraints: 431793
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 42000 | #Constraints: 428592
614.15/615.80 c #Conflicts: 43000 | #Constraints: 429592
614.15/615.80 c #Conflicts: 44000 | #Constraints: 430592
614.15/615.80 c #Conflicts: 45000 | #Constraints: 431592
614.15/615.80 c #Conflicts: 46000 | #Constraints: 432592
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 47000 | #Constraints: 429194
614.15/615.80 c #Conflicts: 48000 | #Constraints: 430194
614.15/615.80 c #Conflicts: 49000 | #Constraints: 431194
614.15/615.80 c #Conflicts: 50000 | #Constraints: 432194
614.15/615.80 c #Conflicts: 51000 | #Constraints: 433194
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 52000 | #Constraints: 429597
614.15/615.80 c #Conflicts: 53000 | #Constraints: 430597
614.15/615.80 c #Conflicts: 54000 | #Constraints: 431597
614.15/615.80 c #Conflicts: 55000 | #Constraints: 432597
614.15/615.80 c #Conflicts: 56000 | #Constraints: 433597
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 57000 | #Constraints: 429798
614.15/615.80 c #Conflicts: 58000 | #Constraints: 430798
614.15/615.80 c #Conflicts: 59000 | #Constraints: 431798
614.15/615.80 c #Conflicts: 60000 | #Constraints: 432798
614.15/615.80 c #Conflicts: 61000 | #Constraints: 433798
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 62000 | #Constraints: 429798
614.15/615.80 c #Conflicts: 63000 | #Constraints: 430798
614.15/615.80 c #Conflicts: 64000 | #Constraints: 431798
614.15/615.80 c #Conflicts: 65000 | #Constraints: 432798
614.15/615.80 c #Conflicts: 66000 | #Constraints: 433798
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 67000 | #Constraints: 429598
614.15/615.80 c #Conflicts: 68000 | #Constraints: 430598
614.15/615.80 c #Conflicts: 69000 | #Constraints: 431598
614.15/615.80 c #Conflicts: 70000 | #Constraints: 432598
614.15/615.80 c #Conflicts: 71000 | #Constraints: 433598
614.15/615.80 c #Conflicts: 72000 | #Constraints: 434598
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 73000 | #Constraints: 430199
614.15/615.80 c #Conflicts: 74000 | #Constraints: 431199
614.15/615.80 c #Conflicts: 75000 | #Constraints: 432199
614.15/615.80 c #Conflicts: 76000 | #Constraints: 433199
614.15/615.80 c #Conflicts: 77000 | #Constraints: 434199
614.15/615.80 c #Conflicts: 78000 | #Constraints: 435199
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 79000 | #Constraints: 430600
614.15/615.80 c #Conflicts: 80000 | #Constraints: 431600
614.15/615.80 c #Conflicts: 81000 | #Constraints: 432600
614.15/615.80 c #Conflicts: 82000 | #Constraints: 433600
614.15/615.80 c #Conflicts: 83000 | #Constraints: 434600
614.15/615.80 c #Conflicts: 84000 | #Constraints: 435600
614.15/615.80 c INPROCESSING
614.15/615.80 c GARBAGE COLLECT
614.15/615.80 c #Conflicts: 85000 | #Constraints: 430797
956.41/959.01 c #Conflicts: 86000 | #Constraints: 431797
956.41/959.01 c #Conflicts: 87000 | #Constraints: 432797
956.41/959.01 c #Conflicts: 88000 | #Constraints: 433797
956.41/959.01 c #Conflicts: 89000 | #Constraints: 434797
956.41/959.01 c #Conflicts: 90000 | #Constraints: 435797
956.41/959.01 c INPROCESSING
956.41/959.01 c GARBAGE COLLECT
956.41/959.01 c #Conflicts: 91000 | #Constraints: 430795
956.41/959.01 c #Conflicts: 92000 | #Constraints: 431795
956.41/959.01 c #Conflicts: 93000 | #Constraints: 432795
956.41/959.01 c #Conflicts: 94000 | #Constraints: 433795
956.41/959.01 c #Conflicts: 95000 | #Constraints: 434795
956.41/959.01 c #Conflicts: 96000 | #Constraints: 435795
956.41/959.01 c INPROCESSING
956.41/959.01 c GARBAGE COLLECT
956.41/959.01 c #Conflicts: 97000 | #Constraints: 430596
956.41/959.01 c #Conflicts: 98000 | #Constraints: 431596
956.41/959.01 c #Conflicts: 99000 | #Constraints: 432596
956.41/959.01 c #Conflicts: 100000 | #Constraints: 433596
956.41/959.01 c #Conflicts: 101000 | #Constraints: 434596
956.41/959.01 c #Conflicts: 102000 | #Constraints: 435596
956.41/959.01 c #Conflicts: 103000 | #Constraints: 436596
956.41/959.01 c INPROCESSING
956.41/959.01 c GARBAGE COLLECT
956.41/959.01 c #Conflicts: 104000 | #Constraints: 431195
956.41/959.01 c #Conflicts: 105000 | #Constraints: 432195
956.41/959.01 c #Conflicts: 106000 | #Constraints: 433195
956.41/959.01 c #Conflicts: 107000 | #Constraints: 434195
956.41/959.01 c #Conflicts: 108000 | #Constraints: 435195
956.41/959.01 c #Conflicts: 109000 | #Constraints: 436195
956.41/959.01 c #Conflicts: 110000 | #Constraints: 437195
956.41/959.01 c INPROCESSING
956.41/959.01 c GARBAGE COLLECT
956.41/959.01 c #Conflicts: 111000 | #Constraints: 431597
956.41/959.01 c #Conflicts: 112000 | #Constraints: 432597
956.41/959.01 c #Conflicts: 113000 | #Constraints: 433597
956.41/959.01 c #Conflicts: 114000 | #Constraints: 434597
956.41/959.01 c #Conflicts: 115000 | #Constraints: 435597
956.41/959.01 c #Conflicts: 116000 | #Constraints: 436597
956.41/959.01 c #Conflicts: 117000 | #Constraints: 437597
956.41/959.01 c INPROCESSING
956.41/959.01 c GARBAGE COLLECT
956.41/959.01 c #Conflicts: 118000 | #Constraints: 431797
956.41/959.01 c #Conflicts: 119000 | #Constraints: 432797
956.41/959.01 c #Conflicts: 120000 | #Constraints: 433797
956.41/959.01 c #Conflicts: 121000 | #Constraints: 434797
956.41/959.01 c #Conflicts: 122000 | #Constraints: 435797
956.41/959.01 c #Conflicts: 123000 | #Constraints: 436797
956.41/959.01 c #Conflicts: 124000 | #Constraints: 437797
956.41/959.01 c INPROCESSING
956.41/959.01 c GARBAGE COLLECT
956.41/959.01 c #Conflicts: 125000 | #Constraints: 431800
956.41/959.01 c #Conflicts: 126000 | #Constraints: 432800
956.41/959.01 c #Conflicts: 127000 | #Constraints: 433800
956.41/959.01 c #Conflicts: 128000 | #Constraints: 434800
956.41/959.01 c #Conflicts: 129000 | #Constraints: 435800
956.41/959.01 c #Conflicts: 130000 | #Constraints: 436800
956.41/959.01 c #Conflicts: 131000 | #Constraints: 437800
956.41/959.01 c INPROCESSING
956.41/959.01 c GARBAGE COLLECT
956.41/959.01 c #Conflicts: 132000 | #Constraints: 431600
956.41/959.01 c #Conflicts: 133000 | #Constraints: 432600
956.41/959.01 c #Conflicts: 134000 | #Constraints: 433600
956.41/959.01 c #Conflicts: 135000 | #Constraints: 434600
956.41/959.01 c #Conflicts: 136000 | #Constraints: 435600
956.41/959.01 c #Conflicts: 137000 | #Constraints: 436600
956.41/959.01 c #Conflicts: 138000 | #Constraints: 437600
956.41/959.01 c #Conflicts: 139000 | #Constraints: 438600
956.41/959.01 c INPROCESSING
956.41/959.01 c GARBAGE COLLECT
956.41/959.01 c #Conflicts: 140000 | #Constraints: 432200
956.41/959.01 c #Conflicts: 141000 | #Constraints: 433200
956.41/959.01 c #Conflicts: 142000 | #Constraints: 434200
956.41/959.01 c #Conflicts: 143000 | #Constraints: 435200
956.41/959.01 c #Conflicts: 144000 | #Constraints: 436200
956.41/959.01 c #Conflicts: 145000 | #Constraints: 437200
956.41/959.01 c #Conflicts: 146000 | #Constraints: 438200
956.41/959.01 c #Conflicts: 147000 | #Constraints: 439200
956.41/959.01 c INPROCESSING
956.41/959.01 c GARBAGE COLLECT
956.41/959.01 c #Conflicts: 148000 | #Constraints: 432597
956.41/959.01 c #Conflicts: 149000 | #Constraints: 433597
956.41/959.01 c #Conflicts: 150000 | #Constraints: 434597
956.41/959.01 c #Conflicts: 151000 | #Constraints: 435597
956.41/959.01 c #Conflicts: 152000 | #Constraints: 436597
956.41/959.01 c #Conflicts: 153000 | #Constraints: 437597
956.41/959.01 c #Conflicts: 154000 | #Constraints: 438597
956.41/959.01 c #Conflicts: 155000 | #Constraints: 439597
956.41/959.01 c INPROCESSING
956.41/959.01 c GARBAGE COLLECT
956.41/959.01 c #Conflicts: 156000 | #Constraints: 432801
956.41/959.01 c #Conflicts: 157000 | #Constraints: 433801
956.41/959.01 c #Conflicts: 158000 | #Constraints: 434801
1406.95/1410.80 c #Conflicts: 159000 | #Constraints: 435801
1406.95/1410.80 c #Conflicts: 160000 | #Constraints: 436801
1406.95/1410.80 c #Conflicts: 161000 | #Constraints: 437801
1406.95/1410.80 c #Conflicts: 162000 | #Constraints: 438801
1406.95/1410.80 c #Conflicts: 163000 | #Constraints: 439801
1406.95/1410.80 c INPROCESSING
1406.95/1410.80 c GARBAGE COLLECT
1406.95/1410.80 c #Conflicts: 164000 | #Constraints: 432802
1406.95/1410.80 c #Conflicts: 165000 | #Constraints: 433802
1406.95/1410.80 c #Conflicts: 166000 | #Constraints: 434802
1406.95/1410.80 c #Conflicts: 167000 | #Constraints: 435802
1406.95/1410.80 c #Conflicts: 168000 | #Constraints: 436802
1406.95/1410.80 c #Conflicts: 169000 | #Constraints: 437802
1406.95/1410.80 c #Conflicts: 170000 | #Constraints: 438802
1406.95/1410.80 c #Conflicts: 171000 | #Constraints: 439802
1406.95/1410.80 c INPROCESSING
1406.95/1410.80 c GARBAGE COLLECT
1406.95/1410.80 c #Conflicts: 172000 | #Constraints: 432600
1406.95/1410.80 c #Conflicts: 173000 | #Constraints: 433600
1406.95/1410.80 c #Conflicts: 174000 | #Constraints: 434600
1406.95/1410.80 c #Conflicts: 175000 | #Constraints: 435600
1406.95/1410.80 c #Conflicts: 176000 | #Constraints: 436600
1406.95/1410.80 c #Conflicts: 177000 | #Constraints: 437600
1406.95/1410.80 c #Conflicts: 178000 | #Constraints: 438600
1406.95/1410.80 c #Conflicts: 179000 | #Constraints: 439600
1406.95/1410.80 c #Conflicts: 180000 | #Constraints: 440600
1406.95/1410.80 c INPROCESSING
1406.95/1410.80 c GARBAGE COLLECT
1406.95/1410.80 c #Conflicts: 181000 | #Constraints: 433196
1406.95/1410.80 c #Conflicts: 182000 | #Constraints: 434196
1406.95/1410.80 c #Conflicts: 183000 | #Constraints: 435196
1406.95/1410.80 c #Conflicts: 184000 | #Constraints: 436196
1406.95/1410.80 c #Conflicts: 185000 | #Constraints: 437196
1406.95/1410.80 c #Conflicts: 186000 | #Constraints: 438196
1406.95/1410.80 c #Conflicts: 187000 | #Constraints: 439196
1406.95/1410.80 c #Conflicts: 188000 | #Constraints: 440196
1406.95/1410.80 c #Conflicts: 189000 | #Constraints: 441196
1406.95/1410.80 c INPROCESSING
1406.95/1410.80 c GARBAGE COLLECT
1406.95/1410.80 c #Conflicts: 190000 | #Constraints: 433606
1406.95/1410.80 c #Conflicts: 191000 | #Constraints: 434606
1406.95/1410.80 c #Conflicts: 192000 | #Constraints: 435606
1406.95/1410.80 c #Conflicts: 193000 | #Constraints: 436606
1406.95/1410.80 c #Conflicts: 194000 | #Constraints: 437606
1406.95/1410.80 c #Conflicts: 195000 | #Constraints: 438606
1406.95/1410.80 c #Conflicts: 196000 | #Constraints: 439606
1406.95/1410.80 c #Conflicts: 197000 | #Constraints: 440606
1406.95/1410.80 c #Conflicts: 198000 | #Constraints: 441606
1406.95/1410.80 c INPROCESSING
1406.95/1410.80 c GARBAGE COLLECT
1406.95/1410.80 c #Conflicts: 199000 | #Constraints: 433805
1406.95/1410.80 c #Conflicts: 200000 | #Constraints: 434805
1406.95/1410.80 c #Conflicts: 201000 | #Constraints: 435805
1406.95/1410.80 c #Conflicts: 202000 | #Constraints: 436805
1406.95/1410.80 c #Conflicts: 203000 | #Constraints: 437805
1406.95/1410.80 c #Conflicts: 204000 | #Constraints: 438805
1406.95/1410.80 c #Conflicts: 205000 | #Constraints: 439805
1406.95/1410.80 c #Conflicts: 206000 | #Constraints: 440805
1406.95/1410.80 c #Conflicts: 207000 | #Constraints: 441805
1406.95/1410.80 c INPROCESSING
1406.95/1410.80 c GARBAGE COLLECT
1406.95/1410.80 c #Conflicts: 208000 | #Constraints: 433809
1406.95/1410.80 c #Conflicts: 209000 | #Constraints: 434809
1406.95/1410.80 c #Conflicts: 210000 | #Constraints: 435809
1406.95/1410.80 c #Conflicts: 211000 | #Constraints: 436809
1406.95/1410.80 c #Conflicts: 212000 | #Constraints: 437809
1406.95/1410.80 c #Conflicts: 213000 | #Constraints: 438809
1406.95/1410.80 c #Conflicts: 214000 | #Constraints: 439809
1406.95/1410.80 c #Conflicts: 215000 | #Constraints: 440809
1406.95/1410.80 c #Conflicts: 216000 | #Constraints: 441809
1406.95/1410.80 c INPROCESSING
1406.95/1410.80 c GARBAGE COLLECT
1406.95/1410.80 c #Conflicts: 217000 | #Constraints: 433606
1406.95/1410.80 c #Conflicts: 218000 | #Constraints: 434606
1406.95/1410.80 c #Conflicts: 219000 | #Constraints: 435606
1406.95/1410.80 c #Conflicts: 220000 | #Constraints: 436606
1406.95/1410.80 c #Conflicts: 221000 | #Constraints: 437606
1406.95/1410.80 c #Conflicts: 222000 | #Constraints: 438606
1406.95/1410.80 c #Conflicts: 223000 | #Constraints: 439606
1406.95/1410.80 c #Conflicts: 224000 | #Constraints: 440606
1406.95/1410.80 c #Conflicts: 225000 | #Constraints: 441606
1406.95/1410.80 c #Conflicts: 226000 | #Constraints: 442606
1406.95/1410.80 c INPROCESSING
1406.95/1410.80 c GARBAGE COLLECT
1406.95/1410.80 c #Conflicts: 227000 | #Constraints: 434205
1406.95/1410.80 c #Conflicts: 228000 | #Constraints: 435205
1406.95/1410.80 c #Conflicts: 229000 | #Constraints: 436205
1406.95/1410.80 c #Conflicts: 230000 | #Constraints: 437205
1406.95/1410.80 c #Conflicts: 231000 | #Constraints: 438205
1907.56/1912.90 c #Conflicts: 232000 | #Constraints: 439205
1907.56/1912.90 c #Conflicts: 233000 | #Constraints: 440205
1907.56/1912.90 c #Conflicts: 234000 | #Constraints: 441205
1907.56/1912.90 c #Conflicts: 235000 | #Constraints: 442205
1907.56/1912.90 c #Conflicts: 236000 | #Constraints: 443205
1907.56/1912.90 c INPROCESSING
1907.56/1912.90 c GARBAGE COLLECT
1907.56/1912.90 c #Conflicts: 237000 | #Constraints: 434599
1907.56/1912.90 c #Conflicts: 238000 | #Constraints: 435599
1907.56/1912.90 c #Conflicts: 239000 | #Constraints: 436599
1907.56/1912.90 c #Conflicts: 240000 | #Constraints: 437599
1907.56/1912.90 c #Conflicts: 241000 | #Constraints: 438599
1907.56/1912.90 c #Conflicts: 242000 | #Constraints: 439599
1907.56/1912.90 c #Conflicts: 243000 | #Constraints: 440599
1907.56/1912.90 c #Conflicts: 244000 | #Constraints: 441599
1907.56/1912.90 c #Conflicts: 245000 | #Constraints: 442599
1907.56/1912.90 c #Conflicts: 246000 | #Constraints: 443599
1907.56/1912.90 c INPROCESSING
1907.56/1912.90 c GARBAGE COLLECT
1907.56/1912.90 c #Conflicts: 247000 | #Constraints: 434801
1907.56/1912.90 c #Conflicts: 248000 | #Constraints: 435801
1907.56/1912.90 c #Conflicts: 249000 | #Constraints: 436801
1907.56/1912.90 c #Conflicts: 250000 | #Constraints: 437801
1907.56/1912.90 c #Conflicts: 251000 | #Constraints: 438801
1907.56/1912.90 c #Conflicts: 252000 | #Constraints: 439801
1907.56/1912.90 c #Conflicts: 253000 | #Constraints: 440801
1907.56/1912.90 c #Conflicts: 254000 | #Constraints: 441801
1907.56/1912.90 c #Conflicts: 255000 | #Constraints: 442801
1907.56/1912.90 c #Conflicts: 256000 | #Constraints: 443801
1907.56/1912.90 c INPROCESSING
1907.56/1912.90 c GARBAGE COLLECT
1907.56/1912.90 c #Conflicts: 257000 | #Constraints: 434803
1907.56/1912.90 c #Conflicts: 258000 | #Constraints: 435803
1907.56/1912.90 c #Conflicts: 259000 | #Constraints: 436803
1907.56/1912.90 c #Conflicts: 260000 | #Constraints: 437803
1907.56/1912.90 c #Conflicts: 261000 | #Constraints: 438803
1907.56/1912.90 c #Conflicts: 262000 | #Constraints: 439803
1907.56/1912.90 c #Conflicts: 263000 | #Constraints: 440803
1907.56/1912.90 c #Conflicts: 264000 | #Constraints: 441803
1907.56/1912.90 c #Conflicts: 265000 | #Constraints: 442803
1907.56/1912.90 c #Conflicts: 266000 | #Constraints: 443803
1907.56/1912.90 c INPROCESSING
1907.56/1912.90 c GARBAGE COLLECT
1907.56/1912.90 c #Conflicts: 267000 | #Constraints: 434603
1907.56/1912.90 c #Conflicts: 268000 | #Constraints: 435603
1907.56/1912.90 c #Conflicts: 269000 | #Constraints: 436603
1907.56/1912.90 c #Conflicts: 270000 | #Constraints: 437603
1907.56/1912.90 c #Conflicts: 271000 | #Constraints: 438603
1907.56/1912.90 c #Conflicts: 272000 | #Constraints: 439603
1907.56/1912.90 c #Conflicts: 273000 | #Constraints: 440603
1907.56/1912.90 c #Conflicts: 274000 | #Constraints: 441603
1907.56/1912.90 c #Conflicts: 275000 | #Constraints: 442603
1907.56/1912.90 c #Conflicts: 276000 | #Constraints: 443603
1907.56/1912.90 c #Conflicts: 277000 | #Constraints: 444603
1907.56/1912.90 c INPROCESSING
1907.56/1912.90 c GARBAGE COLLECT
1907.56/1912.90 c #Conflicts: 278000 | #Constraints: 435198
1907.56/1912.90 c #Conflicts: 279000 | #Constraints: 436198
1907.56/1912.90 c #Conflicts: 280000 | #Constraints: 437198
1907.56/1912.90 c #Conflicts: 281000 | #Constraints: 438198
1907.56/1912.90 c #Conflicts: 282000 | #Constraints: 439198
1907.56/1912.90 c #Conflicts: 283000 | #Constraints: 440198
1907.56/1912.90 c #Conflicts: 284000 | #Constraints: 441198
1907.56/1912.90 c #Conflicts: 285000 | #Constraints: 442198
1907.56/1912.90 c #Conflicts: 286000 | #Constraints: 443198
1907.56/1912.90 c #Conflicts: 287000 | #Constraints: 444198
1907.56/1912.90 c #Conflicts: 288000 | #Constraints: 445198
1907.56/1912.90 c INPROCESSING
1907.56/1912.90 c GARBAGE COLLECT
1907.56/1912.90 c #Conflicts: 289000 | #Constraints: 435600
1907.56/1912.90 c #Conflicts: 290000 | #Constraints: 436600
1907.56/1912.90 c #Conflicts: 291000 | #Constraints: 437600
1907.56/1912.90 c #Conflicts: 292000 | #Constraints: 438600
1907.56/1912.90 c #Conflicts: 293000 | #Constraints: 439600
1907.56/1912.90 c #Conflicts: 294000 | #Constraints: 440600
1907.56/1912.90 c #Conflicts: 295000 | #Constraints: 441600
1907.56/1912.90 c #Conflicts: 296000 | #Constraints: 442600
1907.56/1912.90 c #Conflicts: 297000 | #Constraints: 443600
1907.56/1912.90 c #Conflicts: 298000 | #Constraints: 444600
1907.56/1912.90 c #Conflicts: 299000 | #Constraints: 445600
1907.56/1912.90 c INPROCESSING
1907.56/1912.90 c GARBAGE COLLECT
1907.56/1912.90 c #Conflicts: 300000 | #Constraints: 435800
1907.56/1912.90 c #Conflicts: 301000 | #Constraints: 436800
1907.56/1912.90 c #Conflicts: 302000 | #Constraints: 437800
1907.56/1912.90 c #Conflicts: 303000 | #Constraints: 438800
1907.56/1912.90 c #Conflicts: 304000 | #Constraints: 439800
1907.56/1912.90 c #Conflicts: 305000 | #Constraints: 440800
1907.56/1912.90 c #Conflicts: 306000 | #Constraints: 441800
2474.32/2481.18 c #Conflicts: 307000 | #Constraints: 442800
2474.32/2481.18 c #Conflicts: 308000 | #Constraints: 443800
2474.32/2481.18 c #Conflicts: 309000 | #Constraints: 444800
2474.32/2481.18 c #Conflicts: 310000 | #Constraints: 445800
2474.32/2481.18 c INPROCESSING
2474.32/2481.18 c GARBAGE COLLECT
2474.32/2481.18 c #Conflicts: 311000 | #Constraints: 435802
2474.32/2481.18 c #Conflicts: 312000 | #Constraints: 436802
2474.32/2481.18 c #Conflicts: 313000 | #Constraints: 437802
2474.32/2481.18 c #Conflicts: 314000 | #Constraints: 438802
2474.32/2481.18 c #Conflicts: 315000 | #Constraints: 439802
2474.32/2481.18 c #Conflicts: 316000 | #Constraints: 440802
2474.32/2481.18 c #Conflicts: 317000 | #Constraints: 441802
2474.32/2481.18 c #Conflicts: 318000 | #Constraints: 442802
2474.32/2481.18 c #Conflicts: 319000 | #Constraints: 443802
2474.32/2481.18 c #Conflicts: 320000 | #Constraints: 444802
2474.32/2481.18 c #Conflicts: 321000 | #Constraints: 445802
2474.32/2481.18 c INPROCESSING
2474.32/2481.18 c GARBAGE COLLECT
2474.32/2481.18 c #Conflicts: 322000 | #Constraints: 435604
2474.32/2481.18 c #Conflicts: 323000 | #Constraints: 436604
2474.32/2481.18 c #Conflicts: 324000 | #Constraints: 437604
2474.32/2481.18 c #Conflicts: 325000 | #Constraints: 438604
2474.32/2481.18 c #Conflicts: 326000 | #Constraints: 439604
2474.32/2481.18 c #Conflicts: 327000 | #Constraints: 440604
2474.32/2481.18 c #Conflicts: 328000 | #Constraints: 441604
2474.32/2481.18 c #Conflicts: 329000 | #Constraints: 442604
2474.32/2481.18 c #Conflicts: 330000 | #Constraints: 443604
2474.32/2481.18 c #Conflicts: 331000 | #Constraints: 444604
2474.32/2481.18 c #Conflicts: 332000 | #Constraints: 445604
2474.32/2481.18 c #Conflicts: 333000 | #Constraints: 446604
2474.32/2481.18 c INPROCESSING
2474.32/2481.18 c GARBAGE COLLECT
2474.32/2481.18 c #Conflicts: 334000 | #Constraints: 436203
2474.32/2481.18 c #Conflicts: 335000 | #Constraints: 437203
2474.32/2481.18 c #Conflicts: 336000 | #Constraints: 438203
2474.32/2481.18 c #Conflicts: 337000 | #Constraints: 439203
2474.32/2481.18 c #Conflicts: 338000 | #Constraints: 440203
2474.32/2481.18 c #Conflicts: 339000 | #Constraints: 441203
2474.32/2481.18 c #Conflicts: 340000 | #Constraints: 442203
2474.32/2481.18 c #Conflicts: 341000 | #Constraints: 443203
2474.32/2481.18 c #Conflicts: 342000 | #Constraints: 444203
2474.32/2481.18 c #Conflicts: 343000 | #Constraints: 445203
2474.32/2481.18 c #Conflicts: 344000 | #Constraints: 446203
2474.32/2481.18 c #Conflicts: 345000 | #Constraints: 447203
2474.32/2481.18 c INPROCESSING
2474.32/2481.18 c GARBAGE COLLECT
2474.32/2481.18 c #Conflicts: 346000 | #Constraints: 436600
2474.32/2481.18 c #Conflicts: 347000 | #Constraints: 437600
2474.32/2481.18 c #Conflicts: 348000 | #Constraints: 438600
2474.32/2481.18 c #Conflicts: 349000 | #Constraints: 439600
2474.32/2481.18 c #Conflicts: 350000 | #Constraints: 440600
2474.32/2481.18 c #Conflicts: 351000 | #Constraints: 441600
2474.32/2481.18 c #Conflicts: 352000 | #Constraints: 442600
2474.32/2481.18 c #Conflicts: 353000 | #Constraints: 443600
2474.32/2481.18 c #Conflicts: 354000 | #Constraints: 444600
2474.32/2481.18 c #Conflicts: 355000 | #Constraints: 445600
2474.32/2481.18 c #Conflicts: 356000 | #Constraints: 446600
2474.32/2481.18 c #Conflicts: 357000 | #Constraints: 447600
2474.32/2481.18 c INPROCESSING
2474.32/2481.18 c GARBAGE COLLECT
2474.32/2481.18 c #Conflicts: 358000 | #Constraints: 436801
2474.32/2481.18 c #Conflicts: 359000 | #Constraints: 437801
2474.32/2481.18 c #Conflicts: 360000 | #Constraints: 438801
2474.32/2481.18 c #Conflicts: 361000 | #Constraints: 439801
2474.32/2481.18 c #Conflicts: 362000 | #Constraints: 440801
2474.32/2481.18 c #Conflicts: 363000 | #Constraints: 441801
2474.32/2481.18 c #Conflicts: 364000 | #Constraints: 442801
2474.32/2481.18 c #Conflicts: 365000 | #Constraints: 443801
2474.32/2481.18 c #Conflicts: 366000 | #Constraints: 444801
2474.32/2481.18 c #Conflicts: 367000 | #Constraints: 445801
2474.32/2481.18 c #Conflicts: 368000 | #Constraints: 446801
2474.32/2481.18 c #Conflicts: 369000 | #Constraints: 447801
2474.32/2481.18 c INPROCESSING
2474.32/2481.18 c GARBAGE COLLECT
2474.32/2481.18 c #Conflicts: 370000 | #Constraints: 436802
2474.32/2481.18 c #Conflicts: 371000 | #Constraints: 437802
2474.32/2481.18 c #Conflicts: 372000 | #Constraints: 438802
2474.32/2481.18 c #Conflicts: 373000 | #Constraints: 439802
2474.32/2481.18 c #Conflicts: 374000 | #Constraints: 440802
2474.32/2481.18 c #Conflicts: 375000 | #Constraints: 441802
2474.32/2481.18 c #Conflicts: 376000 | #Constraints: 442802
2474.32/2481.18 c #Conflicts: 377000 | #Constraints: 443802
2474.32/2481.18 c #Conflicts: 378000 | #Constraints: 444802
2474.32/2481.18 c #Conflicts: 379000 | #Constraints: 445802
2474.32/2481.18 c #Conflicts: 380000 | #Constraints: 446802
2474.32/2481.18 c #Conflicts: 381000 | #Constraints: 447802
3095.61/3104.16 c INPROCESSING
3095.61/3104.16 c GARBAGE COLLECT
3095.61/3104.16 c #Conflicts: 382000 | #Constraints: 436601
3095.61/3104.16 c #Conflicts: 383000 | #Constraints: 437601
3095.61/3104.16 c #Conflicts: 384000 | #Constraints: 438601
3095.61/3104.16 c #Conflicts: 385000 | #Constraints: 439601
3095.61/3104.16 c #Conflicts: 386000 | #Constraints: 440601
3095.61/3104.16 c #Conflicts: 387000 | #Constraints: 441601
3095.61/3104.16 c #Conflicts: 388000 | #Constraints: 442601
3095.61/3104.16 c #Conflicts: 389000 | #Constraints: 443601
3095.61/3104.16 c #Conflicts: 390000 | #Constraints: 444601
3095.61/3104.16 c #Conflicts: 391000 | #Constraints: 445601
3095.61/3104.16 c #Conflicts: 392000 | #Constraints: 446601
3095.61/3104.16 c #Conflicts: 393000 | #Constraints: 447601
3095.61/3104.16 c #Conflicts: 394000 | #Constraints: 448601
3095.61/3104.16 c INPROCESSING
3095.61/3104.16 c GARBAGE COLLECT
3095.61/3104.16 c #Conflicts: 395000 | #Constraints: 437199
3095.61/3104.16 c #Conflicts: 396000 | #Constraints: 438199
3095.61/3104.16 c #Conflicts: 397000 | #Constraints: 439199
3095.61/3104.16 c #Conflicts: 398000 | #Constraints: 440199
3095.61/3104.16 c #Conflicts: 399000 | #Constraints: 441199
3095.61/3104.16 c #Conflicts: 400000 | #Constraints: 442199
3095.61/3104.16 c #Conflicts: 401000 | #Constraints: 443199
3095.61/3104.16 c #Conflicts: 402000 | #Constraints: 444199
3095.61/3104.16 c #Conflicts: 403000 | #Constraints: 445199
3095.61/3104.16 c #Conflicts: 404000 | #Constraints: 446199
3095.61/3104.16 c #Conflicts: 405000 | #Constraints: 447199
3095.61/3104.16 c #Conflicts: 406000 | #Constraints: 448199
3095.61/3104.16 c #Conflicts: 407000 | #Constraints: 449199
3095.61/3104.16 c INPROCESSING
3095.61/3104.16 c GARBAGE COLLECT
3095.61/3104.16 c #Conflicts: 408000 | #Constraints: 437602
3095.61/3104.16 c #Conflicts: 409000 | #Constraints: 438602
3095.61/3104.16 c #Conflicts: 410000 | #Constraints: 439602
3095.61/3104.16 c #Conflicts: 411000 | #Constraints: 440602
3095.61/3104.16 c #Conflicts: 412000 | #Constraints: 441602
3095.61/3104.16 c #Conflicts: 413000 | #Constraints: 442602
3095.61/3104.16 c #Conflicts: 414000 | #Constraints: 443602
3095.61/3104.16 c #Conflicts: 415000 | #Constraints: 444602
3095.61/3104.16 c #Conflicts: 416000 | #Constraints: 445602
3095.61/3104.16 c #Conflicts: 417000 | #Constraints: 446602
3095.61/3104.16 c #Conflicts: 418000 | #Constraints: 447602
3095.61/3104.16 c #Conflicts: 419000 | #Constraints: 448602
3095.61/3104.16 c #Conflicts: 420000 | #Constraints: 449602
3095.61/3104.16 c INPROCESSING
3095.61/3104.16 c GARBAGE COLLECT
3095.61/3104.16 c #Conflicts: 421000 | #Constraints: 437807
3095.61/3104.16 c #Conflicts: 422000 | #Constraints: 438807
3095.61/3104.16 c #Conflicts: 423000 | #Constraints: 439807
3095.61/3104.16 c #Conflicts: 424000 | #Constraints: 440807
3095.61/3104.16 c #Conflicts: 425000 | #Constraints: 441807
3095.61/3104.16 c #Conflicts: 426000 | #Constraints: 442807
3095.61/3104.16 c #Conflicts: 427000 | #Constraints: 443807
3095.61/3104.16 c #Conflicts: 428000 | #Constraints: 444807
3095.61/3104.16 c #Conflicts: 429000 | #Constraints: 445807
3095.61/3104.16 c #Conflicts: 430000 | #Constraints: 446807
3095.61/3104.16 c #Conflicts: 431000 | #Constraints: 447807
3095.61/3104.16 c #Conflicts: 432000 | #Constraints: 448807
3095.61/3104.16 c #Conflicts: 433000 | #Constraints: 449807
3095.61/3104.16 c INPROCESSING
3095.61/3104.16 c GARBAGE COLLECT
3095.61/3104.16 c #Conflicts: 434000 | #Constraints: 437804
3095.61/3104.16 c #Conflicts: 435000 | #Constraints: 438804
3095.61/3104.16 c #Conflicts: 436000 | #Constraints: 439804
3095.61/3104.16 c #Conflicts: 437000 | #Constraints: 440804
3095.61/3104.16 c #Conflicts: 438000 | #Constraints: 441804
3095.61/3104.16 c #Conflicts: 439000 | #Constraints: 442804
3095.61/3104.16 c #Conflicts: 440000 | #Constraints: 443804
3095.61/3104.16 c #Conflicts: 441000 | #Constraints: 444804
3095.61/3104.16 c #Conflicts: 442000 | #Constraints: 445804
3095.61/3104.16 c #Conflicts: 443000 | #Constraints: 446804
3095.61/3104.16 c #Conflicts: 444000 | #Constraints: 447804
3095.61/3104.16 c #Conflicts: 445000 | #Constraints: 448804
3095.61/3104.16 c #Conflicts: 446000 | #Constraints: 449804
3095.61/3104.16 c INPROCESSING
3095.61/3104.16 c GARBAGE COLLECT
3095.61/3104.16 c #Conflicts: 447000 | #Constraints: 437609
3095.61/3104.16 c #Conflicts: 448000 | #Constraints: 438609
3095.61/3104.16 c #Conflicts: 449000 | #Constraints: 439609
3095.61/3104.16 c #Conflicts: 450000 | #Constraints: 440609
3095.61/3104.16 c #Conflicts: 451000 | #Constraints: 441609
3095.61/3104.16 c #Conflicts: 452000 | #Constraints: 442609
3095.61/3104.16 c #Conflicts: 453000 | #Constraints: 443609
3095.61/3104.16 c #Conflicts: 454000 | #Constraints: 444609
3095.61/3104.16 c #Conflicts: 455000 | #Constraints: 445609
3573.02/3582.97 c #Conflicts: 456000 | #Constraints: 446609
3573.02/3582.97 c #Conflicts: 457000 | #Constraints: 447609
3573.02/3582.97 c #Conflicts: 458000 | #Constraints: 448609
3573.02/3582.97 c #Conflicts: 459000 | #Constraints: 449609
3573.02/3582.97 c #Conflicts: 460000 | #Constraints: 450609
3573.02/3582.97 c INPROCESSING
3573.02/3582.97 c GARBAGE COLLECT
3573.02/3582.97 c #Conflicts: 461000 | #Constraints: 438208
3573.02/3582.97 c #Conflicts: 462000 | #Constraints: 439208
3573.02/3582.97 c #Conflicts: 463000 | #Constraints: 440208
3573.02/3582.97 c #Conflicts: 464000 | #Constraints: 441208
3573.02/3582.97 c #Conflicts: 465000 | #Constraints: 442208
3573.02/3582.97 c #Conflicts: 466000 | #Constraints: 443208
3573.02/3582.97 c #Conflicts: 467000 | #Constraints: 444208
3573.02/3582.97 c #Conflicts: 468000 | #Constraints: 445208
3573.02/3582.97 c #Conflicts: 469000 | #Constraints: 446208
3573.02/3582.97 c #Conflicts: 470000 | #Constraints: 447208
3573.02/3582.97 c #Conflicts: 471000 | #Constraints: 448208
3573.02/3582.97 c #Conflicts: 472000 | #Constraints: 449208
3573.02/3582.97 c #Conflicts: 473000 | #Constraints: 450208
3573.02/3582.97 c #Conflicts: 474000 | #Constraints: 451208
3573.02/3582.97 c INPROCESSING
3573.02/3582.97 c GARBAGE COLLECT
3573.02/3582.97 c #Conflicts: 475000 | #Constraints: 438611
3573.02/3582.97 c #Conflicts: 476000 | #Constraints: 439611
3573.02/3582.97 c #Conflicts: 477000 | #Constraints: 440611
3573.02/3582.97 c #Conflicts: 478000 | #Constraints: 441611
3573.02/3582.97 c #Conflicts: 479000 | #Constraints: 442611
3573.02/3582.97 c #Conflicts: 480000 | #Constraints: 443611
3573.02/3582.97 c #Conflicts: 481000 | #Constraints: 444611
3573.02/3582.97 c #Conflicts: 482000 | #Constraints: 445611
3573.02/3582.97 c #Conflicts: 483000 | #Constraints: 446611
3573.02/3582.97 c #Conflicts: 484000 | #Constraints: 447611
3573.02/3582.97 c #Conflicts: 485000 | #Constraints: 448611
3573.02/3582.97 c #Conflicts: 486000 | #Constraints: 449611
3573.02/3582.97 c #Conflicts: 487000 | #Constraints: 450611
3573.02/3582.97 c #Conflicts: 488000 | #Constraints: 451611
3573.02/3582.97 c INPROCESSING
3573.02/3582.97 c GARBAGE COLLECT
3573.02/3582.97 c #Conflicts: 489000 | #Constraints: 438806
3573.02/3582.97 c #Conflicts: 490000 | #Constraints: 439806
3573.02/3582.97 c #Conflicts: 491000 | #Constraints: 440806
3573.02/3582.97 c #Conflicts: 492000 | #Constraints: 441806
3573.02/3582.97 c #Conflicts: 493000 | #Constraints: 442806
3573.02/3582.97 c #Conflicts: 494000 | #Constraints: 443806
3573.02/3582.97 c #Conflicts: 495000 | #Constraints: 444806
3573.02/3582.97 c #Conflicts: 496000 | #Constraints: 445806
3573.02/3582.97 c #Conflicts: 497000 | #Constraints: 446806
3573.02/3582.97 c #Conflicts: 498000 | #Constraints: 447806
3573.02/3582.97 c #Conflicts: 499000 | #Constraints: 448806
3573.02/3582.97 c #Conflicts: 500000 | #Constraints: 449806
3573.02/3582.97 c #Conflicts: 501000 | #Constraints: 450806
3573.02/3582.97 c #Conflicts: 502000 | #Constraints: 451806
3573.02/3582.97 c INPROCESSING
3573.02/3582.97 c GARBAGE COLLECT
3573.02/3582.97 c #Conflicts: 503000 | #Constraints: 438809
3573.02/3582.97 c #Conflicts: 504000 | #Constraints: 439809
3573.02/3582.97 c #Conflicts: 505000 | #Constraints: 440809
3573.02/3582.97 c #Conflicts: 506000 | #Constraints: 441809
3573.02/3582.97 c #Conflicts: 507000 | #Constraints: 442809
3573.02/3582.97 c #Conflicts: 508000 | #Constraints: 443809
3573.02/3582.97 c #Conflicts: 509000 | #Constraints: 444809
3573.02/3582.97 c #Conflicts: 510000 | #Constraints: 445809
3573.02/3582.97 c #Conflicts: 511000 | #Constraints: 446809
3573.02/3582.97 c #Conflicts: 512000 | #Constraints: 447809
3573.02/3582.97 c #Conflicts: 513000 | #Constraints: 448809
3573.02/3582.97 c #Conflicts: 514000 | #Constraints: 449809
3573.02/3582.97 c #Conflicts: 515000 | #Constraints: 450809
3573.02/3582.97 c #Conflicts: 516000 | #Constraints: 451809
3573.02/3582.97 c INPROCESSING
3573.02/3582.97 c GARBAGE COLLECT
3573.02/3582.97 c #Conflicts: 517000 | #Constraints: 438604
3573.02/3582.97 c #Conflicts: 518000 | #Constraints: 439604
3573.02/3582.97 c #Conflicts: 519000 | #Constraints: 440604
3573.02/3582.97 c #Conflicts: 520000 | #Constraints: 441604
3573.02/3582.97 c #Conflicts: 521000 | #Constraints: 442604
3573.02/3582.97 c #Conflicts: 522000 | #Constraints: 443604
3573.02/3582.97 c #Conflicts: 523000 | #Constraints: 444604
3573.02/3582.97 c #Conflicts: 524000 | #Constraints: 445604
3573.02/3582.97 c #Conflicts: 525000 | #Constraints: 446604
3573.02/3582.97 c #Conflicts: 526000 | #Constraints: 447604
3573.02/3582.97 c #Conflicts: 527000 | #Constraints: 448604
3573.02/3582.97 c #Conflicts: 528000 | #Constraints: 449604
3573.02/3582.97 c #Conflicts: 529000 | #Constraints: 450604
3573.02/3582.97 c #Conflicts: 530000 | #Constraints: 451604
3573.02/3582.97 c #Conflicts: 531000 | #Constraints: 452604
3600.06/3610.01 c INPROCESSING
3600.06/3610.01 c GARBAGE COLLECT
3600.06/3610.01 c #Conflicts: 532000 | #Constraints: 439211
3600.06/3610.01 c #Conflicts: 533000 | #Constraints: 440211
3600.06/3610.01 c #Conflicts: 534000 | #Constraints: 441211
3600.06/3610.01 c #Conflicts: 535000 | #Constraints: 442211
3600.06/3610.01 c #Conflicts: 536000 | #Constraints: 443211
3600.06/3610.01 c Program interrupted by user.
3600.06/3610.01 c cpu time 3595.81 s
3600.06/3610.01 c deterministic time 96817306456 9.68e+10
3600.06/3610.01 c optimization time 25.8548 s
3600.06/3610.01 c total solve time 3267.96 s
3600.06/3610.01 c core-guided solve time 3267.96 s
3600.06/3610.01 c propagation time 1224.33 s
3600.06/3610.01 c conflict analysis time 2007.61 s
3600.06/3610.01 c propagations 325045232
3600.06/3610.01 c resolve steps 43364782
3600.06/3610.01 c decisions 686248
3600.06/3610.01 c conflicts 536453
3600.06/3610.01 c restarts 1110
3600.06/3610.01 c inprocessing phases 64
3600.06/3610.01 c input clauses 423981
3600.06/3610.01 c input cardinalities 926
3600.06/3610.01 c input general constraints 0
3600.06/3610.01 c input average constraint length 9.87
3600.06/3610.01 c input average constraint degree 2.01
3600.06/3610.01 c learned clauses 523672
3600.06/3610.01 c learned cardinalities 370
3600.06/3610.01 c learned general constraints 12461
3600.06/3610.01 c learned average constraint length 1248.00
3600.06/3610.01 c learned average constraint degree 32.18
3600.06/3610.01 c watched constraints 3144
3600.06/3610.01 c counting constraints 9317
3600.06/3610.01 c gcd simplifications 194878
3600.06/3610.01 c detected cardinalities 1
3600.06/3610.01 c weakened non-implied lits 855328799
3600.06/3610.01 c weakened non-implying lits 2514863
3600.06/3610.01 c original variables 3741
3600.06/3610.01 c clausal propagations 108624791
3600.06/3610.01 c cardinality propagations 655113
3600.06/3610.01 c watched propagations 15747
3600.06/3610.01 c counting propagations 214226332
3600.06/3610.01 c watch lookups 32905655903
3600.06/3610.01 c watch backjump lookups 29782511029
3600.06/3610.01 c watch checks 24898506045
3600.06/3610.01 c propagation checks 4968192852
3600.06/3610.01 c constraint additions 3610444097
3600.06/3610.01 c trail pops 326265049
3600.06/3610.01 c formula constraints 423980
3600.06/3610.01 c learned constraints 536503
3600.06/3610.01 c bound constraints 927
3600.06/3610.01 c core-guided constraints 0
3600.06/3610.01 c encountered formula constraints 42393819
3600.06/3610.01 c encountered learned constraints 1506488
3600.06/3610.01 c encountered bound constraints 928
3600.06/3610.01 c encountered core-guided constraints 0
3600.06/3610.01 c LP total time 0 s
3600.06/3610.01 c LP solve time 0 s
3600.06/3610.01 c LP constraints added 0
3600.06/3610.01 c LP constraints removed 0
3600.06/3610.01 c LP pivots internal 0
3600.06/3610.01 c LP pivots root 0
3600.06/3610.01 c LP calls 0
3600.06/3610.01 c LP optimalities 0
3600.06/3610.01 c LP no pivot count 0
3600.06/3610.01 c LP infeasibilities 0
3600.06/3610.01 c LP valid Farkas constraints 0
3600.06/3610.01 c LP learned Farkas constraints 0
3600.06/3610.01 c LP basis resets 0
3600.06/3610.01 c LP cycling count 0
3600.06/3610.01 c LP singular count 0
3600.06/3610.01 c LP no primal count 0
3600.06/3610.01 c LP no farkas count 0
3600.06/3610.01 c LP other issue count 0
3600.06/3610.01 c LP Gomory cuts 0
3600.06/3610.01 c LP learned cuts 0
3600.06/3610.01 c LP deleted cuts 0
3600.06/3610.01 c LP encountered Gomory constraints 0
3600.06/3610.01 c LP encountered Farkas constraints 0
3600.06/3610.01 c LP encountered learned Farkas constraints 0
3600.06/3610.01 c CG auxiliary variables introduced 0
3600.06/3610.01 c CG solutions found 0
3600.06/3610.01 c CG cores constructed 926
3600.06/3610.01 c CG core cardinality constraints returned 0
3600.06/3610.01 c CG unit cores 0
3600.06/3610.01 c CG single cores 926
3600.06/3610.01 c CG blocks removed during cardinality reduction 0
3600.06/3610.01 c CG first core best 0
3600.06/3610.01 c CG decision core best 0
3600.06/3610.01 c CG core reduction tie 0
3600.06/3610.01 c CG core degree average 1.00
3600.06/3610.01 c CG core slack average 2.40
3600.06/3610.01 c CG exhausted 0
3600.06/3610.01 c CG exhaust time 0 s
3600.06/3610.01 c CG trimmed 0
3600.06/3610.01 c CG trim time 0.022726 s
3600.06/3610.01 c CG minimized 0
3600.06/3610.01 c CG minimize time 0 s
3600.06/3610.01 c CG am1 prop time 0.016261 s
3600.06/3610.01 c CG # am1s reformulated 0
3600.06/3610.01 c CG lower bound derived from am1s 0
3600.06/3610.01 c CG # clausal cores 926
3600.06/3610.01 c CG # cardinality cores 0
3600.06/3610.01 c CG # pb cores 0
3600.06/3610.01 c CG # pb reforms 0
3600.06/3610.01 c CG # cores discarded because of pb reform 0
3600.06/3610.01 d LOWERBOUND -2227
3600.06/3610.01 d NCORES 926
3600.06/3610.01 d NPBCORES 0
3600.06/3610.01 d NPBREFORM 0
3600.06/3610.01 d NTRIMMED 0
3600.06/3610.01 d NEXHAUSTED 0
3600.06/3610.01 d NAM1S 0
3600.06/3610.01 d AM1LB 0
3600.06/3610.01 c [Papilo Statistics]
3600.06/3610.01 c prepro time 0.452851s
3600.06/3610.01 c # tsx applied 0
3600.06/3610.01 c # tsx conflicts 0
3600.06/3610.01 c # bound changes 0
3600.06/3610.01 c # side changes 0
3600.06/3610.01 c # coef changes 0
3600.06/3610.01 c # rounds 1
3600.06/3610.01 c # deted vars 0
3600.06/3610.01 c # deted constrs 0
3600.06/3610.01 c # consecutive rounds of only bound changes 0
3600.06/3610.01 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: 63837 MiB (60824 MiB free)
memory of node 1: 64465 MiB (60259 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529304-1752264043/watcher-4529304-1752264043 -o /tmp/evaluation-result-4529304-1752264043/solver-4529304-1752264043 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116318 --watchdog 3760 mixed-bag HOME/instance-4529304-1752264043.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=118347, runsolver pid=118344
[startup+0.10007 s]*
/proc/loadavg: 4.61 4.43 4.26 5/253 118348
/proc/meminfo: memFree=123986516/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=102476 memory=12492 CPUtime=0.1 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 1760 0 0 0 9 1 0 0 20 0 1 0 142083174 104935424 3123 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 25619 3123 2176 2834 0 8371 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 102476 KiB
Current children cumulated memory: 12492 KiB
[startup+0.213624 s]*
/proc/loadavg: 4.61 4.43 4.26 5/253 118348
/proc/meminfo: memFree=123986516/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=104524 memory=14872 CPUtime=0.21 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 2367 0 0 0 20 1 0 0 20 0 1 0 142083174 107032576 3718 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 26131 3718 2176 2834 0 8883 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 104524 KiB
Current children cumulated memory: 14872 KiB
[startup+0.313426 s]*
/proc/loadavg: 4.61 4.43 4.26 5/253 118348
/proc/meminfo: memFree=123986516/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=108620 memory=17332 CPUtime=0.31 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 3003 0 0 0 29 2 0 0 20 0 1 0 142083174 111226880 4333 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 27155 4333 2176 2834 0 9907 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 108620 KiB
Current children cumulated memory: 17332 KiB
[startup+0.700302 s]
/proc/loadavg: 4.61 4.43 4.26 5/253 118348
/proc/meminfo: memFree=123982420/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=116812 memory=28724 CPUtime=0.67 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 3789 0 0 0 65 2 0 0 20 0 1 0 142083174 119615488 7181 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 29203 7181 2176 2834 0 11955 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 116812 KiB
Current children cumulated memory: 28724 KiB
[startup+1.50031 s]
/proc/loadavg: 4.61 4.43 4.26 5/253 118348
/proc/meminfo: memFree=123952740/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=133196 memory=59208 CPUtime=1.48 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 4781 0 0 0 144 4 0 0 20 0 1 0 142083174 136392704 14802 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 33299 14802 2176 2834 0 16051 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 133196 KiB
Current children cumulated memory: 59208 KiB
[startup+3.11348 s]
/proc/loadavg: 4.56 4.43 4.26 5/253 118348
/proc/meminfo: memFree=123279876/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=826944 memory=729040 CPUtime=3.09 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 147037 0 0 0 277 32 0 0 20 0 1 0 142083174 846790656 182260 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 206736 182260 4000 2834 0 188941 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 826944 KiB
Current children cumulated memory: 729040 KiB
[startup+6.3003 s]
/proc/loadavg: 4.56 4.43 4.26 5/253 118348
/proc/meminfo: memFree=122894616/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1071404 memory=969608 CPUtime=6.26 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 189310 0 0 0 583 43 0 0 20 0 1 0 142083174 1097117696 242402 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 267851 242402 4032 2834 0 250056 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1071404 KiB
Current children cumulated memory: 969608 KiB
[startup+12.7003 s]
/proc/loadavg: 4.52 4.42 4.25 5/253 118348
/proc/meminfo: memFree=122018744/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=2231960 memory=1971024 CPUtime=12.64 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 234723 0 0 0 1197 67 0 0 20 0 1 0 142083174 2285527040 492756 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 557990 492756 4128 2834 0 540195 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2231960 KiB
Current children cumulated memory: 1971024 KiB
[startup+25.5003 s]
/proc/loadavg: 4.40 4.40 4.25 5/253 118359
/proc/meminfo: memFree=122021364/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=2231960 memory=1972432 CPUtime=25.41 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 235118 0 0 0 2474 67 0 0 20 0 1 0 142083174 2285527040 493108 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 557990 493108 4128 2834 0 540195 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2231960 KiB
Current children cumulated memory: 1972432 KiB
[startup+51.1133 s]
/proc/loadavg: 4.33 4.38 4.25 5/253 118359
/proc/meminfo: memFree=121842776/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=2257080 memory=2032772 CPUtime=50.95 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 268236 0 0 0 5019 76 0 0 20 0 1 0 142083174 2311249920 508193 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 564270 508193 4288 2834 0 546475 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2257080 KiB
Current children cumulated memory: 2032772 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.34 4.24 5/252 118361
/proc/meminfo: memFree=121780744/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=2257080 memory=2032772 CPUtime=102 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 268243 0 0 0 10124 76 0 0 20 0 1 0 142083174 2311249920 508193 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 564270 508193 4288 2834 0 546475 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2257080 KiB
Current children cumulated memory: 2032772 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.27 4.22 5/252 118363
/proc/meminfo: memFree=121697724/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=2262420 memory=2039340 CPUtime=161.83 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 268920 0 0 0 16107 76 0 0 20 0 1 0 142083174 2316718080 509835 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 565605 509835 4288 2834 0 547810 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2262420 KiB
Current children cumulated memory: 2039340 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.25 4.22 5/251 118365
/proc/meminfo: memFree=121644348/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=2262916 memory=2039852 CPUtime=221.67 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 269044 0 0 0 22091 76 0 0 20 0 1 0 142083174 2317225984 509963 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 565729 509963 4288 2834 0 547934 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 2262916 KiB
Current children cumulated memory: 2039852 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.22 4.20 5/251 118367
/proc/meminfo: memFree=121622300/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=2262916 memory=2039852 CPUtime=281.5 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 269051 0 0 0 28074 76 0 0 20 0 1 0 142083174 2317225984 509963 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 565729 509963 4288 2834 0 547934 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 2262916 KiB
Current children cumulated memory: 2039852 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.19 4.19 5/251 118370
/proc/meminfo: memFree=122479336/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1231556 memory=1154452 CPUtime=341.35 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 271299 0 0 0 34023 112 0 0 20 0 1 0 142083174 1261113344 288613 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 307889 288613 4448 2834 0 290094 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 1231556 KiB
Current children cumulated memory: 1154452 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.18 4.19 5/251 118372
/proc/meminfo: memFree=122391408/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1262376 memory=1166740 CPUtime=401.2 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 271816 0 0 0 40000 120 0 0 20 0 1 0 142083174 1292673024 291685 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 315594 291685 4448 2834 0 297799 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 1262376 KiB
Current children cumulated memory: 1166740 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/251 118374
/proc/meminfo: memFree=122161168/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1262376 memory=1174932 CPUtime=461.04 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 271820 0 0 0 45975 129 0 0 20 0 1 0 142083174 1292673024 293733 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 315594 293733 4448 2834 0 297799 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
Current children cumulated memory: 1280584 KiB
[startup+2862.3 s]
/proc/loadavg: 4.66 4.25 4.15 5/249 118488
/proc/meminfo: memFree=118266496/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1280968 CPUtime=2854.46 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 272920 0 0 0 285077 369 0 0 20 0 1 0 142083174 1427304448 320242 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 320242 4448 2834 0 330668 0
Current children cumulated CPU time: 2854.46 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1280968 KiB
[startup+2922.3 s]
/proc/loadavg: 4.39 4.26 4.16 5/250 118493
/proc/meminfo: memFree=118230520/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1280968 CPUtime=2914.29 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 272931 0 0 0 291055 374 0 0 20 0 1 0 142083174 1427304448 320242 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 320242 4448 2834 0 330668 0
Current children cumulated CPU time: 2914.29 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1280968 KiB
[startup+2982.3 s]
/proc/loadavg: 3.77 4.13 4.12 4/244 118525
/proc/meminfo: memFree=123675392/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1281352 CPUtime=2974.13 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 272933 0 0 0 297035 378 0 0 20 0 1 0 142083174 1427304448 320338 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 320338 4448 2834 0 330668 0
Current children cumulated CPU time: 2974.13 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1281352 KiB
[startup+3042.3 s]
/proc/loadavg: 3.33 3.93 4.06 4/245 118532
/proc/meminfo: memFree=123672844/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1288520 CPUtime=3033.96 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 273026 0 0 0 303013 383 0 0 20 0 1 0 142083174 1427304448 322130 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 322130 4448 2834 0 330668 0
Current children cumulated CPU time: 3033.96 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1288520 KiB
[startup+3102.3 s]
/proc/loadavg: 3.23 3.79 4.00 4/245 118534
/proc/meminfo: memFree=123664168/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1291976 CPUtime=3093.79 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 273064 0 0 0 308993 386 0 0 20 0 1 0 142083174 1427304448 322994 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 322994 4448 2834 0 330668 0
Current children cumulated CPU time: 3093.79 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1291976 KiB
[startup+3162.3 s]
/proc/loadavg: 2.70 3.55 3.90 3/239 118566
/proc/meminfo: memFree=125704460/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1292232 CPUtime=3153.63 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 273081 0 0 0 314970 393 0 0 20 0 1 0 142083174 1427304448 323058 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 323058 4448 2834 0 330668 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1292232 KiB
[startup+3222.3 s]
/proc/loadavg: 2.33 3.28 3.78 3/240 118569
/proc/meminfo: memFree=125693228/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1292232 CPUtime=3213.47 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 273081 0 0 0 320949 398 0 0 20 0 1 0 142083174 1427304448 323058 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 323058 4448 2834 0 330668 0
Current children cumulated CPU time: 3213.47 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1292232 KiB
[startup+3282.3 s]
/proc/loadavg: 2.18 3.06 3.68 3/240 118571
/proc/meminfo: memFree=125680168/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1296968 CPUtime=3273.31 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 273082 0 0 0 326929 402 0 0 20 0 1 0 142083174 1427304448 324242 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 324242 4448 2834 0 330668 0
Current children cumulated CPU time: 3273.31 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1296968 KiB
[startup+3342.3 s]
/proc/loadavg: 2.11 2.88 3.57 3/239 118573
/proc/meminfo: memFree=125678172/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1296968 CPUtime=3333.15 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 273082 0 0 0 332908 407 0 0 20 0 1 0 142083174 1427304448 324242 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 324242 4448 2834 0 330668 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1296968 KiB
[startup+3402.3 s]
/proc/loadavg: 2.05 2.73 3.48 2/233 118606
/proc/meminfo: memFree=125973316/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1296968 CPUtime=3392.97 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 273117 0 0 0 338884 413 0 0 20 0 1 0 142083174 1427304448 324242 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 324242 4448 2834 0 330668 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1296968 KiB
[startup+3462.3 s]
/proc/loadavg: 1.44 2.43 3.32 2/233 118608
/proc/meminfo: memFree=125974252/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1296968 CPUtime=3452.79 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 273117 0 0 0 344863 416 0 0 20 0 1 0 142083174 1427304448 324242 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 324242 4448 2834 0 330668 0
Current children cumulated CPU time: 3452.79 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1296968 KiB
[startup+3522.3 s]
/proc/loadavg: 1.20 2.18 3.18 2/232 118612
/proc/meminfo: memFree=125969656/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1299016 CPUtime=3512.6 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 273137 0 0 0 350841 419 0 0 20 0 1 0 142083174 1427304448 324754 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 324754 4448 2834 0 330668 0
Current children cumulated CPU time: 3512.6 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1299016 KiB
[startup+3582.3 s]
/proc/loadavg: 1.17 1.99 3.05 2/231 118614
/proc/meminfo: memFree=125970240/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1299016 CPUtime=3572.42 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 273276 0 0 0 356819 423 0 0 20 0 1 0 142083174 1427304448 324754 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 324754 4448 2834 0 330668 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1299016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 1.10 1.90 2.99 2/231 118614
/proc/meminfo: memFree=125970240/131382120 swapFree=33010416/33010684
[pid=118347] ppid=118344 vsize=1393852 memory=1299016 CPUtime=3600.06 cores=1,3
/proc/118347/stat : 118347 (mixed-bag) R 118344 118347 116306 0 -1 4194304 273302 0 0 0 359581 425 0 0 20 0 1 0 142083174 1427304448 324754 18446744073709551615 4235264 15840557 140724116003328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 24182784 140724116007322 140724116007399 140724116007399 140724116013003 0
/proc/118347/statm: 348463 324754 4448 2834 0 330668 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1393852 KiB
Current children cumulated memory: 1299016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 118347 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.81 s, system=4.25792 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.02
CPU time (s): 3600.07
CPU user time (s): 3595.81
CPU system time (s): 4.25792
CPU usage (%): 99.7244
Max. virtual memory (cumulated for all children) (KiB): 2262916
Max. memory (cumulated for all children) (KiB): 2039852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.81
system time used= 4.25792
maximum resident set size= 2084468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273341
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= 183
involuntary context switches= 1131
# summary of solver processes directly reported to runsolver:
# pid: 118347
# total CPU time (s): 3600.07
# total CPU user time (s): 3595.81
# total CPU system time (s): 4.25792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5951 second user time and 35.9755 second system time
The end
Begin job on nodeC002 at 2025-07-11 22:00:44
IDJOB=4529304
IDBENCH=178219
IDSOLVER=3386
FILE ID=nodeC002/4529304-1752264043
RUNJOBID= nodeC002-1752256148-116318
SLURM_JOB_ID= 9682593
Free space on /tmp= 431188 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4529304-1752264043/watcher-4529304-1752264043 -o /tmp/evaluation-result-4529304-1752264043/solver-4529304-1752264043 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116318 --watchdog 3760 mixed-bag HOME/instance-4529304-1752264043.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83591af43c3da6ede4007c8e5a8d776b
RANDOM SEED=789386112
nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.848
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.81
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 : 1197.604
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.81
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.240
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.81
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.216
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.81
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.986
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.853
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.81
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.81
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.485
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.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 123989792 kB
MemAvailable: 126655876 kB
Buffers: 2128 kB
Cached: 3465132 kB
SwapCached: 28 kB
Active: 3730340 kB
Inactive: 3107328 kB
Active(anon): 3381936 kB
Inactive(anon): 6404 kB
Active(file): 348404 kB
Inactive(file): 3100924 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29348 kB
Writeback: 0 kB
AnonPages: 3373504 kB
Mapped: 133412 kB
Shmem: 17932 kB
KReclaimable: 112764 kB
Slab: 200912 kB
SReclaimable: 112764 kB
SUnreclaim: 88148 kB
KernelStack: 4080 kB
PageTables: 9940 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 3866068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 608256 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431228 MiB
End job on nodeC002 at 2025-07-11 23:00:54